---
title: "world-ans-dispatch-why-chain — Mova code model"
description: "Mova code model of world/src/ans.rs: components with their labels, obernants and the model text."
url: "https://groupants.elamur.ai/free/en/mova/world/src/ans.rs.groupant/dispatch.groupant/why-chain.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/world/src/ans.rs.groupant/dispatch.groupant/why-chain.groupant/>

# world-ans-dispatch-why-chain

The groupant beside world/src/ans.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:** [`world/src/ans.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/ans.rs)
- **source SHA-256:** `d8d94c891e347d2b…`
- **covers:** Why first-return fallback chain (bytes 58534–63713)
- **part of:** [world-ans-dispatch](https://md.groupants.elamur.ai/free/en/mova/world/src/ans.rs.groupant/dispatch.groupant/)
- **repository folder:** [`world/src/ans.rs.groupant/dispatch.groupant/why-chain.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/ans.rs.groupant/dispatch.groupant/why-chain.groupant)
- **repository commit:** `48f2e6f74146`

> **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 source model | [forward](#forward) |
| **ast** | partial | `../../syntax.json` |
| **composition** | partial source model | [parent-interaction](#parent-interaction) |
| **cost** | partial source model | [cost](#cost) |
| **descriptant** | partial source model | [epoch-memory](#epoch-memory) |
| **invariant** | partial source model | [invariant](#invariant) |
| **tests** | partial source model | [checks](#checks) |

## 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 |
|---|---|---|---|
| `world-ans-dispatch-why-chain-behavior-complement` | behavior_complement | partial source model | [behavior-complement](#behavior-complement) |
| `world-ans-dispatch-why-chain-reverse-reconstruction` | reverse_reconstruction | partial source model | [reverse-reconstruction](#reverse-reconstruction) |
| `world-ans-dispatch-why-chain-parent-interaction` | composition_relation | partial source model | [parent-interaction](#parent-interaction) |
| `world-ans-dispatch-why-chain-boundary` | constraint_relation | partial source model | [boundary](#boundary) |
| `world-ans-dispatch-why-chain-information` | information_projection | partial source model | [information](#information) |
| `world-ans-dispatch-why-chain-cost` | resource_relation | partial source model | [cost](#cost) |

## Model text


Wave34, 2026-10-31. Subject: world-ans-dispatch-why-chain, current source SHA d8d94c891e347d2b640744b20c4662dc35064368e7d4d9253c4954b4297e1e09. Domain: one terminating supplied-input helper transition; valid indices, sufficient memory and finite strings/trees/worlds. Source-derived partial relations, not a verified universal theorem. All views below share this domain and exact manifest scope; specialized assumptions are stated locally. No executable percentage approximant is claimed.

### forward

Feeling-specific cause lookup precedes event ranking. If no event, try matching attribute cause, belief and target trait then None. If event exists, choose explicit why; causal-token how; causing event; agent belief; agent goal; fulfilled intent; otherwise None retaining event anchor.

### invariant

With matched event and Some why, lower causal how cannot win even when why is empty. Exhausted event paths produce None with empty text, not anchor text promoted to answer.

### behavior-complement

With matched event and Some why, lower causal how cannot win even when why is empty. Exhausted event paths produce None with empty text, not anchor text promoted to answer.

### reverse-reconstruction

Observed text may arise from multiple branches and antecedent worlds; note and anchor constrain but do not uniquely identify histories. Retain every world/frame/selected-event configuration yielding the same Answer projection.

### parent-interaction

find_events ranks before this chain; negated question stably prioritizes negated hits but does not hard-exclude positive hits. ans then numeric-normalizes chosen text.

### boundary

Causal how accepts any token because/since/so/as/for; this is a lexical gate, not a proof of causality.

### information

Missing cause target falls through via Option; matched event failures do not reopen no-event attribute fallback.

### cost

Event search plus branch-dependent history/entity scans and rendering; early return skips later queries. No global performance bound without World costs.

### checks

Existing supplied-frame why-before-how then None witness. Feeling, belief, goals and intents source-inspected only.

Exact selected native boundary: `cargo test --offline --locked -p world --lib ans::wave8_models::supplied_frame_why_precedence_and_anchor_only_failure -- --exact --test-threads=1`. Repeated in debug and release; see the current file-level wave34 evidence and external native-receipts.json.

### assurance

The behavior-complement is an inner exclusion hypothesis over admissible input/output pairs, derived from branch order; not the complement of an incomplete model of the entire file. Reverse reconstruction is the compatible antecedent relation, retaining every modeled ambiguity rather than a chosen inverse. Parent-interaction is a composition relation, boundary a constraint relation, information an information/state projection, and cost a resource relation. The named checks are finite falsifiers; unexecuted branches remain source-inspected gaps. No parser/model/teacher/corpus/frozen assessment was run.

### epoch-memory

New child in wave34; no prior child renamed or counted. Parent historical wave8/wave9 evidence remains historical. Current raw receipts are in the external wave34 reasoning run; source syntax is partial, macros opaque, and no semantic AST or general proof is supplied.