@nt-ai-lab/deterministic-agent-workflow-engine 0.3.2 → 0.3.3

package/dist/index.d.ts

@@ -6,8 +6,10 @@ export type { EventEnvelope, StoredEvent, } from './platform/domain/stored-event
 export { flattenStoredEvent, stripEnvelopeKeys, toPayload, } from './platform/domain/stored-event';
 export { reflectionCategorySchema, reflectionConfidenceSchema, reflectionEvidenceSchema, reflectionFindingSchema, reflectionPayloadSchema, recordReflectionInputSchema, storedReflectionSchema, } from './platform/domain/reflection-types';
 export type { ReflectionCategory, ReflectionEvidence, ReflectionFinding, ReflectionPayload, RecordReflectionInput, StoredReflection, } from './platform/domain/reflection-types';
+export { reviewTypeSchema, reviewVerdictSchema, reviewFindingSeveritySchema, reviewFindingStatusSchema, reviewFindingSchema, reviewPayloadSchema, recordReviewInputSchema, storedReviewSchema, listedReviewSchema, reviewFiltersSchema, } from './platform/domain/review-types';
+export type { ReviewType, ReviewVerdict, ReviewFindingSeverity, ReviewFindingStatus, ReviewFinding, ReviewPayload, RecordReviewInput, StoredReview, ListedReview, ReviewFilters, } from './platform/domain/review-types';
 export { engineEventSchema } from './platform/domain/engine-events';
-export type { EngineEvent, SessionStartedEvent, TransitionedEvent, AgentRegisteredEvent, AgentShutDownEvent, JournalEntryEvent, WriteCheckedEvent, BashCheckedEvent, PluginReadCheckedEvent, IdleCheckedEvent, IdentityVerifiedEvent, ContextRequestedEvent, } from './platform/domain/engine-events';
+export type { EngineEvent, SessionStartedEvent, TransitionedEvent, AgentRegisteredEvent, AgentShutDownEvent, JournalEntryEvent, WriteCheckedEvent, BashCheckedEvent, PluginReadCheckedEvent, IdleCheckedEvent, IdentityVerifiedEvent, ContextRequestedEvent, ReviewRecordedEvent, } from './platform/domain/engine-events';
 export { repositoryMetadataEventSchema } from './platform/domain/repository-tracking-events';
 export type { DomainMetadataEvent, IssueRecordedEvent, BranchRecordedEvent, PrRecordedEvent, } from './platform/domain/repository-tracking-events';
 export { checkBashCommand } from './platform/domain/bash-enforcement';

package/dist/index.js

@@ -2,6 +2,7 @@ export { WorkflowStateError } from './platform/domain/workflow-state.js';
 export { baseEventSchema } from './platform/domain/base-event.js';
 export { flattenStoredEvent, stripEnvelopeKeys, toPayload, } from './platform/domain/stored-event.js';
 export { reflectionCategorySchema, reflectionConfidenceSchema, reflectionEvidenceSchema, reflectionFindingSchema, reflectionPayloadSchema, recordReflectionInputSchema, storedReflectionSchema, } from './platform/domain/reflection-types.js';
+export { reviewTypeSchema, reviewVerdictSchema, reviewFindingSeveritySchema, reviewFindingStatusSchema, reviewFindingSchema, reviewPayloadSchema, recordReviewInputSchema, storedReviewSchema, listedReviewSchema, reviewFiltersSchema, } from './platform/domain/review-types.js';
 export { engineEventSchema } from './platform/domain/engine-events.js';
 export { repositoryMetadataEventSchema } from './platform/domain/repository-tracking-events.js';
 export { checkBashCommand } from './platform/domain/bash-enforcement.js';

package/dist/platform/domain/engine-events.d.ts

@@ -9,15 +9,15 @@ declare const sessionStartedSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
     type: "session-started";
     at: string;
-    transcriptPath?: string | undefined;
     repository?: string | undefined;
+    transcriptPath?: string | undefined;
     currentState?: string | undefined;
     states?: string[] | undefined;
 }, {
     type: "session-started";
     at: string;
-    transcriptPath?: string | undefined;
     repository?: string | undefined;
+    transcriptPath?: string | undefined;
     currentState?: string | undefined;
     states?: string[] | undefined;
 }>;
@@ -208,6 +208,25 @@ declare const contextRequestedSchema: z.ZodObject<{
     at: string;
     agentName: string;
 }>;
+declare const reviewRecordedSchema: z.ZodObject<{
+    type: z.ZodLiteral<"review-recorded">;
+    at: z.ZodString;
+    reviewId: z.ZodNumber;
+    reviewType: z.ZodString;
+    verdict: z.ZodEnum<["PASS", "FAIL"]>;
+}, "strip", z.ZodTypeAny, {
+    type: "review-recorded";
+    at: string;
+    verdict: "PASS" | "FAIL";
+    reviewType: string;
+    reviewId: number;
+}, {
+    type: "review-recorded";
+    at: string;
+    verdict: "PASS" | "FAIL";
+    reviewType: string;
+    reviewId: number;
+}>;
 export declare const engineEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
     type: z.ZodLiteral<"session-started">;
     at: z.ZodString;
@@ -218,15 +237,15 @@ export declare const engineEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodOb
 }, "strip", z.ZodTypeAny, {
     type: "session-started";
     at: string;
-    transcriptPath?: string | undefined;
     repository?: string | undefined;
+    transcriptPath?: string | undefined;
     currentState?: string | undefined;
     states?: string[] | undefined;
 }, {
     type: "session-started";
     at: string;
-    transcriptPath?: string | undefined;
     repository?: string | undefined;
+    transcriptPath?: string | undefined;
     currentState?: string | undefined;
     states?: string[] | undefined;
 }>, z.ZodObject<{
@@ -406,6 +425,24 @@ export declare const engineEventSchema: z.ZodDiscriminatedUnion<"type", [z.ZodOb
     type: "context-requested";
     at: string;
     agentName: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"review-recorded">;
+    at: z.ZodString;
+    reviewId: z.ZodNumber;
+    reviewType: z.ZodString;
+    verdict: z.ZodEnum<["PASS", "FAIL"]>;
+}, "strip", z.ZodTypeAny, {
+    type: "review-recorded";
+    at: string;
+    verdict: "PASS" | "FAIL";
+    reviewType: string;
+    reviewId: number;
+}, {
+    type: "review-recorded";
+    at: string;
+    verdict: "PASS" | "FAIL";
+    reviewType: string;
+    reviewId: number;
 }>]>;
 /** @riviere-role value-object */
 export type EngineEvent = z.infer<typeof engineEventSchema>;
@@ -431,4 +468,6 @@ export type IdleCheckedEvent = z.infer<typeof idleCheckedSchema>;
 export type IdentityVerifiedEvent = z.infer<typeof identityVerifiedSchema>;
 /** @riviere-role value-object */
 export type ContextRequestedEvent = z.infer<typeof contextRequestedSchema>;
+/** @riviere-role value-object */
+export type ReviewRecordedEvent = z.infer<typeof reviewRecordedSchema>;
 export {};

package/dist/platform/domain/engine-events.js

@@ -76,6 +76,13 @@ const contextRequestedSchema = z.object({
     at: z.string(),
     agentName: z.string(),
 });
+const reviewRecordedSchema = z.object({
+    type: z.literal('review-recorded'),
+    at: z.string(),
+    reviewId: z.number().int().positive(),
+    reviewType: z.string(),
+    verdict: z.enum(['PASS', 'FAIL']),
+});
 export const engineEventSchema = z.discriminatedUnion('type', [
     sessionStartedSchema,
     transitionedSchema,
@@ -88,4 +95,5 @@ export const engineEventSchema = z.discriminatedUnion('type', [
     idleCheckedSchema,
     identityVerifiedSchema,
     contextRequestedSchema,
+    reviewRecordedSchema,
 ]);

package/dist/platform/domain/review-types.d.ts

@@ -0,0 +1,496 @@
+import { z } from 'zod';
+export declare const reviewTypeSchema: z.ZodString;
+export declare const reviewVerdictSchema: z.ZodEnum<["PASS", "FAIL"]>;
+export declare const reviewFindingSeveritySchema: z.ZodEnum<["minor", "major", "critical"]>;
+export declare const reviewFindingStatusSchema: z.ZodEnum<["blocking", "non-blocking", "accepted-risk"]>;
+export declare const reviewFindingSchema: z.ZodEffects<z.ZodObject<{
+    title: z.ZodOptional<z.ZodString>;
+    severity: z.ZodOptional<z.ZodEnum<["minor", "major", "critical"]>>;
+    status: z.ZodOptional<z.ZodEnum<["blocking", "non-blocking", "accepted-risk"]>>;
+    rule: z.ZodOptional<z.ZodString>;
+    file: z.ZodOptional<z.ZodString>;
+    startLine: z.ZodOptional<z.ZodNumber>;
+    endLine: z.ZodOptional<z.ZodNumber>;
+    details: z.ZodOptional<z.ZodString>;
+    recommendation: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+    title?: string | undefined;
+    severity?: "minor" | "major" | "critical" | undefined;
+    rule?: string | undefined;
+    file?: string | undefined;
+    startLine?: number | undefined;
+    endLine?: number | undefined;
+    details?: string | undefined;
+    recommendation?: string | undefined;
+}, {
+    status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+    title?: string | undefined;
+    severity?: "minor" | "major" | "critical" | undefined;
+    rule?: string | undefined;
+    file?: string | undefined;
+    startLine?: number | undefined;
+    endLine?: number | undefined;
+    details?: string | undefined;
+    recommendation?: string | undefined;
+}>, {
+    status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+    title?: string | undefined;
+    severity?: "minor" | "major" | "critical" | undefined;
+    rule?: string | undefined;
+    file?: string | undefined;
+    startLine?: number | undefined;
+    endLine?: number | undefined;
+    details?: string | undefined;
+    recommendation?: string | undefined;
+}, {
+    status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+    title?: string | undefined;
+    severity?: "minor" | "major" | "critical" | undefined;
+    rule?: string | undefined;
+    file?: string | undefined;
+    startLine?: number | undefined;
+    endLine?: number | undefined;
+    details?: string | undefined;
+    recommendation?: string | undefined;
+}>;
+export declare const reviewPayloadSchema: z.ZodObject<{
+    verdict: z.ZodEnum<["PASS", "FAIL"]>;
+    summary: z.ZodOptional<z.ZodString>;
+    branch: z.ZodOptional<z.ZodString>;
+    pullRequestNumber: z.ZodOptional<z.ZodNumber>;
+    findings: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        severity: z.ZodOptional<z.ZodEnum<["minor", "major", "critical"]>>;
+        status: z.ZodOptional<z.ZodEnum<["blocking", "non-blocking", "accepted-risk"]>>;
+        rule: z.ZodOptional<z.ZodString>;
+        file: z.ZodOptional<z.ZodString>;
+        startLine: z.ZodOptional<z.ZodNumber>;
+        endLine: z.ZodOptional<z.ZodNumber>;
+        details: z.ZodOptional<z.ZodString>;
+        recommendation: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }>, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    findings: {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }[];
+    verdict: "PASS" | "FAIL";
+    summary?: string | undefined;
+    branch?: string | undefined;
+    pullRequestNumber?: number | undefined;
+}, {
+    findings: {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }[];
+    verdict: "PASS" | "FAIL";
+    summary?: string | undefined;
+    branch?: string | undefined;
+    pullRequestNumber?: number | undefined;
+}>;
+export declare const recordReviewInputSchema: z.ZodObject<{
+    verdict: z.ZodEnum<["PASS", "FAIL"]>;
+    summary: z.ZodOptional<z.ZodString>;
+    branch: z.ZodOptional<z.ZodString>;
+    pullRequestNumber: z.ZodOptional<z.ZodNumber>;
+    findings: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        severity: z.ZodOptional<z.ZodEnum<["minor", "major", "critical"]>>;
+        status: z.ZodOptional<z.ZodEnum<["blocking", "non-blocking", "accepted-risk"]>>;
+        rule: z.ZodOptional<z.ZodString>;
+        file: z.ZodOptional<z.ZodString>;
+        startLine: z.ZodOptional<z.ZodNumber>;
+        endLine: z.ZodOptional<z.ZodNumber>;
+        details: z.ZodOptional<z.ZodString>;
+        recommendation: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }>, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }>, "many">;
+} & {
+    reviewType: z.ZodString;
+    sourceState: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    findings: {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }[];
+    verdict: "PASS" | "FAIL";
+    reviewType: string;
+    summary?: string | undefined;
+    sourceState?: string | undefined;
+    branch?: string | undefined;
+    pullRequestNumber?: number | undefined;
+}, {
+    findings: {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }[];
+    verdict: "PASS" | "FAIL";
+    reviewType: string;
+    summary?: string | undefined;
+    sourceState?: string | undefined;
+    branch?: string | undefined;
+    pullRequestNumber?: number | undefined;
+}>;
+export declare const storedReviewSchema: z.ZodObject<{
+    verdict: z.ZodEnum<["PASS", "FAIL"]>;
+    summary: z.ZodOptional<z.ZodString>;
+    branch: z.ZodOptional<z.ZodString>;
+    pullRequestNumber: z.ZodOptional<z.ZodNumber>;
+    findings: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        severity: z.ZodOptional<z.ZodEnum<["minor", "major", "critical"]>>;
+        status: z.ZodOptional<z.ZodEnum<["blocking", "non-blocking", "accepted-risk"]>>;
+        rule: z.ZodOptional<z.ZodString>;
+        file: z.ZodOptional<z.ZodString>;
+        startLine: z.ZodOptional<z.ZodNumber>;
+        endLine: z.ZodOptional<z.ZodNumber>;
+        details: z.ZodOptional<z.ZodString>;
+        recommendation: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }>, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }>, "many">;
+} & {
+    reviewType: z.ZodString;
+    sourceState: z.ZodOptional<z.ZodString>;
+} & {
+    id: z.ZodNumber;
+    sessionId: z.ZodString;
+    createdAt: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    findings: {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }[];
+    id: number;
+    sessionId: string;
+    createdAt: string;
+    verdict: "PASS" | "FAIL";
+    reviewType: string;
+    summary?: string | undefined;
+    sourceState?: string | undefined;
+    branch?: string | undefined;
+    pullRequestNumber?: number | undefined;
+}, {
+    findings: {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }[];
+    id: number;
+    sessionId: string;
+    createdAt: string;
+    verdict: "PASS" | "FAIL";
+    reviewType: string;
+    summary?: string | undefined;
+    sourceState?: string | undefined;
+    branch?: string | undefined;
+    pullRequestNumber?: number | undefined;
+}>;
+export declare const listedReviewSchema: z.ZodObject<{
+    verdict: z.ZodEnum<["PASS", "FAIL"]>;
+    summary: z.ZodOptional<z.ZodString>;
+    branch: z.ZodOptional<z.ZodString>;
+    pullRequestNumber: z.ZodOptional<z.ZodNumber>;
+    findings: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        severity: z.ZodOptional<z.ZodEnum<["minor", "major", "critical"]>>;
+        status: z.ZodOptional<z.ZodEnum<["blocking", "non-blocking", "accepted-risk"]>>;
+        rule: z.ZodOptional<z.ZodString>;
+        file: z.ZodOptional<z.ZodString>;
+        startLine: z.ZodOptional<z.ZodNumber>;
+        endLine: z.ZodOptional<z.ZodNumber>;
+        details: z.ZodOptional<z.ZodString>;
+        recommendation: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }>, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }, {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }>, "many">;
+} & {
+    reviewType: z.ZodString;
+    sourceState: z.ZodOptional<z.ZodString>;
+} & {
+    id: z.ZodNumber;
+    sessionId: z.ZodString;
+    createdAt: z.ZodString;
+} & {
+    repository: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    findings: {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }[];
+    id: number;
+    sessionId: string;
+    createdAt: string;
+    verdict: "PASS" | "FAIL";
+    reviewType: string;
+    summary?: string | undefined;
+    sourceState?: string | undefined;
+    branch?: string | undefined;
+    pullRequestNumber?: number | undefined;
+    repository?: string | undefined;
+}, {
+    findings: {
+        status?: "blocking" | "non-blocking" | "accepted-risk" | undefined;
+        title?: string | undefined;
+        severity?: "minor" | "major" | "critical" | undefined;
+        rule?: string | undefined;
+        file?: string | undefined;
+        startLine?: number | undefined;
+        endLine?: number | undefined;
+        details?: string | undefined;
+        recommendation?: string | undefined;
+    }[];
+    id: number;
+    sessionId: string;
+    createdAt: string;
+    verdict: "PASS" | "FAIL";
+    reviewType: string;
+    summary?: string | undefined;
+    sourceState?: string | undefined;
+    branch?: string | undefined;
+    pullRequestNumber?: number | undefined;
+    repository?: string | undefined;
+}>;
+export declare const reviewFiltersSchema: z.ZodObject<{
+    repository: z.ZodOptional<z.ZodString>;
+    branch: z.ZodOptional<z.ZodString>;
+    pullRequestNumber: z.ZodOptional<z.ZodNumber>;
+    reviewType: z.ZodOptional<z.ZodString>;
+    verdict: z.ZodOptional<z.ZodEnum<["PASS", "FAIL"]>>;
+}, "strict", z.ZodTypeAny, {
+    verdict?: "PASS" | "FAIL" | undefined;
+    branch?: string | undefined;
+    pullRequestNumber?: number | undefined;
+    reviewType?: string | undefined;
+    repository?: string | undefined;
+}, {
+    verdict?: "PASS" | "FAIL" | undefined;
+    branch?: string | undefined;
+    pullRequestNumber?: number | undefined;
+    reviewType?: string | undefined;
+    repository?: string | undefined;
+}>;
+/** @riviere-role value-object */
+export type ReviewType = z.infer<typeof reviewTypeSchema>;
+/** @riviere-role value-object */
+export type ReviewVerdict = z.infer<typeof reviewVerdictSchema>;
+/** @riviere-role value-object */
+export type ReviewFindingSeverity = z.infer<typeof reviewFindingSeveritySchema>;
+/** @riviere-role value-object */
+export type ReviewFindingStatus = z.infer<typeof reviewFindingStatusSchema>;
+/** @riviere-role value-object */
+export type ReviewFinding = z.infer<typeof reviewFindingSchema>;
+/** @riviere-role value-object */
+export type ReviewPayload = z.infer<typeof reviewPayloadSchema>;
+/** @riviere-role value-object */
+export type RecordReviewInput = z.infer<typeof recordReviewInputSchema>;
+/** @riviere-role value-object */
+export type StoredReview = z.infer<typeof storedReviewSchema>;
+/** @riviere-role value-object */
+export type ListedReview = z.infer<typeof listedReviewSchema>;
+/** @riviere-role value-object */
+export type ReviewFilters = z.infer<typeof reviewFiltersSchema>;

package/dist/platform/domain/review-types.js

@@ -0,0 +1,62 @@
+import { z } from 'zod';
+export const reviewTypeSchema = z.string().min(1);
+export const reviewVerdictSchema = z.enum(['PASS', 'FAIL']);
+export const reviewFindingSeveritySchema = z.enum(['minor', 'major', 'critical']);
+export const reviewFindingStatusSchema = z.enum(['blocking', 'non-blocking', 'accepted-risk']);
+export const reviewFindingSchema = z.object({
+    title: z.string().min(1).optional(),
+    severity: reviewFindingSeveritySchema.optional(),
+    status: reviewFindingStatusSchema.optional(),
+    rule: z.string().min(1).optional(),
+    file: z.string().min(1).optional(),
+    startLine: z.number().int().positive().optional(),
+    endLine: z.number().int().positive().optional(),
+    details: z.string().min(1).optional(),
+    recommendation: z.string().min(1).optional(),
+}).strict().superRefine((finding, context) => {
+    if (finding.title === undefined && finding.details === undefined && finding.rule === undefined) {
+        context.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: 'Expected review finding to include at least one of title, details, or rule.',
+            path: ['title'],
+        });
+    }
+    if (finding.endLine !== undefined && finding.startLine === undefined) {
+        context.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: 'Expected startLine when endLine is provided.',
+            path: ['startLine'],
+        });
+    }
+    if (finding.startLine !== undefined && finding.endLine !== undefined && finding.endLine < finding.startLine) {
+        context.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: 'Expected endLine to be greater than or equal to startLine.',
+            path: ['endLine'],
+        });
+    }
+});
+export const reviewPayloadSchema = z.object({
+    verdict: reviewVerdictSchema,
+    summary: z.string().min(1).optional(),
+    branch: z.string().min(1).optional(),
+    pullRequestNumber: z.number().int().positive().optional(),
+    findings: z.array(reviewFindingSchema),
+}).strict();
+export const recordReviewInputSchema = reviewPayloadSchema.extend({
+    reviewType: reviewTypeSchema,
+    sourceState: z.string().min(1).optional(),
+}).strict();
+export const storedReviewSchema = recordReviewInputSchema.extend({
+    id: z.number().int().positive(),
+    sessionId: z.string().min(1),
+    createdAt: z.string().min(1),
+}).strict();
+export const listedReviewSchema = storedReviewSchema.extend({ repository: z.string().min(1).optional() }).strict();
+export const reviewFiltersSchema = z.object({
+    repository: z.string().min(1).optional(),
+    branch: z.string().min(1).optional(),
+    pullRequestNumber: z.number().int().positive().optional(),
+    reviewType: reviewTypeSchema.optional(),
+    verdict: reviewVerdictSchema.optional(),
+}).strict();

package/dist/platform/domain/review-types.spec.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/platform/domain/review-types.spec.js

@@ -0,0 +1,26 @@
+import { describe, expect, it, } from 'vitest';
+import { reviewFindingSchema } from './review-types.js';
+describe('reviewFindingSchema', () => {
+    it('rejects empty finding records', () => {
+        const result = reviewFindingSchema.safeParse({});
+        expect(result.success).toBe(false);
+    });
+    it('rejects end line before start line', () => {
+        const result = reviewFindingSchema.safeParse({
+            title: 'Invalid range',
+            startLine: 10,
+            endLine: 9,
+        });
+        expect(result.success).toBe(false);
+    });
+    it('accepts finding records with a title and single start line', () => {
+        const result = reviewFindingSchema.parse({
+            title: 'Missing test',
+            startLine: 10,
+        });
+        expect(result).toStrictEqual({
+            title: 'Missing test',
+            startLine: 10,
+        });
+    });
+});

package/dist/platform/domain/workflow-engine-types.d.ts

@@ -1,6 +1,7 @@
 import type { ZodType } from 'zod';
 import type { BaseEvent } from './base-event';
 import type { RecordReflectionInput, StoredReflection } from './reflection-types';
+import type { ListedReview, RecordReviewInput, ReviewFilters, StoredReview } from './review-types';
 import type { StoredEvent } from './stored-event';
 import type { PreconditionResult } from './precondition-result';
 import type { TranscriptReader } from '../infra/external-clients/transcript/transcript-reader';
@@ -47,6 +48,10 @@ export interface WorkflowEventStore {
     hasSessionStarted(sessionId: string): boolean;
     recordReflection(sessionId: string, createdAt: string, input: RecordReflectionInput): StoredReflection;
     listReflections(sessionId: string): readonly StoredReflection[];
+    recordReview(sessionId: string, createdAt: string, input: RecordReviewInput): StoredReview;
+    recordReviewWithEvent(sessionId: string, createdAt: string, input: RecordReviewInput, eventState: string): StoredReview;
+    listSessionReviews(sessionId: string): readonly StoredReview[];
+    listReviews(filters: ReviewFilters): readonly ListedReview[];
 }
 /** @riviere-role value-object */
 export type WorkflowEngineDeps = {

package/dist/platform/infra/cli/presentation/output-guidance.spec.js

@@ -59,6 +59,9 @@ class ReflectionStoreNotConfiguredError extends Error {
         this.name = 'ReflectionStoreNotConfiguredError';
     }
 }
+function throwStoreNotConfigured() {
+    throw new ReflectionStoreNotConfiguredError();
+}
 class MemoryStore {
     eventsBySessionId = new Map();
     readEvents(sessionId) {
@@ -80,11 +83,29 @@ class MemoryStore {
         void _sessionId;
         void _createdAt;
         void _input;
-        throw new ReflectionStoreNotConfiguredError();
+        return throwStoreNotConfigured();
     }
     listReflections() {
         return [];
     }
+    recordReview(_sessionId, _createdAt, _input) {
+        return this.recordReviewWithEvent(_sessionId, _createdAt, _input, 'unconfigured');
+    }
+    recordReviewWithEvent(_sessionId, _createdAt, _input, _eventState) {
+        void _sessionId;
+        void _createdAt;
+        void _input;
+        void _eventState;
+        return throwStoreNotConfigured();
+    }
+    listSessionReviews(_sessionId) {
+        void _sessionId;
+        return [];
+    }
+    listReviews(_filters) {
+        void _filters;
+        return [];
+    }
 }
 const procedureContent = 'PLANNING instructions';
 const workflowDefinition = {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nt-ai-lab/deterministic-agent-workflow-engine",
-  "version": "0.3.2",
+  "version": "0.3.3",
   "private": false,
   "type": "module",
   "exports": {