Skip to content

History / Verifier Functions

Revisions

  • Describe SDK 1.0.0-alpha.18 and its one-read evidence check sigvara_verify_evidence confirms a finalized root's payments through Multicall3 from 1.0.0-alpha.18, published 8 November. SDK counts 371 in 19 files. Home's line names main 3908d04.

    @RunTimeAdmin RunTimeAdmin committed Nov 8, 2026
  • Match source link labels to the moved anchors

    @RunTimeAdmin RunTimeAdmin committed Nov 8, 2026
  • Move source anchors from 09b1e45 to 3908d04

    @RunTimeAdmin RunTimeAdmin committed Nov 8, 2026
  • Say both Base test payments are in finalized roots, and bring the rest up to main The smart-wallet payment, the contract's confirmation of a Base leaf, and that sigvara_verify_evidence in 1.0.0-alpha.17 can still fail on a long payment history. Home's line names main 09b1e45.

    @RunTimeAdmin RunTimeAdmin committed Nov 7, 2026
  • Say that Base Sepolia counts on both operators, and bring the rest up to main Base Sepolia on, its test payment and first audited proposal, MAX_READS on a scan, the SDK at 1.0.0-alpha.17 reading a payment chain's leaf, the renounce gate's new refusals, the Agents page's lobby, both operators on e3addfa, and the test counts. Home's line names main 8bbe91c.

    @RunTimeAdmin RunTimeAdmin committed Nov 7, 2026
  • Match source link labels to the moved anchors

    @RunTimeAdmin RunTimeAdmin committed Nov 7, 2026
  • Move source anchors from 5627f51 to 8bbe91c

    @RunTimeAdmin RunTimeAdmin committed Nov 7, 2026
  • Bring the wording to a417766: score age, testnet upgrades, batch limit, SDK alpha.16 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 5, 2026
  • Make source link labels say what the moved anchors point at Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 5, 2026
  • Move source anchors from 1252014 to a417766 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 5, 2026
  • Labels to match the anchors at aa0322d

    @RunTimeAdmin RunTimeAdmin committed Nov 5, 2026
  • Anchors from aa34e6f to aa0322d (2,063 moved on 54 pages; one link repointed to read-retry.js, where readWithBackoff now lives)

    @RunTimeAdmin RunTimeAdmin committed Nov 5, 2026
  • Update source link labels to the new line numbers Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 4, 2026
  • Re-pin source anchors to main 5262a3e Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 4, 2026
  • Payment chains, the event index's paging, the tunnel, the finished cycle, counts Sets R and S. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 4, 2026
  • Make link labels match their re-pinned anchors Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 3, 2026
  • Re-pin source links to main bef1068 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 3, 2026
  • Make link labels match their re-pinned anchors

    @RunTimeAdmin RunTimeAdmin committed Nov 3, 2026
  • Re-pin source line anchors to main e8816a3 (#164 to #169)

    @RunTimeAdmin RunTimeAdmin committed Nov 3, 2026
  • Correct what a review of the alpha.15 prose found A separate read of the previous commit against main b6baabd checked about 80 claims and found these, now fixed on 8 pages: - MCP Gated Tools now warns not to reuse a SigvaraGate's audience for sigvara-mcp, since a gate admits any fresh challenge signed for its audience. - sigvara_verify_evidence confirms up to the last 100 covered payments, not every one, and needs SIGVARA_EVIDENCE_URL off Arc testnet; the evidence pages say the same. - sigvara-mcp works with frameworks that start a local MCP server over stdio, not any that loads MCP servers. - The trust server is imported from dist/mcp, not the package root. - The reputation contract stores a finalized root and checks one leaf against it; it does not check roots. - The gate's rule applies when a threshold is given. - sigvara-mcp's sigvara_challenge is called by the checker, the reverse of the example server's tool of that name. - Lists left stale beside the change now include the alpha.15 exports, types, verifier reads, modules and sources. Checks: 5,787 source links and 4,613 anchors resolve in main b6baabd, 86 internal links resolve, 0 CR bytes, no long dash in new text, no Mermaid block changed. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 3, 2026
  • Describe SDK 1.0.0-alpha.15: the MCP trust server, evidence roots and the new reads 28 replacements on 20 pages, each asserted to match once: - The SDK pages describe 1.0.0-alpha.15, published to npm on 3 November 2026, with what is new since alpha.14: sigvara-mcp, the evidence-root functions and the verifier reads for a trust check. - MCP Gated Tools gains a section on the other direction, sigvara-mcp: its tools, the gate's rule without the proof, why the proof tools need an audience the agent can check, and which addresses to pay. - Verifier Functions no longer says the SDK leaves Merkle proofs to the oracle; the evidence pages name the SDK functions and the MCP tool. - SDK tests: 300 in 16 files, with mcp.test.ts and evidence.test.ts described. - Home names main b6baabd. Checks: 5,785 source links and 4,611 anchors resolve in main b6baabd, 86 internal links resolve; 0 CR bytes; no long dash in new text; all 532 Mermaid blocks parse and the changed one renders. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 3, 2026
  • Make the line numbers in the link labels match the anchors again Labels that named the line numbers of main 700a3ee now name their link's anchor. URLs are untouched, and the link checker finds every source link and anchor inside main b6baabd. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 3, 2026
  • Move the source-link anchors from main 700a3ee to b6baabd Main moved by four merges: the testnet state and counts in the README and whitepaper (#153), the MCP trust server (#154), evidence verification (#155) and the SDK release 1.0.0-alpha.15 (#156). Only the digits of line anchors change in this commit. Each was mapped through the git diff between the two commits and checked for the same first and last line of text (535 compared, 0 mismatching). Three ranges moved approximately: two README ranges whose last line is the reworded counts line, and packages/sdk/src/index.ts, which grew. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 3, 2026
  • Describe the 40 merges since 29 October, and bring the counts to 2 November Prose and counts for #112 to #152, 416 replacements on 64 pages, each asserted to match once: - Slashing: 75% burned and 25% to the victim, nothing to the committee (ADR 0007), VictimIsCommittee, the two-field SlashExecuted, and a reporter credit from before 2 November still claimable. The 3 October drill stays as the record of the earlier split. - Oracle bond: an operator's exit time is fixed when it starts to leave (unbondingClaimableAt), with the old rule for an exit started before the field existed. - Testnet: identity and reputation on fdce1a7, staking on 25c2d59, the oracle bond on 76bbc97, all verified on the explorer and reproduced by the build tagged arc-testnet-2026-11-02b. Ten claims that the testnet lagged main, false since 26 October, are corrected. - Handover: the known-Safe checks, SAFE_FACTORY and SAFE_CREATION_CALL, and the reconciliation report the renounce requires. - Builds and checks: check-bytecode, check-authz and the authorisation matrix, and the CI lists. - Oracle: payer-signed outcomes (ADR 0006), GET /outcomes and the import between operators, the 409 body, the checker judging a proposal by the evidence it was made on, state backups and restore drills, and the CounterAudit relay off in production. Both operators run cf76691. - SDK 1.0.0-alpha.14: atomicNonceStore, the gate's instances and profile settings, and signPaymentOutcome and verifyPaymentOutcome. - Site: the explorer, the epochs page and the labelled simulation. - Counts: 724 contract tests in 32 files (712 run without a fork URL, 12 skip), 852 oracle, 233 SDK in 14 files. Checks: 5,779 source links and 4,607 anchors resolve in main 700a3ee, and the 81 internal links resolve; 0 CR bytes; no long dash in new text; all 532 Mermaid blocks parse and the 19 changed ones render with no error. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 2, 2026
  • Make the line numbers in the link labels match the anchors again 1,670 labels on 71 pages named the line numbers of main 17cccb8; each now names its link's anchor. URLs are untouched (5,656 links compared, 0 problems), and the link checker finds every one of 5,770 source links and 4,599 anchors inside main 700a3ee. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 2, 2026
  • Move the source-link anchors from main 17cccb8 to 700a3ee Main moved by 40 merges (#112 to #152): payer-signed outcomes (ADR 0006), SDK 1.0.0-alpha.13 and alpha.14, the gate's production profile, the operations runbook and state backups, the handover Safe checks, the slash split without a committee share, the explorer, the testnet simulation, verifiable builds, the authorisation matrix and the oracle bond's fixed exit time. Only the digits of line anchors change in this commit: 1,670 anchors on 71 pages. Each was mapped through the git diff between the two commits and checked for the same first and last line of text (2,071 compared, 0 mismatching). Twelve ranges moved approximately because a line at their edge was edited: the slash event and its test, two README ranges ending on the reworded counts line, measuredFactorsFor in oracle/index.js, the gate's opening comment, and ranges in docs/arc.md, docs/counteraudit-integration.md, docs/payment-backed-attestations.md and oracle/README.md. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Nov 2, 2026
  • Describe 1.0.0-alpha.12 and bring the SDK test count to 201 The agent's blind signChallenge is gone in 1.0.0-alpha.12 (pull request 107, released by 108). A call does not compile in TypeScript, and in JavaScript it throws an error that names signChallengeFor. The pages that describe the SDK now say 1.0.0-alpha.12 and list the removal as new since alpha.11. Where a page said that signChallenge signs whatever it is handed, it now says that the method is removed and that alpha.9 has only it. The exported function signChallenge(payload, secretKey) is unchanged and stays where a page shows it. The class diagrams drop the method, and the sequence diagrams and the flowchart that showed an agent calling it show signChallengeFor(payload, audience) instead. The Home page names main 3e8faed. The SDK suite is 201 tests, not 197: 193 run and 8 skip without a live deployment, in 13 files, measured with CI=1 on a clean export of main 3e8faed. Six pages carried the old number. 62 replacements on 24 pages. 20 diagrams changed; all 532 still parse and the 20 render without an error or a clipped label. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Oct 29, 2026
  • Make the line numbers in the link labels match the anchors again 59 source links had a label whose line numbers no longer matched the anchor that the previous commit moved. The label now takes the anchor's range. Only the text between the square brackets of a link changed: the URLs are byte-identical and everything outside the labels is unchanged. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Oct 29, 2026
  • Move the source-link anchors from main 58d6b27 to 3e8faed Main moved by three commits: the test counts (ecc3dfa), the removal of the agent's blind signChallenge (9c38a44) and the 1.0.0-alpha.12 release (3e8faed). 59 line anchors on 16 pages moved: 37 into packages/sdk/src/agent.ts, 20 into packages/sdk/README.md and 2 into docs/ai-frameworks.md. Only the digits of an anchor changed. With every anchor replaced by #L, the old and new text of each page is identical, and the line endings are unchanged. Four ranges (eight anchors) have a first or last line that changed in the move: two in agent.ts, whose last line, the return of the removed method, is now the end of the stub that throws, and two in README.md, whose last line is the test count paragraph reworded on 29 October. They keep pointing at the same part of the file. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Oct 29, 2026
  • Make the line numbers in the link labels match the anchors again The label of a source link names the lines its anchor points at, and the previous commit moved 359 anchors, so their labels said the old numbers. Each label now takes the range of its anchor. The URLs are untouched, and nothing outside the square brackets of a link changes. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

    @RunTimeAdmin RunTimeAdmin committed Oct 29, 2026