code wiki / _hdl_build / nx_assets_gate.nx
nx_assets_gate.nx
buildroot/runtime/_hdl_build/nx_assets_gate.nx
about
nx_assets_gate.nx -- GATE for the foreign-asset reader (nx_assets_lib), driven IN-PROCESS on planted rows: a clean
run-path row, a candidate with unmeasured bytes, an oracle and an unavailable row with no lift, a run-path asset
with NO replacement rung (the defect this ledger exists to expose), a rung the plan does not declare, a lift
whose P10 exceeds its P50, a priced row with no lift, a cross-board rung, an unknown kind, an unknown state and a
short row; both partitions sum to the rows, the run-path bytes and the three-point aggregates are exact, and the
NORUNG detector is bite-proven against an oracle row that legitimately has none.
license_tier: ORIGINAL No hw writes (Rule 26).
dependencies 4 imports · 0 importers
imports: nx_syscalls.nxnx_costest_lib.nxnx_assets_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
structs
| none |
consts
| 13 | const G_I64: i64 = 8 |
| 14 | const G_FX: *u8 = "# planted assets\nasset|a1|runpath|weights|MiniLM|apache-2.0|90870598|runtime/x.nx:f|R1|6|9|16|components|note\nasset|a2|candidate|weights|Diver|apache-2.0|-|none|R2|2|4|8|b|n\nasset|a3|oracle|dataset|BRIGHT|cc-by-4.0|465489179|harness|-|-|-|-|b|n\nasset|a4|unavailable|weights|MQR-A1|apache-2.0|0|none|-|-|-|-|b|n\nasset|a5|runpath|font|Liberation|OFL|410712|renderer|-|1|2|3|b|n\nasset|a6|runpath|weights|X|lic|1|used|R9|1|2|3|b|n\nasset|a7|candidate|weights|Y|lic|1|used|R1|5|3|9|b|n\nasset|a8|candidate|weights|Z|lic|1|used|R1|-|-|-|b|n\nasset|a9|runpath|weights|W|lic|1|used|llm:LM9|1|2|3|b|n\nasset|a10|runpath|gizmo|V|lic|1|used|R1|1|2|3|b|n\nasset|a11|maybe|weights|U|lic|1|used|R1|1|2|3|b|n\nasset|a12|runpath|weights|T|lic|1|used|R1|1|2\n" |
| 15 | const G_PLAN: *u8 = "rung|R1|one|s1|d|Organ|1|-\nrung|R2|two|s2|d|Organ|2|R1\n" |
| 16 | const G_CLEAN: *u8 = "asset|a1|runpath|weights|MiniLM|apache-2.0|90870598|runtime/x.nx:f|R1|6|9|16|components|note\nasset|a3|oracle|dataset|BRIGHT|cc-by-4.0|465489179|harness|-|-|-|-|b|n\n" |
| 17 | const G_ROWS: i64 = 12 |
| 18 | const G_RUNPATH: i64 = 6 |
| 19 | const G_CANDIDATE: i64 = 3 |
| 20 | const G_ORACLE: i64 = 1 |
| 21 | const G_UNAVAIL: i64 = 1 |
| 22 | const G_BADSTATE: i64 = 1 |
| 23 | const G_OK: i64 = 5 |
| 24 | const G_DEFECTS: i64 = 7 |
| 25 | const G_XBOARD: i64 = 1 |
| 26 | const G_MISSING: i64 = 1 |
| 27 | const G_RP_BYTES: i64 = 91281314 |
| 28 | const G_RP_PRICED: i64 = 5 |
| 29 | const G_RP_P10: i64 = 134 // 170 - isqrt(30*30 + 4*10*10) |
| 30 | const G_RP_P50: i64 = 170 |
| 31 | const G_RP_P90: i64 = 242 // 170 + isqrt(70*70 + 4*10*10) |
| 32 | const G_RP_SUM10: i64 = 100 |
| 33 | const G_RP_SUM90: i64 = 280 |
| 34 | const G_CA_PRICED: i64 = 1 |
| 35 | const G_CA_P50: i64 = 40 |
| 36 | const G_ROW_A5: i64 = 4 // a5 is the fifth asset row (0-based 4) |
| 37 | const G_ROW_A3: i64 = 2 |
functions
| 39 | func g_lit(s: *u8, dst: *u8) -> i64 |
| 47 | func main(argc: i64, argv: *i64) -> i64 |