Registry · Theorem VI.T13 tau-effective planned

VI.T13 — Response = SelfDesc Adjustment

Evaluator detects perturbation via changed NF_n, computes correct D_n from unchanged code, drives metabolic correction. Sixth hallmark derived.

Book VI Part 1 Ch. 9

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookVI.Sectors.Hallmarks

Symbol: Tau.BookVI.Hallmarks.ResponseSelfdescAdjustment