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

# hbo-cli-scoring

The groupant beside tools/hbo/src/main.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:** [`tools/hbo/src/main.rs`](https://github.com/ElamurAI/mova-free/blob/main/tools/hbo/src/main.rs)
- **source SHA-256:** `0c6745dd24d6be0c…`
- **covers:** Match sentence counts, count gold/pred words, skip token-count mismatches, build one-based positional map from equal unpointed pieces, tally heads/labels. (bytes 16118–17788)
- **part of:** [hbo-cli](https://md.groupants.elamur.ai/free/en/mova/tools/hbo/src/main.rs.groupant/)
- **repository folder:** [`tools/hbo/src/main.rs.groupant/scoring.groupant`](https://github.com/ElamurAI/mova-free/tree/main/tools/hbo/src/main.rs.groupant/scoring.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` |
| **cost** | symbolic source derived | [invariant-and-cost](#invariant-and-cost) |
| **descriptant** | present | [descriptant](#descriptant) |
| **invariant** | partial | [invariant-and-cost](#invariant-and-cost) |
| **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) |
| `root_mapping` | root_mapping | partial source derived model | [root_mapping](#root-mapping) |
| `token_alignment` | token_alignment | partial source derived model | [token_alignment](#token-alignment) |
| `unaligned_sentence` | unaligned_sentence | partial source derived model | [unaligned_sentence](#unaligned-sentence) |
| `label_dependency` | label_dependency | partial source derived model | [label_dependency](#label-dependency) |

## Model text


### descriptant

#### Descriptant

2026-10-31, prospective epoch: inspected source before edits and predicted Match sentence counts, count gold/pred words, skip token-count mismatches, build one-based positional map from equal unpointed pieces, tally heads/labels.

Measured epoch: bounded supplied fixtures passed twice in debug and release; six behavioral mutants were rejected after compilation, each restored exactly. These observations support the scoped equations without extending them to corpus accuracy, semantic understanding or persistent learning. Production code bytes are unchanged; only isolated tests appended. No benchmark or percentage surrogate was introduced.

Retained caveats: Finite supplied-input checks only; no corpus, training, external annotator, GPU, throughput or semantic-understanding claim. Allocation exhaustion and malformed arbitrary model arithmetic are not exhaustively exercised. No useful numerical surrogate is implemented; future caps may only be 1/2/5/10% with a declared metric.

### approximant

#### Forward relation

Match sentence counts, count gold/pred words, skip token-count mismatches, build one-based positional map from equal unpointed pieces, tally heads/labels.

Domain: Representable counters, root0 special; unknown heads parse0 through Word.head.

Source snapshot SHA-256: 0c6745dd24d6be0c80fc44c855adc88cceb66e5faf0890747f4e93c1cf49d62a. This is a partial source-derived mathematical relation, not an executable surrogate. Tests exercise actual production helpers with synthetic inputs.

### models

## Typed model catalog

Subject: hbo-cli-scoring at SHA-256 0c6745dd24d6be0c80fc44c855adc88cceb66e5faf0890747f4e93c1cf49d62a. Domain and fixed state: Representable counters, root0 special; unknown heads parse0 through Word.head.. Observation: return values, stated mutations and failure order of this scope. Models are partial source-derived relations; finite tests can falsify them but do not prove general completeness. Behavior complement is a scoped exclusion claim in the admitted transition universe. Reverse reconstruction retains compatible antecedents, not a unique historical cause. Specialized entries hold this domain fixed and isolate their named observation. Oracle: named actual-code fixtures in tests.md; unexecuted effect boundaries remain static hypotheses.

### behavior_complement

A mismatched token contributes no partial matching words even when some forms agree.

### reverse_reconstruction

Tally fibers include arbitrary unmatched annotations and many aligned trees with same counts.

### root_mapping

Pred root0 compares gold head0 without map lookup.

### token_alignment

Count/form agreement within token suffices; token.form and sent_id not compared.

### unaligned_sentence

Token-count difference increments sents_unaligned after word totals then skips map.

### label_dependency

LAS requires UAS and relation equality; POS/FEATS tallies independent of head correctness.

### tests

#### Bounded evidence

Primary actual-code fixture: wave32::flags_parts_prepare_and_score_boundaries. Run using cargo test --offline --locked -p hbo --bin hbo wave32::flags_parts_prepare_and_score_boundaries -- --exact --test-threads=1; repeat with --release. The external wave32 Hbo receipt set contains all 14 named outcomes twice per profile, numeric exit statuses, six compiled behavioral source negatives and byte-exact restoration hashes, and two identical source syntax projections. Source-local primary tests include assertions and caught expected panics. Fragments share these source witnesses; no claim of one test per branch.

Finite supplied-input checks only; no corpus, training, external annotator, GPU, throughput or semantic-understanding claim. Allocation exhaustion and malformed arbitrary model arithmetic are not exhaustively exercised. No useful numerical surrogate is implemented; future caps may only be 1/2/5/10% with a declared metric.

### invariant-and-cost

#### Invariant and cost

Representable counters, root0 special; unknown heads parse0 through Word.head.

##### Cost

O(Bnormalization+W log W) time and O(W) map/refs.

Resources must permit allocations; cost variables are source bytes, units, words and table entries as explicitly stated. No measured speed or universal error claim.