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

# onto-pron-cue-parser

The groupant beside onto/src/pron.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:** [`onto/src/pron.rs`](https://github.com/ElamurAI/mova-free/blob/main/onto/src/pron.rs)
- **source SHA-256:** `58269d22bbd6e636…`
- **covers:** F=first female cue,M=first male cue; output iff exactly one exists (bytes 2665–3151)
- **part of:** [onto-pron](https://md.groupants.elamur.ai/free/en/mova/onto/src/pron.rs.groupant/)
- **repository folder:** [`onto/src/pron.rs.groupant/cue-parser.groupant`](https://github.com/ElamurAI/mova-free/tree/main/onto/src/pron.rs.groupant/cue-parser.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 | [approximant](#approximant) |
| **ast** | partial | `../syntax.json` |
| **composition** | partial | [composition](#composition) |
| **cost** | partial | [cost](#cost) |
| **descriptant** | present | [descriptant](#descriptant) |
| **invariant** | partial | [invariant](#invariant) |
| **tests** | executed bounded checks | [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) |
| `token_coordinates` | token_coordinates | partial source derived model | [token_coordinates](#token-coordinates) |
| `first_cue` | first_cue | partial source derived model | [first_cue](#first-cue) |
| `ambiguous_none` | ambiguous_none | partial source derived model | [ambiguous_none](#ambiguous-none) |
| `no_effect` | no_effect | partial source derived model | [no_effect](#no-effect) |

## Model text


### descriptant

#### onto-pron-cue-parser

F=first female cue,M=first male cue; output iff exactly one exists

##### Epoch 2026-10-31

Specialized source fragment bytes [2665,3151); shared parent AST. Excludes unrelated parent operations and added test module.

### approximant

#### Scoped forward

F=first female cue,M=first male cue; output iff exactly one exists

##### Domain

This byte-scoped operator uses the parent valid-state domain plus the following local restrictions:

Unicode alphanumeric split then lowercase

Within selected class first textual occurrence returned

Both and neither map None, distinct antecedents

No graph or filesystem effects

No executable percentage surrogate established.

### invariant

#### Local observations

queen and king excludes direct gender cue

Unicode alphanumeric split then lowercase

Within selected class first textual occurrence returned

Both and neither map None, distinct antecedents

No graph or filesystem effects

### cost

#### Scoped cost

O(text characters) and fixed-list membership scans.

Restriction to this operator's traversed inputs; parent total is not charged to every fragment. No standalone measurement.

### composition

#### Parent join

cue-parser supplies the parent relation: F=first female cue,M=first male cue; output iff exactly one exists

Output compatibility is conditional on the local domain and earlier-branch exclusions. Other parent branches are outside this fragment.

### models

### behavior_complement

queen and king excludes direct gender cue

### reverse_reconstruction

Preimage contains arbitrary noncue words and case/punctuation, excludes opposite cue

### token_coordinates

Unicode alphanumeric split then lowercase

### first_cue

Within selected class first textual occurrence returned

### ambiguous_none

Both and neither map None, distinct antecedents

### no_effect

No graph or filesystem effects


### tests

#### Evidence

Parent tests.md identifies selected actual-code checks. Fragment is a source-scoped partial model; parent finite fixtures do not establish exhaustive branch coverage or every local equation.