Registry · Theorem VII.T09 conjectural formalized

VII.T09 — Cross-Register Correlation

Non-trivial j-closed archetype produces non-trivial shadows in all four registers; structural features correlated through shared kernel invariant.

Book VII Part 1 Ch. 14

Dependency Graph

Depends on (1)

VII.D21

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.cross_register_correlation