Masses Zmap Forcing

The Z-map forcing bridge

Masses zmap forcing is the Recognition Science result that pins down the scale and coefficients used to convert the standard model's charge assignments into integer mass-layer labels. The module packages a partial closure: it shows that under the currently adopted parity-constrained class, the smallest positive even integerization scale for standard model charges is k = 6, and that the canonical anchor charge map evaluates to Z_lepton = 1332, Z_up = 276, and Z_down = 24.

The forcing chain then combines these facts. If a topology-compatible family of charge maps matches the canonical anchor outputs, the coefficients (a, b, c) are forced to (1, 1, 4). A separate topology-only rule shows that a complete ordered family with the minimal coefficient budget also forces (a, b) = (1, 1). The joint first-principles result is the central theorem: any tuple (k, a, b, c) satisfying smallest-positive-even integerization, minimal-complete-ordered coefficients, and the edge-direction color offset must equal (6, 1, 1, 4).

This is not full first-principles closure. The module explicitly states that it makes current forcing progress consumable from the mass-layer namespace, and the parity-constrained class is an adopted condition, not a derived one. The theorems are established in Lean with no axioms beyond the kernel standard, but the scope of the forcing is the tuple (6, 1, 1, 4), not the physical origin of the charge map itself.

THEOREM smallest_positive_even_integerization_scale · IndisputableMonolith/Masses/ZMapForcing.lean

THEOREM anchor_charge_map_values · IndisputableMonolith/Masses/ZMapForcing.lean

THEOREM canonical_tuple_forced_from_anchor_outputs · IndisputableMonolith/Masses/ZMapForcing.lean

THEOREM zmap_canonical_tuple_forced_from_first_principles · IndisputableMonolith/Masses/ZMapForcing.lean

What this page does not claim

Not full first-principles closure for the mass-layer namespace. Not a derivation of the parity-constrained class itself. Not a derivation of the fine-structure constant or any coupling constant.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Masses/ZMapForcing.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: