nx_commons_ledger_gate.nx
buildroot/runtime/nx_commons_ledger_gate.nx
about
nx_commons_ledger_gate.nx -- proves the ledger derives what the bench previously had to be TOLD,
and measures honestly where the derivation STOPS.
The headline result here is a LIMIT, not a win: a 3-cycle sybil ring DEFEATS the flow-through rule.
Each member gives onward to someone it never received from, so its onward circulation looks perfect
and its retained value is zero. Flow-through catches a 2-cycle (return trips) and is blind to longer
cycles. That is measured below, not argued.
A RULE THAT CATCHES THE SHAPE YOU IMAGINED IS NOT A RULE THAT CATCHES THE BEHAVIOUR.
The ring is still convicted -- by the WITNESS layer, which it cannot satisfy at any cycle length --
so the two layers are complementary and NEITHER IS SUFFICIENT ALONE. Shipping flow-through as a
sybil defence on its own would have been a false all-clear.
license_tier: ORIGINAL expect_exit: 0
dependencies 3 imports · 0 importers
imports: nx_gate_verdict.nxnx_commons_ledger.nxnx_commons_lib.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 17 | const LG_N: i64 = 7 |
| 18 | const LG_M: i64 = 6 |
functions
| 20 | func main() -> i64 |