Registry · Definition III.D56 tau-effective formalized

III.D56 — Computational Bi-Square

Fourth bi-square in the scaling chain. Left square: TTM computation (tower coherence of program execution). Right square: witness structure (spectral naturality of CRT-decomposed witnesses). Pasting: Product-Meet Collapse.

Book III Part 9 Ch. 58

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIII.Computation.CompBiSquare

Symbol: comp_bisquare_check