nx_commons_price_gate.nx
buildroot/runtime/nx_commons_price_gate.nx
about
nx_commons_price_gate.nx -- proves the commensuration rule, and proves that the CHOICE of base unit
is what does the work rather than asserting it.
T1 is the tooth the whole programme rests on: for one hour of work each, a janitor and an investment
banker must price IDENTICALLY. It is bite-proven against the market-rate pricer kept in the library
as a negative control -- the market rule must FIRE (price them apart) and the time rule must be
SILENT (price them equal). If the market rule ever agreed, the fixture would be too weak to detect
the thing this design exists to prevent.
license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_gate_verdict.nxnx_commons_price.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
| 13 | const PG_HOUR: i64 = 3600 |
| 14 | const PG_BASE: i64 = 1000 // declared base multiplier: an ordinary hour |
| 15 | const PG_HAZARD: i64 = 2500 // declared: boiler repair, 2am, in the rain |
| 16 | const PG_GREEDY: i64 = 8000 // a commons tries to declare 8x for a prestige skill |
| 17 | const PG_DEMEAN: i64 = 200 // ...and 0.2x for "unskilled" labour |
| 18 | const PG_JANITOR_CENTS: i64 = 2500 // market: $25/hr |
| 19 | const PG_BANKER_CENTS: i64 = 120000 // market: $1200/hr |
| 20 | const PG_GPU_SECONDS: i64 = 7200 |
| 21 | const PG_GPU_RATE: i64 = 500 // declared: 0.5 commons-units per GPU-second |
functions
| 23 | func main() -> i64 |