Chain
Canonical blocks filtered by decoded certificate geometry: shape class, noise rank, declared rows of A, dense or MoE declarations. Filters are exact and AND together. A shape class states consistency with the published mining stack and frozen model tables (PREREG-001); no class or match proves that real inference occurred or that the declared matmul ran.
All optional; filters are exact and AND together. Changing one restarts paging from the tip.
Newest first, paged backwards by height like the blocks list.
A class is a statement of shape consistency (PREREG-001). A T1 failure proves the block was not produced by the unmodified published stack; no class proves inference occurred or that the declared matmul ran. Declared dimensions are what the miner claims was multiplied; the ZK proof covers at most tileSize ≤ 256 output entries of the result, never the full declared matmul, and never a measure of AI work performed.
Unit of analysis: canonical blocks with a decoded certificate at the current decoder version. A canonical block whose certificate is not decoded is outside the search space, never counted as a non-match. The match count is exact, computed in the same snapshot as the page shown, and the payload states its basis beside the count. Miner addresses are coinbase addresses, not entities: one operator can span several addresses, and a block whose coinbase pays no decodable address shows none.