world-lang-narrative

The groupant beside world/src/lang.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	Forward
ast	partial	`../syntax.json`
composition	partial	Composition
cost	symbolic unmeasured	Cost
descriptant	present	`model.md`
invariant	partial	Invariant
tests	bounded evidence	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
`nonbehavior`	behavior_complement	partial source derived model	nonbehavior
`antecedents`	reverse_reconstruction	partial source derived model	antecedents
`placement`	mutual_exclusion	partial source derived model	placement
`observer_lists`	bounded_collection	partial source derived model	observer_lists
`narrative_modes`	exclusive_branch	partial source derived model	narrative_modes

Model text

descriptant

world-lang-narrative

Forward

ev2 consumes before/after/during/same and rejects more than one. Ev2::placement on manually constructed state prioritizes before, after, during, same; parser-created Ev2 never needs that conflict resolution. reveal has its own placement parser; time requires exactly one relation or absolute at text. obs accepts reader, narrator or C identity. obs_list splits plus, excludes duplicates, and caps at six. Frame and reveal consumers reject quoted observer lists; know and claim reject quoted who. Admissibility of each observer depends on command context. frame open needs narrator and level fitting u8; close accepts no keys. Claim requires status and either who+about+interp with no by, or a change without interp/from. time chooses exactly relation or at. know from is unquoted ^sN with N>0. reveal requires at least one revelation field after rejecting contradictions.

Scope: Source bytes [31590,41349): narrative; the operation-specific contracts below define observation projections.

Invariant

The parser is pure and never executes a command. IDs are syntax-checked and registry-filtered; their existence is not checked. Cmd projection may lose spelling, while Line retains trimmed raw and supplied no; FormatErr retains original raw. At most one success or error is produced per nonempty input line. Rejected lines do not suppress later parse_all lines.

Composition

The root composes interfaces, tokenization/Args, scalar/collection validators, v1/v2 dispatch, narrative dispatch and line admission. Output of each stage is the exact next-stage input: quotes and consumed-key state cannot be independently reconstructed without matching the same original line. parse_line orders stages as trim, tokens, reverse-tail anchors, misplaced-anchor check, Args, command, unused arguments, fallback anchor. parse_all preserves input positions while partitioning successes/errors and skipping blank lines. Six scoped fragments bind concrete source ranges; the remaining parse_all and test regions are modeled at root. This hierarchy does not include executor or query semantics.

Cost

For total input bytes N and line count L, a conservative whole-file time bound is O(N^2+L) under fixed closed vocabularies: duplicate-key/list scans and vector removals can be quadratic. Tokenization itself is O(N); accumulated output and peak retained parse storage are O(N+L) excluding caller-owned input and allocator overhead. No runtime speedup or finite error budget is claimed.

Limits

Partial syn-2 projection binds the whole file; macros remain opaque and no name resolution, type inference, semantic AST or formal proof is supplied. types::* supplies Id parsing, Closed catalogs, field domains, value normalization and text limits; prag::schema::Act supplies speech acts. No state existence, reference resolution, world mutation, temporal consistency, truth of claims or query behavior is certified. No live commands, annotator, environment mutations, filesystem or external services are used in native tests. No useful approximate semantics or faster Rust surrogate is declared for these categorical gates.

Epoch memory

2026-10-30 prospective model: relation endpoints must be characters, snapshot-looking C1@1 must fail ID parsing, repeated keys fail before command dispatch, quoted text groups whitespace, and explicit placement is exclusive. Complete bounded relation fibers use 784 strings and independent character-only expected antecedents. Current source admits ^s0 and duplicate anchors, allows distinct alias keys at/to to map to repeated Field::At values, and accepts numeric quantities through six digits (999999), despite num's 0-100000 comment. These are recorded behavior/policy gaps, not silently changed. An initial fixture used unsupported act=inform; corrected to the actual Act catalog's assert before final evidence. No production behavior was changed. Native measurements and the compiled endpoint mutant are recorded in evidence.json.

catalog

world-lang-narrative

Domain: Finite UTF-8 change-language lines with fixed types::* closed sets and prag::schema::Act; finite line numbers. Observation is Option<Line> or FormatErr. Inverse syntax fibers project to Cmd plus anchors and intentionally omit raw/no; full Line observations retain trimmed spelling and supplied line number. No world state or I/O is an input.

Scope: Source bytes [31590,41349): narrative; the operation-specific contracts below define observation projections.

Let U be admitted inputs paired with typed outputs for the named operation, R its fixed-source relation. Behavior complements below are candidate inner bounds of U minus R; source inspection and bounded witnesses do not prove global completeness. Reverse models retain all compatible antecedents in their declared domain, not one preferred spelling. No inverse recovers discarded whitespace unless raw text is observed.

nonbehavior

Exclude reader as frame narrator, narrator as know observer or reveal recipient, new-world frame with inherited time/before, frame close keys, reflexive time relation, reveal self cause/placement and overlapping wrong/right claim IDs.