When bound-file changes make run evidence stale

spec:observation.run-evidence.bound-file-freshness

Use Case / Behavior · storyidea floor idea

Next rung scoped waits on 1 unmet clause:

kind-evidence-present · The kind's natural evidence is present (per-kind evidence table).

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

specs/observation/run-evidence.bound-file-freshness.sdp.md

1 open question and 1 blocking question; implementation binding none, verifier binding none, and expected-outcome oracle none.

Intent

outcome: Tell a reader when a recorded run no longer speaks for the source being read because the files its verifiers bind have changed.

Open questions

blocking · question.freshness line 16 · specs/observation/run-evidence.bound-file-freshness.sdp.md:16 · When should changes to bound files make recorded run evidence stale?Decider: ownerLinks: spec:observation.run-evidenceProvisional: keep the current differing-commit display until a file-sensitive policy is designedTrigger: a reader cannot tell whether a run at another commit still applies, because nothing says whether its bound files changed since

Behavior

0 unkeyed rules.

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:observation.run-evidence.bound-file-freshness

Arrows: refines (declared).

The diagram as text

spec:observation.run-evidence.bound-file-freshness: When bound-file changes make run evidence stale · declared Spec · no satisfying binding
spec:observation.run-evidence: CI run records are joined to verifiers in a view · declared Spec
spec:observation.run-evidence.bound-file-freshness refines spec:observation.run-evidence · 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.

Mermaid source for Requirement drawing for spec:observation.run-evidence.bound-file-freshness

requirementDiagram
  requirement n0 {
    text: "When bound-file changes make run evidence stale · declared Spec · no satisfying binding · spec:observation.run-evidence.bound-file-freshness"
  }
  requirement n1 {
    text: "CI run records are joined to verifiers in a view · declared Spec · spec:observation.run-evidence"
  }
  %% claim: declared
  n0 - refines -> n1

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:observation.run-evidence.bound-file-freshness

Arrows: refines (declared).

The diagram as text

spec:observation.run-evidence: CI run records are joined to verifiers in a view
spec:observation.run-evidence.bound-file-freshness: When bound-file changes make run evidence stale
spec:observation.run-evidence.bound-file-freshness refines spec:observation.run-evidence · declared

Mermaid source

Copyable source; the Studio draws static SVG.

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

Mermaid source for Relations of spec:observation.run-evidence.bound-file-freshness

flowchart TB
  n0["CI run records are joined to verifiers in a view · spec:observation.run-evidence"]
  n1["When bound-file changes make run evidence stale · spec:observation.run-evidence.bound-file-freshness"]
  n1 -->|"refines · declared"| n0

Rests on

refines · spec:observation.run-evidence · stated ready, floor ready

Rested on by

No Spec rests on this Spec.

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
refines · outgoing	CI run records are joined to verifiers in a view `spec:observation.run-evidence` · resolves	declared	None	None

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.