code wiki / (root) / nx_failover_compose_test.nx

nx_failover_compose_test.nx

buildroot/runtime/nx_failover_compose_test.nx

6500 B149 linesdepth 5pulls 11 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_failover_compose_test.nx -- ransomware-judo failover end-to-end. Per [[feedback-cell-immune-system-ransomware-judo-ddos-by-bit]] scenario: "if website a got hit with ransomware we laugh and delete and shift to website b and load up c as the new backup defying ddos and all other systems of attack by judo by bit." The compose demo lifecycle: 1. Build cell A (primary) + cell B (chromatin backup) + cell C (newer chromatin backup waiting in the wings) 2. Build a dyad: A and B run side-by-side serving same input; observatory watches both outputs from outside 3. Provenance chain logs the input ingest + each cell's output production 4. Ransomware sig detected on cell A -- nx_promote swaps A to B using the latest chromatin 5. C's chromatin replaces the now-stale B-as-backup (C is fresher) 6. Provenance chain shows the failover as a transform link (NX_TX_NONE caller-defined kind for now) 7. Observatory now watches NEW dyad (B-as-primary + C-as-backup) This proves the judo: vendor's attack on A becomes our forensic record of attack + sub-second swap + audit-trail through provenance.

dependencies 10 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_attention_class.nx nx_evict_journal.nx nx_methyl.nx nx_chromatin.nx nx_promote.nx nx_dyad.nx nx_observatory.nx nx_provenance_chain.nx nx_failover_compose_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_attention_class.nxnx_evict_journal.nxnx_methyl.nxnx_chromatin.nxnx_promote.nxnx_dyad.nxnx_observatory.nxnx_provenance_chain.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap nx_methyl_new sys_mmap ↻ nx_methyl_is_self nx_chromatin_capture sys_mmap ↻ nx_chromatin_is_fresher nx_evict_journal_new sys_mmap ↻ nx_failover_contract_new sys_mmap ↻ nx_promote_is_primary nx_dyad_new nx_ac_is_valid sys_mmap ↻ nx_dyad_buffers_isolated nx_dyad_feed_same_input nx_dyad_inputs_match nx_observatory_new sys_mmap ↻ nx_observatory_sample nx_dyad_outputs_differ _obs_at nx_observatory_agreement_q nx_observatory_is_divergen nx_provenance_chain_new sys_mmap ↻ nx_provenance_append _pv_at nx_provenance_verify_conti _pv_at ↻ nx_provenance_last_hash nx_promote_execute nx_pr_trigger_is_valid nx_chromatin_restore nx_methyl_is_self ↻ nx_evict_log nx_evr_is_valid nx_promote_update_chromati

structs

none

consts

none

functions

36func main() -> i64