{"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":"be67dfd52fd1807c17c29ac58264346f5a40bf049d684f1a33f0901f2ad987a5","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.21-WIP","runtime_network_required":false,"schema":"evulgare.eviulon-source-lifecycle-proof.v1","snapshot_manifest_sha256":"f5b1b5eaeec8d95e61acfa62915bec491f1c797aaebdf9b509d02d8d9e57daa6","source_record_sha256":"41262f1f74bd442de70efa015ac23f6121e4141443ed407df8d90fc0f324cc88","version":"1.0.0"},"meta":{"api_version":"v2","digest":"be67dfd52fd1807c17c29ac58264346f5a40bf049d684f1a33f0901f2ad987a5","operational":false,"passed":true,"persisted":false,"request_id":"800df1c6-1b2d-4323-b5d5-33963e491987","synthetic":true,"workbench_version":"2.0.0"},"ok":true}