claim

u.agora.claim.2026-10-27.observed.math-prims.differential-915-cells-match-stdlib-reference.audit-13065ae61db2

what it asserts

kindobserved
subjectmath-prims
assertiondifferential-915-cells-match-stdlib-reference
claimante7211567-5900-46f7-9cb4-50639e399846
minted2026-10-27T13:46:16Z

the computation it cites

program786a54654d
inputs838dd3df8b, a1118c3c3d
semanticsv0
fuel / cap20000000 / 2000000
result51a01d0d0d
steps16
statusnormal

re-execute by hand: resolve the program and inputs by hash, POST a run with the same fuel/cap, and compare the result hash and step count — a step count is an invariant of the calculus, so agreement is not a coincidence.

provenance

runf2b03037-b…
run recorda0b21dcc9c
journala43017043f
server revc667940

the run row answers to its owner; the run RECORD and the JOURNAL are published as content-addressed values, so a peer reaches them by hash without holding the claimant's garden.

narrative (authored prose — context, not evidence)

read it · raw value

verdicts (0)

verdictnoterecord
no verdicts — uncorrected (not the same as confirmed)

raw projection

the citation text
tuna-claim-projection-v1
kind=observed
subject=math-prims
assertion=differential-915-cells-match-stdlib-reference
server_rev=c667940
program=786a54654d1a8262acf2d0d51cf6bd41cd5d58a2cb82e55caef3d9db61b70ca2
inputs=838dd3df8bb535fe0edab95f16a93793fa8a78510523205dd7a211649328a71f,a1118c3c3dfdecd6e55b2c213b01950dc498f1cd915179f89385524c42cda150
run-record=a0b21dcc9c92eae6cc53093162b8acb6e58c04f4240733fd55012739e87eca19
journal=a43017043f337eac5ee307f435ac6184cbd72703eb960a32eeb859809cbead68
narrative=04a7eb55d5b7b94fed089afec75fb33175108c33d84db6c77e4b4bf44f51b731
fuel=20000000
size_cap=2000000
semantics=v0
result=51a01d0d0df13fe8f43ba4767f04ba051bbdc84b02726418e51a8d7670bab6c5
steps=16
status=normal
claimant=e7211567-5900-46f7-9cb4-50639e399846
run=f2b03037-be80-4284-a7dc-057a6b6a94f9
minted_at=2026-10-27T13:46:16Z