code wiki / (root) / nx_acme_test.nx

nx_acme_test.nx

buildroot/runtime/nx_acme_test.nx

2816 B70 linesdepth 11pulls 21 transitivereach 0 importersview sourcekind gate/prooftopic acme
docsdependenciesstructsconstsfunctions

about

nx_acme_test.nx -- state-machine smoke for nx_acme. Covers: 1. State + challenge + verdict enum gates 2. Order init + transition + budget tick 3. Terminal-state transitions refuse most + allow ERROR 4. Protected-header builders (jwk-form + kid-form) byte shape 5. Payload builder byte shape Like nx_jose_test, this file is COMPILE-CLEAN ONLY. Runtime verification awaits the nx_ed25519 crypto-stack F-meta-4 refactor. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_acme.nx nx_acme_test.nx

imports: nx_acme.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_acme_state_is_valid bytes_eq nx_acme_state_name nx_acme_state_is_terminal nx_acme_challenge_is_valid nx_acme_challenge_name nx_acme_verdict_is_valid

structs

none

consts

none

functions

19func bytes_eq(a: *u8, b: *u8, n: i64) -> i64
called by 1: main
28func main() -> i64
calls 7: nx_acme_state_is_validbytes_eqnx_acme_state_namenx_acme_state_is_terminalnx_acme_challenge_is_validnx_acme_challenge_name+1