feat(M14.5): add pointwise Mizera BCJ residue model

MODELS_M14_5.md

@@ -0,0 +1,19 @@
+# OpenWave M14.5 pointwise Mizera BCJ model
+
+M14.5 executes the newer Mizera residue and twisted-cohomology surface from `entropic-physlib-linear-full@35f98f147771a4e250ec01b4cbf2afab72313db7`. A continuous L2 family of three-channel numerators obeys Jacobi pointwise, its finite four-puncture residues reconstruct every channel, regularity at infinity returns the same Jacobi relation, and weighted generalized-gauge and twisted-exact shifts remain invisible.
+
+## Toolchain
+
+- Lean `4.31.0` (`leanprover/lean4:v4.31.0`)
+- `jagg-ix/zil-lean@6daee2698304feb203c6adb91b2e8853613f85b5`
+
+## Run
+
+```bash
+PYTHONPATH=. python - <<'PY'
+from openwave.xperiments.m14_continuum_ads_double_copy.model_registration_m145 import run_model_study
+print(run_model_study()["passed"])
+PY
+```
+
+The result is a conditional compatibility model. It does not construct the full CHY measure, Deligne--Mumford compactification, or loop-level BCJ numerators.

openwave/xperiments/m14_continuum_ads_double_copy/formal/mizera_pointwise_bcj.v1.json

@@ -0,0 +1,56 @@
+{
+  "schema": "openwave.m14.mizera-pointwise-bcj-ledger.v1",
+  "model_id": "M14",
+  "milestone": "M14.5",
+  "formal_repository": "jagg-ix/entropic-physlib-private",
+  "formal_branch": "entropic-physlib-linear-full",
+  "formal_head": "35f98f147771a4e250ec01b4cbf2afab72313db7",
+  "formal_toolchain": {
+    "lean": "4.31.0",
+    "lean_toolchain": "leanprover/lean4:v4.31.0",
+    "zil_repository": "jagg-ix/zil-lean",
+    "zil_commit": "6daee2698304feb203c6adb91b2e8853613f85b5"
+  },
+  "formal_sources": [
+    {
+      "path": "Physlib/QuantumMechanics/ComplexAction/BCJDoubleCopy/ColorKinematicsDoubleCopy.lean",
+      "sha": "96e5f7feb002125a633d90c3940e1af513bb8484",
+      "theorems": [
+        "mizera_middleSphere_finite_residues",
+        "mizera_global_residue_theorem",
+        "mizera_kinematic_jacobi_of_residue_theorem",
+        "MizeraTwistedDifferentialData.twistedDifferential_sq",
+        "mizeraTwistedClass_add_exact",
+        "mizeraChannelResidues_eq_of_twistedCohomologous",
+        "mizera_intersectionLeadingTerm_eq_doubleCopy",
+        "cubicDoubleCopy_shift_left_of_orthogonal"
+      ]
+    },
+    {
+      "path": "Physlib/Mathematics/LovelockRund/PointwiseOperators.lean",
+      "sha": "bc2e08633fb9a6c3ec067aad54df6ba4df4c1816",
+      "theorems": [
+        "continuumField_memLp",
+        "pointwiseFieldOperator_hasDenseDomain",
+        "pointwiseFieldOperator_apply_ae"
+      ]
+    },
+    {
+      "path": "Physlib/Mathematics/LpAeConvergence.lean",
+      "sha": "6898c8e2264fe30d5f1f41f6a3180cc4a942e4b0",
+      "theorems": [
+        "eLpNorm_tendsto_zero_of_aeBound",
+        "ae_subseq_of_eLpNorm_tendsto"
+      ]
+    }
+  ],
+  "openwave_dependencies": [
+    "M14.2",
+    "M14.4"
+  ],
+  "claim_boundaries": {
+    "mizera": "explicit four-puncture residue carrier, not the full CHY/Deligne-Mumford construction",
+    "pointwise": "continuous L2 family evaluated by convergent quadrature",
+    "gauge": "weighted pointwise orthogonality remains an explicit premise"
+  }
+}