Elamur Groupantsonto-wikidata-dump-line-and-rank
The groupant beside onto/src/wikidata.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 | model.md |
| 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 |
rank_exactness | rank_exactness | partial source derived model | rank_exactness |
borrow_coordinate | borrow_coordinate | partial source derived model | borrow_coordinate |
deferred_validity | deferred_validity | partial source derived model | deferred_validity |
helper_cost | helper_cost | partial source derived model | helper_cost |
Model text
descriptant
onto-wikidata-dump-line-and-rank
ids(v)=[id(s)|rank(s)!=deprecated and datavalue.value.id exists]. entity_json(t)=trim_end(t) minus one final comma if len>=2 and starts{; validity deferred to serde.
Epoch 2026-10-31: source byte range [3353,3867) with source and range hashes, sharing parent lexical AST. Partial source-derived scope, no semantic proof.
approximant
Scoped forward relation
ids(v)=[id(s)|rank(s)!=deprecated and datavalue.value.id exists]. entity_json(t)=trim_end(t) minus one final comma if len>=2 and starts{; validity deferred to serde.
Scope bytes [3353,3867) only. Preconditions and exceptions in this scope's catalog; no claims for parent orchestration.
Executable approximant gap: no useful percentage metric established for these categorical/effectful observations. No surrogate or production substitution. Future caps 1/2/5/10% require a metric/domain and evidence; no numerical error bound follows here.
invariant
Scoped observations
Exclude exact deprecated/missing IDs, leading-space objects/brackets. Invalid {bad may pass lexical gate.
Cost
O(statements) iterator and trailing-line bytes scan; borrowed slices, no IO/allocation in these helpers.
composition
Scope contribution
ids(v)=[id(s)|rank(s)!=deprecated and datavalue.value.id exists]. entity_json(t)=trim_end(t) minus one final comma if len>=2 and starts{; validity deferred to serde.
This fragment contributes only dump-line-and-rank. Parent owns input acquisition, surrounding dispatch and downstream joins. Complement and compatible antecedents are scoped in models.md rather than copied parent statements.
models
behavior_complement
Exclude exact deprecated/missing IDs, leading-space objects/brackets. Invalid {bad may pass lexical gate.
reverse_reconstruction
Output IDs admit arbitrary interspersed deprecated/missing and unused claims. Returned slice admits trailing whitespace and optional comma; no semantic recovery from lexical acceptance.
rank_exactness
Deprecated capitalD not filtered.
borrow_coordinate
Returned slice borrows input, no normalization/allocation.
deferred_validity
{bad accepted lexically, JSON decoder decides later.
helper_cost
O(statements+trailing bytes), no IO.
tests
Evidence boundary
dump_quirks actual serde array/deprecated/line gates executed; no probe/lexeme dump/map_trial or live data.
Parent tests.md names actual selected tests; this scope does not claim all its branches executed. The compiled control listed in parent receipt applies only to the named mutated boundary.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/onto/src/wikidata.rs.groupant/dump-line-and-rank.groupant/