Elamur Groupantswikt-page-text-command
The groupant beside tools/wikt-page/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
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 | symbolic source derived | invariant-and-cost |
| descriptant | present | descriptant |
| invariant | partial | invariant-and-cost |
| 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 |
|---|---|---|---|
wikt-page-text-command-behavior_complement | behavior_complement | partial source derived model | behavior_complement |
wikt-page-text-command-reverse_reconstruction | reverse_reconstruction | partial source derived model | reverse_reconstruction |
wikt-page-text-command-index_filename_transport | index_filename_transport | partial source derived model | index_filename_transport |
wikt-page-text-command-stream_extent | stream_extent | partial source derived model | stream_extent |
wikt-page-text-command-identifier_precedence | identifier_precedence | partial source derived model | identifier_precedence |
wikt-page-text-command-partial_output_failure | partial_output_failure | partial source derived model | partial_output_failure |
Parts
Model text
descriptant
wikt-page-text-command
Epoch 2026-10-31
Full source read preceded changes. Prospective model predicted branch/order, resource and information-loss behavior. Tests exercise actual helpers on bounded synthetic inputs; command workflows remain unexecuted. Production source prefix is preserved; only inline tests added.
Sorted index files scanned until all unique requested titles found; matching index record yields paired XML file and offset. For each original requested title decode one bz2 stream, parse exact title's first text, print ids/body; missing titles count and exit1 after other outputs.
Executable percentage approximation is unsupported: categorical parsing/effects have no useful certified metric here. Partial syntax excludes macro expansion and name resolution.
approximant
Forward relation
Sorted index files scanned until all unique requested titles found; matching index record yields paired XML file and offset. For each original requested title decode one bz2 stream, parse exact title's first text, print ids/body; missing titles count and exit1 after other outputs.
Domain
Paired index naming conventions, valid seek offsets/bzip2 streams and UTF-8 XML text; quick_xml end-name check disabled. Filesystem/index scanning and compressed helper execution remain gaps in current pure checks.
composition
Local composition
The scoped xml-page fragment models its declared source interval. Parent relation: Sorted index files scanned until all unique requested titles found; matching index record yields paired XML file and offset. For each original requested title decode one bz2 stream, parse exact title's first text, print ids/body; missing titles count and exit1 after other outputs.
Shared representation/invariant: Index title keys deduplicate search, but original request duplicates repeat decode/output. read_stream single BzDecoder stops at stream end. find_page first page/revision id avoids contributor id and returns at text before full page validation. Child costs are included in parent costs, not added a second time. Other command paths are tagged alternatives; the child alone does not establish whole-file behavior.
models
Typed source models
All models are partial source-derived relations at this manifest snapshot. Scope is one call/trace under the stated domain; no universal semantic proof.
behavior_complement
Exact title mismatch cannot return page text; missing paired XML fails before opening index stream; unknown entity errors at unescape.
Domain: Paired index naming conventions, valid seek offsets/bzip2 streams and UTF-8 XML text; quick_xml end-name check disabled. Filesystem/index scanning and compressed helper execution remain gaps in current pure checks. Observation: Index title keys deduplicate search, but original request duplicates repeat decode/output. read_stream single BzDecoder stops at stream end. find_page first page/revision id avoids contributor id and returns at text before full page validation. Assumptions: bounded resources and source branch semantics. Oracle: selected actual-helper tests in tests.md constrain only their finite fixtures; remaining branches are source-derived.
reverse_reconstruction
Page projection admits XML with arbitrary contributor metadata/unused fields; index lookup offset+file admits many index page ids because that field is ignored.
Domain: Paired index naming conventions, valid seek offsets/bzip2 streams and UTF-8 XML text; quick_xml end-name check disabled. Filesystem/index scanning and compressed helper execution remain gaps in current pure checks. Observation: Index title keys deduplicate search, but original request duplicates repeat decode/output. read_stream single BzDecoder stops at stream end. find_page first page/revision id avoids contributor id and returns at text before full page validation. Assumptions: bounded resources and source branch semantics. Oracle: selected actual-helper tests in tests.md constrain only their finite fixtures; remaining branches are source-derived.
index_filename_transport
Replace first -multistream-index and first .txt only, retain partition suffix; exists guard is not file-type validation.
Domain: Paired index naming conventions, valid seek offsets/bzip2 streams and UTF-8 XML text; quick_xml end-name check disabled. Filesystem/index scanning and compressed helper execution remain gaps in current pure checks. Observation: Index title keys deduplicate search, but original request duplicates repeat decode/output. read_stream single BzDecoder stops at stream end. find_page first page/revision id avoids contributor id and returns at text before full page validation. Assumptions: bounded resources and source branch semantics. Oracle: selected actual-helper tests in tests.md constrain only their finite fixtures; remaining branches are source-derived.
stream_extent
Seek absolute u64 then single BzDecoder read_to_string; no Multi decoder and no neighboring stream aggregation.
Domain: Paired index naming conventions, valid seek offsets/bzip2 streams and UTF-8 XML text; quick_xml end-name check disabled. Filesystem/index scanning and compressed helper execution remain gaps in current pure checks. Observation: Index title keys deduplicate search, but original request duplicates repeat decode/output. read_stream single BzDecoder stops at stream end. find_page first page/revision id avoids contributor id and returns at text before full page validation. Assumptions: bounded resources and source branch semantics. Oracle: selected actual-helper tests in tests.md constrain only their finite fixtures; remaining branches are source-derived.
identifier_precedence
First id before revision fills page.id, first id after revision fills rev; subsequent contributor ids ignored. page start resets all fields.
Domain: Paired index naming conventions, valid seek offsets/bzip2 streams and UTF-8 XML text; quick_xml end-name check disabled. Filesystem/index scanning and compressed helper execution remain gaps in current pure checks. Observation: Index title keys deduplicate search, but original request duplicates repeat decode/output. read_stream single BzDecoder stops at stream end. find_page first page/revision id avoids contributor id and returns at text before full page validation. Assumptions: bounded resources and source branch semantics. Oracle: selected actual-helper tests in tests.md constrain only their finite fixtures; remaining branches are source-derived.
partial_output_failure
Requested titles printed sequentially; later decode/XML failure leaves earlier stdout. Missing title reports continue then exit1; no rollback.
Domain: Paired index naming conventions, valid seek offsets/bzip2 streams and UTF-8 XML text; quick_xml end-name check disabled. Filesystem/index scanning and compressed helper execution remain gaps in current pure checks. Observation: Index title keys deduplicate search, but original request duplicates repeat decode/output. read_stream single BzDecoder stops at stream end. find_page first page/revision id avoids contributor id and returns at text before full page validation. Assumptions: bounded resources and source branch semantics. Oracle: selected actual-helper tests in tests.md constrain only their finite fixtures; remaining branches are source-derived.
tests
Native evidence — 2026-10-31
Package/bin: wikt-page. Exact selected names:
wave33::xml_ids_text_and_empty_page
All 1 selected checks passed twice in debug and twice in release, one exact name per invocation with one test thread. Numeric exits are zero; sorted named outcomes match across all four runs. Added test blocks were formatted before these receipts; original source prefix (including earlier tests) remains byte-identical.
One compiled production mutant changed first revision id capture to disable revision id capture. The new wave33 test compiled and failed its runtime assertion (exit 101). Exact original/restored SHA-256 equality and a restored positive exact test (exit 0) were verified. No assertion-only mutant is counted; existing negative assertions remain ordinary tests. No surviving compiled mutant is omitted.
The external wave33 text receipts retain native-commands.json, verified-outcomes.json, mutation-report.json, raw logs/statuses, paired syntax projections and prospective.md. No private filesystem path is part of this public model.
Scope: actual helpers on synthetic in-memory data only. Paired index naming conventions, valid seek offsets/bzip2 streams and UTF-8 XML text; quick_xml end-name check disabled. Filesystem/index scanning and compressed helper execution remain gaps in current pure checks. The scoped fragment reuses these tests where its helper is reached; other declared paths remain source-derived. Macro expansion, full command/effect execution, corpus accuracy and universal correctness are not established.
invariant-and-cost
Invariant and cost
Invariant
Index title keys deduplicate search, but original request duplicates repeat decode/output. read_stream single BzDecoder stops at stream end. find_page first page/revision id avoids contributor id and returns at text before full page validation.
Cost
O(index bytes until found + sum decoded stream sizes per requested occurrence); repeated same stream not cached. Memory index line plus full decoded stream and output text.
Arithmetic and allocation premises are conditional. No timing or percentage surrogate claimed.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/tools/wikt-page/src/main.rs.groupant/