outcomeConcept documents may dissolve after executable truth lands
spec:decisions.concept-docs-dissolvePacks: pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/decisions/concept-docs-dissolve.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding none, and expected-outcome oracle none.
Intent
- Keep intended truth authoritative while allowing exposition to shrink.
Decision
context- Concept documents carry both laws and unsettled representation.
decision- Concept documents may dissolve only after their semantic contract is carried by executable Specs and lean registries.
rationale- Executable truth is easier to validate and consume.
consequences- Deletion follows the carrying work, per document, and is never bundled into the change that lands the carrier.
Verification
Verifier bindings
No verifier binding recorded.
Design view
Requirement drawing
- Declared verifying examples: no declared verifying example.
- Satisfying or referencing units: no recorded binding.
- Test or oracle bindings: no recorded binding.
Arrows: refines (declared).
The diagram as text
- spec:decisions.concept-docs-dissolve: Concept documents may dissolve after executable truth lands · declared Spec
- spec:protocol.self-hosting: The Protocol authors and validates itself · declared Spec
- spec:decisions.concept-docs-dissolve refines spec:protocol.self-hosting · declared
Mermaid source
Copyable source; the Studio draws static SVG.
Preferred and chosen syntax: requirementDiagram; exact refines, satisfies and verifies, with claim words in nodes and per-edge comments.
Decisions
No decision record named.
Runtime
No implementation neighborhood recorded.
Runtime observation: not tracked.
Evidence
Runtime observation: not tracked.
Build attestations: not tracked.
Deployments: not tracked.
Bills of materials: not tracked.
Impact
- E2: decidedBy · declared
The diagram as text
- spec:decisions.concept-docs-dissolve: Concept documents may dissolve after executable truth lands
- spec:protocol.self-hosting: The Protocol authors and validates itself
- spec:decisions.concept-docs-dissolve refines spec:protocol.self-hosting · declared
- spec:protocol.self-hosting decidedBy spec:decisions.concept-docs-dissolve · declared
Mermaid source
Copyable source; the Studio draws static SVG.
Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.
Rests on
- refines · spec:protocol.self-hosting · stated ready, floor ready
Rested on by
Distance 1
- spec:protocol.self-hosting
Implementing units
impl:protocol.self-hosting·test/self-hosting-graph.test.ts:136
Referencing units
None.
Enabled verifiers: test:protocol.self-hosting
Packs: pack:self-hosting-v1
Distance 2
- spec:decisions.adopt-the-nouns
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.executable-meta-model
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.plain-language-references
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.protocol-naming
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:protocol.capability-epics
Implementing units
impl:protocol.capability-epics·test/recipes.test.ts:8173
Referencing units
None.
Enabled verifiers: test:protocol.capability-epics
- spec:protocol.roadmap-replaces-plans
Implementing units
impl:protocol.roadmap-practice·test/check-self-hosting-gates.test.ts:52
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-practice
- spec:protocol.structural-self-binding
Implementing units
impl:protocol.structural-self-binding·test/self-hosting-oracle/structural-edges.ts:76
Referencing units
None.
Enabled verifiers: test:protocol.structural-self-binding
Packs: pack:self-hosting-v1
Distance 3
- spec:model.open-question-fields
Implementing units
impl:protocol.authoring-grammar-recipes·test/recipes.test.ts:6597impl:protocol.authoring-normalization·src/extract/authoring-normalization.ts:8
Referencing units
None.
Enabled verifiers: spec:model.open-question-fields.dropped-list-warns, test:protocol.authoring-grammar, test:protocol.authoring-grammar-recipes
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
- spec:protocol.delivery-record-cleanup
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
- spec:protocol.role-vocabulary
Implementing units
impl:protocol.role-vocabulary·test/self-hosting-graph.test.ts:143
Referencing units
None.
Enabled verifiers: None
- spec:protocol.significant-units-review
Implementing units
impl:protocol.structural-self-binding·test/self-hosting-oracle/structural-edges.ts:76
Referencing units
None.
Enabled verifiers: test:protocol.structural-self-binding
Distance 4
- spec:carrier.markdown-body-grammar
Implementing units
impl:protocol.markdown-body-grammar·src/extract/markdown-body.ts:120impl:protocol.markdown-content·src/extract/markdown-body-content.ts:7
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-body-grammar.continuation-line-refused, spec:carrier.markdown-body-grammar.foreign-fence-refused, spec:carrier.markdown-body-grammar.h3-refused, spec:carrier.markdown-body-grammar.integer-term-refused, spec:carrier.markdown-body-grammar.keyed-bullet-refused, spec:carrier.markdown-body-grammar.ordered-list-refused, spec:carrier.markdown-body-grammar.plain-bullet-refused, spec:carrier.markdown-body-grammar.raw-html-refused, spec:carrier.markdown-body-grammar.repeated-field-refused, spec:carrier.markdown-body-grammar.second-primary-owner-refused, spec:carrier.markdown-body-grammar.shared-description-refused, spec:carrier.markdown-body-grammar.table-refused, spec:carrier.markdown-body-grammar.trailing-prose-refused, spec:carrier.markdown-body-grammar.unrecognized-heading-refused, spec:validation.kind-evidence.second-entry-untargeted
Packs: pack:self-hosting-v1
- spec:carrier.prose-ownership-rule
Implementing units
impl:protocol.markdown-body-grammar·src/extract/markdown-body.ts:120
Referencing units
None.
Enabled verifiers: test:protocol.prose-ownership
Packs: pack:self-hosting-v1
- spec:consumers.agent-surface.register-recipes
Implementing units
impl:protocol.register-recipes·test/recipes.test.ts:2057
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
- spec:consumers.authoring-on-ramp
Implementing units
impl:protocol.authoring-on-ramp·test/skills.test.ts:76impl:protocol.spec-scaffolder·src/cli/new-spec-command.ts:348
Referencing units
None.
Enabled verifiers: test:protocol.authoring-on-ramp
Packs: pack:self-hosting-v1
- spec:consumers.design-slice
Implementing units
impl:protocol.design-slice-recipe·test/self-hosting-design-slice.test.ts:148
Referencing units
impl:protocol.studio-slice-answer·src/projections/studio/slice-answer.ts:1
Enabled verifiers: spec:consumers.design-slice.chain, spec:consumers.design-slice.component-absent, spec:consumers.design-slice.component-differing, spec:consumers.design-slice.component-matching, spec:consumers.design-slice.component-unreadable, spec:consumers.design-slice.component-unrelated, spec:consumers.design-slice.decision-backlink, spec:consumers.design-slice.dependency-cycle, spec:consumers.design-slice.folded-example, spec:consumers.design-slice.independent-example, spec:consumers.design-slice.outside-components, spec:consumers.design-slice.outside-holding, spec:consumers.design-slice.outside-satisfied, spec:consumers.design-slice.outside-unbound, test:protocol.design-slice
- spec:consumers.graph-first-planning
Implementing units
impl:protocol.graph-first-planning·test/skills.test.ts:290
Referencing units
None.
Enabled verifiers: test:protocol.graph-first-planning
Packs: pack:self-hosting-v1
- spec:consumers.pack-design
Implementing units
impl:protocol.pack-design·src/reader/reader.ts:499
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
- spec:consumers.readiness-planner
Implementing units
impl:protocol.statement-queue-recipe·test/self-hosting-readiness-planner.test.ts:74
Referencing units
None.
Enabled verifiers: spec:consumers.readiness-planner.cycle-shares-a-round, spec:consumers.readiness-planner.decision-first, spec:consumers.readiness-planner.dependency-order, spec:consumers.readiness-planner.owner-question-holds
- spec:consumers.roadmap
Implementing units
impl:protocol.roadmap-recipe·test/roadmap.test.ts:20
Referencing units
None.
Enabled verifiers: spec:consumers.roadmap.blocking-part, spec:consumers.roadmap.buildable-part, spec:consumers.roadmap.built-work, spec:consumers.roadmap.design-part, spec:consumers.roadmap.drifting-part, spec:consumers.roadmap.missing-evidence, spec:consumers.roadmap.outside-parent, spec:consumers.roadmap.statement-order, spec:consumers.roadmap.statement-part, test:protocol.roadmap-recipe
- spec:consumers.spec-studio.pack-page
Implementing units
impl:protocol.studio-pack-page·src/projections/studio/pages/pack-page.ts:68
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-priority, test:protocol.studio-pages
- spec:consumers.spec-studio.slice-page
Implementing units
impl:protocol.studio-slice-page·src/projections/studio/pages/slice-page.ts:25
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-page
- spec:consumers.spec-studio.spec-page
Implementing units
impl:protocol.studio-requirement-view·src/projections/studio/pages/requirement-view.ts:8impl:protocol.studio-spec-page·src/projections/studio/pages/spec-page.ts:201impl:protocol.studio-spec-structure·src/projections/studio/pages/spec-structure.ts:44
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.spec-page.cited-declaration, test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
- spec:consumers.spec-studio.spec-page.core
Implementing units
impl:protocol.studio-spec-page·src/projections/studio/pages/spec-page.ts:201
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
- spec:consumers.upgrade-kit.capability-adoption
Implementing units
impl:protocol.capability-adoption-recipe·test/upgrade-kit.test.ts:514
Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
- spec:model.open-question-fields.dropped-list-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-fields.dropped-list-warns
Packs: pack:self-hosting-v1
- spec:validation.prose-mentions
Implementing units
impl:protocol.entry-address-resolution·src/graph/entry-address.ts:6impl:protocol.prose-mentions·src/validate/validators.ts:1370
Referencing units
None.
Enabled verifiers: test:protocol.entry-locations, test:protocol.prose-mentions
Packs: pack:self-hosting-v1
Distance 5
- spec:carrier.inline-code-spans
Implementing units
impl:protocol.inline-code-spans·src/extract/markdown-inline-code.ts:4
Referencing units
None.
Enabled verifiers: spec:carrier.inline-code-spans.description, spec:carrier.inline-code-spans.list, spec:carrier.inline-code-spans.narrative, spec:carrier.inline-code-spans.pack
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.continuation-line-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.continuation-line-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.foreign-fence-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.foreign-fence-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.h3-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.h3-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.integer-term-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.integer-term-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.keyed-bullet-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.keyed-bullet-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.ordered-list-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.ordered-list-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.plain-bullet-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.plain-bullet-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.raw-html-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.raw-html-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.repeated-field-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.repeated-field-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.second-primary-owner-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.second-primary-owner-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.shared-description-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.shared-description-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.table-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.table-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.trailing-prose-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.trailing-prose-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-body-grammar.unrecognized-heading-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.unrecognized-heading-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-parser
Implementing units
impl:protocol.markdown-parser·src/extract/markdown.ts:37impl:protocol.static-reification·src/extract/reify.ts:2139
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-parser.bounded-parity, test:protocol.markdown-parser
Packs: pack:self-hosting-v1
- spec:consumers.adopter-on-ramp
Implementing units
impl:protocol.adopter-help·src/cli/help.ts:167impl:protocol.adopter-on-ramp·test/skills.test.ts:712
Referencing units
None.
Enabled verifiers: test:protocol.adopter-on-ramp, test:protocol.shipped-protocol-corpus
Packs: pack:self-hosting-v1
- spec:consumers.agent-surface.address-and-cycle-recipes
Implementing units
impl:protocol.address-and-cycle-recipes·test/recipes.test.ts:3568
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing, spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run, spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run, test:protocol.address-and-cycle-recipes
- spec:consumers.agent-surface.design-recipes
Implementing units
impl:protocol.design-recipes·test/recipes.test.ts:4769
Referencing units
None.
Enabled verifiers: test:protocol.design-recipes
- spec:consumers.delivery-session-on-ramp
Implementing units
impl:protocol.delivery-session-on-ramp·test/skills.test.ts:83
Referencing units
None.
Enabled verifiers: test:protocol.delivery-session-on-ramp
Packs: pack:self-hosting-v1
- spec:consumers.design-review.pack-design-page
Implementing units
impl:protocol.pack-design-page·src/projections/design-review-pages.ts:120
Referencing units
impl:protocol.pack-design-sections·src/projections/design-review-pack-sections.ts:19
Enabled verifiers: test:protocol.pack-design-page
- spec:consumers.design-slice.chain
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.chain
- spec:consumers.design-slice.component-absent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-absent
- spec:consumers.design-slice.component-differing
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-differing
- spec:consumers.design-slice.component-matching
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-matching
- spec:consumers.design-slice.component-unreadable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-unreadable
- spec:consumers.design-slice.component-unrelated
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-unrelated
- spec:consumers.design-slice.decision-backlink
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.decision-backlink
- spec:consumers.design-slice.dependency-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.dependency-cycle
- spec:consumers.design-slice.folded-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.folded-example
- spec:consumers.design-slice.independent-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.independent-example
- spec:consumers.design-slice.outside-components
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-components
- spec:consumers.design-slice.outside-holding
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-holding
- spec:consumers.design-slice.outside-satisfied
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-satisfied
- spec:consumers.design-slice.outside-unbound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-unbound
- spec:consumers.obsidian-vault.bases
Implementing units
impl:protocol.vault-bases·src/projections/vault/bases.ts:43impl:protocol.vault-notes·src/projections/vault/notes.ts:45
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.bases.views-match-sources
- spec:consumers.obsidian-vault.notes
Implementing units
impl:protocol.vault-notes·src/projections/vault/notes.ts:45impl:protocol.vault-sections·src/projections/vault/sections.ts:10impl:protocol.vault-text·src/projections/vault/text.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.notes.case-collision-refused, spec:consumers.obsidian-vault.notes.entry-address-link, spec:consumers.obsidian-vault.notes.term-address-link, spec:consumers.obsidian-vault.notes.unresolved-mention-stays, test:protocol.vault-priority
- spec:consumers.projections-model.roadmap-views
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
- spec:consumers.readiness-planner.cycle-shares-a-round
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.cycle-shares-a-round
- spec:consumers.readiness-planner.decision-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.decision-first
- spec:consumers.readiness-planner.dependency-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.dependency-order
- spec:consumers.readiness-planner.owner-question-holds
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.owner-question-holds
- spec:consumers.review-perspectives
Implementing units
impl:protocol.perspective-filter-recipe·test/iteration-recipes.test.ts:753
Referencing units
None.
Enabled verifiers: test:protocol.perspective-filter-recipe
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
- spec:consumers.roadmap.blocking-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.blocking-part
- spec:consumers.roadmap.buildable-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.buildable-part
- spec:consumers.roadmap.built-work
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.built-work
- spec:consumers.roadmap.design-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.design-part
- spec:consumers.roadmap.drifting-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.drifting-part
- spec:consumers.roadmap.memo
Implementing units
impl:protocol.roadmap-memo-recipe·test/roadmap.test.ts:27impl:protocol.studio-roadmap-page·src/projections/studio/pages/roadmap-page.ts:168
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-memo-recipe, test:protocol.studio-roadmap-page
- spec:consumers.roadmap.missing-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.missing-evidence
- spec:consumers.roadmap.outside-parent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.outside-parent
- spec:consumers.roadmap.statement-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-order
- spec:consumers.roadmap.statement-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-part
- spec:consumers.shipped-protocol-corpus
Implementing units
impl:protocol.shipped-protocol-corpus·test/package-smoke.test.ts:252
Referencing units
None.
Enabled verifiers: test:protocol.shipped-protocol-corpus
Packs: pack:self-hosting-v1
- spec:consumers.spec-studio.data
Implementing units
impl:protocol.studio-data·src/projections/studio/data.ts:279
Referencing units
None.
Enabled verifiers: test:protocol.studio-data
- spec:consumers.spec-studio.diagram-kinds.dependency
Implementing units
impl:protocol.studio-slice-dependencies·src/projections/studio/diagrams/slice.ts:10
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-dependency
- spec:consumers.spec-studio.diagram-kinds.scoped-architecture
Implementing units
impl:protocol.studio-slice-architecture·src/projections/studio/diagrams/slice.ts:219
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-architecture
- spec:consumers.spec-studio.export
Implementing units
impl:protocol.studio-diagram-element·src/studio-elements/diagram.ts:23impl:protocol.studio-expander·src/studio-elements/expander.ts:16impl:protocol.studio-pack-export·src/projections/studio/pages/export-page.ts:35impl:protocol.studio-pack-page·src/projections/studio/pages/pack-page.ts:68
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.export.self-contained, test:protocol.studio-intent-handoff
- spec:consumers.spec-studio.glossary-page
Implementing units
impl:protocol.studio-glossary·src/projections/studio/pages/glossary-page.ts:7
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.glossary-page.same-word-twice
- spec:consumers.spec-studio.owner-queue
Implementing units
impl:protocol.studio-owner-queue·src/projections/studio/pages/queue-page.ts:9
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.owner-queue.dependency-first
- spec:consumers.spec-studio.pack-page.maturity-map
Implementing units
impl:protocol.studio-maturity-map·src/projections/studio/pages/maturity-map.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
- spec:consumers.spec-studio.registers
Implementing units
impl:protocol.studio-registers·src/projections/studio/pages/registers-page.ts:47
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.registers.blocking-first
- spec:consumers.spec-studio.roadmap-page
Implementing units
impl:protocol.studio-roadmap-page·src/projections/studio/pages/roadmap-page.ts:168
Referencing units
None.
Enabled verifiers: test:protocol.studio-roadmap-page
- spec:consumers.spec-studio.shell
Implementing units
impl:protocol.studio-code-spans·src/projections/studio/pages/code-spans.ts:9impl:protocol.studio-frame·src/projections/studio/pages/frame.ts:6impl:protocol.studio-html·src/projections/studio/pages/html.ts:8impl:protocol.studio-text·src/projections/studio/pages/text.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
- spec:consumers.spec-studio.spec-page.cited-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-cited-declaration
- spec:consumers.spec-studio.verification-panels
Implementing units
impl:protocol.studio-run-rows·src/projections/studio/pages/run-rows.ts:69impl:protocol.studio-verification-panels·src/projections/studio/pages/spec-verification.ts:74
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.verification-panels.rule-coverage, test:protocol.studio-panels
- spec:consumers.upgrade-kit
Implementing units
impl:protocol.upgrade-guide·test/upgrade-kit.test.ts:87
Referencing units
None.
Enabled verifiers: test:protocol.upgrade-guide
- spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.capability-adoption.counts-a-corpus
- spec:consumers.validate-watch
Implementing units
impl:protocol.validate-watch·src/cli/validate-watch.ts:591
Referencing units
None.
Enabled verifiers: test:protocol.validate-watch, test:protocol.validate-watch-rules
Packs: pack:adopter-speed-v1, pack:design-management-v1, pack:self-hosting-v1
- spec:decisions.pack-design-page
Implementing units
None.
Referencing units
impl:protocol.pack-design-page·src/projections/design-review-pages.ts:120
Enabled verifiers: None
- spec:decisions.prose-ownership
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:extraction.entry-citations
Implementing units
impl:protocol.entry-address-resolution·src/graph/entry-address.ts:6impl:protocol.entry-citation-reader·src/reader/entry-citations.ts:19impl:protocol.entry-citation-recipe·test/recipes.test.ts:7008impl:protocol.entry-citation-scan·src/extract/entry-citations.ts:6
Referencing units
None.
Enabled verifiers: spec:extraction.entry-citations.code-comment-cites-declaration, spec:extraction.entry-citations.test-title-cites-declaration, spec:extraction.entry-citations.unanchored-file-unread, spec:extraction.entry-citations.unresolved-citation
- spec:model.design-maturity
Implementing units
impl:protocol.pack-design·src/reader/reader.ts:499
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
- spec:model.open-question-keys
Implementing units
impl:protocol.open-question-keys·src/extract/markdown-body-owner-behavior.ts:38impl:protocol.open-section-order·src/extract/serialize.ts:105impl:protocol.prose-mentions·src/validate/validators.ts:1370impl:protocol.register-recipes·test/recipes.test.ts:2057impl:protocol.sdp-import-markdown-emit·src/import/emit-markdown.ts:253impl:protocol.stable-ids·src/ids.ts:173impl:protocol.static-reification·src/extract/reify.ts:2139
Referencing units
None.
Enabled verifiers: spec:model.open-question-keys.keyed-question-resolves, spec:model.open-question-keys.renamed-key-breaks, spec:model.open-question-keys.repeated-key-refused
Packs: pack:self-hosting-v1
- spec:validation.external-registers
Implementing units
impl:protocol.external-registers-recipe·test/external-registers.test.ts:9
Referencing units
None.
Enabled verifiers: spec:validation.external-registers.uncited-on-request, spec:validation.external-registers.unknown-and-retired
Distance 6
- spec:carrier.gherkin-authoring
Implementing units
impl:protocol.gherkin-authoring·src/extract/gherkin.ts:1323impl:protocol.gherkin-kind-policy·src/extract/gherkin-kind-honesty.ts:6
Referencing units
None.
Enabled verifiers: spec:carrier.gherkin-authoring.authored-fact-refused, spec:carrier.gherkin-authoring.contract-parity, spec:carrier.gherkin-authoring.description-location-refused, spec:carrier.gherkin-authoring.duplicate-surface-refused, spec:carrier.gherkin-authoring.example-space-extraction, spec:carrier.gherkin-authoring.malformed-relation-refused, spec:carrier.gherkin-authoring.missing-id-refused, spec:carrier.gherkin-authoring.multi-finding-bounded, spec:carrier.gherkin-authoring.parent-child-extraction, spec:carrier.gherkin-authoring.step-less-scenario-refused, spec:carrier.gherkin-authoring.unbound-ready-refused, spec:carrier.gherkin-authoring.unknown-tag-refused, spec:carrier.gherkin-authoring.unsupported-construct-refused
Packs: pack:self-hosting-v1
- spec:carrier.inline-code-spans.description
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.description
Packs: pack:self-hosting-v1
- spec:carrier.inline-code-spans.list
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.list
Packs: pack:self-hosting-v1
- spec:carrier.inline-code-spans.narrative
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.narrative
Packs: pack:self-hosting-v1
- spec:carrier.inline-code-spans.pack
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.pack
Packs: pack:self-hosting-v1
- spec:carrier.markdown-authoring
Implementing units
impl:protocol.markdown-parser·src/extract/markdown.ts:37
Referencing units
None.
Enabled verifiers: test:protocol.markdown-authoring
Packs: pack:self-hosting-v1
- spec:carrier.markdown-pack-authoring
Implementing units
impl:protocol.markdown-pack-authoring·src/extract/markdown-pack.ts:117impl:protocol.markdown-yaml-policy·src/extract/markdown-yaml-policy.ts:33impl:protocol.static-reification·src/extract/reify.ts:2139
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-pack-authoring.markdown-ts-parity, spec:carrier.markdown-pack-authoring.spec-envelope-refused, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
- spec:carrier.markdown-parser.bounded-parity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-parser.bounded-parity
Packs: pack:self-hosting-v1
- spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing
- spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run
- spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run
- spec:consumers.agent-surface.answer-shapes
Implementing units
impl:protocol.answer-shape-recipes·test/recipes.test.ts:6214
Referencing units
impl:protocol.authoring-grammar-recipes·test/recipes.test.ts:6597impl:protocol.reader·src/reader/reader.ts:687
Enabled verifiers: test:protocol.answer-shape-recipes
- spec:consumers.agent-surface.example-space-coverage
Implementing units
impl:protocol.example-space-coverage-recipe·test/studio-s1.test.ts:856impl:protocol.example-space-decoding·src/notation/example-space.ts:473
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.example-space-coverage.number-not-enumerable, spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Packs: pack:design-management-v1, pack:self-hosting-v1, pack:spec-studio-v1
- spec:consumers.command-line
Implementing units
impl:protocol.adopter-help·src/cli/help.ts:167impl:protocol.agent-surface-cli·src/cli/sdp.ts:94impl:protocol.build-args·src/cli/build-args.ts:11impl:protocol.generate-command·src/cli/generate-command.ts:34
Referencing units
None.
Enabled verifiers: spec:consumers.command-line.generate-check-failure, spec:consumers.command-line.generate-writes-every-root, spec:consumers.command-line.verb-help-touches-nothing
- spec:consumers.context-bundle
Implementing units
impl:protocol.context-bundle-recipe·test/iteration-recipes.test.ts:765
Referencing units
None.
Enabled verifiers: spec:consumers.context-bundle.oversized-member-named, spec:consumers.context-bundle.parts-cover-the-pack, test:protocol.context-bundle-recipe
Packs: pack:adopter-speed-v1, pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
- spec:consumers.engine-provenance
Implementing units
impl:protocol.build-artifacts·src/cli/build-artifacts.ts:182impl:protocol.engine-provenance-cli·src/cli/sdp.ts:102
Referencing units
None.
Enabled verifiers: test:protocol.engine-provenance
- spec:consumers.gherkin-view
Implementing units
impl:protocol.gherkin-kind-policy·src/extract/gherkin-kind-honesty.ts:6impl:protocol.gherkin-view·src/projections/gherkin-view.ts:19impl:protocol.gherkin-view-cli·src/cli/gherkin-command.ts:66
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-view
Packs: pack:self-hosting-v1
- spec:consumers.intent-composition.proposal
Implementing units
impl:protocol.proposal-schema-and-recipe·test/iteration-recipes.test.ts:1510impl:protocol.studio-proposal-contract·src/studio-elements/proposal.ts:1
Referencing units
None.
Enabled verifiers: test:protocol.proposal-schema-and-recipe
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
- spec:consumers.obsidian-vault.bases.views-match-sources
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.bases.views-match-sources
- spec:consumers.obsidian-vault.iteration
Implementing units
impl:protocol.vault-sync·src/projections/vault/sync.ts:98impl:protocol.vault-text·src/projections/vault/text.ts:30impl:protocol.vault-watch·src/cli/vault-command.ts:219
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes, spec:consumers.obsidian-vault.iteration.watch-source-anchor
- spec:consumers.obsidian-vault.notes.case-collision-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.case-collision-refused
- spec:consumers.obsidian-vault.notes.entry-address-link
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.entry-address-link
- spec:consumers.obsidian-vault.notes.term-address-link
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.term-address-link
- spec:consumers.obsidian-vault.notes.unresolved-mention-stays
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.unresolved-mention-stays
- spec:consumers.spec-studio.cited-line-text
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
- spec:consumers.spec-studio.components
Implementing units
component:protocol.studio-elements·src/studio-elements/index.ts:13impl:protocol.studio-compose·src/studio-elements/compose.ts:13impl:protocol.studio-diagram-element·src/studio-elements/diagram.ts:23impl:protocol.studio-filter·src/studio-elements/filter.ts:25impl:protocol.studio-intent-panel-element·src/studio-elements/intent-panel-element.ts:14impl:protocol.studio-maturity-map·src/projections/studio/pages/maturity-map.ts:7impl:protocol.studio-pack-page·src/projections/studio/pages/pack-page.ts:68impl:protocol.studio-scenario-editor·src/studio-elements/scenario-editor.ts:17impl:protocol.studio-search-results·src/studio-elements/search-results.ts:95impl:protocol.studio-spec-structure·src/projections/studio/pages/spec-structure.ts:44impl:protocol.studio-verification-panels·src/projections/studio/pages/spec-verification.ts:74
Referencing units
None.
Enabled verifiers: test:protocol.studio-intent-handoff
- spec:consumers.spec-studio.data.inputs
Implementing units
impl:protocol.studio-base-input·src/cli/studio-inputs.ts:9impl:protocol.studio-command·src/cli/studio-command.ts:106impl:protocol.studio-inputs·src/projections/studio/inputs.ts:1
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.data.inputs.both-given, spec:consumers.spec-studio.data.inputs.graph-only
- spec:consumers.spec-studio.data.recipe-answers
Implementing units
impl:protocol.studio-recipes·src/projections/studio/recipes.ts:34
Referencing units
impl:protocol.studio-register-contracts·src/projections/studio/pages/register-answers.ts:4
Enabled verifiers: test:protocol.studio-lenses
- spec:consumers.spec-studio.diagram-kinds.requirement-trace
Implementing units
impl:protocol.studio-requirement-diagram·src/projections/studio/diagrams/requirement.ts:12impl:protocol.studio-requirement-view·src/projections/studio/pages/requirement-view.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-diagram-core
- spec:consumers.spec-studio.diagrams
Implementing units
impl:protocol.studio-architecture-diagrams·src/projections/studio/diagrams/architecture.ts:4impl:protocol.studio-diagram-element·src/studio-elements/diagram.ts:23impl:protocol.studio-diagram-model·src/projections/studio/diagrams/model.ts:1impl:protocol.studio-diagrams·src/projections/studio/diagrams/svg.ts:73impl:protocol.studio-relation-diagrams·src/projections/studio/diagrams/bands.ts:10
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.diagrams.folds-by-context, spec:consumers.spec-studio.diagrams.folds-by-layer, spec:consumers.spec-studio.diagrams.within-bound, test:protocol.studio-diagram-core
- spec:consumers.spec-studio.export.self-contained
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-export-contained
- spec:consumers.spec-studio.glossary-page.same-word-twice
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-glossary-same-word-twice
- spec:consumers.spec-studio.index-page
Implementing units
impl:protocol.studio-index-page·src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
- spec:consumers.spec-studio.intent-panel
Implementing units
impl:protocol.studio-compose·src/studio-elements/compose.ts:13impl:protocol.studio-frame·src/projections/studio/pages/frame.ts:6impl:protocol.studio-intent-panel·src/studio-elements/intent-panel.ts:51impl:protocol.studio-intent-panel-element·src/studio-elements/intent-panel-element.ts:14impl:protocol.studio-scenario-editor·src/studio-elements/scenario-editor.ts:17
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.intent-panel.refresh-keeps-intents, test:protocol.studio-intent-handoff
- spec:consumers.spec-studio.lenses
Implementing units
impl:protocol.studio-architecture-lens·src/projections/studio/pages/architecture-page.ts:50impl:protocol.studio-evidence-lens·src/projections/studio/pages/evidence-page.ts:3impl:protocol.studio-frame·src/projections/studio/pages/frame.ts:6impl:protocol.studio-tests-lens·src/projections/studio/pages/tests-page.ts:34
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
- spec:consumers.spec-studio.navigation
Implementing units
impl:protocol.studio-frame·src/projections/studio/pages/frame.ts:6impl:protocol.studio-index-page·src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-navigation, test:protocol.studio-roadmap-page
- spec:consumers.spec-studio.owner-queue.dependency-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-queue-dependency-first
- spec:consumers.spec-studio.page-elements
Implementing units
component:protocol.studio-elements·src/studio-elements/index.ts:13impl:protocol.studio-copy·src/studio-elements/copy.ts:22impl:protocol.studio-expander·src/studio-elements/expander.ts:16impl:protocol.studio-filter·src/studio-elements/filter.ts:25impl:protocol.studio-search-form·src/studio-elements/search.ts:18impl:protocol.studio-search-results·src/studio-elements/search-results.ts:95impl:protocol.studio-stamp·src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: test:protocol.studio-copy-source, test:protocol.studio-page-elements
- spec:consumers.spec-studio.publisher
Implementing units
impl:protocol.build-pipeline-emit·src/cli/build-command.ts:251impl:protocol.studio-command·src/cli/studio-command.ts:106impl:protocol.studio-page-catalog·src/projections/studio/pages/index.ts:21impl:protocol.studio-paths·src/projections/studio/paths.ts:2impl:protocol.studio-publish·src/projections/studio/publish.ts:24
Referencing units
None.
Enabled verifiers: test:protocol.studio-data, test:protocol.studio-publisher
- spec:consumers.spec-studio.publisher.watch
Implementing units
impl:protocol.studio-watch·src/cli/studio-command.ts:122
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.publisher.watch.matches-plain-run
- spec:consumers.spec-studio.register-input
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
- spec:consumers.spec-studio.registers.blocking-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-registers-blocking-first
- spec:consumers.spec-studio.search
Implementing units
impl:protocol.studio-concept-match·src/reader/concept-match.ts:43impl:protocol.studio-search-page·src/projections/studio/pages/search-page.ts:5impl:protocol.studio-search-results·src/studio-elements/search-results.ts:95
Referencing units
None.
Enabled verifiers: test:protocol.studio-concept-match, test:protocol.studio-page-elements, test:protocol.studio-pages
- spec:consumers.spec-studio.verification-panels.rule-coverage
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-rule-coverage
- spec:consumers.studio-on-ramp
Implementing units
impl:protocol.studio-on-ramp·test/skills.test.ts:1693
Referencing units
None.
Enabled verifiers: test:protocol.studio-on-ramp
- spec:consumers.upgrade-kit.rule-key-proposal
Implementing units
impl:protocol.rule-key-proposal-recipe·test/upgrade-kit.test.ts:742
Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable, spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean
- spec:consumers.vault-on-ramp
Implementing units
impl:protocol.vault-on-ramp·test/skills.test.ts:1995
Referencing units
None.
Enabled verifiers: test:protocol.vault-on-ramp
- spec:decisions.carrier-universality
Implementing units
None.
Referencing units
impl:protocol.gherkin-kind-policy·src/extract/gherkin-kind-honesty.ts:6
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.question-key-rendering
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:extraction.contract-declarations
Implementing units
impl:protocol.pack-design·src/reader/reader.ts:499impl:protocol.register-recipes·test/recipes.test.ts:2057
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
- spec:extraction.entry-citations.code-comment-cites-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.code-comment-cites-declaration
- spec:extraction.entry-citations.test-title-cites-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.test-title-cites-declaration
- spec:extraction.entry-citations.unanchored-file-unread
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.unanchored-file-unread
- spec:extraction.entry-citations.unresolved-citation
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.unresolved-citation
- spec:extraction.entry-locations
Implementing units
impl:protocol.entry-location-recipes·test/recipes.test.ts:5979impl:protocol.entry-locations·src/extract/derive.ts:78impl:protocol.reader·src/reader/reader.ts:687
Referencing units
impl:protocol.pack-design·src/reader/reader.ts:499
Enabled verifiers: test:protocol.entry-locations
- spec:model.open-question-keys.keyed-question-resolves
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.keyed-question-resolves
Packs: pack:self-hosting-v1
- spec:model.open-question-keys.renamed-key-breaks
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.renamed-key-breaks
Packs: pack:self-hosting-v1
- spec:model.open-question-keys.repeated-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.repeated-key-refused
Packs: pack:self-hosting-v1
- spec:model.relation-reasons
Implementing units
impl:protocol.authoring-grammar-recipes·test/recipes.test.ts:6597impl:protocol.authoring-normalization·src/extract/authoring-normalization.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.authoring-grammar, test:protocol.authoring-grammar-recipes
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
- spec:model.rule-keys
Implementing units
impl:protocol.authoring-grammar-recipes·test/recipes.test.ts:6597impl:protocol.authoring-normalization·src/extract/authoring-normalization.ts:8impl:protocol.rule-exercises·src/validate/validators.ts:1479
Referencing units
None.
Enabled verifiers: test:protocol.authoring-grammar, test:protocol.authoring-grammar-recipes
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
- spec:validation.corpus-rules
Implementing units
impl:protocol.corpus-rule-runner·src/cli/corpus-rules.ts:65impl:protocol.corpus-rules·src/cli/validate-view-command.ts:79impl:protocol.validate-watch·src/cli/validate-watch.ts:591
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run, spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run, spec:validation.corpus-rules.copies-contain-changes, spec:validation.corpus-rules.error-finding-fails, spec:validation.corpus-rules.malformed-finding-fails, spec:validation.corpus-rules.params-edit-starts-a-cycle, spec:validation.corpus-rules.rules-edit-starts-a-cycle, spec:validation.corpus-rules.unreadable-params-fail-one-file, spec:validation.corpus-rules.warning-finding-informs
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:design-management-v1, pack:self-hosting-v1
- spec:validation.duplicate-ids
Implementing units
impl:protocol.duplicate-id-exclusion·src/extract/index.ts:93impl:protocol.duplicate-ids·src/validate/validators.ts:263
Referencing units
None.
Enabled verifiers: spec:validation.duplicate-ids.dual-carrier
Packs: pack:self-hosting-v1
- spec:validation.external-registers.uncited-on-request
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.external-registers.uncited-on-request
- spec:validation.external-registers.unknown-and-retired
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.external-registers.unknown-and-retired
Distance 7
- spec:carrier.envelope-contract
Implementing units
impl:protocol.envelope-contract·src/extract/markdown-frontmatter.ts:33impl:protocol.markdown-yaml-policy·src/extract/markdown-yaml-policy.ts:33
Referencing units
None.
Enabled verifiers: test:protocol.envelope-contract
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.authored-fact-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.authored-fact-refused
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.contract-parity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.contract-parity
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.description-location-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.description-location-refused
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.duplicate-surface-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.duplicate-surface-refused
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.example-space-extraction
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.example-space-extraction
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.malformed-relation-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.malformed-relation-refused
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.missing-id-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.missing-id-refused
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.multi-finding-bounded
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.multi-finding-bounded
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.parent-child-extraction
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.parent-child-extraction
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.step-less-scenario-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.step-less-scenario-refused
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.unbound-ready-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unbound-ready-refused
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.unknown-tag-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unknown-tag-refused
Packs: pack:self-hosting-v1
- spec:carrier.gherkin-authoring.unsupported-construct-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unsupported-construct-refused
Packs: pack:self-hosting-v1
- spec:carrier.markdown-pack-authoring.markdown-ts-parity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-pack-authoring.markdown-ts-parity
Packs: pack:self-hosting-v1
- spec:carrier.markdown-pack-authoring.spec-envelope-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-pack-authoring.spec-envelope-refused
Packs: pack:self-hosting-v1
- spec:carrier.sdp-import
Implementing units
component:protocol.import·src/import/import.ts:45impl:protocol.import-fidelity·src/import/markdown-fidelity.ts:102impl:protocol.sdp-import·src/cli/import-command.ts:71impl:protocol.sdp-import-core·src/import/import.ts:58impl:protocol.sdp-import-markdown-emit·src/import/emit-markdown.ts:253impl:protocol.sdp-import-publish·src/cli/import-publish.ts:23impl:protocol.sdp-import-scan·src/cli/import-scan.ts:62
Referencing units
None.
Enabled verifiers: spec:carrier.sdp-import.round-trip
Packs: pack:self-hosting-v1
- spec:carrier.slot-notation
Implementing units
component:protocol.notation·src/notation/slots.ts:261impl:protocol.slot-notation·src/notation/slots.ts:269
Referencing units
None.
Enabled verifiers: spec:carrier.slot-notation.one-literal-binding, spec:carrier.slot-notation.refused-guess, spec:carrier.slot-notation.typed-declaration
Packs: pack:self-hosting-v1
- spec:consumers.agent-surface.example-space-coverage.number-not-enumerable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-number
- spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-literal
- spec:consumers.command-line.generate-check-failure
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.command-line.generate-check-failure
- spec:consumers.command-line.generate-writes-every-root
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.command-line.generate-writes-every-root
- spec:consumers.command-line.verb-help-touches-nothing
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.command-line.verb-help-touches-nothing
- spec:consumers.context-bundle.oversized-member-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.context-bundle.oversized-member-named
- spec:consumers.context-bundle.parts-cover-the-pack
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.context-bundle.parts-cover-the-pack
- spec:consumers.design-review
Implementing units
impl:protocol.design-review·src/projections/design-review.ts:44impl:protocol.design-review-codec·src/projections/design-review-markdown.ts:3
Referencing units
None.
Enabled verifiers: spec:consumers.design-review.pure-projection
Packs: pack:self-hosting-v1
- spec:consumers.intent-composition.proposal.memo
Implementing units
impl:protocol.proposal-memo-recipe·test/recipes.test.ts:7298impl:protocol.studio-proposal-memo·src/studio-elements/memo.ts:13
Referencing units
None.
Enabled verifiers: spec:consumers.intent-composition.proposal.memo.shared
- spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.iteration.watch-rewrites-changed-notes
- spec:consumers.obsidian-vault.iteration.watch-source-anchor
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.iteration.watch-source-anchor
- spec:consumers.spec-studio.capability-map-page
Implementing units
impl:protocol.studio-capabilities-page·src/projections/studio/pages/capabilities-page.ts:78impl:protocol.studio-filter·src/studio-elements/filter.ts:25impl:protocol.studio-frame·src/projections/studio/pages/frame.ts:6impl:protocol.studio-index-page·src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
- spec:consumers.spec-studio.data.inputs.both-given
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-inputs-both-given
- spec:consumers.spec-studio.data.inputs.graph-only
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-graph-only
- spec:consumers.spec-studio.diagram-kinds
Implementing units
impl:protocol.studio-architecture-lens·src/projections/studio/pages/architecture-page.ts:50impl:protocol.studio-capability-diagrams·src/projections/studio/diagrams/capability.ts:101impl:protocol.studio-diagram-layout·src/projections/studio/diagrams/layout.ts:140impl:protocol.studio-diagram-source·src/projections/studio/diagrams/mermaid.ts:13impl:protocol.studio-diagrams·src/projections/studio/diagrams/svg.ts:73impl:protocol.studio-maturity-map·src/projections/studio/pages/maturity-map.ts:7impl:protocol.studio-requirement-diagram·src/projections/studio/diagrams/requirement.ts:12impl:protocol.studio-slice-architecture·src/projections/studio/diagrams/slice.ts:219impl:protocol.studio-slice-dependencies·src/projections/studio/diagrams/slice.ts:10
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-catalog
- spec:consumers.spec-studio.diagram-kinds.edge-routing
Implementing units
impl:protocol.studio-diagram-routing·src/projections/studio/diagrams/routing.ts:38impl:protocol.studio-diagrams·src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
- spec:consumers.spec-studio.diagram-kinds.legibility
Implementing units
impl:protocol.studio-diagram-element·src/studio-elements/diagram.ts:23impl:protocol.studio-diagram-layout·src/projections/studio/diagrams/layout.ts:140impl:protocol.studio-diagrams·src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
- spec:consumers.spec-studio.diagram-kinds.mermaid-source
Implementing units
impl:protocol.studio-diagram-source·src/projections/studio/diagrams/mermaid.ts:13impl:protocol.studio-diagrams·src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
- spec:consumers.spec-studio.diagrams.folds-by-context
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-folds-context
- spec:consumers.spec-studio.diagrams.folds-by-layer
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-folds-layer
- spec:consumers.spec-studio.diagrams.within-bound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-within-bound
- spec:consumers.spec-studio.diff-page
Implementing units
impl:protocol.studio-diff·src/projections/studio/pages/diff-page.ts:91
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.diff-page.changed-entry, test:protocol.roadmap-priority
- spec:consumers.spec-studio.intent-panel.refresh-keeps-intents
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-intents-refresh
- spec:consumers.spec-studio.lenses.architecture
Implementing units
impl:protocol.studio-architecture-lens·src/projections/studio/pages/architecture-page.ts:50
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.lenses.architecture.planned-apart, test:protocol.studio-architecture-maturity-requirement
- spec:consumers.spec-studio.lenses.evidence
Implementing units
impl:protocol.studio-evidence-lens·src/projections/studio/pages/evidence-page.ts:3
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
- spec:consumers.spec-studio.lenses.packs
Implementing units
impl:protocol.studio-index-page·src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
- spec:consumers.spec-studio.lenses.tests
Implementing units
impl:protocol.studio-tests-lens·src/projections/studio/pages/tests-page.ts:34
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.lenses.tests.coverage-row
- spec:consumers.spec-studio.publisher.watch.matches-plain-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-watch-plain
- spec:consumers.spec-studio.runs-page
Implementing units
impl:protocol.studio-run-rows·src/projections/studio/pages/run-rows.ts:69impl:protocol.studio-runs-page·src/projections/studio/pages/runs-page.ts:6
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.runs-page.external-evidence
- spec:consumers.spec-studio.sharing
Implementing units
impl:protocol.stamp-command·src/cli/stamp-command.ts:8impl:protocol.studio-preview-workflow·test/studio-s4.test.ts:742impl:protocol.studio-stamp·src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.sharing.stamp-written-apart
- spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.rule-key-proposal.collision-and-unkeyable
- spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.rule-key-proposal.proposal-applies-clean
- spec:decisions.carrier-ruling
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.sdp-ts-extension
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:extraction.pack-member-order
Implementing units
impl:protocol.markdown-yaml-policy·src/extract/markdown-yaml-policy.ts:33impl:protocol.open-section-order·src/extract/serialize.ts:105impl:protocol.pack-coherence·src/validate/validators.ts:1102impl:protocol.pack-design-page·src/projections/design-review-pages.ts:120impl:protocol.pack-member-order·src/extract/derive.ts:153impl:protocol.reader·src/reader/reader.ts:687
Referencing units
None.
Enabled verifiers: spec:extraction.pack-member-order.manifest-order-kept, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
- spec:model.enrichment-lifecycle
Implementing units
impl:protocol.slimming-recipe·test/curation-recipes.test.ts:26
Referencing units
None.
Enabled verifiers: test:protocol.slimming-recipe
- spec:model.term-addresses
Implementing units
impl:protocol.address-and-cycle-recipes·test/recipes.test.ts:3568impl:protocol.entry-locations·src/extract/derive.ts:78impl:protocol.key-markers·src/extract/key-markers.ts:136impl:protocol.open-section-order·src/extract/serialize.ts:105impl:protocol.prose-mentions·src/validate/validators.ts:1370impl:protocol.register-recipes·test/recipes.test.ts:2057impl:protocol.sdp-import-markdown-emit·src/import/emit-markdown.ts:253impl:protocol.spec-sections·src/model/sections.ts:138impl:protocol.stable-ids·src/ids.ts:173
Referencing units
None.
Enabled verifiers: spec:model.term-addresses.keyed-term-resolves, spec:model.term-addresses.malformed-term-marker-refused, spec:model.term-addresses.repeated-term-key-refused, spec:model.term-addresses.typescript-term-imports-keyed, spec:model.term-addresses.unknown-term-key-refused, test:protocol.keyed-content
Packs: pack:adopter-speed-v1, pack:obsidian-vault-v1, pack:self-hosting-v1
- spec:validation.architecture-constraints
Implementing units
impl:protocol.architecture-walk-recipe·test/architecture-recipes.test.ts:10
Referencing units
None.
Enabled verifiers: spec:validation.architecture-constraints.forbidden-layer-pair, spec:validation.architecture-constraints.isolated-context-as-rule, spec:validation.architecture-constraints.unstated-layer-unclassified
Packs: pack:corpus-checks-v1, pack:design-management-v1, pack:self-hosting-v1
- spec:validation.corpus-rules.copies-contain-changes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.copies-contain-changes
- spec:validation.corpus-rules.error-finding-fails
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.error-finding-fails
- spec:validation.corpus-rules.malformed-finding-fails
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.malformed-finding-fails
- spec:validation.corpus-rules.params-edit-starts-a-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.params-edit-starts-a-cycle
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
- spec:validation.corpus-rules.rules-edit-starts-a-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.rules-edit-starts-a-cycle
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
- spec:validation.corpus-rules.unreadable-params-fail-one-file
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.unreadable-params-fail-one-file
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
- spec:validation.corpus-rules.warning-finding-informs
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.warning-finding-informs
- spec:validation.duplicate-ids.dual-carrier
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.duplicate-ids.dual-carrier
Packs: pack:self-hosting-v1
- spec:validation.superseded-decision-signal
Implementing units
impl:protocol.superseded-decision-signal·src/validate/validators.ts:1817
Referencing units
None.
Enabled verifiers: spec:validation.superseded-decision-signal.branch-names-every-end, spec:validation.superseded-decision-signal.chain-end-named, spec:validation.superseded-decision-signal.closed-chain-named, spec:validation.superseded-decision-signal.dependency-unread, spec:validation.superseded-decision-signal.end-and-loop-named, spec:validation.superseded-decision-signal.live-replacement-warns, spec:validation.superseded-decision-signal.replaced-ruling-warns, spec:validation.superseded-decision-signal.replacement-below-ready-named, spec:validation.superseded-decision-signal.superseded-subject-silent
Distance 8
- spec:carrier.sdp-import.feature-adapter
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:carrier.sdp-import.round-trip
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.sdp-import.round-trip
Packs: pack:self-hosting-v1
- spec:carrier.slot-notation.one-literal-binding
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.slot-notation.one-literal-binding
Packs: pack:self-hosting-v1
- spec:carrier.slot-notation.refused-guess
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.slot-notation.refused-guess
Packs: pack:self-hosting-v1
- spec:carrier.slot-notation.typed-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.slot-notation.typed-declaration
Packs: pack:self-hosting-v1
- spec:carrier.step-keys
Implementing units
impl:protocol.example-runner·src/runner/index.ts:108impl:protocol.example-space-decoding·src/notation/example-space.ts:473impl:protocol.executable-contracts·src/codegen/contracts.ts:647impl:protocol.key-markers·src/extract/key-markers.ts:136impl:protocol.open-section-order·src/extract/serialize.ts:105impl:protocol.sdp-import-markdown-emit·src/import/emit-markdown.ts:253impl:protocol.spec-sections·src/model/sections.ts:138
Referencing units
None.
Enabled verifiers: spec:carrier.step-keys.conflicting-example-key-withheld, spec:carrier.step-keys.gherkin-keyed-step-stays-bound, spec:carrier.step-keys.key-equal-to-a-skeleton-withheld, spec:carrier.step-keys.malformed-marker-refused, spec:carrier.step-keys.renamed-key-breaks, spec:carrier.step-keys.repeated-key-refused, spec:carrier.step-keys.reworded-keyed-step-stays-bound, spec:carrier.step-keys.reworded-unkeyed-step-breaks, spec:carrier.step-keys.two-keys-on-one-step-refused, spec:carrier.step-keys.typescript-keyed-step-imports-keyed, test:protocol.keyed-content
- spec:consumers.binding-language-views
Implementing units
impl:protocol.binding-language-index-table·src/projections/design-review-pages.ts:201impl:protocol.binding-language-spec-page·src/projections/design-review-context.ts:95
Referencing units
None.
Enabled verifiers: spec:consumers.binding-language-views.bound-spec-page, spec:consumers.binding-language-views.pack-member-table
Packs: pack:self-hosting-v1
- spec:consumers.derived-readiness-banner
Implementing units
impl:protocol.derived-readiness-banner·src/projections/design-review-context.ts:18
Referencing units
None.
Enabled verifiers: spec:consumers.derived-readiness-banner.dishonest-divergence, spec:consumers.derived-readiness-banner.honest-headroom, test:protocol.derived-readiness-banner.idea-floor-unmet
Packs: pack:self-hosting-v1
- spec:consumers.design-review.pure-projection
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-review.pure-projection
Packs: pack:self-hosting-v1
- spec:consumers.intent-composition.proposal.memo.shared
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-memo-shared
- spec:consumers.spec-studio.diagram-kinds.capability-tree
Implementing units
impl:protocol.studio-capability-diagrams·src/projections/studio/diagrams/capability.ts:101impl:protocol.studio-diagram-source·src/projections/studio/diagrams/mermaid.ts:13
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
- spec:consumers.spec-studio.diagram-kinds.maturity-picture
Implementing units
impl:protocol.studio-maturity-map·src/projections/studio/pages/maturity-map.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
- spec:consumers.spec-studio.diff-page.changed-entry
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diff-changed-entry
- spec:consumers.spec-studio.lenses.architecture.planned-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-planned-apart
- spec:consumers.spec-studio.lenses.architecture.unit-register
Implementing units
impl:protocol.studio-unit-register·src/projections/studio/pages/architecture-register.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1, pack:spec-studio-v1
- spec:consumers.spec-studio.lenses.tests.coverage-row
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-tests-coverage-row
- spec:consumers.spec-studio.runs-page.external-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.run-external
- spec:consumers.spec-studio.sharing.stamp-written-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-stamp-apart
- spec:consumers.structural-mermaid
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
- spec:consumers.wholesale-view-rewrite
Implementing units
impl:protocol.build-pipeline-emit·src/cli/build-command.ts:251impl:protocol.wholesale-view-rewrite·src/cli/validate-view-command.ts:128
Referencing units
None.
Enabled verifiers: spec:consumers.wholesale-view-rewrite.build-invalidates-view, spec:consumers.wholesale-view-rewrite.failed-run-view-removed, spec:consumers.wholesale-view-rewrite.late-stale-page, spec:consumers.wholesale-view-rewrite.stale-page-removed
Packs: pack:self-hosting-v1
- spec:decisions.authored-entry-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.envelope-grammar-posture
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.gherkin-carrier-option
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.pack-markdown-carrier
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.sdp-gherkin-extension
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:extraction.pack-member-order.manifest-order-kept
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.pack-member-order
Packs: pack:self-hosting-v1
- spec:model.term-addresses.keyed-term-resolves
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.keyed-term-resolves
- spec:model.term-addresses.malformed-term-marker-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.malformed-term-marker-refused
- spec:model.term-addresses.repeated-term-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.repeated-term-key-refused
- spec:model.term-addresses.typescript-term-imports-keyed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.typescript-term-imports-keyed
- spec:model.term-addresses.unknown-term-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.unknown-term-key-refused
- spec:validation.architecture-constraints.forbidden-layer-pair
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.forbidden-layer-pair
- spec:validation.architecture-constraints.isolated-context-as-rule
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.isolated-context-as-rule
- spec:validation.architecture-constraints.unstated-layer-unclassified
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.unstated-layer-unclassified
- spec:validation.diagnostic-rendering
Implementing units
impl:protocol.diagnostic-rendering-cli·src/cli/output.ts:23impl:protocol.diagnostic-rendering-design-review·src/projections/design-review-context.ts:208impl:protocol.validate-summary·src/cli/validate-view-command.ts:23impl:protocol.validation-contracts·src/validate/contracts.ts:5
Referencing units
None.
Enabled verifiers: spec:validation.diagnostic-rendering.composed-location, spec:validation.diagnostic-rendering.table-cell-location
Packs: pack:self-hosting-v1
- spec:validation.superseded-decision-signal.branch-names-every-end
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.branch-names-every-end
Packs: pack:self-hosting-v1
- spec:validation.superseded-decision-signal.chain-end-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.chain-end-named
Packs: pack:self-hosting-v1
- spec:validation.superseded-decision-signal.closed-chain-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.closed-chain-named
Packs: pack:self-hosting-v1
- spec:validation.superseded-decision-signal.dependency-unread
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.dependency-unread
Packs: pack:self-hosting-v1
- spec:validation.superseded-decision-signal.end-and-loop-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.end-and-loop-named
Packs: pack:self-hosting-v1
- spec:validation.superseded-decision-signal.live-replacement-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.live-replacement-warns
Packs: pack:self-hosting-v1
- spec:validation.superseded-decision-signal.replaced-ruling-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.replaced-ruling-warns
Packs: pack:self-hosting-v1
- spec:validation.superseded-decision-signal.replacement-below-ready-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.replacement-below-ready-named
Packs: pack:self-hosting-v1
- spec:validation.superseded-decision-signal.superseded-subject-silent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.superseded-subject-silent
Packs: pack:self-hosting-v1
Distance 9
- spec:carrier.step-keys.conflicting-example-key-withheld
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.conflicting-example-key-withheld
- spec:carrier.step-keys.gherkin-keyed-step-stays-bound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.gherkin-keyed-step-stays-bound
- spec:carrier.step-keys.key-equal-to-a-skeleton-withheld
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.key-equal-to-a-skeleton-withheld
- spec:carrier.step-keys.malformed-marker-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.malformed-marker-refused
- spec:carrier.step-keys.renamed-key-breaks
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.renamed-key-breaks
- spec:carrier.step-keys.repeated-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.repeated-key-refused
- spec:carrier.step-keys.reworded-keyed-step-stays-bound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.reworded-keyed-step-stays-bound
- spec:carrier.step-keys.reworded-unkeyed-step-breaks
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.reworded-unkeyed-step-breaks
- spec:carrier.step-keys.two-keys-on-one-step-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.two-keys-on-one-step-refused
- spec:carrier.step-keys.typescript-keyed-step-imports-keyed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.typescript-keyed-step-imports-keyed
- spec:consumers.binding-language-views.bound-spec-page
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.binding-language-views.bound-spec-page
Packs: pack:self-hosting-v1
- spec:consumers.binding-language-views.pack-member-table
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.binding-language-views.pack-member-table
Packs: pack:self-hosting-v1
- spec:consumers.census-page
Implementing units
impl:protocol.census-page·src/projections/census.ts:21impl:protocol.census-page-cli·src/cli/census-command.ts:66
Referencing units
None.
Enabled verifiers: test:protocol.census-page
Packs: pack:self-hosting-v1
- spec:consumers.derived-readiness-banner.dishonest-divergence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.derived-readiness-banner.dishonest-divergence
Packs: pack:self-hosting-v1
- spec:consumers.derived-readiness-banner.honest-headroom
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.derived-readiness-banner.honest-headroom
Packs: pack:self-hosting-v1
- spec:consumers.mermaid-view
Implementing units
impl:protocol.mermaid-view·src/projections/mermaid.ts:14impl:protocol.mermaid-view-cli·src/cli/mermaid-command.ts:82
Referencing units
None.
Enabled verifiers: test:protocol.mermaid-view
Packs: pack:self-hosting-v1
- spec:consumers.obsidian-vault
Implementing units
impl:protocol.vault-command·src/cli/vault-command.ts:191impl:protocol.vault-notes·src/projections/vault/notes.ts:45impl:protocol.vault-sync·src/projections/vault/sync.ts:98
Referencing units
None.
Enabled verifiers: 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, spec:consumers.obsidian-vault.vault-in-build-path-refused
- spec:consumers.wholesale-view-rewrite.build-invalidates-view
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.build-invalidates-view
Packs: pack:self-hosting-v1
- spec:consumers.wholesale-view-rewrite.failed-run-view-removed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.failed-run-view-removed
Packs: pack:self-hosting-v1
- spec:consumers.wholesale-view-rewrite.late-stale-page
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.late-stale-page
Packs: pack:self-hosting-v1
- spec:consumers.wholesale-view-rewrite.stale-page-removed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.stale-page-removed
Packs: pack:self-hosting-v1
- spec:decisions.roadmap-priority
Implementing units
None.
Referencing units
impl:protocol.pack-aggregate·src/model/pack.ts:23impl:protocol.pack-member-order·src/extract/derive.ts:153
Enabled verifiers: None
- spec:extraction.executable-contracts
Implementing units
impl:protocol.example-space·src/graph/example-space.ts:117impl:protocol.executable-contracts·src/codegen/contracts.ts:647
Referencing units
None.
Enabled verifiers: spec:carrier.step-keys.conflicting-example-key-withheld, spec:carrier.step-keys.key-equal-to-a-skeleton-withheld, spec:carrier.step-keys.reworded-keyed-step-stays-bound, spec:carrier.step-keys.reworded-unkeyed-step-breaks, spec:extraction.executable-contracts.case-colliding-path, spec:extraction.executable-contracts.concreteness-refusal, spec:extraction.executable-contracts.multi-entry-example
- spec:extraction.runnable-modules
Implementing units
component:protocol.codegen·src/codegen/contracts.ts:633component:protocol.testing·src/testing/index.ts:38impl:protocol.example-testing-helpers·src/testing/index.ts:50impl:protocol.runnable-modules·src/codegen/contracts.ts:658
Referencing units
None.
Enabled verifiers: test:protocol.runnable-modules, test:protocol.runnable-modules-generation, test:protocol.runnable-modules-types
- spec:validation.diagnostic-rendering.composed-location
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.diagnostic-rendering.composed-location
Packs: pack:self-hosting-v1
- spec:validation.diagnostic-rendering.table-cell-location
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.diagnostic-rendering.table-cell-location
Packs: pack:self-hosting-v1
Distance 10
- spec:consumers.design-diff
Implementing units
impl:protocol.design-diff-recipe·test/iteration-recipes.test.ts:27
Referencing units
None.
Enabled verifiers: test:protocol.design-diff-recipe, test:protocol.roadmap-priority
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
- spec:consumers.obsidian-vault.changed-note-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.changed-note-refused
- spec:consumers.obsidian-vault.failed-extraction-keeps-notes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.failed-extraction-keeps-notes
- spec:consumers.obsidian-vault.failed-extraction-recovered
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.failed-extraction-recovered
- spec:consumers.obsidian-vault.fresh-vault
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.fresh-vault
- spec:consumers.obsidian-vault.hidden-file-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.hidden-file-refused
- spec:consumers.obsidian-vault.interrupted-run-recovered
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.interrupted-run-recovered
- spec:consumers.obsidian-vault.person-notes-survive
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.person-notes-survive
- spec:consumers.obsidian-vault.unknown-note-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.unknown-note-refused
- spec:consumers.obsidian-vault.vault-in-build-path-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.vault-in-build-path-refused
- spec:decisions.adopted-registrars-committed
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.roadmap-over-plans
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
- spec:decisions.vault-owned-folder
Implementing units
None.
Referencing units
impl:protocol.vault-command·src/cli/vault-command.ts:191impl:protocol.vault-sync·src/projections/vault/sync.ts:98
Enabled verifiers: None
- spec:extraction.example-runner
Implementing units
component:protocol.adapters·src/adapters/vitest.ts:23component:protocol.runner·src/runner/index.ts:99impl:protocol.example-runner·src/runner/index.ts:108impl:protocol.example-runner-adapter·src/adapters/vitest.ts:32
Referencing units
None.
Enabled verifiers: spec:extraction.example-runner.red-step-naming, spec:extraction.example-runner.step-order, test:protocol.example-runner-cleanup
Packs: pack:self-hosting-v1
- spec:extraction.executable-contracts.case-colliding-path
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.case-colliding-path
Packs: pack:self-hosting-v1
- spec:extraction.executable-contracts.concreteness-refusal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.concreteness-refusal
Packs: pack:self-hosting-v1
- spec:extraction.executable-contracts.multi-entry-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.multi-entry-example
Packs: pack:self-hosting-v1
- spec:model.pack-aggregate
Implementing units
impl:protocol.pack-aggregate·src/model/pack.ts:23
Referencing units
None.
Enabled verifiers: test:protocol.pack-builder, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
Distance 11
- spec:decisions.pack-reified
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:extraction.example-runner.red-step-naming
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.example-runner.red-step-naming
Packs: pack:self-hosting-v1
- spec:extraction.example-runner.step-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.example-runner.step-order
Packs: pack:self-hosting-v1
- spec:validation.pack-coherence
Implementing units
impl:protocol.pack-coherence·src/validate/validators.ts:1102
Referencing units
None.
Enabled verifiers: spec:validation.pack-coherence.incoherent-aggregate
Packs: pack:self-hosting-v1
Distance 12
- spec:validation.pack-coherence.incoherent-aggregate
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.pack-coherence.incoherent-aggregate
Packs: pack:self-hosting-v1
Relations
| Relation and direction | Other end | Claim | Reason | Exercised keys |
|---|---|---|---|---|
| refines · outgoing | The Protocol authors and validates itselfspec:protocol.self-hosting · resolves | declared | None | None |
| decidedBy · incoming | The Protocol authors and validates itselfspec:protocol.self-hosting · resolves | declared | None | None |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: none
Expected-outcome oracle: none
Runtime observation: not tracked.
Run results: not recorded in the graph.
Findings
None.
Composing (0)
Composing needs the script.