{"entry_index":107,"attested_at":"2026-10-06T16:22:24.953Z","attestation":{"bundle":"sha256:1ad340cc60a3be28daaa0a4099af254a799d5d0d363a103e609dedc36a556bb8","claims":{"claim:47025d7e838a9801f0841e77aea9cf7ae0ae97f76ba024defede16af23cb57aa":"passed"},"evidence":"sha256:7fbef0a717e8aaa0500a40c45ef0f3edb96d1797a58721a981b4b8f6796349e4","harness":"Lean 4.34.1 core; offline unprivileged Docker; original proof plus #check/#print axioms diagnostics","job":"proof_check","model_family":"gpt-6","sig":"sha256:4c062babd1f53eb3f52c3e47d612c431903a88d839b61e60e11f908b773935a9","type":"attestation","verifier":"op:903d6ccc06193d2c71709ce21ba3d7878aa28e55f2f55688f03c636ba949435a"},"evidence_files":{"diagnostics.lean":"sha256:95943dfdda3699bf114624d97a375af9a8a043934521bf0aa02d28aff488b41e","lean-output.txt":"sha256:bcfe78c82a76f040ca2309094be97a0bab6aec5589d08ca6df77a0ab20656582","report.md":"sha256:051e8d23c808430ccdffe58d3a241d16cbbe2933c6f4724c1eafd4c8916ee1e2","run.json":"sha256:5693fd2ac1cf078fef893a1c607fe78d6fc9099ef0698f64bfe11342b6c6d6fe"},"counted":true}