Core: ввести типизированные направленные отношения

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

@@ -6,11 +6,11 @@
   },
   "artifacts": [
     {
-      "bytes": 87048,
+      "bytes": 87722,
       "license": "MIT",
       "path": "crates/labcolors-core/src/appearance.rs",
       "role": "appearance_executor_source",
-      "sha256": "d31c6a7d3b0a4c02532759befaef442e3a99687263a9027771365638b6cc3324"
+      "sha256": "66266904fc84afb03a3a774a8aaa0da23fe1e05a8b04abb14d5f18820e17a85d"
     },
     {
       "bytes": 6373,
@@ -48,18 +48,18 @@
       "sha256": "8bf5d5a1c0f00ce245a1ecb18b923aa1631483345962d72b633e466c242a8a1d"
     },
     {
-      "bytes": 13680,
+      "bytes": 13746,
       "license": "MIT",
       "path": "crates/labcolors-core/src/lib.rs",
       "role": "module_registration_source",
-      "sha256": "db3be029d1ee35471f8c311ae4ec59babd06fcca26f8a1dcd381ef28bc937690"
+      "sha256": "84d7ce86895355a572254846d38c3766d9007bf21f0ed81e3334196cbc964165"
     },
     {
-      "bytes": 38255,
+      "bytes": 39439,
       "license": "MIT",
       "path": "crates/labcolors-core/src/observation.rs",
       "role": "observation_runtime_source",
-      "sha256": "d31f5d5f95fbb2300c90899a26905c3cd2804be7c0e9290999005fd9e2c8f6d6"
+      "sha256": "b0cfec5c9fe798abd5492260aac3caf87685f7e27f4f9628b01f386ef3f6ac7d"
     },
     {
       "bytes": 7951,
@@ -83,39 +83,39 @@
       "sha256": "0c8a7bb59464e1ddcace07b01ba24a64f8c9d3aeff547651dc38c276a0fc3322"
     },
     {
-      "bytes": 70121,
+      "bytes": 70163,
       "license": "MIT",
       "path": "crates/labcolors-core/src/program/attachment/tests.rs",
       "role": "point_attachment_tests",
-      "sha256": "2c0876c61196f6492d0f250789ded9644bad1de9ff92c9dea2a14fc55e87f18e"
+      "sha256": "ac8c390a74c8aaea9e04d1006f3604d72f94a980ce26645d08593f025c4fc011"
     },
     {
-      "bytes": 164302,
+      "bytes": 184044,
       "license": "MIT",
       "path": "crates/labcolors-core/src/program.rs",
       "role": "program_facade_source",
-      "sha256": "a2e3f0cf8fd5445a474c804bbd962d244d9eb42ce2c7ca099ac8c0793de6563e"
+      "sha256": "6e81073adac4a9d717aa0bfbd157d547154755c97e427e37063e8bbfb52edf67"
     },
     {
-      "bytes": 71867,
+      "bytes": 78953,
       "license": "MIT",
       "path": "crates/labcolors-core/src/program_identity.rs",
       "role": "program_identity_source",
-      "sha256": "b59f1f5fe0c71637471498635240de6a381c6b8f11308424e81c0f3e0c6b12d0"
+      "sha256": "0dd7695e95a13671805883bccb9d50c2d1bb9188a187cba510ef1feccad1b49a"
     },
     {
-      "bytes": 174358,
+      "bytes": 213495,
       "license": "MIT",
       "path": "crates/labcolors-core/src/program_session.rs",
       "role": "program_source",
-      "sha256": "13306b6a817c5509eba31550a1358c5a1d6deaae9d4344ff915d98738f8fd12f"
+      "sha256": "1da5d6de9a13d3649cff674cd0c7d8ab552278e01a77668015e594e80b1f5e36"
     },
     {
       "bytes": 21872,
       "license": "MIT",
       "path": "crates/labcolors-core/src/program_clean_set_tests.rs",
       "role": "program_tests",
-      "sha256": "16fb30ac575eb3ae1caba9b482673c3ad83e87211a7b50401bc2e8f27880e519"
+      "sha256": "3ab731c8ba05a673d35427867f18c906b458a93613bffdb41ce98802212cbd4c"
     },
     {
       "bytes": 11370,

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

@@ -1 +1 @@
-269e85bd887ddc6a09e86d183338ba5b26a9dc506762429eee7a65f981c6d31f  receipt-v1.json
+da251db8a322b694ca68ab7ef8a2e3dbdcdf088133a3967ae8a2643182753a45  receipt-v1.json

crates/labcolors-core/src/appearance.rs

@@ -1215,6 +1215,19 @@ impl AdmittedAppearanceBindings {
         Ok(())
     }
 
+    /// Читает одно заранее связанное значение Target без поиска и аллокации.
+    ///
+    /// Slot минтит тот же compiled graph, которому принадлежат bindings.
+    /// Проверка ordinal и номинального ID не даёт evidence прочитать значение
+    /// через slot чужого поколения.
+    pub(crate) fn paint_input_at(
+        &self,
+        slot: CompiledPaintInputSlotV1,
+    ) -> Option<EncodedPointPaintValueV1> {
+        let (bound, value) = self.paint_inputs.get(slot.index)?;
+        (*bound == slot.id).then_some(*value)
+    }
+
     /// Borrow the admitted Surface-input slice in its exact canonical order.
     pub(crate) fn surface_inputs_canonical(
         &self,

crates/labcolors-core/src/constraints/mod.rs

@@ -23,6 +23,15 @@ pub(crate) use exact::{
 #[cfg(test)]
 pub(crate) use exact::ExactIdentityPassV1;
 
+mod relation;
+pub(crate) use relation::{
+    CoreIntrinsicUnaryInvocationV1, CoreIntrinsicUnaryMeasurementV1, CoreIntrinsicUnaryPassV1,
+    CoreIntrinsicUnaryViolationV1, CoreRelationInvocationV1, CoreRelationMeasurementV1,
+    CoreRelationPassV1, CoreRelationViolationV1, ExactSrgb8IntrinsicUnaryCapabilityV1,
+    ExactSrgb8IntrinsicUnaryIdentityV1, ExactSrgb8IntrinsicUnaryReleaseV1,
+    ExactSrgb8RelationCapabilityV1, ExactSrgb8RelationIdentityV1, ExactSrgb8RelationReleaseV1,
+};
+
 mod wcag22;
 
 pub(crate) use wcag22::{
@@ -496,6 +505,17 @@ pub(crate) enum ProgramConstraintContentV1 {
         capability: Wcag22Srgb8CapabilityV1,
         criterion: Wcag22CriterionV1,
     },
+    ExactSrgb8IntrinsicUnary {
+        identity: ExactSrgb8IntrinsicUnaryIdentityV1,
+        release: ExactSrgb8IntrinsicUnaryReleaseV1,
+        capability: ExactSrgb8IntrinsicUnaryCapabilityV1,
+        expected: Srgb8,
+    },
+    ExactSrgb8Relation {
+        identity: ExactSrgb8RelationIdentityV1,
+        release: ExactSrgb8RelationReleaseV1,
+        capability: ExactSrgb8RelationCapabilityV1,
+    },
     #[cfg(test)]
     ModeledLcsProbe {
         release: ProgramLcsDependencyReleaseV1,