code wiki / (root) / nx_wat_type_layout_gate.nx

nx_wat_type_layout_gate.nx

buildroot/runtime/nx_wat_type_layout_gate.nx

5365 B71 linesdepth 6pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic wat
docsdependenciesstructsconstsfunctions

about

Source-linked WAT compiler regression. Emission equivalence, not VM execution or a C ABI claim. Reuse the already exercised subject runner and shared fixture/verdict primitives.

dependencies 2 imports · 0 importers

nx_wat_refuse_gate.nx nx_gate_verdict.nx nx_wat_type_layout_gate.nx

imports: nx_wat_refuse_gate.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

6func wlg_equal(a: *u8, an: i64, b: *u8, bn: i64) -> i64
12func wlg_run(subject: *u8, path: *u8, source: *u8, out: *u8, count: *i64, ctr: *i64) -> i64
20func wlg_pair(subject: *u8, path: *u8, query: *u8, literal: *u8, constant: *u8, label: *u8, ctr: *i64) -> i64
35func wlg_refuse(subject: *u8, path: *u8, source: *u8, label: *u8, ctr: *i64) -> i64
45func main(argc: i64, argv: **u8) -> i64