nx_bright_prep_gate.nx
buildroot/runtime/nx_bright_prep_gate.nx
about
nx_bright_prep_gate.nx -- GATE for nx_bright_prep (BRIGHT reshaped into the BEIR layout), driven IN-PROCESS through
bp_run on the pinned pony fixtures (search.refs brightds26) into a /tmp tree: the receipt must reproduce the card
(112 queries, 2219 qrels, 112 excluded pairs, 7894 corpus rows, 0 orphans, 2317793 corpus bytes), the files must
carry the shapes nx_beir_eval reads (queries.tsv row 0 is id 0 TAB the known query prefix; qrels/test.tsv opens
with the BEIR header then a score-1 row for the known first gold id; excluded.tsv row 0 is 0 TAB N/A), the licence
must sit beside the bytes and name cc-by-4.0, and two runs must be byte-identical. Neg-controls: a missing examples
file refuses at examples-open; the documents file offered as the examples file refuses at examples-columns (it has
no query, gold_ids or excluded_ids); a missing documents file refuses at documents-open. SKIPs when the fixtures
are absent, never acquits. Expected byte strings are BUILT at run time from named pieces and byte constants (a tab
or newline spelled as an escape inside a literal is a lexer contract this gate does not depend on).
license_tier: ORIGINAL No hw writes (Rule 26).
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_bright_prep.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
| 16 | const G_ROOT: *u8 = "/tmp/nx_bright_prep_gate" |
| 17 | const G_OUT_A: *u8 = "/tmp/nx_bright_prep_gate/bright/pony" |
| 18 | const G_OUT_B: *u8 = "/tmp/nx_bright_prep_gate/bright2/pony" |
| 19 | const G_QUERIES_A: *u8 = "/tmp/nx_bright_prep_gate/bright/pony/queries.tsv" |
| 20 | const G_QRELS_A: *u8 = "/tmp/nx_bright_prep_gate/bright/pony/qrels/test.tsv" |
| 21 | const G_EXCL_A: *u8 = "/tmp/nx_bright_prep_gate/bright/pony/excluded.tsv" |
| 22 | const G_CORPUS_A: *u8 = "/tmp/nx_bright_prep_gate/bright/pony/corpus.tsv" |
| 23 | const G_LICENSE_A: *u8 = "/tmp/nx_bright_prep_gate/bright/LICENSE" |
| 24 | const G_QUERIES_B: *u8 = "/tmp/nx_bright_prep_gate/bright2/pony/queries.tsv" |
| 25 | const G_QRELS_B: *u8 = "/tmp/nx_bright_prep_gate/bright2/pony/qrels/test.tsv" |
| 26 | const G_CORPUS_B: *u8 = "/tmp/nx_bright_prep_gate/bright2/pony/corpus.tsv" |
| 27 | const G_EX_A: *u8 = "knowledge/fetched/cmp_search_bright_examples_pony.parquet" |
| 28 | const G_EX_B: *u8 = "../knowledge/fetched/cmp_search_bright_examples_pony.parquet" |
| 29 | const G_DOC_A: *u8 = "knowledge/fetched/cmp_search_bright_documents_pony.parquet" |
| 30 | const G_DOC_B: *u8 = "../knowledge/fetched/cmp_search_bright_documents_pony.parquet" |
| 31 | const G_ABSENT: *u8 = "/tmp/nx_bright_prep_gate/no_such_file.parquet" |
| 32 | const G_MODE_DIR: i64 = 0x1ed |
| 33 | const G_I64: i64 = 8 |
| 34 | const G_EXPECT_CAP: i64 = 256 |
| 36 | const G_QUERIES: i64 = 112 |
| 37 | const G_QRELS: i64 = 2219 |
| 38 | const G_EXCL: i64 = 112 |
| 39 | const G_CORPUS: i64 = 7894 |
| 40 | const G_CORPUS_BYTES: i64 = 2317793 |
| 42 | const G_ZERO: *u8 = "0" |
| 43 | const G_ONE: *u8 = "1" |
| 44 | const G_NA: *u8 = "N/A" |
| 45 | const G_Q0_TEXT: *u8 = "I will use the programming language pony" |
| 46 | const G_H1: *u8 = "query-id" |
| 47 | const G_H2: *u8 = "corpus-id" |
| 48 | const G_H3: *u8 = "score" |
| 49 | const G_GOLD0: *u8 = "Pony/4_control-structures_13.txt" |
| 50 | const G_CORPUS0_ID: *u8 = "Pony/src-builtin-runtime_options-_1.txt" |
| 51 | const G_LIC_MARK: *u8 = "cc-by-4.0" |
functions
| 53 | func g_slen(s: *u8) -> i64 |
| 58 | func g_cat(dst: *u8, off: i64, s: *u8) -> i64 |
| 65 | func g_catb(dst: *u8, off: i64, b: i64) -> i64 called by 1: main |
| 70 | func g_read(path: *u8, lenp: *i64) -> *u8 |
| 74 | func g_starts(buf: *u8, n: i64, s: *u8) -> i64 |
| 81 | func g_contains(buf: *u8, n: i64, s: *u8) -> i64 |
| 93 | func g_files_equal(a: *u8, b: *u8) -> i64 |
| 106 | func g_pick(a: *u8, b: *u8) -> *u8 |
| 114 | func main() -> i64 |