---
title: "self-study — Mova code model"
description: "Mova code model of models/self-study.groupant: components with their labels, obernants and the model text."
url: "https://groupants.elamur.ai/free/en/mova/models/self-study.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/models/self-study.groupant/>

# self-study

The groupant beside models/self-study.groupant 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_group
- **status:** partial
- **bound sources:** 34
- **repository folder:** [`models/self-study.groupant`](https://github.com/ElamurAI/mova-free/tree/main/models/self-study.groupant)
- **repository commit:** `855da7bd4a7b`

> **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 | [core-model](#core-model) |
| **ast** | not materialized |  |
| **descriptant** | present | [core-model](#core-model) |
| **formal_frozen_union** | specification proved | `../../formal/FrozenUnion.lean` |
| **invariant** | partial | [core-model](#core-model) |
| **tests** | source inspected not run | [tests](#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 |
|---|---|---|---|
| `absent-joined-success` | behavior_complement | partial inner bound specification | [absent-joined-success](#absent-joined-success) |
| `compatible-cycle-antecedents` | reverse_reconstruction | partial relational specification | [compatible-cycle-antecedents](#compatible-cycle-antecedents) |
| `same-question-fibers` | assessment_alignment | partial relational specification | [same-question-fibers](#same-question-fibers) |
| `learner-pair-square` | learner_alignment | partial relational specification | [learner-pair-square](#learner-pair-square) |
| `candidate-parent-lineage` | state_lineage | partial relational specification | [candidate-parent-lineage](#candidate-parent-lineage) |
| `frozen-source-union-preimage` | reverse_reconstruction | partial relational specification | [frozen-source-union-preimage](#frozen-source-union-preimage) |
| `exercise-heldout-boundary` | data_separation | partial relational specification | [exercise-heldout-boundary](#exercise-heldout-boundary) |
| `training-exam-channel-split` | information_flow | partial relational specification | [training-exam-channel-split](#training-exam-channel-split) |
| `passive-assessment-projection` | state_projection | partial relational specification | [passive-assessment-projection](#passive-assessment-projection) |
| `teacher-output-chain` | provenance_authenticity | partial relational specification | [teacher-output-chain](#teacher-output-chain) |
| `one-attempt-command-budget` | resource_budget | partial symbolic model | [one-attempt-command-budget](#one-attempt-command-budget) |
| `recovery-prefix-language` | failure_prefix | partial trace specification | [recovery-prefix-language](#recovery-prefix-language) |
| `write-once-artifact-boundary` | artifact_monotonicity | partial relational specification | [write-once-artifact-boundary](#write-once-artifact-boundary) |
| `retained-material-reuse` | reuse_equivalence | partial relational specification | [retained-material-reuse](#retained-material-reuse) |
| `warm-finish-cost` | reuse_cost | partial symbolic model | [warm-finish-cost](#warm-finish-cost) |
| `bounded-output-unbounded-work` | resource_budget | partial symbolic model | [bounded-output-unbounded-work](#bounded-output-unbounded-work) |
| `current-dictionary-authority` | snapshot_precedence | partial relational specification | [current-dictionary-authority](#current-dictionary-authority) |
| `identity-not-counts` | information_loss | partial relational specification | [identity-not-counts](#identity-not-counts) |
| `promotion-policy-counterfactual` | counterfactual_policy | hypothesis | [promotion-policy-counterfactual](#promotion-policy-counterfactual) |
| `recommendation-publication-gap` | scope_boundary | partial relational specification | [recommendation-publication-gap](#recommendation-publication-gap) |
| `single-turn-artifact-join` | temporal_artifact_join | bounded source correspondence | [single-turn-artifact-join](#single-turn-artifact-join) |
| `scored-question-projection` | assessment_channel_join | bounded source correspondence | [scored-question-projection](#scored-question-projection) |
| `checkpoint-canonical-fixed-point` | canonical_restore_retraction | bounded source correspondence | [checkpoint-canonical-fixed-point](#checkpoint-canonical-fixed-point) |
| `school-support-boundaries` | assessment_support_composition | partial source correspondence | [school-support-boundaries](#school-support-boundaries) |

## Model text

The model text names local infrastructure and is not shown here; read it in the [open repository](https://github.com/ElamurAI/mova-free/blob/main/models/self-study.groupant/model.md).