@mergesignal/shared 0.15.0 → 0.16.0

package/dist/assessment/literals.d.ts

@@ -31,8 +31,15 @@ export declare const DELTA_DIMENSION_KINDS: readonly ["manifest", "exports", "en
 export declare const ASSESSMENT_OUTCOMES: readonly ["cleared", "proven_broken", "bounded_verify", "abstain"];
 /** Reasons for an Abstain outcome. */
 export declare const ABSTAIN_REASON_KINDS: readonly ["private_package", "opaque_mutation", "unsupported_ecosystem", "partial_monorepo_scan", "no_honest_bounded_target", "insufficient_collection"];
-/** Blocker kinds for EvidenceSufficiencyVerdict. */
-export declare const SUFFICIENCY_BLOCKER_KINDS: readonly ["repository_coverage_insufficient", "package_facts_missing", "opaque_mutation", "private_package", "correlation_abstained", "proof_coverage_insufficient", "proof_execution_failed", "unsupported_ecosystem", "partial_monorepo_scan", "hypothesized_breaking_unresolved", "advisory_blocking", "conflicting_proof_results"];
+/**
+ * Blocker kinds for EvidenceSufficiencyVerdict.
+ *
+ * Taxonomy separation:
+ * - Collection / acquisition incompleteness: repository_coverage_insufficient, package_facts_missing, …
+ * - Routable proof missing: proof_coverage_insufficient
+ * - Governed proof-capability ceiling: proof_capability_ceiling
+ */
+export declare const SUFFICIENCY_BLOCKER_KINDS: readonly ["repository_coverage_insufficient", "package_facts_missing", "opaque_mutation", "private_package", "correlation_abstained", "proof_coverage_insufficient", "proof_capability_ceiling", "proof_execution_failed", "unsupported_ecosystem", "partial_monorepo_scan", "hypothesized_breaking_unresolved", "advisory_blocking", "conflicting_proof_results"];
 /** Target kinds for BoundedVerifyTarget. */
 export declare const BOUNDED_VERIFY_TARGET_KINDS: readonly ["file_location", "config_path", "behavioral_scenario"];
 /** Basis for a cleared delta dimension in ClearanceEnvelope. */

package/dist/assessment/literals.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../src/assessment/literals.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,eAAO,MAAM,mBAAmB,6DAKtB,CAAC;AAEX,2CAA2C;AAC3C,eAAO,MAAM,sBAAsB,oCAAqC,CAAC;AAEzE,gDAAgD;AAChD,eAAO,MAAM,cAAc,0KAUjB,CAAC;AAEX,sCAAsC;AACtC,eAAO,MAAM,mBAAmB,0KAQtB,CAAC;AAEX,wCAAwC;AACxC,eAAO,MAAM,qBAAqB,8CAIxB,CAAC;AAEX,qCAAqC;AACrC,eAAO,MAAM,kBAAkB,gDAIrB,CAAC;AAEX,2CAA2C;AAC3C,eAAO,MAAM,wBAAwB,2CAI3B,CAAC;AAEX,2CAA2C;AAC3C,eAAO,MAAM,uBAAuB,2CAI1B,CAAC;AAEX,wCAAwC;AACxC,eAAO,MAAM,uBAAuB,8DAG1B,CAAC;AAEX,yDAAyD;AACzD,eAAO,MAAM,qBAAqB,iHAOxB,CAAC;AAEX,yCAAyC;AACzC,eAAO,MAAM,yBAAyB,oGAM5B,CAAC;AAEX,8DAA8D;AAC9D,eAAO,MAAM,aAAa,kDAAmD,CAAC;AAE9E;;;GAGG;AACH,eAAO,MAAM,qBAAqB,kJASxB,CAAC;AAIX,sEAAsE;AACtE,eAAO,MAAM,mBAAmB,oEAKtB,CAAC;AAEX,sCAAsC;AACtC,eAAO,MAAM,oBAAoB,0JAOvB,CAAC;AAEX,oDAAoD;AACpD,eAAO,MAAM,yBAAyB,wUAa5B,CAAC;AAEX,4CAA4C;AAC5C,eAAO,MAAM,2BAA2B,kEAI9B,CAAC;AAEX,gEAAgE;AAChE,eAAO,MAAM,eAAe,6CAA8C,CAAC;AAE3E,mEAAmE;AACnE,eAAO,MAAM,iBAAiB,oLAQpB,CAAC;AAEX,4CAA4C;AAC5C,eAAO,MAAM,gBAAgB,6CAA8C,CAAC"}
+{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../src/assessment/literals.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,eAAO,MAAM,mBAAmB,6DAKtB,CAAC;AAEX,2CAA2C;AAC3C,eAAO,MAAM,sBAAsB,oCAAqC,CAAC;AAEzE,gDAAgD;AAChD,eAAO,MAAM,cAAc,0KAUjB,CAAC;AAEX,sCAAsC;AACtC,eAAO,MAAM,mBAAmB,0KAQtB,CAAC;AAEX,wCAAwC;AACxC,eAAO,MAAM,qBAAqB,8CAIxB,CAAC;AAEX,qCAAqC;AACrC,eAAO,MAAM,kBAAkB,gDAIrB,CAAC;AAEX,2CAA2C;AAC3C,eAAO,MAAM,wBAAwB,2CAI3B,CAAC;AAEX,2CAA2C;AAC3C,eAAO,MAAM,uBAAuB,2CAI1B,CAAC;AAEX,wCAAwC;AACxC,eAAO,MAAM,uBAAuB,8DAG1B,CAAC;AAEX,yDAAyD;AACzD,eAAO,MAAM,qBAAqB,iHAOxB,CAAC;AAEX,yCAAyC;AACzC,eAAO,MAAM,yBAAyB,oGAM5B,CAAC;AAEX,8DAA8D;AAC9D,eAAO,MAAM,aAAa,kDAAmD,CAAC;AAE9E;;;GAGG;AACH,eAAO,MAAM,qBAAqB,kJASxB,CAAC;AAIX,sEAAsE;AACtE,eAAO,MAAM,mBAAmB,oEAKtB,CAAC;AAEX,sCAAsC;AACtC,eAAO,MAAM,oBAAoB,0JAOvB,CAAC;AAEX;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,oWAc5B,CAAC;AAEX,4CAA4C;AAC5C,eAAO,MAAM,2BAA2B,kEAI9B,CAAC;AAEX,gEAAgE;AAChE,eAAO,MAAM,eAAe,6CAA8C,CAAC;AAE3E,mEAAmE;AACnE,eAAO,MAAM,iBAAiB,oLAQpB,CAAC;AAEX,4CAA4C;AAC5C,eAAO,MAAM,gBAAgB,6CAA8C,CAAC"}

package/dist/assessment/literals.js

@@ -108,7 +108,14 @@ export const ABSTAIN_REASON_KINDS = [
     "no_honest_bounded_target",
     "insufficient_collection",
 ];
-/** Blocker kinds for EvidenceSufficiencyVerdict. */
+/**
+ * Blocker kinds for EvidenceSufficiencyVerdict.
+ *
+ * Taxonomy separation:
+ * - Collection / acquisition incompleteness: repository_coverage_insufficient, package_facts_missing, …
+ * - Routable proof missing: proof_coverage_insufficient
+ * - Governed proof-capability ceiling: proof_capability_ceiling
+ */
 export const SUFFICIENCY_BLOCKER_KINDS = [
     "repository_coverage_insufficient",
     "package_facts_missing",
@@ -116,6 +123,7 @@ export const SUFFICIENCY_BLOCKER_KINDS = [
     "private_package",
     "correlation_abstained",
     "proof_coverage_insufficient",
+    "proof_capability_ceiling",
     "proof_execution_failed",
     "unsupported_ecosystem",
     "partial_monorepo_scan",

package/dist/assessment/schema.d.ts

@@ -255,6 +255,7 @@ export declare const assessmentSchema: z.ZodObject<{
                 package_facts_missing: "package_facts_missing";
                 correlation_abstained: "correlation_abstained";
                 proof_coverage_insufficient: "proof_coverage_insufficient";
+                proof_capability_ceiling: "proof_capability_ceiling";
                 proof_execution_failed: "proof_execution_failed";
                 hypothesized_breaking_unresolved: "hypothesized_breaking_unresolved";
                 advisory_blocking: "advisory_blocking";
@@ -277,6 +278,7 @@ export declare const assessmentSchema: z.ZodObject<{
                     package_facts_missing: "package_facts_missing";
                     correlation_abstained: "correlation_abstained";
                     proof_coverage_insufficient: "proof_coverage_insufficient";
+                    proof_capability_ceiling: "proof_capability_ceiling";
                     proof_execution_failed: "proof_execution_failed";
                     hypothesized_breaking_unresolved: "hypothesized_breaking_unresolved";
                     advisory_blocking: "advisory_blocking";

package/dist/assessment/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/assessment/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAwBxB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAqI7C;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAsB3B,CAAC;AAEH,MAAM,MAAM,yBAAyB,GACjC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAC/B;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAEpC,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,OAAO,GAAG,UAAU,CAShE;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,OAAO,GAAG,yBAAyB,CAW5E"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/assessment/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAwBxB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAqI7C;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAsB3B,CAAC;AAEH,MAAM,MAAM,yBAAyB,GACjC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAC/B;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAEpC,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,OAAO,GAAG,UAAU,CAShE;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,OAAO,GAAG,yBAAyB,CAW5E"}

package/dist/assessmentProjection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assessmentProjection.d.ts","sourceRoot":"","sources":["../src/assessmentProjection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAEL,KAAK,gBAAgB,EACtB,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EACV,UAAU,EACV,4BAA4B,EAC5B,eAAe,EACf,qBAAqB,EACtB,MAAM,uBAAuB,CAAC;AAO/B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,UAAU,GAAG,MAAM,CAAC;AAmDlE,wBAAgB,0BAA0B,CACxC,SAAS,EAAE,qBAAqB,GAC/B,mBAAmB,CAIrB;AAED,wBAAgB,+BAA+B,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,EAAE,CAQ5E;AAED,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,EAAE,CAS7E;AAED,wBAAgB,uCAAuC,CACrD,YAAY,EAAE,4BAA4B,EAC1C,MAAM,EAAE,UAAU,GACjB;IAAE,OAAO,EAAE,mBAAmB,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CAWnD;AAED,8FAA8F;AAC9F,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,EAAE,CAErE;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,eAAe,GAC1B,MAAM,GAAG,SAAS,CAWpB;AAED,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,kBAAkB,GACzB,MAAM,CAiDR;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,EAAE,CAMlE;AAED,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,UAAU,GACjB,MAAM,EAAE,CAaV;AAED,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,4BAA4B,EAC1C,MAAM,EAAE,UAAU,EAClB,GAAG,EAAE,MAAM,GACV,MAAM,EAAE,CAWV;AAED,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,GAAG,IAAI,GAAG,MAAM,EAAE,CAI3E"}
+{"version":3,"file":"assessmentProjection.d.ts","sourceRoot":"","sources":["../src/assessmentProjection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAEL,KAAK,gBAAgB,EACtB,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EACV,UAAU,EACV,4BAA4B,EAC5B,eAAe,EACf,qBAAqB,EACtB,MAAM,uBAAuB,CAAC;AAO/B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,UAAU,GAAG,MAAM,CAAC;AAmDlE,wBAAgB,0BAA0B,CACxC,SAAS,EAAE,qBAAqB,GAC/B,mBAAmB,CAIrB;AAED,wBAAgB,+BAA+B,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,EAAE,CAQ5E;AAED,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,EAAE,CAS7E;AAED,wBAAgB,uCAAuC,CACrD,YAAY,EAAE,4BAA4B,EAC1C,MAAM,EAAE,UAAU,GACjB;IAAE,OAAO,EAAE,mBAAmB,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CAWnD;AAED,8FAA8F;AAC9F,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,EAAE,CAErE;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,eAAe,GAC1B,MAAM,GAAG,SAAS,CAWpB;AAED,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,kBAAkB,GACzB,MAAM,CA0DR;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,EAAE,CAMlE;AAED,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,UAAU,GACjB,MAAM,EAAE,CAaV;AAED,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,4BAA4B,EAC1C,MAAM,EAAE,UAAU,EAClB,GAAG,EAAE,MAAM,GACV,MAAM,EAAE,CAWV;AAED,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,GAAG,IAAI,GAAG,MAAM,EAAE,CAI3E"}

package/dist/assessmentProjection.js

@@ -100,13 +100,17 @@ export function reachVisibilityLabel(visibility) {
 export function formatAssessmentHeadline(assessment, status) {
     const copy = scanSurfaceCopy.presentation;
     const primaryPkg = focalHeadlinePackages(assessment);
+    if (assessment.primaryConcern === "insufficient_evidence") {
+        return applyPostureVocabularyGuardHeadline(copy.limitedContextHeadline, status, primaryPkg);
+    }
+    if (status === "indeterminate") {
+        const headline = copy.indeterminateUpgradeHeadline.replace("{package}", primaryPkg);
+        return applyPostureVocabularyGuardHeadline(headline, status, primaryPkg);
+    }
     if (assessment.reviewFocalPoint.episodeShape === "structural") {
         const headline = copy.defaultUpgradeHeadline.replace("{package}", "dependencies");
         return applyPostureVocabularyGuardHeadline(headline, status, null);
     }
-    if (assessment.primaryConcern === "insufficient_evidence") {
-        return applyPostureVocabularyGuardHeadline(copy.limitedContextHeadline, status, primaryPkg);
-    }
     const changeClass = assessment.changeClasses[0];
     if (assessment.posture === "safe" &&
         (changeClass === "tooling_maintenance" || changeClass === "test_infra")) {

package/dist/fixtures/assessmentFixtures.d.ts

@@ -10,5 +10,7 @@ export declare const assessmentNextAuth: Assessment;
 export declare const assessmentMixedTypescriptFastify: Assessment;
 export declare const assessmentLimitedContext: Assessment;
 export declare const assessmentStub: Assessment;
+/** Generic abstain: no entitled concern, no verification target. */
+export declare const assessmentGenericAbstain: Assessment;
 export declare const assessmentUnknownSafe: Assessment;
 //# sourceMappingURL=assessmentFixtures.d.ts.map

package/dist/fixtures/assessmentFixtures.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assessmentFixtures.d.ts","sourceRoot":"","sources":["../../src/fixtures/assessmentFixtures.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AA2BzD,eAAO,MAAM,yBAAyB,EAAE,UAmBvC,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,UAa9B,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,UAchC,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,UAuB9B,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,UAyBtC,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,UA6B9B,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,UAyBhC,CAAC;AAEF,0EAA0E;AAC1E,eAAO,MAAM,gCAAgC,EAAE,UAgC9C,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,UA2BtC,CAAC;AAEF,eAAO,MAAM,cAAc,EAAE,UA6B5B,CAAC;AAEF,eAAO,MAAM,qBAAqB,EAAE,UAqBnC,CAAC"}
+{"version":3,"file":"assessmentFixtures.d.ts","sourceRoot":"","sources":["../../src/fixtures/assessmentFixtures.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AA2BzD,eAAO,MAAM,yBAAyB,EAAE,UAmBvC,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,UAa9B,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,UAchC,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,UAuB9B,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,UAyBtC,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,UA6B9B,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,UAyBhC,CAAC;AAEF,0EAA0E;AAC1E,eAAO,MAAM,gCAAgC,EAAE,UAgC9C,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,UA2BtC,CAAC;AAEF,eAAO,MAAM,cAAc,EAAE,UA6B5B,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,wBAAwB,EAAE,UAyBtC,CAAC;AAEF,eAAO,MAAM,qBAAqB,EAAE,UAqBnC,CAAC"}

package/dist/fixtures/assessmentFixtures.js

@@ -198,6 +198,30 @@ export const assessmentStub = withAssessmentScope({
     reachScope: emptyReachScope(),
     verificationScope: emptyVerificationScope(),
 });
+/** Generic abstain: no entitled concern, no verification target. */
+export const assessmentGenericAbstain = withAssessmentScope({
+    posture: "indeterminate",
+    outcome: "abstain",
+    confidence: "low",
+    primaryConcern: null,
+    concerns: [],
+    factors: [],
+    changeClasses: ["runtime_upgrade"],
+    presentation: {
+        narrativeIntensity: "minimal",
+        reachVisibility: "hidden",
+        verificationIntensity: "none",
+        insightEmissionFloor: "none",
+        reportMode: "high_signal_pr",
+    },
+    reasoning: ["Deterministic analysis could not reach a conclusion."],
+    confidenceRationale: "Confidence is low.",
+    abstainReasons: [{ kind: "insufficient_collection", detail: "fixture" }],
+}, {
+    reviewFocalPoint: minimalReviewFocalPoint(["pkg-a"]),
+    reachScope: emptyReachScope(),
+    verificationScope: emptyVerificationScope(),
+});
 export const assessmentUnknownSafe = withAssessmentScope({
     posture: "safe",
     confidence: "medium",

package/dist/presentation/intent/applyPostureVocabularyGuard.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"applyPostureVocabularyGuard.d.ts","sourceRoot":"","sources":["../../../src/presentation/intent/applyPostureVocabularyGuard.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAgC1D,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,kBAAkB,EAC1B,aAAa,EAAE,MAAM,GAAG,IAAI,GAC3B,MAAM,CAYR;AASD,wBAAgB,mCAAmC,CACjD,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,kBAAkB,GAAG,SAAS,EACtC,aAAa,EAAE,MAAM,GAAG,IAAI,GAC3B,MAAM,CAGR;AAED,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,MAAM,EAAE,EACf,MAAM,EAAE,kBAAkB,GAAG,SAAS,GACrC,MAAM,EAAE,CAGV"}
+{"version":3,"file":"applyPostureVocabularyGuard.d.ts","sourceRoot":"","sources":["../../../src/presentation/intent/applyPostureVocabularyGuard.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAgC1D,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,kBAAkB,EAC1B,aAAa,EAAE,MAAM,GAAG,IAAI,GAC3B,MAAM,CAkBR;AASD,wBAAgB,mCAAmC,CACjD,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,kBAAkB,GAAG,SAAS,EACtC,aAAa,EAAE,MAAM,GAAG,IAAI,GAC3B,MAAM,CAGR;AAED,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,MAAM,EAAE,EACf,MAAM,EAAE,kBAAkB,GAAG,SAAS,GACrC,MAAM,EAAE,CAGV"}

package/dist/presentation/intent/applyPostureVocabularyGuard.js

@@ -30,6 +30,9 @@ export function guardHeadlineForPosture(headline, status, anchorPackage) {
     if (status === "safe") {
         return scanSurfaceCopy.presentation.safeNeutralHeadline.replace("{package}", pkg);
     }
+    if (status === "indeterminate") {
+        return scanSurfaceCopy.presentation.indeterminateUpgradeHeadline.replace("{package}", pkg);
+    }
     return headline;
 }
 function guardLinesForPosture(lines, status) {

package/dist/scanResultSchema.d.ts

@@ -367,6 +367,7 @@ export declare const engineOutputScanResultSchema: z.ZodObject<{
                     package_facts_missing: "package_facts_missing";
                     correlation_abstained: "correlation_abstained";
                     proof_coverage_insufficient: "proof_coverage_insufficient";
+                    proof_capability_ceiling: "proof_capability_ceiling";
                     proof_execution_failed: "proof_execution_failed";
                     hypothesized_breaking_unresolved: "hypothesized_breaking_unresolved";
                     advisory_blocking: "advisory_blocking";
@@ -389,6 +390,7 @@ export declare const engineOutputScanResultSchema: z.ZodObject<{
                         package_facts_missing: "package_facts_missing";
                         correlation_abstained: "correlation_abstained";
                         proof_coverage_insufficient: "proof_coverage_insufficient";
+                        proof_capability_ceiling: "proof_capability_ceiling";
                         proof_execution_failed: "proof_execution_failed";
                         hypothesized_breaking_unresolved: "hypothesized_breaking_unresolved";
                         advisory_blocking: "advisory_blocking";

package/dist/scanResultSchema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scanResultSchema.d.ts","sourceRoot":"","sources":["../src/scanResultSchema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,uBAAuB,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEtE,wGAAwG;AACxG,eAAO,MAAM,eAAe,EAAG,GAAY,CAAC;AAE5C,+EAA+E;AAC/E,eAAO,MAAM,sBAAsB,EAAG,GAAY,CAAC;AA4BnD;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAc/D;AAED;;;;GAIG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAmCb,CAAC;AAUjB;;;GAGG;AACH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAMvC,CAAC;AAEH,MAAM,MAAM,kCAAkC,GAAG;IAC/C,EAAE,EAAE,KAAK,CAAC;IACV,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,kCAAkC,GAAG;IAC/C,EAAE,EAAE,IAAI,CAAC;IACT,MAAM,EAAE,uBAAuB,CAAC;CACjC,CAAC;AAEF,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,OAAO,GACZ,kCAAkC,GAAG,kCAAkC,CAezE;AAED,uFAAuF;AACvF,wBAAgB,kCAAkC,CAChD,IAAI,EAAE,OAAO,GACZ,uBAAuB,CAMzB;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,EAAE,EAAE,KAAK,CAAC;IACV,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,EAAE,EAAE,IAAI,CAAC;IACT,MAAM,EAAE,UAAU,CAAC;CACpB,CAAC;AAEF,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,OAAO,GACZ,sBAAsB,GAAG,sBAAsB,CAajD;AAED,yEAAyE;AACzE,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,OAAO,GAAG,UAAU,CAMhE"}
+{"version":3,"file":"scanResultSchema.d.ts","sourceRoot":"","sources":["../src/scanResultSchema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,uBAAuB,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEtE,wGAAwG;AACxG,eAAO,MAAM,eAAe,EAAG,GAAY,CAAC;AAE5C,+EAA+E;AAC/E,eAAO,MAAM,sBAAsB,EAAG,GAAY,CAAC;AA4BnD;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAc/D;AAED;;;;GAIG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAmCb,CAAC;AAUjB;;;GAGG;AACH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAMvC,CAAC;AAEH,MAAM,MAAM,kCAAkC,GAAG;IAC/C,EAAE,EAAE,KAAK,CAAC;IACV,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,kCAAkC,GAAG;IAC/C,EAAE,EAAE,IAAI,CAAC;IACT,MAAM,EAAE,uBAAuB,CAAC;CACjC,CAAC;AAEF,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,OAAO,GACZ,kCAAkC,GAAG,kCAAkC,CAezE;AAED,uFAAuF;AACvF,wBAAgB,kCAAkC,CAChD,IAAI,EAAE,OAAO,GACZ,uBAAuB,CAMzB;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,EAAE,EAAE,KAAK,CAAC;IACV,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,EAAE,EAAE,IAAI,CAAC;IACT,MAAM,EAAE,UAAU,CAAC;CACpB,CAAC;AAEF,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,OAAO,GACZ,sBAAsB,GAAG,sBAAsB,CAajD;AAED,yEAAyE;AACzE,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,OAAO,GAAG,UAAU,CAMhE"}

package/dist/scanSurfaceCopy.d.ts

@@ -307,6 +307,7 @@ export declare const scanSurfaceCopy: {
         readonly runtimeUpgradeHeadline: "{package} runtime upgrade affects {surface}";
         readonly unresolvedRuntimeExposureHeadline: "{package} upgrade leaves unresolved exposure on {surface}";
         readonly safeNeutralHeadline: "{package} dependency upgrade";
+        readonly indeterminateUpgradeHeadline: "{package} dependency upgrade could not be determined";
         readonly defaultUpgradeHeadline: "{package} dependency upgrade needs review";
         readonly changedPackageKeyPoint: "Changed package: {package}";
         readonly usedInPathsSingle: "Used across application code ({path})";

package/dist/scanSurfaceCopy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scanSurfaceCopy.d.ts","sourceRoot":"","sources":["../src/scanSurfaceCopy.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;QAoBxB,8EAA8E;;QAG9E,6DAA6D;;;;QAO7D,qDAAqD;;;;;QASrD,mEAAmE;;;;QAOnE,yFAAyF;;QAGzF,mFAAmF;;QAGnF,4EAA4E;;QAE5E,oDAAoD;;QAEpD,iGAAiG;;QAEjG,+DAA+D;;;QAI/D,6EAA6E;;;;;QAK7E,2CAA2C;;;QAK3C,2EAA2E;;QAE3E,4EAA4E;;;QAI5E,sEAAsE;;;IAGxE,2EAA2E;;;;;;;;;;;;;;QAiBzE,oEAAoE;;;IAGtE,wEAAwE;;;;;;QAOtE,2CAA2C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YAkCzC,yDAAyD;;YAGzD,mDAAmD;;YAGnD,8BAA8B;;YAE9B,oDAAoD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA8CtD,6CAA6C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAsI/C,uFAAuF;;;;;;;;;;;;;;;;;;;;;;;;IAwBvF,kFAAkF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAyClF,sEAAsE;;;;;CAO9D,CAAC;AAEX,iEAAiE;AACjE,wBAAgB,mBAAmB,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAa5D"}
+{"version":3,"file":"scanSurfaceCopy.d.ts","sourceRoot":"","sources":["../src/scanSurfaceCopy.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;QAoBxB,8EAA8E;;QAG9E,6DAA6D;;;;QAO7D,qDAAqD;;;;;QASrD,mEAAmE;;;;QAOnE,yFAAyF;;QAGzF,mFAAmF;;QAGnF,4EAA4E;;QAE5E,oDAAoD;;QAEpD,iGAAiG;;QAEjG,+DAA+D;;;QAI/D,6EAA6E;;;;;QAK7E,2CAA2C;;;QAK3C,2EAA2E;;QAE3E,4EAA4E;;;QAI5E,sEAAsE;;;IAGxE,2EAA2E;;;;;;;;;;;;;;QAiBzE,oEAAoE;;;IAGtE,wEAAwE;;;;;;QAOtE,2CAA2C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YAkCzC,yDAAyD;;YAGzD,mDAAmD;;YAGnD,8BAA8B;;YAE9B,oDAAoD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA8CtD,6CAA6C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAsI/C,uFAAuF;;;;;;;;;;;;;;;;;;;;;;;;IAwBvF,kFAAkF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA2ClF,sEAAsE;;;;;CAO9D,CAAC;AAEX,iEAAiE;AACjE,wBAAgB,mBAAmB,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAa5D"}

package/dist/scanSurfaceCopy.js

@@ -310,6 +310,7 @@ export const scanSurfaceCopy = {
         runtimeUpgradeHeadline: "{package} runtime upgrade affects {surface}",
         unresolvedRuntimeExposureHeadline: "{package} upgrade leaves unresolved exposure on {surface}",
         safeNeutralHeadline: "{package} dependency upgrade",
+        indeterminateUpgradeHeadline: "{package} dependency upgrade could not be determined",
         defaultUpgradeHeadline: "{package} dependency upgrade needs review",
         changedPackageKeyPoint: "Changed package: {package}",
         usedInPathsSingle: "Used across application code ({path})",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mergesignal/shared",
-  "version": "0.15.0",
+  "version": "0.16.0",
   "description": "MergeSignal shared scan contract, presentation policy, and trusted validation",
   "type": "module",
   "main": "./dist/index.js",