topic: isa

14 modules sharing the isa name family (derived from the tree's prefix discipline).

The 'isa' topic family in the Nishi sovereign ecosystem focuses on verifying and managing instruction set architectures (ISAs) across diverse hardware platforms. Modules like nx_isa_armv7a_gate ensure ARMv7-A compliance, nx_isa_conform_gate provides a general ISA conformance framework, and nx_isa_manager oversees the integration of these standards. Together, they enable rigorous validation, testing, and execution of programs on target hardware, ensuring consistency and correctness across the NishiLang environment.

auto-narrated by the local model from this topic's module headers; links verified against the wiki index.

narrated overview -- maintained by the narration lane, module links verified against this wiki.

module	description	lines	funcs
nx_isa_armv7a_gate.nx	THE ARMv7-A CONFORMANCE RULER.	873	34
nx_isa_cf_sov.nx	CONTROL-FLOW rung: derive programs that BRANCH, run them on god.	409	43
nx_isa_conform_gate.nx	THE ISA CONFORMANCE RULER.	1094	51
nx_isa_cortexm_gate.nx	THE ARMv7-M / Cortex-M CONFORMANCE RULER.	834	46
nx_isa_equiv_sov.nx	THE DIFFERENTIAL-REPLACEMENT TEST, ON THE HARDWARE.	358	33
nx_isa_loongarch64_gate.nx	THE LOONGARCH64 CONFORMANCE RULER.	915	41
nx_isa_loop_sov.nx	LOOP rung: derive ITERATIVE programs with a BACKWARD branch, run on god.	342	39
nx_isa_manager.nx	THE MASTER ISA MANAGER.	1148	25
nx_isa_run_sov.nx	CLOSE THE LOOP (hardware -> derive -> hardware). A search-derived	98	9
nx_isa_s390x_gate.nx	THE s390x CONFORMANCE RULER.	945	37
nx_isa_sparc64_gate.nx	THE SPARC64 CONFORMANCE RULER.	1007	43
nx_isa_spec.nx	SPEC-DRIVEN instruction encoder (multi-arch). The capability	61	2
nx_isa_spec_test.nx	prove the SPEC-DRIVEN encoder: (1) it reproduces the	131	8
nx_isa_synth_sov.nx	SHAPE-DISCOVERY SYNTHESIS: the team is given only (a,b)->T(a,b) examples	367	45