code wiki / rv64
topic: rv64
35 modules sharing the rv64 name family (derived from the tree's prefix discipline).
The 'rv64' topic family in the Nishi sovereign ecosystem focuses on implementing and verifying RV64 instruction set architecture components within the system's modular design. Modules like nx_rv64_asm provide a bare-metal text assembler, while nx_rv64_asm_verify ensures its correctness through exhaustive testing. nx_rv64_csr_trap_oracle supports privilege mode and CSR operations, aligning with the ecosystem's conformance goals. These modules collectively enable robust, verified execution of RV64 code across the Nishi platform.
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_rv64_amo_gate.nx | RV64A (atomics) conformance gate for the sovereign behavioral sim. | 112 | 10 |
| nx_rv64_asm.nx | SOVEREIGN RV64 BARE-METAL TEXT-ASSEMBLER. Two-pass (collect labels -> encode with resolved | 179 | 25 |
| nx_rv64_asm_test.nx | minimal isolation test for the RV64 assembler. Assembles 3 instructions + checks bytes. | 35 | 3 |
| nx_rv64_asm_verify.nx | GATE: EXHAUSTIVE verification of the sovereign RV64 assembler (nx_rv64_asm) by RUNNING its | 79 | 6 |
| nx_rv64_cjit_gate.nx | GATE: the compressed-region JIT compactor+relinker is CORRECT and FAST. Loads a compressed | 66 | 7 |
| nx_rv64_const_probe.nx | verify the RV64/asm-generic CONST syscall forms my organs must migrate | 39 | 1 |
| nx_rv64_csr_trap_oracle.nx | ROADMAP R2 (Zicsr + privilege conformance): validate the golden sim's CSR + TRAP | 104 | 5 |
| nx_rv64_ctier_gate.nx | the TIERED engine runs REAL compressed rv64imac code. Loads knowledge/hw/realc_c.bin (gcc | 59 | 7 |
| nx_rv64_difftest.nx | DIFFERENTIAL FUZZER for the RV64 emulator stack (the SOTA way to validate a JIT: V8/QEMU do | 113 | 11 |
| nx_rv64_fast.nx | a PREDECODED RV64 interpreter (the first perf-engineering step toward closing the QEMU-TCG gap | 350 | 30 |
| nx_rv64_fast_dev_gate.nx | GATE: the DEVICE-AWARE predecoded interpreter drives a REAL virtio device, matching the | 110 | 7 |
| nx_rv64_fast_gate.nx | GATE: prove the predecoded interpreter (nx_rv64_fast) is (a) EQUIVALENT to the golden | 119 | 8 |
| nx_rv64_jit.nx | a SOVEREIGN RV64 -> x86-64 JIT (dynamic binary translation): the SOTA emulator technique, above | 217 | 50 |
| nx_rv64_jit_fwd_gate.nx | GATE: the JIT now compiles REAL forward control flow (if/else) -- forward conditional | 75 | 7 |
| nx_rv64_jit_gate.nx | GATE: the sovereign RV64->x86-64 JIT is (a) CORRECT (a JIT'd count-loop gives the same | 78 | 4 |
| nx_rv64_jit_mem_gate.nx | GATE: the JIT now compiles GUEST MEMORY loads/stores (LW/LD/SW/SD) + the RAM-addressing | 100 | 7 |
| nx_rv64_jit_ra_gate.nx | GATE: the REGISTER-ALLOCATED JIT (the SOTA quality step) is CORRECT (equivalent to the | 92 | 8 |
| nx_rv64_jit_w_gate.nx | GATE: the JIT now compiles *W (32-bit word) ops, so REAL `int` loops accelerate. Before this, | 56 | 4 |
| nx_rv64_kernel_gate.nx | CAPSTONE: the sovereign emulator runs a real bare-metal KERNEL, bit-identical to QEMU. | 62 | 5 |
| nx_rv64_m_gate.nx | GATE: the RV64 M EXTENSION (multiply/divide) -- so the emulator runs REAL programs (they | 90 | 5 |
| nx_rv64_mmu_oracle.nx | ROADMAP R2 (privilege, part 3): validate the golden sim's Sv39 MMU TRANSLATION -- the OS's | 111 | 5 |
| nx_rv64_mulh_gate.nx | GATE: the HIGH-MULTIPLY half of the M extension (MULH/MULHU/MULHSU) -- the 64-bit high word | 84 | 6 |
| nx_rv64_qemu_fuzz.nx | DIFFERENTIAL FUZZER AGAINST REAL QEMU (broadens the single-program QEMU oracle into a fleet; | 230 | 11 |
| nx_rv64_qemu_oracle.nx | EXTERNAL-ORACLE EXECUTION VALIDATION: assemble an M-extension test program with the | 79 | 5 |
| nx_rv64_realc_gate.nx | MILESTONE: the sovereign emulator runs REAL gcc-compiled C code, bit-identical to QEMU. | 82 | 5 |
| nx_rv64_run_bin.nx | generic loader: reads knowledge/hw/runbin.bin (a flat RV64 binary), runs it on the golden | 40 | 3 |
| nx_rv64_run_bin_fast.nx | runs knowledge/hw/runbin.bin on the FAST INTERPRETER (fk_run, now REAL-address-based) with | 27 | 3 |
| nx_rv64_run_bin_tier.nx | runs knowledge/hw/runbin.bin on tier_run_c (C-capable tiered engine WITH the compressed- | 27 | 4 |
| nx_rv64_sdeleg_oracle.nx | ROADMAP R2 (privilege, part 2): validate the golden sim's S-MODE TRAP DELEGATION -- the | 117 | 5 |
| nx_rv64_sim.nx | minimal RV64I interpreter (sovereign qemu). | 832 | 20 |
| nx_rv64_snapshot_gate.nx | prove DETERMINISTIC snapshot/restore (F107i). Runs a compute program to halt | 122 | 7 |
| nx_rv64_tier.nx | the TIERED EXECUTION ENGINE (the SOTA emulator architecture: V8/HotSpot/QEMU-TCG-style). It | 187 | 4 |
| nx_rv64_tier_gate.nx | GATE: the TIERED EXECUTION ENGINE (interpret cold + JIT hot loops) is (a) CORRECT with JIT | 70 | 5 |
| nx_rv64_timer_oracle.nx | ROADMAP R2 (privilege, part 4 = LAST): validate the golden sim's TIMER INTERRUPT (CLINT | 92 | 5 |
| nx_rv64_toolchain_gate.nx | END-TO-END SOVEREIGN TOOLCHAIN CLOSURE: prove the assembler and the emulator are now | 72 | 5 |