@skastr0/pulsar-ts-pack 0.1.0 → 0.1.1

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 /**
  * @skastr0/pulsar-ts-pack — TypeScript signal pack.
  */
-export declare const TS_PACK_VERSION: "0.1.0";
+export declare const TS_PACK_VERSION: "0.1.1";
 export { CASING_PATTERNS, inferCasingPattern, isRecognizedCasingPattern, matchesCasingPattern, parseCasingPatternAlternatives, splitIdentifierTokens, } from "./casing.js";
 export type { IdentifierPattern, RecognizedCasingPattern, } from "./casing.js";
 export { TsPackageInfoLayer, TsPackageInfoTag, TsProjectLayer, TsProjectTag, makeTsProject, makeTsProjectWithOptions, } from "./ts-project.js";

package/dist/index.js

@@ -1,7 +1,7 @@
 /**
  * @skastr0/pulsar-ts-pack — TypeScript signal pack.
  */
-export const TS_PACK_VERSION = "0.1.0";
+export const TS_PACK_VERSION = "0.1.1";
 export { CASING_PATTERNS, inferCasingPattern, isRecognizedCasingPattern, matchesCasingPattern, parseCasingPatternAlternatives, splitIdentifierTokens, } from "./casing.js";
 export { TsPackageInfoLayer, TsPackageInfoTag, TsProjectLayer, TsProjectTag, makeTsProject, makeTsProjectWithOptions, } from "./ts-project.js";
 export { discoverPackages } from "./discovery.js";

package/dist/pack.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pack.d.ts","sourceRoot":"","sources":["../src/pack.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAA;AAwC5D;;;;GAIG;AACH,eAAO,MAAM,eAAe,EAAE,aAAa,CAAC,SAAS,CA4BvB,CAAA"}
+{"version":3,"file":"pack.d.ts","sourceRoot":"","sources":["../src/pack.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAA;AA4C5D;;;;GAIG;AACH,eAAO,MAAM,eAAe,EAAE,aAAa,CAAC,SAAS,CAgCvB,CAAA"}

package/dist/pack.js

@@ -7,6 +7,8 @@ import { TsAb05 } from "./signals/ts-ab-05-generic-proliferation.js";
 import { TsAd01 } from "./signals/ts-ad-01-boundary-violations.js";
 import { TsAd02 } from "./signals/ts-ad-02-circular-deps.js";
 import { TsAd03 } from "./signals/ts-ad-03-reexport-depth.js";
+import { TsAd04 } from "./signals/ts-ad-04-boundary-parser-coverage.js";
+import { TsAd05 } from "./signals/ts-ad-05-boundary-trust-breach.js";
 import { TsDe01 } from "./signals/ts-de-01-type-level-coupling.js";
 import { TsDe02 } from "./signals/ts-de-02-fan-in-out.js";
 import { TsDe03 } from "./signals/ts-de-03-propagation-cost.js";
@@ -19,6 +21,8 @@ import { TsLd04 } from "./signals/ts-ld-04-naming-conventions.js";
 import { TsLd05 } from "./signals/ts-ld-05-domain-term-consistency.js";
 import { TsLd06 } from "./signals/ts-ld-06-annotation-coverage.js";
 import { TsLd07 } from "./signals/ts-ld-07-unsafe-type-erosion.js";
+import { TsLd08 } from "./signals/ts-ld-08-exhaustiveness-erosion.js";
+import { TsLd09 } from "./signals/ts-ld-09-error-channel-opacity.js";
 import { TsRp01 } from "./signals/ts-rp-01-hotspots.js";
 import { TsSl01 } from "./signals/ts-sl-01-duplication.js";
 import { TsSl02 } from "./signals/ts-sl-02-inconsistent-clones.js";
@@ -46,6 +50,8 @@ export const TS_PACK_SIGNALS = [
     TsAd01,
     TsAd02,
     TsAd03,
+    TsAd04,
+    TsAd05,
     TsDe01,
     TsDe02,
     TsDe03,
@@ -58,6 +64,8 @@ export const TS_PACK_SIGNALS = [
     TsAb05,
     TsLd06,
     TsLd07,
+    TsLd08,
+    TsLd09,
     TsRp01,
     TsSl01,
     TsSl03,

package/dist/pack.js.map

@@ -1 +1 @@
-{"version":3,"file":"pack.js","sourceRoot":"","sources":["../src/pack.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAA;AACrE,OAAO,EAAE,MAAM,EAAE,MAAM,6CAA6C,CAAA;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,mDAAmD,CAAA;AAC1E,OAAO,EAAE,MAAM,EAAE,MAAM,8CAA8C,CAAA;AACrE,OAAO,EAAE,MAAM,EAAE,MAAM,4CAA4C,CAAA;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,6CAA6C,CAAA;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAA;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,sCAAsC,CAAA;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,kCAAkC,CAAA;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAA;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,iDAAiD,CAAA;AACxE,OAAO,EAAE,MAAM,EAAE,MAAM,0CAA0C,CAAA;AACjE,OAAO,EAAE,MAAM,EAAE,MAAM,kCAAkC,CAAA;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,yCAAyC,CAAA;AAChE,OAAO,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAA;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,0CAA0C,CAAA;AACjE,OAAO,EAAE,MAAM,EAAE,MAAM,+CAA+C,CAAA;AACtE,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,gCAAgC,CAAA;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,mCAAmC,CAAA;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,oCAAoC,CAAA;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,6CAA6C,CAAA;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAA;AAEtD,MAAM,qBAAqB,GACzB,qCAAqC,CAAA;AAEvC,MAAM,sBAAsB,GAAG,CAAsB,MAAS,EAAK,EAAE,CAAC,CAAC;IACrE,GAAG,MAAM;IACT,YAAY,EACV,MAAM,CAAC,YAAY,KAAK,SAAS;QAC/B,CAAC,CAAC,qBAAqB;QACvB,CAAC,CAAC,GAAG,qBAAqB,IAAI,MAAM,CAAC,YAAY,EAAE;CACxD,CAAC,CAAA;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAA6B;IACvD,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;CACP,CAAC,GAAG,CAAC,sBAAsB,CAAC;KAC1B,GAAG,CAAC,sBAAsB,CAAC,CAAA"}
+{"version":3,"file":"pack.js","sourceRoot":"","sources":["../src/pack.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAA;AACrE,OAAO,EAAE,MAAM,EAAE,MAAM,6CAA6C,CAAA;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,mDAAmD,CAAA;AAC1E,OAAO,EAAE,MAAM,EAAE,MAAM,8CAA8C,CAAA;AACrE,OAAO,EAAE,MAAM,EAAE,MAAM,4CAA4C,CAAA;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,6CAA6C,CAAA;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAA;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,sCAAsC,CAAA;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,gDAAgD,CAAA;AACvE,OAAO,EAAE,MAAM,EAAE,MAAM,6CAA6C,CAAA;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,kCAAkC,CAAA;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAA;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,iDAAiD,CAAA;AACxE,OAAO,EAAE,MAAM,EAAE,MAAM,0CAA0C,CAAA;AACjE,OAAO,EAAE,MAAM,EAAE,MAAM,kCAAkC,CAAA;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,yCAAyC,CAAA;AAChE,OAAO,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAA;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,0CAA0C,CAAA;AACjE,OAAO,EAAE,MAAM,EAAE,MAAM,+CAA+C,CAAA;AACtE,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,8CAA8C,CAAA;AACrE,OAAO,EAAE,MAAM,EAAE,MAAM,6CAA6C,CAAA;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,gCAAgC,CAAA;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,mCAAmC,CAAA;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,oCAAoC,CAAA;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,6CAA6C,CAAA;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAA;AAEtD,MAAM,qBAAqB,GACzB,qCAAqC,CAAA;AAEvC,MAAM,sBAAsB,GAAG,CAAsB,MAAS,EAAK,EAAE,CAAC,CAAC;IACrE,GAAG,MAAM;IACT,YAAY,EACV,MAAM,CAAC,YAAY,KAAK,SAAS;QAC/B,CAAC,CAAC,qBAAqB;QACvB,CAAC,CAAC,GAAG,qBAAqB,IAAI,MAAM,CAAC,YAAY,EAAE;CACxD,CAAC,CAAA;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAA6B;IACvD,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;CACP,CAAC,GAAG,CAAC,sBAAsB,CAAC;KAC1B,GAAG,CAAC,sBAAsB,CAAC,CAAA"}

package/dist/signals/ts-ad-04-boundary-parser-coverage.d.ts

@@ -0,0 +1,47 @@
+import { type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+import { TsProjectTag } from "../ts-project.js";
+declare const TsAd04Config: Schema.Struct<{
+    boundary_globs: Schema.Array$<typeof Schema.String>;
+    parser_call_patterns: Schema.Array$<typeof Schema.String>;
+    exclude_globs: Schema.Array$<typeof Schema.String>;
+    top_n_diagnostics: typeof Schema.Number;
+}>;
+export type TsAd04Config = typeof TsAd04Config.Type;
+export type BoundaryParserCoverageState = "present" | "zero" | "absent" | "not_configured" | "not_applicable";
+export interface WeakBoundaryParameter {
+    readonly name: string;
+    readonly typeText: string;
+    readonly reason: "any" | "unknown" | "untyped" | "request-like";
+}
+export interface BoundaryParserFinding {
+    readonly file: string;
+    readonly line: number;
+    readonly symbol: string;
+    readonly weakParameters: ReadonlyArray<WeakBoundaryParameter>;
+    readonly missingEvidence: string;
+}
+export interface BoundaryParserCoveredFunction {
+    readonly file: string;
+    readonly line: number;
+    readonly symbol: string;
+    readonly parserEvidence: ReadonlyArray<string>;
+    readonly weakParameters: ReadonlyArray<WeakBoundaryParameter>;
+}
+export interface TsAd04Output {
+    readonly state: BoundaryParserCoverageState;
+    readonly boundaryFilesMatched: number;
+    readonly boundaryFunctionsAnalyzed: number;
+    readonly weakBoundaryFunctions: number;
+    readonly coveredWeakBoundaryFunctions: number;
+    readonly findings: ReadonlyArray<BoundaryParserFinding>;
+    readonly covered: ReadonlyArray<BoundaryParserCoveredFunction>;
+    readonly diagnosticLimit: number;
+    readonly compositeConsumers: ReadonlyArray<string>;
+    readonly cacheContributors: ReadonlyArray<string>;
+    readonly calibrationSurface: string;
+    readonly enforcementCeiling: ReadonlyArray<string>;
+}
+export declare const TsAd04: Signal<TsAd04Config, TsAd04Output, TsProjectTag>;
+export {};
+//# sourceMappingURL=ts-ad-04-boundary-parser-coverage.d.ts.map

package/dist/signals/ts-ad-04-boundary-parser-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ad-04-boundary-parser-coverage.d.ts","sourceRoot":"","sources":["../../src/signals/ts-ad-04-boundary-parser-coverage.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,MAAM,EACZ,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAWvC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAG/C,QAAA,MAAM,YAAY;;;;;EAKhB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAEnD,MAAM,MAAM,2BAA2B,GACnC,SAAS,GACT,MAAM,GACN,QAAQ,GACR,gBAAgB,GAChB,gBAAgB,CAAA;AAEpB,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,KAAK,GAAG,SAAS,GAAG,SAAS,GAAG,cAAc,CAAA;CAChE;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAA;IAC7D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CACjC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC9C,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAA;CAC9D;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAA;IAC3C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAA;IACrC,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAA;IAC1C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAA;IACtC,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAA;IAC7C,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAA;IACvD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,6BAA6B,CAAC,CAAA;IAC9D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,kBAAkB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAClD,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACjD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,QAAQ,CAAC,kBAAkB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CACnD;AA2BD,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,CA2GnE,CAAA"}

package/dist/signals/ts-ad-04-boundary-parser-coverage.js

@@ -0,0 +1,269 @@
+import { SignalComputeError, } from "@skastr0/pulsar-core/signal";
+import { Effect, Schema } from "effect";
+import { Node, SyntaxKind, } from "ts-morph";
+import { TsProjectTag } from "../ts-project.js";
+import { isExcluded } from "./shared-globs.js";
+const TsAd04Config = Schema.Struct({
+    boundary_globs: Schema.Array(Schema.String),
+    parser_call_patterns: Schema.Array(Schema.String),
+    exclude_globs: Schema.Array(Schema.String),
+    top_n_diagnostics: Schema.Number,
+});
+const REQUEST_LIKE_TYPE_NAMES = [
+    "Request",
+    "NextRequest",
+    "IncomingMessage",
+    "APIGatewayProxyEvent",
+    "APIGatewayEvent",
+    "MessageEvent",
+    "Event",
+    "FormData",
+    "URLSearchParams",
+];
+export const TsAd04 = {
+    id: "TS-AD-04-boundary-parser-coverage",
+    title: "Boundary parser coverage",
+    aliases: ["TS-AD-04"],
+    tier: 1,
+    category: "architectural-drift",
+    kind: "structural",
+    cacheVersion: "ts-boundary-parser-evidence-v1",
+    configSchema: TsAd04Config,
+    defaultConfig: {
+        boundary_globs: [
+            "**/api/*.ts",
+            "**/api/**/*.ts",
+            "**/routes/*.ts",
+            "**/routes/**/*.ts",
+            "**/handlers/*.ts",
+            "**/handlers/**/*.ts",
+            "**/controllers/*.ts",
+            "**/controllers/**/*.ts",
+            "**/adapters/*.ts",
+            "**/adapters/**/*.ts",
+            "**/cli/*.ts",
+            "**/cli/**/*.ts",
+            "**/*route.ts",
+            "**/*handler.ts",
+            "**/*controller.ts",
+            "**/*adapter.ts",
+        ],
+        parser_call_patterns: [
+            "parse",
+            "safeparse",
+            "decode",
+            "decodeunknown",
+            "validate",
+            "assert",
+            "schema",
+            "json.parse",
+        ],
+        exclude_globs: [
+            "**/*.test.ts",
+            "**/*.test.tsx",
+            "**/*.spec.ts",
+            "**/*.spec.tsx",
+            "**/*.d.ts",
+            "**/node_modules/**",
+            "**/dist/**",
+            "**/coverage/**",
+            "**/.turbo/**",
+            "**/generated/**",
+            "**/*.generated.ts",
+            "**/*.gen.ts",
+        ],
+        top_n_diagnostics: 10,
+    },
+    inputs: [],
+    compute: (config) => Effect.gen(function* () {
+        const project = yield* TsProjectTag;
+        return yield* Effect.try({
+            try: () => computeBoundaryParserCoverage(project.getSourceFiles(), config),
+            catch: (cause) => new SignalComputeError({
+                signalId: "TS-AD-04-boundary-parser-coverage",
+                message: String(cause),
+                cause,
+            }),
+        });
+    }),
+    score: (out) => {
+        if (out.state !== "present" && out.state !== "zero")
+            return 1;
+        if (out.weakBoundaryFunctions === 0)
+            return 1;
+        return Math.max(0, 1 - out.findings.length / out.weakBoundaryFunctions);
+    },
+    diagnose: (out) => {
+        if (out.state === "not_configured") {
+            return [{
+                    severity: "warn",
+                    message: "Boundary parser coverage is not configured: boundary_globs is empty",
+                    data: { state: out.state },
+                }];
+        }
+        if (out.state === "absent") {
+            return [{
+                    severity: "info",
+                    message: "Boundary parser coverage found no files matching configured boundary_globs",
+                    data: { state: out.state },
+                }];
+        }
+        return out.findings.slice(0, out.diagnosticLimit).map((finding) => ({
+            severity: "warn",
+            message: `Boundary function \`${finding.symbol}\` accepts weak external input ` +
+                "without parse/decode evidence",
+            location: { file: finding.file, line: finding.line },
+            data: { ...finding },
+        }));
+    },
+    outputMetadata: (out) => {
+        if (out.state === "not_configured" || out.state === "absent") {
+            return { applicability: "insufficient_evidence" };
+        }
+        if (out.state === "not_applicable") {
+            return { applicability: "not_applicable" };
+        }
+        return undefined;
+    },
+};
+const computeBoundaryParserCoverage = (sourceFiles, config) => {
+    const diagnosticLimit = Math.max(0, Math.floor(config.top_n_diagnostics));
+    if (config.boundary_globs.length === 0) {
+        return baseOutput("not_configured", 0, 0, [], [], diagnosticLimit);
+    }
+    const boundaryFiles = sourceFiles.filter((sourceFile) => isBoundarySourceFile(sourceFile, config));
+    if (boundaryFiles.length === 0) {
+        return baseOutput("absent", 0, 0, [], [], diagnosticLimit);
+    }
+    const candidates = boundaryFiles.flatMap((sourceFile) => collectBoundaryFunctionCandidates(sourceFile, config.parser_call_patterns));
+    const weakCandidates = candidates.filter((candidate) => candidate.weakParameters.length > 0);
+    if (weakCandidates.length === 0) {
+        return baseOutput("not_applicable", boundaryFiles.length, candidates.length, [], [], diagnosticLimit);
+    }
+    const covered = weakCandidates
+        .filter((candidate) => candidate.parserEvidence.length > 0)
+        .map((candidate) => ({
+        file: candidate.file,
+        line: candidate.line,
+        symbol: candidate.symbol,
+        parserEvidence: candidate.parserEvidence,
+        weakParameters: candidate.weakParameters,
+    }));
+    const findings = weakCandidates
+        .filter((candidate) => candidate.parserEvidence.length === 0)
+        .map((candidate) => ({
+        file: candidate.file,
+        line: candidate.line,
+        symbol: candidate.symbol,
+        weakParameters: candidate.weakParameters,
+        missingEvidence: "No parse/decode/schema/assertion call matched parser_call_patterns.",
+    }))
+        .sort(compareBoundaryParserFindings);
+    const state = findings.length === 0 ? "zero" : "present";
+    return baseOutput(state, boundaryFiles.length, candidates.length, findings, covered.sort(compareCoveredBoundaryFunctions), diagnosticLimit);
+};
+const baseOutput = (state, boundaryFilesMatched, boundaryFunctionsAnalyzed, findings, covered, diagnosticLimit) => ({
+    state,
+    boundaryFilesMatched,
+    boundaryFunctionsAnalyzed,
+    weakBoundaryFunctions: findings.length + covered.length,
+    coveredWeakBoundaryFunctions: covered.length,
+    findings,
+    covered,
+    diagnosticLimit,
+    compositeConsumers: [
+        "boundary trust breach",
+        "contract safety gap",
+        "AI quicksand risk",
+    ],
+    cacheContributors: [
+        "source tree",
+        "config.boundary_globs",
+        "config.parser_call_patterns",
+        "config.exclude_globs",
+        "config.top_n_diagnostics",
+    ],
+    calibrationSurface: "config.boundary_globs and config.parser_call_patterns; future reference-data boundary role conventions can replace path heuristics",
+    enforcementCeiling: ["soft-warning", "trend", "review-routing"],
+});
+const isBoundarySourceFile = (sourceFile, config) => {
+    const file = sourceFile.getFilePath();
+    return (!sourceFile.isDeclarationFile() &&
+        !isExcluded(file, config.exclude_globs) &&
+        isExcluded(file, config.boundary_globs));
+};
+const collectBoundaryFunctionCandidates = (sourceFile, parserPatterns) => [
+    ...sourceFile.getFunctions().flatMap((fn) => isBoundaryFunctionDeclaration(fn) ? [candidateFromFunction(sourceFile, fn, fn.getName() ?? "default", parserPatterns)] : []),
+    ...sourceFile.getVariableDeclarations().flatMap((declaration) => boundaryVariableFunction(declaration).map((fn) => candidateFromFunction(sourceFile, fn, declaration.getName(), parserPatterns))),
+];
+const isBoundaryFunctionDeclaration = (fn) => fn.isExported() || fn.isDefaultExport() || isHandlerName(fn.getName() ?? "");
+const boundaryVariableFunction = (declaration) => {
+    const initializer = declaration.getInitializer();
+    if (initializer === undefined)
+        return [];
+    const variableStatement = declaration.getVariableStatement();
+    const boundaryLike = variableStatement?.isExported() === true ||
+        isHandlerName(declaration.getName());
+    if (!boundaryLike)
+        return [];
+    if (Node.isArrowFunction(initializer) || Node.isFunctionExpression(initializer)) {
+        return [initializer];
+    }
+    return [];
+};
+const isHandlerName = (name) => /^(GET|POST|PUT|PATCH|DELETE|HEAD|OPTIONS|handler|handle|loader|action|fetch|main|run)$/u.test(name);
+const candidateFromFunction = (sourceFile, fn, symbol, parserPatterns) => ({
+    file: sourceFile.getFilePath(),
+    line: fn.getStartLineNumber(),
+    symbol,
+    weakParameters: fn.getParameters().flatMap(classifyWeakParameter),
+    parserEvidence: collectParserEvidence(fn, parserPatterns),
+});
+const classifyWeakParameter = (parameter) => {
+    const name = parameter.getName();
+    const typeNode = parameter.getTypeNode();
+    const typeText = typeNode?.getText() ?? "<untyped>";
+    const normalized = typeText.toLowerCase();
+    if (typeNode === undefined) {
+        return [{ name, typeText, reason: "untyped" }];
+    }
+    if (/\bany\b/u.test(normalized)) {
+        return [{ name, typeText, reason: "any" }];
+    }
+    if (/\bunknown\b/u.test(normalized)) {
+        return [{ name, typeText, reason: "unknown" }];
+    }
+    if (REQUEST_LIKE_TYPE_NAMES.some((requestType) => typeText.includes(requestType))) {
+        return [{ name, typeText, reason: "request-like" }];
+    }
+    return [];
+};
+const collectParserEvidence = (fn, parserPatterns) => {
+    const patterns = parserPatterns.map((pattern) => normalizeCallText(pattern));
+    if (patterns.length === 0)
+        return [];
+    const calls = fn.getDescendantsOfKind(SyntaxKind.CallExpression);
+    const evidence = new Set();
+    for (const call of calls) {
+        const expression = call.getExpression();
+        const expressionText = expression.getText();
+        const normalizedCallee = normalizeCallText(calleeText(expression));
+        if (patterns.some((pattern) => normalizedCallee.includes(pattern))) {
+            evidence.add(expressionText);
+        }
+    }
+    return [...evidence].sort();
+};
+const calleeText = (node) => {
+    if (Node.isCallExpression(node))
+        return calleeText(node.getExpression());
+    return node.getText();
+};
+const normalizeCallText = (text) => text.toLowerCase().replace(/\s+/gu, "");
+const compareBoundaryParserFindings = (left, right) => left.file.localeCompare(right.file) ||
+    left.line - right.line ||
+    left.symbol.localeCompare(right.symbol);
+const compareCoveredBoundaryFunctions = (left, right) => left.file.localeCompare(right.file) ||
+    left.line - right.line ||
+    left.symbol.localeCompare(right.symbol);
+//# sourceMappingURL=ts-ad-04-boundary-parser-coverage.js.map

package/dist/signals/ts-ad-04-boundary-parser-coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ad-04-boundary-parser-coverage.js","sourceRoot":"","sources":["../../src/signals/ts-ad-04-boundary-parser-coverage.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,GAGnB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAIL,IAAI,EAEJ,UAAU,GAGX,MAAM,UAAU,CAAA;AACjB,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAE9C,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACjD,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,iBAAiB,EAAE,MAAM,CAAC,MAAM;CACjC,CAAC,CAAA;AA4DF,MAAM,uBAAuB,GAAG;IAC9B,SAAS;IACT,aAAa;IACb,iBAAiB;IACjB,sBAAsB;IACtB,iBAAiB;IACjB,cAAc;IACd,OAAO;IACP,UAAU;IACV,iBAAiB;CACT,CAAA;AAEV,MAAM,CAAC,MAAM,MAAM,GAAqD;IACtE,EAAE,EAAE,mCAAmC;IACvC,KAAK,EAAE,0BAA0B;IACjC,OAAO,EAAE,CAAC,UAAU,CAAC;IACrB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,qBAAqB;IAC/B,IAAI,EAAE,YAAY;IAClB,YAAY,EAAE,gCAAgC;IAC9C,YAAY,EAAE,YAAY;IAC1B,aAAa,EAAE;QACb,cAAc,EAAE;YACd,aAAa;YACb,gBAAgB;YAChB,gBAAgB;YAChB,mBAAmB;YACnB,kBAAkB;YAClB,qBAAqB;YACrB,qBAAqB;YACrB,wBAAwB;YACxB,kBAAkB;YAClB,qBAAqB;YACrB,aAAa;YACb,gBAAgB;YAChB,cAAc;YACd,gBAAgB;YAChB,mBAAmB;YACnB,gBAAgB;SACjB;QACD,oBAAoB,EAAE;YACpB,OAAO;YACP,WAAW;YACX,QAAQ;YACR,eAAe;YACf,UAAU;YACV,QAAQ;YACR,QAAQ;YACR,YAAY;SACb;QACD,aAAa,EAAE;YACb,cAAc;YACd,eAAe;YACf,cAAc;YACd,eAAe;YACf,WAAW;YACX,oBAAoB;YACpB,YAAY;YACZ,gBAAgB;YAChB,cAAc;YACd,iBAAiB;YACjB,mBAAmB;YACnB,aAAa;SACd;QACD,iBAAiB,EAAE,EAAE;KACtB;IACD,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;QACnC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACvB,GAAG,EAAE,GAAiB,EAAE,CACtB,6BAA6B,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,MAAM,CAAC;YACjE,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,kBAAkB,CAAC;gBACrB,QAAQ,EAAE,mCAAmC;gBAC7C,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;gBACtB,KAAK;aACN,CAAC;SACL,CAAC,CAAA;IACJ,CAAC,CAAC;IACJ,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACb,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,MAAM;YAAE,OAAO,CAAC,CAAA;QAC7D,IAAI,GAAG,CAAC,qBAAqB,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QAC7C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,GAAG,CAAC,qBAAqB,CAAC,CAAA;IACzE,CAAC;IACD,QAAQ,EAAE,CAAC,GAAG,EAA6B,EAAE;QAC3C,IAAI,GAAG,CAAC,KAAK,KAAK,gBAAgB,EAAE,CAAC;YACnC,OAAO,CAAC;oBACN,QAAQ,EAAE,MAAM;oBAChB,OAAO,EAAE,qEAAqE;oBAC9E,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE;iBAC3B,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC3B,OAAO,CAAC;oBACN,QAAQ,EAAE,MAAM;oBAChB,OAAO,EAAE,4EAA4E;oBACrF,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE;iBAC3B,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAClE,QAAQ,EAAE,MAAe;YACzB,OAAO,EACL,uBAAuB,OAAO,CAAC,MAAM,iCAAiC;gBACtE,+BAA+B;YACjC,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;YACpD,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE;SACrB,CAAC,CAAC,CAAA;IACL,CAAC;IACD,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE;QACtB,IAAI,GAAG,CAAC,KAAK,KAAK,gBAAgB,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC7D,OAAO,EAAE,aAAa,EAAE,uBAAgC,EAAE,CAAA;QAC5D,CAAC;QACD,IAAI,GAAG,CAAC,KAAK,KAAK,gBAAgB,EAAE,CAAC;YACnC,OAAO,EAAE,aAAa,EAAE,gBAAyB,EAAE,CAAA;QACrD,CAAC;QACD,OAAO,SAAS,CAAA;IAClB,CAAC;CACF,CAAA;AAED,MAAM,6BAA6B,GAAG,CACpC,WAAsC,EACtC,MAAoB,EACN,EAAE;IAChB,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAA;IACzE,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,UAAU,CAAC,gBAAgB,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,eAAe,CAAC,CAAA;IACpE,CAAC;IAED,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CACtD,oBAAoB,CAAC,UAAU,EAAE,MAAM,CAAC,CACzC,CAAA;IACD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,UAAU,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,eAAe,CAAC,CAAA;IAC5D,CAAC;IAED,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CACtD,iCAAiC,CAAC,UAAU,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAC3E,CAAA;IACD,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC5F,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,UAAU,CAAC,gBAAgB,EAAE,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,eAAe,CAAC,CAAA;IACvG,CAAC;IAED,MAAM,OAAO,GAAG,cAAc;SAC3B,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;SAC1D,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACnB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,cAAc,EAAE,SAAS,CAAC,cAAc;QACxC,cAAc,EAAE,SAAS,CAAC,cAAc;KACzC,CAAC,CAAC,CAAA;IACL,MAAM,QAAQ,GAAG,cAAc;SAC5B,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACnB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,cAAc,EAAE,SAAS,CAAC,cAAc;QACxC,eAAe,EAAE,qEAAqE;KACvF,CAAC,CAAC;SACF,IAAI,CAAC,6BAA6B,CAAC,CAAA;IACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IACxD,OAAO,UAAU,CACf,KAAK,EACL,aAAa,CAAC,MAAM,EACpB,UAAU,CAAC,MAAM,EACjB,QAAQ,EACR,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,EAC7C,eAAe,CAChB,CAAA;AACH,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CACjB,KAAkC,EAClC,oBAA4B,EAC5B,yBAAiC,EACjC,QAA8C,EAC9C,OAAqD,EACrD,eAAuB,EACT,EAAE,CAAC,CAAC;IAClB,KAAK;IACL,oBAAoB;IACpB,yBAAyB;IACzB,qBAAqB,EAAE,QAAQ,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;IACvD,4BAA4B,EAAE,OAAO,CAAC,MAAM;IAC5C,QAAQ;IACR,OAAO;IACP,eAAe;IACf,kBAAkB,EAAE;QAClB,uBAAuB;QACvB,qBAAqB;QACrB,mBAAmB;KACpB;IACD,iBAAiB,EAAE;QACjB,aAAa;QACb,uBAAuB;QACvB,6BAA6B;QAC7B,sBAAsB;QACtB,0BAA0B;KAC3B;IACD,kBAAkB,EAChB,oIAAoI;IACtI,kBAAkB,EAAE,CAAC,cAAc,EAAE,OAAO,EAAE,gBAAgB,CAAC;CAChE,CAAC,CAAA;AAEF,MAAM,oBAAoB,GAAG,CAC3B,UAAsB,EACtB,MAAoB,EACX,EAAE;IACX,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,EAAE,CAAA;IACrC,OAAO,CACL,CAAC,UAAU,CAAC,iBAAiB,EAAE;QAC/B,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC;QACvC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,CACxC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,iCAAiC,GAAG,CACxC,UAAsB,EACtB,cAAqC,EACK,EAAE,CAAC;IAC7C,GAAG,UAAU,CAAC,YAAY,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAC1C,6BAA6B,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAC5H;IACD,GAAG,UAAU,CAAC,uBAAuB,EAAE,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAC9D,wBAAwB,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAC/C,qBAAqB,CAAC,UAAU,EAAE,EAAE,EAAE,WAAW,CAAC,OAAO,EAAE,EAAE,cAAc,CAAC,CAC7E,CACF;CACF,CAAA;AAED,MAAM,6BAA6B,GAAG,CAAC,EAAuB,EAAW,EAAE,CACzE,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,eAAe,EAAE,IAAI,aAAa,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;AAE9E,MAAM,wBAAwB,GAAG,CAC/B,WAAgC,EACH,EAAE;IAC/B,MAAM,WAAW,GAAG,WAAW,CAAC,cAAc,EAAE,CAAA;IAChD,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IACxC,MAAM,iBAAiB,GAAG,WAAW,CAAC,oBAAoB,EAAE,CAAA;IAC5D,MAAM,YAAY,GAChB,iBAAiB,EAAE,UAAU,EAAE,KAAK,IAAI;QACxC,aAAa,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAA;IACtC,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,CAAA;IAC5B,IAAI,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,WAAW,CAAC,EAAE,CAAC;QAChF,OAAO,CAAC,WAAW,CAAC,CAAA;IACtB,CAAC;IACD,OAAO,EAAE,CAAA;AACX,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,IAAY,EAAW,EAAE,CAC9C,yFAAyF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEtG,MAAM,qBAAqB,GAAG,CAC5B,UAAsB,EACtB,EAAwB,EACxB,MAAc,EACd,cAAqC,EACV,EAAE,CAAC,CAAC;IAC/B,IAAI,EAAE,UAAU,CAAC,WAAW,EAAE;IAC9B,IAAI,EAAE,EAAE,CAAC,kBAAkB,EAAE;IAC7B,MAAM;IACN,cAAc,EAAE,EAAE,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACjE,cAAc,EAAE,qBAAqB,CAAC,EAAE,EAAE,cAAc,CAAC;CAC1D,CAAC,CAAA;AAEF,MAAM,qBAAqB,GAAG,CAC5B,SAA+B,EACO,EAAE;IACxC,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,CAAA;IAChC,MAAM,QAAQ,GAAG,SAAS,CAAC,WAAW,EAAE,CAAA;IACxC,MAAM,QAAQ,GAAG,QAAQ,EAAE,OAAO,EAAE,IAAI,WAAW,CAAA;IACnD,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAA;IACzC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;IAChD,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;IAC5C,CAAC;IACD,IAAI,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;IAChD,CAAC;IACD,IAAI,uBAAuB,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;QAClF,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAA;IACrD,CAAC;IACD,OAAO,EAAE,CAAA;AACX,CAAC,CAAA;AAED,MAAM,qBAAqB,GAAG,CAC5B,EAAwB,EACxB,cAAqC,EACd,EAAE;IACzB,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAA;IAC5E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IACpC,MAAM,KAAK,GAAG,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,CAAA;IAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAA;QACvC,MAAM,cAAc,GAAG,UAAU,CAAC,OAAO,EAAE,CAAA;QAC3C,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAA;QAClE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACnE,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAA;AAC7B,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,IAAU,EAAU,EAAE;IACxC,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAA;IACxE,OAAO,IAAI,CAAC,OAAO,EAAE,CAAA;AACvB,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACjD,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;AAEzC,MAAM,6BAA6B,GAAG,CACpC,IAA2B,EAC3B,KAA4B,EACpB,EAAE,CACV,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;IACnC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI;IACtB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;AAEzC,MAAM,+BAA+B,GAAG,CACtC,IAAmC,EACnC,KAAoC,EAC5B,EAAE,CACV,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;IACnC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI;IACtB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA"}

package/dist/signals/ts-ad-05-boundary-trust-breach.d.ts

@@ -0,0 +1,97 @@
+import { type CompositeExplanation, type Signal } from "@skastr0/pulsar-core/signal";
+import { Schema } from "effect";
+declare const TsAd05Config: Schema.Struct<{
+    top_n_diagnostics: typeof Schema.Number;
+    warn_threshold: typeof Schema.Number;
+}>;
+type TsAd05Config = typeof TsAd05Config.Type;
+export type BoundaryTrustBreachState = "present" | "zero" | "insufficient_evidence";
+export type BoundaryTrustInputFactState = "present" | "zero" | "absent" | "unknown" | "not_configured" | "not_applicable" | "missing_required" | "missing_optional";
+export interface BoundaryTrustBreachFactors {
+    readonly parserCoverage?: number;
+    readonly unsafeBoundaryTypes?: number;
+    readonly boundaryViolations?: number;
+    readonly domainLanguageDrift?: number;
+}
+export interface BoundaryTrustBreachCandidate {
+    readonly file: string;
+    readonly score: number;
+    readonly rank: number;
+    readonly factors: BoundaryTrustBreachFactors;
+    readonly evidence: {
+        readonly parserFindings?: number;
+        readonly weakBoundaryParameters?: number;
+        readonly unsafeBoundaryOccurrences?: number;
+        readonly unsafeBoundaryWeight?: number;
+        readonly boundaryViolations?: number;
+        readonly domainTermDrift?: number;
+    };
+}
+export interface BoundaryTrustBreachOutput {
+    readonly state: BoundaryTrustBreachState;
+    readonly breaches: ReadonlyArray<BoundaryTrustBreachCandidate>;
+    readonly explanation: CompositeExplanation;
+    readonly diagnosticLimit: number;
+    readonly inputFactStates: {
+        readonly boundaryParserCoverage: BoundaryTrustInputFactState;
+        readonly unsafeTypeErosion: BoundaryTrustInputFactState;
+        readonly boundaryViolations: BoundaryTrustInputFactState;
+        readonly domainTermConsistency: BoundaryTrustInputFactState;
+    };
+    readonly availableFactorWeight: number;
+    readonly riskPressure: number;
+    readonly breachPressure: number;
+    readonly totalFilesConsidered: number;
+    readonly evidenceCompleteness: number;
+    readonly riskModel: "boundary-trust-breach-v1";
+    readonly warnThreshold: number;
+    readonly compositeConsumers: ReadonlyArray<string>;
+    readonly cacheContributors: ReadonlyArray<string>;
+    readonly calibrationSurface: string;
+    readonly evidenceClass: ReadonlyArray<string>;
+    readonly claimLimit: string;
+    readonly nonClaimLimit: string;
+    readonly knownFailureMode: string;
+    readonly enforcementCeiling: ReadonlyArray<string>;
+}
+export declare const TS_AD_05_COMPOSITE_INPUTS: ({
+    id: string;
+    aliases: string[];
+    factorPath: string;
+    weight: 0.35;
+    cacheFingerprint: string;
+    rawValue: (value: unknown) => unknown;
+    normalize: (value: unknown) => number | undefined;
+    optional?: never;
+} | {
+    id: string;
+    aliases: string[];
+    optional: true;
+    factorPath: string;
+    weight: 0.3;
+    cacheFingerprint: string;
+    rawValue: (value: unknown) => unknown;
+    normalize: (value: unknown) => number;
+} | {
+    id: string;
+    aliases: string[];
+    optional: true;
+    factorPath: string;
+    weight: 0.25;
+    cacheFingerprint: string;
+    rawValue: (value: unknown) => unknown;
+    normalize: (value: unknown) => number | undefined;
+} | {
+    id: string;
+    aliases: string[];
+    optional: true;
+    factorPath: string;
+    weight: 0.1;
+    cacheFingerprint: string;
+    rawValue: (value: unknown) => unknown;
+    normalize: (value: unknown) => number | undefined;
+})[];
+export declare const TsAd05: Signal<TsAd05Config, BoundaryTrustBreachOutput, never>;
+export declare const computeBoundaryTrustBreachOutput: (config: TsAd05Config, inputs: ReadonlyMap<string, unknown>) => BoundaryTrustBreachOutput;
+export {};
+//# sourceMappingURL=ts-ad-05-boundary-trust-breach.d.ts.map

package/dist/signals/ts-ad-05-boundary-trust-breach.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-ad-05-boundary-trust-breach.d.ts","sourceRoot":"","sources":["../../src/signals/ts-ad-05-boundary-trust-breach.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,oBAAoB,EAIzB,KAAK,MAAM,EACZ,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAIvC,QAAA,MAAM,YAAY;;;EAGhB,CAAA;AACF,KAAK,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAE5C,MAAM,MAAM,wBAAwB,GAChC,SAAS,GACT,MAAM,GACN,uBAAuB,CAAA;AAE3B,MAAM,MAAM,2BAA2B,GACnC,SAAS,GACT,MAAM,GACN,QAAQ,GACR,SAAS,GACT,gBAAgB,GAChB,gBAAgB,GAChB,kBAAkB,GAClB,kBAAkB,CAAA;AAEtB,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAA;IACrC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAA;IACpC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAA;CACtC;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAA;IAC5C,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;QAChC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAA;QACxC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,MAAM,CAAA;QAC3C,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAA;QACtC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAA;QACpC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;KAClC,CAAA;CACF;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAA;IACxC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,4BAA4B,CAAC,CAAA;IAC9D,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAA;IAC1C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,eAAe,EAAE;QACxB,QAAQ,CAAC,sBAAsB,EAAE,2BAA2B,CAAA;QAC5D,QAAQ,CAAC,iBAAiB,EAAE,2BAA2B,CAAA;QACvD,QAAQ,CAAC,kBAAkB,EAAE,2BAA2B,CAAA;QACxD,QAAQ,CAAC,qBAAqB,EAAE,2BAA2B,CAAA;KAC5D,CAAA;IACD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAA;IACtC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAA;IACrC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAA;IACrC,QAAQ,CAAC,SAAS,EAAE,0BAA0B,CAAA;IAC9C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAClD,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACjD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,kBAAkB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CACnD;AAkDD,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAwCO,CAAA;AAE7C,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,yBAAyB,EAAE,KAAK,CA2CzE,CAAA;AAED,eAAO,MAAM,gCAAgC,GAC3C,QAAQ,YAAY,EACpB,QAAQ,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,KACnC,yBAiDF,CAAA"}