nx_ale_format_validate.nx

nx_ale_format_validate.nx -- sovereign ALE-FORMAT triple validator (rungs ALE-R0a/R0b). Parses one task/grader/deployer triple file (contract|field|value lines) and ENFORCES the ale_format.spec contracts with NO mocks: (1) all 15 required fields present (5 task + 5 grader + 5 deployer); (2) grader score_range bound to [0,1] -- the value MUST be exactly "0..1" (lower-bound token 0 AND upper-bound token 1; anything else = out of range); (3) grader deterministic -- the value MUST be "yes" (a "no" = non-deterministic). ALE-R0b HARDENING (3 NEW semantic contracts as VALUES, grounded in the real rdi-berkeley/agents-last-exam@6b7f1b98 repo cross-check): (4) grader staged_reference_after -- value MUST be "yes" (reject LEAKAGE: the hidden reference must be staged AFTER the agent completes; lifecycle.py Phase 3 stage_reference proves the real ordering); (5) grader code_graded -- value MUST be "yes" (reject HUMAN-JUDGE: grading is the task's evaluate() code, never a human; a "no" breaks the measure); (6) the numeric [0,1] range -- ENFORCED by check (2) "0..1" (lower bound 0, upper bound 1); a value like "0..5" is rejected as out-of-range. Silent organ: argv[1] = triple path. exit 0 iff ALL checks pass, else exit 1. The refusal is REAL (a check that bites) -- the gate proves it on 5 tampered triples. Landmines respected: nested ifs (no &&/||), flat exprs, <=6 args/func, no empty string literal, strings authored via Write. license_tier: ORIGINAL