From 9285b89ecca64bd119fe97ef88fe1355fb52b1bf Mon Sep 17 00:00:00 2001 From: SIR Audit Bot <41898282+github-actions[bot]@users.noreply.github.com> Date: Sat, 25 Apr 2026 01:36:11 +0000 Subject: [PATCH 1/9] SIR Proof: true | 0 leaks | 0 harmless | 2026-04-25T01:36:10Z --- docs/latest-audit.html | 2 +- docs/latest-audit.json | 14 +- docs/latest-run.json | 8 +- docs/monitor-summary.json | 16 +- .../archive_receipt.json | 12 + .../audit.json | 48 +++ .../itgl_env.txt | 2 + .../manifest.json | 55 ++++ .../proofs/itgl_final_hash.txt | 1 + .../proofs/itgl_ledger.jsonl | 150 +++++++++ .../proofs/latest-attempts.log | 158 +++++++++ .../proofs/run_summary.json | 30 ++ docs/runs/benchmark_index.v1.json | 42 ++- docs/runs/benchmark_index.v2.json | 42 ++- docs/runs/index.json | 19 +- proofs/itgl_final_hash.txt | 2 +- proofs/itgl_ledger.jsonl | 300 +++++++++--------- proofs/latest-attempts.log | 2 +- proofs/latest-audit.html | 2 +- proofs/latest-audit.json | 14 +- proofs/run_summary.json | 4 +- .../archive_receipt.json | 12 + .../audit.json | 48 +++ .../itgl_env.txt | 2 + .../manifest.json | 55 ++++ .../proofs/itgl_final_hash.txt | 1 + .../proofs/itgl_ledger.jsonl | 150 +++++++++ .../proofs/latest-attempts.log | 158 +++++++++ .../proofs/run_summary.json | 30 ++ proofs/runs/benchmark_index.v1.json | 42 ++- proofs/runs/benchmark_index.v2.json | 42 ++- proofs/runs/index.json | 19 +- 32 files changed, 1284 insertions(+), 198 deletions(-) create mode 100644 docs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/archive_receipt.json create mode 100644 docs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/audit.json create mode 100644 docs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/itgl_env.txt create mode 100644 docs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/manifest.json create mode 100644 docs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/proofs/itgl_final_hash.txt create mode 100644 docs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/proofs/itgl_ledger.jsonl create mode 100644 docs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/proofs/latest-attempts.log create mode 100644 docs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/proofs/run_summary.json create mode 100644 proofs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/archive_receipt.json create mode 100644 proofs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/audit.json create mode 100644 proofs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/itgl_env.txt create mode 100644 proofs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/manifest.json create mode 100644 proofs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/proofs/itgl_final_hash.txt create mode 100644 proofs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/proofs/itgl_ledger.jsonl create mode 100644 proofs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/proofs/latest-attempts.log create mode 100644 proofs/runs/20260425-013608-000000-gh24919434478-c818ae4214c7/proofs/run_summary.json diff --git a/docs/latest-audit.html b/docs/latest-audit.html index 2cc1858..b7e7b73 100644 --- a/docs/latest-audit.html +++ b/docs/latest-audit.html @@ -212,4 +212,4 @@