@suss/checker-intent 0.0.2 → 0.1.1

package/README.md

@@ -6,9 +6,9 @@ fails to satisfy what the team declared.
 ## What this package is
 
 The intent half of suss's checking, separate from `@suss/checker` (the
-behavioural peer checker) by design. The inputs differ — `IntentSummary`
+behavioral peer checker) by design. The inputs differ (`IntentSummary`
 (from `@suss/contract-intent`) on one side, `BehavioralSummary` on the
-other — and so does the output: an `IntentFinding` is one-sided coverage
+other), and so does the output: an `IntentFinding` is one-sided coverage
 ("the team declared X; does the code do it?"), not a symmetric
 provider↔consumer mismatch.
 
@@ -21,20 +21,20 @@ const findings = checkIntentAgreement(intentSummaries, codeSummaries);
 For each boundary intent, it pairs against the code summaries sharing the
 same boundary key and emits:
 
-- `unimplementedBoundary` — the intent declares a boundary no code produces.
-- `uncoveredOutcome` — a declared outcome (response / return / throw) the code never produces.
-- `outcomeShapeMismatch` — a matched outcome whose body shape disagrees with intent.
-- `undeclaredOutcome` — code produces a REST status the intent doesn't declare (info; intent under-specifies).
+- `unimplementedBoundary`: the intent declares a boundary no code produces.
+- `uncoveredOutcome`: a declared outcome (response / return / throw) the code never produces.
+- `outcomeShapeMismatch`: a matched outcome whose body shape disagrees with intent.
+- `undeclaredOutcome`: code produces a REST status the intent doesn't declare (info; intent under-specifies).
 
 v0 checks system intent (`kind: boundary`). PRD outcome intent
-(`kind: prd`) — scenario / link coverage — is a separate pass.
+(`kind: prd`), scenario and link coverage, is a separate pass.
 
 ## Where it sits in suss
 
 Depends on `@suss/intent-ir` (intent shapes + `IntentFinding`),
 `@suss/behavioral-ir` (code summaries), and `@suss/ir-core` for the
 shared comparison primitives (`boundaryKey`, `bodyShapesMatch`) it must
-agree on with the behavioural checker. It does **not** depend on
+agree on with the behavioral checker. It does **not** depend on
 `@suss/checker`. The full design is in
 [`docs/internal/proposals/intent-specs.md`](../../docs/internal/proposals/intent-specs.md).
 

package/dist/index.cjs

@@ -111,7 +111,7 @@ function checkBoundaryIntent(intent, codeByBoundary) {
   };
 }
 function codeRef(impl) {
-  return `${impl.location.file}::${impl.identity.name}`;
+  return (0, import_behavioral_ir.summaryRef)(impl);
 }
 function checkPrdCoverage(prd, boundaryByName) {
   const findings = [];
@@ -245,7 +245,7 @@ function applyIntentSuppressions(findings, rules, opts = {}) {
     findings,
     rules,
     (rule, finding) => {
-      if (rule.consumer !== void 0) {
+      if (rule.consumer !== void 0 || rule.provider !== void 0) {
         return false;
       }
       return rule.boundary === void 0 || (0, import_ir_core.ruleBoundaryMatchesKey)(rule.boundary, finding.boundary);

package/dist/index.d.cts

@@ -75,8 +75,8 @@ declare function checkIntentAgreement(intents: IntentSummary[], code: Behavioral
  * behavioural checker's `applySuppressions`). Rule discriminators map
  * as: `kind` → the intent finding kind; `boundary` → the finding's
  * boundary key (exact for `fn:` / `gql:` keys, path-normalized for
- * REST). A rule that specifies `consumer` never matches an intent
- * finding — there is no consumer side.
+ * REST). A rule that specifies `consumer` or `provider` never matches
+ * an intent finding — it has neither side.
  */
 declare function applyIntentSuppressions(findings: IntentFinding[], rules: SuppressionRule[], opts?: {
     keepHidden?: boolean;

package/dist/index.d.ts

@@ -75,8 +75,8 @@ declare function checkIntentAgreement(intents: IntentSummary[], code: Behavioral
  * behavioural checker's `applySuppressions`). Rule discriminators map
  * as: `kind` → the intent finding kind; `boundary` → the finding's
  * boundary key (exact for `fn:` / `gql:` keys, path-normalized for
- * REST). A rule that specifies `consumer` never matches an intent
- * finding — there is no consumer side.
+ * REST). A rule that specifies `consumer` or `provider` never matches
+ * an intent finding — it has neither side.
  */
 declare function applyIntentSuppressions(findings: IntentFinding[], rules: SuppressionRule[], opts?: {
     keepHidden?: boolean;

package/dist/index.js

@@ -1,5 +1,5 @@
 // src/index.ts
-import { BOUNDARY_ROLE } from "@suss/behavioral-ir";
+import { BOUNDARY_ROLE, summaryRef } from "@suss/behavioral-ir";
 import {
   applySuppressionsToFindings,
   bodyShapesMatch,
@@ -91,7 +91,7 @@ function checkBoundaryIntent(intent, codeByBoundary) {
   };
 }
 function codeRef(impl) {
-  return `${impl.location.file}::${impl.identity.name}`;
+  return summaryRef(impl);
 }
 function checkPrdCoverage(prd, boundaryByName) {
   const findings = [];
@@ -225,7 +225,7 @@ function applyIntentSuppressions(findings, rules, opts = {}) {
     findings,
     rules,
     (rule, finding) => {
-      if (rule.consumer !== void 0) {
+      if (rule.consumer !== void 0 || rule.provider !== void 0) {
         return false;
       }
       return rule.boundary === void 0 || ruleBoundaryMatchesKey(rule.boundary, finding.boundary);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/checker-intent",
-  "version": "0.0.2",
+  "version": "0.1.1",
   "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.0.2",
-    "@suss/intent-ir": "0.0.2",
-    "@suss/ir-core": "0.0.2"
+    "@suss/behavioral-ir": "0.1.1",
+    "@suss/intent-ir": "0.1.1",
+    "@suss/ir-core": "0.1.1"
   },
   "devDependencies": {
     "tsup": "*",