---
title: "world-idioms — Mova code model"
description: "Mova code model of world/src/idioms.rs: components with their labels, obernants and the model text."
url: "https://groupants.elamur.ai/free/en/mova/world/src/idioms.rs.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: <https://groupants.elamur.ai/free/en/mova/world/src/idioms.rs.groupant/>

# world-idioms

The groupant beside world/src/idioms.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
- **status:** partial source bound model
- **source:** [`world/src/idioms.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/idioms.rs)
- **source SHA-256:** `ac32513e83eaf56b…`
- **repository folder:** [`world/src/idioms.rs.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/idioms.rs.groupant)
- **repository commit:** `855da7bd4a7b`

> **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 source model | [forward](#forward) |
| **ast** | partial | `syntax.json` |
| **composition** | partial source model | [composition](#composition) |
| **cost** | partial source model | [cost](#cost) |
| **descriptant** | partial source model | [epoch-memory](#epoch-memory) |
| **invariant** | partial source model | [invariant](#invariant) |
| **tests** | partial source model | [checks](#checks) |

## 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 |
|---|---|---|---|
| `world-idioms-behavior-complement` | behavior_complement | partial source model | [behavior-complement](#behavior-complement) |
| `world-idioms-reverse-reconstruction` | reverse_reconstruction | partial source model | [reverse-reconstruction](#reverse-reconstruction) |
| `world-idioms-dictionary-order` | priority_relation | partial source model | [dictionary-order](#dictionary-order) |
| `world-idioms-mwe-order` | priority_relation | partial source model | [mwe-order](#mwe-order) |
| `world-idioms-phrase-context` | constraint_relation | partial source model | [phrase-context](#phrase-context) |
| `world-idioms-licence-eligibility` | constraint_relation | partial source model | [licence-eligibility](#licence-eligibility) |
| `world-idioms-threshold-partition` | constraint_relation | partial source model | [threshold-partition](#threshold-partition) |
| `world-idioms-count-projection` | information_loss | partial source model | [count-projection](#count-projection) |
| `world-idioms-export-priority` | priority_relation | partial source model | [export-priority](#export-priority) |
| `world-idioms-lexical-dependency` | dependency_relation | partial source model | [lexical-dependency](#lexical-dependency) |

## Parts

- [world-idioms-dictionary](https://md.groupants.elamur.ai/free/en/mova/world/src/idioms.rs.groupant/dictionary.groupant/)
- [world-idioms-merged-layer](https://md.groupants.elamur.ai/free/en/mova/world/src/idioms.rs.groupant/merged-layer.groupant/)
- [world-idioms-mining-export](https://md.groupants.elamur.ai/free/en/mova/world/src/idioms.rs.groupant/mining-export.groupant/)

## Model text

The model text names local infrastructure and is not shown here; read it in the [open repository](https://github.com/ElamurAI/mova-free/blob/main/world/src/idioms.rs.groupant/model.md).