Layer Discipline (Register Discipline)
Layer Discipline (also: register discipline) is the methodological principle that every claim must be typed in the correct register (Reg_E, Reg_P, Reg_D, Reg_C) and that coherence criteria from one register cannot be applied to content typed in another. It is the operational corollary of Register Independence (VII.T01): pseudo-paradoxes generated by register conflation dissolve once the typing is corrected.
τ-Definition
Layer Discipline (also: register discipline) is the methodological principle that every claim must be typed in the correct register (Reg_E, Reg_P, Reg_D, Reg_C) and that coherence criteria from one register cannot be applied to content typed in another. It is the operational corollary of Register Independence (VII.T01): pseudo-paradoxes generated by register conflation dissolve once the typing is corrected.
Categorical invariant. Layer-discipline narrowing: ∀ claim c, c carries a register type τ(c) ∈ {E, P, D, C}, and the coherence criterion Coh_X(c) is well-defined only when X = τ(c). Cross-register coherence claims require explicit functorial bridges.
Primary registry anchor:
VII.T01
τ-Derivation Chain
-
I.K0— Universe Postulate -
VII.D01— Empirical Register Reg_E -
VII.D02— Practical Register Reg_P -
VII.D03— Diagrammatic Register Reg_D -
VII.D04— Commitment Register Reg_C -
VII.T01— Register Independence — failure in one register does not entail failure in another; layer discipline is the methodological corollary
Phenomenological Correlate
Layer Discipline is instantiated whenever a pseudo-paradox is dissolved by typing the claim into its correct register, or whenever a category error is diagnosed as register conflation. Examples: 'God exists' typed as Reg_C (commitment) rather than Reg_E (empirical) or Reg_D (proof); 'consensus consensus → moral truth' diagnosed as a Reg_E → Reg_P illegitimate import; gaslighting / manipulation rhetoric exposed as deliberate register confusion.
Examples:
- 'God exists' — proper register Reg_C (commitment, stance-stability test); pseudo-paradoxes of theistic 'proofs' arise from typing it as Reg_D or Reg_E
- 'Everyone knows X is wrong' — Reg_E (consensus) being illegitimately imported into Reg_P (normative); diagnosed as convention-import unearned move
- Genesis 3 serpent's move: register conflation as the archetype of manipulation
- Trolley problems: most paradoxes generated by mixing earned (Reg_P) and unearned (Reg_E-imported) claims in the same argument
- Scientism: applying Reg_E coherence criteria to Reg_C content (e.g., 'science disproves meaning')
Register codomain: Meta — Layer Discipline is a meta-principle about typing across all four registers; its codomain is the disjoint union Obs ⊔ Norm ⊔ Proof ⊔ Stance with explicit type-tags
Manuscript reference: manuscript-sources/book-07/part01/ch03.tex
Lean Coverage
Status: Planned