code wiki / (root) / prop_nxtask_store_test.nx

prop_nxtask_store_test.nx

buildroot/runtime/prop_nxtask_store_test.nx

3730 B113 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic prop
docsdependenciesstructsconstsfunctions

about

prop_nxtask_store_test.nx -- property test for nxtask serializer. Property: for any sequence of nxtask operations (add, claim, close, add_dep), serialize -> deserialize round-trip preserves every observable field. If this ever fails, a persisted agent state would silently corrupt on reload. Runs 500 iterations. Each builds a random graph (3-8 tasks, random mutations), serializes, deserializes, compares.

dependencies 4 imports · 0 importers

syscalls.nx nxtask.nx nxtask_store.nx prop_test.nx prop_nxtask_store_test.nx

imports: syscalls.nxnxtask.nxnxtask_store.nxprop_test.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

16func compare_tasks(a: *Task, b: *Task) -> i64 {
33func main() -> i64 {