Design slice: Corpus checks
pack:corpus-checks-v1Read the Pack member by member
The design as a whole
- 16 members; 13 example members counted in their parents.
- 15 relations among members; deepest depth 3; 0 cycles.
- 0 members held below their stated next rung; 0 waiting only for their author.
- 9 outside Specs the slice rests on; 0 hold a member; 6 outside Specs rest on it.
- 6 components touched: 1 through members' code, 6 through what the slice rests on, 0 named by member designs; 6 outside components shown for context.
- 0 member component designs; 0 realized; 0 of those match.
- 1 decision 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
Depths are structural, never phases, dates or priority. Dashed relations order nothing. The text keeps every member and original relation.
The diagram as text
- spec:validation.corpus-rules: Corpus-authored rules run on the one validation path, depth 1, stated ready, floor ready
- spec:validation.corpus-rules.error-finding-fails: An error from a corpus rule fails validation and leaves the Protocol's line alone, depth 2, stated ready, floor ready; example folded into spec:validation.corpus-rules
- spec:validation.corpus-rules.warning-finding-informs: A warning from a corpus rule informs and passes, depth 2, stated ready, floor ready; example folded into spec:validation.corpus-rules
- spec:validation.corpus-rules.malformed-finding-fails: A finding with no subject fails its rules file, depth 2, stated ready, floor ready; example folded into spec:validation.corpus-rules
- spec:validation.corpus-rules.copies-contain-changes: A rules file that empties its graph leaves the next file's graph whole, depth 2, 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 2, stated ready, floor ready; example folded into spec:validation.corpus-rules
- spec:validation.corpus-rules.params-edit-starts-a-cycle: Editing a parameter file starts a cycle that reads the new parameters, depth 2, 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 2, stated ready, floor ready; example folded into spec:validation.corpus-rules
- spec:validation.architecture-constraints: Declared architecture rules are checked against anchored structure, depth 2, stated ready, floor ready
- spec:validation.architecture-constraints.forbidden-layer-pair: A domain member that uses an infrastructure member breaks a forbidden pair, depth 3, stated ready, floor ready; example folded into spec:validation.architecture-constraints
- spec:validation.architecture-constraints.isolated-context-as-rule: The walk named as a rules file fails validation on an isolation breach, depth 3, stated ready, floor ready; example folded into spec:validation.architecture-constraints
- spec:validation.architecture-constraints.unstated-layer-unclassified: A component with no layer leaves its edge unclassified, depth 3, stated ready, floor ready; example folded into spec:validation.architecture-constraints
- spec:model.planned-architecture: Components are designed ahead of their code, depth 1, stated ready, floor ready
- spec:model.planned-architecture.unrealized-design: A component design no anchor satisfies is listed as unrealized, depth 2, stated ready, floor ready; example folded into spec:model.planned-architecture
- spec:model.planned-architecture.differing-layer-and-uses: A realized component that differs from its design gives one row per field, depth 2, stated ready, floor ready; example folded into spec:model.planned-architecture
- spec:model.planned-architecture.matching-design: A realized component that matches its design gives no row, depth 2, stated ready, floor ready; example folded into spec:model.planned-architecture
- Outside this scope: spec:consumers.agent-surface: Agents script a visible typed graph, stated ready, floor ready
- Outside this scope: spec:consumers.agent-surface.evaluation-sink: The evaluation sink runs one body and prints its return, 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.validate-watch: Validation re-runs while an author edits carriers, 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:model.anchors: Source anchors bind code without carrying intent, stated ready, floor ready
- Outside this scope: spec:model.core-model: The Protocol models delivery with one enrichable Spec, 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.two-check-families: Validation separates well-formedness from non-pretending, stated ready, floor ready
- spec:model.planned-architecture.differing-layer-and-uses refines spec:model.planned-architecture · declared
- spec:model.planned-architecture.matching-design refines spec:model.planned-architecture · declared
- spec:model.planned-architecture.unrealized-design refines spec:model.planned-architecture · declared
- spec:validation.architecture-constraints dependsOn spec:validation.corpus-rules · declared
- spec:validation.architecture-constraints refines spec:validation.corpus-rules · declared — the architecture walk is a corpus-selected rule over anchored structure
- spec:validation.architecture-constraints.forbidden-layer-pair refines spec:validation.architecture-constraints · declared
- spec:validation.architecture-constraints.isolated-context-as-rule refines spec:validation.architecture-constraints · declared
- spec:validation.architecture-constraints.unstated-layer-unclassified refines spec:validation.architecture-constraints · declared
- spec:validation.corpus-rules.copies-contain-changes refines spec:validation.corpus-rules · declared
- spec:validation.corpus-rules.error-finding-fails refines spec:validation.corpus-rules · declared
- spec:validation.corpus-rules.malformed-finding-fails refines spec:validation.corpus-rules · declared
- 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.corpus-rules.warning-finding-informs refines spec:validation.corpus-rules · 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:validation.corpus-rules dependsOn spec:consumers.agent-surface · 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.agent-surface.recipe-parameters · declared — validate takes `--params` in the sink's grammar
- spec:validation.corpus-rules dependsOn spec:consumers.validate-watch · declared — the watch loop reruns the named rules in each cycle
- spec:validation.corpus-rules decidedBy spec:decisions.architectural-annotation · declared — architecture checks remain the corpus's own rules
- spec:validation.architecture-constraints decidedBy spec:decisions.architectural-annotation · declared
- spec:model.planned-architecture decidedBy spec:decisions.architectural-annotation · declared
- spec:validation.architecture-constraints dependsOn spec:model.anchors · declared
- spec:model.planned-architecture dependsOn spec:model.anchors · declared — a planned component is realized by a component anchor that satisfies its design
- spec:model.planned-architecture refines spec:model.core-model · declared — planned components enrich Specs before code binds them
- spec:validation.corpus-rules dependsOn spec:validation.diagnostic-rendering · declared — corpus findings use the shared diagnostic currency
- spec:validation.corpus-rules constrainedBy spec:validation.two-check-families · declared
Mermaid source
Copyable source; the Studio draws static SVG. See the full text equivalent for every original relation and folded member.
Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.
What each member needs next
| Member | Depth | Rung | Next rung | Design carried | Code |
|---|---|---|---|---|---|
Corpus-authored rules run on the one validation pathspec:validation.corpus-rulesbehavior | 1 | ready floor ready | 16 rules, 10 keyed11 entries7 declarations0 questions1 decisions9 of 9 verifying examples bound | 3 implementing0 referencing | |
7 example members folded in
| |||||
Components are designed ahead of their codespec:model.planned-architecturemodel | 1 | ready floor ready | 0 rules6 entries1 declarations0 questions1 decisions3 of 3 verifying examples bound | 1 implementing1 referencing | |
3 example members folded in
| |||||
Declared architecture rules are checked against anchored structurespec:validation.architecture-constraintsrule | 2 | ready floor ready | 8 rules, 4 keyed6 entries3 declarations0 questions1 decisions3 of 3 verifying examples bound | 1 implementing0 referencing | |
3 example members folded in
| |||||
The architecture it touches
Arrows: uses (anchored).
The diagram as text
- component:protocol.cli: entry points, shared build and publication, anchored, layer edge, context protocol; satisfies members spec:validation.corpus-rules; references members none; code for rests on spec:consumers.agent-surface, spec:consumers.agent-surface.evaluation-sink, spec:consumers.agent-surface.recipe-parameters, spec:consumers.validate-watch, spec:validation.diagnostic-rendering; member designs none
- component:protocol.extract: the carrier and source pipeline, anchored, layer application, context protocol; satisfies members none; references members none; code for rests on spec:model.anchors; member designs none
- component:protocol.model: the authored contracts and stable ids, anchored, layer domain, context protocol; satisfies members none; references members none; code for rests on spec:model.anchors, spec:model.core-model; 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:validation.diagnostic-rendering; member designs none
- component:protocol.reader: the typed graph contract and body evaluator, anchored, layer application, context protocol; satisfies members none; references members none; code for rests on spec:consumers.agent-surface, spec:consumers.agent-surface.evaluation-sink; member designs none
- component:protocol.validate: one finding currency and ordered checks, anchored, layer domain, context protocol; satisfies members none; references members none; code for rests on spec:model.anchors, spec:validation.diagnostic-rendering, spec:validation.two-check-families; member designs none
- component:protocol.adapters: external runtime and source adapters, outside scope, anchored, layer adapter, context protocol
- component:protocol.codegen: contracts and registrar output, outside scope, anchored, layer application, context protocol
- component:protocol.graph: the one graph and its semantic decisions, outside scope, anchored, layer domain, context protocol
- component:protocol.import: canonical conversion with a fidelity boundary, outside scope, anchored, layer application, context protocol
- component:protocol.notation: the leaf step codec, outside scope, anchored, layer domain, context protocol
- component:protocol.studio-elements: optional browser behavior and proposal handoff, outside scope, anchored, layer edge, context protocol
- 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.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.import uses component:protocol.extract · 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.studio-elements uses component:protocol.projections · anchored
- component:protocol.studio-elements uses component:protocol.reader · 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.architecture-walk-recipe implements spec:validation.architecture-constraints; no component
- impl:protocol.planned-components-recipe implements spec:model.planned-architecture; no component
- impl:protocol.curation-recipe references spec:model.planned-architecture; no component
Mermaid source
Copyable source; the Studio draws static SVG.
Preferred syntax: block; flowchart fallback because block cannot carry edge claims and counts.
Components the slice touches
| Component | Layer and context | Reached through |
|---|---|---|
component:protocol.clientry points, shared build and publication | edge · protocol | Members its code satisfies: Corpus-authored rules run on the one validation pathMembers its code references: noneWhat the slice rests on, realized here: spec:consumers.agent-surface, spec:consumers.agent-surface.evaluation-sink, spec:consumers.agent-surface.recipe-parameters, spec:consumers.validate-watch, spec:validation.diagnostic-renderingMember designs naming it: none |
component:protocol.extractthe carrier and source pipeline | application · protocol | Members its code satisfies: noneMembers its code references: noneWhat the slice rests on, realized here: spec:model.anchorsMember designs naming it: none |
component:protocol.modelthe authored contracts and stable ids | domain · protocol | Members its code satisfies: noneMembers its code references: noneWhat the slice rests on, realized here: spec:model.anchors, spec:model.core-modelMember designs naming it: none |
component:protocol.projectionsread-only output, layout and owned publication | edge · protocol | Members its code satisfies: noneMembers its code references: noneWhat the slice rests on, realized here: spec:validation.diagnostic-renderingMember designs naming it: none |
component:protocol.readerthe typed graph contract and body evaluator | application · protocol | Members its code satisfies: noneMembers its code references: noneWhat the slice rests on, realized here: spec:consumers.agent-surface, spec:consumers.agent-surface.evaluation-sinkMember designs naming it: none |
component:protocol.validateone finding currency and ordered checks | domain · protocol | Members its code satisfies: noneMembers its code references: noneWhat the slice rests on, realized here: spec:model.anchors, spec:validation.diagnostic-rendering, spec:validation.two-check-familiesMember designs naming it: none |
Member component designs
None.
Outside the slice, shown for context and not counted as touched
component:protocol.adapters· external runtime and source adapters · anchored · a touched component uses itcomponent:protocol.codegen· contracts and registrar output · anchored · a touched component uses it; it uses a touched componentcomponent:protocol.graph· the one graph and its semantic decisions · anchored · a touched component uses it; it uses a touched componentcomponent:protocol.import· canonical conversion with a fidelity boundary · anchored · a touched component uses it; it uses a touched componentcomponent:protocol.notation· the leaf step codec · anchored · a touched component uses itcomponent:protocol.studio-elements· optional browser behavior and proposal handoff · anchored · it uses a touched component
Units bound to a member and to no component
impl:protocol.architecture-walk-recipeimplements Declared architecture rules are checked against anchored structureimpl:protocol.planned-components-recipeimplements Components are designed ahead of their codeimpl:protocol.curation-recipereferences Components are designed ahead of their code
Decisions in scope
| Decision | Rung | In the slice | Shapes | Questions |
|---|---|---|---|---|
Architectural significance is annotated where it is realizedspec:decisions.architectural-annotationrefines spec:decisions.shipped-projections-frozen | ready floor ready | outside | Corpus-authored rules run on the one validation path, Declared architecture rules are checked against anchored structure, Components are designed ahead of their code | 0 open, 0 blocking |
Open questions in scope
None.
Where the slice meets the rest
Rests on (9)
Rested on by (6)
Verified by (2)
| Spec | Rung | Implementation binding | Joined members | Holds |
|---|---|---|---|---|
The shipped dependency-cycles file fails a rules run on a cyclespec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run | ready floor ready | none | verifies: Corpus-authored rules run on the one validation path | none |
The shipped address-resolution file fails a rules run on an address that names no entryspec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run | ready floor ready | none | verifies: Corpus-authored rules run on the one validation path | none |
Superseded by (0)
None.
Composing (0)
Composing needs the script.