code wiki / (root) / nx_game_page_artifact_gate.nx

nx_game_page_artifact_gate.nx

buildroot/runtime/nx_game_page_artifact_gate.nx

17510 B239 linesdepth 9pulls 15 transitivereach 0 importersview sourcekind gate/prooftopic game
docsdependenciesstructsconstsfunctions

dependencies 2 imports · 0 importers

nx_game_page_artifact_lib.nx nx_gate_verdict.nx nx_game_page_artifact_gate.nx

imports: nx_game_page_artifact_lib.nxnx_gate_verdict.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_plan_new sys_mmap ↻ gv_plan_name_eq gat_pair_checks gat_check gv_plan_check gv_plan_take gv_plan_name_eq ↻ gv_check gv_puts sys_write ↻ gpa_pair gpa_wasm_header gpa_same gpa_body_section gpa_u32 gpa_memory_section gpa_u32 ↻ gpa_wasm_name gpa_u32 ↻ gpa_same ↻ gpa_same ↻ gpa_u32 ↻

structs

none

consts

3const GAT_CAP: i64 = 256
4const GAT_CASES: *u8 = "same-body-twin-pair\nmemory-limits-derived\ndifferent-body-refused\ndifferent-memory-minimum-refused\nnonshared-twin-refused\nevery-truncated-twin-prefix-refused\nu32-leb-overflow-refused\npair-cli-pinned-artifacts\npair-cli-stale-pin-refused\npair-cli-missing-input-refused\nsurrounding-bytes-and-native-base64\nrepeat-composition-byte-identical\nduplicate-slot-refused\nabsent-slot-refused\nunterminated-slot-refused\ninvalid-wasm-header-refused\noutput-cap-refuses-before-writing\npinned-files-stage-exact\nsame-request-safe-retry\nstale-source-pin-refuses-unchanged-output\nstale-module-pin-retains-output\ndifferent-output-refused-and-retained\nmissing-module-creates-no-output\npinned-malformed-module-creates-no-output\nno-replace-retains-existing-output\ncompeting-writers-one-winner-no-clobber\npaired-page-updates-module-url-and-derived-limits\npaired-page-repeat-byte-identical\npaired-page-cap-refuses-with-output-retained\npaired-page-missing-twin-slot-retains-output\npaired-page-url-injection-refused\npaired-cli-stage-exact\npaired-cli-retry-identical\npaired-cli-stale-shared-pin-retains-output\npaired-cli-missing-shared-creates-no-output\nhtml-shared-dependency-declared\nhtml-shared-dependency-rebind-no-duplicate\nhtml-shared-dependency-escaped\nhtml-shared-dependency-cap-retains-output\nhtml-shared-dependency-malformed-retains-output\nmodern-tuple-updates-hash-size-url-limits\nmodern-tuple-repeat-identical\nmodern-sha-only-refused\nmodern-size-only-refused\nmodern-duplicate-sha-refused\nmodern-duplicate-size-refused\n"

functions

6func gat_check(name: *u8, ok: i64, count: *i64) -> i64
called by 4: gat_pair_checksgat_declaration_checksgat_pair_filesmain calls 1: gv_plan_check
9func gat_pair_checks(count: *i64) -> i64
called by 1: main calls 5: gat_checkgpa_pairgpa_u32gpa_compose_pairgpa_same
78func gat_declaration_checks(count: *i64) -> i64
called by 1: main calls 3: gpa_declare_sharedgat_checkgpa_same
99func gat_pair_files(count: *i64) -> i64
called by 1: main calls 5: gpa_shagat_checkgpa_pair_maingpa_maingpa_same
142func main(argc: i64, argv: *i64) -> i64
calls 12: gv_ctrgv_plan_newgat_pair_checksgat_declaration_checksgpa_composegat_check+6