Evidence row 55600

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-08-05T21:46:54.731806Z",
        "status": "deprecated",
        "statusChangedAt": "2026-09-11T06:02:40.154135Z",
        "statusMessage": "Migrated to io.github.vince-gonzalez/gonzalgo",
        "updatedAt": "2026-09-11T06:02:40.154135Z"
      }
    },
    "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.zengineco/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.2"
        }
      ],
      "repository": {
        "source": "github",
        "url": "https://github.com/zengineco/gonzalgo"
      },
      "title": "gonzalgo",
      "version": "0.5.2",
      "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":"bac0e894624a4338df05c6f5478d1f9b927a99b8a1b1cf3cf92c7c709913d7e9","id":55600,"kind":"listing","method":"baseline/1","observed_us":1793025435270725,"prev":null,"subject":"mcp_registry:io.github.zengineco/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. 0x435546e5ac33ff44714d39d6873464c1e167cf66d1074814b5e89383647f6c6f
2. 0x723881ba47b0b39561d2db16d4772fab9343d0855f93f8a48024edd2c135c767
3. 0x1fc8b9ca6756ec0fe099eb48e9ef626838d8a04a52e169e50d996e73140003d3
4. 0x026f60717a2055ccdc77e9f2d428cdc397fa59e20dd050b47e3c6de60dfc8db6
5. 0xfa70e4e32e1b2a451816039880de263cf615bba2e90b948d25661bdd1548c990
6. 0x58aa136022b5277aff975a82a97251479b5840d8c4d3941a1ed4a7e979dca74a
7. 0xe8e5c859c548989d9a01b82785776bb05457f06f9982b07cc880bb4ac9f47a72
8. 0xbe015026e1c568698a8dc09644f76e50a2abada13d1183dd1a7308f0873d74bf
9. 0xd64757f1197ae77307b4edaafc7842ac14514cdd3e1a40625e4f840219086110
10. 0xe51eded3c6d987da657485a61b7c2d0526ae91edd6ff00bcd8c57a597b1e7ae1
11. 0x5209b44231d259fd8508722a1ae64f1b73c7b7f19b456b1ecd950d5b281c35b6
12. 0x58f4330f9ac32da273a2a76d85bc0768d037638cddbd3d1f09d9b64094bfd942
13. 0xd406739acce2ba016f8d49081b15f266a4ea4a0b0fc5ef171c89c8fd2dda4d80
14. 0x8b27a4c21bf4ba962fd008c8f4300bc6953764a5032b9ab0cfe696b318c45326
15. 0x4b52a97f7a80ff7778a702b85267b8d2e5c93ce160942656435c29ae7be68bf4
16. 0x2e6a32eb32761c210560e852405e2f865f958ddbe01027894f8b9c1b3433b9f0
17. 0x9a83be955a206deb65b995adfd92c58fa31c95fbbf926bd199d300e70b08b26d
18. 0x20704208aa6923d6b2450ef74ede87a6e0265d46447926038fe9506e9e154b2d
19. 0x9b9ce5b74b9bab5121612ef6b64920a8d453cbf311096a423eef9702747e868a

Day root

0xf43e8dcc3d451a4788b26be904c55e8c4c0fa75c9666796c51db38d37e2c0df8

Chained

0x702d5ac508f08b0d1accf36af25822d8e5660367494edd17a642fb61e158a57a

Published

On Arc Testnet, block 69251483: 0x495162f8936e19f0039918feebe6c307f327cd6bf8c37219620b1970041fa9ae