@gate-forge/core 0.4.0 → 0.6.1

package/dist/verdict/behavior.d.ts

@@ -0,0 +1,87 @@
+import type { BehaviorCatalog } from '../schemas/behavior-catalog.js';
+import type { Obligation } from '../schemas/obligation.js';
+import type { HttpRouteCandidate } from './registry.js';
+/** Strong HTTP contracts graded here (engine-http request actions). */
+export declare const STRONG_HTTP_CONTRACTS: ReadonlySet<string>;
+/** Authentication contracts graded here (Phase 7, same case machinery). */
+export declare const AUTH_CONTRACTS: ReadonlySet<string>;
+/** Validation contracts graded here (Phase 7, same case machinery). */
+export declare const VALIDATION_CONTRACTS: ReadonlySet<string>;
+/** Workflow contracts graded through authenticated behavior.case evidence. */
+export declare const WORKFLOW_CONTRACTS: ReadonlySet<string>;
+/** Task contracts graded through authenticated behavior.case evidence. */
+export declare const TASK_CONTRACTS: ReadonlySet<string>;
+/** Webhook contracts graded through authenticated behavior.case evidence. */
+export declare const WEBHOOK_CONTRACTS: ReadonlySet<string>;
+/** Every contract the required-case aggregation grades. */
+export declare const BEHAVIOR_CASE_CONTRACTS: ReadonlySet<string>;
+/** Trusted behavior slice of VerdictContext (controller-bound, never CLI config). */
+export interface BehaviorObligationContext {
+    /** Compiled behavior catalog (case specs, effects, obligations). */
+    catalog: BehaviorCatalog;
+    /** obligationId → required caseIds (usually the catalog requirements). */
+    requirements: Record<string, string[]>;
+    /**
+     * Expected authority profile digest (engine bundle binding). When
+     * present the sealed value must equal it.
+     */
+    authorityProfileDigest?: string | null;
+}
+/** Trusted context for required-case grading (never record payloads). */
+export interface BehaviorGradeContext {
+    /** Compiled behavior catalog (case specs, effects, obligations). */
+    catalog: BehaviorCatalog;
+    /** obligationId → required caseIds (usually the catalog requirements). */
+    requirements: Record<string, string[]>;
+    /**
+     * Expected authority profile digest (engine bundle binding). When
+     * present the sealed value must equal it; the CLI always provisions
+     * it from the trusted policy digest.
+     */
+    authorityProfileDigest?: string | null;
+    /** Allowed test identities (the obligation's declared claim testIds). */
+    plannedTestIds: readonly string[];
+}
+/** One ledger record view for required-case grading. */
+export interface BehaviorRecordLike {
+    readonly recordId: unknown;
+    readonly testId: unknown;
+    readonly kind: unknown;
+    readonly origin: unknown;
+    readonly trust: unknown;
+    readonly payload: unknown;
+}
+/** Required-case aggregation outcome. */
+export type RequiredCaseOutcome = {
+    status: 'satisfied';
+    recordIds: string[];
+} | {
+    status: 'invalid';
+    reason: string;
+    recordIds: string[];
+} | {
+    status: 'missing';
+    reason: string;
+    recordIds: string[];
+};
+/**
+ * Canonical digest over a case action descriptor. The witness seals
+ * this; the grader recomputes it from the compiled catalog — both use
+ * GF-canonical JSON, so equal actions hash equally on both sides.
+ */
+export declare function behaviorActionDigestOf(action: unknown): string;
+/**
+ * Aggregates the required cases of one obligation (plan §4.7): resolves
+ * the required set from trusted context, matches case records to
+ * allowed planned test identities, validates provenance and bindings,
+ * grades each case with the pure semantic rules, and requires every
+ * case to pass exactly once.
+ */
+export declare function evaluateRequiredCases(input: {
+    obligation: Obligation;
+    requiredCaseIds: readonly string[];
+    records: readonly BehaviorRecordLike[];
+    context: BehaviorGradeContext;
+    httpRoutes: readonly HttpRouteCandidate[] | null | undefined;
+}): RequiredCaseOutcome;
+//# sourceMappingURL=behavior.d.ts.map

package/dist/verdict/behavior.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior.d.ts","sourceRoot":"","sources":["../../src/verdict/behavior.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,eAAe,EAAwB,MAAM,gCAAgC,CAAC;AAO5F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAGxD,uEAAuE;AACvE,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAGpD,CAAC;AAEH,2EAA2E;AAC3E,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,CAM7C,CAAC;AAEH,uEAAuE;AACvE,eAAO,MAAM,oBAAoB,EAAE,WAAW,CAAC,MAAM,CAMnD,CAAC;AAEH,8EAA8E;AAC9E,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAMjD,CAAC;AAEH,0EAA0E;AAC1E,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,CAM7C,CAAC;AAEH,6EAA6E;AAC7E,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAMhD,CAAC;AAEH,2DAA2D;AAC3D,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAOtD,CAAC;AAEH,qFAAqF;AACrF,MAAM,WAAW,yBAAyB;IACxC,oEAAoE;IACpE,OAAO,EAAE,eAAe,CAAC;IACzB,0EAA0E;IAC1E,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACvC;;;OAGG;IACH,sBAAsB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACxC;AAED,yEAAyE;AACzE,MAAM,WAAW,oBAAoB;IACnC,oEAAoE;IACpE,OAAO,EAAE,eAAe,CAAC;IACzB,0EAA0E;IAC1E,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACvC;;;;OAIG;IACH,sBAAsB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,yEAAyE;IACzE,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,wDAAwD;AACxD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,yCAAyC;AACzC,MAAM,MAAM,mBAAmB,GAC3B;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAA;CAAE,GAC5C;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAA;CAAE,GAC1D;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE/D;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAE9D;AAopBD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE;IAC3C,UAAU,EAAE,UAAU,CAAC;IACvB,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACvC,OAAO,EAAE,oBAAoB,CAAC;IAC9B,UAAU,EAAE,SAAS,kBAAkB,EAAE,GAAG,IAAI,GAAG,SAAS,CAAC;CAC9D,GAAG,mBAAmB,CA8BtB"}