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

# annot-hints-selection

The groupant beside annot/src/hints.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:** [`annot/src/hints.rs`](https://github.com/ElamurAI/mova-free/blob/main/annot/src/hints.rs)
- **source SHA-256:** `73236507c19a7008…`
- **covers:** Strict load and Boolean severity filtering define the retained rule sequence. (bytes 762–1280)
- **part of:** [annot-hints](https://md.groupants.elamur.ai/free/en/mova/annot/src/hints.rs.groupant/)
- **repository folder:** [`annot/src/hints.rs.groupant/selection.groupant`](https://github.com/ElamurAI/mova-free/tree/main/annot/src/hints.rs.groupant/selection.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` |
| **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) |
| `severity_selection` | severity_selection | partial source derived model | [severity_selection](#severity-selection) |
| `binding_coordinates` | binding_coordinates | partial source derived model | [binding_coordinates](#binding-coordinates) |
| `hint_set` | hint_set | partial source derived model | [hint_set](#hint-set) |
| `advisory_join` | advisory_join | partial source derived model | [advisory_join](#advisory-join) |

## Model text


### descriptant

#### annot-hints-selection

Strict load and Boolean severity filtering define the retained rule sequence.

Epoch 2026-10-31: scoped source-derived model. Byte scope [762,1280); AST is shared partial projection, not a separate semantic proof.

### approximant

#### Scoped forward relation

Strict load and Boolean severity filtering define the retained rule sequence.

Parent composition and symbolic resource costs remain in ../approximant.md. No executable percentage surrogate is supplied for this categorical/effect scope.

### invariant

#### Scoped fragment: selection

Local scope: Strict load and Boolean severity filtering define the retained rule sequence.

The following parent relations supply composition context; claims apply only where this byte scope implements the stated operation. Other operations remain sibling/parent obligations.

#### Invariants and limits

Output is lexicographically sorted with no duplicate strings; no mutation of Ann. Rule binding indices must be in 1..=a.len() or indexing panics. warn=true retains every severity, not only error/warn. Empty rules yields empty output.

- Rule-file error and warn=true paths are source modeled, not directly executed here.
- No arbitrary expert binding safety or linguistic accuracy claim.

### models

## Scoped fragment: selection

Local scope: Strict load and Boolean severity filtering define the retained rule sequence.

The following parent relations supply composition context; claims apply only where this byte scope implements the stated operation. Other operations remain sibling/parent obligations.

### behavior_complement

No hint originates from a retained rule with zero violations. warn=false excludes rules whose severity differs from exact error. Load errors cannot silently return a reduced usable rule set.

### reverse_reconstruction

A hint constrains at least one retained rule id/what and one violation binding with those forms, but different rules or repeated bindings can render the same deduplicated string. An empty result is compatible with no rules, no violations or empty matching domains; it does not reconstruct a correct annotation.

### severity_selection

Selection is Boolean warn OR exact severity equality; severity casing and custom labels are significant when warn=false.

### binding_coordinates

expert::check bindings index one-based original annotation positions; no reindexing occurs during projection, range safety is delegated.

### hint_set

Sort then dedup erases multiplicity and rule input ordering from the result; lexical rendering determines ties.

### advisory_join

chunk_hints omits empty vectors; patch_prompt displays nonempty hints but acceptance still passes through ann::check. Hints neither rewrite drafts nor guarantee teacher correctness.


### tests

#### Scoped fragment: selection

Local scope: Strict load and Boolean severity filtering define the retained rule sequence.

The following parent relations supply composition context; claims apply only where this byte scope implements the stated operation. Other operations remain sibling/parent obligations.

#### Bounded source evidence

Selected actual-code tests (twice debug, twice release):

- hints::tests::hints_fire_only_on_violations

Run command: cargo test -p annot --bin annot --test codex_batches [--release] -- --test-threads=1 --skip ann:: --skip bfs_transfer_checks. The fake executable fixture uses temporary files, no live teacher/API. Paired named outcomes must match. Six compiled production mutations target batch last-wins, llm closed-set, repair shape gate, hints severity, main seed alias and queue resume. Each compilation exits0, test exits101, exact source restored and focused positive rerun exits0. The fixture itself has no separate mutation. Existing repair test may early-return without dictionary; independent added repair test always runs.

Unexecuted limits:
- Rule-file error and warn=true paths are source modeled, not directly executed here.
- No arbitrary expert binding safety or linguistic accuracy claim.