Elamur Groupantsworld-sense-reporting
The groupant beside world/src/sense.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 source model | forward |
| ast | partial | ../syntax.json |
| composition | partial source model | composition |
| cost | partial source model | cost |
| descriptant | partial source model | epoch-memory |
| invariant | partial source model | invariant |
| tests | partial source model | 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-sense-reporting-behavior-complement | behavior_complement | partial source model | behavior-complement |
world-sense-reporting-reverse-reconstruction | reverse_reconstruction | partial source model | reverse-reconstruction |
world-sense-reporting-alignment-loss | information_loss | partial source model | alignment-loss |
Model text
Source-bound deterministic projections, with explicit dependency and observation boundaries.
forward
Scope: sub_obj, show_tree, run. Read system/gold, align IDs when any gold IDs exist else positions, reject if none found. Build flags before alignment; score only aligned lengths/forms. Strict and lenient flag precision differ from per-arc recall. Display uses caller-valid head indices; malformed heads can panic in reporting even where check tolerated them.
behavior-complement
Type: behavior_complement. For admissible input/observation pairs U with dependencies fixed, N = {(x,y) in U : y != F(x)}. This is the exact complement of the stated scoped mathematical relation, and only a source-derived hypothesis about unsampled Rust behavior. Unknown external transitions are outside U, not forbidden. Subject/revision: this manifest's source hash. Domain and observation are restricted by forward and the named view. Evidence is finite native correspondence where named, otherwise source inspection; no universal Rust proof.
reverse-reconstruction
Type: reverse_reconstruction. B(y) = {x in D : F(x)=y}, retaining every compatible antecedent and fixed dependency state. Thus x belongs to B(F(x)); unique recovery requires injectivity. Enumeration establishes complete fibers only on each named bounded test domain. Strings, omitted fields and hidden configuration are not recoverable from a projected output. Subject/revision: this manifest's source hash. Domain and observation are restricted by forward and the named view. Evidence is finite native correspondence where named, otherwise source inspection; no universal Rust proof.
alignment-loss
Type: information_loss. A missing/mismatched gold record suppresses scoring but not flags/display. Aggregate totals cannot reconstruct token errors or skipped sentence identities. CLI I/O behavior is source-modeled and not executed here. Subject/revision: this manifest's source hash. Domain and observation are restricted by forward and the named view. Evidence is finite native correspondence where named, otherwise source inspection; no universal Rust proof.
invariant
Preserve ordered observations and all compatible antecedents; input indices and arithmetic must satisfy the scoped preconditions. Equality of a projection does not identify original text or intended meaning. Knowledge tables and normalization are part of the input context.
cost
For n nodes, arguments scans n children per verb and check costs O(v*n) plus lexical queries/string construction; O(n+output bytes) transient storage. Category filtering costs category-count times selection-list membership cost. Report matching uses ordered maps O(s log s) and token comparisons; exact global lookup/I/O costs are external.
composition
Compose fragment relations by joining shared token order, Mention/Node fields and the same dependency snapshot. Reverse composition is a union over compatible intermediate states, not a Cartesian product of independent fibers. Root includes CLI/reporting and inline tests beyond the scoped fragments. Partial syntax does not resolve types, expand macros or prove semantics.
checks
Run cargo test -p world --lib sense::wave8_models -- --test-threads=1. Root evidence.md records repeated profiles, compiled controls and syntax identity. Each fragment inherits only checks addressing its source scope.
epoch-memory
2026-10-30: first epoch. Prediction before tests: bounded native models match deterministic scoring/role projection and preserve ambiguity; changing a score weight or admitting proper names should reject. No production behavior change is proposed. Case normalization, full-field equality and first-child priority are observable policy, not semantic identity.
limitations
No live annotator, teacher, GPU, training or filesystem report pipeline is exercised. Global tables are fixed build dependencies; parser cache/environment and report I/O are opaque. Native finite fixtures are not language-accuracy validation. No useful numeric approximation metric is established for categorical outputs; executable surrogates remain absent. CLI malformed-tree indexing and i64 overflow outside representable arithmetic domains remain unverified.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/world/src/sense.rs.groupant/reporting.groupant/