mirror of
https://github.com/saymrwulf/ltl-accumulator-verified.git
synced 2026-09-03 19:53:48 +00:00
mrwulf
2a886b6be9
The round-16 sweep went 49 GREEN, 1 RED, and the RED was this repository's Phase 4 refusing to run: PACTA SUBJECT MISMATCH, signing.py and transparency.py differing from the pin. That is pacta-subject-unpinned (round-8, GPT-5.6) firing on its first genuine drift — the gate built so that fidelity could never again count agreement with an unnamed program. The drift is known and intended: pacta 5e35a53 anchored the signer path to the package (register: signer-backend-depends-on-cwd) and a036624 added the additive slh_dsa block to make_signed_tree_head (operator decisions 2026-08-06). Re-pinned deliberately with pacta_pin.py --write: 5 modules at pacta a036624. PACTA-PIN.sha256's own entry in HARNESS.sha256 updated. Full instrument set re-run green at the re-pinned state: check.sh 92s, selftest_audit 280s, selftest-harness 0s, selftest_statements 38s. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
8 lines
579 B
Text
8 lines
579 B
Text
# pacta subject pinned by fidelity/pacta_pin.py --write
|
|
# commit a03662438a13cd1eba2fff3c35aded5f45093b06
|
|
# 5 module(s), discovered by import, not by glob
|
|
a1bcc5d700071f531e6fe16989884412cb3fb0f2702adfdf5212d4bc84eba2bc pacta/__init__.py
|
|
31dd6ab7b3121a433c7c8b082ec2d011d1958782470481137db0513a9822532d pacta/postquantum.py
|
|
bd3c7b150f13cfb92aef84b85b659d902d0728ce8559bf09f02ad2c79f65ea50 pacta/signing.py
|
|
157bcebbe0134226060a5bf2fd5650e1ad0320d7820777389398d1cdb92bc538 pacta/transparency.py
|
|
7130d5a770db7af4d294389625cf5f0c4228ed562b78bd7ca148ca010087d834 pacta/yamlio.py
|