code wiki / (root) / nx_compare_ladder_projection_gate.nx

nx_compare_ladder_projection_gate.nx

buildroot/runtime/nx_compare_ladder_projection_gate.nx

17247 B94 linesdepth 6pulls 21 transitivereach 0 importersview sourcekind gate/prooftopic compare
docsdependenciesstructsconstsfunctions

about

Local-only gate candidate. Requires actual native compilation/run before any claim of correctness.

dependencies 2 imports · 0 importers

nx_gate_verdict.nx nx_swcompare_ladder_candidate.nx nx_compare_ladder_projection_g

imports: nx_gate_verdict.nxnx_swcompare_ladder_candidate.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr 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 ↻ gv_head gv_puts sys_write ↻ sg_fixture sg_parse sys_mmap ↻ sg_sha sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_seed_allocated sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_final blk_set_byte ↻ sha256_compress ↻ sha256_destroy sys_munmap sys_munmap ↻

structs

none

consts

none

functions

4func sg_fixture(plan: *u8) -> *SgPlan
called by 1: main calls 2: sg_parsesg_len
7func main() -> i64
calls 13: gv_ctrgv_headsg_fixturegv_check_eqsg_validstreq+7