ART-607 · Verify-Rails · EVM Interface Identity Family
ERC-1967 Proxy Slot Classifier
Recomputes the four canonical EIP-1967 storage slots fresh on every run (keccak256 of a fixed label, minus 1), then classifies a pasted (declared_slot, storage_value) pair: which role the slot matches, if any, and whether the value looks like the zero-padded address EIP-1967 expects there. Zero network calls: never reads live chain state.
Slots recomputed fresh, not hardcodedEIP-55 checksum on any embedded addressAddress/slot fact only: no upgrade-safety judgment
🔒 All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data — use synthetic or anonymised inputs only.
Scope: address/slot fact, never a safety judgment
declared_slot and storage_value are both values YOU read from your own eth_getStorageAt call or a block explorer; this tool never fetches them and cannot confirm they are current. A recognized slot with an address-shaped value says nothing about whether that implementation, admin, or beacon address is safe, audited, or behaves correctly.
Storage read (paste what you read from eth_getStorageAt)
Reference: canonical EIP-1967 slots (computed fresh on this page load)
Role
Slot
–
Matched Role
–
Overall Determination
Per-check findings
Check
Verdict
Detail
Embedded address
–
Compliance Flags
Not proven by this check
⚠ DECISION-SUPPORT DRAFT. Never an upgrade-safety, admin-trustworthiness, or implementation-safety judgment.
OpenChainGraph v0.4 artifact · execution_hash:
–
Ask your agent
Copy this paragraph into Claude, OpenClaw, or any MCP-aware agent to run this exact tool, with this sample, and verify the artifact.
Run the AINumbers MCP tool `classify_erc1967_proxy_slot`. Task: Recompute the four canonical EIP-1967 storage slots (bytes32(uint256(keccak256(label)) - 1) for the implementation, admin, beacon, and rollback labels) fresh on every call using the vendored keccak256 bundle already pinned in this repository, then classifies a caller-supplied (declared_slot, storage_value) pair: which of the four roles declared_slot matches, if any, and whether storage_value looks like the zero-padded 20-byte address EIP-1967 expects at that slot (extracting and EIP-55 checksumming the embedded address when it does).
Call it with arguments: {"policy_parameters":{}}
Verify before trusting: call `verify_execution_hash` on mcp.ainumbers.co (https://mcp.ainumbers.co/mcp) with the parameter `claimed_hash` set to the returned `execution_hash`, passing the full artifact the run returned (the object containing `policy_parameters` + `output_payload` + `execution_hash`; equivalently `policy_parameters` + `output_payload` with `claimed_hash`), not the bare hash string, or re-run the in-page WebMCP tool `classify_erc1967_proxy_slot`.
Return the ledger link https://ledger.ainumbers.co/ so a human can re-verify without contacting us.
PII rule: All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data — use synthetic or anonymised inputs only.
Open the tool with the sample prefilled: https://ainumbers.co/chaingraph/art-607-erc1967-proxy-slot-classifier.html#p=v1.H4sIAAAAAAAA_wECAP3_e31Dv6ajAgAAAA