IndisputableMonolith.CrossDomain.WorkingMemoryFromCube
This module introduces the canonical span 7 = 2^3 - 1 inside the cross-domain construction of working memory from a cube. Researchers tracing the eight-tick octave in the forcing chain would cite its span definitions. The module assembles a family of span functions and a certification object around this identity.
claim$7 = 2^3 - 1$ is the canonical span.
background
The module sits in the CrossDomain section and imports only Mathlib. It introduces the canonical span together with auxiliary functions spanAt, span_at_n for n = 0..4, span_strict_mono, super_normal_jump and miller_bracket. These objects rest on the eight-tick octave (period 2^3) from the unified forcing chain.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the span identity required by the working-memory-from-cube construction and its certification. It directly populates the T7 octave step of the forcing chain.
scope and limits
- Does not derive the span value from the Recognition functional equation.
- Does not assign physical units or dimensions to the cube.
- Does not treat periods other than 2^3.
- Does not connect the span to mass or coupling formulas.