Architecture

• impl:protocol.example-runner-adapter: registers one test per example and owns the fresh world lifecycle, role adapter
• impl:protocol.typescript-imports: TypeScript file imports and barrel reach for external curation input, role adapter
• impl:protocol.example-runner: Outside component
• impl:protocol.example-runner-adapter uses impl:protocol.example-runner · anchored

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.adopter-help: SDP_HELP_TEXT indexes the shipped skills, recipe catalog, schema, walkthrough, glossary and specs/ by package-relative path, role projection
• impl:protocol.agent-surface-cli: CLI verb dispatcher and agent-surface front of the package CLI, role service
• impl:protocol.build-args: shared build arguments and corpus-rule inputs, role codec
• impl:protocol.build-artifacts: the build step that writes each catalog recipe to dist/recipes and records the build commit beside the CLI, role publisher
• impl:protocol.build-imports: opt-in imports publication in the build command, role publisher
• impl:protocol.build-pipeline-emit: stages build outputs, checks determinism and invalidates projections, role service
• impl:protocol.build-pipeline-query: runQuery reads one body, derives the graph once for the reader, raw graph and report, and prints the return or refuses on stderr, role service
• impl:protocol.census-page-cli: publishes the census through the explicit sdp census surface, role publisher
• impl:protocol.corpus-rule-runner: runs selected corpus rules and separates their failures, role service
• impl:protocol.corpus-rules: runs copied rule bodies after Protocol validation and composes the separate corpus report, output and exit, role service
• impl:protocol.diagnostic-rendering-cli: composes structured finding fields into the one command-line diagnostic form, role codec
• impl:protocol.engine-provenance-cli: prints sdp version and the commit parsed from the build-info file beside the compiled CLI, role projection
• impl:protocol.generate-command: prepares all prior roots before one shared build and publishes with each verb's checks, role publisher
• impl:protocol.gherkin-view-cli: publishes the Gherkin view through the explicit sdp gherkin surface, role publisher
• impl:protocol.mermaid-view-cli: publishes Mermaid through the explicit sdp mermaid surface, role publisher
• impl:protocol.parameter-codec: decodes recipe parameters and refuses duplicate keys, role codec
• impl:protocol.query-params: reads --params as JSON data and injects it as the sink's fourth binding, params, role service
• impl:protocol.sdp-import: plans, refuses, and publishes TypeScript-to-Markdown Spec imports, role service
• impl:protocol.sdp-import-publish: stages Markdown siblings and publishes them with atomic hard links, role publisher
• impl:protocol.sdp-import-scan: collects .sdp.ts paths and reports scan failures, role service
• impl:protocol.spec-scaffolder: scaffolds an honest idea-rung Markdown Spec through sdp new spec, role service
• impl:protocol.stamp-command: writes the publishing stamp without extraction or rendering, role publisher
• impl:protocol.studio-base-input: reads named Studio base graphs and run inputs, role codec
• impl:protocol.studio-command: validates and renders the Studio with independent byte checks and diagnostic exit codes, role publisher
• impl:protocol.studio-watch: awaits the plain Studio publication in each coalesced carrier-watch cycle, role service
• impl:protocol.validate-summary: prints validate's findings and its summary line, role codec
• impl:protocol.validate-watch: watches carrier directories and coalesces events into a pending validation rerun, role service
• impl:protocol.vault-command: validates after vault preflight and retains prior notes behind a failed-extraction index, role publisher
• impl:protocol.vault-watch: reuses the coalescing watcher with source suffixes and a synchronous vault cycle, role service
• impl:protocol.wholesale-view-rewrite: publishes each Design Review as one wholesale temporary-directory replacement, role publisher
• component:protocol.projections: Outside component
• impl:protocol.schema-version: Outside component
• impl:protocol.stamp-command uses impl:protocol.schema-version · anchored
• impl:protocol.vault-command uses component:protocol.projections · anchored

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.executable-contracts: derives step and example-space contracts from the graph, role projection
• impl:protocol.runnable-modules: derives and publishes runnable registrar modules from the graph, role projection

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.anchor-extraction: anchor reification seam: the constant form and the comment form, role extractor
• impl:protocol.authoring-normalization: normalizes rule markers and question fields after carrier reification, role codec
• impl:protocol.duplicate-id-exclusion: excludes duplicated carrier ids from the graph, role validator
• impl:protocol.entry-citation-scan: records prose-mention tokens with addresses in anchored source files, role extractor
• impl:protocol.entry-locations: builds the carrier entry location table, role extractor
• impl:protocol.envelope-contract: parses the bounded Markdown frontmatter envelope, role codec
• impl:protocol.exclusion-surface: strict root-relative exclusion input for both extraction surfaces, role contract
• impl:protocol.extract: extracts authored carriers and bindings into one graph, role extractor
• impl:protocol.gherkin-authoring: reifies Gherkin behavior and example authoring into the one carrier path, role extractor
• impl:protocol.inline-code-spans: scans raw HTML outside matched code spans, role codec
• impl:protocol.key-markers: normalizes step and term markers across the three carriers, role codec
• impl:protocol.markdown-body-grammar: maps Markdown body content to typed prose owners, role codec
• impl:protocol.markdown-content: decodes located Markdown entries and typed fences, role codec
• impl:protocol.markdown-pack-authoring: reifies the Markdown Pack manifest into the one carrier path, role extractor
• impl:protocol.markdown-parser: reifies Markdown Specs and Packs through one carrier boundary, role extractor
• impl:protocol.markdown-yaml-policy: bounded YAML scalars and relation-target forms, role codec
• impl:protocol.open-question-keys: reads an open question's optional key from its Markdown marker and refuses a bad or repeated key, role codec
• impl:protocol.open-section-order: preserves authored open-section and model-term order and Pack field order, role codec
• impl:protocol.pack-member-order: keeps manifest member order on the Pack node, role extractor
• impl:protocol.protocol-bindings: Protocol builder-import trust (protocolBindingScopeFor / collectProtocolBindings), role extractor
• impl:protocol.static-reification: reifies authored carriers from the AST and never evaluates them, role extractor
• impl:protocol.carrier-reification: reifies each canonical carrier surface into specs, packs, and findings, role extractor
• impl:protocol.derive-graph: derives the graph from reified carriers and bindings, role extractor
• impl:protocol.discover-files: realizes exclusion-aware discovery (normalizeExcludes / discoverFiles), role extractor
• impl:protocol.gherkin-kind-policy: shared Gherkin kind-refusal and loss explanations, role decider
• impl:protocol.delivery-facts: Outside component
• impl:protocol.derive-graph uses impl:protocol.delivery-facts · anchored
• impl:protocol.extract uses impl:protocol.carrier-reification · anchored
• impl:protocol.extract uses impl:protocol.derive-graph · anchored
• impl:protocol.extract uses impl:protocol.discover-files · anchored
• impl:protocol.gherkin-authoring uses impl:protocol.gherkin-kind-policy · anchored

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.delivery-facts: computes delivery facts from resolving binding edges, role decider
• impl:protocol.entry-address-resolution: resolves entry addresses for prose validation and citation readers, role reader
• impl:protocol.example-space: resolves example-space vocabulary for contracts and floors, role decider
• impl:protocol.oracle-target-eligibility: resolves oracle targets by example-space ownership across Spec kinds, role decider
• impl:protocol.schema-version: versioned graph nodes, claims, edges and located evidence, role contract

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.import-fidelity: refuses Markdown emission that changes authored meaning, role validator
• impl:protocol.sdp-import-core: converts a TypeScript-carrier Spec into an idiomatic Markdown twin, role service
• impl:protocol.sdp-import-markdown-emit: emits the Markdown document twin for an imported Spec, role codec

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.anchor-model: binding-only anchor model builders, role contract
• impl:protocol.anchors-subpath: zero-dependency subpath exporting the id and anchor builders only, role contract
• impl:protocol.pack-aggregate: Pack aggregate and model references, role contract
• impl:protocol.spec-descriptors: Spec kind, altitude, and readiness coordinates, role contract
• impl:protocol.spec-primitive: Spec envelope and enrich-in-place shape, role contract
• impl:protocol.spec-relations: declared Spec relation builders, role contract
• impl:protocol.spec-sections: typed Spec section shapes, role contract
• impl:protocol.stable-ids: stable ID grammar parser, role codec

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.slot-notation: parses slot groups and normalizes a step to its skeleton, role codec

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.binding-language-index-table: renders binding presence in index and Pack tables, role projection
• impl:protocol.binding-language-spec-page: renders implementation, verifier, oracle, and observation binding language, role projection
• impl:protocol.census-page: renders the derived census and runtime taxonomy projection, role projection
• impl:protocol.derived-readiness-banner: renders stated readiness beside the structural floor and dishonest divergence, role projection
• impl:protocol.design-review: renders the contextual Design Review projection, role projection
• impl:protocol.design-review-codec: shared Design Review Markdown paths and links, role codec
• impl:protocol.diagnostic-rendering-design-review: renders structured finding locations in the Design Review table, role projection
• impl:protocol.gherkin-view: renders a generated Gherkin-shaped READ projection of any Spec, role projection
• impl:protocol.mermaid-view: renders bounded Spec one-hop and Pack membership diagrams, role projection
• impl:protocol.pack-design-page: renders the Pack page from the Pack design, role projection
• impl:protocol.pack-design-sections: renders the Pack page's next-rung, boundary, question and code sections, role projection
• impl:protocol.projections-model: pure generated projection page contract, role contract
• impl:protocol.studio-architecture-diagrams: architecture grids and bounded context and layer folds, role projection
• impl:protocol.studio-architecture-lens: renders recipe component rows and planned designs as architecture and member diagrams, role projection
• impl:protocol.studio-capabilities-page: renders epic evidence, refinement and unreached Specs from the capability map, role projection
• impl:protocol.studio-capability-diagrams: places refinement occurrences and bounded branches from the capability map, role projection
• impl:protocol.studio-code-spans: escapes and maps code spans across Studio text, role codec
• impl:protocol.studio-data: assembles reader contexts, Pack totals, rails and search records for static pages, role contract
• impl:protocol.studio-diagram-layout: title-first box placement, wrapping and band sizing for desktop and phone, role projection
• impl:protocol.studio-diagram-model: shared diagram boxes, edges and drawing bounds, role contract
• impl:protocol.studio-diagram-routing: port, channel and overflow-rail edge routes around boxes and labels, role projection
• impl:protocol.studio-diagram-source: escaped Mermaid flowchart and mindmap source in placed box order, role projection
• impl:protocol.studio-diagrams: deterministic grid and band layouts with bounded folds and full text equivalents, role projection
• impl:protocol.studio-diff: renders declared design changes and binding changes separately, role projection
• impl:protocol.studio-evidence-lens: names the four evidence sources and what would bring each into the Studio, role projection
• impl:protocol.studio-frame: renders Studio navigation, page rails and composing controls, role projection
• impl:protocol.studio-glossary: renders Model terms with their entry-address links, role projection
• impl:protocol.studio-html: shared Studio HTML, source and link encoding, role codec
• impl:protocol.studio-index-page: renders Pack disclosures and filterable Spec rows, role projection
• impl:protocol.studio-inputs: named base graph and run input contract, role contract
• impl:protocol.studio-maturity-map: places resolved Pack members by their stated rung and floor in authored order, role projection
• impl:protocol.studio-owner-queue: renders waiting readiness statements and decider questions, role projection
• impl:protocol.studio-pack-export: copies rendered canvas content into one inline-styled document with prefixed element references, role projection
• impl:protocol.studio-pack-page: renders Pack members, maturity and boundary joins, role projection
• impl:protocol.studio-page-catalog: selects Studio pages, optional inputs and Pack exports, role projection
• impl:protocol.studio-paths: encodes uppercase id letters for collision-free Pack and Spec page paths, role codec
• impl:protocol.studio-publish: copies local assets and replaces the Studio directory through its temporary sibling, role publisher
• impl:protocol.studio-recipes: evaluates shipped recipe bodies once and shares answers between Studio pages, role service
• impl:protocol.studio-register-contracts: shared recipe answer shapes for Studio registers, role contract
• impl:protocol.studio-registers: renders question, decision, declaration and backlog registers, role projection
• impl:protocol.studio-relation-diagrams: relation and member bands and bounded relation folds, role projection
• impl:protocol.studio-requirement-diagram: folds requirement bindings by relation direction and claim and serializes exact relations, role projection
• impl:protocol.studio-requirement-view: selects Spec refiners, verifying examples and their recorded bindings, role projection
• impl:protocol.studio-roadmap-page: renders roadmap needs, holding parts and the shared Markdown memo, role projection
• impl:protocol.studio-run-rows: renders recipe 45 file rows shared by the runs page and verification panel, role projection
• impl:protocol.studio-runs-page: renders readable CTRF inputs, file results, unjoined records and diagnostics, role projection
• impl:protocol.studio-search-page: publishes search records beside the browser results view, role projection
• impl:protocol.studio-slice-answer: full design slice answer consumed by the page and drawings, role contract
• impl:protocol.studio-slice-architecture: selected component grid with distinct planned identities and complete unit edges, role projection
• impl:protocol.studio-slice-dependencies: supplied depth bands with protected boundary boxes and lossless text, role projection
• impl:protocol.studio-slice-page: design slice summaries, member needs, architecture comparisons and boundary tables, role projection
• impl:protocol.studio-spec-page: renders Spec intent, relations and realization bindings, role projection
• impl:protocol.studio-spec-structure: renders requirement and trace diagrams and the recorded structural neighborhood, role projection
• impl:protocol.studio-tests-lens: renders shared rule and example-space coverage with filters and verifier bindings, role projection
• impl:protocol.studio-text: escapes prose and links graph-resolving mentions, role codec
• impl:protocol.studio-unit-register: renders component source bindings and role-grouped recorded units, role projection
• impl:protocol.studio-verification-panels: renders rule coverage, example cards, constraint targets, verifiers and example-space coverage, role projection
• impl:protocol.vault-bases: serializes standing query predicates over reader properties as Obsidian Bases, role projection
• impl:protocol.vault-notes: renders reader contexts, declared relations and keyed terms as linked notes, role projection
• impl:protocol.vault-sections: renders sections in graph order with keyed entry block ids, role projection
• impl:protocol.vault-sync: guards every owned entry and records transitional hashes before atomic file replacement, role publisher
• impl:protocol.vault-text: renders checked mentions and escapes Obsidian syntax outside code spans, role codec
• api:protocol.evaluate-body: Outside component
• impl:protocol.gherkin-kind-policy: Outside component
• impl:protocol.reader: Outside component
• impl:protocol.gherkin-view uses impl:protocol.gherkin-kind-policy · anchored
• impl:protocol.studio-diagrams uses impl:protocol.studio-diagram-model · 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

• api:protocol.evaluate-body: evaluates bodies and shipped recipes over one in-memory reader, graph and report, role service
• impl:protocol.entry-citation-reader: resolves citations and joins file anchors with direct and example-based test verification, role reader
• impl:protocol.example-space-decoding: shared example-space interpretation for contracts and reader contexts, role codec
• impl:protocol.pack-design: the Pack design helpers and the Pack context assembly they serve, role reader
• impl:protocol.reader: typed graph queries, entry adapters and context joins, role reader
• impl:protocol.studio-concept-match: matches concepts deterministically across graph and browser queries, role reader
• impl:protocol.delivery-facts: Outside component
• impl:protocol.next-rung-floor: Outside component
• impl:protocol.reader uses impl:protocol.delivery-facts · anchored
• impl:protocol.reader uses impl:protocol.next-rung-floor · anchored

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.example-runner: plans and executes a bound example against the caller's world, role service

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.studio-compose: opens a native request dialog beside build-rendered scopes without changing their content, role interaction
• impl:protocol.studio-copy: copies text with selection fallback and failure feedback, role interaction
• impl:protocol.studio-diagram-element: adds view-box pan, zoom and pinch to build-rendered SVG without changing its layout, role interaction
• impl:protocol.studio-expander: opens fragment ancestors and expands disclosures for print, role interaction
• impl:protocol.studio-filter: filters build-rendered rows through their recorded attributes, role interaction
• impl:protocol.studio-intent-panel: gathers ordered intents under the page-root storage key and partitions their hand-off, role service
• impl:protocol.studio-intent-panel-element: displays gathered requests and writes copy selections or local download links, role interaction
• impl:protocol.studio-proposal-contract: browser proposal shape and schema checks, role contract
• impl:protocol.studio-proposal-memo: renders proposal fields verbatim with fences that outgrow their content, role projection
• impl:protocol.studio-scenario-editor: gathers the edited Given, When and Then as exact text scoped to its subject, role interaction
• impl:protocol.studio-search-form: routes search forms through page-root URLs and fragments, role interaction
• impl:protocol.studio-search-results: ranks and renders concept, entry and file search hits, role projection
• impl:protocol.studio-stamp: resolves published stamps and source links in the browser, role interaction

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.example-testing-helpers: adapter-lifecycle and oracle-comparison helpers for bound examples, role adapter

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

• impl:protocol.authored-honesty-delivery-facts: checks stated delivery facts equal the one recomputed derivation, role validator
• impl:protocol.authored-honesty-shape: refuses delivery facts smuggled through authored section carriers, role validator
• impl:protocol.claim-separation: checks graph claims, descriptors, node shapes, and relation endpoint contracts, role validator
• impl:protocol.duplicate-ids: rejects duplicate node identities from any graph producer, role validator
• impl:protocol.graph-index: builds the one-graph index validators and the reader share, role index
• impl:protocol.kind-evidence: defines the code-level per-kind evidence rows for readiness floors, role decider
• impl:protocol.next-rung-floor: evaluates the floor for a target rung and names the targets that break a dependency, role validator
• impl:protocol.oracle-linkage: resolves and de-duplicates expected-outcome oracle bindings, role validator
• impl:protocol.orphan-signal: surfaces relationless Specs as informative orphan warnings, role validator
• impl:protocol.pack-coherence: checks Pack membership agreement and uniqueness and model-reference kinds, role validator
• impl:protocol.prose-mentions: checks that prose mentions resolve and warns once per unbacked Spec pair, role validator
• impl:protocol.readiness-floor: evaluates the stated readiness floor against the graph, role validator
• impl:protocol.referential-integrity: checks every graph edge endpoint and Pack model reference resolves, role validator
• impl:protocol.rule-exercises: checks the keys named by declared verifies relations, role validator
• impl:protocol.structural-anchors: checks structural anchor validity and disjoint realization and reference targets, role validator
• impl:protocol.superseded-decision-signal: walks decision replacements to surface stale shaping relations, role validator
• impl:protocol.typed-dependency-floor: checks stated readiness across all four typed dependencies, role validator
• impl:protocol.unbound-example-posture: limits unbound example warnings to stated ready, role validator
• impl:protocol.validation-contracts: conformance/honesty family currency and finding shapes, role contract
• impl:protocol.validation-families: conformance and honesty validator registry, role contract
• impl:protocol.verifier-gap-signal: surfaces ready Specs without recomputed verifier bindings as informative gaps, role validator
• impl:protocol.verifier-semantics: readiness clauses over direct verification bindings, role validator
• impl:protocol.verifies-linkage: resolves declared example verification through enabled test bindings, role validator
• impl:protocol.delivery-facts: Outside component
• impl:protocol.authored-honesty-delivery-facts uses impl:protocol.delivery-facts · anchored

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.