File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ # BUILD RECEIPTS
2+
3+ Ledger of verified commits and claim boundaries for commit-gate-core.
4+
5+ ---
6+
7+ ## a624c970
8+
9+ ** Change:** README now exposes the local adversarial verifier command.
10+
11+ ** Held:**
12+ - Local proof path is discoverable from README
13+ - Adversarial verifier is present and runnable
14+ - Claim discipline is exposed from entry
15+ - CI workflow is committed
16+
17+ ** Not held:**
18+ - CI green proof
19+ - Connector-visible workflow success
20+ - Verified enforcement on every push
21+
22+ ** Safe claim:**
23+ The repo now exposes both the execution demo and the adversarial verification path from its primary entry surface.
24+
25+ ---
26+
27+ ## f56d9588
28+
29+ ** Change:** ` scripts/verify_adversarial_invariants.py ` added — local executable verifier for adversarial proof obligations.
30+
31+ ** Held:**
32+ - Local verification path exists
33+ - ADV-I / ADV-II / ADV-III evaluation present
34+ - PASS / FAIL receipts printed to stdout
35+ - Exits non-zero on invariant divergence
36+
37+ ** Not held:**
38+ - CI green proof
39+ - Connector-visible workflow success
40+
41+ ** Safe claim:**
42+ Local verification path exists. CI enforcement remains configured but not yet evidenced green.
43+
44+ ---
45+
46+ ## Claim boundary (standing)
47+
48+ Local verification is present and discoverable.
49+ CI enforcement remains configured but not yet evidenced green.
50+
51+ ---
52+
53+ * This ledger records verified state only. No claim is held until it is evidenced.*
You can’t perform that action at this time.
0 commit comments