code wiki / _hdl_build / nx_carflip_deal.nx
nx_carflip_deal.nx
buildroot/runtime/_hdl_build/nx_carflip_deal.nx
about
nx_carflip_deal.nx -- R6-v2 DATA-DRIVEN deal scorer for the Car-Flip lane. Fuses the
knowledge/store/carflip-fail- failure-prior plane (REAL NHTSA-derived rows, seeded via
nx_store_put -- compose, never re-implement the store) with the P10-gated calc from
nx_carflip_lib. For the given vehicle key it prints every known failure-mode row as a
warn= line BEFORE the verdict, so the operator prices repair_high with eyes open (the
2013-Focus DPS6 class of trap has NO safety recall; only the plane carries it -- a
recall-only view is a flip trap). FAIL-CLOSED: absent plane = exit 3, a missing priors
plane is a defect, never a clean bill (rule 20 fail-fast + no-vacuity). warns=0 for a
covered call emits an explicit coverage caveat rather than silent cleanliness.
usage: nx_carflip_deal <vehicle-key> <asking> <resale_typ> <resale_low> <repair_typ> <repair_high> <recon> <transport> <fees> <sell_cost> <holding>
license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0
dependencies 4 imports · 0 importers
imports: nx_carflip_lib.nxnx_store_seed_lib.nxnx_seg_store.nxnx_syscalls.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 CFD_CAP: i64 = 1048576 |
| 18 | const CFD_MARGIN: i64 = 4096 |
| 19 | const CFD_NL: i64 = 10 |
functions
| 22 | func cfd_rowhas(b: *u8, i: i64, le: i64, q: *u8) -> i64 called by 1: main |
| 37 | func main(argc: i64, argv: *i64) -> i64 |