code wiki / (root) / nx_captain_moroni_compose_test.nx

nx_captain_moroni_compose_test.nx

buildroot/runtime/nx_captain_moroni_compose_test.nx

5663 B119 linesdepth 4pulls 7 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_captain_moroni_compose_test.nx -- doctrine bound end-to-end. Per [[feedback-captain-moroni-doctrine]]: substrate refuses offensive operations STRUCTURALLY, never policy. This demo exercises all 5 Phase M1-M4 primitives together to prove the doctrine is enforced from intent declaration down through every offensive-pattern operation.

dependencies 7 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_intent.nx nx_battery_safety.nx nx_transponder_quiescence.nx nx_drone_doctrine.nx nx_scam_detector.nx nx_captain_moroni_compose_test

imports: nx_syscalls.nxnx_tier.nxnx_intent.nxnx_battery_safety.nxnx_transponder_quiescence.nxnx_drone_doctrine.nxnx_scam_detector.nx

imported by: nobody (leaf or entry point)

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

main nx_intent_is_valid nx_battery_safety_envelope sys_mmap nx_battery_command_log_new sys_mmap ↻ nx_battery_validate_comman nx_intent_check_operation nx_intent_is_valid ↻ nx_opk_is_valid nx_opk_is_offensive_patter nx_bc_kind_is_valid _bs_log_at nx_transponder_decl_new nx_qm_mode_is_valid sys_mmap ↻ nx_transponder_check_activ nx_intent_is_valid ↻ nx_tx_kind_is_valid nx_transponder_authorize_e nx_drone_session_new nx_dp_is_valid sys_mmap ↻ nx_drone_invoke_op nx_do_is_valid nx_drone_purpose_allows_op nx_dp_is_valid ↻ nx_do_is_valid ↻ sys_mmap ↻ nx_scam_scan nx_intent_is_valid ↻ sys_mmap ↻ _scam_check_urgency sys_mmap ↻ _scam_match_substring _scam_check_authority sys_mmap ↻ _scam_match_substring ↻ _scam_check_gift_card sys_mmap ↻

structs

none

consts

none

functions

17func main() -> i64
calls 11: nx_intent_is_validnx_battery_safety_envelope_newnx_battery_command_log_newnx_battery_validate_commandnx_transponder_decl_newnx_transponder_check_activation+5