Spec Studio

Design slice: An adopter at full speed

pack:adopter-speed-v1

Read the Pack member by member

The design as a whole

  • 59 members; 42 example members counted in their parents.
  • 58 relations among members; deepest depth 5; 0 cycles.
  • 0 members held below their stated next rung; 0 waiting only for their author.
  • 48 outside Specs the slice rests on; 0 hold a member; 36 outside Specs rest on it.
  • 14 components touched: 10 through members' code, 14 through what the slice rests on, 0 named by member designs; 0 outside components shown for context.
  • 0 member component designs; 0 realized; 0 of those match.
  • 8 decisions in scope; 0 state below ready.
  • 0 open questions; 0 blocking.

Members read with the ones others rest on first. The columns count the design each member carries beside its rung; they never judge whether it is enough. This page records no review and approves nothing.

How the members rest on each other

Declared relations by depth

Depths are structural, never phases, dates or priority. Dashed relations order nothing. The text keeps every member and original relation.

Shown as text: this drawing exceeds the height budget of 2000 pixels after folding.

The diagram as text
  • spec:consumers.agent-surface.evaluation-sink: The evaluation sink runs one body and prints its return, depth 1, stated ready, floor ready
  • spec:consumers.agent-surface.evaluation-sink.exported-evaluator: A script holding a graph runs a shipped recipe through the exported evaluator, depth 2, stated ready, floor ready; example folded into spec:consumers.agent-surface.evaluation-sink
  • spec:consumers.agent-surface.evaluation-sink.recipe-call: A body calls a shipped recipe and returns its answer unchanged, depth 2, stated ready, floor ready; example folded into spec:consumers.agent-surface.evaluation-sink
  • spec:consumers.agent-surface.evaluation-sink.unknown-recipe: A call to a recipe the catalog does not hold fails the body, depth 2, stated ready, floor ready; example folded into spec:consumers.agent-surface.evaluation-sink
  • spec:validation.corpus-rules: Corpus-authored rules run on the one validation path, depth 2, stated ready, floor ready
  • spec:validation.corpus-rules.params-edit-starts-a-cycle: Editing a parameter file starts a cycle that reads the new parameters, depth 3, stated ready, floor ready; example folded into spec:validation.corpus-rules
  • spec:validation.corpus-rules.rules-edit-starts-a-cycle: Rewriting a rules file under node_modules starts a cycle that runs the new body, depth 3, stated ready, floor ready; example folded into spec:validation.corpus-rules
  • spec:validation.corpus-rules.unreadable-params-fail-one-file: A parameter file that stops being JSON fails only its own rules file, and the watcher runs on, depth 3, stated ready, floor ready; example folded into spec:validation.corpus-rules
  • spec:consumers.validate-watch: Validation re-runs while an author edits carriers, depth 1, stated ready, floor ready
  • spec:consumers.agent-surface.address-and-cycle-recipes: Address resolution and dependency cycles stay executable graph recipes, depth 3, stated ready, floor ready
  • spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing: A dependency chain with no cycle yields no finding, depth 4, stated ready, floor ready; example folded into spec:consumers.agent-surface.address-and-cycle-recipes
  • spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run: The shipped dependency-cycles file fails a rules run on a cycle, depth 4, stated ready, floor ready; example folded into spec:consumers.agent-surface.address-and-cycle-recipes
  • spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run: The shipped address-resolution file fails a rules run on an address that names no entry, depth 4, stated ready, floor ready; example folded into spec:consumers.agent-surface.address-and-cycle-recipes
  • spec:validation.external-registers: A corpus checks the register tokens its prose cites, depth 3, stated ready, floor ready
  • spec:validation.external-registers.uncited-on-request: A held token no Spec cites fails a rules run only when the caller asks, depth 4, stated ready, floor ready; example folded into spec:validation.external-registers
  • spec:validation.external-registers.unknown-and-retired: A cited token the register lacks or retires fails a rules run, depth 4, stated ready, floor ready; example folded into spec:validation.external-registers
  • spec:consumers.command-line: Every verb answers --help, and one verb writes every projection root, depth 1, stated ready, floor ready
  • spec:consumers.command-line.generate-check-failure: A root that fails its check is removed while sdp generate writes the others, depth 2, stated ready, floor ready; example folded into spec:consumers.command-line
  • spec:consumers.command-line.generate-writes-every-root: One run of sdp generate leaves all five roots current, depth 2, stated ready, floor ready; example folded into spec:consumers.command-line
  • spec:consumers.command-line.verb-help-touches-nothing: A publisher's --help prints its help and touches no root, depth 2, stated ready, floor ready; example folded into spec:consumers.command-line
  • spec:carrier.step-keys: An example step may carry a key that survives rewording, depth 1, stated ready, floor ready
  • spec:carrier.step-keys.conflicting-example-key-withheld: An example marker that disagrees with its vocabulary withholds the contract, depth 2, stated ready, floor ready; example folded into spec:carrier.step-keys
  • spec:carrier.step-keys.gherkin-keyed-step-stays-bound: A keyed Gherkin step keeps its binding across a rewording, depth 2, stated ready, floor ready; example folded into spec:carrier.step-keys
  • spec:carrier.step-keys.key-equal-to-a-skeleton-withheld: A step key equal to another step's skeleton withholds the contract, depth 2, stated ready, floor ready; example folded into spec:carrier.step-keys
  • spec:carrier.step-keys.malformed-marker-refused: A step marker whose key is off the grammar refuses the carrier, depth 2, stated ready, floor ready; example folded into spec:carrier.step-keys
  • spec:carrier.step-keys.renamed-key-breaks: Renaming a step key breaks the binding, depth 2, stated ready, floor ready; example folded into spec:carrier.step-keys
  • spec:carrier.step-keys.repeated-key-refused: One key on two vocabulary steps refuses the carrier, depth 2, stated ready, floor ready; example folded into spec:carrier.step-keys
  • spec:carrier.step-keys.reworded-keyed-step-stays-bound: A keyed step reworded in its vocabulary and its example keeps its binding, depth 2, stated ready, floor ready; example folded into spec:carrier.step-keys
  • spec:carrier.step-keys.reworded-unkeyed-step-breaks: The same rewording without a key breaks the binding, depth 2, stated ready, floor ready; example folded into spec:carrier.step-keys
  • spec:carrier.step-keys.two-keys-on-one-step-refused: Two keys on one step refuse the carrier, depth 2, stated ready, floor ready; example folded into spec:carrier.step-keys
  • spec:carrier.step-keys.typescript-keyed-step-imports-keyed: A keyed TypeScript step keeps its key through import to Markdown, depth 2, stated ready, floor ready; example folded into spec:carrier.step-keys
  • spec:extraction.executable-contracts: The build derives step and space contracts from graph examples, depth 2, stated ready, floor ready
  • spec:extraction.runnable-modules: Derived runnable modules freeze the registrar interface, depth 3, stated ready, floor ready
  • spec:model.term-addresses: A Model term may carry a key that addresses it, depth 2, stated ready, floor ready
  • spec:model.term-addresses.keyed-term-resolves: A keyed term is reified and its address resolves, depth 3, stated ready, floor ready; example folded into spec:model.term-addresses
  • spec:model.term-addresses.malformed-term-marker-refused: A term marker whose key is off the grammar refuses its carrier, depth 3, stated ready, floor ready; example folded into spec:model.term-addresses
  • spec:model.term-addresses.repeated-term-key-refused: A term key repeated in one Spec refuses its carrier, depth 3, stated ready, floor ready; example folded into spec:model.term-addresses
  • spec:model.term-addresses.typescript-term-imports-keyed: A keyed TypeScript term keeps its address through import to Markdown, depth 3, stated ready, floor ready; example folded into spec:model.term-addresses
  • spec:model.term-addresses.unknown-term-key-refused: An address that names a term key no term carries is an error, depth 3, stated ready, floor ready; example folded into spec:model.term-addresses
  • spec:decisions.checked-mentions: A Spec id written in prose is a checked mention, depth 1, stated ready, floor ready
  • spec:extraction.entry-citations: The graph records where anchored source cites an entry address, depth 1, stated ready, floor ready
  • spec:extraction.entry-citations.code-comment-cites-declaration: A code file's comment cites a declaration without reading as a test line, depth 2, stated ready, floor ready; example folded into spec:extraction.entry-citations
  • spec:extraction.entry-citations.test-title-cites-declaration: A test title in an anchored file cites a pinned declaration, depth 2, stated ready, floor ready; example folded into spec:extraction.entry-citations
  • spec:extraction.entry-citations.unanchored-file-unread: A file that carries no anchor is not read for citations, depth 2, stated ready, floor ready; example folded into spec:extraction.entry-citations
  • spec:extraction.entry-citations.unresolved-citation: A citation of an entry its Spec lacks reports through the recipe, never as a Protocol finding, depth 2, stated ready, floor ready; example folded into spec:extraction.entry-citations
  • spec:consumers.context-bundle: A context bundle is composed per invocation within a stated budget, depth 1, stated ready, floor ready
  • spec:consumers.context-bundle.oversized-member-named: A member larger than the budget is named, and no part is returned, depth 2, stated ready, floor ready; example folded into spec:consumers.context-bundle
  • spec:consumers.context-bundle.parts-cover-the-pack: A Pack too large for one bundle reads whole in parts, depth 2, stated ready, floor ready; example folded into spec:consumers.context-bundle
  • spec:consumers.readiness-planner: The readiness planner orders the statements a person can make, depth 4, stated ready, floor ready
  • spec:consumers.readiness-planner.cycle-shares-a-round: Waiting Specs that rest on each other share a round and report a cycle, depth 5, stated ready, floor ready; example folded into spec:consumers.readiness-planner
  • spec:consumers.readiness-planner.decision-first: A waiting decision comes before the Spec it shapes, depth 5, stated ready, floor ready; example folded into spec:consumers.readiness-planner
  • spec:consumers.readiness-planner.dependency-order: The Spec another rests on comes first in the queue, depth 5, stated ready, floor ready; example folded into spec:consumers.readiness-planner
  • spec:consumers.readiness-planner.owner-question-holds: An owner's blocking question lists the Specs it holds, depth 5, stated ready, floor ready; example folded into spec:consumers.readiness-planner
  • spec:consumers.upgrade-kit: The upgrade kit shows a corpus what it could adopt, depth 1, stated ready, floor ready
  • spec:consumers.upgrade-kit.capability-adoption: Capability adoption counts where each capability is used and where it could apply, depth 3, stated ready, floor ready
  • spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus: Capability adoption counts keyed rules and reasoned relations, depth 4, stated ready, floor ready; example folded into spec:consumers.upgrade-kit.capability-adoption
  • spec:consumers.upgrade-kit.rule-key-proposal: The rule-key proposal keys every unkeyed rule as a change proposal, depth 2, stated ready, floor ready
  • spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable: Two rules that coin one key stay apart, and a rule with no ASCII word stays unkeyed, depth 3, stated ready, floor ready; example folded into spec:consumers.upgrade-kit.rule-key-proposal
  • spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean: A rule-key proposal passes the proposal check and validates once applied, depth 3, stated ready, floor ready; example folded into spec:consumers.upgrade-kit.rule-key-proposal
  • Outside this scope: spec:carrier.slot-notation: Slot notation declares, binds, and refuses to guess, stated ready, floor ready
  • Outside this scope: spec:consumers.adopter-on-ramp: An adopter learns graph homes, carrier grammar and shipped paths from the on-ramps, stated ready, floor ready
  • Outside this scope: spec:consumers.agent-surface: Agents script a visible typed graph, stated ready, floor ready
  • Outside this scope: spec:consumers.agent-surface.design-recipes: Design work reads its answers from catalog recipes, stated ready, floor ready
  • Outside this scope: spec:consumers.agent-surface.recipe-parameters: Recipes take parameters as data and ship as runnable files, stated ready, floor ready
  • Outside this scope: spec:consumers.agent-surface.register-recipes: Register questions stay executable graph recipes, stated ready, floor ready
  • Outside this scope: spec:consumers.authoring-on-ramp: Authors move one Spec from intent to reviewed evidence, stated ready, floor ready
  • Outside this scope: spec:consumers.capability-map: The capability map reads every epic and its refinement descendants, stated ready, floor ready
  • Outside this scope: spec:consumers.edit-model: Views compose scoped intent instead of patching canonical source, stated ready, floor ready
  • Outside this scope: spec:consumers.graph-first-planning: The next body of work is planned from the graph, not from a prose index, stated ready, floor ready
  • Outside this scope: spec:consumers.intent-composition: Composed intent hands off on one proposal shape, stated ready, floor ready
  • Outside this scope: spec:consumers.intent-composition.proposal: A change proposal is addressed, based and checked before it lands, stated ready, floor ready
  • Outside this scope: spec:consumers.projections-model: Projections fan out from one graph without becoming truth stores, stated ready, floor ready
  • Outside this scope: spec:consumers.review-perspectives: A Pack is read from a named perspective, stated ready, floor ready
  • Outside this scope: spec:consumers.roadmap: A roadmap orders the next bodies of work, and the graph says what each still needs, stated ready, floor ready
  • Outside this scope: spec:consumers.spec-studio.publisher: sdp studio publishes the Studio as one page set, stated ready, floor ready
  • Outside this scope: spec:consumers.wholesale-view-rewrite: Every view run rewrites the view wholesale, stated ready, floor ready
  • Outside this scope: spec:decisions.adopted-registrars-committed: Adopted runnable registrars are committed, stated ready, floor ready
  • Outside this scope: spec:decisions.agent-front-door: The agent front door is one evaluation sink over the exported reader, stated ready, floor ready
  • Outside this scope: spec:decisions.anchor-comment-form: The comment form is a second anchor representation, stated ready, floor ready
  • Outside this scope: spec:decisions.architectural-annotation: Architectural significance is annotated where it is realized, stated ready, floor ready
  • Outside this scope: spec:decisions.binding-not-liveness: Bindings state existence, not liveness, stated ready, floor ready
  • Outside this scope: spec:decisions.content-only-sections: Sections carry content while relations carry links, stated ready, floor ready
  • Outside this scope: spec:decisions.one-validation-path: Validation follows one graph, stated ready, floor ready
  • Outside this scope: spec:decisions.point-per-example: Each example binds one point, stated ready, floor ready
  • Outside this scope: spec:decisions.shipped-projections-frozen: The shipped projections stay frozen, stated ready, floor ready
  • Outside this scope: spec:extraction.build-pipeline: The build pipeline has one ordered flow, stated ready, floor ready
  • Outside this scope: spec:extraction.claim-taxonomy: Graph claims retain their epistemic source, stated ready, floor ready
  • Outside this scope: spec:extraction.contract-declarations: Pinned declarations give an adopter a derived module to typecheck, stated ready, floor ready
  • Outside this scope: spec:extraction.derive-graph: Carrier reification derives the one graph, stated ready, floor ready
  • Outside this scope: spec:extraction.determinism: Committed source derives byte-identical output, stated ready, floor ready
  • Outside this scope: spec:extraction.entry-locations: The graph records where each addressable entry is written, stated ready, floor ready
  • Outside this scope: spec:extraction.example-runner: A bound example runs its contract steps against a fresh world, stated ready, floor ready
  • Outside this scope: spec:extraction.excludes: Extraction exclusions are strict consumer input, stated ready, floor ready
  • Outside this scope: spec:extraction.executable-examples: Bound examples execute their authored steps, stated ready, floor ready
  • Outside this scope: spec:model.anchors: Source anchors bind code without carrying intent, stated ready, floor ready
  • Outside this scope: spec:model.open-question-fields: An open question may name who decides it, its links, a provisional reading and a re-entry trigger, stated ready, floor ready
  • Outside this scope: spec:model.open-question-keys: An open question may carry a key that addresses it, stated ready, floor ready
  • Outside this scope: spec:model.planned-architecture: Components are designed ahead of their code, stated ready, floor ready
  • Outside this scope: spec:model.relation-reasons: An authored relation may carry its reason, stated ready, floor ready
  • Outside this scope: spec:model.rule-keys: A rule or flow entry may carry a key that addresses it, stated ready, floor ready
  • Outside this scope: spec:model.spec-sections: Spec sections carry typed detail and direct verifier semantics, stated ready, floor ready
  • Outside this scope: spec:model.stable-ids: Stable IDs are the Protocol's durable join key, stated ready, floor ready
  • Outside this scope: spec:validation.diagnostic-rendering: One diagnostic currency, its location composed from structured fields, stated ready, floor ready
  • Outside this scope: spec:validation.next-rung-floor: The floor names what blocks the floor's next rung, stated ready, floor ready
  • Outside this scope: spec:validation.prose-mentions: Every Spec id written in prose resolves, stated ready, floor ready
  • Outside this scope: spec:validation.two-check-families: Validation separates well-formedness from non-pretending, stated ready, floor ready
  • Outside this scope: spec:validation.typed-dependency-floor: A ready Spec rests only on settled dependencies, stated ready, floor ready
  • spec:carrier.step-keys.conflicting-example-key-withheld refines spec:carrier.step-keys · declared
  • spec:carrier.step-keys.gherkin-keyed-step-stays-bound refines spec:carrier.step-keys · declared
  • spec:carrier.step-keys.key-equal-to-a-skeleton-withheld refines spec:carrier.step-keys · declared
  • spec:carrier.step-keys.malformed-marker-refused refines spec:carrier.step-keys · declared
  • spec:carrier.step-keys.renamed-key-breaks refines spec:carrier.step-keys · declared
  • spec:carrier.step-keys.repeated-key-refused refines spec:carrier.step-keys · declared
  • spec:carrier.step-keys.reworded-keyed-step-stays-bound refines spec:carrier.step-keys · declared
  • spec:carrier.step-keys.reworded-unkeyed-step-breaks refines spec:carrier.step-keys · declared
  • spec:carrier.step-keys.two-keys-on-one-step-refused refines spec:carrier.step-keys · declared
  • spec:carrier.step-keys.typescript-keyed-step-imports-keyed refines spec:carrier.step-keys · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes dependsOn spec:decisions.checked-mentions · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes dependsOn spec:model.term-addresses · declared — a term address resolves through the Spec's term keys
  • spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing refines spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run refines spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run refines spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.evaluation-sink.exported-evaluator refines spec:consumers.agent-surface.evaluation-sink · declared
  • spec:consumers.agent-surface.evaluation-sink.recipe-call refines spec:consumers.agent-surface.evaluation-sink · declared
  • spec:consumers.agent-surface.evaluation-sink.unknown-recipe refines spec:consumers.agent-surface.evaluation-sink · declared
  • spec:consumers.command-line.generate-check-failure refines spec:consumers.command-line · declared
  • spec:consumers.command-line.generate-writes-every-root refines spec:consumers.command-line · declared
  • spec:consumers.command-line.verb-help-touches-nothing refines spec:consumers.command-line · declared
  • spec:consumers.context-bundle.oversized-member-named refines spec:consumers.context-bundle · declared
  • spec:consumers.context-bundle.parts-cover-the-pack refines spec:consumers.context-bundle · declared
  • spec:consumers.readiness-planner dependsOn spec:consumers.agent-surface.address-and-cycle-recipes · declared — a cycle among waiting Specs reports in the shape dependency cycles reports
  • spec:consumers.readiness-planner.cycle-shares-a-round refines spec:consumers.readiness-planner · declared
  • spec:consumers.readiness-planner.decision-first refines spec:consumers.readiness-planner · declared
  • spec:consumers.readiness-planner.dependency-order refines spec:consumers.readiness-planner · declared
  • spec:consumers.readiness-planner.owner-question-holds refines spec:consumers.readiness-planner · declared
  • spec:consumers.upgrade-kit.capability-adoption dependsOn spec:carrier.step-keys · declared — step keys are counted where example steps are
  • spec:consumers.upgrade-kit.capability-adoption dependsOn spec:extraction.entry-citations · declared — a pinned declaration counts as cited when an anchored line cites it
  • spec:consumers.upgrade-kit.capability-adoption dependsOn spec:model.term-addresses · declared — term keys are counted where Model terms are
  • spec:consumers.upgrade-kit.capability-adoption refines spec:consumers.upgrade-kit · declared
  • spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus refines spec:consumers.upgrade-kit.capability-adoption · declared
  • spec:consumers.upgrade-kit.rule-key-proposal refines spec:consumers.upgrade-kit · declared
  • spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable refines spec:consumers.upgrade-kit.rule-key-proposal · declared
  • spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean refines spec:consumers.upgrade-kit.rule-key-proposal · declared
  • spec:extraction.entry-citations.code-comment-cites-declaration refines spec:extraction.entry-citations · declared
  • spec:extraction.entry-citations.test-title-cites-declaration refines spec:extraction.entry-citations · declared
  • spec:extraction.entry-citations.unanchored-file-unread refines spec:extraction.entry-citations · declared
  • spec:extraction.entry-citations.unresolved-citation refines spec:extraction.entry-citations · declared
  • spec:extraction.executable-contracts dependsOn spec:carrier.step-keys · declared — a keyed step's contract key is its step key
  • spec:extraction.runnable-modules dependsOn spec:carrier.step-keys · declared — the registrar binds each step under its contract key
  • spec:extraction.runnable-modules dependsOn spec:extraction.executable-contracts · declared
  • spec:model.term-addresses decidedBy spec:decisions.checked-mentions · declared — a term address joins the address law that decision rules
  • spec:model.term-addresses.keyed-term-resolves refines spec:model.term-addresses · declared
  • spec:model.term-addresses.malformed-term-marker-refused refines spec:model.term-addresses · declared
  • spec:model.term-addresses.repeated-term-key-refused refines spec:model.term-addresses · declared
  • spec:model.term-addresses.typescript-term-imports-keyed refines spec:model.term-addresses · declared
  • spec:model.term-addresses.unknown-term-key-refused refines spec:model.term-addresses · declared
  • spec:validation.corpus-rules dependsOn spec:consumers.agent-surface.evaluation-sink · declared — a rules file holds the body the sink evaluates, with the sink's bindings and trust
  • spec:validation.corpus-rules dependsOn spec:consumers.validate-watch · declared — the watch loop reruns the named rules in each cycle
  • spec:validation.corpus-rules.params-edit-starts-a-cycle refines spec:validation.corpus-rules · declared
  • spec:validation.corpus-rules.rules-edit-starts-a-cycle refines spec:validation.corpus-rules · declared
  • spec:validation.corpus-rules.unreadable-params-fail-one-file refines spec:validation.corpus-rules · declared
  • spec:validation.external-registers dependsOn spec:validation.corpus-rules · declared — the recipe answers with findings and runs as a rules file
  • spec:validation.external-registers refines spec:validation.corpus-rules · declared — external-register checks run as corpus-selected rules
  • spec:validation.external-registers.uncited-on-request refines spec:validation.external-registers · declared
  • spec:validation.external-registers.unknown-and-retired refines spec:validation.external-registers · declared
  • spec:carrier.step-keys refines spec:carrier.slot-notation · declared — a key joins the step text the notation reads, ahead of its slots
  • spec:consumers.command-line dependsOn spec:consumers.adopter-on-ramp · declared — a verb's help repeats the top-level help that names the shipped on-ramps
  • spec:consumers.agent-surface.evaluation-sink refines spec:consumers.agent-surface · declared
  • spec:validation.corpus-rules refines spec:consumers.agent-surface · declared — a corpus scripts the graph through the evaluation sink to report its own findings
  • spec:consumers.context-bundle refines spec:consumers.agent-surface · declared
  • spec:validation.corpus-rules dependsOn spec:consumers.agent-surface · declared
  • spec:consumers.context-bundle dependsOn spec:consumers.agent-surface.design-recipes · declared
  • spec:validation.corpus-rules dependsOn spec:consumers.agent-surface.recipe-parameters · declared — validate takes `--params` in the sink's grammar
  • spec:consumers.agent-surface.address-and-cycle-recipes dependsOn spec:consumers.agent-surface.recipe-parameters · declared — address resolution reads its addresses from params
  • spec:validation.external-registers dependsOn spec:consumers.agent-surface.recipe-parameters · declared — the register arrives as data through `--params register=@PATH`
  • spec:consumers.agent-surface.address-and-cycle-recipes refines spec:consumers.agent-surface.register-recipes · declared
  • spec:validation.external-registers dependsOn spec:consumers.agent-surface.register-recipes · declared — the recipe reads the strings entry search walks, with its entry paths and lines
  • spec:consumers.validate-watch refines spec:consumers.authoring-on-ramp · declared
  • spec:consumers.upgrade-kit refines spec:consumers.authoring-on-ramp · declared — the kit moves a whole corpus onto the capabilities the on-ramp teaches one Spec at a time
  • spec:consumers.upgrade-kit dependsOn spec:consumers.capability-map · declared — the guide teaches epic organization through the capability map
  • spec:consumers.upgrade-kit dependsOn spec:consumers.edit-model · declared — a carrier changes only through an agent's or a person's edit, recorded by git
  • spec:consumers.readiness-planner refines spec:consumers.graph-first-planning · declared — the planner is an advisory planning recipe that orders nothing the Protocol enforces
  • spec:consumers.upgrade-kit dependsOn spec:consumers.intent-composition · declared — a proposed upgrade hands off on the one change-proposal shape and is applied after its check
  • spec:consumers.upgrade-kit.rule-key-proposal dependsOn spec:consumers.intent-composition.proposal · declared — the recipe writes a change proposal in the shape the proposal check reads
  • spec:consumers.command-line refines spec:consumers.projections-model · declared — one verb publishes every projection root from one graph
  • spec:consumers.upgrade-kit.capability-adoption dependsOn spec:consumers.review-perspectives · declared — perspectives are counted from the objects the caller passes
  • spec:consumers.upgrade-kit dependsOn spec:consumers.roadmap · declared — the guide teaches advisory priority and the roadmap memo as planning records
  • spec:consumers.command-line dependsOn spec:consumers.spec-studio.publisher · declared — the Studio's page set is one of the roots the verb writes
  • spec:consumers.command-line dependsOn spec:consumers.wholesale-view-rewrite · declared — each root the verb writes is written and invalidated as every view run's is
  • spec:extraction.runnable-modules decidedBy spec:decisions.adopted-registrars-committed · declared
  • spec:consumers.agent-surface.evaluation-sink decidedBy spec:decisions.agent-front-door · declared
  • spec:consumers.context-bundle decidedBy spec:decisions.agent-front-door · declared
  • spec:extraction.runnable-modules decidedBy spec:decisions.anchor-comment-form · declared
  • spec:validation.corpus-rules decidedBy spec:decisions.architectural-annotation · declared — architecture checks remain the corpus's own rules
  • spec:extraction.runnable-modules decidedBy spec:decisions.binding-not-liveness · declared
  • spec:decisions.checked-mentions dependsOn spec:decisions.content-only-sections · declared
  • spec:consumers.validate-watch dependsOn spec:decisions.one-validation-path · declared
  • spec:extraction.executable-contracts decidedBy spec:decisions.point-per-example · declared
  • spec:extraction.runnable-modules decidedBy spec:decisions.point-per-example · declared
  • spec:consumers.command-line decidedBy spec:decisions.shipped-projections-frozen · declared — the verb writes the frozen roots unchanged and adds no projection of its own
  • spec:carrier.step-keys decidedBy spec:decisions.shipped-projections-frozen · declared — keys stay off the frozen projections, which read the step text unchanged
  • spec:model.term-addresses decidedBy spec:decisions.shipped-projections-frozen · declared — term keys stay off the frozen projections, which read the definition unchanged
  • spec:extraction.executable-contracts refines spec:extraction.build-pipeline · declared
  • spec:extraction.runnable-modules dependsOn spec:extraction.build-pipeline · declared — the build publishes the registrars and their manifest under its staged-publication law
  • spec:extraction.entry-citations dependsOn spec:extraction.claim-taxonomy · declared — every citation carries the inferred claim
  • spec:consumers.upgrade-kit.capability-adoption dependsOn spec:extraction.contract-declarations · declared — pinned declarations are counted where keyed Design entries are
  • spec:extraction.entry-citations refines spec:extraction.derive-graph · declared
  • spec:extraction.entry-citations constrainedBy spec:extraction.determinism · declared
  • spec:model.term-addresses dependsOn spec:extraction.entry-locations · declared — adds a row per Model term to the location table
  • spec:extraction.entry-citations dependsOn spec:extraction.entry-locations · declared — the citation table is the location table's sibling, and a resolving citation names an entry it locates
  • spec:consumers.upgrade-kit.rule-key-proposal dependsOn spec:extraction.entry-locations · declared — each change names the file and line the location table records for its entry
  • spec:extraction.runnable-modules refines spec:extraction.example-runner · declared
  • spec:consumers.validate-watch dependsOn spec:extraction.excludes · declared
  • spec:extraction.executable-contracts refines spec:extraction.executable-examples · declared — typed contracts carry the authored steps and example space into execution
  • spec:extraction.entry-citations dependsOn spec:model.anchors · declared — only a source file that carries an anchor is read for citations
  • spec:consumers.readiness-planner dependsOn spec:model.open-question-fields · declared — the owner's questions are selected by their decider field
  • spec:consumers.upgrade-kit.capability-adoption dependsOn spec:model.open-question-fields · declared — question keys and fields are counted where open questions are
  • spec:consumers.upgrade-kit.capability-adoption dependsOn spec:model.open-question-keys · declared — question keys are counted where open questions are
  • spec:consumers.upgrade-kit.capability-adoption dependsOn spec:model.planned-architecture · declared — component designs are selected by the convention that Spec states
  • spec:consumers.upgrade-kit.capability-adoption dependsOn spec:model.relation-reasons · declared — relation reasons are counted where authored relations are
  • spec:consumers.agent-surface.address-and-cycle-recipes dependsOn spec:model.rule-keys · declared — a rule address resolves through the Spec's rule keys
  • spec:model.term-addresses dependsOn spec:model.rule-keys · declared — the term-key design follows the rule-entry address pattern
  • spec:consumers.upgrade-kit.capability-adoption dependsOn spec:model.rule-keys · declared — rule keys and `exercises` are two of the capabilities it counts
  • spec:consumers.upgrade-kit.rule-key-proposal dependsOn spec:model.rule-keys · declared — a coined key follows the rule-key grammar and marker
  • spec:model.term-addresses refines spec:model.spec-sections · declared — extends entry addresses to the terms a Model section defines
  • spec:decisions.checked-mentions refines spec:model.stable-ids · declared
  • spec:model.term-addresses dependsOn spec:model.stable-ids · declared — a term address extends the Spec entry-address grammar
  • spec:validation.corpus-rules dependsOn spec:validation.diagnostic-rendering · declared — corpus findings use the shared diagnostic currency
  • spec:consumers.readiness-planner dependsOn spec:validation.next-rung-floor · declared — the rung each Spec's floor allows, and the targets that hold a rung, come from the one floor evaluator
  • spec:extraction.entry-citations dependsOn spec:validation.prose-mentions · declared — a citation is a token the prose-mention scan would read, and resolves by the same address rules
  • spec:validation.corpus-rules constrainedBy spec:validation.two-check-families · declared
  • spec:consumers.readiness-planner dependsOn spec:validation.typed-dependency-floor · declared — the order reads the four typed relations the ready floor reads

What each member needs next

MemberDepthRungNext rungDesign carriedCode
The evaluation sink runs one body and prints its return
spec:consumers.agent-surface.evaluation-sink
behavior
1ready floor ready10 rules, 5 keyed7 entries3 declarations0 questions1 decisions3 of 3 verifying examples bound2 implementing0 referencing
3 example members folded in
Validation re-runs while an author edits carriers
spec:consumers.validate-watch
behavior
1ready floor ready5 rules, 1 keyed0 entries0 declarations0 questions0 decisions0 of 0 verifying examples bound1 implementing0 referencing
Every verb answers --help, and one verb writes every projection root
spec:consumers.command-line
behavior
1ready floor ready6 rules, 6 keyed5 entries2 declarations0 questions1 decisions3 of 3 verifying examples bound4 implementing0 referencing
3 example members folded in
An example step may carry a key that survives rewording
spec:carrier.step-keys
rule
1ready floor ready12 rules, 8 keyed9 entries7 declarations0 questions1 decisions10 of 10 verifying examples bound7 implementing0 referencing
10 example members folded in
A Spec id written in prose is a checked mention
spec:decisions.checked-mentions
decision
1ready floor ready0 rules0 entries0 declarations0 questions0 decisions0 of 0 verifying examples bound0 implementing0 referencing
The graph records where anchored source cites an entry address
spec:extraction.entry-citations
behavior
1ready floor ready10 rules, 10 keyed8 entries7 declarations0 questions0 decisions4 of 4 verifying examples bound4 implementing0 referencing
4 example members folded in
A context bundle is composed per invocation within a stated budget
spec:consumers.context-bundle
behavior
1ready floor ready19 rules, 9 keyed17 entries7 declarations0 questions1 decisions2 of 2 verifying examples bound1 implementing0 referencing
2 example members folded in
The upgrade kit shows a corpus what it could adopt
spec:consumers.upgrade-kit
behavior
1ready floor ready4 rules, 4 keyed2 entries1 declarations0 questions0 decisions0 of 0 verifying examples bound1 implementing0 referencing
Corpus-authored rules run on the one validation path
spec:validation.corpus-rules
behavior
2ready floor ready16 rules, 10 keyed11 entries7 declarations0 questions1 decisions9 of 9 verifying examples bound3 implementing0 referencing
3 example members folded in
The build derives step and space contracts from graph examples
spec:extraction.executable-contracts
behavior
2ready floor ready12 rules, 6 keyed6 entries5 declarations0 questions1 decisions7 of 7 verifying examples bound2 implementing0 referencing
A Model term may carry a key that addresses it
spec:model.term-addresses
rule
2ready floor ready9 rules, 7 keyed10 entries7 declarations0 questions2 decisions5 of 5 verifying examples bound9 implementing0 referencing
5 example members folded in
The rule-key proposal keys every unkeyed rule as a change proposal
spec:consumers.upgrade-kit.rule-key-proposal
behavior
2ready floor ready6 rules, 6 keyed9 entries6 declarations0 questions0 decisions2 of 2 verifying examples bound1 implementing0 referencing
2 example members folded in
Address resolution and dependency cycles stay executable graph recipes
spec:consumers.agent-surface.address-and-cycle-recipes
behavior
3ready floor ready9 rules, 4 keyed4 entries3 declarations0 questions0 decisions3 of 3 verifying examples bound1 implementing0 referencing
3 example members folded in
A corpus checks the register tokens its prose cites
spec:validation.external-registers
behavior
3ready floor ready9 rules, 8 keyed8 entries7 declarations0 questions0 decisions2 of 2 verifying examples bound1 implementing0 referencing
2 example members folded in
Derived runnable modules freeze the registrar interface
spec:extraction.runnable-modules
behavior
3ready floor ready16 rules7 entries5 declarations0 questions4 decisions0 of 0 verifying examples bound4 implementing0 referencing
Capability adoption counts where each capability is used and where it could apply
spec:consumers.upgrade-kit.capability-adoption
behavior
3ready floor ready5 rules, 5 keyed6 entries4 declarations0 questions0 decisions1 of 1 verifying examples bound1 implementing0 referencing
1 example members folded in
The readiness planner orders the statements a person can make
spec:consumers.readiness-planner
behavior
4ready floor ready9 rules, 9 keyed6 entries4 declarations0 questions0 decisions4 of 4 verifying examples bound1 implementing0 referencing
4 example members folded in

The architecture it touches

Anchored components and member designs

Arrows: uses (anchored).

The diagram as text
  • component:protocol.adapters: external runtime and source adapters, anchored, layer adapter, context protocol; satisfies members none; references members none; code for rests on spec:extraction.example-runner, spec:extraction.executable-examples; member designs none
  • component:protocol.cli: entry points, shared build and publication, anchored, layer edge, context protocol; satisfies members spec:consumers.agent-surface.evaluation-sink, spec:validation.corpus-rules, spec:consumers.validate-watch, spec:consumers.command-line; references members none; code for rests on spec:consumers.adopter-on-ramp, spec:consumers.agent-surface, spec:consumers.agent-surface.recipe-parameters, spec:consumers.authoring-on-ramp, spec:consumers.spec-studio.publisher, spec:consumers.wholesale-view-rewrite, spec:extraction.build-pipeline, spec:extraction.determinism, spec:validation.diagnostic-rendering; member designs none
  • component:protocol.codegen: contracts and registrar output, anchored, layer application, context protocol; satisfies members spec:carrier.step-keys, spec:extraction.executable-contracts, spec:extraction.runnable-modules; references members none; code for rests on spec:extraction.executable-examples; member designs none
  • component:protocol.extract: the carrier and source pipeline, anchored, layer application, context protocol; satisfies members spec:carrier.step-keys, spec:model.term-addresses, spec:extraction.entry-citations; references members none; code for rests on spec:extraction.claim-taxonomy, spec:extraction.derive-graph, spec:extraction.determinism, spec:extraction.entry-locations, spec:extraction.excludes, spec:model.anchors, spec:model.open-question-fields, spec:model.open-question-keys, spec:model.relation-reasons, spec:model.rule-keys; member designs none
  • component:protocol.graph: the one graph and its semantic decisions, anchored, layer domain, context protocol; satisfies members spec:extraction.executable-contracts, spec:extraction.entry-citations; references members none; code for rests on spec:extraction.claim-taxonomy, spec:extraction.derive-graph, spec:extraction.executable-examples, spec:validation.prose-mentions; member designs none
  • component:protocol.import: canonical conversion with a fidelity boundary, anchored, layer application, context protocol; satisfies members spec:carrier.step-keys, spec:model.term-addresses; references members none; code for rests on spec:model.open-question-keys; member designs none
  • component:protocol.model: the authored contracts and stable ids, anchored, layer domain, context protocol; satisfies members spec:carrier.step-keys, spec:model.term-addresses; references members none; code for rests on spec:model.anchors, spec:model.open-question-keys, spec:model.spec-sections, spec:model.stable-ids; member designs none
  • component:protocol.notation: the leaf step codec, anchored, layer domain, context protocol; satisfies members none; references members none; code for rests on spec:carrier.slot-notation; member designs none
  • component:protocol.projections: read-only output, layout and owned publication, anchored, layer edge, context protocol; satisfies members none; references members none; code for rests on spec:consumers.projections-model, spec:consumers.spec-studio.publisher, spec:validation.diagnostic-rendering; member designs none
  • component:protocol.reader: the typed graph contract and body evaluator, anchored, layer application, context protocol; satisfies members spec:consumers.agent-surface.evaluation-sink, spec:carrier.step-keys, spec:extraction.entry-citations; references members none; code for rests on spec:consumers.agent-surface, spec:extraction.contract-declarations, spec:extraction.entry-locations, spec:validation.next-rung-floor; member designs none
  • component:protocol.runner: provider-neutral example execution, anchored, layer application, context protocol; satisfies members spec:carrier.step-keys; references members none; code for rests on spec:extraction.example-runner, spec:extraction.executable-examples; member designs none
  • component:protocol.studio-elements: optional browser behavior and proposal handoff, anchored, layer edge, context protocol; satisfies members none; references members none; code for rests on spec:consumers.intent-composition.proposal; member designs none
  • component:protocol.testing: the generated registrar runtime, anchored, layer adapter, context protocol; satisfies members spec:extraction.runnable-modules; references members none; code for rests on spec:extraction.executable-examples; member designs none
  • component:protocol.validate: one finding currency and ordered checks, anchored, layer domain, context protocol; satisfies members spec:model.term-addresses; references members none; code for rests on spec:model.anchors, spec:model.open-question-keys, spec:model.rule-keys, spec:model.spec-sections, spec:validation.diagnostic-rendering, spec:validation.next-rung-floor, spec:validation.prose-mentions, spec:validation.two-check-families, spec:validation.typed-dependency-floor; member designs none
  • component:protocol.adapters uses component:protocol.runner · anchored
  • impl:protocol.example-runner-adapter uses impl:protocol.example-runner · anchored
  • component:protocol.cli uses component:protocol.adapters · anchored
  • component:protocol.cli uses component:protocol.codegen · anchored
  • component:protocol.cli uses component:protocol.extract · anchored
  • component:protocol.cli uses component:protocol.graph · anchored
  • impl:protocol.stamp-command uses impl:protocol.schema-version · anchored
  • component:protocol.cli uses component:protocol.import · anchored
  • component:protocol.cli uses component:protocol.model · anchored
  • component:protocol.cli uses component:protocol.projections · anchored
  • impl:protocol.vault-command uses component:protocol.projections · anchored
  • component:protocol.cli uses component:protocol.reader · anchored
  • component:protocol.cli uses component:protocol.validate · anchored
  • component:protocol.codegen uses component:protocol.graph · anchored
  • component:protocol.codegen uses component:protocol.notation · anchored
  • component:protocol.codegen uses component:protocol.reader · anchored
  • component:protocol.codegen uses component:protocol.validate · anchored
  • component:protocol.extract uses component:protocol.graph · anchored
  • impl:protocol.derive-graph uses impl:protocol.delivery-facts · anchored
  • component:protocol.extract uses component:protocol.model · anchored
  • component:protocol.extract uses component:protocol.notation · anchored
  • component:protocol.extract uses component:protocol.validate · anchored
  • component:protocol.graph uses component:protocol.model · anchored
  • component:protocol.graph uses component:protocol.notation · anchored
  • component:protocol.import uses component:protocol.extract · anchored
  • component:protocol.import uses component:protocol.notation · anchored
  • component:protocol.import uses component:protocol.validate · anchored
  • component:protocol.projections uses component:protocol.extract · anchored
  • impl:protocol.gherkin-view uses impl:protocol.gherkin-kind-policy · anchored
  • component:protocol.projections uses component:protocol.graph · anchored
  • component:protocol.projections uses component:protocol.model · anchored
  • component:protocol.projections uses component:protocol.notation · anchored
  • component:protocol.projections uses component:protocol.reader · anchored
  • impl:protocol.studio-recipes uses api:protocol.evaluate-body · anchored
  • impl:protocol.studio-recipes uses impl:protocol.reader · anchored
  • impl:protocol.vault-notes uses impl:protocol.reader · anchored
  • component:protocol.projections uses component:protocol.validate · anchored
  • component:protocol.reader uses component:protocol.graph · anchored
  • impl:protocol.reader uses impl:protocol.delivery-facts · anchored
  • component:protocol.reader uses component:protocol.model · anchored
  • component:protocol.reader uses component:protocol.notation · anchored
  • component:protocol.reader uses component:protocol.validate · anchored
  • impl:protocol.reader uses impl:protocol.next-rung-floor · anchored
  • component:protocol.runner uses component:protocol.notation · anchored
  • component:protocol.studio-elements uses component:protocol.projections · anchored
  • component:protocol.studio-elements uses component:protocol.reader · anchored
  • component:protocol.testing uses component:protocol.adapters · anchored
  • component:protocol.testing uses component:protocol.runner · anchored
  • component:protocol.validate uses component:protocol.graph · anchored
  • impl:protocol.authored-honesty-delivery-facts uses impl:protocol.delivery-facts · anchored
  • component:protocol.validate uses component:protocol.model · anchored
  • component:protocol.validate uses component:protocol.notation · anchored
  • impl:protocol.address-and-cycle-recipes implements spec:consumers.agent-surface.address-and-cycle-recipes; no component
  • impl:protocol.external-registers-recipe implements spec:validation.external-registers; no component
  • impl:protocol.address-and-cycle-recipes implements spec:model.term-addresses; no component
  • impl:protocol.register-recipes implements spec:model.term-addresses; no component
  • impl:protocol.entry-citation-recipe implements spec:extraction.entry-citations; no component
  • impl:protocol.context-bundle-recipe implements spec:consumers.context-bundle; no component
  • impl:protocol.statement-queue-recipe implements spec:consumers.readiness-planner; no component
  • impl:protocol.upgrade-guide implements spec:consumers.upgrade-kit; no component
  • impl:protocol.capability-adoption-recipe implements spec:consumers.upgrade-kit.capability-adoption; no component
  • impl:protocol.rule-key-proposal-recipe implements spec:consumers.upgrade-kit.rule-key-proposal; no component
Mermaid source

Copyable source; the Studio draws static SVG.

Chosen syntax: block, with anchored component boxes and uses arrows.

Components the slice touches

ComponentLayer and contextReached through
component:protocol.adapters
external runtime and source adapters
adapter · protocolMembers its code satisfies: noneMembers its code references: noneWhat the slice rests on, realized here: spec:extraction.example-runner, spec:extraction.executable-examplesMember designs naming it: none
component:protocol.cli
entry points, shared build and publication
edge · protocolMembers its code satisfies: The evaluation sink runs one body and prints its return, Corpus-authored rules run on the one validation path, Validation re-runs while an author edits carriers, Every verb answers --help, and one verb writes every projection rootMembers its code references: noneWhat the slice rests on, realized here: spec:consumers.adopter-on-ramp, spec:consumers.agent-surface, spec:consumers.agent-surface.recipe-parameters, spec:consumers.authoring-on-ramp, spec:consumers.spec-studio.publisher, spec:consumers.wholesale-view-rewrite, spec:extraction.build-pipeline, spec:extraction.determinism, spec:validation.diagnostic-renderingMember designs naming it: none
component:protocol.codegen
contracts and registrar output
application · protocolMembers its code satisfies: An example step may carry a key that survives rewording, The build derives step and space contracts from graph examples, Derived runnable modules freeze the registrar interfaceMembers its code references: noneWhat the slice rests on, realized here: spec:extraction.executable-examplesMember designs naming it: none
component:protocol.extract
the carrier and source pipeline
application · protocolMembers its code satisfies: An example step may carry a key that survives rewording, A Model term may carry a key that addresses it, The graph records where anchored source cites an entry addressMembers its code references: noneWhat the slice rests on, realized here: spec:extraction.claim-taxonomy, spec:extraction.derive-graph, spec:extraction.determinism, spec:extraction.entry-locations, spec:extraction.excludes, spec:model.anchors, spec:model.open-question-fields, spec:model.open-question-keys, spec:model.relation-reasons, spec:model.rule-keysMember designs naming it: none
component:protocol.graph
the one graph and its semantic decisions
domain · protocolMembers its code satisfies: The build derives step and space contracts from graph examples, The graph records where anchored source cites an entry addressMembers its code references: noneWhat the slice rests on, realized here: spec:extraction.claim-taxonomy, spec:extraction.derive-graph, spec:extraction.executable-examples, spec:validation.prose-mentionsMember designs naming it: none
component:protocol.import
canonical conversion with a fidelity boundary
application · protocolMembers its code satisfies: An example step may carry a key that survives rewording, A Model term may carry a key that addresses itMembers its code references: noneWhat the slice rests on, realized here: spec:model.open-question-keysMember designs naming it: none
component:protocol.model
the authored contracts and stable ids
domain · protocolMembers its code satisfies: An example step may carry a key that survives rewording, A Model term may carry a key that addresses itMembers its code references: noneWhat the slice rests on, realized here: spec:model.anchors, spec:model.open-question-keys, spec:model.spec-sections, spec:model.stable-idsMember designs naming it: none
component:protocol.notation
the leaf step codec
domain · protocolMembers its code satisfies: noneMembers its code references: noneWhat the slice rests on, realized here: spec:carrier.slot-notationMember designs naming it: none
component:protocol.projections
read-only output, layout and owned publication
edge · protocolMembers its code satisfies: noneMembers its code references: noneWhat the slice rests on, realized here: spec:consumers.projections-model, spec:consumers.spec-studio.publisher, spec:validation.diagnostic-renderingMember designs naming it: none
component:protocol.reader
the typed graph contract and body evaluator
application · protocolMembers its code satisfies: The evaluation sink runs one body and prints its return, An example step may carry a key that survives rewording, The graph records where anchored source cites an entry addressMembers its code references: noneWhat the slice rests on, realized here: spec:consumers.agent-surface, spec:extraction.contract-declarations, spec:extraction.entry-locations, spec:validation.next-rung-floorMember designs naming it: none
component:protocol.runner
provider-neutral example execution
application · protocolMembers its code satisfies: An example step may carry a key that survives rewordingMembers its code references: noneWhat the slice rests on, realized here: spec:extraction.example-runner, spec:extraction.executable-examplesMember designs naming it: none
component:protocol.studio-elements
optional browser behavior and proposal handoff
edge · protocolMembers its code satisfies: noneMembers its code references: noneWhat the slice rests on, realized here: spec:consumers.intent-composition.proposalMember designs naming it: none
component:protocol.testing
the generated registrar runtime
adapter · protocolMembers its code satisfies: Derived runnable modules freeze the registrar interfaceMembers its code references: noneWhat the slice rests on, realized here: spec:extraction.executable-examplesMember designs naming it: none
component:protocol.validate
one finding currency and ordered checks
domain · protocolMembers its code satisfies: A Model term may carry a key that addresses itMembers its code references: noneWhat the slice rests on, realized here: spec:model.anchors, spec:model.open-question-keys, spec:model.rule-keys, spec:model.spec-sections, spec:validation.diagnostic-rendering, spec:validation.next-rung-floor, spec:validation.prose-mentions, spec:validation.two-check-families, spec:validation.typed-dependency-floorMember designs naming it: none

Member component designs

None.

Outside the slice, shown for context and not counted as touched

None.

Units bound to a member and to no component

Decisions in scope

DecisionRungIn the sliceShapesQuestions
Adopted runnable registrars are committed
spec:decisions.adopted-registrars-committed
ready floor readyoutsideDerived runnable modules freeze the registrar interface0 open, 0 blocking
The agent front door is one evaluation sink over the exported reader
spec:decisions.agent-front-door
ready floor readyoutsideThe evaluation sink runs one body and prints its return, A context bundle is composed per invocation within a stated budget0 open, 0 blocking
The comment form is a second anchor representation
spec:decisions.anchor-comment-form
ready floor readyoutsideDerived runnable modules freeze the registrar interface0 open, 0 blocking
Architectural significance is annotated where it is realized
spec:decisions.architectural-annotation
refines spec:decisions.shipped-projections-frozen
ready floor readyoutsideCorpus-authored rules run on the one validation path0 open, 0 blocking
Bindings state existence, not liveness
spec:decisions.binding-not-liveness
ready floor readyoutsideDerived runnable modules freeze the registrar interface0 open, 0 blocking
A Spec id written in prose is a checked mention
spec:decisions.checked-mentions
ready floor readymemberA Model term may carry a key that addresses it0 open, 0 blocking
Each example binds one point
spec:decisions.point-per-example
ready floor readyoutsideThe build derives step and space contracts from graph examples, Derived runnable modules freeze the registrar interface0 open, 0 blocking
The shipped projections stay frozen
spec:decisions.shipped-projections-frozen
ready floor readyoutsideEvery verb answers --help, and one verb writes every projection root, An example step may carry a key that survives rewording, A Model term may carry a key that addresses it0 open, 0 blocking

Open questions in scope

None.

Where the slice meets the rest

Rests on (48)
SpecRungImplementation bindingJoined membersHolds
Slot notation declares, binds, and refuses to guess
spec:carrier.slot-notation
ready floor readypresentrefines: An example step may carry a key that survives rewordingnone
An adopter learns graph homes, carrier grammar and shipped paths from the on-ramps
spec:consumers.adopter-on-ramp
ready floor readypresentdependsOn: Every verb answers --help, and one verb writes every projection rootnone
Agents script a visible typed graph
spec:consumers.agent-surface
ready floor readypresentrefines: The evaluation sink runs one body and prints its return, Corpus-authored rules run on the one validation path, A context bundle is composed per invocation within a stated budgetdependsOn: Corpus-authored rules run on the one validation pathnone
Design work reads its answers from catalog recipes
spec:consumers.agent-surface.design-recipes
ready floor readypresentdependsOn: A context bundle is composed per invocation within a stated budgetnone
Recipes take parameters as data and ship as runnable files
spec:consumers.agent-surface.recipe-parameters
ready floor readypresentdependsOn: Corpus-authored rules run on the one validation path, Address resolution and dependency cycles stay executable graph recipes, A corpus checks the register tokens its prose citesnone
Register questions stay executable graph recipes
spec:consumers.agent-surface.register-recipes
ready floor readypresentrefines: Address resolution and dependency cycles stay executable graph recipesdependsOn: A corpus checks the register tokens its prose citesnone
Authors move one Spec from intent to reviewed evidence
spec:consumers.authoring-on-ramp
ready floor readypresentrefines: Validation re-runs while an author edits carriers, The upgrade kit shows a corpus what it could adoptnone
The capability map reads every epic and its refinement descendants
spec:consumers.capability-map
ready floor readypresentdependsOn: The upgrade kit shows a corpus what it could adoptnone
Views compose scoped intent instead of patching canonical source
spec:consumers.edit-model
ready floor readynonedependsOn: The upgrade kit shows a corpus what it could adoptnone
The next body of work is planned from the graph, not from a prose index
spec:consumers.graph-first-planning
ready floor readypresentrefines: The readiness planner orders the statements a person can makenone
Composed intent hands off on one proposal shape
spec:consumers.intent-composition
ready floor readynonedependsOn: The upgrade kit shows a corpus what it could adoptnone
A change proposal is addressed, based and checked before it lands
spec:consumers.intent-composition.proposal
ready floor readypresentdependsOn: The rule-key proposal keys every unkeyed rule as a change proposalnone
Projections fan out from one graph without becoming truth stores
spec:consumers.projections-model
ready floor readypresentrefines: Every verb answers --help, and one verb writes every projection rootnone
A Pack is read from a named perspective
spec:consumers.review-perspectives
ready floor readypresentdependsOn: Capability adoption counts where each capability is used and where it could applynone
A roadmap orders the next bodies of work, and the graph says what each still needs
spec:consumers.roadmap
ready floor readypresentdependsOn: The upgrade kit shows a corpus what it could adoptnone
`sdp studio` publishes the Studio as one page set
spec:consumers.spec-studio.publisher
ready floor readypresentdependsOn: Every verb answers --help, and one verb writes every projection rootnone
Every view run rewrites the view wholesale
spec:consumers.wholesale-view-rewrite
ready floor readypresentdependsOn: Every verb answers --help, and one verb writes every projection rootnone
Adopted runnable registrars are committed
spec:decisions.adopted-registrars-committed
ready floor readynonedecidedBy: Derived runnable modules freeze the registrar interfacenone
The agent front door is one evaluation sink over the exported reader
spec:decisions.agent-front-door
ready floor readynonedecidedBy: The evaluation sink runs one body and prints its return, A context bundle is composed per invocation within a stated budgetnone
The comment form is a second anchor representation
spec:decisions.anchor-comment-form
ready floor readynonedecidedBy: Derived runnable modules freeze the registrar interfacenone
Architectural significance is annotated where it is realized
spec:decisions.architectural-annotation
ready floor readynonedecidedBy: Corpus-authored rules run on the one validation pathnone
Bindings state existence, not liveness
spec:decisions.binding-not-liveness
ready floor readynonedecidedBy: Derived runnable modules freeze the registrar interfacenone
Sections carry content while relations carry links
spec:decisions.content-only-sections
ready floor readynonedependsOn: A Spec id written in prose is a checked mentionnone
Validation follows one graph
spec:decisions.one-validation-path
ready floor readynonedependsOn: Validation re-runs while an author edits carriersnone
Each example binds one point
spec:decisions.point-per-example
ready floor readynonedecidedBy: The build derives step and space contracts from graph examples, Derived runnable modules freeze the registrar interfacenone
The shipped projections stay frozen
spec:decisions.shipped-projections-frozen
ready floor readynonedecidedBy: Every verb answers --help, and one verb writes every projection root, An example step may carry a key that survives rewording, A Model term may carry a key that addresses itnone
The build pipeline has one ordered flow
spec:extraction.build-pipeline
ready floor readypresentrefines: The build derives step and space contracts from graph examplesdependsOn: Derived runnable modules freeze the registrar interfacenone
Graph claims retain their epistemic source
spec:extraction.claim-taxonomy
ready floor readypresentdependsOn: The graph records where anchored source cites an entry addressnone
Pinned declarations give an adopter a derived module to typecheck
spec:extraction.contract-declarations
ready floor readypresentdependsOn: Capability adoption counts where each capability is used and where it could applynone
Carrier reification derives the one graph
spec:extraction.derive-graph
ready floor readypresentrefines: The graph records where anchored source cites an entry addressnone
Committed source derives byte-identical output
spec:extraction.determinism
ready floor readypresentconstrainedBy: The graph records where anchored source cites an entry addressnone
The graph records where each addressable entry is written
spec:extraction.entry-locations
ready floor readypresentdependsOn: A Model term may carry a key that addresses it, The graph records where anchored source cites an entry address, The rule-key proposal keys every unkeyed rule as a change proposalnone
A bound example runs its contract steps against a fresh world
spec:extraction.example-runner
ready floor readypresentrefines: Derived runnable modules freeze the registrar interfacenone
Extraction exclusions are strict consumer input
spec:extraction.excludes
ready floor readypresentdependsOn: Validation re-runs while an author edits carriersnone
Bound examples execute their authored steps
spec:extraction.executable-examples
ready floor readypresentrefines: The build derives step and space contracts from graph examplesnone
Source anchors bind code without carrying intent
spec:model.anchors
ready floor readypresentdependsOn: The graph records where anchored source cites an entry addressnone
An open question may name who decides it, its links, a provisional reading and a re-entry trigger
spec:model.open-question-fields
ready floor readypresentdependsOn: The readiness planner orders the statements a person can make, Capability adoption counts where each capability is used and where it could applynone
An open question may carry a key that addresses it
spec:model.open-question-keys
ready floor readypresentdependsOn: Capability adoption counts where each capability is used and where it could applynone
Components are designed ahead of their code
spec:model.planned-architecture
ready floor readypresentdependsOn: Capability adoption counts where each capability is used and where it could applynone
An authored relation may carry its reason
spec:model.relation-reasons
ready floor readypresentdependsOn: Capability adoption counts where each capability is used and where it could applynone
A rule or flow entry may carry a key that addresses it
spec:model.rule-keys
ready floor readypresentdependsOn: Address resolution and dependency cycles stay executable graph recipes, A Model term may carry a key that addresses it, Capability adoption counts where each capability is used and where it could apply, The rule-key proposal keys every unkeyed rule as a change proposalnone
Spec sections carry typed detail and direct verifier semantics
spec:model.spec-sections
ready floor readypresentrefines: A Model term may carry a key that addresses itnone
Stable IDs are the Protocol's durable join key
spec:model.stable-ids
ready floor readypresentrefines: A Spec id written in prose is a checked mentiondependsOn: A Model term may carry a key that addresses itnone
One diagnostic currency, its location composed from structured fields
spec:validation.diagnostic-rendering
ready floor readypresentdependsOn: Corpus-authored rules run on the one validation pathnone
The floor names what blocks the floor's next rung
spec:validation.next-rung-floor
ready floor readypresentdependsOn: The readiness planner orders the statements a person can makenone
Every Spec id written in prose resolves
spec:validation.prose-mentions
ready floor readypresentdependsOn: The graph records where anchored source cites an entry addressnone
Validation separates well-formedness from non-pretending
spec:validation.two-check-families
ready floor readypresentconstrainedBy: Corpus-authored rules run on the one validation pathnone
A ready Spec rests only on settled dependencies
spec:validation.typed-dependency-floor
ready floor readypresentdependsOn: The readiness planner orders the statements a person can makenone
Rested on by (36)
SpecRungImplementation bindingJoined membersHolds
Gherkin authoring enters the one graph
spec:carrier.gherkin-authoring
ready floor readypresentdependsOn: An example step may carry a key that survives rewordingnone
The Markdown body accepts one closed form per section
spec:carrier.markdown-body-grammar
ready floor readypresentdependsOn: An example step may carry a key that survives rewording, A Model term may carry a key that addresses itnone
Recipe answers fit an agent's context and explain their misses
spec:consumers.agent-surface.answer-shapes
ready floor readypresentdependsOn: The evaluation sink runs one body and prints its returnnone
Example spaces report which values their examples cover
spec:consumers.agent-surface.example-space-coverage
ready floor readypresentdependsOn: The build derives step and space contracts from graph examplesnone
Register questions stay executable graph recipes
spec:consumers.agent-surface.register-recipes
ready floor readypresentdependsOn: A Model term may carry a key that addresses itnone
Delivery sessions route work from current graph state
spec:consumers.delivery-session-on-ramp
ready floor readypresentdependsOn: A context bundle is composed per invocation within a stated budgetnone
A slice reads a Pack as one design, with the architecture it touches and what each member needs next
spec:consumers.design-slice
ready floor readypresentdependsOn: A context bundle is composed per invocation within a stated budget, The readiness planner orders the statements a person can makenone
The CLI names the engine that produced a result
spec:consumers.engine-provenance
ready floor readypresentrefines: Every verb answers --help, and one verb writes every projection rootnone
A change proposal is addressed, based and checked before it lands
spec:consumers.intent-composition.proposal
ready floor readypresentdependsOn: Address resolution and dependency cycles stay executable graph recipesnone
A design pass is followed and answered from the vault
spec:consumers.obsidian-vault.iteration
ready floor readypresentdependsOn: Validation re-runs while an author edits carriersnone
Every Spec, Pack, code unit and keyed term is a note, and every relation is a link
spec:consumers.obsidian-vault.notes
ready floor readypresentdependsOn: A Model term may carry a key that addresses itnone
A roadmap orders the next bodies of work, and the graph says what each still needs
spec:consumers.roadmap
ready floor readypresentdependsOn: The readiness planner orders the statements a person can makenone
A pinned declaration shows the words of each test line that cites it
spec:consumers.spec-studio.cited-line-text
scoped floor scopednonedependsOn: The graph records where anchored source cites an entry addressnone
A page takes each recipe answer from the recipe's shipped body
spec:consumers.spec-studio.data.recipe-answers
ready floor readypresentdependsOn: The evaluation sink runs one body and prints its returnnone
The glossary page lists every term the corpus's Specs define
spec:consumers.spec-studio.glossary-page
ready floor readypresentdependsOn: A Model term may carry a key that addresses itnone
The owner queue page orders the statements and questions only a person can settle
spec:consumers.spec-studio.owner-queue
ready floor readypresentdependsOn: The readiness planner orders the statements a person can makenone
`sdp studio --watch` rebuilds the page set on each carrier change
spec:consumers.spec-studio.publisher.watch
ready floor readypresentdependsOn: Validation re-runs while an author edits carriersnone
An outside register is a named Studio input, so a cited token links to its entry
spec:consumers.spec-studio.register-input
scoped floor scopednonedependsOn: A corpus checks the register tokens its prose citesnone
The corpus's registers are pages a reviewer opens from a link
spec:consumers.spec-studio.registers
ready floor readypresentdependsOn: The graph records where anchored source cites an entry addressnone
A Spec page shows one Spec in collapsible panels, in a fixed order
spec:consumers.spec-studio.spec-page
ready floor readypresentdependsOn: A Model term may carry a key that addresses it, The graph records where anchored source cites an entry addressnone
The panels for examples, targets, verifiers and evidence
spec:consumers.spec-studio.verification-panels
ready floor readypresentdependsOn: The build derives step and space contracts from graph examplesnone
Adopted runnable registrars are committed
spec:decisions.adopted-registrars-committed
ready floor readynonerefines: Derived runnable modules freeze the registrar interfacenone
Pinned declarations give an adopter a derived module to typecheck
spec:extraction.contract-declarations
ready floor readypresentrefines: The build derives step and space contracts from graph examplesnone
A bound example runs its contract steps against a fresh world
spec:extraction.example-runner
ready floor readypresentdependsOn: The build derives step and space contracts from graph examplesnone
A case-only path collision withholds the whole contracts tree
spec:extraction.executable-contracts.case-colliding-path
ready floor readynonerefines: The build derives step and space contracts from graph examplesnone
An unbound slot in a used step earns no step contract
spec:extraction.executable-contracts.concreteness-refusal
ready floor readynonerefines: The build derives step and space contracts from graph examplesnone
A second structured entry is named, never left silently inert
spec:extraction.executable-contracts.multi-entry-example
ready floor readynonerefines: The build derives step and space contracts from graph examplesnone
An open question may carry a key that addresses it
spec:model.open-question-keys
ready floor readypresentdecidedBy: A Spec id written in prose is a checked mentionnone
A rule or flow entry may carry a key that addresses it
spec:model.rule-keys
ready floor readypresentdecidedBy: A Spec id written in prose is a checked mentionnone
Stable IDs are the Protocol's durable join key
spec:model.stable-ids
ready floor readypresentdecidedBy: A Spec id written in prose is a checked mentionnone
Declared architecture rules are checked against anchored structure
spec:validation.architecture-constraints
ready floor readypresentrefines: Corpus-authored rules run on the one validation pathdependsOn: Corpus-authored rules run on the one validation pathnone
A rules file that empties its graph leaves the next file's graph whole
spec:validation.corpus-rules.copies-contain-changes
ready floor readynonerefines: Corpus-authored rules run on the one validation pathnone
An error from a corpus rule fails validation and leaves the Protocol's line alone
spec:validation.corpus-rules.error-finding-fails
ready floor readynonerefines: Corpus-authored rules run on the one validation pathnone
A finding with no subject fails its rules file
spec:validation.corpus-rules.malformed-finding-fails
ready floor readynonerefines: Corpus-authored rules run on the one validation pathnone
A warning from a corpus rule informs and passes
spec:validation.corpus-rules.warning-finding-informs
ready floor readynonerefines: Corpus-authored rules run on the one validation pathnone
Every Spec id written in prose resolves
spec:validation.prose-mentions
ready floor readypresentdependsOn: A Model term may carry a key that addresses itdecidedBy: A Spec id written in prose is a checked mentionnone
Verified by (7)
SpecRungImplementation bindingJoined membersHolds
A case-only path collision withholds the whole contracts tree
spec:extraction.executable-contracts.case-colliding-path
ready floor readynoneverifies: The build derives step and space contracts from graph examplesnone
An unbound slot in a used step earns no step contract
spec:extraction.executable-contracts.concreteness-refusal
ready floor readynoneverifies: The build derives step and space contracts from graph examplesnone
A second structured entry is named, never left silently inert
spec:extraction.executable-contracts.multi-entry-example
ready floor readynoneverifies: The build derives step and space contracts from graph examplesnone
A rules file that empties its graph leaves the next file's graph whole
spec:validation.corpus-rules.copies-contain-changes
ready floor readynoneverifies: Corpus-authored rules run on the one validation pathnone
An error from a corpus rule fails validation and leaves the Protocol's line alone
spec:validation.corpus-rules.error-finding-fails
ready floor readynoneverifies: Corpus-authored rules run on the one validation pathnone
A finding with no subject fails its rules file
spec:validation.corpus-rules.malformed-finding-fails
ready floor readynoneverifies: Corpus-authored rules run on the one validation pathnone
A warning from a corpus rule informs and passes
spec:validation.corpus-rules.warning-finding-informs
ready floor readynoneverifies: Corpus-authored rules run on the one validation pathnone
Superseded by (0)

None.

Composing (0)

Composing needs the script.