code wiki / _hdl_build / nx_cost_federation_test.nx

nx_cost_federation_test.nx

buildroot/runtime/_hdl_build/nx_cost_federation_test.nx

4791 B87 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic cost
docsdependenciesstructsconstsfunctions

about

nx_cost_federation_test.nx -- how the cost database GROWS AND GROWS, opt-in. The seed lands on a chip, measures it (nx_self_measure_cost), and -- ONLY IF the user opts in -- contributes that profile back to the shared database, through the SAME germination trust gate the seed uses for code: integrity hash + sanity proof + crew-council governance. So: * opted-in + sane -> ADMITTED, the DB gains a real profile for that chip * poisoned (mul<add) -> REJECTED, the shared costs cannot be corrupted * opted-OUT -> stays LOCAL, never leaves the node (consent honored) Across a fleet, the DB grows to characterize every chip Nishi runs on -- our own uops.info, federated, that uops.info itself can never have (sovereign cores, sensors, damaged units). The richer it gets, the better every node optimizes. Known answer: opted-in sane profile admitted (DB grows), poisoned rejected, opt-out kept local -> exit 0.

dependencies 2 imports · 0 importers

nx_self_measure_cost.nx nx_crew_council.nx nx_cost_federation_test.nx

imports: nx_self_measure_cost.nxnx_crew_council.nx

imported by: nobody (leaf or entry point)

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

main cf_puts sm_profile sm_add sys_write sm_mul sys_write ↻ sm_shl sys_write ↻ cf_num cf_contribute sm_sane sm_hash cc_set cc_council

structs

none

consts

none

functions

20func cf_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 1: main
21func cf_num(v: i64) -> i64
called by 1: main
32func cf_contribute(prof: *i64, consent: i64, db_size: *i64, a: *CrewAction, why: *i64) -> i64
called by 1: main calls 4: sm_sanesm_hashcc_setcc_council
43func main() -> i64