tropical-semiring.md

tropical-semiring jets — tropical (min,+) five jets for (min,+) semiring operations. optimization, assignment, decoding. no separate nox instantiation — tropical operations decompose to existing patterns (branch + lt). jets accelerate common compositions. proved via Assayer (tropical…

tropical lens (Assayer) the (min,+) lens. optimization workloads (shortest path, assignment, Viterbi, transport) prove natively through their algebraic structure. the tropical semiring has no additive inverse — min(a,b) cannot be undone — so Assayer delegates commitment to scalar-field|Brakedown…