code wiki / (root) / nx_ferment_safety_test.nx

nx_ferment_safety_test.nx

buildroot/runtime/nx_ferment_safety_test.nx

5206 B98 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic ferment
docsdependenciesstructsconstsfunctions

about

nx_ferment_safety_test.nx -- smoke for nx_ferment_safety. Proves the never-poison law MECHANICALLY (Rule 26 discipline): - every refusal verdict actually fires (a rubber-stamp validate would fail assertions 8-12, 15, 18) - negative controls do NOT over-refuse (assertions 13-14, 19-21) Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_ferment_safety.nx nx_ferment_safety_test.nx

imports: nx_syscalls.nxnx_ferment_safety.nx

imported by: nobody (leaf or entry point)

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

main nx_fk_is_valid nx_ferment_safety_envelope nx_ferment_safety_envelope sys_mmap nx_ferment_validate nx_fk_is_valid ↻ _fs_reading_at nx_ferment_reading_log_new sys_mmap ↻

structs

none

consts

none

functions

12func main() -> i64
calls 4: nx_fk_is_validnx_ferment_safety_envelope_defaultnx_ferment_validatenx_ferment_reading_log_new