# Cross-Stage Invariants

> Bind every stage to the always-and-never rules of the generator — resolve authority and directionality before planning, discover before assuming, activate principles with a bound validator, order by dependency with severity as routing metadata, read only the prior stage's output contract through one evidence-bearing handoff, represent all four graph axes, require evidence for every claim, separate generation gates from future execution gates, repair from the earliest invalid stage, and render deterministically.

Record: `algorithms:cross-stage-invariants`
Kind: algorithm
Canonical: https://banes-lab.com/ontology/algorithms#algorithms-cross-stage-invariants
Closure: https://banes-lab.com/json/records/algorithms/cross-stage-invariants/closure

Listed in [Algorithm contracts](https://banes-lab.com/api/records/algorithms.md), after [Explicit Termination](https://banes-lab.com/records/algorithms/explicit-termination.md) and before [Checklist Creation Kernel](https://banes-lab.com/records/algorithms/checklist-creation-kernel.md).

## Domain

- [Checklist creation](https://banes-lab.com/records/algorithms-domain/checklist-creation.md)

## Tier

- [process](https://banes-lab.com/records/vocabulary/domain-tier-process.md)

## Composed by

- [Checklist Creation Kernel](https://banes-lab.com/records/algorithms/checklist-creation-kernel.md)

## Force

- [Architecture evolution](https://banes-lab.com/records/force/architecture-evolution.md)
- [Control coordination](https://banes-lab.com/records/force/control-coordination.md)
- [Correctness verification](https://banes-lab.com/records/force/correctness-verification.md)
- [Model governance](https://banes-lab.com/records/force/model-governance.md)

## Linked from

- [Checklist creation](https://banes-lab.com/ontology/algorithms/algorithms-domain-checklist-creation.md)
- [Domain tiers](https://banes-lab.com/ontology/schema/the-vocabulary-domain-tier.md)
- [The forces](https://banes-lab.com/ontology/schema/the-forces.md)