These are the outcomes the seven specification properties are designed to produce. They are the method's claims, not measurements on your code. The method is published, with its experiments and their limits, at genspec.dev; the studies are small and written by the method's author, so they are published to be re-run.
Below are the 25 structural capabilities your codebase gains when GS is applied — and the 25 failure modes the same properties prevent.
Fixed scope, one codebase, read-only under NDA. I run Generative Specification over your codebase and hand you back a real assessment, not a sales call:
The full $5,000 is credited toward Remediation or the Forge if you proceed within 90 days. All engagements →
Book a conversation to scope it →pragmaworks.dev/audit
Each capability is a structural acquisition — something your codebase gains permanently, not a process you have to maintain.
| # | Capability | What it means in practice |
|---|---|---|
| 1 | Cross-Session Architectural Coherence | Code generated in any AI session is structurally consistent with all previous sessions. The specification is the persistent referee. |
| 2 | Stateless Derivability | A new AI session — or a new engineer — derives the correct implementation from artifacts alone. No verbal handoff needed. |
| 4 | Explicit Inter-System Contracts | Every interface between systems is written and enforced. The Mars Climate Orbiter failure mode is structurally eliminated. |
| 12 | Specification-Bound Verification | The test suite verifies behavioral contracts against real execution — not just that code compiles. |
| 14 | Stateless Knowledge Transfer | Team rotations, AI session resets, onboarding — all handled by the spec. Oral tradition becomes an artifact. |
| 18 | Sustainable Formal Discipline | The system enforces SOLID, TDD, and clean architecture automatically — not through cultural pressure. |
| 22 | Spec-Level Security | Consequence classification is written. Irreversible operations have confirmation gates. Structural, not procedural. |
| 24 | Inverted AI Dependency | AI executes against your specification, not against its prior distribution. You direct the model; the model doesn't direct you. |
| # | Capability | What it means in practice |
|---|---|---|
| 5 | Derivable Project Knowledge | Any engineer or AI session can reconstruct the full project context from artifacts alone. |
| 6 | Persistent Session Memory | Context established in one session is available in every subsequent session — without re-narration. |
| 9 | Behavioral Verification | Tests prove what the system does under real conditions, not just that it compiles. |
| 15 | Visible Technical Debt | Debt is tracked in auditable artifacts. The AI knows it exists. Remediation is planned, not discovered. |
| 21 | Structured Prompting | The specification is the prompt. Model-agnostic, version-stable, reproducible across any AI executor. |
| 25 | End-to-End Lifecycle Automation | From spec to staging to production monitoring — every tier of the lifecycle governed by the same artifact set. |
| # | Capability | What it means in practice |
|---|---|---|
| 3 | Architectural Constraint Enforcement | Layer rules, forbidden patterns, naming conventions enforced at generation time — not at code review time. |
| 7 | Single Source of Truth | One canonical spec. Code, tests, and docs derive from it. Divergence is a build error, not a people problem. |
| 8 | Bounded Constitution | Every specification artifact fits within the AI's usable context window. No silent truncation. No blind spots. |
| 10 | TDD Phase Integrity | The RED phase cannot be bypassed. Structural gates enforce test-before-code at the commit level. |
| 11 | Ghost Failure Discrimination | Test failures tell you what the contract requires, not what the current implementation does. |
| 13 | Deterministic AI Output | Given the same spec and the same requirement, AI sessions converge on the same output. Reproducibility by design. |
| 16 | Architectural Decision Lineage | Every non-obvious decision has a recorded rationale. The AI cannot silently "correct" what it wasn't told was intentional. |
| 17 | Typed Change History | Every commit has type, scope, and intent. The git log is a machine-readable audit trail. |
| 19 | Living Documentation | Docs are derived from the spec — they update when the spec updates. They cannot drift. |
| 20 | Cross-Language Contract Consistency | Interface contracts hold across service boundaries regardless of implementation language. |
| 23 | Governed AI Surface | The AI's authority is bounded. What it may and may not do is written, not inferred. |
Check any that apply:
Recognizing yours is the first step to resolving them.
| # | Pathology | What you observe |
|---|---|---|
| 1 | Architectural Drift | AI output structurally incoherent across sessions. Each session locally valid; system diverges over time. |
| 2 | Specification Absence | No derivable spec. Every new session reconstructs intent from code — incorrectly and differently each time. |
| 3 | Implicit Architecture | Architectural rules live in heads, not artifacts. AI violates boundaries it was never told about. |
| 4 | Implicit Contract Syndrome | Two systems agree by assumption, not contract. The Mars Climate Orbiter failure mode. $327M demonstrated cost. |
| 5 | AI Security Blindspot | No consequence classification. AI executes irreversible operations without a confirmation gate. |
| 6 | Session Amnesia | Context resets at every session boundary. Prior decisions and constraints evaporate. |
| # | Pathology | What you observe |
|---|---|---|
| 7 | Test Theater | Tests pass. Behavioral contracts aren't tested. Green CI on broken features. |
| 8 | ADR Debt | Decisions made and lost. Same decision relitigated in every session. |
| 9 | Scope Creep | Each AI session expands scope slightly. Boundaries never enforced. |
| 10 | Copilot Dependency | Only the AI knows what the code does. Humans can't audit output they can't follow. |
| 11 | Context Window Overflow | Sessions collapse under their own weight. Quality degrades; model attends to wrong signals. |
| 12 | Bus Factor | One person understands the system. AI or human departure = knowledge loss. |
| 13 | Naming Entropy | Inconsistent naming across sessions. AI invents synonyms. Search fails. |
| 14 | Commit Chaos | Commits untyped, oversized, untraceable. Git log useless as audit trail. |
| 15 | Documentation Decay | Docs written at project start. Code moved on. Docs actively mislead the AI. |
| 16 | Cascade Blindness | Spec change cascades downstream without anyone knowing. Tests pass on the old contract. |
| 17 | Layer Violation | AI adds to the nearest layer, not the right one. Domain logic in controllers. |
| 18 | Phantom Dependency | Components depend on each other in ways not declared. Refactoring breaks unexpected things. |
| # | Pathology | What you observe |
|---|---|---|
| 19 | Onboarding Friction | New developers need weeks of handholding. New AI sessions need the same every time. |
| 20 | Prompt Engineering Dependency | Prompts are the spec. Change the model, lose the output. |
| 21 | Premature Optimization | AI optimizes for the nearest metric, not the system's actual constraints. |
| 22 | Over-Engineering | AI adds abstraction layers the spec never requested. Complexity compounds. |
| 23 | Tech Debt Invisibility | Debt known but untracked. Doesn't appear in audit trail. AI doesn't know it exists. |
| 24 | Compliance Gap | Regulatory requirements exist in someone's head. The AI never had them. |
| 25 | Tooling Mismatch | AI uses the wrong tool. Not because it's wrong — because the spec never said which tool to use when. |
| GS Property | Pathologies it prevents | Capabilities it builds |
|---|---|---|
| Self-describing | Architectural Drift, Session Amnesia, Implicit Architecture, Onboarding Friction, ADR Debt | Cross-Session Coherence, Stateless Derivability, Derivable Project Knowledge |
| Bounded | Context Window Overflow, Scope Creep, Layer Violation, Tooling Mismatch | Bounded Constitution, Architectural Constraint Enforcement |
| Verifiable | Test Theater, Cascade Blindness, Compliance Gap | Behavioral Verification, Specification-Bound Verification |
| Defended | AI Security Blindspot, Cascade Blindness, Premature Optimization | Spec-Level Security, TDD Phase Integrity, Governed AI Surface |
| Auditable | ADR Debt, Commit Chaos, Documentation Decay, Tech Debt Invisibility | Architectural Decision Lineage, Typed Change History, Living Documentation |
| Composable | Phantom Dependency, Layer Violation, Over-Engineering | Cross-Language Contract Consistency, Single Source of Truth |
| Executable | Test Theater, Compliance Gap, Tooling Mismatch | Ghost Failure Discrimination, Deterministic AI Output |
Seven properties and the SAVED report card published in the GS White Paper v4.0.