Registry · Theorem VII.T43 tau-effective formalized

VII.T43 — Free Will as Branching

Genuine alternatives exist in action category; mind-topos selects through intention interface; self-recognition provides attribution.

Book VII Part 9 Ch. 112

Dependency Graph

Depends on (2)

VII.D82 VII.T42

Depended on by (1)

VII.P26

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.free_will_as_branching