Spec Studio

Verification mode states posture, not realization

spec:decisions.verification-posture-not-realizationDecision 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/verification-posture-not-realization.sdp.md

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

Intent
outcome
Keep authored verification intent distinct from derived evidence that a verifier exists.
Decision
context
A Spec may declare verification.mode: executable before any resolving test anchor exists, while the graph already derives enabled-verifier realization from bindings.
decision
verification.mode states the intended verification posture; enabled-verifier realization remains a derived fact and the two are never collapsed.
rationale
  • Treating the authored mode as realization would duplicate and weaken the binding-derived fact, while warning on an unrealized posture would turn an intended direction into workflow or content-quality policing.
consequences
  • No validator warns merely because mode: executable has no enabled verifier.
  • Consumers report the authored mode and derived verifier bindings separately.
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.verification-posture-not-realization

Arrows: refines (declared).

The diagram as text
  • spec:decisions.verification-posture-not-realization: Verification mode states posture, not realization · declared Spec
  • spec:model.spec-sections: Spec sections carry typed detail and direct verifier semantics · declared Spec
  • spec:decisions.verification-posture-not-realization refines spec:model.spec-sections · 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.verification-posture-not-realization
The diagram as text
  • spec:consumers.spec-studio.lenses.tests: The tests lens shows how far each Spec's verification reaches
  • spec:consumers.spec-studio.verification-panels: The panels for examples, targets, verifiers and evidence
  • spec:decisions.binding-not-liveness: Bindings state existence, not liveness
  • spec:decisions.verification-posture-not-realization: Verification mode states posture, not realization
  • spec:model.spec-sections: Spec sections carry typed detail and direct verifier semantics
  • spec:decisions.verification-posture-not-realization dependsOn spec:decisions.binding-not-liveness · declared
  • spec:decisions.verification-posture-not-realization refines spec:model.spec-sections · declared
  • spec:consumers.spec-studio.lenses.tests decidedBy spec:decisions.verification-posture-not-realization · declared
  • spec:consumers.spec-studio.verification-panels decidedBy spec:decisions.verification-posture-not-realization · declared
  • spec:model.spec-sections decidedBy spec:decisions.verification-posture-not-realization · declared
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

Distance 9

Distance 10

Relations

Relation and directionOther endClaimReasonExercised keys
dependsOn · outgoingBindings state existence, not liveness
spec:decisions.binding-not-liveness · resolves		declaredNoneNone
refines · outgoingSpec sections carry typed detail and direct verifier semantics
spec:model.spec-sections · resolves		declaredNoneNone
decidedBy · incomingThe tests lens shows how far each Spec's verification reaches
spec:consumers.spec-studio.lenses.tests · resolves		declaredNoneNone
decidedBy · incomingThe panels for examples, targets, verifiers and evidence
spec:consumers.spec-studio.verification-panels · resolves		declaredNoneNone
decidedBy · incomingSpec sections carry typed detail and direct verifier semantics
spec:model.spec-sections · resolves		declaredNoneNone

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.