Tests
Verifier bindings, keyed rules from recipe 34 and example-space values from recipe 44.
165 Specs with a verifier binding and 62 without. 234 keyed rules exercised and 434 unexercised. 518 unkeyed rules. 11 example spaces with an uncovered value.
Run 1: external run evidence from vitest 4.1.10. Build: CI 433 · Branch: fix/second-review-pass · Commit: 6375b6e431a7cf885a49befec76d7876cd3e538c · Start: 2026-11-04T07:12:23.076Z · Stop: 2026-11-04T07:15:49.695Z.
Run 2: external run evidence from vitest 4.1.10. Build: CI 433 · Branch: fix/second-review-pass · Commit: 6375b6e431a7cf885a49befec76d7876cd3e538c · Start: 2026-11-04T07:15:50.244Z · Stop: 2026-11-04T07:16:19.082Z.
- The Markdown envelope is explicit and bounded ·
spec:carrier.envelope-contract· verifier binding present: 1 verifiers, 1 enabled · 0 of 1 keyed rules exercised · 7 unkeyed rules- test:protocol.envelope-contract · enabled ·
test/markdown-reifier.test.ts:97
external run evidence: 207 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.envelope-contract · enabled ·
- Gherkin authoring enters the one graph ·
spec:carrier.gherkin-authoring· verifier binding present: 13 verifiers, 13 enabled · 0 of 7 keyed rules exercised · 15 unkeyed rules · not measurable- spec:carrier.gherkin-authoring.authored-fact-refused · enabled ·
specs/carrier/gherkin-authoring.authored-fact-refused.sdp.md - spec:carrier.gherkin-authoring.contract-parity · enabled ·
specs/carrier/gherkin-authoring.contract-parity.sdp.md - spec:carrier.gherkin-authoring.description-location-refused · enabled ·
specs/carrier/gherkin-authoring.description-location-refused.sdp.md - spec:carrier.gherkin-authoring.duplicate-surface-refused · enabled ·
specs/carrier/gherkin-authoring.duplicate-surface-refused.sdp.md - spec:carrier.gherkin-authoring.example-space-extraction · enabled ·
specs/carrier/gherkin-authoring.example-space-extraction.sdp.md - spec:carrier.gherkin-authoring.malformed-relation-refused · enabled ·
specs/carrier/gherkin-authoring.malformed-relation-refused.sdp.md - spec:carrier.gherkin-authoring.missing-id-refused · enabled ·
specs/carrier/gherkin-authoring.missing-id-refused.sdp.md - spec:carrier.gherkin-authoring.multi-finding-bounded · enabled ·
specs/carrier/gherkin-authoring.multi-finding-bounded.sdp.md - spec:carrier.gherkin-authoring.parent-child-extraction · enabled ·
specs/carrier/gherkin-authoring.parent-child-extraction.sdp.md - spec:carrier.gherkin-authoring.step-less-scenario-refused · enabled ·
specs/carrier/gherkin-authoring.step-less-scenario-refused.sdp.md - spec:carrier.gherkin-authoring.unbound-ready-refused · enabled ·
specs/carrier/gherkin-authoring.unbound-ready-refused.sdp.md - spec:carrier.gherkin-authoring.unknown-tag-refused · enabled ·
specs/carrier/gherkin-authoring.unknown-tag-refused.sdp.md - spec:carrier.gherkin-authoring.unsupported-construct-refused · enabled ·
specs/carrier/gherkin-authoring.unsupported-construct-refused.sdp.md
probe: not enumerable
external run evidence: 13 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:carrier.gherkin-authoring.authored-fact-refused · enabled ·
- Inline code is content, never markup ·
spec:carrier.inline-code-spans· verifier binding present: 4 verifiers, 4 enabled · 5 of 6 keyed rules exercised · 0 unkeyed rules · not measurable- spec:carrier.inline-code-spans.description · enabled ·
specs/carrier/inline-code-spans.description.sdp.md - spec:carrier.inline-code-spans.list · enabled ·
specs/carrier/inline-code-spans.list.sdp.md - spec:carrier.inline-code-spans.narrative · enabled ·
specs/carrier/inline-code-spans.narrative.sdp.md - spec:carrier.inline-code-spans.pack · enabled ·
specs/carrier/inline-code-spans.pack.sdp.md
location: not enumerable
external run evidence: 4 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:carrier.inline-code-spans.description · enabled ·
- Markdown authoring enters the one graph ·
spec:carrier.markdown-authoring· verifier binding present: 1 verifiers, 1 enabled · 0 of 1 keyed rules exercised · 1 unkeyed rules- test:protocol.markdown-authoring · enabled ·
test/import-round-trip.test.ts:22
external run evidence: 69 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.markdown-authoring · enabled ·
- The Markdown body accepts one closed form per section ·
spec:carrier.markdown-body-grammar· verifier binding present: 16 verifiers, 16 enabled · 12 of 13 keyed rules exercised · 3 unkeyed rules · not measurable- spec:carrier.markdown-body-grammar.continuation-line-refused · enabled ·
specs/carrier/markdown-body-grammar.continuation-line-refused.sdp.md - spec:carrier.markdown-body-grammar.foreign-fence-refused · enabled ·
specs/carrier/markdown-body-grammar.foreign-fence-refused.sdp.md - spec:carrier.markdown-body-grammar.h3-refused · enabled ·
specs/carrier/markdown-body-grammar.h3-refused.sdp.md - spec:carrier.markdown-body-grammar.integer-term-refused · enabled ·
specs/carrier/markdown-body-grammar.integer-term-refused.sdp.md - spec:carrier.markdown-body-grammar.keyed-bullet-refused · enabled ·
specs/carrier/markdown-body-grammar.keyed-bullet-refused.sdp.md - spec:carrier.markdown-body-grammar.ordered-list-refused · enabled ·
specs/carrier/markdown-body-grammar.ordered-list-refused.sdp.md - spec:carrier.markdown-body-grammar.plain-bullet-refused · enabled ·
specs/carrier/markdown-body-grammar.plain-bullet-refused.sdp.md - spec:carrier.markdown-body-grammar.raw-html-refused · enabled ·
specs/carrier/markdown-body-grammar.raw-html-refused.sdp.md - spec:carrier.markdown-body-grammar.repeated-field-refused · enabled ·
specs/carrier/markdown-body-grammar.repeated-field-refused.sdp.md - spec:carrier.markdown-body-grammar.second-primary-owner-refused · enabled ·
specs/carrier/markdown-body-grammar.second-primary-owner-refused.sdp.md - spec:carrier.markdown-body-grammar.shared-description-refused · enabled ·
specs/carrier/markdown-body-grammar.shared-description-refused.sdp.md - spec:carrier.markdown-body-grammar.table-refused · enabled ·
specs/carrier/markdown-body-grammar.table-refused.sdp.md - spec:carrier.markdown-body-grammar.trailing-prose-refused · enabled ·
specs/carrier/markdown-body-grammar.trailing-prose-refused.sdp.md - spec:carrier.markdown-body-grammar.unrecognized-heading-refused · enabled ·
specs/carrier/markdown-body-grammar.unrecognized-heading-refused.sdp.md - spec:validation.kind-evidence.second-entry-untargeted · enabled ·
specs/validation/kind-evidence.second-entry-untargeted.sdp.md - test:protocol.markdown-body-grammar-regressions · enabled ·
test/markdown-reifier.test.ts:102
owner: not enumerable; construct: not enumerable
external run evidence: 257 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:carrier.markdown-body-grammar.continuation-line-refused · enabled ·
- A Pack has a Markdown manifest carrier ·
spec:carrier.markdown-pack-authoring· verifier binding present: 3 verifiers, 3 enabled · 0 of 0 keyed rules exercised · 5 unkeyed rules · not measurable- spec:carrier.markdown-pack-authoring.markdown-ts-parity · enabled ·
specs/carrier/markdown-pack-authoring.markdown-ts-parity.sdp.md - spec:carrier.markdown-pack-authoring.spec-envelope-refused · enabled ·
specs/carrier/markdown-pack-authoring.spec-envelope-refused.sdp.md - test:protocol.roadmap-priority · enabled ·
test/roadmap-priority.test.ts:44
carrierSource: not enumerable
external run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:carrier.markdown-pack-authoring.markdown-ts-parity · enabled ·
- The Markdown parser reifies the ruled subset ·
spec:carrier.markdown-parser· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 9 unkeyed rules · not measurable- spec:carrier.markdown-parser.bounded-parity · enabled ·
specs/carrier/markdown-parser.bounded-parity.sdp.md - test:protocol.markdown-parser · enabled ·
test/markdown-reifier.test.ts:91
probe: not enumerable
external run evidence: 215 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:carrier.markdown-parser.bounded-parity · enabled ·
- Every prose value has one typed owner ·
spec:carrier.prose-ownership-rule· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 5 unkeyed rules- test:protocol.prose-ownership · enabled ·
test/markdown-reifier.test.ts:85
external run evidence: 207 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.prose-ownership · enabled ·
- A TypeScript-carried Spec can be converted to Markdown ·
spec:carrier.sdp-import· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 9 unkeyed rules · not measurable- spec:carrier.sdp-import.round-trip · enabled ·
specs/carrier/sdp-import.round-trip.sdp.md
external run evidence: 1 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:carrier.sdp-import.round-trip · enabled ·
- A bare .feature corpus can be imported ·
spec:carrier.sdp-import.feature-adapter· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Slot notation declares, binds, and refuses to guess ·
spec:carrier.slot-notation· verifier binding present: 3 verifiers, 3 enabled · 6 of 8 keyed rules exercised · 0 unkeyed rules · not measurable- spec:carrier.slot-notation.one-literal-binding · enabled ·
specs/carrier/slot-notation.one-literal-binding.sdp.md - spec:carrier.slot-notation.refused-guess · enabled ·
specs/carrier/slot-notation.refused-guess.sdp.md - spec:carrier.slot-notation.typed-declaration · enabled ·
specs/carrier/slot-notation.typed-declaration.sdp.md
stepText: not enumerable
external run evidence: 8 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:carrier.slot-notation.one-literal-binding · enabled ·
- An example step may carry a key that survives rewording ·
spec:carrier.step-keys· verifier binding present: 11 verifiers, 11 enabled · 8 of 8 keyed rules exercised · 4 unkeyed rules · 0 uncovered values- spec:carrier.step-keys.conflicting-example-key-withheld · enabled ·
specs/carrier/step-keys.conflicting-example-key-withheld.sdp.md - spec:carrier.step-keys.gherkin-keyed-step-stays-bound · enabled ·
specs/carrier/step-keys.gherkin-keyed-step-stays-bound.sdp.md - spec:carrier.step-keys.key-equal-to-a-skeleton-withheld · enabled ·
specs/carrier/step-keys.key-equal-to-a-skeleton-withheld.sdp.md - spec:carrier.step-keys.malformed-marker-refused · enabled ·
specs/carrier/step-keys.malformed-marker-refused.sdp.md - spec:carrier.step-keys.renamed-key-breaks · enabled ·
specs/carrier/step-keys.renamed-key-breaks.sdp.md - spec:carrier.step-keys.repeated-key-refused · enabled ·
specs/carrier/step-keys.repeated-key-refused.sdp.md - spec:carrier.step-keys.reworded-keyed-step-stays-bound · enabled ·
specs/carrier/step-keys.reworded-keyed-step-stays-bound.sdp.md - spec:carrier.step-keys.reworded-unkeyed-step-breaks · enabled ·
specs/carrier/step-keys.reworded-unkeyed-step-breaks.sdp.md - spec:carrier.step-keys.two-keys-on-one-step-refused · enabled ·
specs/carrier/step-keys.two-keys-on-one-step-refused.sdp.md - spec:carrier.step-keys.typescript-keyed-step-imports-keyed · enabled ·
specs/carrier/step-keys.typescript-keyed-step-imports-keyed.sdp.md - test:protocol.keyed-content · enabled ·
test/keyed-content.test.ts:28
carrier: no uncovered values; vocabulary: not enumerable; example: not enumerable; before: not enumerable; after: not enumerable
external run evidence: 36 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:carrier.step-keys.conflicting-example-key-withheld · enabled ·
- An adopter learns graph homes, carrier grammar and shipped paths from the on-ramps ·
spec:consumers.adopter-on-ramp· verifier binding present: 2 verifiers, 2 enabled · 0 of 4 keyed rules exercised · 7 unkeyed rules- test:protocol.adopter-on-ramp · enabled ·
test/skills.test.ts:720 - test:protocol.shipped-protocol-corpus · enabled ·
test/package-smoke.test.ts:284
external run evidence: 180 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.adopter-on-ramp · enabled ·
- Agents script a visible typed graph ·
spec:consumers.agent-surface· verifier binding present: 2 verifiers, 2 enabled · 3 of 4 keyed rules exercised · 3 unkeyed rules · 0 uncovered values- spec:consumers.agent-surface.demand-map-entries · enabled ·
specs/consumers/agent-surface.demand-map-entries.sdp.md - spec:consumers.agent-surface.scripted-context-body · enabled ·
specs/consumers/agent-surface.scripted-context-body.sdp.md
specId: not enumerable; unbound spec:consumers.agent-surface.demand-map-entries; concept: not enumerable; unbound spec:consumers.agent-surface.scripted-context-body; file: not enumerable; unbound spec:consumers.agent-surface.scripted-context-body; unrecordedFile: not enumerable; unbound spec:consumers.agent-surface.scripted-context-body; body: no uncovered values
external run evidence: 5 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.agent-surface.demand-map-entries · enabled ·
- Address resolution and dependency cycles stay executable graph recipes ·
spec:consumers.agent-surface.address-and-cycle-recipes· verifier binding present: 4 verifiers, 4 enabled · 4 of 4 keyed rules exercised · 5 unkeyed rules · 0 uncovered values- spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · enabled ·
specs/consumers/agent-surface.address-and-cycle-recipes.chain-reports-nothing.sdp.md - spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · enabled ·
specs/consumers/agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run.sdp.md - spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run · enabled ·
specs/consumers/agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run.sdp.md - test:protocol.address-and-cycle-recipes · enabled ·
test/recipes.test.ts:3638
corpus: no uncovered values; addresses: not enumerable; recipe: no uncovered values; invocation: no uncovered values
external run evidence: 415 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · enabled ·
- Recipe answers fit an agent's context and explain their misses ·
spec:consumers.agent-surface.answer-shapes· verifier binding present: 1 verifiers, 1 enabled · 0 of 1 keyed rules exercised · 5 unkeyed rules- test:protocol.answer-shape-recipes · enabled ·
test/recipes.test.ts:6290
external run evidence: 403 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.answer-shape-recipes · enabled ·
- Authoring questions stay executable graph recipes ·
spec:consumers.agent-surface.authoring-recipes· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 3 unkeyed rules- test:protocol.authoring-recipes · enabled ·
test/recipes.test.ts:342
external run evidence: 403 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.authoring-recipes · enabled ·
- Which slot-value combinations example-space coverage reports ·
spec:consumers.agent-surface.combination-coverage· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Design work reads its answers from catalog recipes ·
spec:consumers.agent-surface.design-recipes· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 6 unkeyed rules- test:protocol.design-recipes · enabled ·
test/recipes.test.ts:4845
external run evidence: 403 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.design-recipes · enabled ·
- The evaluation sink runs one body and prints its return ·
spec:consumers.agent-surface.evaluation-sink· verifier binding present: 5 verifiers, 5 enabled · 5 of 5 keyed rules exercised · 5 unkeyed rules · 0 uncovered values- spec:consumers.agent-surface.evaluation-sink.exported-evaluator · enabled ·
specs/consumers/agent-surface.evaluation-sink.exported-evaluator.sdp.md - spec:consumers.agent-surface.evaluation-sink.recipe-call · enabled ·
specs/consumers/agent-surface.evaluation-sink.recipe-call.sdp.md - spec:consumers.agent-surface.evaluation-sink.unknown-recipe · enabled ·
specs/consumers/agent-surface.evaluation-sink.unknown-recipe.sdp.md - test:protocol.evaluation-sink · enabled ·
test/cli-q.test.ts:81 - test:protocol.query-answer-shapes · enabled ·
test/cli-q.test.ts:730
call: no uncovered values; entrance: no uncovered values
external run evidence: 98 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.agent-surface.evaluation-sink.exported-evaluator · enabled ·
- Example spaces report which values their examples cover ·
spec:consumers.agent-surface.example-space-coverage· verifier binding present: 2 verifiers, 2 enabled · 6 of 7 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.agent-surface.example-space-coverage.number-not-enumerable · enabled ·
specs/consumers/agent-surface.example-space-coverage.number-not-enumerable.sdp.md - spec:consumers.agent-surface.example-space-coverage.uncovered-literal · enabled ·
specs/consumers/agent-surface.example-space-coverage.uncovered-literal.sdp.md
slot: not enumerable; declared: not enumerable; bound: not enumerable
external run evidence: 40 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.agent-surface.example-space-coverage.number-not-enumerable · enabled ·
- Recipes take parameters as data and ship as runnable files ·
spec:consumers.agent-surface.recipe-parameters· verifier binding present: 3 verifiers, 3 enabled · 0 of 3 keyed rules exercised · 5 unkeyed rules- test:protocol.query-answer-shapes · enabled ·
test/cli-q.test.ts:730 - test:protocol.query-params · enabled ·
test/cli-q.test.ts:509 - test:protocol.recipe-parameters · enabled ·
test/recipes.test.ts:4472
external run evidence: 489 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.query-answer-shapes · enabled ·
- Register questions stay executable graph recipes ·
spec:consumers.agent-surface.register-recipes· verifier binding present: 1 verifiers, 1 enabled · 0 of 2 keyed rules exercised · 10 unkeyed rules- test:protocol.register-recipes · enabled ·
test/recipes.test.ts:2129
external run evidence: 403 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.register-recipes · enabled ·
- A boundary for assistant-written presentation ·
spec:consumers.ai-assisted-reading· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Authors move one Spec from intent to reviewed evidence ·
spec:consumers.authoring-on-ramp· verifier binding present: 2 verifiers, 2 enabled · 0 of 2 keyed rules exercised · 13 unkeyed rules- test:protocol.authoring-on-ramp · enabled ·
test/skills.test.ts:277 - test:protocol.spec-scaffolder · enabled ·
test/cli-new-spec.test.ts:127
external run evidence: 217 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.authoring-on-ramp · enabled ·
- Views speak binding language, never the internal fact name ·
spec:consumers.binding-language-views· verifier binding present: 2 verifiers, 2 enabled · 0 of 1 keyed rules exercised · 4 unkeyed rules · 1 uncovered values- spec:consumers.binding-language-views.bound-spec-page · enabled ·
specs/consumers/binding-language-views.bound-spec-page.sdp.md - spec:consumers.binding-language-views.pack-member-table · enabled ·
specs/consumers/binding-language-views.pack-member-table.sdp.md
specId: not enumerable; bindings:
no anchor at all; packId: not enumerable; unbound spec:consumers.binding-language-views.bound-spec-pageexternal run evidence: 12 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.binding-language-views.bound-spec-page · enabled ·
- The capability map reads every epic and its refinement descendants ·
spec:consumers.capability-map· verifier binding present: 1 verifiers, 1 enabled · 0 of 9 keyed rules exercised · 0 unkeyed rules- test:protocol.capability-map · enabled ·
test/recipes.test.ts:7680
external run evidence: 403 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.capability-map · enabled ·
- Census renders the runtime taxonomy without becoming a registry ·
spec:consumers.census-page· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 13 unkeyed rules · not measurable- test:protocol.census-page · enabled ·
test/census.test.ts:150
external run evidence: 21 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.census-page · enabled ·
- Every verb answers --help, and one verb writes every projection root ·
spec:consumers.command-line· verifier binding present: 3 verifiers, 3 enabled · 6 of 6 keyed rules exercised · 0 unkeyed rules · 0 uncovered values- spec:consumers.command-line.generate-check-failure · enabled ·
specs/consumers/command-line.generate-check-failure.sdp.md - spec:consumers.command-line.generate-writes-every-root · enabled ·
specs/consumers/command-line.generate-writes-every-root.sdp.md - spec:consumers.command-line.verb-help-touches-nothing · enabled ·
specs/consumers/command-line.verb-help-touches-nothing.sdp.md
roots: no uncovered values; command: no uncovered values
external run evidence: 3 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.command-line.generate-check-failure · enabled ·
- A context bundle is composed per invocation within a stated budget ·
spec:consumers.context-bundle· verifier binding present: 3 verifiers, 3 enabled · 6 of 9 keyed rules exercised · 10 unkeyed rules · 0 uncovered values- spec:consumers.context-bundle.oversized-member-named · enabled ·
specs/consumers/context-bundle.oversized-member-named.sdp.md - spec:consumers.context-bundle.parts-cover-the-pack · enabled ·
specs/consumers/context-bundle.parts-cover-the-pack.sdp.md - test:protocol.context-bundle-recipe · enabled ·
test/iteration-recipes.test.ts:777
budget: not enumerable; sizes: no uncovered values
external run evidence: 54 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.context-bundle.oversized-member-named · enabled ·
- Delivery sessions route work from current graph state ·
spec:consumers.delivery-session-on-ramp· verifier binding present: 1 verifiers, 1 enabled · 0 of 1 keyed rules exercised · 9 unkeyed rules- test:protocol.delivery-session-on-ramp · enabled ·
test/skills.test.ts:284
external run evidence: 171 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.delivery-session-on-ramp · enabled ·
- Derived readiness renders beside the stated rung and warns in one direction ·
spec:consumers.derived-readiness-banner· verifier binding present: 3 verifiers, 3 enabled · 0 of 0 keyed rules exercised · 7 unkeyed rules · 0 uncovered values- spec:consumers.derived-readiness-banner.dishonest-divergence · enabled ·
specs/consumers/derived-readiness-banner.dishonest-divergence.sdp.md - spec:consumers.derived-readiness-banner.honest-headroom · enabled ·
specs/consumers/derived-readiness-banner.honest-headroom.sdp.md - test:protocol.derived-readiness-banner.idea-floor-unmet · enabled ·
test/self-hosting-projections.test.ts:518
specId: not enumerable; statedReadiness: no uncovered values; structure: no uncovered values
external run evidence: 12 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.derived-readiness-banner.dishonest-divergence · enabled ·
- Designs are compared between a base commit and the working tree at entry grain ·
spec:consumers.design-diff· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 11 unkeyed rules- test:protocol.design-diff-recipe · enabled ·
test/iteration-recipes.test.ts:34 - test:protocol.roadmap-priority · enabled ·
test/roadmap-priority.test.ts:44
external run evidence: 74 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.design-diff-recipe · enabled ·
- Design Review renders graph context without becoming a gate ·
spec:consumers.design-review· verifier binding present: 2 verifiers, 2 enabled · 0 of 6 keyed rules exercised · 8 unkeyed rules · not measurable- spec:consumers.design-review.pure-projection · enabled ·
specs/consumers/design-review.pure-projection.sdp.md - test:protocol.cli-write-boundaries · enabled ·
test/cli-write-boundaries.test.ts:292
external run evidence: 62 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.design-review.pure-projection · enabled ·
- A Pack page shows where the Pack's design stands ·
spec:consumers.design-review.pack-design-page· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 7 unkeyed rules- test:protocol.pack-design-page · enabled ·
test/design-review-pack-page.test.ts:8
external run evidence: 12 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.pack-design-page · enabled ·
- A slice reads a Pack as one design, with the architecture it touches and what each member needs next ·
spec:consumers.design-slice· verifier binding present: 15 verifiers, 15 enabled · 15 of 18 keyed rules exercised · 0 unkeyed rules · 0 uncovered values- spec:consumers.design-slice.chain · enabled ·
specs/consumers/design-slice.chain.sdp.md - spec:consumers.design-slice.component-absent · enabled ·
specs/consumers/design-slice.component-absent.sdp.md - spec:consumers.design-slice.component-differing · enabled ·
specs/consumers/design-slice.component-differing.sdp.md - spec:consumers.design-slice.component-matching · enabled ·
specs/consumers/design-slice.component-matching.sdp.md - spec:consumers.design-slice.component-unreadable · enabled ·
specs/consumers/design-slice.component-unreadable.sdp.md - spec:consumers.design-slice.component-unrelated · enabled ·
specs/consumers/design-slice.component-unrelated.sdp.md - spec:consumers.design-slice.decision-backlink · enabled ·
specs/consumers/design-slice.decision-backlink.sdp.md - spec:consumers.design-slice.dependency-cycle · enabled ·
specs/consumers/design-slice.dependency-cycle.sdp.md - spec:consumers.design-slice.folded-example · enabled ·
specs/consumers/design-slice.folded-example.sdp.md - spec:consumers.design-slice.independent-example · enabled ·
specs/consumers/design-slice.independent-example.sdp.md - spec:consumers.design-slice.outside-components · enabled ·
specs/consumers/design-slice.outside-components.sdp.md - spec:consumers.design-slice.outside-holding · enabled ·
specs/consumers/design-slice.outside-holding.sdp.md - spec:consumers.design-slice.outside-satisfied · enabled ·
specs/consumers/design-slice.outside-satisfied.sdp.md - spec:consumers.design-slice.outside-unbound · enabled ·
specs/consumers/design-slice.outside-unbound.sdp.md - test:protocol.design-slice · enabled ·
test/self-hosting-design-slice.test.ts:155
structure: no uncovered values; outside: no uncovered values; anchor: no uncovered values
external run evidence: 48 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.design-slice.chain · enabled ·
- Views compose scoped intent instead of patching canonical source ·
spec:consumers.edit-model· verifier binding present: 1 verifiers, 1 enabled · 0 of 2 keyed rules exercised · 1 unkeyed rules- test:protocol.studio-intent-handoff · enabled ·
test/studio-s5.test.ts:407
external run evidence: 48 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-intent-handoff · enabled ·
- The CLI names the engine that produced a result ·
spec:consumers.engine-provenance· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 4 unkeyed rules- test:protocol.engine-provenance · enabled ·
test/cli.test.ts:2426
external run evidence: 102 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.engine-provenance · enabled ·
- Gherkin view renders any Spec as a disposable read shape ·
spec:consumers.gherkin-view· verifier binding present: 2 verifiers, 2 enabled · 0 of 2 keyed rules exercised · 10 unkeyed rules · not measurable- test:protocol.cli-write-boundaries · enabled ·
test/cli-write-boundaries.test.ts:292 - test:protocol.gherkin-view · enabled ·
test/gherkin-view.test.ts:20
external run evidence: 68 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.cli-write-boundaries · enabled ·
- The next body of work is planned from the graph, not from a prose index ·
spec:consumers.graph-first-planning· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 7 unkeyed rules- test:protocol.graph-first-planning · enabled ·
test/skills.test.ts:297
external run evidence: 171 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.graph-first-planning · enabled ·
- Mechanical code structure stays inferred and apart from curated intent ·
spec:consumers.impact-graph· verifier binding present: 1 verifiers, 1 enabled · 0 of 1 keyed rules exercised · 0 unkeyed rules- test:protocol.curation-imports · enabled ·
test/curation-imports.test.ts:17
external run evidence: 44 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.curation-imports · enabled ·
- File-level imports show where curation is missing ·
spec:consumers.impact-graph.curation-assist· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 11 unkeyed rules- test:protocol.curation-imports · enabled ·
test/curation-imports.test.ts:17 - test:protocol.curation-recipe · enabled ·
test/curation-recipes.test.ts:44
external run evidence: 79 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.curation-imports · enabled ·
- Exhaustive symbol reach waits for a language-neutral identity ·
spec:consumers.impact-graph.symbol-reach· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 1 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Composed intent hands off on one proposal shape ·
spec:consumers.intent-composition· verifier binding present: 1 verifiers, 1 enabled · 0 of 1 keyed rules exercised · 2 unkeyed rules- test:protocol.studio-intent-handoff · enabled ·
test/studio-s5.test.ts:407
external run evidence: 48 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-intent-handoff · enabled ·
- A change proposal is addressed, based and checked before it lands ·
spec:consumers.intent-composition.proposal· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 9 unkeyed rules- test:protocol.proposal-schema-and-recipe · enabled ·
test/iteration-recipes.test.ts:1522
external run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.proposal-schema-and-recipe · enabled ·
- Recipe 49 renders a change proposal as the Markdown memo a person reviews ·
spec:consumers.intent-composition.proposal.memo· verifier binding present: 1 verifiers, 1 enabled · 1 of 1 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.intent-composition.proposal.memo.shared · enabled ·
specs/consumers/intent-composition.proposal.memo.shared.sdp.md
changes: not enumerable; ticks: not enumerable
external run evidence: 48 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.intent-composition.proposal.memo.shared · enabled ·
- Mermaid renders bounded one-hop and Pack diagrams without becoming a graph browser ·
spec:consumers.mermaid-view· verifier binding present: 2 verifiers, 2 enabled · 0 of 2 keyed rules exercised · 14 unkeyed rules · not measurable- test:protocol.cli-write-boundaries · enabled ·
test/cli-write-boundaries.test.ts:292 - test:protocol.mermaid-view · enabled ·
test/mermaid-render.test.ts:20
external run evidence: 60 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.cli-write-boundaries · enabled ·
- An Obsidian vault lets a person iterate on designs from the one graph ·
spec:consumers.obsidian-vault· verifier binding present: 9 verifiers, 9 enabled · 9 of 16 keyed rules exercised · 0 unkeyed rules · 0 uncovered values- spec:consumers.obsidian-vault.changed-note-refused · enabled ·
specs/consumers/obsidian-vault.changed-note-refused.sdp.md - spec:consumers.obsidian-vault.failed-extraction-keeps-notes · enabled ·
specs/consumers/obsidian-vault.failed-extraction-keeps-notes.sdp.md - spec:consumers.obsidian-vault.failed-extraction-recovered · enabled ·
specs/consumers/obsidian-vault.failed-extraction-recovered.sdp.md - spec:consumers.obsidian-vault.fresh-vault · enabled ·
specs/consumers/obsidian-vault.fresh-vault.sdp.md - spec:consumers.obsidian-vault.hidden-file-refused · enabled ·
specs/consumers/obsidian-vault.hidden-file-refused.sdp.md - spec:consumers.obsidian-vault.interrupted-run-recovered · enabled ·
specs/consumers/obsidian-vault.interrupted-run-recovered.sdp.md - spec:consumers.obsidian-vault.person-notes-survive · enabled ·
specs/consumers/obsidian-vault.person-notes-survive.sdp.md - spec:consumers.obsidian-vault.unknown-note-refused · enabled ·
specs/consumers/obsidian-vault.unknown-note-refused.sdp.md - spec:consumers.obsidian-vault.vault-in-build-path-refused · enabled ·
specs/consumers/obsidian-vault.vault-in-build-path-refused.sdp.md
member: not enumerable; out: not enumerable; unbound spec:consumers.obsidian-vault.changed-note-refused, spec:consumers.obsidian-vault.failed-extraction-keeps-notes, spec:consumers.obsidian-vault.failed-extraction-recovered, spec:consumers.obsidian-vault.fresh-vault, spec:consumers.obsidian-vault.hidden-file-refused, spec:consumers.obsidian-vault.interrupted-run-recovered, spec:consumers.obsidian-vault.person-notes-survive, spec:consumers.obsidian-vault.unknown-note-refused; generated: no uncovered values; extra: no uncovered values; change: no uncovered values; unbound spec:consumers.obsidian-vault.vault-in-build-path-refused
external run evidence: 17 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.obsidian-vault.changed-note-refused · enabled ·
- A Pack's members and the standing queries are tables over the reader's values ·
spec:consumers.obsidian-vault.bases· verifier binding present: 1 verifiers, 1 enabled · 4 of 6 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.obsidian-vault.bases.views-match-sources · enabled ·
specs/consumers/obsidian-vault.bases.views-match-sources.sdp.md
members: not enumerable
external run evidence: 17 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.obsidian-vault.bases.views-match-sources · enabled ·
- A design pass is followed and answered from the vault ·
spec:consumers.obsidian-vault.iteration· verifier binding present: 2 verifiers, 2 enabled · 2 of 6 keyed rules exercised · 0 unkeyed rules · 0 uncovered values- spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes · enabled ·
specs/consumers/obsidian-vault.iteration.watch-rewrites-changed-notes.sdp.md - spec:consumers.obsidian-vault.iteration.watch-source-anchor · enabled ·
specs/consumers/obsidian-vault.iteration.watch-source-anchor.sdp.md
specId: not enumerable; edit: no uncovered values
external run evidence: 17 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes · enabled ·
- Every Spec, Pack, code unit and keyed term is a note, and every relation is a link ·
spec:consumers.obsidian-vault.notes· verifier binding present: 5 verifiers, 5 enabled · 6 of 12 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.obsidian-vault.notes.case-collision-refused · enabled ·
specs/consumers/obsidian-vault.notes.case-collision-refused.sdp.md - spec:consumers.obsidian-vault.notes.entry-address-link · enabled ·
specs/consumers/obsidian-vault.notes.entry-address-link.sdp.md - spec:consumers.obsidian-vault.notes.term-address-link · enabled ·
specs/consumers/obsidian-vault.notes.term-address-link.sdp.md - spec:consumers.obsidian-vault.notes.unresolved-mention-stays · enabled ·
specs/consumers/obsidian-vault.notes.unresolved-mention-stays.sdp.md - test:protocol.vault-priority · enabled ·
test/vault.test.ts:53
source: not enumerable; unbound spec:consumers.obsidian-vault.notes.case-collision-refused; mention: not enumerable; unbound spec:consumers.obsidian-vault.notes.case-collision-refused; first: not enumerable; unbound spec:consumers.obsidian-vault.notes.entry-address-link, spec:consumers.obsidian-vault.notes.term-address-link, spec:consumers.obsidian-vault.notes.unresolved-mention-stays; second: not enumerable; unbound spec:consumers.obsidian-vault.notes.entry-address-link, spec:consumers.obsidian-vault.notes.term-address-link, spec:consumers.obsidian-vault.notes.unresolved-mention-stays; target: not enumerable; unbound spec:consumers.obsidian-vault.notes.case-collision-refused, spec:consumers.obsidian-vault.notes.term-address-link; key: not enumerable; unbound spec:consumers.obsidian-vault.notes.case-collision-refused, spec:consumers.obsidian-vault.notes.term-address-link; termSpec: not enumerable; unbound spec:consumers.obsidian-vault.notes.case-collision-refused, spec:consumers.obsidian-vault.notes.entry-address-link, spec:consumers.obsidian-vault.notes.unresolved-mention-stays; termKey: not enumerable; unbound spec:consumers.obsidian-vault.notes.case-collision-refused, spec:consumers.obsidian-vault.notes.entry-address-link, spec:consumers.obsidian-vault.notes.unresolved-mention-stays
external run evidence: 80 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.obsidian-vault.notes.case-collision-refused · enabled ·
- The Pack context carries the Pack's design ·
spec:consumers.pack-design· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 8 unkeyed rules- test:protocol.pack-design · enabled ·
test/pack-design.test.ts:18
external run evidence: 18 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.pack-design · enabled ·
- Projections fan out from one graph without becoming truth stores ·
spec:consumers.projections-model· verifier binding present: 4 verifiers, 4 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rules- test:protocol.cli-write-boundaries · enabled ·
test/cli-write-boundaries.test.ts:292 - test:protocol.projections-model.publication · enabled ·
test/cli.test.ts:61 - test:protocol.projections-model.reader · enabled ·
test/reader.test.ts:35 - test:protocol.projections-model.rendering · enabled ·
test/design-review.test.ts:36
external run evidence: 232 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.cli-write-boundaries · enabled ·
- Roadmap views read releases, baselines and phases from git and the graph ·
spec:consumers.projections-model.roadmap-views· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The reader bridges agent entry points to composable graph context ·
spec:consumers.reader· verifier binding present: 3 verifiers, 3 enabled · 4 of 5 keyed rules exercised · 7 unkeyed rules · 0 uncovered values- spec:consumers.reader.changeset-entry · enabled ·
specs/consumers/reader.sdp.gherkin - spec:consumers.reader.concept-entry · enabled ·
specs/consumers/reader.sdp.gherkin - spec:consumers.reader.file-entry · enabled ·
specs/consumers/reader.sdp.gherkin
concept: not enumerable; unbound spec:consumers.reader.changeset-entry, spec:consumers.reader.file-entry; conceptSpecId: not enumerable; unbound spec:consumers.reader.changeset-entry, spec:consumers.reader.file-entry; boundFile: not enumerable; unbound spec:consumers.reader.concept-entry; bindingId: not enumerable; unbound spec:consumers.reader.concept-entry; unrecordedFile: not enumerable; unbound spec:consumers.reader.concept-entry, spec:consumers.reader.file-entry; entry: no uncovered values
external run evidence: 5 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.reader.changeset-entry · enabled ·
- The readiness planner orders the statements a person can make ·
spec:consumers.readiness-planner· verifier binding present: 4 verifiers, 4 enabled · 7 of 9 keyed rules exercised · 0 unkeyed rules · 0 uncovered values- spec:consumers.readiness-planner.cycle-shares-a-round · enabled ·
specs/consumers/readiness-planner.cycle-shares-a-round.sdp.md - spec:consumers.readiness-planner.decision-first · enabled ·
specs/consumers/readiness-planner.decision-first.sdp.md - spec:consumers.readiness-planner.dependency-order · enabled ·
specs/consumers/readiness-planner.dependency-order.sdp.md - spec:consumers.readiness-planner.owner-question-holds · enabled ·
specs/consumers/readiness-planner.owner-question-holds.sdp.md
corpus: no uncovered values
external run evidence: 18 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.readiness-planner.cycle-shares-a-round · enabled ·
- The reading skill teaches agents to query the graph ·
spec:consumers.reading-on-ramp· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 6 unkeyed rules- test:protocol.reading-on-ramp · enabled ·
test/skills.test.ts:670
external run evidence: 171 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.reading-on-ramp · enabled ·
- A reference projection serves a reader outside the repository ·
spec:consumers.reference-projection· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- A Pack is read from a named perspective ·
spec:consumers.review-perspectives· verifier binding present: 1 verifiers, 1 enabled · 0 of 1 keyed rules exercised · 7 unkeyed rules- test:protocol.perspective-filter-recipe · enabled ·
test/iteration-recipes.test.ts:765
external run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.perspective-filter-recipe · enabled ·
- A roadmap orders the next bodies of work, and the graph says what each still needs ·
spec:consumers.roadmap· verifier binding present: 10 verifiers, 10 enabled · 9 of 17 keyed rules exercised · 0 unkeyed rules · 0 uncovered values- spec:consumers.roadmap.blocking-part · enabled ·
specs/consumers/roadmap.blocking-part.sdp.md - spec:consumers.roadmap.buildable-part · enabled ·
specs/consumers/roadmap.buildable-part.sdp.md - spec:consumers.roadmap.built-work · enabled ·
specs/consumers/roadmap.built-work.sdp.md - spec:consumers.roadmap.design-part · enabled ·
specs/consumers/roadmap.design-part.sdp.md - spec:consumers.roadmap.drifting-part · enabled ·
specs/consumers/roadmap.drifting-part.sdp.md - spec:consumers.roadmap.missing-evidence · enabled ·
specs/consumers/roadmap.missing-evidence.sdp.md - spec:consumers.roadmap.outside-parent · enabled ·
specs/consumers/roadmap.outside-parent.sdp.md - spec:consumers.roadmap.statement-order · enabled ·
specs/consumers/roadmap.statement-order.sdp.md - spec:consumers.roadmap.statement-part · enabled ·
specs/consumers/roadmap.statement-part.sdp.md - test:protocol.roadmap-recipe · enabled ·
test/roadmap.test.ts:34
work: not enumerable; state: no uncovered values
external run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.roadmap.blocking-part · enabled ·
- A roadmap renders as the forward section of a pull request description ·
spec:consumers.roadmap.memo· verifier binding present: 2 verifiers, 2 enabled · 0 of 7 keyed rules exercised · 0 unkeyed rules- test:protocol.roadmap-memo-recipe · enabled ·
test/roadmap.test.ts:39 - test:protocol.studio-roadmap-page · enabled ·
test/studio-roadmap.test.ts:24
external run evidence: 46 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.roadmap-memo-recipe · enabled ·
- The package ships the Specs and on-ramps its skills cite ·
spec:consumers.shipped-protocol-corpus· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 4 unkeyed rules- test:protocol.shipped-protocol-corpus · enabled ·
test/package-smoke.test.ts:284
external run evidence: 9 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.shipped-protocol-corpus · enabled ·
- The Spec Studio is a static HTML workbench over the one graph ·
spec:consumers.spec-studio· verifier binding present: 1 verifiers, 1 enabled · 0 of 4 keyed rules exercised · 7 unkeyed rules- test:protocol.studio-publisher · enabled ·
test/studio-publisher.test.ts:26
external run evidence: 21 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-publisher · enabled ·
- The capability map page makes refinement readable by epic ·
spec:consumers.spec-studio.capability-map-page· verifier binding present: 1 verifiers, 1 enabled · 0 of 8 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-capabilities · enabled ·
test/studio-capabilities.test.ts:89
external run evidence: 19 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-capabilities · enabled ·
- A pinned declaration shows the words of each test line that cites it ·
spec:consumers.spec-studio.cited-line-text· verifier binding none: 0 verifiers, 0 enabled · 0 of 4 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Studio's custom elements each hold one view the build renders ·
spec:consumers.spec-studio.components· verifier binding present: 1 verifiers, 1 enabled · 0 of 5 keyed rules exercised · 1 unkeyed rules- test:protocol.studio-intent-handoff · enabled ·
test/studio-s5.test.ts:407
external run evidence: 48 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-intent-handoff · enabled ·
- The Studio renders from the reader's values and embeds only what its script reads ·
spec:consumers.spec-studio.data· verifier binding present: 1 verifiers, 1 enabled · 0 of 4 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-data · enabled ·
test/studio-data.test.ts:26
external run evidence: 25 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-data · enabled ·
- The Studio reads two named inputs beside the graph, a base graph and run records ·
spec:consumers.spec-studio.data.inputs· verifier binding present: 2 verifiers, 2 enabled · 6 of 9 keyed rules exercised · 0 unkeyed rules · 0 uncovered values- spec:consumers.spec-studio.data.inputs.both-given · enabled ·
specs/consumers/spec-studio.data.inputs.both-given.sdp.md - spec:consumers.spec-studio.data.inputs.graph-only · enabled ·
specs/consumers/spec-studio.data.inputs.graph-only.sdp.md
base: no uncovered values; runs: no uncovered values
external run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.data.inputs.both-given · enabled ·
- A page takes each recipe answer from the recipe's shipped body ·
spec:consumers.spec-studio.data.recipe-answers· verifier binding present: 1 verifiers, 1 enabled · 0 of 2 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-lenses · enabled ·
test/studio-s1.test.ts:273
external run evidence: 40 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-lenses · enabled ·
- The Studio chooses diagram kinds from graph values ·
spec:consumers.spec-studio.diagram-kinds· verifier binding present: 1 verifiers, 1 enabled · 0 of 5 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-diagram-catalog · enabled ·
test/studio-diagram-catalog.test.ts:12
external run evidence: 2 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-diagram-catalog · enabled ·
- A refinement drawing follows the capability map ·
spec:consumers.spec-studio.diagram-kinds.capability-tree· verifier binding present: 1 verifiers, 1 enabled · 0 of 3 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-capabilities · enabled ·
test/studio-capabilities.test.ts:89
external run evidence: 19 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-capabilities · enabled ·
- A dependency drawing shows the declared footing of a Spec set ·
spec:consumers.spec-studio.diagram-kinds.dependency· verifier binding present: 1 verifiers, 1 enabled · 0 of 5 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-slice-dependency · enabled ·
test/studio-slice.test.ts:382
external run evidence: 21 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-slice-dependency · enabled ·
- Edges route around boxes with deterministic orthogonal paths ·
spec:consumers.spec-studio.diagram-kinds.edge-routing· verifier binding present: 1 verifiers, 1 enabled · 0 of 5 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-diagram-core · enabled ·
test/studio-diagram-core.test.ts:37
external run evidence: 25 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-diagram-core · enabled ·
- A diagram preserves readable labels before zoom ·
spec:consumers.spec-studio.diagram-kinds.legibility· verifier binding present: 1 verifiers, 1 enabled · 0 of 2 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-diagram-core · enabled ·
test/studio-diagram-core.test.ts:37
external run evidence: 25 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-diagram-core · enabled ·
- The maturity map is drawn as a grid of counts ·
spec:consumers.spec-studio.diagram-kinds.maturity-picture· verifier binding present: 1 verifiers, 1 enabled · 0 of 4 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-architecture-maturity-requirement · enabled ·
test/studio-panels.test.ts:35
external run evidence: 23 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-architecture-maturity-requirement · enabled ·
- A diagram offers Mermaid source as copyable text ·
spec:consumers.spec-studio.diagram-kinds.mermaid-source· verifier binding present: 1 verifiers, 1 enabled · 0 of 5 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-diagram-core · enabled ·
test/studio-diagram-core.test.ts:37
external run evidence: 25 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-diagram-core · enabled ·
- A requirement drawing separates intent from realization and verification ·
spec:consumers.spec-studio.diagram-kinds.requirement-trace· verifier binding present: 2 verifiers, 2 enabled · 0 of 3 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-architecture-maturity-requirement · enabled ·
test/studio-panels.test.ts:35 - test:protocol.studio-diagram-core · enabled ·
test/studio-diagram-core.test.ts:37
external run evidence: 48 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-architecture-maturity-requirement · enabled ·
- A Spec set draws the architecture it touches ·
spec:consumers.spec-studio.diagram-kinds.scoped-architecture· verifier binding present: 1 verifiers, 1 enabled · 0 of 4 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-slice-architecture · enabled ·
test/studio-slice.test.ts:592
external run evidence: 21 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-slice-architecture · enabled ·
- A diagram is laid out from graph values into SVG with a text equivalent ·
spec:consumers.spec-studio.diagrams· verifier binding present: 4 verifiers, 4 enabled · 8 of 16 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.spec-studio.diagrams.folds-by-context · enabled ·
specs/consumers/spec-studio.diagrams.folds-by-context.sdp.md - spec:consumers.spec-studio.diagrams.folds-by-layer · enabled ·
specs/consumers/spec-studio.diagrams.folds-by-layer.sdp.md - spec:consumers.spec-studio.diagrams.within-bound · enabled ·
specs/consumers/spec-studio.diagrams.within-bound.sdp.md - test:protocol.studio-diagram-core · enabled ·
test/studio-diagram-core.test.ts:37
components: not enumerable; contexts: not enumerable; layers: not enumerable; edges: not enumerable
external run evidence: 65 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.diagrams.folds-by-context · enabled ·
- The diff page shows what changed in the design since a base graph ·
spec:consumers.spec-studio.diff-page· verifier binding present: 2 verifiers, 2 enabled · 2 of 6 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.spec-studio.diff-page.changed-entry · enabled ·
specs/consumers/spec-studio.diff-page.changed-entry.sdp.md - test:protocol.roadmap-priority · enabled ·
test/roadmap-priority.test.ts:44
key: not enumerable; before: not enumerable; after: not enumerable
external run evidence: 68 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.diff-page.changed-entry · enabled ·
- A Pack exports as one file, and every page prints as a document ·
spec:consumers.spec-studio.export· verifier binding present: 2 verifiers, 2 enabled · 5 of 8 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.spec-studio.export.self-contained · enabled ·
specs/consumers/spec-studio.export.self-contained.sdp.md - test:protocol.studio-intent-handoff · enabled ·
test/studio-s5.test.ts:407
members: not enumerable
external run evidence: 48 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.export.self-contained · enabled ·
- The glossary page lists every term the corpus's Specs define ·
spec:consumers.spec-studio.glossary-page· verifier binding present: 1 verifiers, 1 enabled · 2 of 4 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.spec-studio.glossary-page.same-word-twice · enabled ·
specs/consumers/spec-studio.glossary-page.same-word-twice.sdp.md
term: not enumerable; key: not enumerable
external run evidence: 32 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.glossary-page.same-word-twice · enabled ·
- The index says where the corpus stands and narrows every Spec ·
spec:consumers.spec-studio.index-page· verifier binding present: 1 verifiers, 1 enabled · 0 of 6 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-pages · enabled ·
test/studio-pages.test.ts:18
external run evidence: 35 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-pages · enabled ·
- A composing panel on every page gathers scoped intent for an agent ·
spec:consumers.spec-studio.intent-panel· verifier binding present: 2 verifiers, 2 enabled · 1 of 9 keyed rules exercised · 3 unkeyed rules · not measurable- spec:consumers.spec-studio.intent-panel.refresh-keeps-intents · enabled ·
specs/consumers/spec-studio.intent-panel.refresh-keeps-intents.sdp.md - test:protocol.studio-intent-handoff · enabled ·
test/studio-s5.test.ts:407
gathered: not enumerable
external run evidence: 48 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.intent-panel.refresh-keeps-intents · enabled ·
- Five lenses read the graph as Packs, capabilities, architecture, tests and evidence ·
spec:consumers.spec-studio.lenses· verifier binding present: 1 verifiers, 1 enabled · 0 of 3 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-lenses · enabled ·
test/studio-s1.test.ts:273
external run evidence: 40 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-lenses · enabled ·
- The architecture lens draws components by context and layer, the planned beside the built ·
spec:consumers.spec-studio.lenses.architecture· verifier binding present: 2 verifiers, 2 enabled · 2 of 9 keyed rules exercised · 0 unkeyed rules · 4 uncovered values- spec:consumers.spec-studio.lenses.architecture.planned-apart · enabled ·
specs/consumers/spec-studio.lenses.architecture.planned-apart.sdp.md - test:protocol.studio-architecture-maturity-requirement · enabled ·
test/studio-panels.test.ts:35
realized: not enumerable; context: not enumerable; layer:
edge,application,adapter,infrastructure; planned: not enumerableexternal run evidence: 63 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.lenses.architecture.planned-apart · enabled ·
- The architecture page lists each component's significant units by role ·
spec:consumers.spec-studio.lenses.architecture.unit-register· verifier binding present: 1 verifiers, 1 enabled · 0 of 5 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-architecture-maturity-requirement · enabled ·
test/studio-panels.test.ts:35
external run evidence: 23 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-architecture-maturity-requirement · enabled ·
- The evidence lens names each source of runtime evidence and reads it as not tracked ·
spec:consumers.spec-studio.lenses.evidence· verifier binding present: 1 verifiers, 1 enabled · 0 of 3 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-lenses · enabled ·
test/studio-s1.test.ts:273
external run evidence: 40 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-lenses · enabled ·
- The Packs lens groups every Spec by the Packs that hold it ·
spec:consumers.spec-studio.lenses.packs· verifier binding present: 1 verifiers, 1 enabled · 0 of 3 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-lenses · enabled ·
test/studio-s1.test.ts:273
external run evidence: 40 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-lenses · enabled ·
- The tests lens shows how far each Spec's verification reaches ·
spec:consumers.spec-studio.lenses.tests· verifier binding present: 1 verifiers, 1 enabled · 1 of 4 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.spec-studio.lenses.tests.coverage-row · enabled ·
specs/consumers/spec-studio.lenses.tests.coverage-row.sdp.md
keyed: not enumerable; unkeyed: not enumerable; exercised: not enumerable
external run evidence: 40 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.lenses.tests.coverage-row · enabled ·
- Every page of the page set is reached from the top navigation and the index ·
spec:consumers.spec-studio.navigation· verifier binding present: 2 verifiers, 2 enabled · 0 of 3 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-navigation · enabled ·
test/studio-s3.test.ts:317 - test:protocol.studio-roadmap-page · enabled ·
test/studio-roadmap.test.ts:24
external run evidence: 51 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-navigation · enabled ·
- The owner queue page orders the statements and questions only a person can settle ·
spec:consumers.spec-studio.owner-queue· verifier binding present: 1 verifiers, 1 enabled · 1 of 6 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.spec-studio.owner-queue.dependency-first · enabled ·
specs/consumers/spec-studio.owner-queue.dependency-first.sdp.md
dependent: not enumerable; dependency: not enumerable
external run evidence: 32 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.owner-queue.dependency-first · enabled ·
- A Pack page shows the Pack's design as one card per member ·
spec:consumers.spec-studio.pack-page· verifier binding present: 2 verifiers, 2 enabled · 0 of 13 keyed rules exercised · 1 unkeyed rules- test:protocol.roadmap-priority · enabled ·
test/roadmap-priority.test.ts:44 - test:protocol.studio-pages · enabled ·
test/studio-pages.test.ts:18
external run evidence: 71 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.roadmap-priority · enabled ·
- A Pack page's maturity map places every member by its stated rung and its floor ·
spec:consumers.spec-studio.pack-page.maturity-map· verifier binding present: 2 verifiers, 2 enabled · 0 of 1 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-architecture-maturity-requirement · enabled ·
test/studio-panels.test.ts:35 - test:protocol.studio-panels · enabled ·
test/studio-s2.test.ts:256
external run evidence: 41 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-architecture-maturity-requirement · enabled ·
- A few custom elements filter, search, open and copy on a rendered page ·
spec:consumers.spec-studio.page-elements· verifier binding present: 2 verifiers, 2 enabled · 0 of 5 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-copy-source · enabled ·
test/studio-diagram-core.test.ts:191 - test:protocol.studio-page-elements · enabled ·
test/studio-elements.test.ts:26
external run evidence: 45 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-copy-source · enabled ·
sdp studiopublishes the Studio as one page set ·spec:consumers.spec-studio.publisher· verifier binding present: 2 verifiers, 2 enabled · 0 of 10 keyed rules exercised · 0 unkeyed rules · 3 uncovered values- test:protocol.studio-data · enabled ·
test/studio-data.test.ts:26 - test:protocol.studio-publisher · enabled ·
test/studio-publisher.test.ts:26
corpus:
a Pack and its member Specs,a Spec with a validation error,a carrier the extractor refuses; stalePage: not enumerable; checkClean: not enumerableexternal run evidence: 46 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-data · enabled ·
sdp studio --watchrebuilds the page set on each carrier change ·spec:consumers.spec-studio.publisher.watch· verifier binding present: 1 verifiers, 1 enabled · 1 of 1 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.spec-studio.publisher.watch.matches-plain-run · enabled ·
specs/consumers/spec-studio.publisher.watch.matches-plain-run.sdp.md
stalePage: not enumerable; changes: not enumerable
external run evidence: 48 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.publisher.watch.matches-plain-run · enabled ·
- An outside register is a named Studio input, so a cited token links to its entry ·
spec:consumers.spec-studio.register-input· verifier binding none: 0 verifiers, 0 enabled · 0 of 3 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The corpus's registers are pages a reviewer opens from a link ·
spec:consumers.spec-studio.registers· verifier binding present: 1 verifiers, 1 enabled · 2 of 9 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.spec-studio.registers.blocking-first · enabled ·
specs/consumers/spec-studio.registers.blocking-first.sdp.md
blockingSpec: not enumerable; otherSpec: not enumerable
external run evidence: 32 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.registers.blocking-first · enabled ·
- The Studio reads on a phone as on a desktop ·
spec:consumers.spec-studio.responsive· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 1 unkeyed rules · not measurable- test:protocol.studio-intent-handoff · enabled ·
test/studio-s5.test.ts:407
wideColumns: not enumerable; width: not enumerable
external run evidence: 48 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-intent-handoff · enabled ·
- The roadmap page shows the upcoming work in priority order, split by what it needs ·
spec:consumers.spec-studio.roadmap-page· verifier binding present: 1 verifiers, 1 enabled · 0 of 13 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-roadmap-page · enabled ·
test/studio-roadmap.test.ts:24
external run evidence: 19 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-roadmap-page · enabled ·
- The runs page shows the run records the build was given, joined to test files ·
spec:consumers.spec-studio.runs-page· verifier binding present: 1 verifiers, 1 enabled · 3 of 7 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.spec-studio.runs-page.external-evidence · enabled ·
specs/consumers/spec-studio.runs-page.external-evidence.sdp.md
tool: not enumerable; version: not enumerable; passed: not enumerable; failed: not enumerable
external run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.runs-page.external-evidence · enabled ·
- Search finds a Spec, a Pack, an entry or a bound file by a word ·
spec:consumers.spec-studio.search· verifier binding present: 3 verifiers, 3 enabled · 0 of 5 keyed rules exercised · 3 unkeyed rules- test:protocol.studio-concept-match · enabled ·
test/concept-match.test.ts:9 - test:protocol.studio-page-elements · enabled ·
test/studio-elements.test.ts:26 - test:protocol.studio-pages · enabled ·
test/studio-pages.test.ts:18
external run evidence: 66 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-concept-match · enabled ·
- A Studio build is stamped and shared from a static host ·
spec:consumers.spec-studio.sharing· verifier binding present: 1 verifiers, 1 enabled · 3 of 8 keyed rules exercised · 1 unkeyed rules · not measurable- spec:consumers.spec-studio.sharing.stamp-written-apart · enabled ·
specs/consumers/spec-studio.sharing.stamp-written-apart.sdp.md
commit: not enumerable; source: not enumerable
external run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.sharing.stamp-written-apart · enabled ·
- The Studio's shell frames every page with navigation, a rail and a canvas ·
spec:consumers.spec-studio.shell· verifier binding present: 1 verifiers, 1 enabled · 0 of 8 keyed rules exercised · 3 unkeyed rules- test:protocol.studio-pages · enabled ·
test/studio-pages.test.ts:18
external run evidence: 35 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-pages · enabled ·
- A slice page shows a Pack's design as one whole ·
spec:consumers.spec-studio.slice-page· verifier binding present: 1 verifiers, 1 enabled · 0 of 18 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-slice-page · enabled ·
test/studio-slice.test.ts:132
external run evidence: 21 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-slice-page · enabled ·
- A Spec page shows one Spec in collapsible panels, in a fixed order ·
spec:consumers.spec-studio.spec-page· verifier binding present: 3 verifiers, 3 enabled · 1 of 9 keyed rules exercised · 2 unkeyed rules · not measurable- spec:consumers.spec-studio.spec-page.cited-declaration · enabled ·
specs/consumers/spec-studio.spec-page.cited-declaration.sdp.md - test:protocol.studio-architecture-maturity-requirement · enabled ·
test/studio-panels.test.ts:35 - test:protocol.studio-panels · enabled ·
test/studio-s2.test.ts:256
file: not enumerable; line: not enumerable
external run evidence: 41 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.spec-page.cited-declaration · enabled ·
- A Spec page's core shows the whole Spec, with an anchor for every entry ·
spec:consumers.spec-studio.spec-page.core· verifier binding present: 1 verifiers, 1 enabled · 0 of 8 keyed rules exercised · 1 unkeyed rules- test:protocol.studio-pages · enabled ·
test/studio-pages.test.ts:18
external run evidence: 35 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-pages · enabled ·
- The panels for examples, targets, verifiers and evidence ·
spec:consumers.spec-studio.verification-panels· verifier binding present: 2 verifiers, 2 enabled · 1 of 6 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.spec-studio.verification-panels.rule-coverage · enabled ·
specs/consumers/spec-studio.verification-panels.rule-coverage.sdp.md - test:protocol.studio-panels · enabled ·
test/studio-s2.test.ts:256
exercisedKey: not enumerable; otherKey: not enumerable
external run evidence: 18 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.spec-studio.verification-panels.rule-coverage · enabled ·
- Mermaid diagrams can be rooted at code units ·
spec:consumers.structural-mermaid· verifier binding none: 0 verifiers, 0 enabled · 0 of 1 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Studio skill teaches agents to publish, share and read the Spec Studio ·
spec:consumers.studio-on-ramp· verifier binding present: 1 verifiers, 1 enabled · 0 of 7 keyed rules exercised · 0 unkeyed rules- test:protocol.studio-on-ramp · enabled ·
test/skills.test.ts:1747
external run evidence: 171 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.studio-on-ramp · enabled ·
- The upgrade kit shows a corpus what it could adopt ·
spec:consumers.upgrade-kit· verifier binding present: 1 verifiers, 1 enabled · 0 of 4 keyed rules exercised · 0 unkeyed rules- test:protocol.upgrade-guide · enabled ·
test/upgrade-kit.test.ts:94
external run evidence: 33 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.upgrade-guide · enabled ·
- Capability adoption counts where each capability is used and where it could apply ·
spec:consumers.upgrade-kit.capability-adoption· verifier binding present: 1 verifiers, 1 enabled · 2 of 5 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus · enabled ·
specs/consumers/upgrade-kit.capability-adoption.counts-a-corpus.sdp.md
rules: not enumerable; keyed: not enumerable; relations: not enumerable; reasons: not enumerable
external run evidence: 33 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus · enabled ·
- The rule-key proposal keys every unkeyed rule as a change proposal ·
spec:consumers.upgrade-kit.rule-key-proposal· verifier binding present: 2 verifiers, 2 enabled · 6 of 6 keyed rules exercised · 0 unkeyed rules · not measurable- spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable · enabled ·
specs/consumers/upgrade-kit.rule-key-proposal.collision-and-unkeyable.sdp.md - spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean · enabled ·
specs/consumers/upgrade-kit.rule-key-proposal.proposal-applies-clean.sdp.md
rules: not enumerable
external run evidence: 33 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable · enabled ·
- Validation re-runs while an author edits carriers ·
spec:consumers.validate-watch· verifier binding present: 2 verifiers, 2 enabled · 0 of 1 keyed rules exercised · 4 unkeyed rules- test:protocol.validate-watch · enabled ·
test/cli.test.ts:1692 - test:protocol.validate-watch-rules · enabled ·
test/corpus-rules.test.ts:351
external run evidence: 153 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.validate-watch · enabled ·
- The vault skill teaches agents to keep an Obsidian vault of the graph ·
spec:consumers.vault-on-ramp· verifier binding present: 1 verifiers, 1 enabled · 0 of 7 keyed rules exercised · 0 unkeyed rules- test:protocol.vault-on-ramp · enabled ·
test/skills.test.ts:2081
external run evidence: 171 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.vault-on-ramp · enabled ·
- Every view run rewrites the view wholesale ·
spec:consumers.wholesale-view-rewrite· verifier binding present: 5 verifiers, 5 enabled · 0 of 3 keyed rules exercised · 5 unkeyed rules · 0 uncovered values- spec:consumers.wholesale-view-rewrite.build-invalidates-view · enabled ·
specs/consumers/wholesale-view-rewrite.build-invalidates-view.sdp.md - spec:consumers.wholesale-view-rewrite.failed-run-view-removed · enabled ·
specs/consumers/wholesale-view-rewrite.failed-run-view-removed.sdp.md - spec:consumers.wholesale-view-rewrite.late-stale-page · enabled ·
specs/consumers/wholesale-view-rewrite.late-stale-page.sdp.md - spec:consumers.wholesale-view-rewrite.stale-page-removed · enabled ·
specs/consumers/wholesale-view-rewrite.stale-page-removed.sdp.md - test:protocol.cli-write-boundaries · enabled ·
test/cli-write-boundaries.test.ts:292
corpus: no uncovered values; stalePage: not enumerable; planted: no uncovered values; command: no uncovered values
external run evidence: 62 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.wholesale-view-rewrite.build-invalidates-view · enabled ·
- Delivery nouns remain familiar without workflow gates ·
spec:decisions.adopt-the-nouns· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Adopted runnable registrars are committed ·
spec:decisions.adopted-registrars-committed· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The agent front door is one evaluation sink over the exported reader ·
spec:decisions.agent-front-door· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Agents script the visible graph ·
spec:decisions.agent-surface-scripts-graph· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Bindings are optional, plural, and may reference a design ·
spec:decisions.anchor-binding-grain· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The comment form is a second anchor representation ·
spec:decisions.anchor-comment-form· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Architectural significance is annotated where it is realized ·
spec:decisions.architectural-annotation· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Design Review renders open-section entries as a list ·
spec:decisions.authored-entry-order· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Bindings state existence, not liveness ·
spec:decisions.binding-not-liveness· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Promoted evidence must carry its own evidence ·
spec:decisions.carried-evidence· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Markdown is the default Spec carrier ·
spec:decisions.carrier-ruling· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Carrier universality is bounded by honest kind structure ·
spec:decisions.carrier-universality· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- A Spec id written in prose is a checked mention ·
spec:decisions.checked-mentions· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Concept documents may dissolve after executable truth lands ·
spec:decisions.concept-docs-dissolve· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Sections carry content while relations carry links ·
spec:decisions.content-only-sections· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Decision records state readiness from ratification evidence ·
spec:decisions.decision-readiness-posture· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Protocol owns the envelope grammar ·
spec:decisions.envelope-grammar-posture· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Capability epics keep kind independent of altitude ·
spec:decisions.epics-of-any-kind· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Example realization stays evidence, not backlog work ·
spec:decisions.example-realization-posture· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Consumer exclusions stay exact ·
spec:decisions.exclusion-contract· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Protocol is an executable meta-model ·
spec:decisions.executable-meta-model· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Behavior and example Specs may use Gherkin canonically ·
spec:decisions.gherkin-carrier-option· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Readiness evidence follows the Spec kind ·
spec:decisions.kind-conditional-floor· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- MCP integration remains deferred ·
spec:decisions.mcp-deferred· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- One Spec carries named delivery coordinates ·
spec:decisions.one-primitive· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Validation follows one graph ·
spec:decisions.one-validation-path· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Design Review's Pack page presents the Pack's design ·
spec:decisions.pack-design-page· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Packs have a Markdown manifest carrier ·
spec:decisions.pack-markdown-carrier· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Packs group review context without becoming truth ·
spec:decisions.pack-reified· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Durable references lead with meaning ·
spec:decisions.plain-language-references· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Planning truths live in ruled graph homes ·
spec:decisions.planning-truths-placement· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Each example binds one point ·
spec:decisions.point-per-example· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Prose belongs to typed graph owners ·
spec:decisions.prose-ownership· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The meta-model is a software delivery protocol ·
spec:decisions.protocol-naming· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Design Review shows an open question's key ·
spec:decisions.question-key-rendering· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Plan and review files stop carrying the delivery record once the roadmap and the pull request do ·
spec:decisions.roadmap-over-plans· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- A roadmap states advisory priority in the graph ·
spec:decisions.roadmap-priority· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Canonical Gherkin carriers use
.sdp.gherkin·spec:decisions.sdp-gherkin-extension· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Spec extensions identify the carrier without colliding with tests ·
spec:decisions.sdp-ts-extension· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The shipped projections stay frozen ·
spec:decisions.shipped-projections-frozen· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The build renders every Studio view, and an element only enhances it ·
spec:decisions.studio-build-renders· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The engine lays out every Studio diagram as static SVG when the page set is built ·
spec:decisions.studio-diagram-renderer· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Studio renders HTML, and the HTML stays derived ·
spec:decisions.studio-html-surface· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Studio is built from custom elements, not a framework ·
spec:decisions.studio-web-components· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Floor-read sections are closed typed shapes ·
spec:decisions.typing-law· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The vault's generator owns one folder and synchronizes it ·
spec:decisions.vault-owned-folder· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Verification mode states posture, not realization ·
spec:decisions.verification-posture-not-realization· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The build pipeline has one ordered flow ·
spec:extraction.build-pipeline· verifier binding present: 2 verifiers, 2 enabled · 1 of 6 keyed rules exercised · 4 unkeyed rules · not measurable- spec:extraction.build-pipeline.same-invocation · enabled ·
specs/extraction/build-pipeline.same-invocation.sdp.md - test:protocol.cli-write-boundaries · enabled ·
test/cli-write-boundaries.test.ts:292
specId: not enumerable
external run evidence: 59 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:extraction.build-pipeline.same-invocation · enabled ·
- Graph claims retain their epistemic source ·
spec:extraction.claim-taxonomy· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rules- test:protocol.claim-taxonomy · enabled ·
test/graph-schema.test.ts:34
external run evidence: 5 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.claim-taxonomy · enabled ·
- Pinned declarations give an adopter a derived module to typecheck ·
spec:extraction.contract-declarations· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 6 unkeyed rules- test:protocol.register-recipes · enabled ·
test/recipes.test.ts:2129
external run evidence: 403 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.register-recipes · enabled ·
- Resolving bindings confer direct delivery facts ·
spec:extraction.delivery-facts· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 10 unkeyed rules- test:protocol.delivery-facts · enabled ·
test/extract.test.ts:1620
external run evidence: 307 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.delivery-facts · enabled ·
- Carrier reification derives the one graph ·
spec:extraction.derive-graph· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 9 unkeyed rules- test:protocol.extract · enabled ·
test/extract.test.ts:1613
external run evidence: 307 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.extract · enabled ·
- Committed source derives byte-identical output ·
spec:extraction.determinism· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 2 unkeyed rules- test:protocol.extraction-determinism · enabled ·
test/cli.test.ts:2370
external run evidence: 102 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.extraction-determinism · enabled ·
- The graph records where anchored source cites an entry address ·
spec:extraction.entry-citations· verifier binding present: 4 verifiers, 4 enabled · 7 of 10 keyed rules exercised · 0 unkeyed rules · 0 uncovered values- spec:extraction.entry-citations.code-comment-cites-declaration · enabled ·
specs/extraction/entry-citations.code-comment-cites-declaration.sdp.md - spec:extraction.entry-citations.test-title-cites-declaration · enabled ·
specs/extraction/entry-citations.test-title-cites-declaration.sdp.md - spec:extraction.entry-citations.unanchored-file-unread · enabled ·
specs/extraction/entry-citations.unanchored-file-unread.sdp.md - spec:extraction.entry-citations.unresolved-citation · enabled ·
specs/extraction/entry-citations.unresolved-citation.sdp.md
declaration: not enumerable; anchored: no uncovered values; address: not enumerable; line: not enumerable
external run evidence: 21 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:extraction.entry-citations.code-comment-cites-declaration · enabled ·
- The graph records where each addressable entry is written ·
spec:extraction.entry-locations· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 7 unkeyed rules- test:protocol.entry-locations · enabled ·
test/entry-locations.test.ts:14
external run evidence: 18 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.entry-locations · enabled ·
- A bound example runs its contract steps against a fresh world ·
spec:extraction.example-runner· verifier binding present: 3 verifiers, 3 enabled · 3 of 5 keyed rules exercised · 1 unkeyed rules · 2 uncovered values- spec:extraction.example-runner.red-step-naming · enabled ·
specs/extraction/example-runner.red-step-naming.sdp.md - spec:extraction.example-runner.step-order · enabled ·
specs/extraction/example-runner.step-order.sdp.md - test:protocol.example-runner-cleanup · enabled ·
test/vitest-adapter.test.ts:19
occurrences: not enumerable; failingPhase:
given,then; unbound spec:extraction.example-runner.step-order; thrown: not enumerable; unbound spec:extraction.example-runner.step-orderexternal run evidence: 14 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:extraction.example-runner.red-step-naming · enabled ·
- Extraction exclusions are strict consumer input ·
spec:extraction.excludes· verifier binding present: 2 verifiers, 2 enabled · 2 of 3 keyed rules exercised · 1 unkeyed rules · not measurable- spec:extraction.excludes.refused-path · enabled ·
specs/extraction/excludes.refused-path.sdp.md - spec:extraction.excludes.segment-boundary · enabled ·
specs/extraction/excludes.segment-boundary.sdp.md
excludedTree: not enumerable; similarTree: not enumerable; exclusion: not enumerable
external run evidence: 9 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:extraction.excludes.refused-path · enabled ·
- The build derives step and space contracts from graph examples ·
spec:extraction.executable-contracts· verifier binding present: 7 verifiers, 7 enabled · 5 of 8 keyed rules exercised · 6 unkeyed rules · 0 uncovered values- spec:carrier.step-keys.conflicting-example-key-withheld · enabled ·
specs/carrier/step-keys.conflicting-example-key-withheld.sdp.md - spec:carrier.step-keys.key-equal-to-a-skeleton-withheld · enabled ·
specs/carrier/step-keys.key-equal-to-a-skeleton-withheld.sdp.md - spec:carrier.step-keys.reworded-keyed-step-stays-bound · enabled ·
specs/carrier/step-keys.reworded-keyed-step-stays-bound.sdp.md - spec:carrier.step-keys.reworded-unkeyed-step-breaks · enabled ·
specs/carrier/step-keys.reworded-unkeyed-step-breaks.sdp.md - spec:extraction.executable-contracts.case-colliding-path · enabled ·
specs/extraction/executable-contracts.case-colliding-path.sdp.md - spec:extraction.executable-contracts.concreteness-refusal · enabled ·
specs/extraction/executable-contracts.concreteness-refusal.sdp.md - spec:extraction.executable-contracts.multi-entry-example · enabled ·
specs/extraction/executable-contracts.multi-entry-example.sdp.md
dimension: not enumerable; exampleId: not enumerable; binding: no uncovered values; entryCount: not enumerable; unbound spec:extraction.executable-contracts.case-colliding-path, spec:extraction.executable-contracts.concreteness-refusal; twinId: not enumerable; unbound spec:extraction.executable-contracts.concreteness-refusal, spec:extraction.executable-contracts.multi-entry-example
external run evidence: 19 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:carrier.step-keys.conflicting-example-key-withheld · enabled ·
- Bound examples execute their authored steps ·
spec:extraction.executable-examples· verifier binding none: 0 verifiers, 0 enabled · 0 of 4 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Serialization preserves authored entry order ·
spec:extraction.open-section-order· verifier binding present: 1 verifiers, 1 enabled · 0 of 1 keyed rules exercised · 9 unkeyed rules- test:protocol.open-section-order · enabled ·
test/graph-schema.test.ts:27
external run evidence: 5 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.open-section-order · enabled ·
- A Pack node keeps its members in authored order ·
spec:extraction.pack-member-order· verifier binding present: 2 verifiers, 2 enabled · 1 of 1 keyed rules exercised · 4 unkeyed rules · not measurable- spec:extraction.pack-member-order.manifest-order-kept · enabled ·
specs/extraction/pack-member-order.manifest-order-kept.sdp.md - test:protocol.roadmap-priority · enabled ·
test/roadmap-priority.test.ts:44
manifestOrder: not enumerable
external run evidence: 42 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:extraction.pack-member-order.manifest-order-kept · enabled ·
- Generated artifacts are disposable projections ·
spec:extraction.regenerability· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 3 unkeyed rules- test:protocol.regenerability · enabled ·
test/cli.test.ts:56
external run evidence: 102 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.regenerability · enabled ·
- Derived runnable modules freeze the registrar interface ·
spec:extraction.runnable-modules· verifier binding present: 3 verifiers, 3 enabled · 0 of 1 keyed rules exercised · 15 unkeyed rules- test:protocol.runnable-modules · enabled ·
test/testing.test.ts:58 - test:protocol.runnable-modules-generation · enabled ·
test/codegen.test.ts:39 - test:protocol.runnable-modules-types · enabled ·
test/runnable-modules.typecheck.ts:5
external run evidence: 102 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.runnable-modules · enabled ·
- The graph declares its schema version ·
spec:extraction.schema-versioning· verifier binding present: 1 verifiers, 1 enabled · 1 of 1 keyed rules exercised · 1 unkeyed rules · not measurable- spec:extraction.schema-versioning.declared-version · enabled ·
specs/extraction/schema-versioning.declared-version.sdp.md
specId: not enumerable
external run evidence: 9 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:extraction.schema-versioning.declared-version · enabled ·
- Source anchors bind code without carrying intent ·
spec:model.anchors· verifier binding present: 3 verifiers, 3 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rules · 1 uncovered values- spec:model.anchors.lookalike-refusal · enabled ·
specs/model/anchors.lookalike-refusal.sdp.md - spec:model.anchors.physical-identity · enabled ·
specs/model/anchors.physical-identity.sdp.md - test:protocol.structural-anchor-regressions · enabled ·
test/structural-anchors.test.ts:74
builderSource:
the published Protocol packageexternal run evidence: 22 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:model.anchors.lookalike-refusal · enabled ·
- The Protocol models delivery with one enrichable Spec ·
spec:model.core-model· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rules- test:protocol.core-model · enabled ·
test/builders.test.ts:44
external run evidence: 5 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.core-model · enabled ·
- What a Spec's design carries is derived, beside its readiness ·
spec:model.design-maturity· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rules- test:protocol.pack-design · enabled ·
test/pack-design.test.ts:18
external run evidence: 18 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.pack-design · enabled ·
- Enrichment keeps one Spec while its detail changes ·
spec:model.enrichment-lifecycle· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rules- test:protocol.slimming-recipe · enabled ·
test/curation-recipes.test.ts:39
external run evidence: 35 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.slimming-recipe · enabled ·
- An open question may name who decides it, its links, a provisional reading and a re-entry trigger ·
spec:model.open-question-fields· verifier binding present: 3 verifiers, 3 enabled · 1 of 2 keyed rules exercised · 10 unkeyed rules · 2 uncovered values- spec:model.open-question-fields.dropped-list-warns · enabled ·
specs/model/open-question-fields.dropped-list-warns.sdp.md - test:protocol.authoring-grammar · enabled ·
test/authoring-grammar.test.ts:24 - test:protocol.authoring-grammar-recipes · enabled ·
test/recipes.test.ts:6657
construct:
a non-static blocking flag,a spread in the listexternal run evidence: 498 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:model.open-question-fields.dropped-list-warns · enabled ·
- An open question may carry a key that addresses it ·
spec:model.open-question-keys· verifier binding present: 3 verifiers, 3 enabled · 3 of 3 keyed rules exercised · 3 unkeyed rules · not measurable- spec:model.open-question-keys.keyed-question-resolves · enabled ·
specs/model/open-question-keys.keyed-question-resolves.sdp.md - spec:model.open-question-keys.renamed-key-breaks · enabled ·
specs/model/open-question-keys.renamed-key-breaks.sdp.md - spec:model.open-question-keys.repeated-key-refused · enabled ·
specs/model/open-question-keys.repeated-key-refused.sdp.md
specId: not enumerable; questions: not enumerable; address: not enumerable
external run evidence: 3 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:model.open-question-keys.keyed-question-resolves · enabled ·
- A Pack is a truth-free review aggregate ·
spec:model.pack-aggregate· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rules- test:protocol.pack-builder · enabled ·
test/builders.test.ts:37 - test:protocol.roadmap-priority · enabled ·
test/roadmap-priority.test.ts:44
external run evidence: 41 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.pack-builder · enabled ·
- Components are designed ahead of their code ·
spec:model.planned-architecture· verifier binding present: 3 verifiers, 3 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rules · 1 uncovered values- spec:model.planned-architecture.differing-layer-and-uses · enabled ·
specs/model/planned-architecture.differing-layer-and-uses.sdp.md - spec:model.planned-architecture.matching-design · enabled ·
specs/model/planned-architecture.matching-design.sdp.md - spec:model.planned-architecture.unrealized-design · enabled ·
specs/model/planned-architecture.unrealized-design.sdp.md
componentId: not enumerable; plannedLayer:
application; plannedUses: not enumerable; anchor: no uncovered values; realizedLayer: no uncovered values; realizedUses: not enumerableexternal run evidence: 10 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:model.planned-architecture.differing-layer-and-uses · enabled ·
- An authored relation may carry its reason ·
spec:model.relation-reasons· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 7 unkeyed rules- test:protocol.authoring-grammar · enabled ·
test/authoring-grammar.test.ts:24 - test:protocol.authoring-grammar-recipes · enabled ·
test/recipes.test.ts:6657
external run evidence: 490 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.authoring-grammar · enabled ·
- Specs declare typed directed relations ·
spec:model.relations· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rules- test:protocol.relation-builders · enabled ·
test/builders.test.ts:32
external run evidence: 5 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.relation-builders · enabled ·
- A rule or flow entry may carry a key that addresses it ·
spec:model.rule-keys· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 7 unkeyed rules- test:protocol.authoring-grammar · enabled ·
test/authoring-grammar.test.ts:24 - test:protocol.authoring-grammar-recipes · enabled ·
test/recipes.test.ts:6657
external run evidence: 490 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.authoring-grammar · enabled ·
- Spec sections carry typed detail and direct verifier semantics ·
spec:model.spec-sections· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Stable IDs are the Protocol's durable join key ·
spec:model.stable-ids· verifier binding present: 3 verifiers, 3 enabled · 1 of 1 keyed rules exercised · 4 unkeyed rules · not measurable- spec:model.stable-ids.malformed-refusal · enabled ·
specs/model/stable-ids.malformed-refusal.sdp.md - spec:model.stable-ids.namespaced-round-trip · enabled ·
specs/model/stable-ids.namespaced-round-trip.sdp.md - spec:model.stable-ids.unsectioned-address-refused · enabled ·
specs/model/stable-ids.unsectioned-address-refused.sdp.md
identifier: not enumerable
external run evidence: 5 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:model.stable-ids.malformed-refusal · enabled ·
- Architecturally significant units are annotated where they are realized ·
spec:model.structural-patterns· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rules- test:protocol.structural-self-binding · enabled ·
test/self-hosting-graph.test.ts:88
external run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.structural-self-binding · enabled ·
- A Model term may carry a key that addresses it ·
spec:model.term-addresses· verifier binding present: 6 verifiers, 6 enabled · 7 of 7 keyed rules exercised · 2 unkeyed rules · 0 uncovered values- spec:model.term-addresses.keyed-term-resolves · enabled ·
specs/model/term-addresses.keyed-term-resolves.sdp.md - spec:model.term-addresses.malformed-term-marker-refused · enabled ·
specs/model/term-addresses.malformed-term-marker-refused.sdp.md - spec:model.term-addresses.repeated-term-key-refused · enabled ·
specs/model/term-addresses.repeated-term-key-refused.sdp.md - spec:model.term-addresses.typescript-term-imports-keyed · enabled ·
specs/model/term-addresses.typescript-term-imports-keyed.sdp.md - spec:model.term-addresses.unknown-term-key-refused · enabled ·
specs/model/term-addresses.unknown-term-key-refused.sdp.md - test:protocol.keyed-content · enabled ·
test/keyed-content.test.ts:28
carrier: no uncovered values; specId: not enumerable; terms: not enumerable; address: not enumerable
external run evidence: 31 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:model.term-addresses.keyed-term-resolves · enabled ·
- CI run records are joined to verifiers in a view ·
spec:observation.run-evidence· verifier binding present: 2 verifiers, 2 enabled · 5 of 7 keyed rules exercised · 2 unkeyed rules · 1 uncovered values- spec:observation.run-evidence.absolute-path-joins · enabled ·
specs/observation/run-evidence.absolute-path-joins.sdp.md - spec:observation.run-evidence.unanchored-file-unjoined · enabled ·
specs/observation/run-evidence.unanchored-file-unjoined.sdp.md
testName: not enumerable; filePath: not enumerable; status:
skipped; anchorFile: not enumerable; specId: not enumerableexternal run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:observation.run-evidence.absolute-path-joins · enabled ·
- When bound-file changes make run evidence stale ·
spec:observation.run-evidence.bound-file-freshness· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- Runtime observations can close the liveness loop ·
spec:observation.runtime-overlay· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Protocol organizes its own features in capability epics ·
spec:protocol.capability-epics· verifier binding present: 1 verifiers, 1 enabled · 0 of 4 keyed rules exercised · 0 unkeyed rules- test:protocol.capability-epics · enabled ·
test/recipes.test.ts:8249
external run evidence: 403 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.capability-epics · enabled ·
- The Protocol removes its frozen plans, review reports and superseded concept material ·
spec:protocol.delivery-record-cleanup· verifier binding none: 0 verifiers, 0 enabled · 0 of 1 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Protocol reads its next work from its roadmap and keeps its delivery record in git and its pull requests ·
spec:protocol.roadmap-replaces-plans· verifier binding present: 1 verifiers, 1 enabled · 0 of 11 keyed rules exercised · 0 unkeyed rules- test:protocol.roadmap-practice · enabled ·
test/check-self-hosting-gates.test.ts:59
external run evidence: 16 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.roadmap-practice · enabled ·
- The engine's architectural roles each name one pattern ·
spec:protocol.role-vocabulary· verifier binding none: 0 verifiers, 0 enabled · 0 of 0 keyed rules exercised · 0 unkeyed rulesexternal run evidence: 0 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- The Protocol authors and validates itself ·
spec:protocol.self-hosting· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 2 unkeyed rules- test:protocol.self-hosting · enabled ·
test/self-hosting-graph.test.ts:81
external run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.self-hosting · enabled ·
- The engine's accepted set covers its significant abstractions and only those ·
spec:protocol.significant-units-review· verifier binding present: 1 verifiers, 1 enabled · 0 of 7 keyed rules exercised · 0 unkeyed rules- test:protocol.structural-self-binding · enabled ·
test/self-hosting-graph.test.ts:88
external run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.structural-self-binding · enabled ·
- The engine's structural self-binding covers its architecturally significant units ·
spec:protocol.structural-self-binding· verifier binding present: 1 verifiers, 1 enabled · 0 of 8 keyed rules exercised · 0 unkeyed rules- test:protocol.structural-self-binding · enabled ·
test/self-hosting-graph.test.ts:88
external run evidence: 38 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.structural-self-binding · enabled ·
- Declared architecture rules are checked against anchored structure ·
spec:validation.architecture-constraints· verifier binding present: 3 verifiers, 3 enabled · 3 of 4 keyed rules exercised · 4 unkeyed rules · 0 uncovered values- spec:validation.architecture-constraints.forbidden-layer-pair · enabled ·
specs/validation/architecture-constraints.forbidden-layer-pair.sdp.md - spec:validation.architecture-constraints.isolated-context-as-rule · enabled ·
specs/validation/architecture-constraints.isolated-context-as-rule.sdp.md - spec:validation.architecture-constraints.unstated-layer-unclassified · enabled ·
specs/validation/architecture-constraints.unstated-layer-unclassified.sdp.md
fromLayer: no uncovered values; fromContext: no uncovered values; toLayer: no uncovered values; toContext: no uncovered values; invocation: no uncovered values
external run evidence: 10 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.architecture-constraints.forbidden-layer-pair · enabled ·
- Machine truth is never authored ·
spec:validation.authored-honesty· verifier binding present: 2 verifiers, 2 enabled · 0 of 1 keyed rules exercised · 1 unkeyed rules · 0 uncovered values- spec:validation.authored-honesty.section-authored-fact · enabled ·
specs/validation/authored-honesty.section-authored-fact.sdp.md - spec:validation.authored-honesty.unearned-stated-fact · enabled ·
specs/validation/authored-honesty.unearned-stated-fact.sdp.md
specId: not enumerable; factName: no uncovered values; site: no uncovered values
external run evidence: 36 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.authored-honesty.section-authored-fact · enabled ·
- Graph claims and contracts stay distinct ·
spec:validation.claim-separation· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 2 unkeyed rules · 0 uncovered values- spec:validation.claim-separation.collapsed-edge-claim · enabled ·
specs/validation/claim-separation.collapsed-edge-claim.sdp.md - spec:validation.claim-separation.unratified-descriptor · enabled ·
specs/validation/claim-separation.unratified-descriptor.sdp.md
specId: not enumerable; element: no uncovered values; value: not enumerable
external run evidence: 36 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.claim-separation.collapsed-edge-claim · enabled ·
- Corpus-authored rules run on the one validation path ·
spec:validation.corpus-rules· verifier binding present: 9 verifiers, 9 enabled · 7 of 10 keyed rules exercised · 6 unkeyed rules · 0 uncovered values- spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · enabled ·
specs/consumers/agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run.sdp.md - spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run · enabled ·
specs/consumers/agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run.sdp.md - spec:validation.corpus-rules.copies-contain-changes · enabled ·
specs/validation/corpus-rules.copies-contain-changes.sdp.md - spec:validation.corpus-rules.error-finding-fails · enabled ·
specs/validation/corpus-rules.error-finding-fails.sdp.md - spec:validation.corpus-rules.malformed-finding-fails · enabled ·
specs/validation/corpus-rules.malformed-finding-fails.sdp.md - spec:validation.corpus-rules.params-edit-starts-a-cycle · enabled ·
specs/validation/corpus-rules.params-edit-starts-a-cycle.sdp.md - spec:validation.corpus-rules.rules-edit-starts-a-cycle · enabled ·
specs/validation/corpus-rules.rules-edit-starts-a-cycle.sdp.md - spec:validation.corpus-rules.unreadable-params-fail-one-file · enabled ·
specs/validation/corpus-rules.unreadable-params-fail-one-file.sdp.md - spec:validation.corpus-rules.warning-finding-informs · enabled ·
specs/validation/corpus-rules.warning-finding-informs.sdp.md
first: no uncovered values
external run evidence: 22 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · enabled ·
- One diagnostic currency, its location composed from structured fields ·
spec:validation.diagnostic-rendering· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 5 unkeyed rules · 1 uncovered values- spec:validation.diagnostic-rendering.composed-location · enabled ·
specs/validation/diagnostic-rendering.composed-location.sdp.md - spec:validation.diagnostic-rendering.table-cell-location · enabled ·
specs/validation/diagnostic-rendering.table-cell-location.sdp.md
validatorId: not enumerable; severity:
warning; message: not enumerable; renderer: no uncovered valuesexternal run evidence: 12 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.diagnostic-rendering.composed-location · enabled ·
- Duplicate carrier IDs are excluded loudly ·
spec:validation.duplicate-ids· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 2 unkeyed rules · not measurable- spec:validation.duplicate-ids.dual-carrier · enabled ·
specs/validation/duplicate-ids.dual-carrier.sdp.md
firstCarrier: not enumerable; specId: not enumerable; secondCarrier: not enumerable
external run evidence: 73 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.duplicate-ids.dual-carrier · enabled ·
- A corpus checks the register tokens its prose cites ·
spec:validation.external-registers· verifier binding present: 2 verifiers, 2 enabled · 6 of 8 keyed rules exercised · 1 unkeyed rules · not measurable- spec:validation.external-registers.uncited-on-request · enabled ·
specs/validation/external-registers.uncited-on-request.sdp.md - spec:validation.external-registers.unknown-and-retired · enabled ·
specs/validation/external-registers.unknown-and-retired.sdp.md
cited: not enumerable; held: not enumerable; retired: not enumerable; uncited: not enumerable
external run evidence: 2 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.external-registers.uncited-on-request · enabled ·
- Each kind carries its own evidence ·
spec:validation.kind-evidence· verifier binding present: 5 verifiers, 5 enabled · 0 of 0 keyed rules exercised · 11 unkeyed rules · 0 uncovered values- spec:carrier.gherkin-authoring.unbound-ready-refused · enabled ·
specs/carrier/gherkin-authoring.unbound-ready-refused.sdp.md - spec:validation.kind-evidence.constraints-alone · enabled ·
specs/validation/kind-evidence.constraints-alone.sdp.md - spec:validation.kind-evidence.empty-promoted-child · enabled ·
specs/validation/kind-evidence.empty-promoted-child.sdp.md - spec:validation.kind-evidence.second-entry-untargeted · enabled ·
specs/validation/kind-evidence.second-entry-untargeted.sdp.md - spec:validation.kind-evidence.untargeted-constraint · enabled ·
specs/validation/kind-evidence.untargeted-constraint.sdp.md
kind: no uncovered values; specId: not enumerable; readiness: no uncovered values; evidence: no uncovered values
external run evidence: 49 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:carrier.gherkin-authoring.unbound-ready-refused · enabled ·
- The floor names what blocks the floor's next rung ·
spec:validation.next-rung-floor· verifier binding present: 2 verifiers, 2 enabled · 0 of 1 keyed rules exercised · 5 unkeyed rules · 0 uncovered values- spec:validation.next-rung-floor.blocking-question · enabled ·
specs/validation/next-rung-floor.blocking-question.sdp.md - spec:validation.next-rung-floor.typed-dependency-targets · enabled ·
specs/validation/next-rung-floor.typed-dependency-targets.sdp.md
specId: not enumerable; statedReadiness: no uncovered values; structure: no uncovered values
external run evidence: 2 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.next-rung-floor.blocking-question · enabled ·
- Oracle eligibility follows example-space ownership ·
spec:validation.oracle-target-eligibility· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 4 unkeyed rules · 0 uncovered values- spec:validation.oracle-target-eligibility.missing-space-refused · enabled ·
specs/validation/oracle-target-eligibility.missing-space-refused.sdp.md - spec:validation.oracle-target-eligibility.rule-space-accepted · enabled ·
specs/validation/oracle-target-eligibility.rule-space-accepted.sdp.md
targetKind: no uncovered values; ownsExampleSpace: not enumerable
external run evidence: 36 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.oracle-target-eligibility.missing-space-refused · enabled ·
- Packs are coherent aggregates ·
spec:validation.pack-coherence· verifier binding present: 1 verifiers, 1 enabled · 0 of 0 keyed rules exercised · 4 unkeyed rules · not measurable- spec:validation.pack-coherence.incoherent-aggregate · enabled ·
specs/validation/pack-coherence.incoherent-aggregate.sdp.md
packId: not enumerable; specId: not enumerable; memberCount: not enumerable
external run evidence: 36 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.pack-coherence.incoherent-aggregate · enabled ·
- Every Spec id written in prose resolves ·
spec:validation.prose-mentions· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 11 unkeyed rules- test:protocol.entry-locations · enabled ·
test/entry-locations.test.ts:14 - test:protocol.prose-mentions · enabled ·
test/validators.test.ts:1439
external run evidence: 139 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- test:protocol.entry-locations · enabled ·
- Stated readiness must clear its floor ·
spec:validation.readiness-floor· verifier binding present: 3 verifiers, 3 enabled · 2 of 5 keyed rules exercised · 9 unkeyed rules · 0 uncovered values- spec:validation.readiness-floor.blocking-open-question · enabled ·
specs/validation/readiness-floor.blocking-open-question.sdp.md - spec:validation.readiness-floor.unrelated-scoped-spec · enabled ·
specs/validation/readiness-floor.unrelated-scoped-spec.sdp.md - test:protocol.readiness-floor · enabled ·
test/readiness.test.ts:66
specId: not enumerable; readiness: no uncovered values; defect: no uncovered values
external run evidence: 63 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.readiness-floor.blocking-open-question · enabled ·
- Every graph reference resolves ·
spec:validation.referential-integrity· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 2 unkeyed rules · not measurable- spec:validation.referential-integrity.dangling-target · enabled ·
specs/validation/referential-integrity.dangling-target.sdp.md - spec:validation.referential-integrity.did-you-mean · enabled ·
specs/validation/referential-integrity.did-you-mean.sdp.md
presentId: not enumerable; targetId: not enumerable
external run evidence: 36 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.referential-integrity.dangling-target · enabled ·
- A Spec shaped by a superseded decision warns ·
spec:validation.superseded-decision-signal· verifier binding present: 9 verifiers, 9 enabled · 8 of 10 keyed rules exercised · 0 unkeyed rules · 1 uncovered values- spec:validation.superseded-decision-signal.branch-names-every-end · enabled ·
specs/validation/superseded-decision-signal.branch-names-every-end.sdp.md - spec:validation.superseded-decision-signal.chain-end-named · enabled ·
specs/validation/superseded-decision-signal.chain-end-named.sdp.md - spec:validation.superseded-decision-signal.closed-chain-named · enabled ·
specs/validation/superseded-decision-signal.closed-chain-named.sdp.md - spec:validation.superseded-decision-signal.dependency-unread · enabled ·
specs/validation/superseded-decision-signal.dependency-unread.sdp.md - spec:validation.superseded-decision-signal.end-and-loop-named · enabled ·
specs/validation/superseded-decision-signal.end-and-loop-named.sdp.md - spec:validation.superseded-decision-signal.live-replacement-warns · enabled ·
specs/validation/superseded-decision-signal.live-replacement-warns.sdp.md - spec:validation.superseded-decision-signal.replaced-ruling-warns · enabled ·
specs/validation/superseded-decision-signal.replaced-ruling-warns.sdp.md - spec:validation.superseded-decision-signal.replacement-below-ready-named · enabled ·
specs/validation/superseded-decision-signal.replacement-below-ready-named.sdp.md - spec:validation.superseded-decision-signal.superseded-subject-silent · enabled ·
specs/validation/superseded-decision-signal.superseded-subject-silent.sdp.md
subject: no uncovered values; relation: no uncovered values; replacement:
no decision; replacementRung: no uncovered valuesexternal run evidence: 36 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.superseded-decision-signal.branch-names-every-end · enabled ·
- Validation separates well-formedness from non-pretending ·
spec:validation.two-check-families· verifier binding present: 1 verifiers, 1 enabled · 0 of 1 keyed rules exercised · 5 unkeyed rules · 1 uncovered values- spec:validation.two-check-families.split-report · enabled ·
specs/validation/two-check-families.split-report.sdp.md
specId: not enumerable; readiness:
idea; targetId: not enumerableexternal run evidence: 36 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.two-check-families.split-report · enabled ·
- A ready Spec rests only on settled dependencies ·
spec:validation.typed-dependency-floor· verifier binding present: 4 verifiers, 4 enabled · 0 of 0 keyed rules exercised · 7 unkeyed rules · 0 uncovered values- spec:validation.typed-dependency-floor.missing-targets · enabled ·
specs/validation/typed-dependency-floor.missing-targets.sdp.md - spec:validation.typed-dependency-floor.relation-rungs · enabled ·
specs/validation/typed-dependency-floor.relation-rungs.sdp.md - spec:validation.typed-dependency-floor.stated-readiness · enabled ·
specs/validation/typed-dependency-floor.stated-readiness.sdp.md - spec:validation.typed-dependency-floor.unsettled-fact · enabled ·
specs/validation/typed-dependency-floor.unsettled-fact.sdp.md
matrix: no uncovered values
external run evidence: 4 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.typed-dependency-floor.missing-targets · enabled ·
- An unbound example below ready is data, not a warning ·
spec:validation.unbound-example-posture· verifier binding present: 3 verifiers, 3 enabled · 0 of 0 keyed rules exercised · 5 unkeyed rules · not measurable- spec:validation.unbound-example-posture.lower-rungs · enabled ·
specs/validation/unbound-example-posture.lower-rungs.sdp.md - spec:validation.unbound-example-posture.parent-traces · enabled ·
specs/validation/unbound-example-posture.parent-traces.sdp.md - spec:validation.unbound-example-posture.warning-cases · enabled ·
specs/validation/unbound-example-posture.warning-cases.sdp.md
matrix: not enumerable
external run evidence: 3 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.unbound-example-posture.lower-rungs · enabled ·
- Every validator ships evidence in both directions ·
spec:validation.validator-self-testing· verifier binding present: 6 verifiers, 6 enabled · 6 of 8 keyed rules exercised · 0 unkeyed rules · 0 uncovered values- spec:validation.validator-self-testing.duplicate-pair-named · enabled ·
specs/validation/validator-self-testing.duplicate-pair-named.sdp.md - spec:validation.validator-self-testing.overeager-check-named · enabled ·
specs/validation/validator-self-testing.overeager-check-named.sdp.md - spec:validation.validator-self-testing.shipped-checks-paired · enabled ·
specs/validation/validator-self-testing.shipped-checks-paired.sdp.md - spec:validation.validator-self-testing.silent-check-named · enabled ·
specs/validation/validator-self-testing.silent-check-named.sdp.md - spec:validation.validator-self-testing.unpaired-check-named · enabled ·
specs/validation/validator-self-testing.unpaired-check-named.sdp.md - spec:validation.validator-self-testing.unregistered-id-named · enabled ·
specs/validation/validator-self-testing.unregistered-id-named.sdp.md
table: no uncovered values; findingId: not enumerable; behavior: no uncovered values; extraSourceId: not enumerable
external run evidence: 8 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.validator-self-testing.duplicate-pair-named · enabled ·
- Example verification and oracle bindings resolve honestly ·
spec:validation.verification-linkage· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 3 unkeyed rules · 0 uncovered values- spec:validation.verification-linkage.unbound-example · enabled ·
specs/validation/verification-linkage.unbound-example.sdp.md - spec:validation.verification-linkage.unresolved-oracle · enabled ·
specs/validation/verification-linkage.unresolved-oracle.sdp.md
parentId: not enumerable; verifierKind: no uncovered values; verifierId: not enumerable
external run evidence: 36 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.verification-linkage.unbound-example · enabled ·
- Missing connective evidence warns without failing ·
spec:validation.warn-level-signals· verifier binding present: 2 verifiers, 2 enabled · 0 of 0 keyed rules exercised · 4 unkeyed rules · 0 uncovered values- spec:validation.warn-level-signals.orphan-signal · enabled ·
specs/validation/warn-level-signals.orphan-signal.sdp.md - spec:validation.warn-level-signals.ready-gap-signal · enabled ·
specs/validation/warn-level-signals.ready-gap-signal.sdp.md
specId: not enumerable; readiness: no uncovered values; relations: no uncovered values
external run evidence: 36 passed, 0 failed, 0 skipped, 0 pending, 0 other from test files.
- spec:validation.warn-level-signals.orphan-signal · enabled ·
Composing (0)
Composing needs the script.