Elamur Groupantsonto-wdx-entity-projection
The groupant beside onto/src/wdx.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 |
export_predicate | export_predicate | partial source derived model | export_predicate |
dispatch | dispatch | partial source derived model | dispatch |
rank_retention | rank_retention | partial source derived model | rank_retention |
error_precedence | error_precedence | partial source derived model | error_precedence |
Model text
descriptant
onto-wdx-entity-projection
Trim CR/comma/space; empty/[ /] marker returns; else lines++. Deserialize error→bad++. emit property/item/other; export=(live279∨sl.n>0∨taxon)∧!skip_wm. Item row before labels/aliases/sitelinks/selected claims. Secondary JSON error counts bad without undo.
Epoch 2026-10-31: source byte range [31509,38777) with source and range hashes, sharing parent lexical AST. Partial source-derived scope, no semantic proof.
approximant
Scoped forward relation
Trim CR/comma/space; empty/[ /] marker returns; else lines++. Deserialize error→bad++. emit property/item/other; export=(live279∨sl.n>0∨taxon)∧!skip_wm. Item row before labels/aliases/sitelinks/selected claims. Secondary JSON error counts bad without undo.
Scope bytes [31509,38777) 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
skip_wm excludes maintenance labels/sitelinks, not item/claims. Unknown props excluded. Deprecated claims and partial items-only bad aliases allowed.
Cost
O(entity bytes+selected output bytes), raw labels parsed separately; Tsv buffering/compression delegated. Counters and partially appended buffers mutate before later errors.
composition
Scope contribution
Trim CR/comma/space; empty/[ /] marker returns; else lines++. Deserialize error→bad++. emit property/item/other; export=(live279∨sl.n>0∨taxon)∧!skip_wm. Item row before labels/aliases/sitelinks/selected claims. Secondary JSON error counts bad without undo.
This fragment contributes only entity-projection. 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
skip_wm excludes maintenance labels/sitelinks, not item/claims. Unknown props excluded. Deprecated claims and partial items-only bad aliases allowed.
reverse_reconstruction
Same rows permit unknown fields/props, control variants, optional defaults. Flags constrain live evidence not exact claims. Malformed aliases may explain items-only partial output.
export_predicate
Commons-only sitelink can enable labels though no Wikipedia row.
dispatch
Property props++ before ID gate; unknown type other++ no row.
rank_retention
Deprecated279 does not set class flag but emits rank0.
error_precedence
items/maxQ before LabelPick, item row before alias parse; no atomicity.
tests
Evidence boundary
entity_rows, filters, 50-item/5000-byte-label/300-chunk stream_tails, Wikipedia/SQL/ID tests executed. 400000-item bzip test, dumps/extract/sample/subprocess/DB skipped.
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/wdx.rs.groupant/entity-projection.groupant/