nx_pq_hybrid_gate.nx
buildroot/runtime/nx_pq_hybrid_gate.nx
about
nx_pq_hybrid_gate.nx -- REFEREE for C8 (nx_pq_hybrid, contract pqh_kex). END-TO-END: keygens a
hybrid member, wraps a secret to it through X25519MLKEM768, and forks the PROMOTED elf to prove the
pre-declared done-rule: a classical-only decryption fails AND a KEM-only decryption fails -- both
families of mathematics must break (Signal SPQR class).
license_tier: ORIGINAL expect_exit: 0
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_tool_run.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
| 9 | const PGG_CAP: i64 = 65536 |
functions
| 10 | func pgg_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: pgg_count |
| 11 | func pgg_count(buf: *u8, n: i64, needle: *u8) -> i64 |
| 24 | func pgg_run(elf: *u8, av: *i64, out: *u8, ol: *i64) -> i64 { return tr_run_capture(elf, av, out, PGG_CAP, ol) } |
| 25 | func main(argc: i64, argv: *i64) -> i64 |