code wiki / (root) / _pp_minimal.nx

_pp_minimal.nx

buildroot/runtime/_pp_minimal.nx

733 B29 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_safety_envelope: intended_use: AUTO_APPLIED -- primitive-specific tuning queued sil_target: SIL1 evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail] verdict: NOT_YET_EVALUATED

dependencies 1 imports · 0 importers

nx_kernel_v2.nx _pp_minimal.nx

imports: nx_kernel_v2.nx

imported by: nobody (leaf or entry point)

structs

9struct ProofCtx

consts

14const NX_PROOF_CTX_BYTES: nx_int = 24

functions

16func nx_proof_ctx_lookup(ch: *K2Chain, p: *ProofCtx, goal: *Term) -> nx_int
calls 2: nx_k2_atnx_term_eq
27func main() -> nx_exit