Skip to content

ground-truth-gates: rerun is new evidence — audit the cited evidence identity, never substitute a fresh run - #226

Merged
F-e-u-e-r merged 1 commit into
mainfrom
c14-rerun-is-new-evidence
Aug 29, 2026
Merged

ground-truth-gates: rerun is new evidence — audit the cited evidence identity, never substitute a fresh run#226
F-e-u-e-r merged 1 commit into
mainfrom
c14-rerun-is-new-evidence

Conversation

@F-e-u-e-r

Copy link
Copy Markdown
Owner

Summary

One new ground-truth-gates rule — rerun is new evidence — placed immediately after the producer-side preservation sentence as its consumer-side dual, plus its evidence package. One canonical file (+51, pure additions); 6 evidence files.

Spine: preserve so it can be re-read; when auditing historical evidence, re-read that evidence identity. A rerun is a new evidence row, not a substitute for the old one.

Why (adjudicated PARTIAL-GAP)

A falsification-first orientation showed nine adjacent passages each pass this counterexample: an auditor never opens a cited 36/36 ledger, re-runs the recipe, gets a fresh 36/36, and declares the historical report verified — while a 35-row ledger, a crashed original run, a different config, a mistranscribed result, or a vanished artifact all survive that fresh PASS. Existing rules are producer-side (preserve; per-run persisted rows) or state-side (verify-by-reconstruction proves STATE, not history); the consumer-side evidence-identity duty was missing.

The rule (locked semantics)

  • Historical evidence audit ≠ fresh rerun: inspect the cited evidence identity first — durable form, recorded inputs/config, actual contents, claim fidelity. A fresh run answers what happens NOW and gets its own persisted row, never the old row's seat.
  • Evidence identity, not pathname: a verified content-identical archival copy (exact blob/hash- or run-id-matched relocation) IS the cited record — reading it is reading the original.
  • Unrecoverable record → the historical claim stays UNVERIFIED; a fresh reproduction may establish current behavior or corroborate an inspected record (two identities, reported separately), but cannot recreate missing history.
  • Rerun stays fully legitimate for current-state health checks, reproducibility claims, regenerate-and-diff gates, and verify-by-reconstruction — the sole prohibition is silently substituting the rerun for the evidence identity under audit. No blanket "never rerun" anywhere.

Review

Design gate, dual-blind, mutually blind, isolated dirs, identity from tool banners: r1 = gpt-5.6-luna (max) PROCEED + gpt-5.6-sol (max) PROCEED — 2/2, zero blocking findings, all ten mandatory axes line-anchored by both — including the dedicated check that "cannot recreate the missing history" cannot be misread as forbidding durable-copy verification (both confirmed the archival carve-out is visible in the same rule). Both confirmed: no runtime tooling, no delegation-and-review mirror, no collateral rewrite.

Landing fidelity

Reviewed rule + Provenance blocks landed byte-verbatim (machine-proven; DECLARED-LANDING-ADAPTATIONS: NONE). Neighbors byte-unchanged by machine check: the preservation sentence, regenerate-and-diff, verify-by-reconstruction, persisted-run and replication rules; delegation-and-review and operational-rigor zero-byte. Static controls 8/8 + 2 archival variants (HISTORICAL-MISSING/-MISMATCH · ARCHIVAL-RECOVERY · FRESH-HEALTH · REPRODUCIBILITY · CORROBORATION ×2 · GENERATED-ARTIFACT · STOCHASTIC · EXACT-RECONSTRUCTION). checks.py green (invisible-Unicode sweep included).

Probe debt

Behavioral transmission/effectiveness remains unprobed. Exactly one new unprobed marker; provenance class = counterexample-derived / design-reviewed; the future behavioral probe routes to the standing #115 queue.

🤖 Generated with Claude Code

https://claude.ai/code/session_0132RthrKSsMkywcEwtkXhkx

…itute a fresh run

New ground-truth-gates rule, placed immediately after the producer-side
preservation sentence as its consumer-side dual: preserve so it can be
re-read; when auditing historical evidence, re-read that evidence
identity — a rerun is a new evidence row, not a substitute for the old
one. Locked semantics: evidence identity is content-verified, never
pathname-bound (a verified content-identical archival copy IS the cited
record); an unrecoverable record leaves the historical claim UNVERIFIED;
fresh runs stay fully legitimate for current-state health,
reproducibility, corroboration of an inspected record,
regenerate-and-diff, and verify-by-reconstruction — the sole prohibition
is silently substituting the rerun for the evidence identity under
audit. Adjudicated PARTIAL-GAP from a nine-passage falsification
(36/36-ledger counterexample passes every existing rule); design review
r1 dual-blind luna-max + sol-max = 2/2 PROCEED, zero findings, incl. the
dedicated archival-misread check; landed byte-verbatim from the reviewed
blocks (adaptations NONE); one new unprobed marker, behavioral probe
joins the #115 queue. Evidence: reviews/2026-08-29-rerun-is-new-evidence/.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0132RthrKSsMkywcEwtkXhkx
@F-e-u-e-r
F-e-u-e-r merged commit 85d3629 into main Aug 29, 2026
3 checks passed
@F-e-u-e-r
F-e-u-e-r deleted the c14-rerun-is-new-evidence branch August 29, 2026 06:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant