Markdown for LLMs

derivation

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# derivation

Proof nodes of a computed answer: takes a materialized document and an identifier, and returns the proof-graph nodes with that identifier or that conclusion. Reads the ready answer document; it never evaluates anything itself. Grounds are quoted, not recomputed.

## Arity

Takes `2` arguments on the `materialized` layer.