{ "status": "completed_unpublished", "review": "Automated evidence assessment, not human mathematical acceptance", "assessed_utc": "2026-10-07T04:27:24.376520+00:00", "target_attempts": 6, "distinct_targets": 3, "counts": { "CHECKER_ACCEPTED": 2, "RESOURCE_LIMIT": 4, "CHECKER_REJECTED": 0 }, "paid_services_used": false, "paid_services_cost_usd": 0, "electricity_cost": "not measured", "runs": [ { "label": "run1-AbhyankarSathaye", "target": "AbhyankarSathaye", "command": [ "systemd-run", "--user", "--pty", "--wait", "--unit=pilot-run1-abhyankarsathaye", "--property=RestrictAddressFamilies=~AF_UNIX", "--property=MemoryMax=7G", "--property=MemorySwapMax=0", "--property=RuntimeMaxSec=3600", "--property=MemoryAccounting=yes", "--working-directory=/home/proof/active", "-E", "PATH=/opt/pilot/lean-4.34.1-linux_aarch64/bin:/usr/local/bin:/usr/bin:/bin", "--", "/bin/bash", "/tmp/target-worker.sh", "run1-AbhyankarSathaye", "AbhyankarSathaye" ], "started_utc": "2026-10-07T03:57:41.171463+00:00", "ended_utc": "2026-10-07T03:58:58.431332+00:00", "wall_seconds": 77.25986011999998, "wrapper_exit_code": 0, "raw_log": "run1-AbhyankarSathaye-raw.log", "telemetry": "run1-AbhyankarSathaye-telemetry.jsonl", "human_acceptance": null, "execution": "CHECKER_ACCEPTED", "checker_exit_code": 0, "controls_passed": true, "target_hashes_unchanged": true, "tool_hashes_unchanged": true, "process_tree_memory_peak_bytes": 2864082944, "cpu_user_seconds": 74.929114, "cpu_system_seconds": 39.630678, "cpu_measurement": "final cgroup", "memory_events": { "low": "0", "high": "0", "max": "0", "oom": "0", "oom_kill": "0", "oom_group_kill": "0", "sock_throttled": "0" }, "vm_disk_used_high_water_bytes": 19235786752, "manuscript_correspondence": "NOT_REVIEWED", "novelty": "NOT_ASSESSED", "source_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a", "toolchain_compatible_for_controls": true }, { "label": "run1-AffineBernstein", "target": "AffineBernstein", "command": [ "systemd-run", "--user", "--pty", "--wait", "--unit=pilot-run1-affinebernstein", "--property=RestrictAddressFamilies=~AF_UNIX", "--property=MemoryMax=7G", "--property=MemorySwapMax=0", "--property=RuntimeMaxSec=3600", "--property=MemoryAccounting=yes", "--working-directory=/home/proof/active", "-E", "PATH=/opt/pilot/lean-4.34.1-linux_aarch64/bin:/usr/local/bin:/usr/bin:/bin", "--", "/bin/bash", "/tmp/target-worker.sh", "run1-AffineBernstein", "AffineBernstein" ], "started_utc": "2026-10-07T04:01:01.316897+00:00", "ended_utc": "2026-10-07T04:07:52.218550+00:00", "wall_seconds": 410.90122986200004, "wrapper_exit_code": 0, "raw_log": "run1-AffineBernstein-raw.log", "telemetry": "run1-AffineBernstein-telemetry.jsonl", "human_acceptance": null, "execution": "RESOURCE_LIMIT", "checker_exit_code": null, "controls_passed": true, "target_hashes_unchanged": true, "tool_hashes_unchanged": true, "process_tree_memory_peak_bytes": 7516192768, "cpu_user_seconds": 88.663853, "cpu_system_seconds": 201.136447, "cpu_measurement": "last available telemetry; lower bound", "memory_events": { "low": "0", "high": "0", "max": "18", "oom": "0", "oom_kill": "0", "oom_group_kill": "0", "sock_throttled": "0" }, "vm_disk_used_high_water_bytes": 19247939584, "manuscript_correspondence": "NOT_REVIEWED", "novelty": "NOT_ASSESSED", "source_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a", "toolchain_compatible_for_controls": true }, { "label": "run1-PiExponent", "target": "PiExponent", "command": [ "systemd-run", "--user", "--pty", "--wait", "--unit=pilot-run1-piexponent", "--property=RestrictAddressFamilies=~AF_UNIX", "--property=MemoryMax=7G", "--property=MemorySwapMax=0", "--property=RuntimeMaxSec=3600", "--property=MemoryAccounting=yes", "--working-directory=/home/proof/active", "-E", "PATH=/opt/pilot/lean-4.34.1-linux_aarch64/bin:/usr/local/bin:/usr/bin:/bin", "--", "/bin/bash", "/tmp/target-worker.sh", "run1-PiExponent", "PiExponent" ], "started_utc": "2026-10-07T04:11:48.486002+00:00", "ended_utc": "2026-10-07T04:15:43.584783+00:00", "wall_seconds": 235.1019551119998, "wrapper_exit_code": 0, "raw_log": "run1-PiExponent-raw.log", "telemetry": "run1-PiExponent-telemetry.jsonl", "human_acceptance": null, "execution": "RESOURCE_LIMIT", "checker_exit_code": null, "controls_passed": true, "target_hashes_unchanged": true, "tool_hashes_unchanged": true, "process_tree_memory_peak_bytes": 7516192768, "cpu_user_seconds": 63.539501, "cpu_system_seconds": 96.440032, "cpu_measurement": "last available telemetry; lower bound", "memory_events": { "low": "0", "high": "0", "max": "36", "oom": "0", "oom_kill": "0", "oom_group_kill": "0", "sock_throttled": "0" }, "vm_disk_used_high_water_bytes": 19226427392, "manuscript_correspondence": "NOT_REVIEWED", "novelty": "NOT_ASSESSED", "source_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a", "toolchain_compatible_for_controls": true }, { "label": "run2-AbhyankarSathaye", "target": "AbhyankarSathaye", "command": [ "systemd-run", "--user", "--pty", "--wait", "--unit=pilot-run2-abhyankarsathaye", "--property=RestrictAddressFamilies=~AF_UNIX", "--property=MemoryMax=7G", "--property=MemorySwapMax=0", "--property=RuntimeMaxSec=3600", "--property=MemoryAccounting=yes", "--working-directory=/home/proof/active", "-E", "PATH=/opt/pilot/lean-4.34.1-linux_aarch64/bin:/usr/local/bin:/usr/bin:/bin", "--", "/bin/bash", "/tmp/target-worker.sh", "run2-AbhyankarSathaye", "AbhyankarSathaye" ], "started_utc": "2026-10-07T04:16:02.023941+00:00", "ended_utc": "2026-10-07T04:17:06.841637+00:00", "wall_seconds": 64.81775544799984, "wrapper_exit_code": 0, "raw_log": "run2-AbhyankarSathaye-raw.log", "telemetry": "run2-AbhyankarSathaye-telemetry.jsonl", "human_acceptance": null, "execution": "CHECKER_ACCEPTED", "checker_exit_code": 0, "controls_passed": true, "target_hashes_unchanged": true, "tool_hashes_unchanged": true, "process_tree_memory_peak_bytes": 2443939840, "cpu_user_seconds": 70.094011, "cpu_system_seconds": 25.32449, "cpu_measurement": "final cgroup", "memory_events": { "low": "0", "high": "0", "max": "0", "oom": "0", "oom_kill": "0", "oom_group_kill": "0", "sock_throttled": "0" }, "vm_disk_used_high_water_bytes": 19240132608, "manuscript_correspondence": "NOT_REVIEWED", "novelty": "NOT_ASSESSED", "source_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a", "toolchain_compatible_for_controls": true }, { "label": "run2-AffineBernstein", "target": "AffineBernstein", "command": [ "systemd-run", "--user", "--pty", "--wait", "--unit=pilot-run2-affinebernstein", "--property=RestrictAddressFamilies=~AF_UNIX", "--property=MemoryMax=7G", "--property=MemorySwapMax=0", "--property=RuntimeMaxSec=3600", "--property=MemoryAccounting=yes", "--working-directory=/home/proof/active", "-E", "PATH=/opt/pilot/lean-4.34.1-linux_aarch64/bin:/usr/local/bin:/usr/bin:/bin", "--", "/bin/bash", "/tmp/target-worker.sh", "run2-AffineBernstein", "AffineBernstein" ], "started_utc": "2026-10-07T04:17:15.944480+00:00", "ended_utc": "2026-10-07T04:21:08.735631+00:00", "wall_seconds": 232.79115294400026, "wrapper_exit_code": 0, "raw_log": "run2-AffineBernstein-raw.log", "telemetry": "run2-AffineBernstein-telemetry.jsonl", "human_acceptance": null, "execution": "RESOURCE_LIMIT", "checker_exit_code": null, "controls_passed": true, "target_hashes_unchanged": true, "tool_hashes_unchanged": true, "process_tree_memory_peak_bytes": 7516192768, "cpu_user_seconds": 60.22937, "cpu_system_seconds": 92.896268, "cpu_measurement": "last available telemetry; lower bound", "memory_events": { "low": "0", "high": "0", "max": "45", "oom": "0", "oom_kill": "0", "oom_group_kill": "0", "sock_throttled": "0" }, "vm_disk_used_high_water_bytes": 19229347840, "manuscript_correspondence": "NOT_REVIEWED", "novelty": "NOT_ASSESSED", "source_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a", "toolchain_compatible_for_controls": true }, { "label": "run2-PiExponent", "target": "PiExponent", "command": [ "systemd-run", "--user", "--pty", "--wait", "--unit=pilot-run2-piexponent", "--property=RestrictAddressFamilies=~AF_UNIX", "--property=MemoryMax=7G", "--property=MemorySwapMax=0", "--property=RuntimeMaxSec=3600", "--property=MemoryAccounting=yes", "--working-directory=/home/proof/active", "-E", "PATH=/opt/pilot/lean-4.34.1-linux_aarch64/bin:/usr/local/bin:/usr/bin:/bin", "--", "/bin/bash", "/tmp/target-worker.sh", "run2-PiExponent", "PiExponent" ], "started_utc": "2026-10-07T04:21:17.548245+00:00", "ended_utc": "2026-10-07T04:25:53.719797+00:00", "wall_seconds": 276.1716675480002, "wrapper_exit_code": 0, "raw_log": "run2-PiExponent-raw.log", "telemetry": "run2-PiExponent-telemetry.jsonl", "human_acceptance": null, "execution": "RESOURCE_LIMIT", "checker_exit_code": null, "controls_passed": true, "target_hashes_unchanged": true, "tool_hashes_unchanged": true, "process_tree_memory_peak_bytes": 7516192768, "cpu_user_seconds": 73.993474, "cpu_system_seconds": 111.254966, "cpu_measurement": "last available telemetry; lower bound", "memory_events": { "low": "0", "high": "0", "max": "71", "oom": "0", "oom_kill": "0", "oom_group_kill": "0", "sock_throttled": "0" }, "vm_disk_used_high_water_bytes": 19229745152, "manuscript_correspondence": "NOT_REVIEWED", "novelty": "NOT_ASSESSED", "source_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a", "toolchain_compatible_for_controls": true } ], "controls": { "sets": 7, "checks": 21, "all_expected_outcomes_observed": true }, "repeat_outcomes": { "AbhyankarSathaye": "SAME_OUTCOME_TWICE", "AffineBernstein": "SAME_OUTCOME_TWICE", "PiExponent": "SAME_OUTCOME_TWICE" } }