Spec Studio

Validation follows one graph

spec:decisions.one-validation-pathDecision Record · featureready floor ready

Packs: pack:self-hosting-v1

Design: no design entries · no pinned declarations · no decisions

Findings: no errors, no warnings

specs/decisions/one-validation-path.sdp.md

No open questions and no blocking questions; implementation binding none, verifier binding none, and expected-outcome oracle none.

Intent
outcome
Keep conformance and honesty checks aligned with the source the graph actually represents.
Decision
context
Source can be statically reified without matching what an executing import would evaluate.
decision
Validators consume the derived graph through one path: source, extraction, graph, then checks.
rationale
  • A parallel import-time validation path can approve values absent from the graph.
consequences
  • Typed authoring feedback and extraction findings remain distinct from graph validation rather than becoming a second validator.
Verification

Verifier bindings

No verifier binding recorded.

Design view

Requirement drawing

  • Declared verifying examples: no declared verifying example.
  • Satisfying or referencing units: no recorded binding.
  • Test or oracle bindings: no recorded binding.
Requirement drawing for spec:decisions.one-validation-path

Arrows: refines (declared).

The diagram as text
  • spec:decisions.one-validation-path: Validation follows one graph · declared Spec
  • spec:validation.two-check-families: Validation separates well-formedness from non-pretending · declared Spec
  • spec:decisions.one-validation-path refines spec:validation.two-check-families · declared
Mermaid source

Copyable source; the Studio draws static SVG.

Preferred and chosen syntax: requirementDiagram; exact refines, satisfies and verifies, with claim words in nodes and per-edge comments.

Decisions

No decision record named.

Runtime

No implementation neighborhood recorded.

Runtime observation: not tracked.

Evidence

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.

Impact
Relations of spec:decisions.one-validation-path
The diagram as text
  • spec:consumers.validate-watch: Validation re-runs while an author edits carriers
  • spec:decisions.anchor-comment-form: The comment form is a second anchor representation
  • spec:decisions.one-validation-path: Validation follows one graph
  • spec:extraction.derive-graph: Carrier reification derives the one graph
  • spec:protocol.self-hosting: The Protocol authors and validates itself
  • spec:validation.two-check-families: Validation separates well-formedness from non-pretending
  • spec:decisions.one-validation-path refines spec:validation.two-check-families · declared
  • spec:extraction.derive-graph decidedBy spec:decisions.one-validation-path · declared
  • spec:protocol.self-hosting decidedBy spec:decisions.one-validation-path · declared
  • spec:validation.two-check-families decidedBy spec:decisions.one-validation-path · declared
  • spec:consumers.validate-watch dependsOn spec:decisions.one-validation-path · declared
  • spec:decisions.anchor-comment-form dependsOn spec:decisions.one-validation-path · declared — both anchor forms feed the same extraction and graph-validation path
Mermaid source

Copyable source; the Studio draws static SVG.

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

Rests on

Rested on by

Distance 1

Distance 2

Distance 3

Distance 4

Distance 5

Distance 6

Distance 7

Distance 8

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingValidation separates well-formedness from non-pretending
spec:validation.two-check-families · resolves		declaredNoneNone
decidedBy · incomingCarrier reification derives the one graph
spec:extraction.derive-graph · resolves		declaredNoneNone
decidedBy · incomingThe Protocol authors and validates itself
spec:protocol.self-hosting · resolves		declaredNoneNone
decidedBy · incomingValidation separates well-formedness from non-pretending
spec:validation.two-check-families · resolves		declaredNoneNone
dependsOn · incomingValidation re-runs while an author edits carriers
spec:consumers.validate-watch · resolves		declaredNoneNone
dependsOn · incomingThe comment form is a second anchor representation
spec:decisions.anchor-comment-form · resolves		declaredboth anchor forms feed the same extraction and graph-validation pathNone

Bindings

Implementation binding: none

Design reference: none

Verifier binding: none

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.