Core: удалить второй joint solver

crates/labcolors-core/contracts/clean-set-srgb8-v1/receipt-v1.json

@@ -41,18 +41,18 @@
       "sha256": "57f3eb04c91a3562d40523a601d435caf1181dd0a24df0d9162100c13a7c5262"
     },
     {
-      "bytes": 45142,
+      "bytes": 7686,
       "license": "MIT",
       "path": "crates/labcolors-core/src/joint.rs",
       "role": "joint_selection_source",
-      "sha256": "5add7d50fbaacd4849552f81461d6c7c584b985be0f4485112c4b5705dee991a"
+      "sha256": "8bf5d5a1c0f00ce245a1ecb18b923aa1631483345962d72b633e466c242a8a1d"
     },
     {
-      "bytes": 13873,
+      "bytes": 13680,
       "license": "MIT",
       "path": "crates/labcolors-core/src/lib.rs",
       "role": "module_registration_source",
-      "sha256": "b30300edd3910e3d9da1e56896ce14c3db508b1a6fc5608e01032a5ad95777b1"
+      "sha256": "db3be029d1ee35471f8c311ae4ec59babd06fcca26f8a1dcd381ef28bc937690"
     },
     {
       "bytes": 38255,
@@ -90,11 +90,11 @@
       "sha256": "2c0876c61196f6492d0f250789ded9644bad1de9ff92c9dea2a14fc55e87f18e"
     },
     {
-      "bytes": 165362,
+      "bytes": 164302,
       "license": "MIT",
       "path": "crates/labcolors-core/src/program.rs",
       "role": "program_facade_source",
-      "sha256": "7067a2108a7fe224302ca7e2b6effdff97966d63328ce5e0b93ca0bcd3a9fda3"
+      "sha256": "a2e3f0cf8fd5445a474c804bbd962d244d9eb42ce2c7ca099ac8c0793de6563e"
     },
     {
       "bytes": 71867,
@@ -104,11 +104,11 @@
       "sha256": "b59f1f5fe0c71637471498635240de6a381c6b8f11308424e81c0f3e0c6b12d0"
     },
     {
-      "bytes": 170258,
+      "bytes": 174358,
       "license": "MIT",
       "path": "crates/labcolors-core/src/program_session.rs",
       "role": "program_source",
-      "sha256": "86a035d09bfee36cac9d5761254b21803a41f6f75b2072c1a5df11967ea006de"
+      "sha256": "13306b6a817c5509eba31550a1358c5a1d6deaae9d4344ff915d98738f8fd12f"
     },
     {
       "bytes": 21872,
@@ -125,11 +125,11 @@
       "sha256": "aa6aa7c0b630437f1c1ba8c2ceafb0dadf6551c42331559504076a6cd44e6331"
     },
     {
-      "bytes": 26928,
+      "bytes": 26829,
       "license": "MIT",
       "path": "crates/labcolors-core/src/session.rs",
       "role": "session_runtime_source",
-      "sha256": "c7a1706ad4837adfdfbe58a302d20b613912530ebff260fd877a47210b02ef46"
+      "sha256": "383b163f9e715e3f5b313a3c29f962968dec3df2414cc8172e2def6b43236a83"
     },
     {
       "bytes": 34105,

crates/labcolors-core/contracts/clean-set-srgb8-v1/receipt-v1.sha256

@@ -1 +1 @@
-3b51f8ecf38181d68b619b30ebb1fdd28a17606f5ac2699bf8070497a0515b80  receipt-v1.json
+269e85bd887ddc6a09e86d183338ba5b26a9dc506762429eee7a65f981c6d31f  receipt-v1.json

crates/labcolors-core/src/generic_boundary_tests.rs

@@ -421,6 +421,74 @@ fn finite_target_intent_has_no_dead_source_axis() {
     }
 }
 
+#[test]
+fn joint_module_contains_only_the_canonical_finite_order_admission() {
+    for retired in [
+        "CandidateOrdinalV1",
+        "JointPointEvaluatorV1",
+        "JointCandidateTupleV1",
+        "JointCandidateSetV1",
+        "JointObservationV1",
+        "StaticJointObservationV1",
+        "PointwiseJointPointProgramV1",
+        "checked_joint_cardinality",
+        "PointwiseFullHardReportV1",
+        "PointwiseHardFeasibilityV1",
+        "DeclaredTotalOrderV1",
+        "PointwiseSelectedJointTupleV1",
+        "PointwiseVerifiedSelectionV1",
+    ] {
+        assert!(
+            !contains_rust_identifier(JOINT_SOURCE, retired),
+            "the runtime-unused V2a solver must not return through `{retired}`",
+        );
+    }
+    for canonical in [
+        "FiniteDomainOrdinalV1",
+        "NonEmptyFiniteDomainCardinalitiesV1",
+        "AdmittedFiniteJointOrderV1",
+        "FiniteJointOrderAdmissionErrorV1",
+        "FiniteJointOrderErrorV1",
+        "admit_finite_joint_order_v1",
+    ] {
+        assert!(
+            contains_rust_identifier(JOINT_SOURCE, canonical),
+            "joint.rs must retain the sole Program order-admission primitive `{canonical}`",
+        );
+    }
+    assert!(
+        !LIB_SOURCE.contains(
+            "joint-selection internals are used only through the staged Program contract",
+        ),
+        "the canonical Program path must not hide a second joint engine behind dead_code",
+    );
+    assert!(
+        !LIB_SOURCE.contains("mod joint_tests;"),
+        "tests for the retired solver must not keep its architecture alive",
+    );
+    assert!(
+        !contains_rust_identifier(JOINT_SOURCE, "EmptyDomain")
+            && !contains_rust_identifier(PROGRAM_SOURCE, "EmptyDomain"),
+        "a finite domain is admitted as non-empty before joint-order admission",
+    );
+    assert!(
+        !JOINT_SOURCE.contains("unreachable!") && !JOINT_SOURCE.contains("panic!"),
+        "order admission must type internal drift instead of exposing a panic route",
+    );
+    assert!(
+        contains_rust_identifier(PROGRAM_SESSION_SOURCE, "AdmittedCompiledJointSpaceV1")
+            && contains_rust_identifier(PROGRAM_SESSION_SOURCE, "AdmittedCompiledJointStateV1")
+            && contains_rust_identifier(PROGRAM_SESSION_SOURCE, "CompiledTargetSelectionV1")
+            && PROGRAM_SESSION_SOURCE.contains("Finite(AdmittedCompiledJointSpaceV1)")
+            && !PROGRAM_SESSION_SOURCE
+                .contains("joint_selection: Option<CompiledJointSelectionV1>")
+            && !PROGRAM_SESSION_SOURCE.contains("finite_targets: Box<[CompiledFiniteTargetV1]>")
+            && !PROGRAM_SESSION_SOURCE.contains("Finite { targets, order }")
+            && !contains_rust_identifier(PROGRAM_SESSION_SOURCE, "CompiledJointSelectionV1"),
+        "runtime must receive only a sealed joint space derived from its actual compiled targets",
+    );
+}
+
 #[test]
 fn staged_session_is_evidence_only_and_retired_operation_authority_cannot_return() {
     assert_eq!(