code wiki / _hdl_build / nx_langintel_llvm_ingest.nx
nx_langintel_llvm_ingest.nx source
↩ module page · 29 lines · 1895 B
1// nx_langintel_llvm_ingest.nx -- LangIntel LI2b: THIN LLVM-miscompilation connector = the 2nd SUBCLASS
2// of nx_ingest_base via ib_gh_issues. Proves the base GENERALIZES to a second real source with a
3// one-call connector (the OO consolidation payoff); feeds the DEPTH/compiler SOTA gap (F104a miscompile).
4// ORACLE/bench-only (F616). No hw writes (Rule 26). expect_exit: 0 license_tier: ORACLE-INDEX
5import "nx_ingest_base.nx"
6import "nx_syscalls.nx"
7
8const LL_STDERR: i64 = 2
9const LL_EXIT_IO: i64 = 1
10const LL_EXIT_RED: i64 = 3
11
12func main() -> i64 {
13 let rows: i64 = ib_gh_issues(
14 "knowledge/fetched/langintel_llvm_miscompile_p1.raw" as *u8,
15 "knowledge/store/langintel-llvm-" as *u8,
16 "\"html_url\":\"https://github.com/llvm/llvm-project/issues/" as *u8,
17 "https://github.com/llvm/llvm-project/issues/" as *u8,
18 "\"miscompilation\"" as *u8,
19 "miscompile" as *u8,
20 "suspect" as *u8)
21 if rows == (0 - 1) { ib_refuse("LANGINTEL-LLVM-INGEST" as *u8, "corpus .raw absent or empty" as *u8, "run the fetch: nx_https_get llvm miscompilation issues then nx_fs_write knowledge/fetched/langintel_llvm_miscompile_p1.raw" as *u8); sys_exit(LL_EXIT_IO); return LL_EXIT_IO }
22 if rows == 0 { ib_refuse("LANGINTEL-LLVM-INGEST" as *u8, "0 issues parsed from corpus" as *u8, "verify the .raw matches the llvm html_url issue anchor" as *u8); sys_exit(LL_EXIT_RED); return LL_EXIT_RED }
23 if rows == (0 - 2) { ib_refuse("LANGINTEL-LLVM-INGEST" as *u8, "store commit failed" as *u8, "check seg-store health for langintel-llvm-; retry" as *u8); sys_exit(LL_EXIT_IO); return LL_EXIT_IO }
24 ib_werr("LANGINTEL-LLVM-INGEST OK verdict=GREEN rows=" as *u8)
25 ib_wn(LL_STDERR, rows)
26 ib_werr(" plane=langintel-llvm- (REAL llvm-project miscompilation bugs -> DEPTH/compiler oracle) via ib_gh_issues base\n" as *u8)
27 sys_exit(0)
28 return 0
29}