nx_jargon.nx
buildroot/runtime/nx_jargon.nx
about
nx_jargon.nx -- substrate-native terminology bridge.
Per BRIDGEWORK_DOCTRINE: substrate lets a NEWCOMER and an EXPERT
talk about the same concept in their own language. Per discipline
+ per audience tier. Cross-discipline aliasing first-class.
Three sealed enums:
Discipline: MATH / PHYSICS / CS / STATS / ENGINEERING / BIOLOGY /
ECONOMICS / LINGUISTICS / CHEMISTRY
Tier: BEGINNER / INTERMEDIATE / EXPERT
Form: DEFINITION / METAPHOR / EXAMPLE / FORMULA / CITATION
genealogy_id: feynman_lecturing + popper_clarity + accessibility_research
lineage_id: terminology_bridge + translation_layer
axioms: NX_AX_LOGIC_IDENTITY (definition equals concept itself)
dependencies 2 imports · 3 importers
imports: syscalls.nxnx_axioms.nx
imported by: nx_help.nxnx_help_test.nxnx_jargon_test.nx
structs
| 54 | struct JargonEntry |
| 67 | struct JargonDb |
consts
| 28 | const NX_DISC_MATH: i64 = 0 |
| 29 | const NX_DISC_PHYSICS: i64 = 1 |
| 30 | const NX_DISC_CS: i64 = 2 |
| 31 | const NX_DISC_STATS: i64 = 3 |
| 32 | const NX_DISC_ENGINEERING: i64 = 4 |
| 33 | const NX_DISC_BIOLOGY: i64 = 5 |
| 34 | const NX_DISC_ECONOMICS: i64 = 6 |
| 35 | const NX_DISC_LINGUISTICS: i64 = 7 |
| 36 | const NX_DISC_CHEMISTRY: i64 = 8 |
| 40 | const NX_TIER_BEGINNER: i64 = 0 // 12-year-old can follow |
| 41 | const NX_TIER_INTERMEDIATE: i64 = 1 // undergraduate |
| 42 | const NX_TIER_EXPERT: i64 = 2 // PhD-level |
| 46 | const NX_FORM_DEFINITION: i64 = 0 |
| 47 | const NX_FORM_METAPHOR: i64 = 1 |
| 48 | const NX_FORM_EXAMPLE: i64 = 2 |
| 49 | const NX_FORM_FORMULA: i64 = 3 |
| 50 | const NX_FORM_CITATION: i64 = 4 |
| 65 | const NX_JARGON_ENTRY_BYTES: i64 = 64 |
| 73 | const NX_JARGON_MAX_ENTRIES: i64 = 4096 |
functions
| 75 | func nx_jargon_db_alloc() -> *JargonDb |
| 84 | func nx_jargon_entry_at(db: *JargonDb, i: i64) -> *JargonEntry |
| 89 | func nx_jargon_add(db: *JargonDb, term: *u8, discipline: i64, tier: i64, |
| 107 | func nx_jargon_str_eq(a: *u8, b: *u8) -> i64 called by 1: nx_jargon_lookup |
| 119 | func nx_jargon_lookup(db: *JargonDb, term: *u8, discipline: i64, tier: i64) -> i64 |
| 135 | func nx_jargon_explain(db: *JargonDb, term: *u8, discipline: i64, tier: i64) -> *u8 |
| 144 | func nx_jargon_audit_tier_count(db: *JargonDb, term: *u8, discipline: i64) -> i64 |
| 155 | func nx_jargon_count_by_discipline(db: *JargonDb, discipline: i64) -> i64 |
| 167 | func nx_jargon_count_by_tier(db: *JargonDb, tier: i64) -> i64 |
| 183 | func nx_jargon_seed_corpus(db: *JargonDb) -> i64 |