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

# corpus-events-extraction

The groupant beside world/src/events.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 derived instance
- **source:** [`world/src/events.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/events.rs)
- **source SHA-256:** `3a58733b8be1a9bb…`
- **covers:** Event::show, noun, events, book_body and sentences.
- **part of:** [corpus-events](https://md.groupants.elamur.ai/free/en/mova/world/src/events.rs.groupant/)
- **repository folder:** [`world/src/events.rs.groupant/extraction.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/events.rs.groupant/extraction.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 | [Forward](#forward) |
| **ast** | partial | `../syntax.json` |
| **cost** | partial | [Cost](#cost) |
| **descriptant** | present | `model.md` |
| **invariant** | partial | [Invariant](#invariant) |
| **tests** | bounded native checks | `../model.md#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 |
|---|---|---|---|
| `nonbehavior` | behavior_complement | partial source derived model | [nonbehavior](#nonbehavior) |
| `antecedents` | reverse_reconstruction | partial source derived model | [antecedents](#antecedents) |
| `first-match` | selection_partition | partial source derived model | [first-match](#first-match) |
| `voice-negation` | role_mapping | partial source derived model | [voice-negation](#voice-negation) |
| `noun-unicode` | normalization_relation | partial source derived model | [noun-unicode](#noun-unicode) |
| `recipient-choice` | fallback_relation | partial source derived model | [recipient-choice](#recipient-choice) |

## Model text


### descriptant

## corpus-events-extraction

Event::show, noun, events, book_body and sentences.

### Forward

Select VERB or ADJ with Cop child. Passive roles: OblAgent,NsubjPass-or-Nsubj; active: Nsubj,Obj (VERB only). First matching child precedes noun admission. Recipient Iobj then to-Obl. Compose lowercased verb, optional be, first particle, not prefix.

### Invariant

First-match selection and sentence indices preserve source order. Count ties have canonical key order. Arithmetic assumes no integer overflow; IEEE NaN is filtered only by the source comparison. Counts retain role multiplicity, not unique entities.

### Cost

O(W^3) worst-case repeated child scans plus text bytes; linear output.

### Composition

Declared child relations compose through the same body, token arrays, maps and ranked records. Reverse composition existentially retains these intermediate values; complements cannot simply be unioned. Shared work is counted once. Parser and filesystem state remain latent dependencies.

### Epoch memory

2026-10-30 prospective prediction: native fixtures match marker reversal, first-role masking, Unicode byte admission, role multiplicity and degenerate NaN behavior. These are characterized, not policy changes. Only private register helpers were extracted; event production logic is unchanged. No executable approximation/error-cap claim is made.

### Gaps

Syntax is source-bound and partial: macro expansion, names/types, cfg evaluation and external modules absent. No live IO/parser/corpus/teacher/GPU run. Filesystem traces, thread scheduling, tokenizer/annotator/repair and external sentence splitting beyond bounded fixtures remain unverified dependencies. Models do not certify complete logical semantics.

### catalog

## corpus-events-extraction typed models

Subject: source hash in manifest, epoch 2026-10-30. Scope: Event::show, noun, events, book_body and sentences.. Domain: terminating Rust calls without integer overflow, narrowed below. Models are partial source-derived relations, not proofs. Complement is an inner bound in the stated input/output universe. Reconstruction retains all compatible antecedents, not a unique inverse. Oracle status is explicit below; tests.md records executed coverage.

### nonbehavior

Type: behavior_complement.

U=(W,E). Excludes active adjectival patient and recipient-only emission without admitted agent/patient. Oracle native masking.

### antecedents

Type: reverse_reconstruction.

e permits all W satisfying role and normalization constraints; spelling/case/surface form and ignored fields are lost. First-match constraints remain essential. Oracle proposed ignored-token metamorphism.

### first-match

Type: selection_partition.

find(P)=noun(W[min{i:head=p+1 and P}]), not first admissible noun. PRON masks later NOUN. Oracle native masking fixture.

### voice-negation

Type: role_mapping.

AuxPass switches to passive sources; first NsubjPass or Nsubj wins in index order. Negation only Advmod lemma not/never/n't; first particle appends. Oracle native passive fixture.

### noun-unicode

Type: normalization_relation.

Only NOUN/PROPN with all lowercased characters alphabetic or '-' admitted. Empty lemma vacuously Some(empty), potentially admitting an event rendered '_'. Oracle Unicode/digit/empty assertions.

### recipient-choice

Type: fallback_relation.

Admitted first Iobj wins; rejected first Iobj allows first to-Obl fallback, which itself selects before noun admission. Oracle priority native; rejected-Iobj branch proposed.