Reasoning

Invariant

Kind: substrate-node

Record: reasoning:substrate-node-invariant

Canonical: Reasoning

This node sits on the Substrate layer. Its mathematical type is topology.

Listed in Reasoning records, after Constraint and before Uncertainty.

Layer

  • Substrate

Math type

  • topology

Grounded by

  • Concrete-vs-Abstract Responsibility Split
  • INVARIANT
  • PROPERTY
  • invariant_block
  • invariant_record

Concept of

  • Invariant
  • Invariant

Linked from

  • Pattern distillation
  • invariant
  • planning