Registry · Definition VII.D91 conjectural not_applicable

VII.D91 — One Free Choice

τ₀→τ transition as voluntary structural decision: content identity (same K0-K8), mode change (inert→active), irreversibility (Saturation), volitional.

Book VII Part 11 Ch. 133

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: