From 99da4af8610d7755545a3f3c3cbc4e1be6fb03f2 Mon Sep 17 00:00:00 2001 From: SIR Audit Bot <41898282+github-actions[bot]@users.noreply.github.com> Date: Tue, 5 May 2026 11:22:39 +0000 Subject: [PATCH 1/9] SIR Proof: true | 0 leaks | 0 harmless | 2026-05-05T11:22:38Z --- docs/latest-audit.html | 2 +- docs/latest-audit.json | 14 +- docs/latest-run.json | 14 +- docs/monitor-summary.json | 14 +- .../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 | 80 ++--- docs/runs/benchmark_index.v2.json | 80 ++--- docs/runs/index.json | 32 +- 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 | 80 ++--- proofs/runs/benchmark_index.v2.json | 80 ++--- proofs/runs/index.json | 32 +- 32 files changed, 1288 insertions(+), 376 deletions(-) create mode 100644 docs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/archive_receipt.json create mode 100644 docs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/audit.json create mode 100644 docs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/itgl_env.txt create mode 100644 docs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/manifest.json create mode 100644 docs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/proofs/itgl_final_hash.txt create mode 100644 docs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/proofs/itgl_ledger.jsonl create mode 100644 docs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/proofs/latest-attempts.log create mode 100644 docs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/proofs/run_summary.json create mode 100644 proofs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/archive_receipt.json create mode 100644 proofs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/audit.json create mode 100644 proofs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/itgl_env.txt create mode 100644 proofs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/manifest.json create mode 100644 proofs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/proofs/itgl_final_hash.txt create mode 100644 proofs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/proofs/itgl_ledger.jsonl create mode 100644 proofs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/proofs/latest-attempts.log create mode 100644 proofs/runs/20260505-112236-000000-gh25373392117-2a34a2fa7204/proofs/run_summary.json diff --git a/docs/latest-audit.html b/docs/latest-audit.html index 4729489..ee15318 100644 --- a/docs/latest-audit.html +++ b/docs/latest-audit.html @@ -221,4 +221,4 @@