Elamur Groupantsonto-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
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 | executed bounded checks | 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 |
token_coordinates | token_coordinates | partial source derived model | token_coordinates |
first_cue | first_cue | partial source derived model | first_cue |
ambiguous_none | ambiguous_none | partial source derived model | ambiguous_none |
no_effect | no_effect | partial source derived model | 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.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/onto/src/pron.rs.groupant/cue-parser.groupant/