Community home for the Generative Specification methodology -- the first programming discipline of the pragmatic dimension, designed for a stateless reader.
| 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.
| 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.
Filtered exports of the production codebases used in the experiments. Prior and subsequent history is omitted. Copyright belongs to the respective owners.
| Repository | Description | Role in Paper |
|---|---|---|
| brad-gs-build | BRAD legal intelligence engine. 37 commits, Feb 27-Mar 4. Built from scratch under GS methodology. | Case study ss4.1 |
| scp-gs-experiment | SafetyCore Pro quality gate pass. 4 experiment commits, Mar 16-18. Test files and config only. | Adversarial experiment ss5 |
Commit timestamps are cryptographically signed by GitHub. BRAD shows the full build arc from initial commit to production-grade application in 6 days. SCP shows the experiment window: expert-prompt control condition followed by the GS quality gate pass.
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 === 0The 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 ss10 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