feat(M13.4): link Yukawa Compton cutoff to Ryu-Takayanagi entropy

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.3 Yukawa/dilation/GKP invariant mass-radius bridge** |
+| **M13** | **CAT/EPT scale-dilation and holographic-amplitude model** | **`MODELS_M13.md`** | **M13.4 Yukawa/Compton RT entropy 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.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.
+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.4 additionally uses the Compton wavelength as an explicit RT cutoff adapter and checks common-dilation invariance plus the conditional horizon-area-rate mass identity.

MODELS_M13.md

@@ -9,6 +9,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.4 | Compton-cutoff RT entropy, common-dilation invariance, and the conditional horizon-area-rate mass bridge |
 
 ## M13.1 scale and carrier surface
 
@@ -56,13 +57,20 @@ M13 isolates the exact scale geometry underlying the CAT/EPT entropic-time arc,
 - checks the isolated Yukawa/Compton-clock identity;
 - keeps the Weyl--Cartan dilatonic charge distinct from the global dilation group.
 
+## M13.4 Yukawa--RT entropy bridge
+
+- uses the Yukawa Compton wavelength as an explicit UV-cutoff adapter for the CFT interval entropy;
+- verifies the RT area identity and invariance when interval and cutoff share one dilation;
+- checks the entropy response to logarithmic mass changes;
+- recovers the same mass and Compton frequency from the conditional horizon-area-rate bridge.
+
 ## Claim boundary
 
-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.
+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.
 
 ## Formal authority
 
-`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.
+`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.
 
 ## Reproduction
 

openwave/xperiments/m13_scale_dilation_soliton/__init__.py

@@ -2,15 +2,6 @@
 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
-
-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",
-]
+from .yukawa_rt_holographic_entropy_m134 import YukawaRTHolographicConfig, run_yukawa_rt_holographic_study
+run_m13_model_study=run_yukawa_rt_holographic_study
+__all__=["ScaleDilationSolitonConfig","HolographicAmplitudeConfig","YukawaDilationGKPConfig","YukawaRTHolographicConfig","run_scale_dilation_soliton_study","run_holographic_amplitude_study","run_yukawa_dilation_gkp_study","run_yukawa_rt_holographic_study","run_m13_model_study"]

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

@@ -0,0 +1,20 @@
+{
+  "claim_boundaries": {
+    "compton_cutoff": "explicit UV-cutoff adapter",
+    "mass_origin_equality": "requires supplied equality hypothesis",
+    "rt_area": "not identified with horizon area growth"
+  },
+  "formal_branch": "entropic-physlib-linear-full",
+  "formal_head": "8bafa9ab93cbb39e85909fc3837bb4b6e0dec748",
+  "formal_repository": "jagg-ix/entropic-physlib-private",
+  "formal_sources": [
+    {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/RyuTakayanagiFormulaAlgebra.lean","sha":"c14aede2c8654bdbdb4aedfca543c36872c65e55","theorems":["rt_log_square_prefactor_identity","cftEntropyVacuumLine_strongSubadditivity"]},
+    {"path":"Physlib/QuantumMechanics/ComplexAction/MassOrigin/GravitationalMassHorizonEntropyNoYukawa.lean","sha":"a7ff039e9f23a10dac72a818862a1a057108f9f7","theorems":["gravitationalMass_eq","gravitationalWidth_eq"]},
+    {"path":"Physlib/QuantumMechanics/ComplexAction/MassOrigin/HiggsClockThreeOrigins.lean","sha":"377374eb2e0861e671a6f5fcf08da44f1ca52a1c","theorems":["higgsClockFrequency_eq","higgs_clock_three_origins"]},
+    {"path":"Physlib/QuantumMechanics/ComplexAction/EntropicTime/ScaleDilationLogMetric.lean","sha":"0c8262bac90d2dff03a04cc8e15efb21ee87ff0e","theorems":["dilation_isometry","adsRadial_dilation_invariant"]}
+  ],
+  "milestone": "M13.4",
+  "model_id": "M13",
+  "openwave_dependencies": ["M13.2", "M13.3"],
+  "schema": "openwave.m13.yukawa-rt-entropy-ledger.v1"
+}

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

@@ -0,0 +1,6 @@
+model:m13.4#requires@model:m13.3.
+model:m13.4#reuses@physlib:ryu-takayanagi-formula-algebra.
+model:m13.4#chooses@adapter:compton-wavelength-as-rt-ultraviolet-cutoff.
+model:m13.4#checks@claim:rt-entropy-is-invariant-when-interval-and-compton-cutoff-share-one-dilation.
+model:m13.4#checks@claim:yukawa-clock-mass-can-match-the-horizon-area-rate-mass-under-a-supplied-equality.
+model:m13.4#separates@claim:rt-area-from-horizon-area-growth-rate.

openwave/xperiments/m13_scale_dilation_soliton/yukawa_rt_holographic_entropy_m134.py

@@ -0,0 +1,52 @@
+"""M13.4 Yukawa/Compton cutoff and Ryu--Takayanagi entropy bridge."""
+from __future__ import annotations
+from dataclasses import asdict, dataclass
+from hashlib import sha256
+import json, math
+from typing import Any, Mapping
+from .yukawa_dilation_gkp_m133 import yukawa_mass, scale_distance, run_yukawa_dilation_gkp_study
+
+MILESTONE="M13.4"; SCHEMA="openwave.m13.yukawa-rt-entropy.v1"; FORMAL_HEAD="8bafa9ab93cbb39e85909fc3837bb4b6e0dec748"
+FORMAL_SOURCES=(
+ {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/RyuTakayanagiFormulaAlgebra.lean","sha":"c14aede2c8654bdbdb4aedfca543c36872c65e55","theorems":["rt_log_square_prefactor_identity","rtPoincareLineDensity_regulated_integral_eq_neg_two_log","cftEntropyVacuumLine_strongSubadditivity","cftEntropyFiniteT_strongSubadditivity"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/MassOrigin/GravitationalMassHorizonEntropyNoYukawa.lean","sha":"a7ff039e9f23a10dac72a818862a1a057108f9f7","theorems":["gravitationalMass_eq","gravitationalWidth_eq","norm_nnPathWeight_horizon"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/MassOrigin/HiggsClockThreeOrigins.lean","sha":"377374eb2e0861e671a6f5fcf08da44f1ca52a1c","theorems":["higgsClockFrequency_eq","higgs_clock_three_origins"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/MassDecoherenceProportionality.lean","sha":"578152c3b9d73b3baec98f845bca2f566f59e93e","theorems":["yukawaEntropyRate_eq_const_mul_mass"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/EntropicTime/ScaleDilationLogMetric.lean","sha":"0c8262bac90d2dff03a04cc8e15efb21ee87ff0e","theorems":["dilation_isometry","scaleDistance_eq_dist_log","adsRadial_dilation_invariant"]},)
+def _canon(v:Mapping[str,Any])->str:return json.dumps(v,sort_keys=True,separators=(",",":"),default=str)
+@dataclass(frozen=True)
+class YukawaRTHolographicConfig:
+ yukawa_coupling:float=0.2; higgs_vev:float=math.sqrt(2.0); c:float=1.0; hbar:float=1.0
+ ads_radius:float=2.0; newton_constant:float=0.25; interval_to_cutoff:float=12.0; dilation_factor:float=2.5; log_mass_step:float=1e-5
+ def validate(self)->None:
+  if min(self.yukawa_coupling,self.higgs_vev,self.c,self.hbar,self.ads_radius,self.newton_constant,self.interval_to_cutoff,self.dilation_factor,self.log_mass_step)<=0: raise ValueError("positive controls required")
+  if self.interval_to_cutoff<=1: raise ValueError("interval must exceed cutoff")
+def canonical_payload(config=None):
+ c=YukawaRTHolographicConfig() if config is None else config
+ return {"schema":SCHEMA,"model_id":"M13","milestone":MILESTONE,"model":"CAT/EPT Yukawa-Compton RT entropy bridge","configuration":asdict(c),"lineage_dependencies":["M13.2","M13.3"],"study_api":"openwave.xperiments.m13_scale_dilation_soliton.yukawa_rt_holographic_entropy_m134:run_yukawa_rt_holographic_study","formal_authority":{"repository":"jagg-ix/entropic-physlib-private","branch":"entropic-physlib-linear-full","head":FORMAL_HEAD,"sources":list(FORMAL_SOURCES)}}
+def fingerprint(payload=None):return sha256(_canon(canonical_payload() if payload is None else payload).encode()).hexdigest()
+def _deps():
+ try:a=bool(run_yukawa_dilation_gkp_study()["passed"])
+ except Exception:a=False
+ try:
+  from .holographic_bcj_twistor_wilson_m132 import run_holographic_amplitude_study
+  b=bool(run_holographic_amplitude_study()["passed"])
+ except Exception:b=False
+ return {"m13_3_yukawa_dilation_gkp":a,"m13_2_holographic_closure":b}
+def _entropy(central:float,ell:float,cutoff:float)->float:return central/3.0*math.log(ell/cutoff)
+def run_yukawa_rt_holographic_study(config=None):
+ cfg=YukawaRTHolographicConfig() if config is None else config; cfg.validate()
+ m=yukawa_mass(cfg.yukawa_coupling,cfg.higgs_vev); cutoff=cfg.hbar/(m*cfg.c); ell=cfg.interval_to_cutoff*cutoff
+ central=3.0*cfg.ads_radius/(2.0*cfg.newton_constant); entropy=_entropy(central,ell,cutoff); area=4.0*cfg.newton_constant*entropy
+ rt_err=abs(area/(4.0*cfg.newton_constant)-entropy); metric_err=abs(entropy-central/3.0*scale_distance(ell,cutoff))
+ lam=cfg.dilation_factor; mp=m/lam; cutoffp=cfg.hbar/(mp*cfg.c); ellp=lam*ell; entropy_p=_entropy(central,ellp,cutoffp)
+ dilation_err=abs(entropy_p-entropy)
+ h=cfg.log_mass_step
+ def s_log(delta:float)->float:
+  mm=m*math.exp(delta); aa=cfg.hbar/(mm*cfg.c); return _entropy(central,ell,aa)
+ derivative=(s_log(h)-s_log(-h))/(2*h); derivative_err=abs(derivative-central/3.0)
+ Adot=4.0*cfg.newton_constant*m/cfg.c; grav_mass=cfg.c/(4.0*cfg.newton_constant)*Adot; horizon_rate=cfg.c**3/(4.0*cfg.newton_constant)*Adot
+ omega=m*cfg.c**2/cfg.hbar; horizon_omega=cfg.c**3*Adot/(4.0*cfg.newton_constant*cfg.hbar)
+ deps=_deps(); diagnostics={"yukawa_mass":m,"compton_cutoff":cutoff,"interval_length":ell,"brown_henneaux_central_charge":central,"cft_entropy":entropy,"rt_area":area,"rt_identity_error":rt_err,"scale_metric_entropy_error":metric_err,"dilation_entropy_error":dilation_err,"log_mass_entropy_derivative":derivative,"log_mass_entropy_derivative_error":derivative_err,"horizon_area_rate":Adot,"gravitational_mass_recovery_error":abs(grav_mass-m),"horizon_entropy_rate_error":abs(horizon_rate-m*cfg.c**2),"clock_horizon_frequency_error":abs(omega-horizon_omega),"dependencies":deps}
+ acceptance={"rt_area_entropy_identity":rt_err<5e-14,"compton_cutoff_scale_metric":metric_err<5e-14,"common_dilation_invariance":dilation_err<5e-13,"mass_log_entropy_response":derivative_err<2e-9,"horizon_area_rate_mass_bridge":max(diagnostics["gravitational_mass_recovery_error"],diagnostics["horizon_entropy_rate_error"],diagnostics["clock_horizon_frequency_error"])<5e-13,"dependencies_pass":all(deps.values())}
+ p=canonical_payload(cfg); return {**p,"task":MILESTONE,"diagnostics":diagnostics,"acceptance":acceptance,"fingerprint":fingerprint(p),"passed":all(acceptance.values()),"decision":{"compton_wavelength_as_rt_cutoff_is_a_model_adapter":True,"rt_area_and_horizon_area_rate_are_not_identified":True,"yukawa_and_gravitational_mass_equality_is_a_supplied_bridge_hypothesis":True}}

tests/test_m13_yukawa_rt_holographic_entropy_m134.py

@@ -0,0 +1,3 @@
+from openwave.xperiments.m13_scale_dilation_soliton.yukawa_rt_holographic_entropy_m134 import run_yukawa_rt_holographic_study
+def test_m134():
+ r=run_yukawa_rt_holographic_study(); assert r["passed"]; assert r["decision"]["rt_area_and_horizon_area_rate_are_not_identified"]