code wiki / (root) / nx_session_audit_compose_test.nx

nx_session_audit_compose_test.nx

buildroot/runtime/nx_session_audit_compose_test.nx

6024 B133 linesdepth 6pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic session
docsdependenciesstructsconstsfunctions

about

nx_session_audit_compose_test.nx -- meta-cardinal session loop. Per [[feedback-hunter-gatherer-meta-primitives-outward-inward-axes]]: "every session emits both a hunt-log AND a gather-log entry or it's a non-session." This demo simulates a valid session: 3 hunts + 3 gathers, all logged to journals, session-audit predicate fires VALID, imbalance check passes. Bit-traceability composed in: provenance chain captured + dumped to trace_log + merkle root computed and verified.

dependencies 10 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_methyl.nx nx_hunter.nx nx_gatherer.nx nx_hunt_journal.nx nx_gather_journal.nx nx_provenance_chain.nx nx_trace_log.nx nx_trace_merkle.nx nx_session_audit_compose_test.

imports: nx_syscalls.nxnx_tier.nxnx_methyl.nxnx_hunter.nxnx_gatherer.nxnx_hunt_journal.nxnx_gather_journal.nxnx_provenance_chain.nxnx_trace_log.nxnx_trace_merkle.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap nx_methyl_new sys_mmap ↻ nx_hunter_new sys_mmap ↻ nx_hunt_journal_new sys_mmap ↻ nx_hunter_scout nx_hk_is_valid _hunter_find _hunter_at _hunter_at ↻ nx_hunt_journal_log nx_hev_kind_is_valid _hunt_jr_at nx_hunter_engage _hunter_find ↻ _hunter_at ↻ nx_hunter_kill nx_kp_is_valid _hunter_find ↻ _hunter_at ↻ nx_hunter_total_kills nx_hunter_count_by_status _hunter_at ↻ nx_hunter_count_kills_by_p _hunter_at ↻ nx_gatherer_new sys_mmap ↻ nx_gather_journal_new sys_mmap ↻ nx_gatherer_sow nx_gfk_is_valid _gatherer_find _gatherer_at _gatherer_at ↻ nx_gather_journal_log nx_gev_kind_is_valid _gather_jr_at

structs

none

consts

none

functions

22func main() -> i64
calls 33: sys_mmapnx_methyl_newnx_hunter_newnx_hunt_journal_newnx_hunter_scoutnx_hunt_journal_log+27