code wiki / _hdl_build / nx_wiki_versioned_rollback_observe.nx

nx_wiki_versioned_rollback_observe.nx

buildroot/runtime/_hdl_build/nx_wiki_versioned_rollback_observe.nx

2718 B51 linesdepth 11pulls 13 transitivereach 0 importersview sourcekind orphan librarytopic wiki
docsdependenciesstructsconstsfunctions

about

nx_wiki_versioned_rollback_observe.nx -- A4a LIVE round-trip OBSERVER (uses the already-retained rollback points). Proves the live page can be rolled to ANY retained point and back, ending at v1: restore(nist_stem, 2) -> push v2 LIVE (operator then fetch-verifies 9504 B served) restore(nist_stem, 1) -> push v1 LIVE (operator then fetch-verifies 9450 B = original) Additive + guarded (pub_publish via restore). Reads nothing from the network itself; the operator fetch-verifies between/after. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_wiki_restore.nx nx_itoa_lib.nx nx_syscalls.nx nx_wiki_versioned_rollback_obs

imports: nx_wiki_restore.nxnx_itoa_lib.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

11func o_w(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
16func o_num(v: i64) -> i64 { nxi_out(v); return 0 }
18func main(argc: i64, argv: *i64) -> i64