nx_ale_grade_nondet_stub.nx

nx_ale_grade_nondet_stub.nx -- the TAMPER fixture for ALE-R1a: a NON-DETERMINISTIC grader. It IGNORES (reference, artifact) and emits a CLOCK-DERIVED, time-varying milli-score instead of a pure function of the two files. The diff-lane gate _ale_grade_gate runs THIS twice on the same inputs; because the score changes between runs, the gate REJECTS it (the determinism check BITES). This is the negative control proving the real grader's determinism contract is enforced, not assumed. NEVER on the runtime path; fixture only. Lives in runtime/_hdl_build/ so `import "nx_syscalls.nx"` resolves (the import walker reaches runtime/); the fixture DATA (.txt) lives under knowledge/specs/ale_grade_examples/. Same I/O surface as nx_ale_grade: argv[1]=ref, argv[2]=art; writes the milli-score (decimal + newline) to the scratch path in argv[3] (or stdout if absent). license_tier: ORIGINAL