Registry · Remark VII.R12 tau-effective not_applicable

VII.R12 — Discovery-Invention Dissolution

Address traversal is neither pure discovery nor invention but exploration of pre-existing structure.

Book VII Part 2 Ch. 32

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: