outcomeThe Markdown envelope is explicit and bounded
spec:carrier.envelope-contractChanged since the base graph base b5e0a8b: behavior.rules[7]; rule.reservedProperties
Base input: schema 0.12.0, 456 Specs.
Packs: pack:self-hosting-v1
Design: no design entries · no pinned declarations · 1 decision
Findings: no errors, no warnings
specs/carrier/envelope-contract.sdp.md
No open questions and no blocking questions; implementation binding present, verifier binding present, and expected-outcome oracle none.
Intent
- Make a Markdown Spec's identity and descriptors deterministic to reify.
Contract
ruleline 20 ·specs/carrier/envelope-contract.sdp.md:20- A Markdown Spec declares id, kind, altitude, readiness, and relations in bounded YAML frontmatter; its first H1 declares title.
ruleline 21 ·specs/carrier/envelope-contract.sdp.md:21- The envelope key set is closed and every one of its five keys is required: a key outside the set is refused rather than absorbed, and a missing key refuses the document rather than being defaulted.
ruleline 22 ·specs/carrier/envelope-contract.sdp.md:22- Each relation type takes one target or a list; its target forms follow
spec:model.relation-reasons, and an example's declaredverifiesmay carryexercisesunderspec:model.rule-keys. ruleline 23 ·specs/carrier/envelope-contract.sdp.md:23relations: {}is written explicitly when the logical relation set is empty — honest carrier syntax, not a new logical requirement: the physical key catches a truncated envelope at reification while the model itself stays relation-optional.rule.reservedPropertiesline 24 ·specs/carrier/envelope-contract.sdp.md:24- A derived name is never authorable in the envelope: a delivery-fact or graph-field key (
implemented,has-verifier,hasVerifier,observed,claim,deliveryFacts,nodeType,specKind,satisfies,verifies,belongsToormodels) is refused asextract/reserved-property, because delivery facts are derived and never authored;titleis refused asextract/invalid-frontmatter, and any other unknown envelope key asextract/unrecognized-property. Delivery-fact names anddeliveryFactsare compared case-insensitively; underscore forms are not delivery-fact names.no example exercises it
ruleline 25 ·specs/carrier/envelope-contract.sdp.md:25- The Protocol owns the envelope grammar and the parser policy while the pinned YAML library stays a swappable representation behind that contract, so an unsupported YAML construct is refused within explicit byte bounds on the carrier and its frontmatter rather than silently becoming carrier semantics.
ruleline 26 ·specs/carrier/envelope-contract.sdp.md:26- The bounds are 256 KiB per carrier, 32 KiB of frontmatter, 16 KiB per scalar, 2,000 YAML nodes, and a nesting depth of 16; YAML anchor (
&name) and alias (*name) syntax and explicit YAML tags (!tag) are refused at any size. ruleline 27 ·specs/carrier/envelope-contract.sdp.md:27- The frontmatter opens at byte zero with an exact
---line and closes at the next exact---line; a byte-order mark, a...line in the frontmatter, a further exact---line in the body, or mixed LF and CRLF newlines refuses the carrier. A lone CR, U+2028 or U+2029 anywhere in the carrier refuses it at that physical line, underspec:carrier.markdown-authoring#rule.lineEndings.
7 unkeyed rules.
Verification
Verifier bindings
- test:protocol.envelope-contract · frontmatter contract tests verify the Markdown envelope · anchored · test anchor binding present ·
test/markdown-reifier.test.ts:97External run evidence from
test/markdown-reifier.test.tsTest anchors:
test:protocol.envelope-contract,test:protocol.markdown-body-grammar-regressions,test:protocol.markdown-parser,test:protocol.prose-ownership. Specs verified by those bindings: spec:carrier.envelope-contract, spec:carrier.markdown-body-grammar, spec:carrier.markdown-parser, spec:carrier.prose-ownership-rule.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
Name Suite Result Duration reifies a lawful Markdown Pack manifest Markdown frontmatter reifier passed 21.83 ms refuses a Spec-only key on a Pack Markdown frontmatter reifier passed 9.08 ms refuses Pack membership on a Spec Markdown frontmatter reifier passed 5.29 ms refuses a Pack section heading Markdown frontmatter reifier passed 2.42 ms refuses a wrong-namespace Pack member Markdown frontmatter reifier passed 2.98 ms refuses a reserved derived-name key on a Pack Markdown frontmatter reifier passed 1.22 ms refuses a pack: id that fails the id grammar Markdown frontmatter reifier passed 1.24 ms reifies the frozen corpus envelopes at their id token lines Markdown frontmatter reifier passed 13.88 ms maps scalar and list relations in authored order Markdown frontmatter reifier passed 2.69 ms distinguishes an explicit empty relation set from a missing relation key Markdown frontmatter reifier passed 1.95 ms refuses warning without throwing Markdown frontmatter reifier passed 1.71 ms refuses directive without throwing Markdown frontmatter reifier passed 1.38 ms refuses tag without throwing Markdown frontmatter reifier passed 1.43 ms refuses anchor without throwing Markdown frontmatter reifier passed 1.13 ms refuses alias without throwing Markdown frontmatter reifier passed 1.23 ms refuses merge without throwing Markdown frontmatter reifier passed 1.24 ms refuses complex key without throwing Markdown frontmatter reifier passed 1.27 ms refuses non-string scalar without throwing Markdown frontmatter reifier passed 4.5 ms refuses body delimiter without throwing Markdown frontmatter reifier passed 0.4 ms caps findings and leaves a healthy sibling independently reifiable Markdown frontmatter reifier passed 12.88 ms caps body findings with the frozen structure finding ID Markdown frontmatter reifier passed 1.99 ms reports a genuine YAML document warning Markdown frontmatter reifier passed 1.15 ms contains the YAML parser's unknown throw at the public reifier boundary Markdown frontmatter reifier passed 101.64 ms enforces the 256 KiB carrier byte limit at and immediately over its boundary Markdown frontmatter reifier passed 6.02 ms enforces the 32 KiB frontmatter byte limit at and immediately over its boundary Markdown frontmatter reifier passed 1.13 ms enforces the 16 KiB scalar byte limit at and immediately over its boundary Markdown frontmatter reifier passed 2.29 ms enforces the 2,000 node limit at and immediately over its boundary Markdown frontmatter reifier passed 1009.71 ms enforces the depth limit of 16 at and immediately over its boundary Markdown frontmatter reifier passed 5.62 ms refuses duplicate relation keys Markdown frontmatter reifier passed 3 ms refuses duplicate targets within one relation list Markdown frontmatter reifier passed 0.78 ms refuses an empty relation sequence Markdown frontmatter reifier passed 0.76 ms refuses a wrong-namespace relation target Markdown frontmatter reifier passed 0.59 ms refuses an entry address in the Spec id at the field's line Markdown frontmatter reifier passed 1.45 ms refuses an entry address in a relation target at the field's line Markdown frontmatter reifier passed 0.65 ms refuses an entry address in a Pack member at the field's line Markdown frontmatter reifier passed 0.62 ms refuses an entry address in a Pack model reference at the field's line Markdown frontmatter reifier passed 2.35 ms refuses a Pack whose own id carries an entry address with the namespace reason Markdown frontmatter reifier passed 0.69 ms accepts distinct relation keys that share a target Markdown frontmatter reifier passed 0.76 ms accepts a pure CRLF carrier Markdown frontmatter reifier passed 0.91 ms refuses a byte-order mark Markdown frontmatter reifier passed 0.21 ms refuses an indented opener Markdown frontmatter reifier passed 0.15 ms refuses a document-end closer Markdown frontmatter reifier passed 0.16 ms refuses mixed CRLF and LF newlines Markdown frontmatter reifier passed 0.15 ms refuses the carrier at its physical line in the H1 title Markdown frontmatter reifier > a carrier line holding a lone CR passed 0.4 ms refuses the carrier at its physical line in the narrative Markdown frontmatter reifier > a carrier line holding a lone CR passed 0.29 ms refuses the carrier at its physical line in section prose Markdown frontmatter reifier > a carrier line holding a lone CR passed 0.23 ms refuses the carrier at its physical line in a plain entry Markdown frontmatter reifier > a carrier line holding a lone CR passed 0.35 ms refuses the carrier at its physical line in a keyed entry Markdown frontmatter reifier > a carrier line holding a lone CR passed 0.29 ms refuses the carrier at its physical line in an open question field Markdown frontmatter reifier > a carrier line holding a lone CR passed 0.25 ms refuses the carrier at its physical line in an end of line Markdown frontmatter reifier > a carrier line holding a lone CR passed 0.27 ms refuses a fence step, a frontmatter value and a Pack manifest at their physical lines Markdown frontmatter reifier > a carrier line holding a lone CR passed 0.55 ms refuses the carrier at its physical line in the H1 title Markdown frontmatter reifier > a carrier line holding U+2028 passed 0.29 ms refuses the carrier at its physical line in the narrative Markdown frontmatter reifier > a carrier line holding U+2028 passed 0.26 ms refuses the carrier at its physical line in section prose Markdown frontmatter reifier > a carrier line holding U+2028 passed 0.22 ms refuses the carrier at its physical line in a plain entry Markdown frontmatter reifier > a carrier line holding U+2028 passed 0.25 ms refuses the carrier at its physical line in a keyed entry Markdown frontmatter reifier > a carrier line holding U+2028 passed 0.23 ms refuses the carrier at its physical line in an open question field Markdown frontmatter reifier > a carrier line holding U+2028 passed 0.24 ms refuses the carrier at its physical line in an end of line Markdown frontmatter reifier > a carrier line holding U+2028 passed 0.26 ms refuses a fence step, a frontmatter value and a Pack manifest at their physical lines Markdown frontmatter reifier > a carrier line holding U+2028 passed 0.38 ms refuses the carrier at its physical line in the H1 title Markdown frontmatter reifier > a carrier line holding U+2029 passed 0.24 ms refuses the carrier at its physical line in the narrative Markdown frontmatter reifier > a carrier line holding U+2029 passed 0.22 ms refuses the carrier at its physical line in section prose Markdown frontmatter reifier > a carrier line holding U+2029 passed 0.24 ms refuses the carrier at its physical line in a plain entry Markdown frontmatter reifier > a carrier line holding U+2029 passed 0.22 ms refuses the carrier at its physical line in a keyed entry Markdown frontmatter reifier > a carrier line holding U+2029 passed 0.22 ms refuses the carrier at its physical line in an open question field Markdown frontmatter reifier > a carrier line holding U+2029 passed 0.21 ms refuses the carrier at its physical line in an end of line Markdown frontmatter reifier > a carrier line holding U+2029 passed 0.21 ms refuses a fence step, a frontmatter value and a Pack manifest at their physical lines Markdown frontmatter reifier > a carrier line holding U+2029 passed 0.38 ms keeps LF and CRLF line endings lawful beside the refused separators Markdown frontmatter reifier passed 1.74 ms maps the ruled title, intent, and behavior lists from the body Markdown frontmatter reifier passed 1.26 ms maps the ruled fences and every remaining typed owner Markdown frontmatter reifier passed 3.81 ms serializes owned prose canonically across both public carrier reifiers Markdown frontmatter reifier passed 37.36 ms serializes GWT and behavior key permutations to identical bytes Markdown frontmatter reifier passed 18.29 ms omits absent prose fields and rejects constraint-local prose from the TypeScript carrier Markdown frontmatter reifier passed 10.64 ms uses the first minimum heading suggestion within edit distance two Markdown frontmatter reifier passed 1.63 ms refuses a missing H1 through the frozen body diagnostic Markdown frontmatter reifier passed 1.82 ms refuses an empty H1 through the frozen body diagnostic Markdown frontmatter reifier passed 0.79 ms refuses a heading beyond suggestion distance two through the frozen body diagnostic Markdown frontmatter reifier passed 4.19 ms refuses a tied heading using the first minimum through the frozen body diagnostic Markdown frontmatter reifier passed 1 ms refuses a blank line in a fence through the frozen body diagnostic Markdown frontmatter reifier passed 1.31 ms refuses fence attributes through the frozen body diagnostic Markdown frontmatter reifier passed 0.7 ms refuses an unclosed fence through the frozen body diagnostic Markdown frontmatter reifier passed 0.59 ms refuses a gwt fence on a non-example through the frozen body diagnostic Markdown frontmatter reifier passed 0.73 ms refuses an invalid Verification mode through the frozen body diagnostic Markdown frontmatter reifier passed 0.73 ms refuses a repeated identical literal heading through the frozen body diagnostic Markdown frontmatter reifier passed 0.57 ms refuses ordered dot list in narrative Markdown frontmatter reifier passed 0.59 ms refuses ordered parenthesis list in narrative Markdown frontmatter reifier passed 0.54 ms refuses star list in narrative Markdown frontmatter reifier passed 0.52 ms refuses plus list in narrative Markdown frontmatter reifier passed 0.64 ms refuses ordered dot tab list in narrative Markdown frontmatter reifier passed 0.8 ms refuses ordered parenthesis tab list in narrative Markdown frontmatter reifier passed 0.6 ms refuses star tab list in narrative Markdown frontmatter reifier passed 3.65 ms refuses plus tab list in narrative Markdown frontmatter reifier passed 0.58 ms refuses HTML comment in narrative Markdown frontmatter reifier passed 0.56 ms refuses setext equals underline in narrative Markdown frontmatter reifier passed 0.58 ms refuses setext dash underline in narrative Markdown frontmatter reifier passed 0.55 ms refuses star thematic break in narrative Markdown frontmatter reifier passed 3.61 ms refuses underscore thematic break in narrative Markdown frontmatter reifier passed 0.82 ms refuses ordered list in section prose Markdown frontmatter reifier passed 0.59 ms refuses star list in section prose Markdown frontmatter reifier passed 0.64 ms refuses plus list in section prose Markdown frontmatter reifier passed 2.55 ms refuses setext underline in section prose Markdown frontmatter reifier passed 0.57 ms refuses thematic break in section prose Markdown frontmatter reifier passed 0.53 ms refuses bare HTML opener in section prose Markdown frontmatter reifier passed 0.51 ms refuses dash tab list in section prose Markdown frontmatter reifier passed 0.49 ms refuses HTML comment in section prose Markdown frontmatter reifier passed 2.28 ms refuses processing instruction in section prose Markdown frontmatter reifier passed 0.56 ms refuses declaration in section prose Markdown frontmatter reifier passed 0.52 ms refuses mixed-mode Verification headings instead of overwriting the first section Markdown frontmatter reifier passed 4 ms preserves Behavior rules when an example Intent appears after Behavior Markdown frontmatter reifier passed 9.1 ms refuses a GWT fence under Model Markdown frontmatter reifier passed 0.91 ms refuses an H3 under Design Markdown frontmatter reifier passed 0.72 ms refuses an open question before its H3 owner Markdown frontmatter reifier passed 3.68 ms refuses an Intent field after the open-questions H3 Markdown frontmatter reifier passed 0.67 ms refuses block shapes in list text: > quote Markdown frontmatter reifier passed 2.02 ms refuses block shapes in list text: | table Markdown frontmatter reifier passed 5.05 ms refuses block shapes in list text: * nested Markdown frontmatter reifier passed 3.55 ms refuses block shapes in list text: + nested Markdown frontmatter reifier passed 1.77 ms refuses block shapes in list text: - nested Markdown frontmatter reifier passed 4.72 ms refuses block shapes in list text: - - x Markdown frontmatter reifier passed 1.62 ms refuses block shapes in list text: - Markdown frontmatter reifier passed 4.75 ms refuses block shapes in list text: * Markdown frontmatter reifier passed 1.57 ms refuses block shapes in list text: + Markdown frontmatter reifier passed 4.75 ms refuses block shapes in list text: 1. Markdown frontmatter reifier passed 4.7 ms refuses block shapes in list text: 1) Markdown frontmatter reifier passed 1.67 ms refuses block shapes in list text: 1. numbered Markdown frontmatter reifier passed 4.78 ms refuses block shapes in list text: 1) numbered Markdown frontmatter reifier passed 1.53 ms refuses block shapes in list text: --- Markdown frontmatter reifier passed 4.65 ms refuses block shapes in list text: *** Markdown frontmatter reifier passed 1.57 ms refuses block shapes in list text: ___ Markdown frontmatter reifier passed 4.7 ms refuses block shapes in list text: === Markdown frontmatter reifier passed 4.63 ms refuses block shapes in list text: <unclosed Markdown frontmatter reifier passed 1.48 ms refuses block shapes in list text: = Markdown frontmatter reifier passed 4.59 ms refuses block shapes in list text: == Markdown frontmatter reifier passed 1.51 ms refuses block shapes in list text: -- Markdown frontmatter reifier passed 4.64 ms refuses block shapes in list text: # Title Markdown frontmatter reifier passed 1.54 ms refuses block shapes in list text: ### Notes Markdown frontmatter reifier passed 4.63 ms refuses block shapes in list text: ###### Markdown frontmatter reifier passed 1.53 ms refuses block shapes in list text: ## Design Markdown frontmatter reifier passed 4.63 ms refuses block shapes in list text: ```js Markdown frontmatter reifier passed 1.6 ms refuses block shapes in list text: ~~~ Markdown frontmatter reifier passed 4.67 ms refuses lone list markers across prose owners: * Markdown frontmatter reifier passed 7.13 ms refuses lone list markers across prose owners: + Markdown frontmatter reifier passed 3.56 ms refuses lone list markers across prose owners: 1. Markdown frontmatter reifier passed 3.79 ms refuses lone list markers across prose owners: 1) Markdown frontmatter reifier passed 6.81 ms refuses the block opener "* item" wherever prose is read Markdown frontmatter reifier passed 2.15 ms refuses the block opener "+ item" wherever prose is read Markdown frontmatter reifier passed 1.82 ms refuses the block opener "1. item" wherever prose is read Markdown frontmatter reifier passed 1.23 ms refuses the block opener "1)\titem" wherever prose is read Markdown frontmatter reifier passed 1.26 ms refuses the block opener "-\titem" wherever prose is read Markdown frontmatter reifier passed 4.39 ms refuses short underlines and fences across prose owners: = Markdown frontmatter reifier passed 1.46 ms refuses short underlines and fences across prose owners: == Markdown frontmatter reifier passed 1.28 ms refuses short underlines and fences across prose owners: - Markdown frontmatter reifier passed 1.21 ms refuses short underlines and fences across prose owners: -- Markdown frontmatter reifier passed 4.38 ms refuses short underlines and fences across prose owners: ~~~ Markdown frontmatter reifier passed 1.3 ms refuses short underlines and fences across prose owners: ~~~js Markdown frontmatter reifier passed 4.36 ms refuses short underlines and fences across prose owners: ~~~~ Markdown frontmatter reifier passed 1.09 ms refuses short underlines and fences across prose owners: ```js Markdown frontmatter reifier passed 1.29 ms reports each tilde fence line exactly once in narrative Markdown frontmatter reifier passed 0.69 ms reports each tilde fence line exactly once in section Markdown frontmatter reifier passed 0.56 ms reports each tilde fence line exactly once in section with an H2 inside the block Markdown frontmatter reifier passed 0.62 ms refuses a backtick-prefixed section line even with backticks in its info string Markdown frontmatter reifier passed 0.68 ms distinguishes reserved and ordinary plain-bullet names: has-verifier Markdown frontmatter reifier passed 0.65 ms distinguishes reserved and ordinary plain-bullet names: Has-Verifier Markdown frontmatter reifier passed 0.54 ms distinguishes reserved and ordinary plain-bullet names: some-label Markdown frontmatter reifier passed 2.23 ms distinguishes reserved and ordinary plain-bullet names: has_verifier Markdown frontmatter reifier passed 0.6 ms reads the single-letter-led word in "a: note" as a key in a plain-bullet section Markdown frontmatter reifier passed 0.59 ms reads the single-letter-led word in "Z: note" as a key in a plain-bullet section Markdown frontmatter reifier passed 0.49 ms reads the single-letter-led word in "x1: note" as a key in a plain-bullet section Markdown frontmatter reifier passed 2.55 ms keeps the bullet "a:note" plain text in a plain-bullet section Markdown frontmatter reifier passed 0.71 ms keeps the bullet "1: note" plain text in a plain-bullet section Markdown frontmatter reifier passed 0.53 ms keeps the bullet "a : note" plain text in a plain-bullet section Markdown frontmatter reifier passed 0.59 ms keeps the bullet "`a: note`" plain text in a plain-bullet section Markdown frontmatter reifier passed 0.54 ms refuses reserved delivery properties in Markdown envelopes and keyed sections: implemented Markdown frontmatter reifier passed 24.65 ms refuses reserved delivery properties in Markdown envelopes and keyed sections: IMPLEMENTED Markdown frontmatter reifier passed 8.46 ms refuses reserved delivery properties in Markdown envelopes and keyed sections: hasverifier Markdown frontmatter reifier passed 11.28 ms refuses reserved delivery properties in Markdown envelopes and keyed sections: HasVerifier Markdown frontmatter reifier passed 11.18 ms refuses reserved delivery properties in Markdown envelopes and keyed sections: HAS-VERIFIER Markdown frontmatter reifier passed 10.91 ms refuses reserved delivery properties in Markdown envelopes and keyed sections: Observed Markdown frontmatter reifier passed 7.77 ms refuses reserved delivery properties in Markdown envelopes and keyed sections: deliveryFacts Markdown frontmatter reifier passed 14.04 ms refuses frontmatter title through its ruled diagnostic Markdown frontmatter reifier passed 0.64 ms refuses second H1 through its ruled diagnostic Markdown frontmatter reifier passed 0.52 ms refuses near-miss heading through its ruled diagnostic Markdown frontmatter reifier passed 0.77 ms refuses indented list through its ruled diagnostic Markdown frontmatter reifier passed 0.49 ms refuses empty list through its ruled diagnostic Markdown frontmatter reifier passed 0.5 ms refuses nested list through its ruled diagnostic Markdown frontmatter reifier passed 0.5 ms refuses extra heading space through its ruled diagnostic Markdown frontmatter reifier passed 3.54 ms refuses extra list space through its ruled diagnostic Markdown frontmatter reifier passed 0.54 ms refuses invalid GWT phase through its ruled diagnostic Markdown frontmatter reifier passed 0.63 ms refuses late description through its ruled diagnostic Markdown frontmatter reifier passed 0.51 ms refuses raw HTML through its ruled diagnostic Markdown frontmatter reifier passed 0.52 ms refuses inline raw HTML through its ruled diagnostic Markdown frontmatter reifier passed 0.46 ms refuses trailing prose through its ruled diagnostic Markdown frontmatter reifier passed 3.66 ms refuses unsupported block through its ruled diagnostic Markdown frontmatter reifier passed 0.59 ms refuses reserved authored fact through its ruled diagnostic Markdown frontmatter reifier passed 0.49 ms reads a key after the flag and leaves an unkeyed question without one open question keys in the Markdown marker passed 4.24 ms refuses the carrier whole on a key with an upper-case first letter open question keys in the Markdown marker passed 0.69 ms refuses the carrier whole on a key with an empty key open question keys in the Markdown marker passed 0.67 ms refuses the carrier whole on a key with a hyphen open question keys in the Markdown marker passed 0.57 ms refuses the carrier whole on a key with a digit first open question keys in the Markdown marker passed 1.48 ms refuses the carrier whole on a key with a space inside open question keys in the Markdown marker passed 0.63 ms refuses the carrier whole on a key with a non-ASCII letter open question keys in the Markdown marker passed 3.61 ms refuses the carrier whole on a key an earlier question of the Spec carries open question keys in the Markdown marker passed 0.66 ms keeps distinct keys that differ only in case open question keys in the Markdown marker passed 3.38 ms keeps today's refusal for a marker with no space before the hash open question keys in the Markdown marker passed 0.63 ms keeps today's refusal for a marker with two spaces before the hash open question keys in the Markdown marker passed 0.54 ms keeps today's refusal for a marker with a key without its hash open question keys in the Markdown marker passed 0.49 ms refuses a keyed question outside its H3 owner as an unkeyed one is refused open question keys in the Markdown marker passed 2.33 ms
Design view
Requirement drawing
- Declared verifying examples: no declared verifying example.
The diagram as text
- spec:carrier.envelope-contract: The Markdown envelope is explicit and bounded · declared Spec
- spec:decisions.envelope-grammar-posture: The Protocol owns the envelope grammar · declared Spec
- spec:carrier.markdown-authoring: Markdown authoring enters the one graph · declared Spec
- impl:protocol.envelope-contract: parses the bounded Markdown frontmatter envelope · anchored code ·
src/extract/markdown-frontmatter.ts:33 - impl:protocol.markdown-yaml-policy: bounded YAML scalars and relation-target forms · anchored code ·
src/extract/markdown-yaml-policy.ts:20 - test:protocol.envelope-contract: frontmatter contract tests verify the Markdown envelope · anchored test binding · binding present ·
test/markdown-reifier.test.ts:97 - spec:carrier.envelope-contract refines spec:carrier.markdown-authoring · declared
- spec:decisions.envelope-grammar-posture refines spec:carrier.envelope-contract · declared
- impl:protocol.envelope-contract satisfies spec:carrier.envelope-contract · anchored
- impl:protocol.markdown-yaml-policy satisfies spec:carrier.envelope-contract · anchored
- test:protocol.envelope-contract verifies spec:carrier.envelope-contract · anchored
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
- The Protocol owns the envelope grammar
The Protocol owns a bounded envelope grammar and parser policy; the pinned YAML library is a swappable representation behind that contract.
Runtime
component:protocol.extract· the carrier and source pipeline ·src/extract/index.ts:197· layer application · context protocol Uses
component:protocol.graph· the one graph and its semantic decisions ·src/graph/schema.ts:34· layer domain · context protocol component:protocol.model· the authored contracts and stable ids ·src/model/anchors.ts:100· layer domain · context protocol component:protocol.notation· the leaf step codec ·src/notation/slots.ts:263· layer domain · context protocol component:protocol.validate· one finding currency and ordered checks ·src/validate/validators.ts:76· layer domain · context protocol
impl:protocol.envelope-contract· parses the bounded Markdown frontmatter envelope ·src/extract/markdown-frontmatter.ts:33Component:
component:protocol.extract· the carrier and source pipeline ·src/extract/index.ts:197· layer application · context protocol Uses
None.
impl:protocol.markdown-yaml-policy· bounded YAML scalars and relation-target forms ·src/extract/markdown-yaml-policy.ts:20Component:
component:protocol.extract· the carrier and source pipeline ·src/extract/index.ts:197· layer application · context protocol Uses
None.
Runtime observation: not tracked.
Evidence
Runtime observation: not tracked.
Build attestations: not tracked.
Deployments: not tracked.
Bills of materials: not tracked.
Impact
The diagram as text
- spec:carrier.envelope-contract: The Markdown envelope is explicit and bounded
- spec:carrier.markdown-authoring: Markdown authoring enters the one graph
- spec:carrier.markdown-parser: The Markdown parser reifies the ruled subset
- spec:decisions.envelope-grammar-posture: The Protocol owns the envelope grammar
- spec:model.relation-reasons: An authored relation may carry its reason
- spec:model.rule-keys: A rule or flow entry may carry a key that addresses it
- spec:validation.authored-honesty: Machine truth is never authored
- spec:carrier.envelope-contract constrainedBy spec:validation.authored-honesty · declared
- spec:carrier.envelope-contract decidedBy spec:decisions.envelope-grammar-posture · declared
- spec:carrier.envelope-contract dependsOn spec:model.relation-reasons · declared
- spec:carrier.envelope-contract dependsOn spec:model.rule-keys · declared
- spec:carrier.envelope-contract refines spec:carrier.markdown-authoring · declared
- spec:carrier.markdown-parser dependsOn spec:carrier.envelope-contract · declared
- spec:decisions.envelope-grammar-posture refines spec:carrier.envelope-contract · 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:carrier.markdown-authoring · stated ready, floor ready
- dependsOn · spec:model.relation-reasons · stated ready, floor ready
- dependsOn · spec:model.rule-keys · stated ready, floor ready
- constrainedBy · spec:validation.authored-honesty · stated ready, floor ready
- decidedBy · spec:decisions.envelope-grammar-posture · stated ready, floor ready
Rested on by
Distance 1
- spec:carrier.markdown-parser
Implementing units
impl:protocol.markdown-parser·src/extract/markdown.ts:37impl:protocol.static-reification·src/extract/reify.ts:2217
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-parser.bounded-parity, test:protocol.markdown-parser
Packs: pack:self-hosting-v1
- spec:decisions.envelope-grammar-posture
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
Distance 2
- 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:128impl:protocol.markdown-yaml-policy·src/extract/markdown-yaml-policy.ts:20impl:protocol.static-reification·src/extract/reify.ts:2217
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:validation.duplicate-ids
Implementing units
impl:protocol.duplicate-id-exclusion·src/extract/index.ts:98impl:protocol.duplicate-ids·src/validate/validators.ts:267
Referencing units
None.
Enabled verifiers: spec:validation.duplicate-ids.dual-carrier
Packs: pack:self-hosting-v1
Distance 3
- spec:carrier.gherkin-authoring
Implementing units
impl:protocol.gherkin-authoring·src/extract/gherkin.ts:1440impl: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.markdown-body-grammar
Implementing units
impl:protocol.markdown-body-grammar·src/extract/markdown-body.ts:126impl:protocol.markdown-content·src/extract/markdown-body-content.ts:12
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, test:protocol.markdown-body-grammar-regressions
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.prose-ownership-rule
Implementing units
impl:protocol.markdown-body-grammar·src/extract/markdown-body.ts:126
Referencing units
None.
Enabled verifiers: test:protocol.prose-ownership
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:263impl:protocol.slot-notation·src/notation/slots.ts:271
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.authoring-on-ramp
Implementing units
impl:protocol.authoring-on-ramp·test/skills.test.ts:77impl:protocol.spec-scaffolder·src/cli/new-spec-command.ts:358
Referencing units
None.
Enabled verifiers: test:protocol.authoring-on-ramp, test:protocol.spec-scaffolder
Packs: pack:self-hosting-v1
- 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:20impl:protocol.open-section-order·src/extract/serialize.ts:105impl:protocol.pack-coherence·src/validate/validators.ts:1106impl:protocol.pack-design-page·src/projections/design-review-pages.ts:121impl:protocol.pack-member-order·src/extract/derive.ts:153impl:protocol.reader·src/reader/reader.ts:713
Referencing units
None.
Enabled verifiers: spec:extraction.pack-member-order.manifest-order-kept, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
- 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
- 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
Distance 4
- 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.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.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:112impl:protocol.example-space-decoding·src/notation/example-space.ts:559impl:protocol.executable-contracts·src/codegen/contracts.ts:685impl: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.adopter-on-ramp
Implementing units
impl:protocol.adopter-help·src/cli/help.ts:171impl:protocol.adopter-on-ramp·test/skills.test.ts:713
Referencing units
None.
Enabled verifiers: test:protocol.adopter-on-ramp, test:protocol.shipped-protocol-corpus
Packs: pack:self-hosting-v1
- 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:559
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.delivery-session-on-ramp
Implementing units
impl:protocol.delivery-session-on-ramp·test/skills.test.ts:84
Referencing units
None.
Enabled verifiers: test:protocol.delivery-session-on-ramp
Packs: pack:self-hosting-v1
- spec:consumers.graph-first-planning
Implementing units
impl:protocol.graph-first-planning·test/skills.test.ts:291
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:525
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
- spec:consumers.shipped-protocol-corpus
Implementing units
impl:protocol.shipped-protocol-corpus·test/package-smoke.test.ts:277
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:282
Referencing units
None.
Enabled verifiers: test:protocol.studio-data
- 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.lenses.packs
Implementing units
impl:protocol.studio-index-page·src/projections/studio/pages/index-page.ts:18
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
- 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.validate-watch
Implementing units
impl:protocol.validate-watch·src/cli/validate-watch.ts:924
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.adopt-the-nouns
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.concept-docs-dissolve
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.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.plain-language-references
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:decisions.prose-ownership
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: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.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:1384impl:protocol.register-recipes·test/recipes.test.ts:2118impl: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:2217
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:protocol.capability-epics
Implementing units
impl:protocol.capability-epics·test/recipes.test.ts:8243
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 5
- 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.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.agent-surface.combination-coverage
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
- spec:consumers.agent-surface.design-recipes
Implementing units
impl:protocol.design-recipes·test/recipes.test.ts:4839
Referencing units
None.
Enabled verifiers: test:protocol.design-recipes
- 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
Implementing units
impl:protocol.adopter-help·src/cli/help.ts:171impl:protocol.agent-surface-cli·src/cli/sdp.ts:94impl:protocol.build-args·src/cli/build-args.ts:12impl: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.design-review.pack-design-page
Implementing units
impl:protocol.pack-design-page·src/projections/design-review-pages.ts:121
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
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.engine-provenance
Implementing units
impl:protocol.build-artifacts·src/cli/build-artifacts.ts:203impl: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:58
Referencing units
None.
Enabled verifiers: test:protocol.cli-write-boundaries, test:protocol.gherkin-view
Packs: pack:self-hosting-v1
- 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:46
Referencing units
None.
Enabled verifiers: spec: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:243
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes, spec:consumers.obsidian-vault.iteration.watch-source-anchor
- 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.review-perspectives
Implementing units
impl:protocol.perspective-filter-recipe·test/iteration-recipes.test.ts:758
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
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.components
Implementing units
component:protocol.studio-elements·src/studio-elements/index.ts:13impl:protocol.studio-compose·src/studio-elements/compose.ts:4impl: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:69impl:protocol.studio-scenario-editor·src/studio-elements/scenario-editor.ts:17impl:protocol.studio-search-results·src/studio-elements/search-results.ts:98impl:protocol.studio-spec-structure·src/projections/studio/pages/spec-structure.ts:44impl:protocol.studio-verification-panels·src/projections/studio/pages/spec-verification.ts:75
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:107impl: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.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:18
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:4impl:protocol.studio-frame·src/projections/studio/pages/frame.ts:6impl:protocol.studio-intent-panel·src/studio-elements/intent-panel.ts:65impl: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.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.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
Implementing units
impl:protocol.studio-pack-page·src/projections/studio/pages/pack-page.ts:69
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-priority, test:protocol.studio-pages
- spec:consumers.spec-studio.publisher
Implementing units
impl:protocol.build-pipeline-emit·src/cli/build-command.ts:285impl:protocol.studio-command·src/cli/studio-command.ts:107impl: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:123
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.publisher.watch.matches-plain-run
- 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.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:98
Referencing units
None.
Enabled verifiers: test:protocol.studio-concept-match, test:protocol.studio-page-elements, test:protocol.studio-pages
- 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
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:202impl: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:202
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
- 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:75
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.verification-panels.rule-coverage, test:protocol.studio-panels
- 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: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: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.pack-design-page
Implementing units
None.
Referencing units
impl:protocol.pack-design-page·src/projections/design-review-pages.ts:121
Enabled verifiers: None
- spec:decisions.question-key-rendering
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
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.contract-declarations
Implementing units
impl:protocol.pack-design·src/reader/reader.ts:525impl:protocol.register-recipes·test/recipes.test.ts:2118
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
- spec:extraction.entry-locations
Implementing units
impl:protocol.entry-location-recipes·test/recipes.test.ts:6049impl:protocol.entry-locations·src/extract/derive.ts:78impl:protocol.reader·src/reader/reader.ts:713
Referencing units
impl:protocol.pack-design·src/reader/reader.ts:525
Enabled verifiers: test:protocol.entry-locations
- spec:extraction.executable-contracts
Implementing units
impl:protocol.example-space·src/graph/example-space.ts:117impl:protocol.executable-contracts·src/codegen/contracts.ts:685
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:671component:protocol.testing·src/testing/index.ts:38impl:protocol.example-testing-helpers·src/testing/index.ts:50impl:protocol.runnable-modules·src/codegen/contracts.ts:696
Referencing units
None.
Enabled verifiers: test:protocol.runnable-modules, test:protocol.runnable-modules-generation, test:protocol.runnable-modules-types
- spec:model.design-maturity
Implementing units
impl:protocol.pack-design·src/reader/reader.ts:525
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
- spec:model.open-question-fields
Implementing units
impl:protocol.authoring-grammar-recipes·test/recipes.test.ts:6667impl: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: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:6667impl: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:6667impl:protocol.authoring-normalization·src/extract/authoring-normalization.ts:8impl:protocol.rule-exercises·src/validate/validators.ts:1493
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: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
- 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:78impl:protocol.validate-watch·src/cli/validate-watch.ts:924
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
Distance 6
- spec:consumers.agent-surface.address-and-cycle-recipes
Implementing units
impl:protocol.address-and-cycle-recipes·test/recipes.test.ts:3629
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.answer-shapes
Implementing units
impl:protocol.answer-shape-recipes·test/recipes.test.ts:6284
Referencing units
impl:protocol.authoring-grammar-recipes·test/recipes.test.ts:6667impl:protocol.reader·src/reader/reader.ts:713
Enabled verifiers: test:protocol.answer-shape-recipes
- spec:consumers.agent-surface.register-recipes
Implementing units
impl:protocol.register-recipes·test/recipes.test.ts:2118
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
- 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
Implementing units
impl:protocol.context-bundle-recipe·test/iteration-recipes.test.ts:770
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.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.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, test:protocol.cli-write-boundaries
Packs: pack:self-hosting-v1
- 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.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.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.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.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.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:18
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
- 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.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.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.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.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.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.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:69
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.export.self-contained, test:protocol.studio-intent-handoff
- 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.tests.coverage-row
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-tests-coverage-row
- 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:18
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.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.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:98impl: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.watch.matches-plain-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-watch-plain
- 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.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:9impl:protocol.studio-preview-workflow·test/studio-s4.test.ts:744impl:protocol.studio-stamp·src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.sharing.stamp-written-apart
- 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.cited-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-cited-declaration
- 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:1740
Referencing units
None.
Enabled verifiers: test:protocol.studio-on-ramp
- 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.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:consumers.vault-on-ramp
Implementing units
impl:protocol.vault-on-ramp·test/skills.test.ts:2074
Referencing units
None.
Enabled verifiers: test:protocol.vault-on-ramp
- 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: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:7078impl: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:extraction.example-runner
Implementing units
component:protocol.adapters·src/adapters/vitest.ts:23component:protocol.runner·src/runner/index.ts:103impl:protocol.example-runner·src/runner/index.ts:112impl: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.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.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: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
- spec:model.term-addresses
Implementing units
impl:protocol.address-and-cycle-recipes·test/recipes.test.ts:3629impl: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:1384impl:protocol.register-recipes·test/recipes.test.ts:2118impl: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.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
- spec:validation.prose-mentions
Implementing units
impl:protocol.entry-address-resolution·src/graph/entry-address.ts:6impl:protocol.prose-mentions·src/validate/validators.ts:1384
Referencing units
None.
Enabled verifiers: test:protocol.entry-locations, test:protocol.prose-mentions
Packs: pack:self-hosting-v1
- spec:validation.superseded-decision-signal
Implementing units
impl:protocol.superseded-decision-signal·src/validate/validators.ts:1837
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 7
- 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.binding-language-views
Implementing units
impl:protocol.binding-language-index-table·src/projections/design-review-pages.ts:202impl:protocol.binding-language-spec-page·src/projections/design-review-context.ts:101
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.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.derived-readiness-banner
Implementing units
impl:protocol.derived-readiness-banner·src/projections/design-review-context.ts:19
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
Implementing units
impl:protocol.proposal-schema-and-recipe·test/iteration-recipes.test.ts:1515impl: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.notes
Implementing units
impl:protocol.vault-notes·src/projections/vault/notes.ts:46impl: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.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.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.diff-page.changed-entry
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diff-changed-entry
- spec:consumers.spec-studio.export.self-contained
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-export-contained
- 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.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:285impl:protocol.wholesale-view-rewrite·src/cli/validate-view-command.ts:127
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, test:protocol.cli-write-boundaries
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.pack-reified
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
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.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: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:214impl:protocol.validate-summary·src/cli/validate-view-command.ts:22impl: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.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
- spec:validation.pack-coherence
Implementing units
impl:protocol.pack-coherence·src/validate/validators.ts:1106
Referencing units
None.
Enabled verifiers: spec:validation.pack-coherence.incoherent-aggregate
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 8
- 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:22impl:protocol.census-page-cli·src/cli/census-command.ts:58
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.intent-composition.proposal.memo
Implementing units
impl:protocol.proposal-memo-recipe·test/recipes.test.ts:7368impl:protocol.studio-proposal-memo·src/studio-elements/memo.ts:13
Referencing units
None.
Enabled verifiers: spec:consumers.intent-composition.proposal.memo.shared
- spec:consumers.mermaid-view
Implementing units
impl:protocol.mermaid-view·src/projections/mermaid.ts:14impl:protocol.mermaid-view-cli·src/cli/mermaid-command.ts:74
Referencing units
None.
Enabled verifiers: test:protocol.cli-write-boundaries, test:protocol.mermaid-view
Packs: pack:self-hosting-v1
- spec:consumers.obsidian-vault
Implementing units
impl:protocol.vault-command·src/cli/vault-command.ts:215impl:protocol.vault-notes·src/projections/vault/notes.ts:46impl: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.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.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: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
- 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
Distance 9
- spec:consumers.intent-composition.proposal.memo.shared
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-memo-shared
- 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.vault-owned-folder
Implementing units
None.
Referencing units
impl:protocol.vault-command·src/cli/vault-command.ts:215impl:protocol.vault-sync·src/projections/vault/sync.ts:98
Enabled verifiers: None
Relations
| Relation and direction | Other end | Claim | Reason | Exercised keys |
|---|---|---|---|---|
| constrainedBy · outgoing | Machine truth is never authoredspec:validation.authored-honesty · resolves | declared | None | None |
| decidedBy · outgoing | The Protocol owns the envelope grammarspec:decisions.envelope-grammar-posture · resolves | declared | None | None |
| dependsOn · outgoing | An authored relation may carry its reasonspec:model.relation-reasons · resolves | declared | None | None |
| dependsOn · outgoing | A rule or flow entry may carry a key that addresses itspec:model.rule-keys · resolves | declared | None | None |
| refines · outgoing | Markdown authoring enters the one graphspec:carrier.markdown-authoring · resolves | declared | None | None |
| dependsOn · incoming | The Markdown parser reifies the ruled subsetspec:carrier.markdown-parser · resolves | declared | None | None |
| refines · incoming | The Protocol owns the envelope grammarspec:decisions.envelope-grammar-posture · resolves | declared | None | None |
Bindings
Implementation binding: present
impl:protocol.envelope-contract· parses the bounded Markdown frontmatter envelope ·src/extract/markdown-frontmatter.ts:33· role codec · component component:protocol.extract· layer application · context protocolimpl:protocol.markdown-yaml-policy· bounded YAML scalars and relation-target forms ·src/extract/markdown-yaml-policy.ts:20· role codec · component component:protocol.extract· layer application · context protocol
Design reference: none
Verifier binding: present
- test:protocol.envelope-contract · frontmatter contract tests verify the Markdown envelope · anchored ·
test/markdown-reifier.test.ts:97· test anchor
Expected-outcome oracle: none
Runtime observation: not tracked.
Run results: not recorded in the graph.
Findings
None.
Composing (0)
Composing needs the script.