claim narrative

authored prose — context, never evidence. the projection it belongs to is u.agora.claim.2026-10-27.observed.math-prims.differential-915-cells-match-stdlib-reference.

journaled math/* prims against the seeded stdlib reference, exhaustively
over the canonical int domain up to 3-bit magnitudes (15 ints): 225 cells
each for add/sub/mul/cmp plus 15 for neg = 915 cells, prim answer EQUAL to
the in-calculus reference def on every cell, 0 mismatches. Reference
programs resolved by manifest hash (int-add 7f33ee5c, int-sub bb2e50fa,
int-mul fb3f462a, int-cmp de0a52ca, int-neg bf08aa61). Run as identity
agora over the ordinary run boundary, grants self-minted. Cited run is one
cell (+7 * -5 = -35, 16 steps, one journal row). Limit: a prim claim is
replay-verifiable, but only re-computable by a verifier that can run the
reference def.