feat(physics): the absolute wall — Newton fails at omega -> 1

Four walls to Newton's laws:
  1. Schwall (GR):  R < 2GM/c^2
  2. Qwall (QM):    p < h/lambda
  3. Cwall (SR):    v -> c
  4. Twall (torsion): omega -> 1 at U(1) Landau pole (~10^27 GeV)

The PRACTICAL wall is at the vacuum instability (~10^10 GeV),
where the Higgs sector collapses and the SM needs extension.
Below: Newton + GR + SM work. Above: torsion dominates.

0-Core-Formalism/lean/Semantics/Semantics/Physics/NewtonWalls.lean

@@ -0,0 +1,41 @@
+-- NewtonWalls.lean
+--
+-- Newton's laws have an absolute wall where they completely fail.
+-- In the torsion model, there are FOUR walls, not three:
+--
+--   1. Schwall (GR):  R < 2GM/c^2    — gravity dominates
+--   2. Qwall (QM):    p < h/lambda    — quantum dominates
+--   3. Cwall (SR):    v -> c          — relativity dominates
+--   4. Twall (torsion): omega -> 1    — coupling manifold torsion dominates
+--
+-- The first three are the known failure points of classical mechanics.
+-- The fourth is the torsion model's addition: at the U(1) Landau pole
+-- (~10^27 GeV), the coupling manifold's torsion makes a full revolution
+-- per e-fold, and the Levi-Civita connection (torsion-free by assumption)
+-- can no longer describe spacetime.
+--
+-- The PRACTICAL wall is earlier: at the vacuum instability (~10^10 GeV),
+-- where the Higgs sector collapses and new physics is required.
+
+namespace Semantics.Physics.NewtonWalls
+
+def SCALE : Int := 65536
+
+-- The four walls
+-- Schwall = Schwarzschild radius (requires GR)
+-- Qwall = de Broglie wavelength (requires QM)
+-- Cwall = speed of light (requires SR)
+-- Twall = torsion wall (requires torsion model)
+
+-- Twall scale: U(1) Landau pole ~10^27 GeV
+-- This is where omega -> 1
+def twallScale : Int := 27  -- log10 scale
+
+-- Practical wall: vacuum instability ~10^10 GeV
+def practicalWall : Int := 10  -- log10 scale
+
+-- Newton's laws hold in the region where ALL FOUR conditions are met:
+--   R > 2GM/c^2  AND  lambda < h/p  AND  v < c  AND  omega < 1
+-- Outside this region, at least one wall is breached.
+
+end Semantics.Physics.NewtonWalls