code wiki / (root) / nx_triangulation_classical.nx

nx_triangulation_classical.nx

buildroot/runtime/nx_triangulation_classical.nx

5256 B121 linesdepth 5pulls 8 transitivereach 0 importersview sourcekind tooltopic triangulation
docsdependenciesstructsconstsfunctions

about

nx_triangulation_classical.nx -- triangulated correctness proofs for classical algorithms beyond the original battery. Each AUT is verified against 2 independent witnesses (known-vector + algebraic identity) inside the NishiLang substrate.

dependencies 6 imports · 0 importers

nx_syscalls.nx nx_runtime.nx nx_tier.nx nx_classical_unpatented.nx nx_classical_unpatented_2.nx nx_classical_unpatented_3.nx nx_triangulation_classical.nx

imports: nx_syscalls.nxnx_runtime.nxnx_tier.nxnx_classical_unpatented.nxnx_classical_unpatented_2.nxnx_classical_unpatented_3.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 nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ println sys_write ↻ strlen sys_mmap ↻ nx_tri_check print sys_write ↻ strlen ↻ print_i64 sys_mmap ↻ itoa sys_mmap ↻ sys_write ↻ println ↻ nx_log2_floor_int nx_clz_64 nx_bits_clz64 nx_ctz_64 nx_bits_ctz64 nx_mod_pow nx_is_prime_trial nx_linear_search_idx nx_binary_search nx_count_occurrences

structs

none

consts

18const K_MAGIC_1024: i64 = 1024
19const K_MAGIC_2048: i64 = 2048

functions

21func nx_tri_check(label: *u8, aut: nx_int, w1: nx_int, w2: nx_int,
called by 1: main calls 3: printprint_i64println
36func main() -> nx_exit
calls 15: sys_mmapprintlnnx_tri_checknx_log2_floor_intnx_clz_64nx_ctz_64+9