--- title: "world-know-derivation — Mova code model" description: "Mova code model of world/src/know.rs: components with their labels, obernants and the model text." url: "https://groupants.elamur.ai/free/en/mova/world/src/know.rs.groupant/derivation.groupant/" --- Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · [Research](https://md.research.elamur.ai/free/en/) · **Groupants** This page as HTML: # world-know-derivation 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 - **kind:** groupant_fragment - **status:** partial source bound model - **source:** [`world/src/know.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/know.rs) - **source SHA-256:** `6e24c7d3793f5e08…` - **covers:** done_with[instrument] stores firstverb/source from nonnegated Does/Can with 'with'. out=inherit(facts), then negativeHas joins exact instrument and emits unique(subject,verb,instrument) negativeCan. Inherit positive single-word IsA definitions require>=3 eligible same-world Has/Can, exclude own key/verb, emit<=12 per definition. (bytes 38969–43381) - **part of:** [world-know](https://md.groupants.elamur.ai/free/en/mova/world/src/know.rs.groupant/) - **repository folder:** [`world/src/know.rs.groupant/derivation.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/know.rs.groupant/derivation.groupant) - **repository commit:** `48f2e6f74146` > **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](#approximant) | | **ast** | partial | `../syntax.json` | | **composition** | partial | [composition](#composition) | | **cost** | partial | [cost](#cost) | | **descriptant** | present | [descriptant](#descriptant) | | **invariant** | partial | [invariant](#invariant) | | **tests** | partial bounded parent tests | [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](#behavior-complement) | | `reverse_reconstruction` | reverse_reconstruction | partial source derived model | [reverse_reconstruction](#reverse-reconstruction) | | `world_know_derivation_invariants` | world_know_derivation_invariants | partial source derived model | [world_know_derivation_invariants](#world-know-derivation-invariants) | | `world_know_derivation_resource_cost` | world_know_derivation_resource_cost | partial source derived model | [world_know_derivation_resource_cost](#world-know-derivation-resource-cost) | | `world_know_derivation_representation_join` | world_know_derivation_representation_join | partial source derived model | [world_know_derivation_representation_join](#world-know-derivation-representation-join) | | `world_know_derivation_domain_partition` | world_know_derivation_domain_partition | partial source derived model | [world_know_derivation_domain_partition](#world-know-derivation-domain-partition) | ## Model text ### descriptant #### world-know-derivation done_with[instrument] stores firstverb/source from nonnegated Does/Can with 'with'. out=inherit(facts), then negativeHas joins exact instrument and emits unique(subject,verb,instrument) negativeCan. Inherit positive single-word IsA definitions require>=3 eligible same-world Has/Can, exclude own key/verb, emit<=12 per definition. ##### 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 done_with[instrument] stores firstverb/source from nonnegated Does/Can with 'with'. out=inherit(facts), then negativeHas joins exact instrument and emits unique(subject,verb,instrument) negativeCan. Inherit positive single-word IsA definitions require>=3 eligible same-world Has/Can, exclude own key/verb, emit<=12 per definition. Domain: Finite Facts; truth and generality of premises not proven, exact wording definition heuristics apply. 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 derive only reads original premises; inherited facts do not feed done_with. inherit seen ignores negation for same subject/link/object; first eligible provenance wins. Cost component: [cost.md](https://md.groupants.elamur.ai/free/en/mova/world/src/know.rs.groupant/derivation.groupant/#cost). ### cost Ordered maps/sets plus kind scans;12cap per definition, multiple kinds can exceed12 per subject, output/provenance storage. ### composition Knowledge applies kind links first; world_of unknown sentences returns empty on both, allowing synthetic same-world inheritance. ### models ### behavior_complement No missing instrument or matching action gives no new cannot. Negative action excluded; Never alone not filtered for instrument stage. Inheritance excludes Never/Does kind facts and own ability conflicts, no recursive closure. ### reverse_reconstruction Derived cannot admits many matching original premise pairs and duplicate actions deduped by triple. Inherited Has admits multiple kind definitions/support sets meeting threshold; provenance text cannot recover vector order. ### world_know_derivation_invariants derive only reads original premises; inherited facts do not feed done_with. inherit seen ignores negation for same subject/link/object; first eligible provenance wins. ### world_know_derivation_resource_cost Ordered maps/sets plus kind scans;12cap per definition, multiple kinds can exceed12 per subject, output/provenance storage. ### world_know_derivation_representation_join Knowledge applies kind links first; world_of unknown sentences returns empty on both, allowing synthetic same-world inheritance. ### world_know_derivation_domain_partition Finite Facts; truth and generality of premises not proven, exact wording definition heuristics apply. ### 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](https://md.groupants.elamur.ai/free/en/mova/world/src/know.rs.groupant/#tests). control-know: compiled source mutation failed with exit101; source restored byte-for-byte and15positive tests passed. Scope bytes [38969,43381) 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.