nx_transponder_quiescence.nx
buildroot/runtime/nx_transponder_quiescence.nx
about
nx_transponder_quiescence.nx -- "off means off" (Captain Moroni M2).
Per [[feedback-captain-moroni-doctrine]]: "Substrate refuses code
that activates cellular/GPS/BT/WiFi when device is in declared-
quiescent state. 'Off means off' -- declared-off transponders
cannot be silently enabled."
Defends against silent tracking activation by baseband / vendor
firmware / IMSI catchers. When a user explicitly puts their device
in airplane mode or family quiet hours, the substrate REFUSES any
code that would emit RF.
Composes:
nx_intent -- caller must declare Defensive (operator override)
intent to activate; default-deny
nx_xenocell -- baseband as a hostile xenocell may attempt
silent activation; this primitive catches it
nx_evict_journal -- every refused activation logged
nx_battery_safety -- pair: substrate's substrate-level refusal
of physical-harm operations
dependencies 3 imports · 3 importers
imports: nx_syscalls.nxnx_tier.nxnx_intent.nx
imported by: nx_captain_moroni_compose_test.nxnx_substrate_closure_compose_test.nxnx_transponder_quiescence_test.nx
structs
| 59 | struct NxTransponderDeclaration |
consts
| 28 | const NX_TX_TR_CELLULAR: nx_int = 0 |
| 29 | const NX_TX_TR_GPS: nx_int = 1 |
| 30 | const NX_TX_TR_WIFI: nx_int = 2 |
| 31 | const NX_TX_TR_BLUETOOTH: nx_int = 3 |
| 32 | const NX_TX_TR_NFC: nx_int = 4 |
| 33 | const NX_TX_TR_UWB: nx_int = 5 |
| 34 | const NX_TX_TR_LORA: nx_int = 6 |
| 35 | const NX_TX_TR_N_KINDS: nx_int = 7 |
| 39 | const NX_QM_FULL_RF_ON: nx_int = 0 // normal operation |
| 40 | const NX_QM_AIRPLANE_MODE: nx_int = 1 // all transponders OFF |
| 41 | const NX_QM_QUIET_HOURS: nx_int = 2 // family quiet; only emergency cellular allowed |
| 42 | const NX_QM_SANCTUARY: nx_int = 3 // declared-off; even emergency requires twin-key |
| 43 | const NX_QM_N_MODES: nx_int = 4 |
| 47 | const NX_TX_ALLOWED: nx_int = 0 |
| 48 | const NX_TX_REFUSED_QUIESCENCE: nx_int = 1 |
| 49 | const NX_TX_REFUSED_BAD_INTENT: nx_int = 2 |
| 50 | const NX_TX_REFUSED_BAD_KIND: nx_int = 3 |
| 51 | const NX_TX_REFUSED_BAD_MODE: nx_int = 4 |
functions
| 66 | func nx_tx_kind_is_valid(k: nx_int) -> nx_int |
| 72 | func nx_qm_mode_is_valid(m: nx_int) -> nx_int |
| 78 | func nx_transponder_decl_new(device_id: nx_int, |
| 105 | func nx_transponder_check_activation(decl: *NxTransponderDeclaration, |
| 145 | func nx_transponder_authorize_emergency(decl: *NxTransponderDeclaration) -> nx_int |
| 153 | func nx_transponder_clear_emergency(decl: *NxTransponderDeclaration) -> nx_int called by 1: main |
| 160 | func nx_transponder_mode(decl: *NxTransponderDeclaration) -> nx_int called by 1: main |