← Back to Atlas
Evidence and KnowledgeUnder reviewDocumentedControversy: moderate

Mirativity and Unexpected Information

Is this new or surprising information?

A grammatical category marking information as newly realised, unexpected or contrary to prior belief.

Graft transformationField record → structural reading → speculative construct → running machine
  1. T1 · Documented

    Field record pending — no linked language specimens yet.

    What linguistic research records.

  2. T2 · Interpreted

    systems rarely mark values as unexpected relative to prior model state

    How Lanskrit reads the code deficit.

  3. T3 · Proposed

    Unexpected<T> annotations

    Speculative constructs — not executable code.

  4. T4 · Executed

    Not yet compiled to a deterministic runtime.

    Deterministic runtime — the graft as running machinery.

§ EvidenceFour tiers of verifiability

Each tier is a different kind of claim. We keep them visually distinct so a reader can never confuse a field record with a deterministic run.

T1Documented

Documented

What linguistic research records.

  • surprise or novelty of a claim
  • contrast with prior expectation
T2Interpreted

Interpreted

How Lanskrit reads the code deficit.

  • systems rarely mark values as unexpected relative to prior model state
T3Proposed

Proposed

Speculative constructs — not executable code.

  • Unexpected<T> annotations
T4Executed

Executed

Deterministic runtime — the graft as running machinery.

No executable runtime yet. This capability has not been compiled to a deterministic machine.

Computational opportunities
  • anomaly-aware types
  • expectation deltas as annotations
Warnings against overgeneralisation
  • The status of mirativity as a distinct category is debated in the literature.
Documented in languages

No specific languages have been linked to this capability yet.

Cited as examples of the feature, not as claims about all speakers of these languages.

Research status

Under review

Research source pending verification.

Boundary with evidentiality is contested.

Version
Record version
0.1
Last reviewed
2026-07-21
Controversy level
moderate