topic: dom
11 modules sharing the dom name family (derived from the tree's prefix discipline).
The 'dom' topic family in the Nishi sovereign ecosystem focuses on dominance analysis within the NishiLang framework, supporting both static and dynamic analysis of program control flow. The core module 'dom' implements Cooper-Harvey-Kennedy dominance, providing foundational dominance information for program structures. Complementary modules like 'dom_fn' build on this by constructing dominator trees for functions, while 'nx_dom_click' extends dominance analysis with interactive or event-driven components, enhancing the ecosystem's ability to model complex control dependencies.
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 |
|---|---|---|---|
| dom.nx | Cooper-Harvey-Kennedy dominance, in NishiLang. | 426 | 5 |
| dom_fn.nx | dominator tree on *Function (opt.nx consumer). | 255 | 6 |
| dom_test.nx | self-test for dom.nx. | 83 | 1 |
| nx_dom.nx | Cooper-Harvey-Kennedy dominance, in NishiLang. | 432 | 5 |
| nx_dom_click.nx | bits-up "click intent" extractor. Locates an | 145 | 5 |
| nx_dom_click_test.nx | smoke for nx_dom_click.nx. | 83 | 3 |
| nx_dom_fn.nx | dominator tree on *Function (opt.nx consumer). | 285 | 6 |
| nx_dom_oracle_gate.nx | BRUTE-FORCE DOMINANCE ORACLE for dom_fn.nx. | 316 | 7 |
| nx_dom_query.nx | bits-up DOM query primitives for the Nishi test | 405 | 15 |
| nx_dom_query_test.nx | smoke test for nx_dom_query.nx. | 164 | 6 |
| nx_dom_tokenize.nx | DOM TOKENIZER rung 1: the foundation for true layout-aware quality criteria | 146 | 8 |