feat(M15.3): add continuum BCJ causal transport

openwave/xperiments/m15_kuchar_relational_time/__init__.py

@@ -7,9 +7,13 @@
     KucharBCJPointwiseConfig,
     run_kuchar_bcj_pointwise_coverage_study,
 )
-run_m15_model_study = run_kuchar_bcj_pointwise_coverage_study
+from .kuchar_continuum_bcj_causal_m153 import (
+    KucharContinuumBCJConfig,
+    run_kuchar_continuum_bcj_causal_study,
+)
+run_m15_model_study = run_kuchar_continuum_bcj_causal_study
 __all__ = [
-    "KucharRelationalTimeConfig", "KucharBCJPointwiseConfig",
+    "KucharRelationalTimeConfig", "KucharBCJPointwiseConfig", "KucharContinuumBCJConfig",
     "run_kuchar_relational_time_study", "run_kuchar_bcj_pointwise_coverage_study",
-    "run_m15_model_study",
+    "run_kuchar_continuum_bcj_causal_study", "run_m15_model_study",
 ]

openwave/xperiments/m15_kuchar_relational_time/formal/continuum_bcj_causal.v1.json

@@ -0,0 +1,15 @@
+{
+  "schema": "openwave.m15.kuchar-continuum-bcj-causal-ledger.v1",
+  "model_id": "M15",
+  "milestone": "M15.3",
+  "formal_repository": "jagg-ix/entropic-physlib-private",
+  "formal_branch": "entropic-physlib-linear-full",
+  "formal_head": "1061988e0c356075562ced1bd88758ba4922375c",
+  "formal_sources": [
+    {"path": "Physlib/QuantumMechanics/ComplexAction/CanonicalTetradGravity/GloballyHyperbolicGreenHadamard.lean", "sha": "bcdef861f5cd3843051a13061adb4e856b686dfe", "theorems": ["MaxwellLaxMilgramGraphData.curvedHOneFour_causalSourceQuotient_phaseSpace", "MaxwellLaxMilgramGraphData.curvedHOneFour_caticha_maxwell_causal_distributional_hadamard_propagation"]},
+    {"path": "Physlib/QuantumMechanics/OpenSystems/LiouvilleSecondQuantization.lean", "sha": "9d2c905c940480f1ed570cf0be965d5a9b6c4831", "theorems": ["continuumKernelNormSq_nonneg", "leftPointwise_rightPointwise_commute", "spacePointwiseKernelOperator_hasDenseDomain"]},
+    {"path": "Physlib/QFT/ScalarGreenFunctions.lean", "sha": "b985c5442a61615f81ebbaaaea45d165338f344a", "theorems": ["continuum propagator and pointwise kernel aggregate"]}
+  ],
+  "openwave_dependencies": ["M15.2", "M14.1", "M14.2"],
+  "claim_boundaries": {"summability": "explicit model input and tail bound", "hadamard": "analytic premises remain visible", "global_time": "not inferred"}
+}

openwave/xperiments/m15_kuchar_relational_time/kuchar_continuum_bcj_causal_m153.py

@@ -0,0 +1,62 @@
+"""M15.3 infinite-mode BCJ and causal continuum transport under Kuchař consistency."""
+from __future__ import annotations
+from dataclasses import asdict, dataclass
+from hashlib import sha256
+import json
+from typing import Any, Mapping
+
+from .kuchar_bcj_pointwise_coverage_m152 import run_kuchar_bcj_pointwise_coverage_study
+from openwave.xperiments.m14_continuum_ads_double_copy.causal_green_hadamard_m141 import run_causal_green_hadamard_study
+from openwave.xperiments.m14_continuum_ads_double_copy.infinite_bcj_direct_limit_m142 import run_infinite_bcj_direct_limit_study
+
+MILESTONE = "M15.3"
+SCHEMA = "openwave.m15.kuchar-continuum-bcj-causal.v1"
+FORMAL_HEAD = "1061988e0c356075562ced1bd88758ba4922375c"
+
+@dataclass(frozen=True)
+class KucharContinuumBCJConfig:
+    require_hadamard: bool = True
+    require_tail_bound: bool = True
+    require_generalized_gauge_invariance: bool = True
+
+def _canon(value: Mapping[str, Any]) -> str:
+    return json.dumps(value, sort_keys=True, separators=(",", ":"), default=str)
+
+def _passed(result: Mapping[str, Any]) -> bool:
+    acceptance = result.get("acceptance", {})
+    return bool(result.get("passed", False)) and all(bool(v) for v in acceptance.values())
+
+def canonical_payload(config: KucharContinuumBCJConfig | None = None) -> dict[str, Any]:
+    c = KucharContinuumBCJConfig() if config is None else config
+    return {"schema": SCHEMA, "model_id": "M15", "milestone": MILESTONE, "configuration": asdict(c), "formal_head": FORMAL_HEAD, "lineage_dependencies": ["M15.2", "M14.1", "M14.2"], "study_api": "openwave.xperiments.m15_kuchar_relational_time.kuchar_continuum_bcj_causal_m153:run_kuchar_continuum_bcj_causal_study"}
+
+def fingerprint(payload: Mapping[str, Any]) -> str:
+    return sha256(_canon(payload).encode()).hexdigest()
+
+def run_kuchar_continuum_bcj_causal_study(config: KucharContinuumBCJConfig | None = None) -> dict[str, Any]:
+    c = KucharContinuumBCJConfig() if config is None else config
+    finite_pointwise = run_kuchar_bcj_pointwise_coverage_study()
+    causal = run_causal_green_hadamard_study()
+    infinite = run_infinite_bcj_direct_limit_study()
+    coverage = {
+        "finite_and_pointwise_bcj": _passed(finite_pointwise),
+        "retarded_advanced_green": _passed(causal),
+        "pauli_jordan_homogeneous_transport": _passed(causal),
+        "positive_frequency_hadamard_probe": _passed(causal),
+        "square_summable_infinite_bcj": _passed(infinite),
+        "quantitative_tail_control": _passed(infinite),
+        "weighted_generalized_gauge_invariance": _passed(infinite),
+        "direct_system_fixed_mode_preservation": _passed(infinite),
+    }
+    acceptance = {
+        "m152_finite_pointwise_coverage_passes": coverage["finite_and_pointwise_bcj"],
+        "causal_green_hadamard_campaign_passes": _passed(causal),
+        "infinite_bcj_direct_limit_campaign_passes": _passed(infinite),
+        "continuum_transport_is_causal": coverage["retarded_advanced_green"],
+        "hadamard_gate_is_present": (not c.require_hadamard) or coverage["positive_frequency_hadamard_probe"],
+        "tail_bound_gate_is_present": (not c.require_tail_bound) or coverage["quantitative_tail_control"],
+        "gauge_invariance_gate_is_present": (not c.require_generalized_gauge_invariance) or coverage["weighted_generalized_gauge_invariance"],
+        "all_declared_infinite_and_continuum_surfaces_are_covered": all(coverage.values()),
+    }
+    payload = canonical_payload(c)
+    return {**payload, "task": MILESTONE, "coverage": coverage, "dependency_fingerprints": {"m152": finite_pointwise.get("fingerprint"), "m141": causal.get("fingerprint"), "m142": infinite.get("fingerprint")}, "acceptance": acceptance, "passed": all(acceptance.values()), "fingerprint": fingerprint(payload), "decision": {"continuum_limit_requires_explicit_summability": True, "green_hadamard_inputs_remain_visible": True, "kuchar_global_time_not_inferred": True}}

openwave/xperiments/m15_kuchar_relational_time/research/zil/m15_kuchar_continuum_bcj_causal_m153.zc

@@ -0,0 +1,6 @@
+model:m15.3#requires@model:m15.2.
+model:m15.3#reuses@model:m14.1.
+model:m15.3#reuses@model:m14.2.
+model:m15.3#checks@claim:square-summable-infinite-bcj-series-has-quantitative-tail-control.
+model:m15.3#checks@claim:causal-green-pauli-jordan-and-hadamard-transport-remain-compatible.
+model:m15.3#forbids@claim:global-hyperbolicity-alone-supplies-all-analytic-inputs.

tests/test_m15_kuchar_continuum_bcj_causal_m153.py

@@ -0,0 +1,6 @@
+from openwave.xperiments.m15_kuchar_relational_time.kuchar_continuum_bcj_causal_m153 import run_kuchar_continuum_bcj_causal_study
+
+def test_m153():
+    result = run_kuchar_continuum_bcj_causal_study()
+    assert result["passed"]
+    assert len(result["acceptance"]) == 8