feat(M13.4-M13.5): combine Yukawa RT and BCJ holographic bridges

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.5 BCJ--Yukawa holographic synthesis** |
 
 ## 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.5 additionally threads one supplied Yukawa mass through finite massive BCJ/QCD channels, the Wilson-derived effective Regge slope, the GKP dimension and the RT cutoff while retaining a strict no-amplitude--entropy-equality boundary.

MODELS_M13.md

@@ -9,6 +9,8 @@ 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.5 | massive BCJ/QCD channels, Wilson-Regge effective tension, Yukawa width, GKP dimension and RT synthesis |
 
 ## M13.1 scale and carrier surface
 
@@ -56,13 +58,27 @@ 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.
+
+## M13.5 BCJ--Yukawa holographic synthesis
+
+- inserts the same supplied Yukawa mass into finite massive BCJ channels and primitive-QCD bookkeeping;
+- uses the positive M10 Wilson area coefficient as a finite effective string tension and reconstructs a Regge slope/intercept carrying that mass;
+- matches the Regge imaginary trajectory to the Yukawa entropy-production width;
+- threads the same mass through the GKP dimension and the M13.4 RT cutoff without asserting that an amplitude equals an entropy.
+
 ## 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,7 @@
 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
+from .bcj_yukawa_holographic_synthesis_m135 import BCJYukawaHolographicConfig, run_bcj_yukawa_holographic_study
+run_m13_model_study=run_bcj_yukawa_holographic_study
+__all__=["ScaleDilationSolitonConfig","HolographicAmplitudeConfig","YukawaDilationGKPConfig","YukawaRTHolographicConfig","BCJYukawaHolographicConfig","run_scale_dilation_soliton_study","run_holographic_amplitude_study","run_yukawa_dilation_gkp_study","run_yukawa_rt_holographic_study","run_bcj_yukawa_holographic_study","run_m13_model_study"]

openwave/xperiments/m13_scale_dilation_soliton/bcj_yukawa_holographic_synthesis_m135.py

@@ -0,0 +1,49 @@
+"""M13.5 massive BCJ/QCD, Wilson-Regge, Yukawa, GKP and RT synthesis."""
+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, conformal_dimensions
+from .yukawa_rt_holographic_entropy_m134 import run_yukawa_rt_holographic_study
+MILESTONE="M13.5"; SCHEMA="openwave.m13.bcj-yukawa-holographic-synthesis.v1"; FORMAL_HEAD="8bafa9ab93cbb39e85909fc3837bb4b6e0dec748"
+FORMAL_SOURCES=(
+ {"path":"Physlib/QuantumMechanics/ComplexAction/BCJDoubleCopy/ColorKinematicsDoubleCopy.lean","sha":"110a42b466c7fcf8be68be4326cb1d0c9197043c","theorems":["bcjDoubleCopy_diagonal_nonneg","faradayBCJDuality","cubicDoubleCopy_eq_cubicAmplitude_colorReplacement"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/Particles/QCDFundamentalBCJRelations.lean","sha":"5756653f5dbd58ac14fef7307d03223e7bf81304","theorems":["forwardBCJRelation_iff_backwardBCJRelation","threePoint_fundamentalBCJ","fundamentalBCJ_inductionStep_closes"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/ReggeStringMassYukawaReplacement.lean","sha":"71a75b6e6b94be3ec9a0fdb4915551accf08e0eb","theorems":["reggeTrajectory_at_massSq","reggeMass_sq","reggeWidth_at_mass_eq_widthFromRate_iff"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/MassDecoherenceProportionality.lean","sha":"578152c3b9d73b3baec98f845bca2f566f59e93e","theorems":["yukawaWidth_eq_widthFromRate_entropyRate","yukawaEntropyRate_eq_const_mul_mass"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/GKPWittenAdSCFTDictionary.lean","sha":"d9f9bf5e00fd1a4880520cab6c4e5458ee4aa1d3","theorems":["massDimension_relation","cftTwoPoint_scaling"]},
+ {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/RyuTakayanagiFormulaAlgebra.lean","sha":"c14aede2c8654bdbdb4aedfca543c36872c65e55","theorems":["rtAreaEntropy_nonneg","rt_log_square_prefactor_identity"]},
+ {"path":"Physlib/QFT/PathIntegral/FiniteWilsonGaugeModel.lean","sha":"870efa65de9037ea7c8e617628b15c19fb3de521","theorems":["boltzmannFactor_pos","sourceCoupledPartition_linearSource_hasDerivAt_zero"]},)
+def _canon(v:Mapping[str,Any])->str:return json.dumps(v,sort_keys=True,separators=(",",":"),default=str)
+@dataclass(frozen=True)
+class BCJYukawaHolographicConfig:
+ 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; boundary_dimension:float=4.0
+ entropic_frequency:float=1.3; spin:float=2.0; loop_area:float=4.0; gluons:int=4; quark_pairs:int=2
+ def validate(self):
+  if min(self.yukawa_coupling,self.higgs_vev,self.c,self.hbar,self.ads_radius,self.boundary_dimension,self.entropic_frequency,self.spin,self.loop_area)<=0: raise ValueError("positive controls required")
+  if self.gluons<=0 or self.quark_pairs<0: raise ValueError("moved-gluon primitive QCD content required")
+def canonical_payload(config=None):
+ c=BCJYukawaHolographicConfig() if config is None else config
+ return {"schema":SCHEMA,"model_id":"M13","milestone":MILESTONE,"model":"CAT/EPT massive BCJ-Yukawa holographic synthesis","configuration":asdict(c),"lineage_dependencies":["M10.8","M13.2","M13.4"],"study_api":"openwave.xperiments.m13_scale_dilation_soliton.bcj_yukawa_holographic_synthesis_m135:run_bcj_yukawa_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 _wilson():
+ from openwave.xperiments.m10_cat_ept.wilson_refinement_spectrum_m108 import run_wilson_refinement_spectrum_study
+ return run_wilson_refinement_spectrum_study()
+def _m132():
+ from .holographic_bcj_twistor_wilson_m132 import run_holographic_amplitude_study
+ return run_holographic_amplitude_study()
+def run_bcj_yukawa_holographic_study(config=None):
+ cfg=BCJYukawaHolographicConfig() if config is None else config; cfg.validate()
+ m=yukawa_mass(cfg.yukawa_coupling,cfg.higgs_vev); mu=(m*cfg.c*cfg.ads_radius/cfg.hbar)**2; dp,dm=conformal_dimensions(cfg.boundary_dimension,mu)
+ colors=(1.0,-0.4,-0.6); nums=(m*m+1.0,0.5*m*m-0.2,0.0); nums=(nums[0],nums[1],-nums[0]-nums[1]); nums2=(0.7,-0.1,-0.6)
+ den=(m*m+1.2,m*m+1.7,m*m+2.3)
+ gauge=sum(c*n/d for c,n,d in zip(colors,nums,den)); double=sum(n*nt/d for n,nt,d in zip(nums,nums2,den)); diagonal=[n*n/d for n,d in zip(nums,den)]
+ forward=(2.0,-3.0,1.0); amps=(1+0j,1+0j,1+0j); fsum=sum(w*a for w,a in zip(forward,amps)); bsum=sum(-w*a for w,a in zip(forward,amps))
+ wilson=_wilson(); sigma=float(wilson["area_perimeter_fit"]["area_coefficient"]); alpha_prime=1.0/(2.0*math.pi*sigma); alpha0=cfg.spin-alpha_prime*m*m
+ regge_m2=(cfg.spin-alpha0)/alpha_prime; dsi=cfg.yukawa_coupling*cfg.entropic_frequency/(2.0*cfg.hbar); im_alpha=2.0*alpha_prime*m*dsi; regge_width=im_alpha/(alpha_prime*m)
+ rt=run_yukawa_rt_holographic_study(); h132=_m132()
+ wilson_area=sigma*cfg.loop_area; rt_area=float(rt["diagnostics"]["rt_area"])
+ diagnostics={"yukawa_mass":m,"mass_radius_sq":mu,"delta_plus":dp,"delta_minus":dm,"color_jacobi_error":abs(sum(colors)),"kinematic_jacobi_error":abs(sum(nums)),"second_copy_jacobi_error":abs(sum(nums2)),"gauge_amplitude":gauge,"double_copy_amplitude":double,"minimum_diagonal_channel":min(diagonal),"qcd_total_legs":cfg.gluons+2*cfg.quark_pairs,"qcd_moved_leg_is_gluon":cfg.gluons>0,"qcd_forward_sum_error":abs(fsum),"qcd_backward_sum_error":abs(bsum),"qcd_forward_backward_error":abs(fsum+bsum),"wilson_area_coefficient":sigma,"wilson_creutz_11":float(wilson["creutz_11"]),"wilson_passed":bool(wilson["passed"]),"regge_slope":alpha_prime,"regge_intercept":alpha0,"regge_mass_sq_error":abs(regge_m2-m*m),"yukawa_entropy_rate":dsi,"regge_width_error":abs(regge_width-2.0*dsi),"rt_passed":bool(rt["passed"]),"m13_2_passed":bool(h132["passed"]),"rt_area":rt_area,"wilson_effective_area":wilson_area,"finite_area_ratio":wilson_area/rt_area if rt_area else math.inf}
+ acceptance={"massive_bcj_jacobi":max(diagnostics["color_jacobi_error"],diagnostics["kinematic_jacobi_error"],diagnostics["second_copy_jacobi_error"])<5e-14,"primitive_qcd_bcj":diagnostics["qcd_total_legs"]==8 and diagnostics["qcd_moved_leg_is_gluon"] and max(diagnostics["qcd_forward_sum_error"],diagnostics["qcd_backward_sum_error"],diagnostics["qcd_forward_backward_error"])<5e-14,"double_copy_finite":math.isfinite(double) and diagnostics["minimum_diagonal_channel"]>=0.0,"wilson_regge_yukawa_mass":diagnostics["wilson_passed"] and sigma>0 and diagnostics["wilson_creutz_11"]>0 and diagnostics["regge_mass_sq_error"]<5e-14,"regge_entropy_width":diagnostics["regge_width_error"]<5e-14,"gkp_and_rt_share_supplied_mass":abs(dp*(dp-cfg.boundary_dimension)-mu)<5e-13 and diagnostics["rt_passed"],"dependencies_pass":diagnostics["m13_2_passed"]}
+ p=canonical_payload(cfg);return {**p,"task":MILESTONE,"diagnostics":diagnostics,"acceptance":acceptance,"fingerprint":fingerprint(p),"passed":all(acceptance.values()),"decision":{"same_supplied_yukawa_mass_threads_all_sectors":True,"wilson_area_coefficient_is_used_as_a_finite_effective_string_tension":True,"bcj_amplitude_is_not_identified_with_rt_entropy":True,"no_continuum_qcd_or_gauge_string_duality_is_claimed":True}}

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

@@ -0,0 +1,23 @@
+{
+  "claim_boundaries": {
+    "bcj_rt": "no amplitude-entropy equality",
+    "continuum": "no continuum QCD or string duality claim",
+    "mass": "same supplied Yukawa mass used across adapters",
+    "wilson_tension": "finite effective fit coefficient"
+  },
+  "formal_branch": "entropic-physlib-linear-full",
+  "formal_head": "8bafa9ab93cbb39e85909fc3837bb4b6e0dec748",
+  "formal_repository": "jagg-ix/entropic-physlib-private",
+  "formal_sources": [
+    {"path":"Physlib/QuantumMechanics/ComplexAction/BCJDoubleCopy/ColorKinematicsDoubleCopy.lean","sha":"110a42b466c7fcf8be68be4326cb1d0c9197043c","theorems":["bcjDoubleCopy_diagonal_nonneg","cubicDoubleCopy_eq_cubicAmplitude_colorReplacement"]},
+    {"path":"Physlib/QuantumMechanics/ComplexAction/Particles/QCDFundamentalBCJRelations.lean","sha":"5756653f5dbd58ac14fef7307d03223e7bf81304","theorems":["forwardBCJRelation_iff_backwardBCJRelation","fundamentalBCJ_inductionStep_closes"]},
+    {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/ReggeStringMassYukawaReplacement.lean","sha":"71a75b6e6b94be3ec9a0fdb4915551accf08e0eb","theorems":["reggeTrajectory_at_massSq","reggeWidth_at_mass_eq_widthFromRate_iff"]},
+    {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/GKPWittenAdSCFTDictionary.lean","sha":"d9f9bf5e00fd1a4880520cab6c4e5458ee4aa1d3","theorems":["massDimension_relation","cftTwoPoint_scaling"]},
+    {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/RyuTakayanagiFormulaAlgebra.lean","sha":"c14aede2c8654bdbdb4aedfca543c36872c65e55","theorems":["rtAreaEntropy_nonneg","rt_log_square_prefactor_identity"]},
+    {"path":"Physlib/QFT/PathIntegral/FiniteWilsonGaugeModel.lean","sha":"870efa65de9037ea7c8e617628b15c19fb3de521","theorems":["boltzmannFactor_pos","sourceCoupledPartition_linearSource_hasDerivAt_zero"]}
+  ],
+  "milestone": "M13.5",
+  "model_id": "M13",
+  "openwave_dependencies": ["M10.8", "M13.2", "M13.4"],
+  "schema": "openwave.m13.bcj-yukawa-holographic-synthesis-ledger.v1"
+}

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_bcj_yukawa_holographic_synthesis_m135.zc

@@ -0,0 +1,7 @@
+model:m13.5#requires@model:m13.4.
+model:m13.5#reuses@openwave:m10.8-wilson-loop-campaign.
+model:m13.5#checks@claim:massive-bcj-color-and-kinematic-jacobi-identities.
+model:m13.5#checks@claim:wilson-effective-string-tension-defines-a-regge-slope-reproducing-the-supplied-yukawa-mass.
+model:m13.5#checks@claim:the-same-supplied-mass-enters-bcj-propagators-gkp-dimension-and-rt-cutoff.
+model:m13.5#forbids@claim:bcj-amplitude-equals-rt-entropy.
+model:m13.5#forbids@claim:continuum-gauge-string-duality.

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.