Promotion

Kind: node

Record: reasoning:node-ter-promotion

Canonical: Reasoning

Is the candidate promoted, or only produced?

Listed in Reasoning records, after Stop Condition and before Publication.

Axis

• termination

Math type

• set-theory

Grounded by

• BACKUP
• RESTORE
• PROMOTE

Linked from

• The axes
• action
• validation