{"data":{"checks":[{"detail":"Repeated loads produce byte-equivalent state and the same source-record digest.","id":"SRC-PROOF-01","name":"Deterministic repository reproduction","passed":true},{"detail":"Only the four canonical HTTPS Eviulon record URLs are accepted.","id":"SRC-PROOF-02","name":"Exact allowlist","passed":true},{"detail":"The current bounded fingerprints match the migrated prior record.","id":"SRC-PROOF-03","name":"Current-state reproduction","passed":true},{"detail":"A changed bounded statement changes the source state to CHANGED.","id":"SRC-PROOF-04","name":"Material change detection","passed":true},{"detail":"A 503 produces UNAVAILABLE and preserves prior evidence instead of inferring retraction.","id":"SRC-PROOF-05","name":"Temporary unavailability is not retraction","passed":true},{"detail":"Only an explicit bounded operator state can mark a record superseded.","id":"SRC-PROOF-06","name":"Supersession is explicit","passed":true},{"detail":"Only an explicit bounded operator state can mark a source contradicted.","id":"SRC-PROOF-07","name":"Contradiction is explicit","passed":true},{"detail":"A later successful capture may restore CURRENT without deleting the unavailable snapshot.","id":"SRC-PROOF-08","name":"Restoration requires a new capture","passed":true},{"detail":"Prior captures remain in the repository-controlled history.","id":"SRC-PROOF-09","name":"Append-oriented snapshot history","passed":true},{"detail":"Public application state is read from packaged snapshots only.","id":"SRC-PROOF-10","name":"No runtime external dependency","passed":true},{"detail":"Reciprocal first-party sources remain explicitly separate from independent verification.","id":"SRC-PROOF-11","name":"No independent-verification inflation","passed":true},{"detail":"The public lifecycle record contains no operational control, credential, topology, targeting, or weapon field keys.","id":"SRC-PROOF-12","name":"No operational expansion","passed":true},{"detail":"Claims depending on a materially changed record are qualified pending review rather than silently retaining current wording.","id":"SRC-PROOF-13","name":"Changed-source claim qualification","passed":true},{"detail":"Temporary source unavailability qualifies the dependent claim and does not infer retraction.","id":"SRC-PROOF-14","name":"Unavailable-source claim qualification","passed":true},{"detail":"An explicitly superseded doctrine record suspends dependent claims pending review.","id":"SRC-PROOF-15","name":"Superseded-source claim suspension","passed":true},{"detail":"An explicit current contradiction propagates only to claims that depend on the contradicted record.","id":"SRC-PROOF-16","name":"Contradicted-source claim state","passed":true},{"detail":"A new successful capture may restore the base claim state without deleting the preserved unavailable capture.","id":"SRC-PROOF-17","name":"Restored-source claim recovery","passed":true},{"detail":"Non-HTTPS, credentialed, query-bearing, fragmented, non-standard-port, non-allowlisted-path, IP-literal, and foreign-host URLs are rejected before network access.","id":"SRC-PROOF-18","name":"Strict URL and SSRF rejection","passed":true},{"detail":"Repository snapshots retain only bounded public metadata and statement markers; raw HTML and recursive crawl output are excluded.","id":"SRC-PROOF-19","name":"Bounded persistence contract","passed":true}],"difference_report_sha256":"42be55c98565be78dfd7db96405746e4de2202e9a259c28e6c1bbd8d1cdc3641","external_network_used":false,"passed":true,"proof_sha256":"997a1defd70f7a063d3cc1b79b4463a943f5ba6f3b2933cae5acfdd00045edbf","qualification":"This proof validates deterministic repository source-state handling. It does not authenticate private contract terms, sovereign recognition, deployment, classified capability, readiness, or performance.","release":"2.0.0-rc.9-WIP","runtime_network_required":false,"schema":"evulgare.eviulon-source-lifecycle-proof.v1","snapshot_manifest_sha256":"f5b1b5eaeec8d95e61acfa62915bec491f1c797aaebdf9b509d02d8d9e57daa6","source_record_sha256":"78e9197e8323051fb7dca1c0d31708feb6c61571169282d1363afb0950e377ff","version":"1.0.0"},"meta":{"api_version":"v2","digest":"997a1defd70f7a063d3cc1b79b4463a943f5ba6f3b2933cae5acfdd00045edbf","operational":false,"passed":true,"persisted":false,"request_id":"0220f9c4-9f4b-41a0-8926-9a2fbb9ba5eb","synthetic":true,"workbench_version":"2.0.0"},"ok":true}
