Elamur Groupantsworld-know-rule-language
The groupant beside world/src/know.rs in the Mova repository: what the code computes, what it never does, how to go back from its outputs, its invariants, cost and checks.
Facts
Implementation material. A Mova code model describes this code at one source revision: partial models, finite checks and their stated scope. It is not a reviewed general exposition, and its labels are shown as written, never raised.
Components
| component | label | where |
|---|---|---|
| approximant | partial | approximant |
| ast | partial | ../syntax.json |
| composition | partial | composition |
| cost | partial | cost |
| descriptant | present | descriptant |
| invariant | partial | invariant |
| tests | partial bounded parent tests | tests |
Obernants
The typed relations around the forward model: the behaviour complement (what the code never does), the reverse reconstruction (every input compatible with an output) and specialised views.
| id | type | label | where |
|---|---|---|---|
behavior_complement | behavior_complement | partial source derived model | behavior_complement |
reverse_reconstruction | reverse_reconstruction | partial source derived model | reverse_reconstruction |
world_know_rule_language_invariants | world_know_rule_language_invariants | partial source derived model | world_know_rule_language_invariants |
world_know_rule_language_resource_cost | world_know_rule_language_resource_cost | partial source derived model | world_know_rule_language_resource_cost |
world_know_rule_language_representation_join | world_know_rule_language_representation_join | partial source derived model | world_know_rule_language_representation_join |
world_know_rule_language_domain_partition | world_know_rule_language_domain_partition | partial source derived model | world_know_rule_language_domain_partition |
Model text
descriptant
world-know-rule-language
Serialize6fixed fields, ordered verb rows, optional integer weights. Parser starts default; matching lines replace fields, 'yes' exact, filter_map weights, append recognized verb links. ideas=4flag toggles+6suppose+6condition toggles.
Modeling epoch 2026-10-31
Prospective source/branch/cost hypotheses were saved externally before source edits. This partial source-derived model retains observed boundaries rather than claiming complete verification. Serialization/rank fallback/derivation/inheritance runtime evidence only; extraction/questions/cache/learning effects partial. No general logic truth proof or surrogate.
approximant
Forward relation
Serialize6fixed fields, ordered verb rows, optional integer weights. Parser starts default; matching lines replace fields, 'yes' exact, filter_map weights, append recognized verb links. ideas=4flag toggles+6suppose+6condition toggles.
Domain: Finite clean delimiter-safe generated fields; parser accepts broader lossy prose.
No executable percent surrogate: these categorical/effect observations lack a useful approximation metric. Future supported caps1/2/5/10% need a defined domain/metric and real reference evidence; no error or speed bound is claimed.
invariant
Defaults suppose would/might/should/may, conditions if/unless. Each static idea changes one field/list membership, retaining others.
Cost component: cost.md.
cost
Linear bytes/verbs/weights plus16 full rule clones for ideas; no state I/O.
composition
family writes exact generated English; order enforces weight dimension13 at use, not parser.
models
behavior_complement
Unknown lines cannot clear defaults. Empty explicit list differs missing list. Malformed weights omitted not error; repeated scalar last-wins and verbs append.
reverse_reconstruction
Same rules admit ignored lines/trimmed periods; clean generated fields roundtrip, delimiter-bearing arbitrary strings may not. Ordered duplicate verb rows are preserved.
world_know_rule_language_invariants
Defaults suppose would/might/should/may, conditions if/unless. Each static idea changes one field/list membership, retaining others.
world_know_rule_language_resource_cost
Linear bytes/verbs/weights plus16 full rule clones for ideas; no state I/O.
world_know_rule_language_representation_join
family writes exact generated English; order enforces weight dimension13 at use, not parser.
world_know_rule_language_domain_partition
Finite clean delimiter-safe generated fields; parser accepts broader lossy prose.
tests
Scoped evidence
Parent selected test names: ["know::wave29_worldlearn::derivation_requires_missing_instrument_and_deduplicates", "know::wave29_worldlearn::english_defaults_and_malformed_weights_fallback", "know::wave29_worldlearn::inheritance_threshold_and_own_verb_override"]. These finite tests touch only the named behaviors, not every statement in this fragment. See parent evidence. control-know: compiled source mutation failed with exit101; source restored byte-for-byte and15positive tests passed.
Scope bytes [3956,11061) are bound to the shared parent syntax projection and full source hash. Serialization/rank fallback/derivation/inheritance runtime evidence only; extraction/questions/cache/learning effects partial. No general logic truth proof or surrogate.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/world/src/know.rs.groupant/rule-language.groupant/