nx_https_get_live_github_test.nx
buildroot/runtime/nx_https_get_live_github_test.nx
about
nx_https_get_live_github_test.nx -- LIVE external-CA regression gate for the GitHub certificate class.
WHY THIS EXISTS (2026-07-15): the live MCP `nx_https_get` on the NAS could NOT fetch github.com/
api.github.com/raw.githubusercontent.com ("unknown certificate verification error"), while the current
source verifies them fine. Root cause = a STALE NAS binary predating the 2026-06-25 ECDSA-P384 +
chain-verify fixes; GitHub's chain (Sectigo/USERTrust ECC + Fastly) exercises exactly that path.
This gate makes the capability SELF-VERIFYING: current source must verify GitHub's live chain, and a
KNOWN-BAD cert must still be REJECTED (fail-closed) -- so the regression can never land silently again.
Joins the live-CA family: nx_https_get_live_{real_ca,google,demo}_test.nx. Network-dependent (positive
legs need github reachable); the fail-closed neg-control is safe under network loss (connect-fail also
yields "did not fetch"). Deterministic cert-REJECTION is additionally covered offline by
nx_tls13_client_validate_certificate_test + nx_x509_chain_verify_test.
expect_exit: 0 license_tier: ORIGINAL
dependencies 4 imports · 0 importers
imports: nx_syscalls.nxnx_x509_trust_store.nxnx_trust_store_load_from_certdata.nxnx_https_get.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
| 22 | const GHT_CERTDATA: *u8 = "data/mozilla_certdata.txt" as *u8 |
| 23 | const GHT_CAP: i64 = 1048576 |
functions
| 25 | func ght_put(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 26 | func ght_pn(v: i64) -> i64 |
| 40 | func ght_is200(out: *u8, n: i64) -> i64 called by 1: ght_positive |
| 49 | func ght_positive(url: *u8, cr: *u8, priv: *u8, store: *TrustStore, now: i64, out: *u8) -> i64 |
| 58 | func main() -> i64 |