Elamur Groupantsworld-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
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_derivation_invariants | world_know_derivation_invariants | partial source derived model | 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_representation_join | world_know_derivation_representation_join | partial source derived model | world_know_derivation_representation_join |
world_know_derivation_domain_partition | world_know_derivation_domain_partition | partial source derived model | 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.
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. 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.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/world/src/know.rs.groupant/derivation.groupant/