Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Admissible Joint Depth

Abstract

Admissible joint depth binds logarithmic scale and W-indexed phase resolution to the same point.

Definition 1.1 (Admissible joint scale, digit, phase, and depth).

Lean statement: D5/S1/Depth/JointDepth.joint_depth_spec

Formalization. D5/S1/Depth/JointDepth.joint_depth_spec (✓ std3).

Source. Repository-derived.

Commentary.

A nonzero golden integer supplies both the logarithmic scale and the admissible W-resolution index. Canonical digits and circle phase come from the natural coordinate, and the dependent finite bucket records the resulting depth without truncating a negative index.

References