nx_langspec.nx

nx_langspec.nx -- THE CONFORMANCE RUNNER for the written NishiLang specification. lang.plan rung LR5, watch symbol spec_conformance_run, board /compare/lang. THE FERROCENE LESSON, TAKEN EARLY. Rust reached safety-critical qualification only by retrofitting a written specification years after 1.0, and the qualification artifact was never the prose -- it was REQUIREMENTS-TO-TESTS TRACEABILITY. So the load-bearing half of this rung is this runner, not the document: every clause in knowledge/specs/nishilang.spec carries an ID, every case in knowledge/specs/nishilang.suite cites the clause IDs it exercises, and this organ resolves those citations MECHANICALLY, drives the SHIPPED compiler over every case, and reports which clauses no case exercises. That unexercised list is the real deliverable: a spec nothing checks is a comment, and a clause nothing exercises is UNVERIFIED however confidently it is written. WHAT IT IS NOT. It is not a second compiler-gate driver: it COMPOSES nx_ccgate_lib, the one organ in the estate that spawns the compiler, and nx_lineconf_lib for its thresholds. It does not replace nx_langdiag_gate -- that gate proved 11 hand-written rows refuse for the RIGHT reason and is where this suite's discipline comes from. What it adds is the three things a hard-coded row list structurally cannot have: the cases are DATA (adding one is a data row, not a rebuild), each case is TRACED to a normative clause, and the run reports COVERAGE over the whole clause set. THREE STATES, NEVER TWO. A case is PASS, FAIL or UNOBSERVABLE. UNOBSERVABLE is a case the runner could not judge through no fault of the language -- its source is missing, the assembler failed, the artifact could not be renamed. It is NOT folded into pass and NOT folded into fail: an axis that cannot see must abstain, never acquit. Every count is printed beside its denominator and the partition is reconciled in the output, because an abstention nobody reads is a lie nobody told. NO SILENT CAPS. Budgets come from the conf. A spec or suite that exceeds one is not truncated in silence: the surplus is counted, named OVER-BUDGET, and coverage_complete is forced to 0. EXITS: 0 CONFORMANT - 1 DEVIATION - 2 usage - 3 UNOBSERVABLE - 4 EMPTY-SUITE. EMPTY-SUITE is its own exit on purpose: a conformance runner that certifies the empty set is the vacuous-test defect wearing a certification costume, and 0 must be unreachable that way. DECLARED LIMITATION, MEASURED NOT ASSUMED: an INLINE case is materialised into a scratch directory outside the tree and the compiler resolves an import relative to the importing file, so an INLINE case CANNOT import. A case that needs the standard library is written as a fixture in the tree and cited by path. Found by this organ's own first run, which reported the offending case FAIL in the compiler's own words (expand_imports failed, exit 12) rather than passing it for the wrong reason. Usage: nx_langspec [run|coverage|clauses|cases] [spec] [suite] [compiler] [conf] The conf argument exists so a gate can supply its OWN thresholds against its OWN fixture spec