Evidence row 54587

What was observed

{
  "endpoints": [
    [
      "web",
      "https://f-keys.com/gonzalgo/"
    ]
  ],
  "name": "gonzalgo",
  "owner_address": null,
  "raw": {
    "_meta": {
      "io.modelcontextprotocol.registry/official": {
        "isLatest": true,
        "publishedAt": "2026-09-11T06:02:18.277417Z",
        "status": "active",
        "statusChangedAt": "2026-09-11T06:02:18.277417Z",
        "updatedAt": "2026-09-11T06:02:18.277417Z"
      }
    },
    "server": {
      "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
      "description": "Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.",
      "name": "io.github.vince-gonzalez/gonzalgo",
      "packages": [
        {
          "identifier": "gonzalgo",
          "packageArguments": [
            {
              "description": "Starts the stdio server. Without it the binary runs the analysis CLI.",
              "isRequired": true,
              "type": "positional",
              "value": "mcp"
            }
          ],
          "registryBaseUrl": "https://pypi.org",
          "registryType": "pypi",
          "runtimeArguments": [
            {
              "description": "The MCP server lives behind an optional dependency so the analysis tools stay dependency-light for CLI-only users.",
              "isRequired": true,
              "name": "--from",
              "type": "named",
              "value": "gonzalgo[mcp]"
            }
          ],
          "runtimeHint": "uvx",
          "transport": {
            "type": "stdio"
          },
          "version": "0.5.6"
        }
      ],
      "repository": {
        "source": "github",
        "url": "https://github.com/vince-gonzalez/gonzalgo"
      },
      "title": "gonzalgo",
      "version": "0.5.6",
      "websiteUrl": "https://f-keys.com/gonzalgo/"
    }
  },
  "source": "mcp_registry",
  "summary": "Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms."
}

What the leaf hashes

{"body":"27cfc6e2a2efb5a74c31b389889a859bc856d78496ee855249de3207ef485257","id":54587,"kind":"listing","method":"baseline/1","observed_us":1793025433726040,"prev":null,"subject":"mcp_registry:io.github.vince-gonzalez/gonzalgo","subject_kind":"source_record"}

Proof

Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of 2026-10-26 (296695 rows).

1. 0xca3c29b53977bc8cb645a8df9c19e9c4418c25713ef86dae0d54ca1b53ba0490
2. 0x6ba263c39259912f05d43fbecae6f3849e04d51b61f2233cd7f7008605cb8662
3. 0x98f13f2fa5863d8adbe5360dee7d12c15136e71f1a6e8602331294b9cd496ef0
4. 0xf6e9075b8a3300fd52d1bec448392808aa53413d91cc67264c69e4a84cb99052
5. 0x19349e2ef29aee7212fe2eab545d195ccd1a5631b58ba77ca5207431effeae53
6. 0x6eaca5a075861d67d580a392fcbb21bb23e6f9b564bd47b4f73563b4700e7708
7. 0xc989051e8f941e1599422868d91cd79acfd014cd45b72205bd8191d1c09f9334
8. 0x1e0e089d8a207890eb46c3a595cd9a72e0ee76cf9c9f8de287ab94b774593e36
9. 0x84c18545062b687138a04ec6d5fb8d6b69f1f2850e8516717a683b9a013fe369
10. 0x4719c0a12991c8bf3ab50d032063f99f5636d69b18a7979b929637b7b4ffd483
11. 0x60eabf7e1a3db5892c30621c19c096fd56eb4ad1f2ace810471d00503c868d2b
12. 0x02a11c0460d1a42b6246e1c715f0c3098d82c39154a56e918e2c22b56ca2c978
13. 0x985acd37cc044d5aa6ad959194da8e91c81045df83517891ed92f1763a9ab825
14. 0x5b20d8aab05225a3497eadcce89d2e2a586a510fb31334793d3f46f88f0157c5
15. 0xe94ca5b798e9899ad611e57835af42266e20f53f44977e487d81365e30972beb
16. 0x703f95866af09c5e5d6ead7411e9a10f964a41a2aff64d4a55ff0053c023a023
17. 0xd0651cb9bc8155eb52b5247d506e74b8a935057dc190ba52091702ac25ed3a40
18. 0x9a9024edb5069d88a324facb310a5ce8e495214bbaa968f077bede437390194f
19. 0x9b9ce5b74b9bab5121612ef6b64920a8d453cbf311096a423eef9702747e868a

Day root

0xf43e8dcc3d451a4788b26be904c55e8c4c0fa75c9666796c51db38d37e2c0df8

Chained

0x702d5ac508f08b0d1accf36af25822d8e5660367494edd17a642fb61e158a57a

Published

On Arc Testnet, block 69251483: 0x495162f8936e19f0039918feebe6c307f327cd6bf8c37219620b1970041fa9ae