code wiki / superopt
topic: superopt
12 modules sharing the superopt name family (derived from the tree's prefix discipline).
The 'superopt' topic family in the Nishi sovereign ecosystem focuses on advanced superoptimization techniques for generating highly efficient machine code. The nx_superopt module serves as the AUTHOR leg of the Sovereign Invention Engine, while nx_superopt_opt provides a cost-optimal superoptimizer that finds the shortest program. nx_superopt_machinecode_test enables the team to build machine code up, supporting multi-architecture compilation.
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_superopt.nx | the AUTHOR leg of the Sovereign Invention Engine: a | 238 | 6 |
| nx_superopt_emit.nx | emit COMPETITIVE x86-64 machine code for a superoptimized | 216 | 9 |
| nx_superopt_general_test.nx | (#1) the generator GENERALIZED beyond x*C-in-two- | 124 | 7 |
| nx_superopt_govern_test.nx | the team builds END TO END, no human in the rule: | 74 | 3 |
| nx_superopt_governed_test.nx | a SECOND GENERATOR in the governed cycle: the | 111 | 2 |
| nx_superopt_machinecode_test.nx | the team builds MACHINE CODE UP, MULTI-ARCH, | 149 | 17 |
| nx_superopt_opt.nx | a COST-OPTIMAL (exhaustive-shortest) superoptimizer over the | 119 | 6 |
| nx_superopt_opt_test.nx | the optimal superoptimizer finds the SHORTEST program | 108 | 7 |
| nx_superopt_race_test.nx | the team SYNTHESIZES + SUPEROPTIMIZES + EMITS real machine | 98 | 6 |
| nx_superopt_strength.nx | a GENERATOR: it AUTHORS strength-reduction lowerings | 98 | 4 |
| nx_superopt_strength_test.nx | watch the GENERATOR author optimizations itself. | 74 | 4 |
| nx_superopt_test.nx | GATE + proof for the mechanized superoptimizer organ | 254 | 4 |