Spec Studio

Promoted evidence must carry its own evidence

spec:decisions.carried-evidenceDecision 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/carried-evidence.sdp.md

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

Intent
outcome
Prevent empty promoted Specs and relation targets from satisfying an evidence floor.
Decision
context
Promotion and constraints preserve meaning only when the promoted target carries the matching kind evidence.
decision
Promoted evidence counts only when the promoted Spec carries its own kind's natural evidence.
rationale
  • Counting an empty promoted child or a wrong-kind constraint would clear the evidence floor without the content it is meant to require.
consequences
  • The floor checks resolved target shape, and unresolved external decision links stay outside the relation grammar.
  • Authoring-shape honesty rejects authored delivery facts.
  • External doc: targets remain deferred until a corpus needs a relation to a decision recorded outside the graph.
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.carried-evidence

Arrows: refines (declared).

The diagram as text
  • spec:decisions.carried-evidence: Promoted evidence must carry its own evidence · declared Spec
  • spec:validation.readiness-floor: Stated readiness must clear its floor · declared Spec
  • spec:decisions.carried-evidence refines spec:validation.readiness-floor · 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.carried-evidence
The diagram as text
  • spec:decisions.carried-evidence: Promoted evidence must carry its own evidence
  • spec:decisions.content-only-sections: Sections carry content while relations carry links
  • spec:decisions.kind-conditional-floor: Readiness evidence follows the Spec kind
  • spec:validation.kind-evidence: Each kind carries its own evidence
  • spec:validation.readiness-floor: Stated readiness must clear its floor
  • spec:decisions.carried-evidence dependsOn spec:decisions.content-only-sections · declared
  • spec:decisions.carried-evidence dependsOn spec:decisions.kind-conditional-floor · declared
  • spec:decisions.carried-evidence refines spec:validation.readiness-floor · declared
  • spec:validation.kind-evidence decidedBy spec:decisions.carried-evidence · declared — promoted children and constrainedBy targets count only when they carry evidence
  • spec:validation.readiness-floor decidedBy spec:decisions.carried-evidence · 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 · outgoingSections carry content while relations carry links
spec:decisions.content-only-sections · resolves		declaredNoneNone
dependsOn · outgoingReadiness evidence follows the Spec kind
spec:decisions.kind-conditional-floor · resolves		declaredNoneNone
refines · outgoingStated readiness must clear its floor
spec:validation.readiness-floor · resolves		declaredNoneNone
decidedBy · incomingEach kind carries its own evidence
spec:validation.kind-evidence · resolves		declaredpromoted children and constrainedBy targets count only when they carry evidenceNone
decidedBy · incomingStated readiness must clear its floor
spec:validation.readiness-floor · 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.