Skip to content

Stage-3 REQ-7: the Rust→Lean obligation exporter (QF_LIA + QF_BV) (#349) - #90

Merged
maxine-at-forecast merged 3 commits into
mainfrom
feature/5i5F-GMVf-stage-3-req-7-the-rust-to-lean-obligation-exporter-qf
Jun 24, 2026
Merged

Stage-3 REQ-7: the Rust→Lean obligation exporter (QF_LIA + QF_BV) (#349)#90
maxine-at-forecast merged 3 commits into
mainfrom
feature/5i5F-GMVf-stage-3-req-7-the-rust-to-lean-obligation-exporter-qf

docs(stage3): record the REQ-7 as-built — bounded-int QF_BV model + k…

b0d07c8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar