predict: envelope (interval) arithmetic for derived contract values (DBU-628)#1154

Draft

0xaslan wants to merge 13 commits into

mainfrom

at/predict-interval-arithmetic

Commits on Jul 21, 2026

predict: liquidate knocked-out orders inside the flush valuation pass (DBU-605)

0xaslan
and
claude
committed
predict: fix pin-label numbering in liquidate-during-flush flow-test doc

0xaslan
and
claude
committed
fixed_math: directed rounding pair — mul_up and div_up

0xaslan
and
claude
committed
fixed_math: interval module — sound envelope arithmetic, transaction-local by ability

0xaslan
and
claude
committed
predict: pricing interval lane — up_price_interval with certified per-regime error tiers

0xaslan
and
claude
committed
predict: interval flush-valuation lane — envelope memo, walks, kill scan, liability

0xaslan
and
claude
committed
predict: K7 — mint tuple commits at the protocol-favored envelope corner; knock-out predicate unified on the low side

0xaslan
and
claude
committed
predict: K8/K10 — definite-backing cash boundary; read-side liability bounds; storage-class docs

0xaslan
and
claude
committed

Commits on Jul 22, 2026