Registry · Remark III.R18 tau-effective not_applicable

III.R18 — NS Export Contracts

What the NS block delivers downstream: positive regularity mechanism (Part VIII Orthodox Bridge), Hartogs flow operator (Books IV-V physical instantiation), defect functional framework (Parts VI-VII reuse).

Book III Part 5 Ch. 37

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: