@open-agent-toolkit/cli 0.3.21 → 0.3.22

package/dist/commands/project/journal-check/rules.d.ts

@@ -0,0 +1,68 @@
+import { type FrontmatterMetadata, type JournalRecords, type TaskProgress } from '@open-agent-toolkit/control-plane';
+import { type JournalArtifactPath, type JournalCheckBoundary, type JournalOverrideCode, type JournalReasonCode } from './types.js';
+/** One finding before overrides are applied. */
+export interface Finding {
+    code: JournalReasonCode;
+    path: JournalArtifactPath;
+    line: number | null;
+    owner: string;
+    message: string;
+    /** Refusing finding, or a warning that never refuses. */
+    severity: 'refuse' | 'warn';
+    /** Override subject for an eligible gap: the task id and its phase id. */
+    subject?: {
+        taskId: string | null;
+        phaseId: string;
+    };
+}
+export interface RuleContext {
+    boundary: JournalCheckBoundary;
+    workflowMode: string;
+    /** Normalized phase ids in scope, or `null` for the whole journal. */
+    scope: ReadonlySet<string> | null;
+    journal: JournalRecords;
+    plan: JournalRecords;
+    journalMeta: FrontmatterMetadata;
+    stateMeta: FrontmatterMetadata;
+    /** Real control-plane progress over the same plan/journal bytes. */
+    progress: TaskProgress;
+    /**
+     * Goal mode only: phase ids whose validated outcome audit disposition is
+     * `deferred` or `retired`. They stay incomplete and are never normalized.
+     */
+    approvedDeferredPhases: ReadonlySet<string>;
+    findings: Finding[];
+}
+export declare function isBriefMode(workflowMode: string): boolean;
+export declare function checkMetadata(context: RuleContext, stateLines: readonly string[]): void;
+export declare function checkTaskModeRecords(context: RuleContext): void;
+/**
+ * Phase status agreement in task modes: once every plan task of a phase is
+ * completed, its own `**Status:**` line must say so. A `blocked` or
+ * `in_progress` header under a completed phase is refused at its line.
+ */
+export declare function checkTaskModePhaseStatus(context: RuleContext): void;
+export declare function checkPhaseUnitRecords(context: RuleContext): void;
+export declare function checkOverviewTotals(context: RuleContext): void;
+export declare function checkReferencesLast(context: RuleContext): void;
+export declare function checkReceiptsAndDeferrals(context: RuleContext): void;
+export declare function checkDispatchPayloads(context: RuleContext): void;
+export declare function checkRunLines(context: RuleContext): void;
+export declare function checkTemplateResidue(context: RuleContext): void;
+/** Which gaps each override code may cover. Nothing else is overridable. */
+export declare const OVERRIDE_ELIGIBILITY: Readonly<Record<JournalOverrideCode, ReadonlySet<JournalReasonCode>>>;
+export interface ParsedOverride {
+    code: JournalOverrideCode;
+    authorizedBy: string;
+    scope: string;
+    scopeKind: 'task' | 'phase';
+    reason: string;
+    line: number;
+}
+export declare function readOverrides(context: RuleContext): ParsedOverride[];
+/**
+ * Whether an override's scope covers a finding's subject. A task scope covers
+ * exactly that task; a phase scope covers the phase and every task in it.
+ */
+export declare function overrideCoversSubject(override: Pick<ParsedOverride, 'scope' | 'scopeKind'>, subject: NonNullable<Finding['subject']>): boolean;
+//# sourceMappingURL=rules.d.ts.map

package/dist/commands/project/journal-check/rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../../../src/commands/project/journal-check/rules.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,KAAK,mBAAmB,EACxB,KAAK,cAAc,EAGnB,KAAK,YAAY,EAClB,MAAM,mCAAmC,CAAC;AAM3C,OAAO,EAEL,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACvB,MAAM,SAAS,CAAC;AAEjB,gDAAgD;AAChD,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,iBAAiB,CAAC;IACxB,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,yDAAyD;IACzD,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC;IAC5B,0EAA0E;IAC1E,OAAO,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CACtD;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,oBAAoB,CAAC;IAC/B,YAAY,EAAE,MAAM,CAAC;IACrB,sEAAsE;IACtE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAClC,OAAO,EAAE,cAAc,CAAC;IACxB,IAAI,EAAE,cAAc,CAAC;IACrB,WAAW,EAAE,mBAAmB,CAAC;IACjC,SAAS,EAAE,mBAAmB,CAAC;IAC/B,oEAAoE;IACpE,QAAQ,EAAE,YAAY,CAAC;IACvB;;;OAGG;IACH,sBAAsB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5C,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB;AAkCD,wBAAgB,WAAW,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAEzD;AA8DD,wBAAgB,aAAa,CAC3B,OAAO,EAAE,WAAW,EACpB,UAAU,EAAE,SAAS,MAAM,EAAE,GAC5B,IAAI,CA6FN;AAyID,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CA+D/D;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAwCnE;AAMD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CA4GhE;AA6BD,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAyD9D;AAMD,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAa9D;AAMD,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CA6DpE;AAiFD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAoBhE;AAID,wBAAgB,aAAa,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAuFxD;AA4ED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CA0C/D;AAUD,4EAA4E;AAC5E,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CACzC,MAAM,CAAC,mBAAmB,EAAE,WAAW,CAAC,iBAAiB,CAAC,CAAC,CAc5D,CAAC;AAEF,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAaD,wBAAgB,aAAa,CAAC,OAAO,EAAE,WAAW,GAAG,cAAc,EAAE,CAsDpE;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,OAAO,GAAG,WAAW,CAAC,EACrD,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GACvC,OAAO,CAKT"}