linus-dandClaude Opus 4.8
f4c75fc8cf
1 (artifact bundle): ci_reports writes evidence/MANIFEST.tsv (content hash+len of every evidence file); attestation verifies completeness+integrity; merge-gates requires the bundle. 2 (every leaf full evidence): run_all_to streams a full trace+delta record for EVERY leaf (base 'b' and perturbation 'p'), not a sample. 3 (attestation completeness): attestation enforces a leaf<->trace bijection (traces == leaves and covered set == leaf set), not just consistency. 4 (collapse derives from full traces): trace_feature_row single-sourced into collapse_analysis; attestation recomputes each collapse row from the retained full trace and requires bit-exact match. 5 (mutants through full gates): evaluate_mutants runs each mutant through engine_acceptance over 128 generated cases (trace/equivalence/domain/ metamorphic/causal), replacing the 64-input local predicates. 6 (trace+delta+future): metamorphic enforces consumed->trace per-case plus consumed-aggregate delta (>=0.65) and future (>=0.80) rates. 7 (recomputable causal): per-edge intervention records written to evidence/causal_evidence.tsv; attestation RE-EXECUTES each from its seed and recomputes base_dv/alt_dv. 8 (no string/comment proof): removed web_assets JS-substring test and the tautological string assert in ci_reports. Verified at fast scale end-to-end: 6600/6600 traces reconstructed, leaf bijection, 1600/1600 causal records recomputed, 600/600 collapse rows derived, bundle intact. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
23 lines
855 B
TOML
23 lines
855 B
TOML
[package]
|
|
name = "attestation"
|
|
version.workspace = true
|
|
edition.workspace = true
|
|
license.workspace = true
|
|
|
|
[[bin]]
|
|
name = "attest"
|
|
path = "src/main.rs"
|
|
|
|
[dependencies]
|
|
# NOT ci_reports. The root, the full-trace hashes, and the leaves are recomputed
|
|
# by this crate's own code path — an independent check, not a re-export of the
|
|
# producer's claim. trace_model/world_model provide the shared trace/delta types
|
|
# and hashing the verifier reconstructs from raw evidence.
|
|
world_model = { path = "../world_model" }
|
|
trace_model = { path = "../trace_model" }
|
|
# For independent RE-EXECUTION of retained per-edge causal interventions.
|
|
generators = { path = "../generators" }
|
|
reference_runtime = { path = "../reference_runtime" }
|
|
# For recomputing collapse feature rows from full traces (proving derivation).
|
|
collapse_analysis = { path = "../collapse_analysis" }
|