Spec Studio

Design slice: Corpus checks

pack:corpus-checks-v1

Read 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

Declared relations by depth

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

MemberDepthRungNext rungDesign carriedCode
Corpus-authored rules run on the one validation path
spec:validation.corpus-rules
behavior
1ready floor ready16 rules, 10 keyed11 entries7 declarations0 questions1 decisions9 of 9 verifying examples bound3 implementing0 referencing
7 example members folded in
Components are designed ahead of their code
spec:model.planned-architecture
model
1ready floor ready0 rules6 entries1 declarations0 questions1 decisions3 of 3 verifying examples bound1 implementing1 referencing
3 example members folded in
Declared architecture rules are checked against anchored structure
spec:validation.architecture-constraints
rule
2ready floor ready8 rules, 4 keyed6 entries3 declarations0 questions1 decisions3 of 3 verifying examples bound1 implementing0 referencing
3 example members folded in

The architecture it touches

Anchored components and member designs

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

ComponentLayer and contextReached through
component:protocol.cli
entry points, shared build and publication
edge · protocolMembers 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.extract
the carrier and source pipeline
application · protocolMembers its code satisfies: noneMembers its code references: noneWhat the slice rests on, realized here: spec:model.anchorsMember designs naming it: none
component:protocol.model
the authored contracts and stable ids
domain · protocolMembers 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.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:validation.diagnostic-renderingMember designs naming it: none
component:protocol.reader
the typed graph contract and body evaluator
application · protocolMembers 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.validate
one finding currency and ordered checks
domain · protocolMembers 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

Units bound to a member and to no component

Decisions in scope

Open questions in scope

None.

Where the slice meets the rest

Rests on (9)
SpecRungImplementation bindingJoined membersHolds
Agents script a visible typed graph
spec:consumers.agent-surface
ready floor readypresentrefines: Corpus-authored rules run on the one validation pathdependsOn: Corpus-authored rules run on the one validation pathnone
The evaluation sink runs one body and prints its return
spec:consumers.agent-surface.evaluation-sink
ready floor readypresentdependsOn: Corpus-authored rules run on the one validation pathnone
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 pathnone
Validation re-runs while an author edits carriers
spec:consumers.validate-watch
ready floor readypresentdependsOn: Corpus-authored rules run on the one validation pathnone
Architectural significance is annotated where it is realized
spec:decisions.architectural-annotation
ready floor readynonedecidedBy: Corpus-authored rules run on the one validation path, Declared architecture rules are checked against anchored structure, Components are designed ahead of their codenone
Source anchors bind code without carrying intent
spec:model.anchors
ready floor readypresentdependsOn: Declared architecture rules are checked against anchored structure, Components are designed ahead of their codenone
The Protocol models delivery with one enrichable Spec
spec:model.core-model
ready floor readypresentrefines: Components are designed ahead of their codenone
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
Validation separates well-formedness from non-pretending
spec:validation.two-check-families
ready floor readypresentconstrainedBy: Corpus-authored rules run on the one validation pathnone
Rested on by (6)
SpecRungImplementation bindingJoined membersHolds
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: Components are designed ahead of their codenone
File-level imports show where curation is missing
spec:consumers.impact-graph.curation-assist
ready floor readypresentdependsOn: Components are designed ahead of their codenone
A Spec set draws the architecture it touches
spec:consumers.spec-studio.diagram-kinds.scoped-architecture
ready floor readypresentdependsOn: Components are designed ahead of their codenone
The architecture lens draws components by context and layer, the planned beside the built
spec:consumers.spec-studio.lenses.architecture
ready floor readypresentdependsOn: Components are designed ahead of their codenone
Capability adoption counts where each capability is used and where it could apply
spec:consumers.upgrade-kit.capability-adoption
ready floor readypresentdependsOn: Components are designed ahead of their codenone
A corpus checks the register tokens its prose cites
spec:validation.external-registers
ready floor readypresentrefines: Corpus-authored rules run on the one validation pathdependsOn: Corpus-authored rules run on the one validation pathnone
Verified by (2)
SpecRungImplementation bindingJoined membersHolds
The shipped dependency-cycles file fails a rules run on a cycle
spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run
ready floor readynoneverifies: Corpus-authored rules run on the one validation pathnone
The shipped address-resolution file fails a rules run on an address that names no entry
spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run
ready floor readynoneverifies: Corpus-authored rules run on the one validation pathnone
Superseded by (0)

None.

Composing (0)

Composing needs the script.