# DAG

> Graph declaration · makes a dependency graph explicit; the loop spine is one

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

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [EXIT](https://banes-lab.com/records/pag/keyword-state-machine-exit.md) and before [NODE](https://banes-lab.com/records/pag/keyword-dag-node.md).

## Grounds

- [representation:graph](https://banes-lab.com/records/reasoning/representation-graph.md)
- [invariant:epi-declared-dependency](https://banes-lab.com/records/reasoning/invariant-epi-declared-dependency.md)

## Linked from

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