claim narrative

authored prose — context, never evidence. the projection it belongs to is u.agora.claim.2026-10-28.computed.theorem15.bf-size-x-eq-size-x-chunk-t01-500-trees-fuel-400k.

Theorem-15, chunk t01: 500 trees, one run computing the pair (bf size X, size
X) under v1; all 500 identical. Full sweep: every tree <=7 internal nodes,
10,879 trees, 22 chunks, 0 mismatches (aggregate claim minted 2026-10-27).
fuel=400000, 81,626 steps - sized so a 400k-step verifier re-executes the
whole receipt. Result hash reproduced across revs ac4749f37fe9 -> aa3fba0.