From 887cf33a9b74eef7f6f05154cd4aa5a344634e1c Mon Sep 17 00:00:00 2001 From: SIR Audit Bot <41898282+github-actions[bot]@users.noreply.github.com> Date: Tue, 5 May 2026 09:36:17 +0000 Subject: [PATCH 1/2] SIR Proof: true | 0 leaks | 0 harmless | 2026-05-05T09:36:16Z --- docs/latest-audit.html | 17 +- docs/latest-audit.json | 30 +- docs/latest-run.json | 8 +- docs/monitor-summary.json | 12 +- .../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 | 688 +++++++++++++++++- docs/runs/index.json | 19 +- proofs/itgl_final_hash.txt | 2 +- proofs/itgl_ledger.jsonl | 300 ++++---- proofs/latest-attempts.log | 4 +- proofs/latest-audit.html | 17 +- proofs/latest-audit.json | 30 +- proofs/run_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 + proofs/runs/benchmark_index.v1.json | 42 +- proofs/runs/benchmark_index.v2.json | 688 +++++++++++++++++- proofs/runs/index.json | 19 +- 32 files changed, 2553 insertions(+), 293 deletions(-) create mode 100644 docs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/archive_receipt.json create mode 100644 docs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/audit.json create mode 100644 docs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/itgl_env.txt create mode 100644 docs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/manifest.json create mode 100644 docs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/proofs/itgl_final_hash.txt create mode 100644 docs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/proofs/itgl_ledger.jsonl create mode 100644 docs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/proofs/latest-attempts.log create mode 100644 docs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/proofs/run_summary.json create mode 100644 proofs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/archive_receipt.json create mode 100644 proofs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/audit.json create mode 100644 proofs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/itgl_env.txt create mode 100644 proofs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/manifest.json create mode 100644 proofs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/proofs/itgl_final_hash.txt create mode 100644 proofs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/proofs/itgl_ledger.jsonl create mode 100644 proofs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/proofs/latest-attempts.log create mode 100644 proofs/runs/20260505-093614-000000-gh25368812619-2a34a2fa7204/proofs/run_summary.json diff --git a/docs/latest-audit.html b/docs/latest-audit.html index 0b067a5..5a40b0d 100644 --- a/docs/latest-audit.html +++ b/docs/latest-audit.html @@ -6,7 +6,7 @@