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 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 nx_bubble_sort nx_insertion_sort print ↻ print_i64 ↻

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