code wiki / (root) / nx_page_identity_gate.nx

nx_page_identity_gate.nx

buildroot/runtime/nx_page_identity_gate.nx

2543 B33 linesdepth 9pulls 14 transitivereach 0 importersview sourcekind gate/prooftopic page
docsdependenciesstructsconstsfunctions

dependencies 1 imports · 0 importers

nx_game_page_artifact_lib.nx nx_page_identity_gate.nx

imports: nx_game_page_artifact_lib.nx

imported by: nobody (leaf or entry point)

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

main gpa_seal gpa_release_slot gpa_same gpa_sha sha256_digest 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 nxa_dump_sizes sha256_init sys_mmap ↻ sha256_seed_allocated sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word sha256_final blk_set_byte ↻ sha256_compress ↻ sha256_destroy sys_munmap sys_munmap ↻ gpa_release_slot ↻ gpa_same ↻ gpa_compose gpa_same ↻ b64_dec_char

structs

none

consts

none

functions

2func main() -> i64
calls 4: gpa_sealgpa_release_slotgpa_samegpa_compose