feat(M13.3): link Yukawa mass, dilation group, and GKP dimension

MODELS.md

@@ -9,7 +9,7 @@ OpenWave hosts multiple candidate field-theoretic models. Historical M4--M8 resu
 | **M10** | **CAT/EPT Dirac--Cartan--2I--Compton--Yukawa and SU(3) color matter** | **`MODELS_M10.md`** | **latest M10.8 registration, Wilson refinement and decoherence spectra** |
 | **M11** | **CAT/EPT pointwise soliton--Liouville--QDO model** | **`MODELS_M11.md`** | **M11.1--M11.5 executable lineage and theorem-pinned ledgers** |
 | **M12** | **CAT/EPT particle-zoo coverage model** | **`MODELS_M12.md`** | **M12.1--M12.3 executable identity, electroweak, flavor, hadron and QCD coverage** |
-| **M13** | **CAT/EPT scale-dilation and holographic-amplitude model** | **`MODELS_M13.md`** | **M13.2 GKP/RT, twistor, BCJ-QCD, Wilson and ABJM closure over the M13.1 scale carrier** |
+| **M13** | **CAT/EPT scale-dilation and holographic-amplitude model** | **`MODELS_M13.md`** | **M13.3 Yukawa/dilation/GKP invariant mass-radius bridge** |
 
 ## M9 stable and latest lineage
 
@@ -31,4 +31,4 @@ M12 mirrors the particle-zoo theorem surfaces as executable checks: the 17 Stand
 
 ## M13 scale-dilation soliton-tensor model
 
-M13 places the M11 pointwise soliton and finite-cutoff infinite-mode tensor on the exact multiplicative scale line formalized by CAT/EPT. M13.2 composes that carrier with finite GKP--Witten and Ryu--Takayanagi identities, conformal operator towers, finite-density and Lovelock AdS data, projective twistors, BCJ/primitive-QCD relations, M10 Wilson loops and ABJM Wilson algebra while retaining explicit finite/algebraic claim boundaries.
+M13 places the M11 pointwise soliton and finite-cutoff infinite-mode tensor on the exact multiplicative scale line formalized by CAT/EPT. M13.2 composes that carrier with finite GKP--Witten and Ryu--Takayanagi identities, conformal operator towers, finite-density and Lovelock AdS data, projective twistors, BCJ/primitive-QCD relations, M10 Wilson loops and ABJM Wilson algebra while retaining explicit finite/algebraic claim boundaries. M13.3 additionally links the supplied Yukawa mass and Compton clock to the exact dilation group and GKP mass--dimension relation through the invariant mass-radius product.

MODELS_M13.md

@@ -8,6 +8,7 @@ M13 isolates the exact scale geometry underlying the CAT/EPT entropic-time arc,
 | --- | --- |
 | M13.1 | dilation/Noether group, invariant logarithmic metric, block-spin ladder, `sqrt(2)` half-step, M11 soliton/tensor scale transport |
 | M13.2 | GKP/RT and extended AdS/CFT checks, projective twistor incidence, finite BCJ and primitive-QCD relations, M10 Wilson-loop reuse and ABJM Wilson algebra |
+| M13.3 | Yukawa mass and Compton clock transported by the dilation group with invariant mass-radius product and GKP dimension |
 
 ## M13.1 scale and carrier surface
 
@@ -48,13 +49,20 @@ M13 isolates the exact scale geometry underlying the CAT/EPT entropic-time arc,
 - checks finite Wilson damping/source-insertion authority;
 - checks ABJM effective Planck constant, positive/factorized Fermi-gas kernel, convergence range and normalized `1/6` Wilson-loop algebra.
 
+## M13.3 Yukawa--dilation--GKP bridge
+
+- holds the supplied Yukawa coupling fixed while the Higgs scale and mass transform inversely under the scale flow;
+- scales the AdS radius oppositely, preserving the dimensionless mass-radius product and both GKP conformal roots;
+- checks the isolated Yukawa/Compton-clock identity;
+- keeps the Weyl--Cartan dilatonic charge distinct from the global dilation group.
+
 ## Claim boundary
 
-M13.2 is a finite and algebraic closure. It does not derive AdS/CFT or gauge/string duality, evaluate or holographically renormalize an interacting Witten diagram, derive anomalous dimensions or the conformal bootstrap, independently prove BCFW/CHY falloff from QCD Feynman rules, construct loop amplitudes, formalize the full `SU(2,2)` twistor action, or prove the continuum QCD limit. Wilson and RT observables are both executed, but they are not asserted to be equal.
+M13.3 remains a finite adapter over the M13.2 closure. It does not derive the Yukawa coupling, the inverse-mass scale law, AdS/CFT, or a dilaton gauge theory. The Weyl--Cartan dilatonic charge is recorded separately from the global dilation group.
 
 ## Formal authority
 
-`jagg-ix/entropic-physlib-private`, branch `entropic-physlib-linear-full`, TIP `8bafa9ab93cbb39e85909fc3837bb4b6e0dec748`. The M13.2 ledger pins the exact GKP--Witten, RT, operator-spectrum, finite-density, Lovelock, twistor, BCJ-QCD, finite-Wilson and ABJM source blobs.
+`jagg-ix/entropic-physlib-private`, branch `entropic-physlib-linear-full`, TIP `8bafa9ab93cbb39e85909fc3837bb4b6e0dec748`. The M13.3 ledger pins the Yukawa, dilation, GKP and Weyl--Cartan source blobs.
 
 ## Reproduction
 

openwave/xperiments/m13_scale_dilation_soliton/__init__.py

@@ -1,20 +1,16 @@
 """M13 CAT/EPT scale-dilation and holographic-amplitude model lineage."""
+from .model_registration import ScaleDilationSolitonConfig, run_scale_dilation_soliton_study
+from .holographic_bcj_twistor_wilson_m132 import HolographicAmplitudeConfig, run_holographic_amplitude_study
+from .yukawa_dilation_gkp_m133 import YukawaDilationGKPConfig, run_yukawa_dilation_gkp_study
 
-from .model_registration import (
-    ScaleDilationSolitonConfig,
-    run_scale_dilation_soliton_study,
-)
-from .holographic_bcj_twistor_wilson_m132 import (
-    HolographicAmplitudeConfig,
-    run_holographic_amplitude_study,
-)
-
-run_m13_model_study = run_holographic_amplitude_study
+run_m13_model_study = run_yukawa_dilation_gkp_study
 
 __all__ = [
     "ScaleDilationSolitonConfig",
     "HolographicAmplitudeConfig",
+    "YukawaDilationGKPConfig",
     "run_scale_dilation_soliton_study",
     "run_holographic_amplitude_study",
+    "run_yukawa_dilation_gkp_study",
     "run_m13_model_study",
 ]

openwave/xperiments/m13_scale_dilation_soliton/formal/yukawa_dilation_gkp.v1.json

@@ -0,0 +1,22 @@
+{
+  "claim_boundaries": {
+    "dilatonic_charge": "separate Weyl-Cartan sector, not the global dilation group",
+    "gkp_dictionary": "standard prescription, not derived",
+    "inverse_mass_scaling": "explicit model adapter from linearity in v",
+    "yukawa_coupling": "supplied input"
+  },
+  "formal_branch": "entropic-physlib-linear-full",
+  "formal_head": "8bafa9ab93cbb39e85909fc3837bb4b6e0dec748",
+  "formal_repository": "jagg-ix/entropic-physlib-private",
+  "formal_sources": [
+    {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/MassDecoherenceProportionality.lean","sha":"578152c3b9d73b3baec98f845bca2f566f59e93e","theorems":["yukawaWidth_div_mass","yukawaEntropyRate_eq_const_mul_mass","yukawaMass_yukawaCoupling"]},
+    {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/CouplingIsolation.lean","sha":"527116982460e59e62c5736249a624f836d2f102","theorems":["yukawa_isolated_explicit","clockFrequency_sets_entropyRate"]},
+    {"path":"Physlib/QuantumMechanics/ComplexAction/EntropicTime/ScaleDilationLogMetric.lean","sha":"0c8262bac90d2dff03a04cc8e15efb21ee87ff0e","theorems":["dilationGroupHom","dilation_isometry","scaleDistance_eq_dist_log"]},
+    {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/GKPWittenAdSCFTDictionary.lean","sha":"d9f9bf5e00fd1a4880520cab6c4e5458ee4aa1d3","theorems":["massDimension_relation","conformalDimension_sum"]},
+    {"path":"Physlib/QuantumMechanics/ComplexAction/WeylCartanDilatonicCharge.lean","sha":"d29eabad8399b6bc90c3a55b260a4272273c5523","theorems":["weylForce_zero_of_no_dilatonicCharge","homotheticCurvature_antisymm"]}
+  ],
+  "milestone": "M13.3",
+  "model_id": "M13",
+  "openwave_dependencies": ["M10.1", "M13.1"],
+  "schema": "openwave.m13.yukawa-dilation-gkp-ledger.v1"
+}

openwave/xperiments/m13_scale_dilation_soliton/research/zil/m13_yukawa_dilation_gkp_m133.zc

@@ -0,0 +1,7 @@
+model:m13.3#reuses@openwave:m10-yukawa-carrier.
+model:m13.3#reuses@openwave:m13.1-dilation-group.
+model:m13.3#checks@claim:yukawa-mass-scales-inversely-when-the-higgs-scale-is-dilated-inversely.
+model:m13.3#checks@claim:mass-times-ads-radius-is-invariant-under-the-paired-dilation.
+model:m13.3#checks@claim:gkp-conformal-dimension-is-invariant-under-the-paired-dilation.
+model:m13.3#separates@claim:weyl-cartan-dilatonic-charge-from-global-scale-dilation.
+model:m13.3#forbids@claim:first-principles-yukawa-coupling.

openwave/xperiments/m13_scale_dilation_soliton/yukawa_dilation_gkp_m133.py

@@ -0,0 +1,100 @@
+"""M13.3 Yukawa mass, dilation-group, and GKP-Witten bridge.
+
+The Yukawa coupling is held fixed while the Higgs/clock scale is transported by
+the exact multiplicative dilation group.  The adapter treats mass as inverse
+length, so ``m R`` and the GKP conformal dimension remain invariant.  This is a
+finite executable bridge, not a derivation of the Yukawa coupling or AdS/CFT.
+"""
+from __future__ import annotations
+from dataclasses import asdict, dataclass
+from hashlib import sha256
+import json, math
+from typing import Any, Mapping
+
+MILESTONE="M13.3"
+SCHEMA="openwave.m13.yukawa-dilation-gkp.v1"
+FORMAL_HEAD="8bafa9ab93cbb39e85909fc3837bb4b6e0dec748"
+FORMAL_SOURCES=(
+ {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/MassDecoherenceProportionality.lean","sha":"578152c3b9d73b3baec98f845bca2f566f59e93e","theorems":["yukawaWidth_div_mass","yukawaEntropyRate_eq_const_mul_mass","yukawaMass_yukawaCoupling"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/CouplingIsolation.lean","sha":"527116982460e59e62c5736249a624f836d2f102","theorems":["yukawa_isolated_explicit","yukawaCoupling_comptonMass","clockFrequency_sets_entropyRate"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/EntropicTime/ScaleDilationLogMetric.lean","sha":"0c8262bac90d2dff03a04cc8e15efb21ee87ff0e","theorems":["dilationFlow_add","dilationFlow_neg","dilationGroupHom","dilation_isometry","scaleDistance_eq_dist_log"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/GKPWittenAdSCFTDictionary.lean","sha":"d9f9bf5e00fd1a4880520cab6c4e5458ee4aa1d3","theorems":["massDimension_relation","conformalDimension_sum","bulkToBoundaryKernel_scaling"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/WeylCartanDilatonicCharge.lean","sha":"d29eabad8399b6bc90c3a55b260a4272273c5523","theorems":["weylCartan_connection_isWeyl","weylForce_zero_of_no_dilatonicCharge","homotheticCurvature_antisymm"]},
+)
+
+def _canon(v:Mapping[str,Any])->str:return json.dumps(v,sort_keys=True,separators=(",",":"),default=str)
+def dilation_flow(H:float,t:float)->float:return math.exp(H*t)
+def scale_distance(x:float,y:float)->float:
+ if x<=0 or y<=0: raise ValueError("positive scales required")
+ return abs(math.log(x/y))
+def yukawa_mass(y:float,v:float)->float:return y*v/math.sqrt(2.0)
+def conformal_dimensions(d:float,mu:float)->tuple[float,float]:
+ rad=(d/2.0)**2+mu
+ if rad<0: raise ValueError("BF bound violated")
+ s=math.sqrt(rad); return d/2.0+s,d/2.0-s
+
+@dataclass(frozen=True)
+class YukawaDilationGKPConfig:
+ yukawa_coupling:float=0.2
+ higgs_vev:float=math.sqrt(2.0)
+ c:float=1.0
+ hbar:float=1.0
+ ads_radius:float=3.0
+ boundary_dimension:float=4.0
+ generator:float=0.7
+ sample_times:tuple[float,...]=(-1.0,-0.5,0.0,0.5,1.0)
+ dilatonic_charge:float=0.75
+ homothetic_field_strength:float=0.4
+ def validate(self)->None:
+  if min(self.yukawa_coupling,self.higgs_vev,self.c,self.hbar,self.ads_radius,self.boundary_dimension)<=0: raise ValueError("positive controls required")
+
+def canonical_payload(config:YukawaDilationGKPConfig|None=None)->dict[str,Any]:
+ c=YukawaDilationGKPConfig() if config is None else config
+ return {"schema":SCHEMA,"model_id":"M13","milestone":MILESTONE,"model":"CAT/EPT Yukawa-dilation GKP bridge","configuration":asdict(c),"lineage_dependencies":["M10.1","M13.1"],"study_api":"openwave.xperiments.m13_scale_dilation_soliton.yukawa_dilation_gkp_m133:run_yukawa_dilation_gkp_study","formal_authority":{"repository":"jagg-ix/entropic-physlib-private","branch":"entropic-physlib-linear-full","head":FORMAL_HEAD,"sources":list(FORMAL_SOURCES)}}
+def fingerprint(payload:Mapping[str,Any]|None=None)->str:return sha256(_canon(canonical_payload() if payload is None else payload).encode()).hexdigest()
+
+def _dependencies()->dict[str,bool]:
+ try:
+  from openwave.xperiments.m10_cat_ept.dirac_cartan_2i_yukawa_model import run_m10_core_study
+  m10=bool(run_m10_core_study()["passed"])
+ except Exception:
+  m10=False
+ try:
+  from .model_registration import run_scale_dilation_soliton_study
+  m131=bool(run_scale_dilation_soliton_study()["passed"])
+ except Exception:
+  m131=False
+ return {"m10_yukawa_carrier":m10,"m13_1_scale_carrier":m131}
+
+def run_yukawa_dilation_gkp_study(config:YukawaDilationGKPConfig|None=None)->dict[str,Any]:
+ cfg=YukawaDilationGKPConfig() if config is None else config; cfg.validate()
+ m0=yukawa_mass(cfg.yukawa_coupling,cfg.higgs_vev)
+ omega=m0*cfg.c**2/cfg.hbar
+ y_iso=math.sqrt(2.0)*cfg.hbar*omega/(cfg.c**2*cfg.higgs_vev)
+ mu0=(m0*cfg.c*cfg.ads_radius/cfg.hbar)**2
+ dp0,dm0=conformal_dimensions(cfg.boundary_dimension,mu0)
+ records=[]
+ max_mass=max_radius=max_mu=max_delta=max_compton=max_metric=0.0
+ for t in cfg.sample_times:
+  lam=dilation_flow(cfg.generator,t)
+  vt=cfg.higgs_vev/lam
+  mt=yukawa_mass(cfg.yukawa_coupling,vt)
+  Rt=cfg.ads_radius*lam
+  mut=(mt*cfg.c*Rt/cfg.hbar)**2
+  dp,dm=conformal_dimensions(cfg.boundary_dimension,mut)
+  lc0=cfg.hbar/(m0*cfg.c); lct=cfg.hbar/(mt*cfg.c)
+  max_mass=max(max_mass,abs(mt-m0/lam)); max_radius=max(max_radius,abs(Rt-cfg.ads_radius*lam))
+  max_mu=max(max_mu,abs(mut-mu0)); max_delta=max(max_delta,abs(dp-dp0),abs(dm-dm0))
+  max_compton=max(max_compton,abs(lct-lc0*lam))
+  max_metric=max(max_metric,abs(scale_distance(Rt,cfg.ads_radius)-abs(math.log(lam))))
+  records.append({"time":t,"factor":lam,"higgs_vev":vt,"mass":mt,"ads_radius":Rt,"mass_radius_sq":mut,"delta_plus":dp,"delta_minus":dm,"compton_length":lct})
+ group_err=max(abs(dilation_flow(cfg.generator,s+t)-dilation_flow(cfg.generator,s)*dilation_flow(cfg.generator,t)) for s in cfg.sample_times for t in cfg.sample_times)
+ inv_err=max(abs(dilation_flow(cfg.generator,-t)*dilation_flow(cfg.generator,t)-1.0) for t in cfg.sample_times)
+ gkp_err=abs(dp0*(dp0-cfg.boundary_dimension)-mu0)
+ vieta_err=max(abs(dp0+dm0-cfg.boundary_dimension),abs(dp0*dm0+mu0))
+ force=cfg.dilatonic_charge*cfg.homothetic_field_strength/16.0
+ deps=_dependencies()
+ diagnostics={"yukawa_mass":m0,"compton_frequency":omega,"isolated_coupling_error":abs(y_iso-cfg.yukawa_coupling),"group_error":group_err,"inverse_error":inv_err,"inverse_mass_scaling_error":max_mass,"radius_scaling_error":max_radius,"mass_radius_invariance_error":max_mu,"conformal_dimension_invariance_error":max_delta,"compton_scaling_error":max_compton,"scale_metric_error":max_metric,"gkp_mass_dimension_error":gkp_err,"gkp_vieta_error":vieta_err,"dilatonic_force":force,"zero_charge_force":0.0,"dependencies":deps}
+ acceptance={"yukawa_mass_and_clock":abs(cfg.hbar*omega-m0*cfg.c**2)<5e-14 and diagnostics["isolated_coupling_error"]<5e-14,"dilation_group":max(group_err,inv_err)<5e-14,"inverse_mass_length_transport":max(max_mass,max_radius,max_compton,max_metric)<5e-13,"gkp_mass_radius_invariant":max(max_mu,max_delta,gkp_err,vieta_err)<5e-12,"dilatonic_charge_kept_distinct":abs(force-cfg.dilatonic_charge*cfg.homothetic_field_strength/16.0)<5e-14 and diagnostics["zero_charge_force"]==0.0,"dependencies_pass":all(deps.values())}
+ p=canonical_payload(cfg)
+ return {**p,"task":MILESTONE,"diagnostics":diagnostics,"scale_records":records,"acceptance":acceptance,"fingerprint":fingerprint(p),"passed":all(acceptance.values()),"decision":{"yukawa_coupling_is_supplied_not_derived":True,"inverse_mass_scaling_is_an_explicit_adapter":True,"mass_radius_product_is_the_holographic_invariant":True,"weyl_cartan_dilatonic_charge_is_not_the_global_dilation_group":True}}

tests/test_m13_yukawa_dilation_gkp_m133.py

@@ -0,0 +1,6 @@
+from openwave.xperiments.m13_scale_dilation_soliton.yukawa_dilation_gkp_m133 import run_yukawa_dilation_gkp_study
+
+def test_m133():
+    result = run_yukawa_dilation_gkp_study()
+    assert result["passed"]
+    assert result["decision"]["weyl_cartan_dilatonic_charge_is_not_the_global_dilation_group"]