code wiki / (root) / nx_maint_ledger_test.nx

nx_maint_ledger_test.nx

buildroot/runtime/nx_maint_ledger_test.nx

3793 B71 linesdepth 3pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic maint
docsdependenciesstructsconstsfunctions

about

nx_maint_ledger_test.nx -- gate for R4 (the additive maintenance ledger). Proves: append-only history with per-asset isolation; HISTORY SACRED (#13) -- a past SAFETY/DEGRADED is never forgotten after the asset recovers to OK; predictive WORSENING / IMPROVING trend; full ledger never overwrites. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_maint_ledger.nx nx_maint_ledger_test.nx

imports: nx_syscalls_x86_64.nxnx_maint_ledger.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_trend_is_valid nx_ledger_init nx_ledger_append nx_ledger_count_for nx_ledger_latest_for nx_ledger_worst_for nx_ledger_trend_for

structs

none

consts

none

functions

14func main() -> i64
calls 7: nx_trend_is_validnx_ledger_initnx_ledger_appendnx_ledger_count_fornx_ledger_latest_fornx_ledger_worst_for+1