code wiki / (root) / nx_lia_legal_test.nx

nx_lia_legal_test.nx

buildroot/runtime/nx_lia_legal_test.nx

11453 B207 linesdepth 7pulls 8 transitivereach 0 importersview sourcekind gate/proof

about

nx_lia_legal_test.nx -- exercise LIA decision + sovereignty audit.

imports: nx_lia.nxnx_legal_audit.nx

imported by: nobody (leaf or entry point)

none

none

9	func t1_lia_sat() -> nx_int called by 1: main calls 3: nx_lia_system_new nx_lia_add nx_lia_decide
33	func t2_lia_unsat() -> nx_int called by 1: main calls 3: nx_lia_system_new nx_lia_add nx_lia_decide
50	func t3_lia_validity() -> nx_int called by 1: main calls 3: nx_lia_system_new nx_lia_add nx_lia_validity
64	func t4_audit_clean() -> nx_int called by 1: main calls 5: nx_legal_audit_new nx_legal_register nx_legal_count_clean nx_legal_count_refused nx_legal_verify_sovereign
123	func t5_audit_refuses_gpl() -> nx_int called by 1: main calls 2: nx_legal_audit_new nx_legal_register
136	func t6_audit_refuses_live_patent() -> nx_int called by 1: main calls 2: nx_legal_audit_new nx_legal_register
148	func main() -> nx_exit calls 12: t1_lia_sat t2_lia_unsat t3_lia_validity t4_audit_clean t5_audit_refuses_gpl t6_audit_refuses_live_patent+6