@suss/checker-intent 0.5.8 → 0.5.10

package/dist/index.cjs

@@ -47,7 +47,7 @@ function checkIntentAgreement(intents, code) {
   return { findings, checked, unchecked };
 }
 function checkBoundaryIntent(intent, codeByBoundary) {
-  const key = (0, import_ir_core.boundaryKey)(intent.boundary);
+  const key = (0, import_ir_core.pairingKey)(intent.boundary);
   if (key === null) {
     return {
       findings: [
@@ -69,16 +69,20 @@ function checkBoundaryIntent(intent, codeByBoundary) {
       ]
     };
   }
-  const impls = codeByBoundary.get(key) ?? [];
+  const label = (0, import_ir_core.boundaryKey)(intent.boundary) ?? key;
+  const impls = (codeByBoundary.get(key) ?? []).filter((impl) => {
+    const binding = impl.identity.boundaryBinding;
+    return binding !== null && (0, import_ir_core.semanticsAgree)(binding.semantics, intent.boundary.semantics);
+  });
   if (impls.length === 0) {
     return {
       findings: [
         {
           kind: "unimplementedBoundary",
           severity: "error",
-          boundary: key,
+          boundary: label,
           intent: { name: intent.name },
-          message: `Intent "${intent.name}" declares boundary ${key} with ${intent.outcomes.length} outcome(s); no code produces this boundary.`
+          message: `Intent "${intent.name}" declares boundary ${label} with ${intent.outcomes.length} outcome(s); no code produces this boundary.`
         }
       ],
       // The comparison ran: finding no implementation IS the result.
@@ -86,7 +90,7 @@ function checkBoundaryIntent(intent, codeByBoundary) {
         {
           kind: "boundary",
           intent: intent.name,
-          boundary: key,
+          boundary: label,
           implementations: []
         }
       ],
@@ -95,7 +99,7 @@ function checkBoundaryIntent(intent, codeByBoundary) {
   }
   const findings = [];
   for (const impl of impls) {
-    findings.push(...compareIntentToImpl(intent, impl, key));
+    findings.push(...compareIntentToImpl(intent, impl, label));
   }
   return {
     findings,
@@ -103,7 +107,7 @@ function checkBoundaryIntent(intent, codeByBoundary) {
       {
         kind: "boundary",
         intent: intent.name,
-        boundary: key,
+        boundary: label,
         implementations: impls.map(codeRef)
       }
     ],
@@ -263,7 +267,7 @@ function indexCodeByBoundary(code) {
     if (binding === null) {
       continue;
     }
-    const key = (0, import_ir_core.boundaryKey)(binding);
+    const key = (0, import_ir_core.pairingKey)(binding);
     if (key === null) {
       continue;
     }

package/dist/index.js

@@ -4,7 +4,9 @@ import {
   applySuppressionsToFindings,
   bodyShapesMatch,
   boundaryKey,
-  ruleBoundaryMatchesKey
+  pairingKey,
+  ruleBoundaryMatchesKey,
+  semanticsAgree
 } from "@suss/ir-core";
 function checkIntentAgreement(intents, code) {
   const findings = [];
@@ -27,7 +29,7 @@ function checkIntentAgreement(intents, code) {
   return { findings, checked, unchecked };
 }
 function checkBoundaryIntent(intent, codeByBoundary) {
-  const key = boundaryKey(intent.boundary);
+  const key = pairingKey(intent.boundary);
   if (key === null) {
     return {
       findings: [
@@ -49,16 +51,20 @@ function checkBoundaryIntent(intent, codeByBoundary) {
       ]
     };
   }
-  const impls = codeByBoundary.get(key) ?? [];
+  const label = boundaryKey(intent.boundary) ?? key;
+  const impls = (codeByBoundary.get(key) ?? []).filter((impl) => {
+    const binding = impl.identity.boundaryBinding;
+    return binding !== null && semanticsAgree(binding.semantics, intent.boundary.semantics);
+  });
   if (impls.length === 0) {
     return {
       findings: [
         {
           kind: "unimplementedBoundary",
           severity: "error",
-          boundary: key,
+          boundary: label,
           intent: { name: intent.name },
-          message: `Intent "${intent.name}" declares boundary ${key} with ${intent.outcomes.length} outcome(s); no code produces this boundary.`
+          message: `Intent "${intent.name}" declares boundary ${label} with ${intent.outcomes.length} outcome(s); no code produces this boundary.`
         }
       ],
       // The comparison ran: finding no implementation IS the result.
@@ -66,7 +72,7 @@ function checkBoundaryIntent(intent, codeByBoundary) {
         {
           kind: "boundary",
           intent: intent.name,
-          boundary: key,
+          boundary: label,
           implementations: []
         }
       ],
@@ -75,7 +81,7 @@ function checkBoundaryIntent(intent, codeByBoundary) {
   }
   const findings = [];
   for (const impl of impls) {
-    findings.push(...compareIntentToImpl(intent, impl, key));
+    findings.push(...compareIntentToImpl(intent, impl, label));
   }
   return {
     findings,
@@ -83,7 +89,7 @@ function checkBoundaryIntent(intent, codeByBoundary) {
       {
         kind: "boundary",
         intent: intent.name,
-        boundary: key,
+        boundary: label,
         implementations: impls.map(codeRef)
       }
     ],
@@ -243,7 +249,7 @@ function indexCodeByBoundary(code) {
     if (binding === null) {
       continue;
     }
-    const key = boundaryKey(binding);
+    const key = pairingKey(binding);
     if (key === null) {
       continue;
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/checker-intent",
-  "version": "0.5.8",
+  "version": "0.5.10",
   "type": "module",
   "description": "Pair team-authored intent (IntentSummary) against derived code (BehavioralSummary) and report where they diverge.",
   "keywords": [
@@ -47,9 +47,9 @@
     "zod": "^4.0.0"
   },
   "dependencies": {
-    "@suss/behavioral-ir": "0.5.8",
-    "@suss/intent-ir": "0.5.8",
-    "@suss/ir-core": "0.5.8"
+    "@suss/behavioral-ir": "0.5.10",
+    "@suss/intent-ir": "0.5.10",
+    "@suss/ir-core": "0.5.10"
   },
   "devDependencies": {
     "tsup": "*",