From ec12dda9cbac028ab96676504ab8ccac98503bca Mon Sep 17 00:00:00 2001 From: mrwulf Date: Tue, 7 Jul 2026 21:12:41 +0200 Subject: [PATCH] log update: leaves 8-11 - re-attestation of all four forks at rewritten repository histories (16/16 boundary-exact each; tree 8 -> 12) --- entries/000008.json | 373 ++++++++++++++++++ entries/000009.json | 341 ++++++++++++++++ entries/000010.json | 349 ++++++++++++++++ entries/000011.json | 349 ++++++++++++++++ .../anza-ed25519-verified.attestation.json | 13 +- ...etrusted-ed25519-verified.attestation.json | 13 +- .../dalek-ed25519-verified.attestation.json | 13 +- .../risc0-ed25519-verified.attestation.json | 13 +- latest-sth.json | 12 +- receipts/anza-ed25519-verified.receipt.json | 24 +- .../betrusted-ed25519-verified.receipt.json | 24 +- receipts/dalek-ed25519-verified.receipt.json | 24 +- receipts/risc0-ed25519-verified.receipt.json | 24 +- sth-history.jsonl | 4 + 14 files changed, 1498 insertions(+), 78 deletions(-) create mode 100644 entries/000008.json create mode 100644 entries/000009.json create mode 100644 entries/000010.json create mode 100644 entries/000011.json diff --git a/entries/000008.json b/entries/000008.json new file mode 100644 index 0000000..56ce8f1 --- /dev/null +++ b/entries/000008.json @@ -0,0 +1,373 @@ +{ + "index": 8, + "leaf": { + "attestation": { + "certificates": [ + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.fieldImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.edwardsImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "ScalarProofs.scalarImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.verify_loop_full", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.to_bytes_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.ed_compress_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "ScalarProofs.from_bytes_mod_order_wide_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.vartime_dsm_basepoint_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.enc_point_inj", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.sqrt_ratio_i_sq_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.from_bytes_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.decompress_of_canonical", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "sha2.Sha512", + "verifying.sha512_new", + "verifying.sha512_update", + "verifying.sha512_finalize_bytes", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "sha2.Sha512", + "verifying.sha512_finalize_bytes", + "verifying.sha512_new", + "verifying.sha512_update", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "sha2.Sha512", + "verifying.sha512_new", + "verifying.sha512_update", + "verifying.sha512_finalize_bytes", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff_point", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "sha2.Sha512", + "verifying.sha512_finalize_bytes", + "verifying.sha512_new", + "verifying.sha512_update", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "sha2.Sha512", + "verifying.sha512_new", + "verifying.sha512_update", + "verifying.sha512_finalize_bytes", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff_point_eq", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "sha2.Sha512", + "verifying.sha512_finalize_bytes", + "verifying.sha512_new", + "verifying.sha512_update", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "sha2.Sha512", + "verifying.sha512_new", + "verifying.sha512_update", + "verifying.sha512_finalize_bytes", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff_decompress", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "sha2.Sha512", + "verifying.sha512_finalize_bytes", + "verifying.sha512_new", + "verifying.sha512_update", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + } + ], + "environment": { + "env_script": "/home/oho/aeneas-toolchain/env.sh", + "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", + "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", + "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" + }, + "issued_at": "2026-07-07T16:48:27Z", + "machine_protection": { + "lean_guard": "verification/lean-guard", + "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." + }, + "provider": "local-pacta-provider", + "replay": { + "axiom_attempted": true, + "axiom_diagnostics": [], + "axiom_log_path": "provider/out/logs/axiom-audit.log", + "axiom_ok": true, + "check_attempted": true, + "check_log_path": "provider/out/logs/lean-check.log", + "check_ok": true, + "checked_files": 64, + "diagnostics": [], + "failed_files": [] + }, + "schema_version": 1, + "signature": { + "payload_digest_sha256": "7e93a37ad82a2be59e5ed4a09a25f8965dfff59dd04f52360a89abc839f17066", + "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", + "scheme": "openssl-ed25519", + "signature_base64": "YYAaLhDMC6TqUcZK9QKkpmE5ZQPr/XxsMULWcHKM5A6xjf1vbS/MFUU0++uKNLtROzlF0OeaYgygAYfdlQdmDg==", + "signing_backend": "verified-dalek-serial", + "status": "signed" + }, + "subject": { + "component": "dalek-ed25519-verified", + "kind": "ed25519", + "repo_commit": "33fb8bb2311c70ead2e83c060ad5149d46ab44de", + "repo_url": "https://github.com/saymrwulf/dalek-ed25519-verified.git", + "verification_dir": "verification", + "verified_backend": "serial/u64" + } + }, + "schema_version": 1, + "type": "pacta.transparency.attestation_leaf.v1" + }, + "leaf_hash": "072b178a18d64012987903179d634cf22d1378d71f7e2a0d79fa29c95b0c3856" +} diff --git a/entries/000009.json b/entries/000009.json new file mode 100644 index 0000000..a7dae4f --- /dev/null +++ b/entries/000009.json @@ -0,0 +1,341 @@ +{ + "index": 9, + "leaf": { + "attestation": { + "certificates": [ + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.fieldImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.edwardsImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "ScalarProofs.scalarImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.verify_loop_full", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.to_bytes_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.ed_compress_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "ScalarProofs.from_bytes_mod_order_wide_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.vartime_dsm_basepoint_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.enc_point_inj", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.sqrt_ratio_i_sq_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.from_bytes_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.decompress_of_canonical", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "ed_sigs.sha512_hash3", + "ed25519.Signature.r_bytes", + "ed25519.Signature.s_bytes" + ], + "name": "CurveFieldProofs.verify_accepts_iff", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "ed_sigs.sha512_hash3", + "ed25519.Signature.r_bytes", + "ed25519.Signature.s_bytes" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "ed_sigs.sha512_hash3", + "ed25519.Signature.r_bytes", + "ed25519.Signature.s_bytes" + ], + "name": "CurveFieldProofs.verify_accepts_iff_point", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "ed_sigs.sha512_hash3", + "ed25519.Signature.r_bytes", + "ed25519.Signature.s_bytes" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "ed_sigs.sha512_hash3", + "ed25519.Signature.r_bytes", + "ed25519.Signature.s_bytes" + ], + "name": "CurveFieldProofs.verify_accepts_iff_point_eq", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "ed_sigs.sha512_hash3", + "ed25519.Signature.r_bytes", + "ed25519.Signature.s_bytes" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "ed_sigs.sha512_hash3", + "ed25519.Signature.r_bytes", + "ed25519.Signature.s_bytes" + ], + "name": "CurveFieldProofs.verify_accepts_iff_decompress", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "ed_sigs.sha512_hash3", + "ed25519.Signature.r_bytes", + "ed25519.Signature.s_bytes" + ], + "status": "proven" + } + ], + "environment": { + "env_script": "/home/oho/aeneas-toolchain/env.sh", + "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", + "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", + "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" + }, + "issued_at": "2026-07-07T18:11:52Z", + "machine_protection": { + "lean_guard": "verification/lean-guard", + "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." + }, + "provider": "local-pacta-provider", + "replay": { + "axiom_attempted": true, + "axiom_diagnostics": [], + "axiom_log_path": "provider/out/logs/axiom-audit.log", + "axiom_ok": true, + "check_attempted": true, + "check_log_path": "provider/out/logs/lean-check.log", + "check_ok": true, + "checked_files": 58, + "diagnostics": [], + "failed_files": [] + }, + "schema_version": 1, + "signature": { + "payload_digest_sha256": "85680e6f68a50822fa166af1241342137e10fcc0dea6e8a9113602ada6066fe3", + "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", + "scheme": "openssl-ed25519", + "signature_base64": "uYKqzHsowQ8M15Uci6cPt3u2ZNQ5AWL0H8Sya04dfTYxHZzbPo6laWTR+yV5A4uIRem6EZCBDARO2AzfF/S6Dw==", + "signing_backend": "verified-dalek-serial", + "status": "signed" + }, + "subject": { + "component": "anza-ed25519-verified", + "kind": "ed25519", + "repo_commit": "25b73f1778de0084eb0166a934df95c186c9ef01", + "repo_url": "https://github.com/saymrwulf/anza-ed25519-verified.git", + "verification_dir": "verification", + "verified_backend": "serial/u64" + } + }, + "schema_version": 1, + "type": "pacta.transparency.attestation_leaf.v1" + }, + "leaf_hash": "b1034bc68193c9c4eeee03289acd5641fc514615900cba7ee2457eaf25ef743b" +} diff --git a/entries/000010.json b/entries/000010.json new file mode 100644 index 0000000..02ef57d --- /dev/null +++ b/entries/000010.json @@ -0,0 +1,349 @@ +{ + "index": 10, + "leaf": { + "attestation": { + "certificates": [ + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.fieldImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.edwardsImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "ScalarProofs.scalarImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.verify_loop_full", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.to_bytes_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.ed_compress_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "ScalarProofs.from_bytes_mod_order_wide_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.vartime_dsm_basepoint_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.enc_point_inj", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.sqrt_ratio_i_sq_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.from_bytes_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.decompress_of_canonical", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff_point", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff_point_eq", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff_decompress", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + } + ], + "environment": { + "env_script": "/home/oho/aeneas-toolchain/env.sh", + "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", + "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", + "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" + }, + "issued_at": "2026-07-07T18:41:39Z", + "machine_protection": { + "lean_guard": "verification/lean-guard", + "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." + }, + "provider": "local-pacta-provider", + "replay": { + "axiom_attempted": true, + "axiom_diagnostics": [], + "axiom_log_path": "provider/out/logs/axiom-audit.log", + "axiom_ok": true, + "check_attempted": true, + "check_log_path": "provider/out/logs/lean-check.log", + "check_ok": true, + "checked_files": 63, + "diagnostics": [], + "failed_files": [] + }, + "schema_version": 1, + "signature": { + "payload_digest_sha256": "bdfe7a3e9d00bb2385ec44ba42d127b21b89cd92138f33734ecdff4f1f590a85", + "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", + "scheme": "openssl-ed25519", + "signature_base64": "0zDYOCiHyiLpbHp6JuHXkHpA2XYFHCnTJ90nAqDmgckkvWz8KeTYvDYnHsRQWipiKJ4QwrrvxMrQD6h5M40aBw==", + "signing_backend": "verified-dalek-serial", + "status": "signed" + }, + "subject": { + "component": "risc0-ed25519-verified", + "kind": "ed25519", + "repo_commit": "d3318b6f7912e5a86076c0994e3641b0b4a9593d", + "repo_url": "https://github.com/saymrwulf/risc0-ed25519-verified.git", + "verification_dir": "verification", + "verified_backend": "serial/u64" + } + }, + "schema_version": 1, + "type": "pacta.transparency.attestation_leaf.v1" + }, + "leaf_hash": "ed368f5f9b3714b5c633bc55971b61c31af55a8022ac9fb567515810007b527f" +} diff --git a/entries/000011.json b/entries/000011.json new file mode 100644 index 0000000..e89938d --- /dev/null +++ b/entries/000011.json @@ -0,0 +1,349 @@ +{ + "index": 11, + "leaf": { + "attestation": { + "certificates": [ + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.fieldImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.edwardsImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "ScalarProofs.scalarImplementation", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.verify_loop_full", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.to_bytes_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.ed_compress_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "ScalarProofs.from_bytes_mod_order_wide_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.vartime_dsm_basepoint_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.enc_point_inj", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.sqrt_ratio_i_sq_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.from_bytes_spec", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "name": "CurveFieldProofs.decompress_of_canonical", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff_point", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff_point_eq", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + }, + { + "axiom_status": "clean", + "diagnostics": [], + "expected_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "name": "CurveFieldProofs.verify_accepts_iff_decompress", + "observed_axioms": [ + "propext", + "Classical.choice", + "Quot.sound", + "ed25519.Signature", + "verifying.sha512_hash3", + "ed25519.Signature.to_bytes", + "signature.error.Error", + "signature.error.Error.new" + ], + "status": "proven" + } + ], + "environment": { + "env_script": "/home/oho/aeneas-toolchain/env.sh", + "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", + "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", + "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" + }, + "issued_at": "2026-07-07T19:11:37Z", + "machine_protection": { + "lean_guard": "verification/lean-guard", + "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." + }, + "provider": "local-pacta-provider", + "replay": { + "axiom_attempted": true, + "axiom_diagnostics": [], + "axiom_log_path": "provider/out/logs/axiom-audit.log", + "axiom_ok": true, + "check_attempted": true, + "check_log_path": "provider/out/logs/lean-check.log", + "check_ok": true, + "checked_files": 63, + "diagnostics": [], + "failed_files": [] + }, + "schema_version": 1, + "signature": { + "payload_digest_sha256": "4493f174338d5d349085d75ddb62f9eb567ddd3371556386fafe7c83bbf6c360", + "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", + "scheme": "openssl-ed25519", + "signature_base64": "4sDjmCz3m1E6sa0+qmVhR/D8yl5zuShFbp33w6SBl4LVw8hLk/lGycRv75XtrabkUFEpISbZMaAWQmPP9ipiCg==", + "signing_backend": "verified-dalek-serial", + "status": "signed" + }, + "subject": { + "component": "betrusted-ed25519-verified", + "kind": "ed25519", + "repo_commit": "7b9ef53e488b739ba09a8caf5c2efc3f575db8cc", + "repo_url": "https://github.com/saymrwulf/betrusted-ed25519-verified.git", + "verification_dir": "verification", + "verified_backend": "serial/u64" + } + }, + "schema_version": 1, + "type": "pacta.transparency.attestation_leaf.v1" + }, + "leaf_hash": "ad7ccbb6def18dccba7176f4be36ad1ce731c1456672c19310e73e87c4f312df" +} diff --git a/entries/anza-ed25519-verified.attestation.json b/entries/anza-ed25519-verified.attestation.json index 10a58d7..e16e1cc 100644 --- a/entries/anza-ed25519-verified.attestation.json +++ b/entries/anza-ed25519-verified.attestation.json @@ -290,14 +290,14 @@ } ], "environment": { - "env_script": "~/aeneas-toolchain/env.sh", + "env_script": "/home/oho/aeneas-toolchain/env.sh", "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" }, - "issued_at": "2026-07-06T11:51:00Z", + "issued_at": "2026-07-07T18:11:52Z", "machine_protection": { - "lean_guard": "/home/oho/GitClone/Claude/FormalVerification/anza-ed25519-verified/verification/lean-guard", + "lean_guard": "verification/lean-guard", "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." }, "provider": "local-pacta-provider", @@ -315,16 +315,17 @@ }, "schema_version": 1, "signature": { - "payload_digest_sha256": "ff36182e67d083ac442fce5026fe31ae8127b4f04bc6b5a85b70c9cae9ed8f8d", + "payload_digest_sha256": "85680e6f68a50822fa166af1241342137e10fcc0dea6e8a9113602ada6066fe3", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "fFGMNOf1a1sk14Cu2BLP2Dl4DWcipXJiPe7KlZuHyCXyhz91NEuLr4VObIa4wP9J61PThXwVwLDEnnHuOH6BCA==", + "signature_base64": "uYKqzHsowQ8M15Uci6cPt3u2ZNQ5AWL0H8Sya04dfTYxHZzbPo6laWTR+yV5A4uIRem6EZCBDARO2AzfF/S6Dw==", + "signing_backend": "verified-dalek-serial", "status": "signed" }, "subject": { "component": "anza-ed25519-verified", "kind": "ed25519", - "repo_commit": "673c15e10a082788f7965fcb0faeefcca0d15136", + "repo_commit": "25b73f1778de0084eb0166a934df95c186c9ef01", "repo_url": "https://github.com/saymrwulf/anza-ed25519-verified.git", "verification_dir": "verification", "verified_backend": "serial/u64" diff --git a/entries/betrusted-ed25519-verified.attestation.json b/entries/betrusted-ed25519-verified.attestation.json index 8b82f89..c413ae3 100644 --- a/entries/betrusted-ed25519-verified.attestation.json +++ b/entries/betrusted-ed25519-verified.attestation.json @@ -298,14 +298,14 @@ } ], "environment": { - "env_script": "~/aeneas-toolchain/env.sh", + "env_script": "/home/oho/aeneas-toolchain/env.sh", "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" }, - "issued_at": "2026-07-06T12:51:28Z", + "issued_at": "2026-07-07T19:11:37Z", "machine_protection": { - "lean_guard": "/home/oho/GitClone/Claude/FormalVerification/betrusted-ed25519-verified/verification/lean-guard", + "lean_guard": "verification/lean-guard", "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." }, "provider": "local-pacta-provider", @@ -323,16 +323,17 @@ }, "schema_version": 1, "signature": { - "payload_digest_sha256": "bb1226fa66ae0e51677ccc8c8361ba121ac5464911f1cb9e305ff7c76b7d2c57", + "payload_digest_sha256": "4493f174338d5d349085d75ddb62f9eb567ddd3371556386fafe7c83bbf6c360", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "Lsxje95BPXHfc7l3wxQrRvDgG/5tb7WNaO3wIDsfY/xg/WYRDFrWF3Bb6frs0Dmln00QxA99Gt43PMxLUHq0Ag==", + "signature_base64": "4sDjmCz3m1E6sa0+qmVhR/D8yl5zuShFbp33w6SBl4LVw8hLk/lGycRv75XtrabkUFEpISbZMaAWQmPP9ipiCg==", + "signing_backend": "verified-dalek-serial", "status": "signed" }, "subject": { "component": "betrusted-ed25519-verified", "kind": "ed25519", - "repo_commit": "81f614a3cbd26412c6af7f0a31c0f128121fbfa4", + "repo_commit": "7b9ef53e488b739ba09a8caf5c2efc3f575db8cc", "repo_url": "https://github.com/saymrwulf/betrusted-ed25519-verified.git", "verification_dir": "verification", "verified_backend": "serial/u64" diff --git a/entries/dalek-ed25519-verified.attestation.json b/entries/dalek-ed25519-verified.attestation.json index 9a3bb82..564a0b3 100644 --- a/entries/dalek-ed25519-verified.attestation.json +++ b/entries/dalek-ed25519-verified.attestation.json @@ -322,14 +322,14 @@ } ], "environment": { - "env_script": "~/aeneas-toolchain/env.sh", + "env_script": "/home/oho/aeneas-toolchain/env.sh", "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" }, - "issued_at": "2026-07-06T11:21:25Z", + "issued_at": "2026-07-07T16:48:27Z", "machine_protection": { - "lean_guard": "/home/oho/GitClone/Claude/FormalVerification/dalek-ed25519-verified/verification/lean-guard", + "lean_guard": "verification/lean-guard", "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." }, "provider": "local-pacta-provider", @@ -347,16 +347,17 @@ }, "schema_version": 1, "signature": { - "payload_digest_sha256": "ba9c3de2b75af13cd79aaaf1226a07c3e671f2d5fe06dd2a33810588dfe21571", + "payload_digest_sha256": "7e93a37ad82a2be59e5ed4a09a25f8965dfff59dd04f52360a89abc839f17066", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "Ec0xxNT6PeyuNXUncaeZN9iDJN/q3W/WenqGrx3qWDfYu9xK5Hq7e4zLALqZKrNCBaPXBm4oSYKUd1qSNoWSBg==", + "signature_base64": "YYAaLhDMC6TqUcZK9QKkpmE5ZQPr/XxsMULWcHKM5A6xjf1vbS/MFUU0++uKNLtROzlF0OeaYgygAYfdlQdmDg==", + "signing_backend": "verified-dalek-serial", "status": "signed" }, "subject": { "component": "dalek-ed25519-verified", "kind": "ed25519", - "repo_commit": "8ded7bcf9a1f0016cee93f371796b935b25b7ff8", + "repo_commit": "33fb8bb2311c70ead2e83c060ad5149d46ab44de", "repo_url": "https://github.com/saymrwulf/dalek-ed25519-verified.git", "verification_dir": "verification", "verified_backend": "serial/u64" diff --git a/entries/risc0-ed25519-verified.attestation.json b/entries/risc0-ed25519-verified.attestation.json index 9f420e7..68fa345 100644 --- a/entries/risc0-ed25519-verified.attestation.json +++ b/entries/risc0-ed25519-verified.attestation.json @@ -298,14 +298,14 @@ } ], "environment": { - "env_script": "~/aeneas-toolchain/env.sh", + "env_script": "/home/oho/aeneas-toolchain/env.sh", "lake_version": "Lake version 5.0.0-src+3dc1a08 (Lean version 4.30.0-rc2)", "lean_project_dir": "/home/oho/aeneas-toolchain/aeneas/backends/lean", "lean_version": "Lean (version 4.30.0-rc2, x86_64-unknown-linux-gnu, commit 3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc, Release)" }, - "issued_at": "2026-07-06T12:21:40Z", + "issued_at": "2026-07-07T18:41:39Z", "machine_protection": { - "lean_guard": "/home/oho/GitClone/Claude/FormalVerification/risc0-ed25519-verified/verification/lean-guard", + "lean_guard": "verification/lean-guard", "note": "All Lean compiles route through the repo's lean-guard (memory cap, core pinning, timeout, single-flight lock) when configured." }, "provider": "local-pacta-provider", @@ -323,16 +323,17 @@ }, "schema_version": 1, "signature": { - "payload_digest_sha256": "d921c5d45f8300eecc0299fc3e11506df67751506b52cda35fb61d517b27712b", + "payload_digest_sha256": "bdfe7a3e9d00bb2385ec44ba42d127b21b89cd92138f33734ecdff4f1f590a85", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "iwi/AR0wLQiGF6p/jBr/3PV01d2m3lmQOXfc/00axng9Tj/YUymGejWuUi1ZleZL1X0cA9NTNKc5bbIT8AyPDA==", + "signature_base64": "0zDYOCiHyiLpbHp6JuHXkHpA2XYFHCnTJ90nAqDmgckkvWz8KeTYvDYnHsRQWipiKJ4QwrrvxMrQD6h5M40aBw==", + "signing_backend": "verified-dalek-serial", "status": "signed" }, "subject": { "component": "risc0-ed25519-verified", "kind": "ed25519", - "repo_commit": "98a13a68539b20ac0279876848aea3687e523462", + "repo_commit": "d3318b6f7912e5a86076c0994e3641b0b4a9593d", "repo_url": "https://github.com/saymrwulf/risc0-ed25519-verified.git", "verification_dir": "verification", "verified_backend": "serial/u64" diff --git a/latest-sth.json b/latest-sth.json index a02637a..531c7ba 100644 --- a/latest-sth.json +++ b/latest-sth.json @@ -1,21 +1,21 @@ { "hash_algorithm": "RFC9162_SHA256", "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", - "root_hash": "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283", + "root_hash": "bcd15f9d7ea1c9e5bd0a9e64fa8d846208b1e29ee167d4f1eac19b30e6913ee9", "schema_version": 1, "signatures": { "ed25519": { - "payload_digest_sha256": "c9a3c000d448ebd35e313fac0c9ce0e1dc88ff03540b0828e5246407c75e2a1a", + "payload_digest_sha256": "fab790262c7e1b1eadc0fbf1d10481da0984cd7b99d6e19d98820d2c33d5f34d", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "P8M4gjB7BCZblUvRtvJnbjfaTYKU4oO0/2LZwzpHIgp9fmOXGZqkqi7UaP5Fn1Kx4+RJSgyI2nnnK1pLpkV8CQ==", + "signature_base64": "GYsT/T61aokWWbv+dqrMt1CtJTeGAC/aX0K1MazlXDo7tpEiex3O1uvox9mU/FWFIxwuBg/l2X8gB0DjYjc1Cw==", "signing_backend": "verified-dalek-serial", "signing_provenance": { "self_inclusion": "verified", "signing_backend": "verified-dalek-serial", "signing_library_certificates_proven": "16/16", "signing_library_component": "dalek-ed25519-verified", - "signing_library_leaf_index": 4, + "signing_library_leaf_index": 8, "signing_library_source_commit": "aa0f6abc327ba2a54a534b21608ca8996cf73682" }, "status": "signed" @@ -27,7 +27,7 @@ "status": "not_configured" } }, - "timestamp": "2026-07-06T13:59:16Z", - "tree_size": 8, + "timestamp": "2026-07-07T19:12:17Z", + "tree_size": 12, "type": "pacta.transparency.signed_tree_head.v1" } diff --git a/receipts/anza-ed25519-verified.receipt.json b/receipts/anza-ed25519-verified.receipt.json index 1acea34..6383718 100644 --- a/receipts/anza-ed25519-verified.receipt.json +++ b/receipts/anza-ed25519-verified.receipt.json @@ -1,32 +1,32 @@ { "hash_algorithm": "RFC9162_SHA256", "inclusion_proof": [ - "ca164b6cf11aec6a4c8de2d18c2c2fa04c9323657bd7daf4e7111869201bfec2", - "3bb1e72abbc9c0b945dafde303acdab123996e41faeab49a35563886b1b41e96", - "04541cffd46cf5a97d7453ed8ae681b1a1fedb879eb8c7a262e05b3176159eed" + "072b178a18d64012987903179d634cf22d1378d71f7e2a0d79fa29c95b0c3856", + "906823a87681cb8b448d0cb04a36a8f3e0583e2a13259fa849b55506ba903134", + "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283" ], - "leaf_hash": "33523f3ea6b6eab72696eead8534d0b7cac78feb60cc3907ac973a24f37adb95", - "leaf_index": 5, + "leaf_hash": "b1034bc68193c9c4eeee03289acd5641fc514615900cba7ee2457eaf25ef743b", + "leaf_index": 9, "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", "schema_version": 1, "sth": { "hash_algorithm": "RFC9162_SHA256", "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", - "root_hash": "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283", + "root_hash": "bcd15f9d7ea1c9e5bd0a9e64fa8d846208b1e29ee167d4f1eac19b30e6913ee9", "schema_version": 1, "signatures": { "ed25519": { - "payload_digest_sha256": "c9a3c000d448ebd35e313fac0c9ce0e1dc88ff03540b0828e5246407c75e2a1a", + "payload_digest_sha256": "fab790262c7e1b1eadc0fbf1d10481da0984cd7b99d6e19d98820d2c33d5f34d", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "P8M4gjB7BCZblUvRtvJnbjfaTYKU4oO0/2LZwzpHIgp9fmOXGZqkqi7UaP5Fn1Kx4+RJSgyI2nnnK1pLpkV8CQ==", + "signature_base64": "GYsT/T61aokWWbv+dqrMt1CtJTeGAC/aX0K1MazlXDo7tpEiex3O1uvox9mU/FWFIxwuBg/l2X8gB0DjYjc1Cw==", "signing_backend": "verified-dalek-serial", "signing_provenance": { "self_inclusion": "verified", "signing_backend": "verified-dalek-serial", "signing_library_certificates_proven": "16/16", "signing_library_component": "dalek-ed25519-verified", - "signing_library_leaf_index": 4, + "signing_library_leaf_index": 8, "signing_library_source_commit": "aa0f6abc327ba2a54a534b21608ca8996cf73682" }, "status": "signed" @@ -38,10 +38,10 @@ "status": "not_configured" } }, - "timestamp": "2026-07-06T13:59:16Z", - "tree_size": 8, + "timestamp": "2026-07-07T19:12:17Z", + "tree_size": 12, "type": "pacta.transparency.signed_tree_head.v1" }, - "tree_size": 8, + "tree_size": 12, "type": "pacta.transparency.receipt.v1" } diff --git a/receipts/betrusted-ed25519-verified.receipt.json b/receipts/betrusted-ed25519-verified.receipt.json index d1373cd..8935b0f 100644 --- a/receipts/betrusted-ed25519-verified.receipt.json +++ b/receipts/betrusted-ed25519-verified.receipt.json @@ -1,32 +1,32 @@ { "hash_algorithm": "RFC9162_SHA256", "inclusion_proof": [ - "bdde4e4b87cd263b5914dbbae0c85ceed468c3054596f6ca79121e54cc6a134e", - "f3724e66715b582c384cf49928d4705458475ea4293749989c483ab7fe9496ce", - "04541cffd46cf5a97d7453ed8ae681b1a1fedb879eb8c7a262e05b3176159eed" + "ed368f5f9b3714b5c633bc55971b61c31af55a8022ac9fb567515810007b527f", + "3253f2e4dcb5515e0caf021b1e4a257a15bd04df969aaf08174da745d72cd00f", + "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283" ], - "leaf_hash": "2791c352956ebc620a4fe12b20bfd6faa0813238c5bc0563fa4eb0130d829247", - "leaf_index": 7, + "leaf_hash": "ad7ccbb6def18dccba7176f4be36ad1ce731c1456672c19310e73e87c4f312df", + "leaf_index": 11, "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", "schema_version": 1, "sth": { "hash_algorithm": "RFC9162_SHA256", "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", - "root_hash": "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283", + "root_hash": "bcd15f9d7ea1c9e5bd0a9e64fa8d846208b1e29ee167d4f1eac19b30e6913ee9", "schema_version": 1, "signatures": { "ed25519": { - "payload_digest_sha256": "c9a3c000d448ebd35e313fac0c9ce0e1dc88ff03540b0828e5246407c75e2a1a", + "payload_digest_sha256": "fab790262c7e1b1eadc0fbf1d10481da0984cd7b99d6e19d98820d2c33d5f34d", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "P8M4gjB7BCZblUvRtvJnbjfaTYKU4oO0/2LZwzpHIgp9fmOXGZqkqi7UaP5Fn1Kx4+RJSgyI2nnnK1pLpkV8CQ==", + "signature_base64": "GYsT/T61aokWWbv+dqrMt1CtJTeGAC/aX0K1MazlXDo7tpEiex3O1uvox9mU/FWFIxwuBg/l2X8gB0DjYjc1Cw==", "signing_backend": "verified-dalek-serial", "signing_provenance": { "self_inclusion": "verified", "signing_backend": "verified-dalek-serial", "signing_library_certificates_proven": "16/16", "signing_library_component": "dalek-ed25519-verified", - "signing_library_leaf_index": 4, + "signing_library_leaf_index": 8, "signing_library_source_commit": "aa0f6abc327ba2a54a534b21608ca8996cf73682" }, "status": "signed" @@ -38,10 +38,10 @@ "status": "not_configured" } }, - "timestamp": "2026-07-06T13:59:16Z", - "tree_size": 8, + "timestamp": "2026-07-07T19:12:17Z", + "tree_size": 12, "type": "pacta.transparency.signed_tree_head.v1" }, - "tree_size": 8, + "tree_size": 12, "type": "pacta.transparency.receipt.v1" } diff --git a/receipts/dalek-ed25519-verified.receipt.json b/receipts/dalek-ed25519-verified.receipt.json index c68e6eb..d715552 100644 --- a/receipts/dalek-ed25519-verified.receipt.json +++ b/receipts/dalek-ed25519-verified.receipt.json @@ -1,32 +1,32 @@ { "hash_algorithm": "RFC9162_SHA256", "inclusion_proof": [ - "33523f3ea6b6eab72696eead8534d0b7cac78feb60cc3907ac973a24f37adb95", - "3bb1e72abbc9c0b945dafde303acdab123996e41faeab49a35563886b1b41e96", - "04541cffd46cf5a97d7453ed8ae681b1a1fedb879eb8c7a262e05b3176159eed" + "b1034bc68193c9c4eeee03289acd5641fc514615900cba7ee2457eaf25ef743b", + "906823a87681cb8b448d0cb04a36a8f3e0583e2a13259fa849b55506ba903134", + "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283" ], - "leaf_hash": "ca164b6cf11aec6a4c8de2d18c2c2fa04c9323657bd7daf4e7111869201bfec2", - "leaf_index": 4, + "leaf_hash": "072b178a18d64012987903179d634cf22d1378d71f7e2a0d79fa29c95b0c3856", + "leaf_index": 8, "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", "schema_version": 1, "sth": { "hash_algorithm": "RFC9162_SHA256", "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", - "root_hash": "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283", + "root_hash": "bcd15f9d7ea1c9e5bd0a9e64fa8d846208b1e29ee167d4f1eac19b30e6913ee9", "schema_version": 1, "signatures": { "ed25519": { - "payload_digest_sha256": "c9a3c000d448ebd35e313fac0c9ce0e1dc88ff03540b0828e5246407c75e2a1a", + "payload_digest_sha256": "fab790262c7e1b1eadc0fbf1d10481da0984cd7b99d6e19d98820d2c33d5f34d", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "P8M4gjB7BCZblUvRtvJnbjfaTYKU4oO0/2LZwzpHIgp9fmOXGZqkqi7UaP5Fn1Kx4+RJSgyI2nnnK1pLpkV8CQ==", + "signature_base64": "GYsT/T61aokWWbv+dqrMt1CtJTeGAC/aX0K1MazlXDo7tpEiex3O1uvox9mU/FWFIxwuBg/l2X8gB0DjYjc1Cw==", "signing_backend": "verified-dalek-serial", "signing_provenance": { "self_inclusion": "verified", "signing_backend": "verified-dalek-serial", "signing_library_certificates_proven": "16/16", "signing_library_component": "dalek-ed25519-verified", - "signing_library_leaf_index": 4, + "signing_library_leaf_index": 8, "signing_library_source_commit": "aa0f6abc327ba2a54a534b21608ca8996cf73682" }, "status": "signed" @@ -38,10 +38,10 @@ "status": "not_configured" } }, - "timestamp": "2026-07-06T13:59:16Z", - "tree_size": 8, + "timestamp": "2026-07-07T19:12:17Z", + "tree_size": 12, "type": "pacta.transparency.signed_tree_head.v1" }, - "tree_size": 8, + "tree_size": 12, "type": "pacta.transparency.receipt.v1" } diff --git a/receipts/risc0-ed25519-verified.receipt.json b/receipts/risc0-ed25519-verified.receipt.json index db70514..f3515a7 100644 --- a/receipts/risc0-ed25519-verified.receipt.json +++ b/receipts/risc0-ed25519-verified.receipt.json @@ -1,32 +1,32 @@ { "hash_algorithm": "RFC9162_SHA256", "inclusion_proof": [ - "2791c352956ebc620a4fe12b20bfd6faa0813238c5bc0563fa4eb0130d829247", - "f3724e66715b582c384cf49928d4705458475ea4293749989c483ab7fe9496ce", - "04541cffd46cf5a97d7453ed8ae681b1a1fedb879eb8c7a262e05b3176159eed" + "ad7ccbb6def18dccba7176f4be36ad1ce731c1456672c19310e73e87c4f312df", + "3253f2e4dcb5515e0caf021b1e4a257a15bd04df969aaf08174da745d72cd00f", + "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283" ], - "leaf_hash": "bdde4e4b87cd263b5914dbbae0c85ceed468c3054596f6ca79121e54cc6a134e", - "leaf_index": 6, + "leaf_hash": "ed368f5f9b3714b5c633bc55971b61c31af55a8022ac9fb567515810007b527f", + "leaf_index": 10, "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", "schema_version": 1, "sth": { "hash_algorithm": "RFC9162_SHA256", "log_id": "205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7", - "root_hash": "9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283", + "root_hash": "bcd15f9d7ea1c9e5bd0a9e64fa8d846208b1e29ee167d4f1eac19b30e6913ee9", "schema_version": 1, "signatures": { "ed25519": { - "payload_digest_sha256": "c9a3c000d448ebd35e313fac0c9ce0e1dc88ff03540b0828e5246407c75e2a1a", + "payload_digest_sha256": "fab790262c7e1b1eadc0fbf1d10481da0984cd7b99d6e19d98820d2c33d5f34d", "public_key_fingerprint_sha256": "874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a", "scheme": "openssl-ed25519", - "signature_base64": "P8M4gjB7BCZblUvRtvJnbjfaTYKU4oO0/2LZwzpHIgp9fmOXGZqkqi7UaP5Fn1Kx4+RJSgyI2nnnK1pLpkV8CQ==", + "signature_base64": "GYsT/T61aokWWbv+dqrMt1CtJTeGAC/aX0K1MazlXDo7tpEiex3O1uvox9mU/FWFIxwuBg/l2X8gB0DjYjc1Cw==", "signing_backend": "verified-dalek-serial", "signing_provenance": { "self_inclusion": "verified", "signing_backend": "verified-dalek-serial", "signing_library_certificates_proven": "16/16", "signing_library_component": "dalek-ed25519-verified", - "signing_library_leaf_index": 4, + "signing_library_leaf_index": 8, "signing_library_source_commit": "aa0f6abc327ba2a54a534b21608ca8996cf73682" }, "status": "signed" @@ -38,10 +38,10 @@ "status": "not_configured" } }, - "timestamp": "2026-07-06T13:59:16Z", - "tree_size": 8, + "timestamp": "2026-07-07T19:12:17Z", + "tree_size": 12, "type": "pacta.transparency.signed_tree_head.v1" }, - "tree_size": 8, + "tree_size": 12, "type": "pacta.transparency.receipt.v1" } diff --git a/sth-history.jsonl b/sth-history.jsonl index 9da0d84..98f0741 100644 --- a/sth-history.jsonl +++ b/sth-history.jsonl @@ -1 +1,5 @@ {"hash_algorithm":"RFC9162_SHA256","log_id":"205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7","root_hash":"9a15b9a1379edc07ae43d3fc61b52dc4446b56770bff6538e88ed98746ac2283","schema_version":1,"signatures":{"ed25519":{"payload_digest_sha256":"c9a3c000d448ebd35e313fac0c9ce0e1dc88ff03540b0828e5246407c75e2a1a","public_key_fingerprint_sha256":"874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a","scheme":"openssl-ed25519","signature_base64":"P8M4gjB7BCZblUvRtvJnbjfaTYKU4oO0/2LZwzpHIgp9fmOXGZqkqi7UaP5Fn1Kx4+RJSgyI2nnnK1pLpkV8CQ==","signing_backend":"verified-dalek-serial","signing_provenance":{"self_inclusion":"verified","signing_backend":"verified-dalek-serial","signing_library_certificates_proven":"16/16","signing_library_component":"dalek-ed25519-verified","signing_library_leaf_index":4,"signing_library_source_commit":"aa0f6abc327ba2a54a534b21608ca8996cf73682"},"status":"signed"},"ml_dsa":{"reason":"A backend appears available, but no ML-DSA signing key was configured for this log.","scheme":"ML-DSA-65","standard":"FIPS 204","status":"not_configured"}},"timestamp":"2026-07-06T13:59:16Z","tree_size":8,"type":"pacta.transparency.signed_tree_head.v1"} +{"hash_algorithm":"RFC9162_SHA256","log_id":"205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7","root_hash":"c3f46a9c2081be0ef9f8520ae899a31df64bd04978cb682ca754e301b34f986e","schema_version":1,"signatures":{"ed25519":{"payload_digest_sha256":"20ba4efed6d6fabba655909c0581f200526b7b66248bc7482089a85fd1655cb4","public_key_fingerprint_sha256":"874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a","scheme":"openssl-ed25519","signature_base64":"ahB1t+6LbxI0gheYPY0Wt15rMimG5tsLq59B8LNr+3/gaoU8PmRIUXs26JHodxlSRTMqjXjYrUTcDZYj6IaGCA==","signing_backend":"verified-dalek-serial","signing_provenance":{"self_inclusion":"verified","signing_backend":"verified-dalek-serial","signing_library_certificates_proven":"16/16","signing_library_component":"dalek-ed25519-verified","signing_library_leaf_index":8,"signing_library_source_commit":"aa0f6abc327ba2a54a534b21608ca8996cf73682"},"status":"signed"},"ml_dsa":{"reason":"A backend appears available, but no ML-DSA signing key was configured for this log.","scheme":"ML-DSA-65","standard":"FIPS 204","status":"not_configured"}},"timestamp":"2026-07-07T19:12:16Z","tree_size":9,"type":"pacta.transparency.signed_tree_head.v1"} +{"hash_algorithm":"RFC9162_SHA256","log_id":"205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7","root_hash":"a3788367f56caeca89cc7d5545cf57a7dba8055a0ecd48fa2de8d793b3554dda","schema_version":1,"signatures":{"ed25519":{"payload_digest_sha256":"d036c0413cddf628c90cc6b5e36356dca11f9030eacfdecc2b9ab7ba46441267","public_key_fingerprint_sha256":"874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a","scheme":"openssl-ed25519","signature_base64":"GI1/V5DFmYM7FkHcPPR6obkm0lgGOx9XFe2d3aZkb0EGYtah6qc9dRia3oLDq6RHaDNR+/DH81CATij2HJltCA==","signing_backend":"verified-dalek-serial","signing_provenance":{"self_inclusion":"verified","signing_backend":"verified-dalek-serial","signing_library_certificates_proven":"16/16","signing_library_component":"dalek-ed25519-verified","signing_library_leaf_index":8,"signing_library_source_commit":"aa0f6abc327ba2a54a534b21608ca8996cf73682"},"status":"signed"},"ml_dsa":{"reason":"A backend appears available, but no ML-DSA signing key was configured for this log.","scheme":"ML-DSA-65","standard":"FIPS 204","status":"not_configured"}},"timestamp":"2026-07-07T19:12:16Z","tree_size":10,"type":"pacta.transparency.signed_tree_head.v1"} +{"hash_algorithm":"RFC9162_SHA256","log_id":"205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7","root_hash":"96f2a27d1a668a2dfe832d26e8870d997cec5447fa636b13d51ec25f441360b4","schema_version":1,"signatures":{"ed25519":{"payload_digest_sha256":"ed6632201f4eb36dd7d909ae37df8d82117125fbdaf6a733bf1c6483d3495ea7","public_key_fingerprint_sha256":"874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a","scheme":"openssl-ed25519","signature_base64":"kK9Ia8HyUBVeWVZlm7IVGyuBzrFS9S3sSn1vfUxlEr2u9hh+A02T+vYxeyPjXD7ZbUL6xlxx8qP5ul7wj5ZTDw==","signing_backend":"verified-dalek-serial","signing_provenance":{"self_inclusion":"verified","signing_backend":"verified-dalek-serial","signing_library_certificates_proven":"16/16","signing_library_component":"dalek-ed25519-verified","signing_library_leaf_index":8,"signing_library_source_commit":"aa0f6abc327ba2a54a534b21608ca8996cf73682"},"status":"signed"},"ml_dsa":{"reason":"A backend appears available, but no ML-DSA signing key was configured for this log.","scheme":"ML-DSA-65","standard":"FIPS 204","status":"not_configured"}},"timestamp":"2026-07-07T19:12:16Z","tree_size":11,"type":"pacta.transparency.signed_tree_head.v1"} +{"hash_algorithm":"RFC9162_SHA256","log_id":"205e4c389cb143e08f0d2d58bdc8e425e47e3cbe7f2108cc58bbe835d2cc41d7","root_hash":"bcd15f9d7ea1c9e5bd0a9e64fa8d846208b1e29ee167d4f1eac19b30e6913ee9","schema_version":1,"signatures":{"ed25519":{"payload_digest_sha256":"fab790262c7e1b1eadc0fbf1d10481da0984cd7b99d6e19d98820d2c33d5f34d","public_key_fingerprint_sha256":"874c8a008a607021528b2493fa1caf059f9d5c123d29193dfabc09a6d1e7a56a","scheme":"openssl-ed25519","signature_base64":"GYsT/T61aokWWbv+dqrMt1CtJTeGAC/aX0K1MazlXDo7tpEiex3O1uvox9mU/FWFIxwuBg/l2X8gB0DjYjc1Cw==","signing_backend":"verified-dalek-serial","signing_provenance":{"self_inclusion":"verified","signing_backend":"verified-dalek-serial","signing_library_certificates_proven":"16/16","signing_library_component":"dalek-ed25519-verified","signing_library_leaf_index":8,"signing_library_source_commit":"aa0f6abc327ba2a54a534b21608ca8996cf73682"},"status":"signed"},"ml_dsa":{"reason":"A backend appears available, but no ML-DSA signing key was configured for this log.","scheme":"ML-DSA-65","standard":"FIPS 204","status":"not_configured"}},"timestamp":"2026-07-07T19:12:17Z","tree_size":12,"type":"pacta.transparency.signed_tree_head.v1"}