code wiki / (root) / nx_card_adversary_gate.nx

nx_card_adversary_gate.nx

buildroot/runtime/nx_card_adversary_gate.nx

5637 B94 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic card
docsdependenciesstructsconstsfunctions

about

nx_card_adversary_gate.nx -- the CRITIC + ADVERSARY pass on the rewards-vs-interest ruler. Per the sovereign critic-kernel discipline: a ruler is trustworthy (LAW) only if it DISCRIMINATES a genuinely-good sample from an adversary built to game it (good >= 700, adversary <= 300 on a 0-1000 scale). Here the ruler = the honest verdict "is the interest eating the rewards?". The adversaries are the exact pushy-industry tricks: 1. "rewards always win" -- hides the interest so every card looks like a winner. 2. affiliate steering -- push the card that pays a commission, not the one that helps the person. 3. points inflation -- value points at a fantasy redemption to puff up a card. The honest engine must REJECT all three while still PASSING a truly good card (the payer). license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_card_rewards.nx nx_card_adversary_gate.nx

imports: nx_card_rewards.nx

imported by: nobody (leaf or entry point)

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

main g_puts cr_rewards_annual mny_div_round mny_div_floor cr_net_annual cr_interest_annual mny_rate_from_pct mny_div_round ↻ mny_apply_rate mny_div_round ↻ score cr_verdict chk g_puts ↻ g_n cr_pick cr_point_bps mny_div_round ↻ g_n ↻

structs

none

consts

none

functions

11func g_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 2: chkmain
12func g_n(v: i64) -> i64
called by 2: chkmain
20func chk(name: *u8, got: i64, want: i64, st: *i64) -> i64
called by 1: main calls 2: g_putsg_n
27func score(verdict: i64) -> i64
called by 1: main
33func main() -> i64