Skip to content

Claims audit: x402 framing, verified invariants, and dropped qualifiers - #21

Merged
NemboKid merged 2 commits into
mainfrom
truth/claims-and-x402
Aug 2, 2026
Merged

Claims audit: x402 framing, verified invariants, and dropped qualifiers#21
NemboKid merged 2 commits into
mainfrom
truth/claims-and-x402

Conversation

@NemboKid

@NemboKid NemboKid commented Aug 2, 2026

Copy link
Copy Markdown
Contributor

Phase 1, items 5–7 of the post-review work order (F-2, F-3, F-5, F-6, F-9, F-10, F-11 + the full 1b x402 list).

x402 framing (review 1b, all five bullets)

  • Epithet corrected everywhere: "the payment protocol the ERC-8004 spec itself name-checks" (EIP-8004 explicitly disclaims payments).
  • "Why x402 + how sources were verified" passage added at report §9's paid-definition and on the linkage page where payments first appear on the site.
  • 18-of-20 / 9-exact corroboration now stated on the site (lib/linkage.ts gains the fields).
  • x402.org + x402scan.com linked at first mention; report headline says "138 largest EVM sellers"; "x402-style" hedge restored on EIP-3009 counts (incl. the §9 heading).

Other claim fixes

  • F-2: Solana is a third-party port, not "the same CREATE2 registries".
  • F-5: directory intro drops the unevidenced "no other tool in the ecosystem" universal.
  • F-6: rung 7's "cannot be submitted in the first place" is now verified, and cited: Blockscout-verified source of giveFeedback at 0x8004baa1…9b63 reverts owner, approved-for-all operator, and per-token approved address; confirmed by live eth_call simulation (incl. a state-override operator test). Upgradeable-proxy and second-wallet limits stated beside it.
  • F-9: "provably" dropped from the Morpho claim (no published trace).
  • F-10: as-of date on the x402scan-disclaimer sentence.
  • F-11: the site now says ERC-8004 is a Draft (methodology, beside the spec pin).

Mirror PR for the core repo's byte-identical report copy follows.

pnpm test green, tsc/eslint clean.

🤖 Generated with Claude Code

NemboKid and others added 2 commits August 2, 2026 08:37
The fallback copy of published-runs.json said schema 7, checker 0.6.0
for all four canonical runs; the database — and therefore the homepage's
provenance panel — says schema 5, checker 0.5.0. Same run, two
checkers, on one site. The wrong values belong to the 2026-08-01 rebuild
that produced the archives, not to the sweeps. Mirrors the core repo's
index correction (AgentCount/agentcount#15).

The checker line also stops truncating the -dirty marker off the commit:
shortening 987ce…-dirty to twelve characters made this page silently
claim a clean build the homepage was honestly reporting as dirty. The
marker stays displayed, a note explains what it means and states the
new standing policy (canonical runs sweep from clean commits only), and
runs rebuilt from the database now show their rebuild date.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
The census demands recomputability and named sources of everyone it
measures, and its own x402 framing fell short of that in five ways, all
found by the 2026-08 review:

* "x402, the ecosystem's own payment protocol" claimed a relationship
  the spec disclaims — ERC-8004 says payments are orthogonal to it. The
  epithet is now the verifiable one: the payment protocol the spec
  itself name-checks (x402Support).
* Nothing reader-facing said why x402 is the protocol-level signal or
  what the flag detects. Both the report (§9, beside the definition of
  "paid") and the linkage page now carry the passage: plain transfers
  are the primary measure, the x402-style flag is EIP-3009 co-occurrence,
  that signal is broader than x402 itself, and that is why it was
  cross-checked.
* The cross-check's result — 18 of 20 addresses corroborated, 9 exact —
  was in the report but never on the site. The linkage page states it.
* x402.org and x402scan.com are now linked at first mention; the
  x402scan-has-no-disclaimer sentence carries its as-of date.
* The headline's "138 largest x402 sellers" dropped the EVM qualifier
  that §§8-9 state correctly; 21 of the actual largest sellers are
  Solana addresses nobody tested. Restored.

Also from the review's claim audit: §8 no longer says Solana carries
"the same CREATE2 registries" (its ERC-8004 presence is a third-party
port); "provably Morpho vault yield" drops the "provably" no published
trace backs; the directory intro drops "no other tool in the ecosystem
can answer"; and the methodology page's contract-level-invariant claim
for rung 7 is now stated as verified rather than assumed — the deployed
Reputation Registry's source and a live eth_call simulation both revert
owner and operator feedback, with the upgradeability and second-wallet
limits stated beside it. The page also says, for the first time on the
site, that ERC-8004 is a Draft.

The core repo's copy of the report gets the identical edits in its own
PR, so the two files stay byte-identical.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@netlify

netlify Bot commented Aug 2, 2026

Copy link
Copy Markdown

Deploy Preview for agentcount-web ready!

Name Link
🔨 Latest commit 9a32958
🔍 Latest deploy log https://app.netlify.com/projects/agentcount-web/deploys/6a6ee6a5a81363000817f80f
😎 Deploy Preview https://deploy-preview-21--agentcount-web.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify project configuration.

@NemboKid
NemboKid merged commit e19128f into main Aug 2, 2026
6 checks passed
@NemboKid
NemboKid deleted the truth/claims-and-x402 branch August 2, 2026 08:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant