Skip to content

Commit 580f13d

Browse files
docs: pin the registry counts to the merged evidence commit
Registry PR #68 merged as ee57e71, which is the first commit whose tree contains the witness evidence packet and the receipt tool. Point the proof note there so every claim in it holds at the pinned commit. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01RMuXK1es7dsRsPtvC5Tkpd
1 parent 7a45dbe commit 580f13d

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

registry/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,7 @@ <h1>Check the published history<br>of agent evidence</h1>
7979
<a href="https://pypi.org/project/trace-verify/"><strong>0.3.1</strong><span>Verifier on PyPI</span></a>
8080
<a href="#witness"><strong>1</strong><span>External checkpoint receipt</span></a>
8181
</div>
82-
<p class="proof-note">Two published entries and one checkpoint, counted at registry commit <code>6138335</code>. Neither entry is production evidence. Checkpoint 1 has a separately fetched, offline-verified external receipt. PyPI currently publishes <code>trace-verify 0.3.1</code>; the witness receipt tool and its dependency lock are in the registry repository.</p>
82+
<p class="proof-note">Two published entries and one checkpoint, counted at registry commit <code>ee57e71</code>. Neither entry is production evidence. Checkpoint 1 has a separately fetched, offline-verified external receipt. PyPI currently publishes <code>trace-verify 0.3.1</code>; the witness receipt tool and its dependency lock are in the registry repository.</p>
8383
</section>
8484

8585
<section id="problem">

0 commit comments

Comments
 (0)