# PRESERVES

> The distinctions a transform keeps · a lowering names what a later check needs

Record: `pag:keyword-node-preserves`
Kind: keyword
Canonical: https://banes-lab.com/ontology/grammar#pag-keyword-node-preserves

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [GENESIS](https://banes-lab.com/records/pag/keyword-node-genesis.md) and before [OUTPUT_CONTRACT](https://banes-lab.com/records/pag/keyword-node-output-contract.md).

## Grounds

- [invariant:epi-preserved-distinction](https://banes-lab.com/records/reasoning/invariant-epi-preserved-distinction.md)

## Linked from

- [The invariants](https://banes-lab.com/ontology/reasoning/the-invariants.md)