Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Joint Golden Coordinates

Abstract

Joint golden coordinates combine logarithmic scale, canonical W digits, circle phase, and finite depth.

Definition 1.1 (Joint scale, digit, phase, and finite-depth coordinates).

Lean statement: D5/S1/Depth/JointCoordinates.joint_coordinates_spec

Formalization. D5/S1/Depth/JointCoordinates.joint_coordinates_spec (✓ std3).

Source. Repository-derived.

Commentary.

A nonzero golden integer receives an option-valued logarithmic scale, while a positive natural point supplies its canonical W row and circle phase. The same statement records the W-indexed resolution and its dependent finite phase bucket.

References