Model assurance

Model assurance is generated from the same module releases and compiler paths used by the client.

Each synced module is indexed with its source commit, source-owned README and live contract. Each current catalogue scenario is compiled and records the module releases and graph-structure hashes used for baseline and comparison. Compact run certificates record the exact request, compiler version, module commits, result-bundle hash and final signed metric differences for selected normal annual runs.

The current acceptance set includes all selectable catalogue paths, tobacco warning labels in Indonesia, the Philippines and Vietnam, asthma CR1 in Ethiopia, and sodium U1 for cardiovascular disease in Ethiopia. These runs use the normal compiler, Rust and WebAssembly runtime, annual reconciliation and metric modules. They are not separate proof-harness calculations.

The machine-readable assurance index is published with the NCD client at public/assurance/model-repo-assurance/index.v1.json. The module repositories remain the owners of the documentation and contracts referenced by that index.