Community home for the Generative Specification methodology — the first programming discipline of the pragmatic dimension, designed for a stateless reader.
→ White Paper · genspec.dev → Ambient Engineer — articles and essays → Experiment Supplement → Practitioner Protocol
| Experiment | Description | Status |
|---|---|---|
| AX | Multi-agent adversarial study. Naive to expert prompting to treatment v1-v5 with ForgeCraft. Establishes quality gradient as a function of specification completeness under controlled conditions. Seven conditions. RealWorld Conduit API benchmark. | ✅ Complete |
| RX | Replication Experiment. Independent verification: given the committed GS document, any developer with Docker and an Anthropic API key can reproduce 104 passing tests against a live PostgreSQL instance. | ✅ Complete |
| DX | Human practitioner study. 40 developers. Group A: prompt-driven. Group B: GS + ForgeCraft. Dual rubric. April 2026. | 🔵 April 2026 |
The quality-gates/ directory is a community-maintained library of structured quality constraints, each mapped to one of the seven GS properties. Anyone can propose a gate via pull request.
→ How to contribute a quality gate · Gate schema
| Gate | GS Property | Tags | Phase | Trigger |
|---|---|---|---|---|
| typescript-strict-mode | Self-describing | typescript | development | commit |
| no-any-type | Self-describing | typescript | development | commit |
| file-length-max-300 | Self-describing | any | development | commit |
| function-length-max-50 | Self-describing | any | development | commit |
| jsdoc-public-functions | Self-describing | javascript, typescript | development | commit |
| max-function-parameters | Self-describing | any | development | commit |
| no-direct-db-in-routes | Bounded | any | development | commit |
| no-circular-dependencies | Composable | any | development | commit |
| coverage-threshold-80 | Verifiable | javascript, typescript, jest | development | pr |
| jest-no-failed-tests | Verifiable | javascript, typescript, jest | development | pr |
| mutation-score-threshold | Verifiable | javascript, typescript | development | pr |
| tsc-no-emit-exits-zero | Verifiable | typescript | development | pr |
| no-hardcoded-secrets | Defended | any | development | commit |
| npm-audit-no-high-cve | Defended | javascript, typescript | development | pr |
| no-console-log-production | Executable | any | staging | pr |
| adr-files-emitted | Auditable | any | development | pr |
| conventional-commits | Auditable | any | development | commit |
The Composable and Executable properties are underrepresented — they are the highest-value contribution targets. See CONTRIBUTING.md for the schema and submission process.
The published preprint is at doi.org/10.5281/zenodo.19073543. The source and ancillary files are in docs/white-paper/. Community review is open — see REVIEWING.md for how to challenge a claim, propose a correction, or map an issue to a section.
Requirements: Docker, Node.js 20+, Anthropic API key.
git clone https://github.com/jghiringhelli/generative-specification
cd generative-specification/experiments/rx
docker compose up -d postgres
./runner/run.sh
cat evidence/jest-output.json # verify: numFailedTests === 0
The GS document (experiments/rx/spec/conduit-gs.md) is committed verbatim. ForgeCraft produced it, but you do not need ForgeCraft to run this experiment. The document is the reproducible artifact.
The pre-run evidence (scores, evaluation transcripts, session logs) is in experiments/ax/. The pre-registration commit timestamps prove rubric and design were locked before any experimental run. Clone the repository and inspect the commit history.
ForgeCraft is the tool that implements the GS methodology. It reads from this repository’s quality-gates/ library.
Free tier: 2 active projects. A merged quality gate PR earns an additional project slot.
npx forgecraft-mcp setup .
The structural argument developed in §10 of the white paper: when a practitioner community contributes to a shared GS methodology under quality gates, the specification floor across all governed domains rises monotonically and cannot retreat while quality gates hold. That argument applies to this repository. The quality gate library improves with every accepted contribution. ForgeCraft inherits the improvement. Projects governed by ForgeCraft inherit it in turn.
Ghiringhelli, J. C. (2026). Generative Specification: A Pragmatic Programming Paradigm
for the Stateless Reader (1.0). Zenodo. https://doi.org/10.5281/zenodo.19073543
Contact: jcghiri@gmail.com · linkedin.com/in/jghiringhelli · genspec.dev · ambientengineer.substack.com