opencode-plugin-flow 5.1.0 → 5.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +60 -0
- package/README.md +83 -30
- package/dist/application/errors.d.ts +5 -0
- package/dist/application/flow-service.d.ts +219 -247
- package/dist/application/ports/session-repository.d.ts +1 -0
- package/dist/application/replay/contract.d.ts +123 -0
- package/dist/application/schema.d.ts +376 -706
- package/dist/domain/limits.d.ts +3 -0
- package/dist/domain/session-invariants.d.ts +8 -0
- package/dist/domain/session.d.ts +88 -87
- package/dist/domain/transitions.d.ts +133 -21
- package/dist/index.js +3273 -1462
- package/dist/index.js.map +19 -18
- package/dist/infrastructure/fs/workspace-flow-service.d.ts +2 -1
- package/dist/infrastructure/fs/workspace.d.ts +31 -2
- package/dist/platform/opencode/tools.d.ts +0 -2
- package/dist/prompt-baseline-fixtures.d.ts +4 -3
- package/dist/prompt-quality.d.ts +7 -0
- package/package.json +5 -1
|
@@ -20,10 +20,6 @@ export declare const SessionStatusSchema: z.ZodEnum<{
|
|
|
20
20
|
ready: "ready";
|
|
21
21
|
running: "running";
|
|
22
22
|
}>;
|
|
23
|
-
export declare const ReviewStatusSchema: z.ZodEnum<{
|
|
24
|
-
failed: "failed";
|
|
25
|
-
passed: "passed";
|
|
26
|
-
}>;
|
|
27
23
|
export declare const ReviewFindingTaxonomySchema: z.ZodEnum<{
|
|
28
24
|
advisory: "advisory";
|
|
29
25
|
evidence_gap: "evidence_gap";
|
|
@@ -42,10 +38,6 @@ export declare const ReviewTerminalDispositionSchema: z.ZodEnum<{
|
|
|
42
38
|
observed_unsubmitted: "observed_unsubmitted";
|
|
43
39
|
submitted: "submitted";
|
|
44
40
|
}>;
|
|
45
|
-
export declare const ValidationStatusSchema: z.ZodEnum<{
|
|
46
|
-
failed: "failed";
|
|
47
|
-
passed: "passed";
|
|
48
|
-
}>;
|
|
49
41
|
export declare const ValidationScopeSchema: z.ZodEnum<{
|
|
50
42
|
broad: "broad";
|
|
51
43
|
targeted: "targeted";
|
|
@@ -289,13 +281,8 @@ export declare const OrchestrationTelemetrySchema: z.ZodObject<{
|
|
|
289
281
|
synthesisRef: z.ZodOptional<z.ZodString>;
|
|
290
282
|
}, z.core.$strict>>>;
|
|
291
283
|
}, z.core.$strict>;
|
|
292
|
-
export declare const
|
|
293
|
-
|
|
294
|
-
severity: z.ZodDefault<z.ZodEnum<{
|
|
295
|
-
advisory: "advisory";
|
|
296
|
-
blocking: "blocking";
|
|
297
|
-
}>>;
|
|
298
|
-
}, z.core.$strict>;
|
|
284
|
+
export declare const FeatureRunIdSchema: z.ZodString;
|
|
285
|
+
export declare const ReviewAssignmentIdSchema: z.ZodString;
|
|
299
286
|
export declare const ReviewSnapshotIdSchema: z.ZodPipe<z.ZodString, z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
|
|
300
287
|
export declare const ReviewExecutionFindingInputSchema: z.ZodObject<{
|
|
301
288
|
taxonomy: z.ZodEnum<{
|
|
@@ -330,25 +317,12 @@ export declare const ReviewExecutionFindingSchema: z.ZodObject<{
|
|
|
330
317
|
}>;
|
|
331
318
|
fingerprint: z.ZodString;
|
|
332
319
|
}, z.core.$strict>;
|
|
333
|
-
export declare const
|
|
334
|
-
|
|
335
|
-
logicalPassId: z.ZodString;
|
|
336
|
-
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
337
|
-
reviewKind: z.ZodEnum<{
|
|
338
|
-
feature: "feature";
|
|
339
|
-
final: "final";
|
|
340
|
-
}>;
|
|
341
|
-
reviewSnapshotId: z.ZodPipe<z.ZodString, z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
|
|
320
|
+
export declare const ReviewAssignmentResultInputSchema: z.ZodObject<{
|
|
321
|
+
assignmentId: z.ZodString;
|
|
342
322
|
verdict: z.ZodEnum<{
|
|
343
323
|
failed: "failed";
|
|
344
324
|
passed: "passed";
|
|
345
325
|
}>;
|
|
346
|
-
startedAt: z.ZodString;
|
|
347
|
-
completedAt: z.ZodString;
|
|
348
|
-
terminalDisposition: z.ZodEnum<{
|
|
349
|
-
observed_unsubmitted: "observed_unsubmitted";
|
|
350
|
-
submitted: "submitted";
|
|
351
|
-
}>;
|
|
352
326
|
findings: z.ZodArray<z.ZodObject<{
|
|
353
327
|
taxonomy: z.ZodEnum<{
|
|
354
328
|
advisory: "advisory";
|
|
@@ -365,8 +339,15 @@ export declare const ReviewExecutionInputSchema: z.ZodObject<{
|
|
|
365
339
|
blocking: "blocking";
|
|
366
340
|
}>;
|
|
367
341
|
}, z.core.$strict>>;
|
|
342
|
+
completedAt: z.ZodString;
|
|
343
|
+
terminalDisposition: z.ZodEnum<{
|
|
344
|
+
observed_unsubmitted: "observed_unsubmitted";
|
|
345
|
+
submitted: "submitted";
|
|
346
|
+
}>;
|
|
368
347
|
}, z.core.$strict>;
|
|
369
348
|
export declare const ReviewExecutionSchema: z.ZodObject<{
|
|
349
|
+
assignmentId: z.ZodString;
|
|
350
|
+
featureRunId: z.ZodString;
|
|
370
351
|
attemptId: z.ZodString;
|
|
371
352
|
logicalPassId: z.ZodString;
|
|
372
353
|
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
@@ -403,50 +384,13 @@ export declare const ReviewExecutionSchema: z.ZodObject<{
|
|
|
403
384
|
fingerprint: z.ZodString;
|
|
404
385
|
}, z.core.$strict>>;
|
|
405
386
|
}, z.core.$strict>;
|
|
406
|
-
export declare const ReviewSchema: z.ZodObject<{
|
|
407
|
-
status: z.ZodEnum<{
|
|
408
|
-
failed: "failed";
|
|
409
|
-
passed: "passed";
|
|
410
|
-
}>;
|
|
411
|
-
summary: z.ZodString;
|
|
412
|
-
blockingFindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
413
|
-
summary: z.ZodString;
|
|
414
|
-
severity: z.ZodDefault<z.ZodEnum<{
|
|
415
|
-
advisory: "advisory";
|
|
416
|
-
blocking: "blocking";
|
|
417
|
-
}>>;
|
|
418
|
-
}, z.core.$strict>>>;
|
|
419
|
-
}, z.core.$strict>;
|
|
420
|
-
export declare const FinalReviewSchema: z.ZodObject<{
|
|
421
|
-
status: z.ZodEnum<{
|
|
422
|
-
failed: "failed";
|
|
423
|
-
passed: "passed";
|
|
424
|
-
}>;
|
|
425
|
-
summary: z.ZodString;
|
|
426
|
-
blockingFindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
427
|
-
summary: z.ZodString;
|
|
428
|
-
severity: z.ZodDefault<z.ZodEnum<{
|
|
429
|
-
advisory: "advisory";
|
|
430
|
-
blocking: "blocking";
|
|
431
|
-
}>>;
|
|
432
|
-
}, z.core.$strict>>>;
|
|
433
|
-
reviewDepth: z.ZodEnum<{
|
|
434
|
-
broad: "broad";
|
|
435
|
-
detailed: "detailed";
|
|
436
|
-
}>;
|
|
437
|
-
}, z.core.$strict>;
|
|
438
|
-
export declare const ValidationRunSchema: z.ZodObject<{
|
|
439
|
-
command: z.ZodString;
|
|
440
|
-
status: z.ZodEnum<{
|
|
441
|
-
failed: "failed";
|
|
442
|
-
passed: "passed";
|
|
443
|
-
}>;
|
|
444
|
-
summary: z.ZodString;
|
|
445
|
-
}, z.core.$strict>;
|
|
446
387
|
export declare const ValidationEvidenceSchema: z.ZodObject<{
|
|
447
388
|
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
448
389
|
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
449
390
|
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
391
|
+
featureRunId: z.ZodString;
|
|
392
|
+
capturedAtRevision: z.ZodNumber;
|
|
393
|
+
capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
450
394
|
startedAt: z.ZodString;
|
|
451
395
|
completedAt: z.ZodString;
|
|
452
396
|
commandClass: z.ZodEnum<{
|
|
@@ -467,21 +411,29 @@ export declare const ValidationEvidenceSchema: z.ZodObject<{
|
|
|
467
411
|
}, z.core.$strict>>;
|
|
468
412
|
environmentKeys: z.ZodArray<z.ZodString>;
|
|
469
413
|
kind: z.ZodLiteral<"validation">;
|
|
414
|
+
commandDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
470
415
|
}, z.core.$strict>;
|
|
471
416
|
export declare const ReviewEvidenceSchema: z.ZodObject<{
|
|
472
417
|
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
473
418
|
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
474
419
|
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
420
|
+
featureRunId: z.ZodString;
|
|
421
|
+
capturedAtRevision: z.ZodNumber;
|
|
422
|
+
capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
475
423
|
startedAt: z.ZodString;
|
|
476
424
|
completedAt: z.ZodString;
|
|
477
425
|
kind: z.ZodLiteral<"review">;
|
|
478
426
|
attemptId: z.ZodString;
|
|
427
|
+
assignmentId: z.ZodString;
|
|
479
428
|
packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
480
429
|
}, z.core.$strict>;
|
|
481
430
|
export declare const EvidenceRecordSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
482
431
|
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
483
432
|
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
484
433
|
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
434
|
+
featureRunId: z.ZodString;
|
|
435
|
+
capturedAtRevision: z.ZodNumber;
|
|
436
|
+
capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
485
437
|
startedAt: z.ZodString;
|
|
486
438
|
completedAt: z.ZodString;
|
|
487
439
|
commandClass: z.ZodEnum<{
|
|
@@ -502,14 +454,19 @@ export declare const EvidenceRecordSchema: z.ZodDiscriminatedUnion<[z.ZodObject<
|
|
|
502
454
|
}, z.core.$strict>>;
|
|
503
455
|
environmentKeys: z.ZodArray<z.ZodString>;
|
|
504
456
|
kind: z.ZodLiteral<"validation">;
|
|
457
|
+
commandDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
505
458
|
}, z.core.$strict>, z.ZodObject<{
|
|
506
459
|
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
507
460
|
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
508
461
|
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
462
|
+
featureRunId: z.ZodString;
|
|
463
|
+
capturedAtRevision: z.ZodNumber;
|
|
464
|
+
capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
509
465
|
startedAt: z.ZodString;
|
|
510
466
|
completedAt: z.ZodString;
|
|
511
467
|
kind: z.ZodLiteral<"review">;
|
|
512
468
|
attemptId: z.ZodString;
|
|
469
|
+
assignmentId: z.ZodString;
|
|
513
470
|
packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
514
471
|
}, z.core.$strict>], "kind">;
|
|
515
472
|
export declare const ValidationObservationSchema: z.ZodObject<{
|
|
@@ -529,16 +486,16 @@ export declare const ValidationObservationSchema: z.ZodObject<{
|
|
|
529
486
|
export declare const CausalMutationRecordSchema: z.ZodObject<{
|
|
530
487
|
operationId: z.ZodString;
|
|
531
488
|
operationKind: z.ZodEnum<{
|
|
532
|
-
evidence_record: "evidence_record";
|
|
533
489
|
feature_complete: "feature_complete";
|
|
534
490
|
feature_reset: "feature_reset";
|
|
535
491
|
plan_approve: "plan_approve";
|
|
536
492
|
plan_save: "plan_save";
|
|
537
|
-
|
|
493
|
+
review_start: "review_start";
|
|
538
494
|
run_start: "run_start";
|
|
539
495
|
session_close: "session_close";
|
|
540
496
|
}>;
|
|
541
497
|
requestDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
498
|
+
featureRunId: z.ZodNullable<z.ZodString>;
|
|
542
499
|
priorMutationDigest: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
|
|
543
500
|
mutationDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
544
501
|
priorRevision: z.ZodNumber;
|
|
@@ -571,16 +528,16 @@ export declare const CausalStateSchema: z.ZodObject<{
|
|
|
571
528
|
mutations: z.ZodArray<z.ZodObject<{
|
|
572
529
|
operationId: z.ZodString;
|
|
573
530
|
operationKind: z.ZodEnum<{
|
|
574
|
-
evidence_record: "evidence_record";
|
|
575
531
|
feature_complete: "feature_complete";
|
|
576
532
|
feature_reset: "feature_reset";
|
|
577
533
|
plan_approve: "plan_approve";
|
|
578
534
|
plan_save: "plan_save";
|
|
579
|
-
|
|
535
|
+
review_start: "review_start";
|
|
580
536
|
run_start: "run_start";
|
|
581
537
|
session_close: "session_close";
|
|
582
538
|
}>;
|
|
583
539
|
requestDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
540
|
+
featureRunId: z.ZodNullable<z.ZodString>;
|
|
584
541
|
priorMutationDigest: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
|
|
585
542
|
mutationDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
586
543
|
priorRevision: z.ZodNumber;
|
|
@@ -610,6 +567,9 @@ export declare const CausalStateSchema: z.ZodObject<{
|
|
|
610
567
|
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
611
568
|
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
612
569
|
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
570
|
+
featureRunId: z.ZodString;
|
|
571
|
+
capturedAtRevision: z.ZodNumber;
|
|
572
|
+
capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
613
573
|
startedAt: z.ZodString;
|
|
614
574
|
completedAt: z.ZodString;
|
|
615
575
|
commandClass: z.ZodEnum<{
|
|
@@ -630,14 +590,19 @@ export declare const CausalStateSchema: z.ZodObject<{
|
|
|
630
590
|
}, z.core.$strict>>;
|
|
631
591
|
environmentKeys: z.ZodArray<z.ZodString>;
|
|
632
592
|
kind: z.ZodLiteral<"validation">;
|
|
593
|
+
commandDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
633
594
|
}, z.core.$strict>, z.ZodObject<{
|
|
634
595
|
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
635
596
|
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
636
597
|
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
598
|
+
featureRunId: z.ZodString;
|
|
599
|
+
capturedAtRevision: z.ZodNumber;
|
|
600
|
+
capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
637
601
|
startedAt: z.ZodString;
|
|
638
602
|
completedAt: z.ZodString;
|
|
639
603
|
kind: z.ZodLiteral<"review">;
|
|
640
604
|
attemptId: z.ZodString;
|
|
605
|
+
assignmentId: z.ZodString;
|
|
641
606
|
packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
642
607
|
}, z.core.$strict>], "kind">>;
|
|
643
608
|
}, z.core.$strict>;
|
|
@@ -693,564 +658,80 @@ export declare const PlanSchema: z.ZodObject<{
|
|
|
693
658
|
}, z.core.$strict>>;
|
|
694
659
|
}, z.core.$strict>;
|
|
695
660
|
export declare const PlanInputSchema: z.ZodObject<{
|
|
696
|
-
summary: z.ZodString;
|
|
697
|
-
overview: z.ZodString;
|
|
698
|
-
requirements: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
699
|
-
decisions: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
700
|
-
finalReviewPolicy: z.ZodOptional<z.ZodEnum<{
|
|
701
|
-
broad: "broad";
|
|
702
|
-
detailed: "detailed";
|
|
703
|
-
}>>;
|
|
704
|
-
features: z.ZodArray<z.ZodObject<{
|
|
705
|
-
id: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
706
|
-
title: z.ZodString;
|
|
707
|
-
summary: z.ZodString;
|
|
708
|
-
status: z.ZodOptional<z.ZodEnum<{
|
|
709
|
-
blocked: "blocked";
|
|
710
|
-
completed: "completed";
|
|
711
|
-
in_progress: "in_progress";
|
|
712
|
-
pending: "pending";
|
|
713
|
-
}>>;
|
|
714
|
-
reviewDepth: z.ZodOptional<z.ZodEnum<{
|
|
715
|
-
detailed: "detailed";
|
|
716
|
-
quick: "quick";
|
|
717
|
-
standard: "standard";
|
|
718
|
-
}>>;
|
|
719
|
-
targets: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
720
|
-
validation: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
721
|
-
dependsOn: z.ZodOptional<z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>>>;
|
|
722
|
-
}, z.core.$strict>>;
|
|
723
|
-
}, z.core.$strict>;
|
|
724
|
-
export declare const CompletedWorkerOutcomeSchema: z.ZodObject<{
|
|
725
|
-
kind: z.ZodLiteral<"completed">;
|
|
726
|
-
summary: z.ZodOptional<z.ZodString>;
|
|
727
|
-
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
728
|
-
}, z.core.$strict>;
|
|
729
|
-
export declare const NeedsInputOutcomeSchema: z.ZodObject<{
|
|
730
|
-
kind: z.ZodEnum<{
|
|
731
|
-
blocked: "blocked";
|
|
732
|
-
needs_input: "needs_input";
|
|
733
|
-
replan_required: "replan_required";
|
|
734
|
-
}>;
|
|
735
|
-
summary: z.ZodString;
|
|
736
|
-
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
737
|
-
}, z.core.$strict>;
|
|
738
|
-
export declare const WorkerOutcomeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
739
|
-
kind: z.ZodLiteral<"completed">;
|
|
740
|
-
summary: z.ZodOptional<z.ZodString>;
|
|
741
|
-
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
742
|
-
}, z.core.$strict>, z.ZodObject<{
|
|
743
|
-
kind: z.ZodEnum<{
|
|
744
|
-
blocked: "blocked";
|
|
745
|
-
needs_input: "needs_input";
|
|
746
|
-
replan_required: "replan_required";
|
|
747
|
-
}>;
|
|
748
|
-
summary: z.ZodString;
|
|
749
|
-
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
750
|
-
}, z.core.$strict>], "kind">;
|
|
751
|
-
export declare const WorkerResultSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
752
|
-
status: z.ZodLiteral<"ok">;
|
|
753
|
-
operationId: z.ZodString;
|
|
754
|
-
expectedRevision: z.ZodNumber;
|
|
755
|
-
expectedSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
756
|
-
requestDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
757
|
-
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
758
|
-
summary: z.ZodString;
|
|
759
|
-
artifactsChanged: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
760
|
-
path: z.ZodString;
|
|
761
|
-
}, z.core.$strict>>>;
|
|
762
|
-
validationRun: z.ZodArray<z.ZodObject<{
|
|
763
|
-
command: z.ZodString;
|
|
764
|
-
status: z.ZodEnum<{
|
|
765
|
-
failed: "failed";
|
|
766
|
-
passed: "passed";
|
|
767
|
-
}>;
|
|
768
|
-
summary: z.ZodString;
|
|
769
|
-
}, z.core.$strict>>;
|
|
770
|
-
validationScope: z.ZodEnum<{
|
|
771
|
-
broad: "broad";
|
|
772
|
-
targeted: "targeted";
|
|
773
|
-
}>;
|
|
774
|
-
featureReviewDepth: z.ZodEnum<{
|
|
775
|
-
detailed: "detailed";
|
|
776
|
-
quick: "quick";
|
|
777
|
-
standard: "standard";
|
|
778
|
-
}>;
|
|
779
|
-
featureReview: z.ZodObject<{
|
|
780
|
-
status: z.ZodEnum<{
|
|
781
|
-
failed: "failed";
|
|
782
|
-
passed: "passed";
|
|
783
|
-
}>;
|
|
784
|
-
summary: z.ZodString;
|
|
785
|
-
blockingFindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
786
|
-
summary: z.ZodString;
|
|
787
|
-
severity: z.ZodDefault<z.ZodEnum<{
|
|
788
|
-
advisory: "advisory";
|
|
789
|
-
blocking: "blocking";
|
|
790
|
-
}>>;
|
|
791
|
-
}, z.core.$strict>>>;
|
|
792
|
-
}, z.core.$strict>;
|
|
793
|
-
finalReview: z.ZodOptional<z.ZodObject<{
|
|
794
|
-
status: z.ZodEnum<{
|
|
795
|
-
failed: "failed";
|
|
796
|
-
passed: "passed";
|
|
797
|
-
}>;
|
|
798
|
-
summary: z.ZodString;
|
|
799
|
-
blockingFindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
800
|
-
summary: z.ZodString;
|
|
801
|
-
severity: z.ZodDefault<z.ZodEnum<{
|
|
802
|
-
advisory: "advisory";
|
|
803
|
-
blocking: "blocking";
|
|
804
|
-
}>>;
|
|
805
|
-
}, z.core.$strict>>>;
|
|
806
|
-
reviewDepth: z.ZodEnum<{
|
|
807
|
-
broad: "broad";
|
|
808
|
-
detailed: "detailed";
|
|
809
|
-
}>;
|
|
810
|
-
}, z.core.$strict>>;
|
|
811
|
-
outcome: z.ZodOptional<z.ZodObject<{
|
|
812
|
-
kind: z.ZodLiteral<"completed">;
|
|
813
|
-
summary: z.ZodOptional<z.ZodString>;
|
|
814
|
-
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
815
|
-
}, z.core.$strict>>;
|
|
816
|
-
reviewExecutions: z.ZodArray<z.ZodObject<{
|
|
817
|
-
attemptId: z.ZodString;
|
|
818
|
-
logicalPassId: z.ZodString;
|
|
819
|
-
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
820
|
-
reviewKind: z.ZodEnum<{
|
|
821
|
-
feature: "feature";
|
|
822
|
-
final: "final";
|
|
823
|
-
}>;
|
|
824
|
-
reviewSnapshotId: z.ZodPipe<z.ZodString, z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
|
|
825
|
-
verdict: z.ZodEnum<{
|
|
826
|
-
failed: "failed";
|
|
827
|
-
passed: "passed";
|
|
828
|
-
}>;
|
|
829
|
-
startedAt: z.ZodString;
|
|
830
|
-
completedAt: z.ZodString;
|
|
831
|
-
terminalDisposition: z.ZodEnum<{
|
|
832
|
-
observed_unsubmitted: "observed_unsubmitted";
|
|
833
|
-
submitted: "submitted";
|
|
834
|
-
}>;
|
|
835
|
-
findings: z.ZodArray<z.ZodObject<{
|
|
836
|
-
taxonomy: z.ZodEnum<{
|
|
837
|
-
advisory: "advisory";
|
|
838
|
-
evidence_gap: "evidence_gap";
|
|
839
|
-
implementation_defect: "implementation_defect";
|
|
840
|
-
regression_coverage_gap: "regression_coverage_gap";
|
|
841
|
-
}>;
|
|
842
|
-
subject: z.ZodString;
|
|
843
|
-
requirementOrRisk: z.ZodString;
|
|
844
|
-
evidenceLocator: z.ZodString;
|
|
845
|
-
summary: z.ZodString;
|
|
846
|
-
severity: z.ZodEnum<{
|
|
847
|
-
advisory: "advisory";
|
|
848
|
-
blocking: "blocking";
|
|
849
|
-
}>;
|
|
850
|
-
}, z.core.$strict>>;
|
|
851
|
-
}, z.core.$strict>>;
|
|
852
|
-
evidence: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
853
|
-
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
854
|
-
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
855
|
-
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
856
|
-
startedAt: z.ZodString;
|
|
857
|
-
completedAt: z.ZodString;
|
|
858
|
-
commandClass: z.ZodEnum<{
|
|
859
|
-
build: "build";
|
|
860
|
-
format: "format";
|
|
861
|
-
lint: "lint";
|
|
862
|
-
other: "other";
|
|
863
|
-
smoke: "smoke";
|
|
864
|
-
test: "test";
|
|
865
|
-
typecheck: "typecheck";
|
|
866
|
-
}>;
|
|
867
|
-
exitCode: z.ZodNumber;
|
|
868
|
-
outputDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
869
|
-
artifactRef: z.ZodOptional<z.ZodObject<{
|
|
870
|
-
kind: z.ZodLiteral<"restricted_evidence_v1">;
|
|
871
|
-
digest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
872
|
-
byteLength: z.ZodNumber;
|
|
873
|
-
}, z.core.$strict>>;
|
|
874
|
-
environmentKeys: z.ZodArray<z.ZodString>;
|
|
875
|
-
kind: z.ZodLiteral<"validation">;
|
|
876
|
-
}, z.core.$strict>, z.ZodObject<{
|
|
877
|
-
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
878
|
-
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
879
|
-
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
880
|
-
startedAt: z.ZodString;
|
|
881
|
-
completedAt: z.ZodString;
|
|
882
|
-
kind: z.ZodLiteral<"review">;
|
|
883
|
-
attemptId: z.ZodString;
|
|
884
|
-
packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
885
|
-
}, z.core.$strict>], "kind">>;
|
|
886
|
-
orchestrationPasses: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
887
|
-
id: z.ZodString;
|
|
888
|
-
kind: z.ZodEnum<{
|
|
889
|
-
audit: "audit";
|
|
890
|
-
candidate: "candidate";
|
|
891
|
-
discovery: "discovery";
|
|
892
|
-
"implementation-decision": "implementation-decision";
|
|
893
|
-
review: "review";
|
|
894
|
-
validation: "validation";
|
|
895
|
-
verification: "verification";
|
|
896
|
-
}>;
|
|
897
|
-
decision: z.ZodOptional<z.ZodEnum<{
|
|
898
|
-
"candidate-exact-path": "candidate-exact-path";
|
|
899
|
-
"candidate-worktree": "candidate-worktree";
|
|
900
|
-
parallel: "parallel";
|
|
901
|
-
serial: "serial";
|
|
902
|
-
skipped: "skipped";
|
|
903
|
-
tournament: "tournament";
|
|
904
|
-
}>>;
|
|
905
|
-
decisionReason: z.ZodOptional<z.ZodString>;
|
|
906
|
-
candidateEligibility: z.ZodDefault<z.ZodEnum<{
|
|
907
|
-
eligible: "eligible";
|
|
908
|
-
not_eligible: "not_eligible";
|
|
909
|
-
unknown: "unknown";
|
|
910
|
-
}>>;
|
|
911
|
-
candidateDecision: z.ZodOptional<z.ZodEnum<{
|
|
912
|
-
serial_required: "serial_required";
|
|
913
|
-
skipped: "skipped";
|
|
914
|
-
used: "used";
|
|
915
|
-
}>>;
|
|
916
|
-
decisionFactors: z.ZodDefault<z.ZodArray<z.ZodEnum<{
|
|
917
|
-
independent_surface: "independent_surface";
|
|
918
|
-
needs_manager_judgment: "needs_manager_judgment";
|
|
919
|
-
overlapping_files: "overlapping_files";
|
|
920
|
-
shared_state: "shared_state";
|
|
921
|
-
small_slice: "small_slice";
|
|
922
|
-
validation_available: "validation_available";
|
|
923
|
-
}>>>;
|
|
924
|
-
modes: z.ZodDefault<z.ZodArray<z.ZodEnum<{
|
|
925
|
-
audit: "audit";
|
|
926
|
-
"candidate-implementation": "candidate-implementation";
|
|
927
|
-
evidence: "evidence";
|
|
928
|
-
review: "review";
|
|
929
|
-
validation: "validation";
|
|
930
|
-
verifier: "verifier";
|
|
931
|
-
}>>>;
|
|
932
|
-
workerCount: z.ZodDefault<z.ZodNumber>;
|
|
933
|
-
candidateWorkerCount: z.ZodDefault<z.ZodNumber>;
|
|
934
|
-
verifierWorkerCount: z.ZodDefault<z.ZodNumber>;
|
|
935
|
-
sliceIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
936
|
-
dependsOn: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
937
|
-
writeScope: z.ZodDefault<z.ZodEnum<{
|
|
938
|
-
"exact-path": "exact-path";
|
|
939
|
-
"isolated-worktree": "isolated-worktree";
|
|
940
|
-
"manager-serial": "manager-serial";
|
|
941
|
-
mixed: "mixed";
|
|
942
|
-
none: "none";
|
|
943
|
-
}>>;
|
|
944
|
-
handoffRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
945
|
-
verificationStatus: z.ZodDefault<z.ZodEnum<{
|
|
946
|
-
downgraded: "downgraded";
|
|
947
|
-
failed: "failed";
|
|
948
|
-
mixed: "mixed";
|
|
949
|
-
"not-needed": "not-needed";
|
|
950
|
-
passed: "passed";
|
|
951
|
-
pending: "pending";
|
|
952
|
-
}>>;
|
|
953
|
-
outcome: z.ZodDefault<z.ZodEnum<{
|
|
954
|
-
accepted: "accepted";
|
|
955
|
-
modified: "modified";
|
|
956
|
-
"not-covered": "not-covered";
|
|
957
|
-
partial: "partial";
|
|
958
|
-
rejected: "rejected";
|
|
959
|
-
superseded: "superseded";
|
|
960
|
-
}>>;
|
|
961
|
-
synthesisRef: z.ZodOptional<z.ZodString>;
|
|
962
|
-
}, z.core.$strict>>>;
|
|
963
|
-
}, z.core.$strict>, z.ZodObject<{
|
|
964
|
-
status: z.ZodLiteral<"needs_input">;
|
|
965
|
-
operationId: z.ZodString;
|
|
966
|
-
expectedRevision: z.ZodNumber;
|
|
967
|
-
expectedSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
968
|
-
requestDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
969
|
-
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
970
|
-
summary: z.ZodString;
|
|
971
|
-
artifactsChanged: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
972
|
-
path: z.ZodString;
|
|
973
|
-
}, z.core.$strict>>>;
|
|
974
|
-
validationRun: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
975
|
-
command: z.ZodString;
|
|
976
|
-
status: z.ZodEnum<{
|
|
977
|
-
failed: "failed";
|
|
978
|
-
passed: "passed";
|
|
979
|
-
}>;
|
|
980
|
-
summary: z.ZodString;
|
|
981
|
-
}, z.core.$strict>>>;
|
|
982
|
-
validationScope: z.ZodOptional<z.ZodEnum<{
|
|
983
|
-
broad: "broad";
|
|
984
|
-
targeted: "targeted";
|
|
985
|
-
}>>;
|
|
986
|
-
featureReviewDepth: z.ZodOptional<z.ZodEnum<{
|
|
987
|
-
detailed: "detailed";
|
|
988
|
-
quick: "quick";
|
|
989
|
-
standard: "standard";
|
|
990
|
-
}>>;
|
|
991
|
-
featureReview: z.ZodOptional<z.ZodObject<{
|
|
992
|
-
status: z.ZodEnum<{
|
|
993
|
-
failed: "failed";
|
|
994
|
-
passed: "passed";
|
|
995
|
-
}>;
|
|
996
|
-
summary: z.ZodString;
|
|
997
|
-
blockingFindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
998
|
-
summary: z.ZodString;
|
|
999
|
-
severity: z.ZodDefault<z.ZodEnum<{
|
|
1000
|
-
advisory: "advisory";
|
|
1001
|
-
blocking: "blocking";
|
|
1002
|
-
}>>;
|
|
1003
|
-
}, z.core.$strict>>>;
|
|
1004
|
-
}, z.core.$strict>>;
|
|
1005
|
-
finalReview: z.ZodOptional<z.ZodObject<{
|
|
1006
|
-
status: z.ZodEnum<{
|
|
1007
|
-
failed: "failed";
|
|
1008
|
-
passed: "passed";
|
|
1009
|
-
}>;
|
|
1010
|
-
summary: z.ZodString;
|
|
1011
|
-
blockingFindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1012
|
-
summary: z.ZodString;
|
|
1013
|
-
severity: z.ZodDefault<z.ZodEnum<{
|
|
1014
|
-
advisory: "advisory";
|
|
1015
|
-
blocking: "blocking";
|
|
1016
|
-
}>>;
|
|
1017
|
-
}, z.core.$strict>>>;
|
|
1018
|
-
reviewDepth: z.ZodEnum<{
|
|
1019
|
-
broad: "broad";
|
|
1020
|
-
detailed: "detailed";
|
|
1021
|
-
}>;
|
|
1022
|
-
}, z.core.$strict>>;
|
|
1023
|
-
outcome: z.ZodObject<{
|
|
1024
|
-
kind: z.ZodEnum<{
|
|
1025
|
-
blocked: "blocked";
|
|
1026
|
-
needs_input: "needs_input";
|
|
1027
|
-
replan_required: "replan_required";
|
|
1028
|
-
}>;
|
|
1029
|
-
summary: z.ZodString;
|
|
1030
|
-
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
1031
|
-
}, z.core.$strict>;
|
|
1032
|
-
reviewExecutions: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1033
|
-
attemptId: z.ZodString;
|
|
1034
|
-
logicalPassId: z.ZodString;
|
|
1035
|
-
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
1036
|
-
reviewKind: z.ZodEnum<{
|
|
1037
|
-
feature: "feature";
|
|
1038
|
-
final: "final";
|
|
1039
|
-
}>;
|
|
1040
|
-
reviewSnapshotId: z.ZodPipe<z.ZodString, z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
|
|
1041
|
-
verdict: z.ZodEnum<{
|
|
1042
|
-
failed: "failed";
|
|
1043
|
-
passed: "passed";
|
|
1044
|
-
}>;
|
|
1045
|
-
startedAt: z.ZodString;
|
|
1046
|
-
completedAt: z.ZodString;
|
|
1047
|
-
terminalDisposition: z.ZodEnum<{
|
|
1048
|
-
observed_unsubmitted: "observed_unsubmitted";
|
|
1049
|
-
submitted: "submitted";
|
|
1050
|
-
}>;
|
|
1051
|
-
findings: z.ZodArray<z.ZodObject<{
|
|
1052
|
-
taxonomy: z.ZodEnum<{
|
|
1053
|
-
advisory: "advisory";
|
|
1054
|
-
evidence_gap: "evidence_gap";
|
|
1055
|
-
implementation_defect: "implementation_defect";
|
|
1056
|
-
regression_coverage_gap: "regression_coverage_gap";
|
|
1057
|
-
}>;
|
|
1058
|
-
subject: z.ZodString;
|
|
1059
|
-
requirementOrRisk: z.ZodString;
|
|
1060
|
-
evidenceLocator: z.ZodString;
|
|
1061
|
-
summary: z.ZodString;
|
|
1062
|
-
severity: z.ZodEnum<{
|
|
1063
|
-
advisory: "advisory";
|
|
1064
|
-
blocking: "blocking";
|
|
1065
|
-
}>;
|
|
1066
|
-
}, z.core.$strict>>;
|
|
1067
|
-
}, z.core.$strict>>>;
|
|
1068
|
-
evidence: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
1069
|
-
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1070
|
-
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1071
|
-
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1072
|
-
startedAt: z.ZodString;
|
|
1073
|
-
completedAt: z.ZodString;
|
|
1074
|
-
commandClass: z.ZodEnum<{
|
|
1075
|
-
build: "build";
|
|
1076
|
-
format: "format";
|
|
1077
|
-
lint: "lint";
|
|
1078
|
-
other: "other";
|
|
1079
|
-
smoke: "smoke";
|
|
1080
|
-
test: "test";
|
|
1081
|
-
typecheck: "typecheck";
|
|
1082
|
-
}>;
|
|
1083
|
-
exitCode: z.ZodNumber;
|
|
1084
|
-
outputDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1085
|
-
artifactRef: z.ZodOptional<z.ZodObject<{
|
|
1086
|
-
kind: z.ZodLiteral<"restricted_evidence_v1">;
|
|
1087
|
-
digest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1088
|
-
byteLength: z.ZodNumber;
|
|
1089
|
-
}, z.core.$strict>>;
|
|
1090
|
-
environmentKeys: z.ZodArray<z.ZodString>;
|
|
1091
|
-
kind: z.ZodLiteral<"validation">;
|
|
1092
|
-
}, z.core.$strict>, z.ZodObject<{
|
|
1093
|
-
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1094
|
-
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1095
|
-
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1096
|
-
startedAt: z.ZodString;
|
|
1097
|
-
completedAt: z.ZodString;
|
|
1098
|
-
kind: z.ZodLiteral<"review">;
|
|
1099
|
-
attemptId: z.ZodString;
|
|
1100
|
-
packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1101
|
-
}, z.core.$strict>], "kind">>>;
|
|
1102
|
-
orchestrationPasses: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1103
|
-
id: z.ZodString;
|
|
1104
|
-
kind: z.ZodEnum<{
|
|
1105
|
-
audit: "audit";
|
|
1106
|
-
candidate: "candidate";
|
|
1107
|
-
discovery: "discovery";
|
|
1108
|
-
"implementation-decision": "implementation-decision";
|
|
1109
|
-
review: "review";
|
|
1110
|
-
validation: "validation";
|
|
1111
|
-
verification: "verification";
|
|
1112
|
-
}>;
|
|
1113
|
-
decision: z.ZodOptional<z.ZodEnum<{
|
|
1114
|
-
"candidate-exact-path": "candidate-exact-path";
|
|
1115
|
-
"candidate-worktree": "candidate-worktree";
|
|
1116
|
-
parallel: "parallel";
|
|
1117
|
-
serial: "serial";
|
|
1118
|
-
skipped: "skipped";
|
|
1119
|
-
tournament: "tournament";
|
|
1120
|
-
}>>;
|
|
1121
|
-
decisionReason: z.ZodOptional<z.ZodString>;
|
|
1122
|
-
candidateEligibility: z.ZodDefault<z.ZodEnum<{
|
|
1123
|
-
eligible: "eligible";
|
|
1124
|
-
not_eligible: "not_eligible";
|
|
1125
|
-
unknown: "unknown";
|
|
1126
|
-
}>>;
|
|
1127
|
-
candidateDecision: z.ZodOptional<z.ZodEnum<{
|
|
1128
|
-
serial_required: "serial_required";
|
|
1129
|
-
skipped: "skipped";
|
|
1130
|
-
used: "used";
|
|
1131
|
-
}>>;
|
|
1132
|
-
decisionFactors: z.ZodDefault<z.ZodArray<z.ZodEnum<{
|
|
1133
|
-
independent_surface: "independent_surface";
|
|
1134
|
-
needs_manager_judgment: "needs_manager_judgment";
|
|
1135
|
-
overlapping_files: "overlapping_files";
|
|
1136
|
-
shared_state: "shared_state";
|
|
1137
|
-
small_slice: "small_slice";
|
|
1138
|
-
validation_available: "validation_available";
|
|
1139
|
-
}>>>;
|
|
1140
|
-
modes: z.ZodDefault<z.ZodArray<z.ZodEnum<{
|
|
1141
|
-
audit: "audit";
|
|
1142
|
-
"candidate-implementation": "candidate-implementation";
|
|
1143
|
-
evidence: "evidence";
|
|
1144
|
-
review: "review";
|
|
1145
|
-
validation: "validation";
|
|
1146
|
-
verifier: "verifier";
|
|
1147
|
-
}>>>;
|
|
1148
|
-
workerCount: z.ZodDefault<z.ZodNumber>;
|
|
1149
|
-
candidateWorkerCount: z.ZodDefault<z.ZodNumber>;
|
|
1150
|
-
verifierWorkerCount: z.ZodDefault<z.ZodNumber>;
|
|
1151
|
-
sliceIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
1152
|
-
dependsOn: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
1153
|
-
writeScope: z.ZodDefault<z.ZodEnum<{
|
|
1154
|
-
"exact-path": "exact-path";
|
|
1155
|
-
"isolated-worktree": "isolated-worktree";
|
|
1156
|
-
"manager-serial": "manager-serial";
|
|
1157
|
-
mixed: "mixed";
|
|
1158
|
-
none: "none";
|
|
1159
|
-
}>>;
|
|
1160
|
-
handoffRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
1161
|
-
verificationStatus: z.ZodDefault<z.ZodEnum<{
|
|
1162
|
-
downgraded: "downgraded";
|
|
1163
|
-
failed: "failed";
|
|
1164
|
-
mixed: "mixed";
|
|
1165
|
-
"not-needed": "not-needed";
|
|
1166
|
-
passed: "passed";
|
|
661
|
+
summary: z.ZodString;
|
|
662
|
+
overview: z.ZodString;
|
|
663
|
+
requirements: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
664
|
+
decisions: z.ZodDefault<z.ZodArray<z.ZodString>>;
|
|
665
|
+
finalReviewPolicy: z.ZodOptional<z.ZodEnum<{
|
|
666
|
+
broad: "broad";
|
|
667
|
+
detailed: "detailed";
|
|
668
|
+
}>>;
|
|
669
|
+
features: z.ZodArray<z.ZodObject<{
|
|
670
|
+
id: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
671
|
+
title: z.ZodString;
|
|
672
|
+
summary: z.ZodString;
|
|
673
|
+
status: z.ZodOptional<z.ZodEnum<{
|
|
674
|
+
blocked: "blocked";
|
|
675
|
+
completed: "completed";
|
|
676
|
+
in_progress: "in_progress";
|
|
1167
677
|
pending: "pending";
|
|
1168
678
|
}>>;
|
|
1169
|
-
|
|
1170
|
-
|
|
1171
|
-
|
|
1172
|
-
|
|
1173
|
-
partial: "partial";
|
|
1174
|
-
rejected: "rejected";
|
|
1175
|
-
superseded: "superseded";
|
|
679
|
+
reviewDepth: z.ZodOptional<z.ZodEnum<{
|
|
680
|
+
detailed: "detailed";
|
|
681
|
+
quick: "quick";
|
|
682
|
+
standard: "standard";
|
|
1176
683
|
}>>;
|
|
1177
|
-
|
|
1178
|
-
|
|
1179
|
-
|
|
684
|
+
targets: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
685
|
+
validation: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
686
|
+
dependsOn: z.ZodOptional<z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>>>;
|
|
687
|
+
}, z.core.$strict>>;
|
|
688
|
+
}, z.core.$strict>;
|
|
689
|
+
export declare const CompletedExecutionOutcomeSchema: z.ZodObject<{
|
|
690
|
+
kind: z.ZodLiteral<"completed">;
|
|
691
|
+
summary: z.ZodOptional<z.ZodString>;
|
|
692
|
+
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
693
|
+
}, z.core.$strict>;
|
|
694
|
+
export declare const BlockedExecutionOutcomeSchema: z.ZodObject<{
|
|
695
|
+
kind: z.ZodLiteral<"blocked">;
|
|
696
|
+
summary: z.ZodString;
|
|
697
|
+
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
698
|
+
}, z.core.$strict>;
|
|
699
|
+
export declare const ExecutionOutcomeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
700
|
+
kind: z.ZodLiteral<"completed">;
|
|
701
|
+
summary: z.ZodOptional<z.ZodString>;
|
|
702
|
+
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
703
|
+
}, z.core.$strict>, z.ZodObject<{
|
|
704
|
+
kind: z.ZodLiteral<"blocked">;
|
|
705
|
+
summary: z.ZodString;
|
|
706
|
+
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
707
|
+
}, z.core.$strict>], "kind">;
|
|
1180
708
|
export declare const ExecutionHistoryEntrySchema: z.ZodObject<{
|
|
709
|
+
featureRunId: z.ZodString;
|
|
1181
710
|
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
1182
711
|
status: z.ZodEnum<{
|
|
1183
712
|
blocked: "blocked";
|
|
1184
713
|
completed: "completed";
|
|
1185
|
-
needs_input: "needs_input";
|
|
1186
714
|
}>;
|
|
1187
715
|
summary: z.ZodString;
|
|
1188
716
|
recordedAt: z.ZodString;
|
|
1189
717
|
artifactsChanged: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1190
718
|
path: z.ZodString;
|
|
1191
719
|
}, z.core.$strict>>>;
|
|
1192
|
-
|
|
1193
|
-
command: z.ZodString;
|
|
1194
|
-
status: z.ZodEnum<{
|
|
1195
|
-
failed: "failed";
|
|
1196
|
-
passed: "passed";
|
|
1197
|
-
}>;
|
|
1198
|
-
summary: z.ZodString;
|
|
1199
|
-
}, z.core.$strict>>>;
|
|
1200
|
-
validationScope: z.ZodOptional<z.ZodEnum<{
|
|
720
|
+
validationScope: z.ZodEnum<{
|
|
1201
721
|
broad: "broad";
|
|
1202
722
|
targeted: "targeted";
|
|
1203
|
-
}
|
|
1204
|
-
|
|
1205
|
-
|
|
1206
|
-
|
|
1207
|
-
standard: "standard";
|
|
1208
|
-
}>>;
|
|
1209
|
-
featureReview: z.ZodOptional<z.ZodObject<{
|
|
1210
|
-
status: z.ZodEnum<{
|
|
1211
|
-
failed: "failed";
|
|
1212
|
-
passed: "passed";
|
|
1213
|
-
}>;
|
|
1214
|
-
summary: z.ZodString;
|
|
1215
|
-
blockingFindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1216
|
-
summary: z.ZodString;
|
|
1217
|
-
severity: z.ZodDefault<z.ZodEnum<{
|
|
1218
|
-
advisory: "advisory";
|
|
1219
|
-
blocking: "blocking";
|
|
1220
|
-
}>>;
|
|
1221
|
-
}, z.core.$strict>>>;
|
|
1222
|
-
}, z.core.$strict>>;
|
|
1223
|
-
finalReview: z.ZodOptional<z.ZodObject<{
|
|
1224
|
-
status: z.ZodEnum<{
|
|
1225
|
-
failed: "failed";
|
|
1226
|
-
passed: "passed";
|
|
1227
|
-
}>;
|
|
1228
|
-
summary: z.ZodString;
|
|
1229
|
-
blockingFindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1230
|
-
summary: z.ZodString;
|
|
1231
|
-
severity: z.ZodDefault<z.ZodEnum<{
|
|
1232
|
-
advisory: "advisory";
|
|
1233
|
-
blocking: "blocking";
|
|
1234
|
-
}>>;
|
|
1235
|
-
}, z.core.$strict>>>;
|
|
1236
|
-
reviewDepth: z.ZodEnum<{
|
|
1237
|
-
broad: "broad";
|
|
1238
|
-
detailed: "detailed";
|
|
1239
|
-
}>;
|
|
1240
|
-
}, z.core.$strict>>;
|
|
1241
|
-
outcome: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
723
|
+
}>;
|
|
724
|
+
validationEvidenceRefs: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
|
|
725
|
+
reviewAssignmentIds: z.ZodArray<z.ZodString>;
|
|
726
|
+
outcome: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
1242
727
|
kind: z.ZodLiteral<"completed">;
|
|
1243
728
|
summary: z.ZodOptional<z.ZodString>;
|
|
1244
729
|
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
1245
730
|
}, z.core.$strict>, z.ZodObject<{
|
|
1246
|
-
kind: z.
|
|
1247
|
-
blocked: "blocked";
|
|
1248
|
-
needs_input: "needs_input";
|
|
1249
|
-
replan_required: "replan_required";
|
|
1250
|
-
}>;
|
|
731
|
+
kind: z.ZodLiteral<"blocked">;
|
|
1251
732
|
summary: z.ZodString;
|
|
1252
733
|
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
1253
|
-
}, z.core.$strict>], "kind"
|
|
734
|
+
}, z.core.$strict>], "kind">;
|
|
1254
735
|
orchestrationPasses: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1255
736
|
id: z.ZodString;
|
|
1256
737
|
kind: z.ZodEnum<{
|
|
@@ -1332,8 +813,10 @@ export declare const ExecutionHistoryEntrySchema: z.ZodObject<{
|
|
|
1332
813
|
export declare const BudgetTelemetrySchema: z.ZodObject<{
|
|
1333
814
|
reviewCount: z.ZodDefault<z.ZodNumber>;
|
|
1334
815
|
failedReviewCount: z.ZodDefault<z.ZodNumber>;
|
|
1335
|
-
|
|
816
|
+
failedReviewAttemptsByFeatureRun: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodNumber>>;
|
|
1336
817
|
reviewExecutions: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
818
|
+
assignmentId: z.ZodString;
|
|
819
|
+
featureRunId: z.ZodString;
|
|
1337
820
|
attemptId: z.ZodString;
|
|
1338
821
|
logicalPassId: z.ZodString;
|
|
1339
822
|
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
@@ -1474,8 +957,99 @@ export declare const BudgetTelemetrySchema: z.ZodObject<{
|
|
|
1474
957
|
}, z.core.$strict>>>;
|
|
1475
958
|
}, z.core.$strict>>;
|
|
1476
959
|
}, z.core.$strict>;
|
|
960
|
+
export declare const FeatureRunSchema: z.ZodObject<{
|
|
961
|
+
id: z.ZodString;
|
|
962
|
+
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
963
|
+
sequence: z.ZodNumber;
|
|
964
|
+
status: z.ZodEnum<{
|
|
965
|
+
abandoned: "abandoned";
|
|
966
|
+
active: "active";
|
|
967
|
+
blocked: "blocked";
|
|
968
|
+
completed: "completed";
|
|
969
|
+
deferred: "deferred";
|
|
970
|
+
reset: "reset";
|
|
971
|
+
}>;
|
|
972
|
+
startedAt: z.ZodString;
|
|
973
|
+
endedAt: z.ZodNullable<z.ZodString>;
|
|
974
|
+
}, z.core.$strict>;
|
|
975
|
+
export declare const ReviewAssignmentSchema: z.ZodObject<{
|
|
976
|
+
id: z.ZodString;
|
|
977
|
+
operationId: z.ZodString;
|
|
978
|
+
featureRunId: z.ZodString;
|
|
979
|
+
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
980
|
+
reviewKind: z.ZodEnum<{
|
|
981
|
+
feature: "feature";
|
|
982
|
+
final: "final";
|
|
983
|
+
}>;
|
|
984
|
+
validationScope: z.ZodEnum<{
|
|
985
|
+
broad: "broad";
|
|
986
|
+
targeted: "targeted";
|
|
987
|
+
}>;
|
|
988
|
+
validationEvidenceRefs: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
|
|
989
|
+
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
990
|
+
packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
991
|
+
packetSummary: z.ZodString;
|
|
992
|
+
riskLenses: z.ZodArray<z.ZodString>;
|
|
993
|
+
prerequisite: z.ZodNullable<z.ZodObject<{
|
|
994
|
+
assignmentId: z.ZodString;
|
|
995
|
+
result: z.ZodObject<{
|
|
996
|
+
assignmentId: z.ZodString;
|
|
997
|
+
verdict: z.ZodEnum<{
|
|
998
|
+
failed: "failed";
|
|
999
|
+
passed: "passed";
|
|
1000
|
+
}>;
|
|
1001
|
+
findings: z.ZodArray<z.ZodObject<{
|
|
1002
|
+
taxonomy: z.ZodEnum<{
|
|
1003
|
+
advisory: "advisory";
|
|
1004
|
+
evidence_gap: "evidence_gap";
|
|
1005
|
+
implementation_defect: "implementation_defect";
|
|
1006
|
+
regression_coverage_gap: "regression_coverage_gap";
|
|
1007
|
+
}>;
|
|
1008
|
+
subject: z.ZodString;
|
|
1009
|
+
requirementOrRisk: z.ZodString;
|
|
1010
|
+
evidenceLocator: z.ZodString;
|
|
1011
|
+
summary: z.ZodString;
|
|
1012
|
+
severity: z.ZodEnum<{
|
|
1013
|
+
advisory: "advisory";
|
|
1014
|
+
blocking: "blocking";
|
|
1015
|
+
}>;
|
|
1016
|
+
}, z.core.$strict>>;
|
|
1017
|
+
completedAt: z.ZodString;
|
|
1018
|
+
terminalDisposition: z.ZodEnum<{
|
|
1019
|
+
observed_unsubmitted: "observed_unsubmitted";
|
|
1020
|
+
submitted: "submitted";
|
|
1021
|
+
}>;
|
|
1022
|
+
}, z.core.$strict>;
|
|
1023
|
+
resultDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1024
|
+
}, z.core.$strict>>;
|
|
1025
|
+
attemptId: z.ZodString;
|
|
1026
|
+
logicalPassId: z.ZodString;
|
|
1027
|
+
startedAt: z.ZodString;
|
|
1028
|
+
requiredDepth: z.ZodUnion<readonly [z.ZodEnum<{
|
|
1029
|
+
detailed: "detailed";
|
|
1030
|
+
quick: "quick";
|
|
1031
|
+
standard: "standard";
|
|
1032
|
+
}>, z.ZodEnum<{
|
|
1033
|
+
broad: "broad";
|
|
1034
|
+
detailed: "detailed";
|
|
1035
|
+
}>]>;
|
|
1036
|
+
status: z.ZodEnum<{
|
|
1037
|
+
invalidated: "invalidated";
|
|
1038
|
+
observed_unsubmitted: "observed_unsubmitted";
|
|
1039
|
+
pending: "pending";
|
|
1040
|
+
submitted: "submitted";
|
|
1041
|
+
}>;
|
|
1042
|
+
completedAt: z.ZodNullable<z.ZodString>;
|
|
1043
|
+
invalidatedAt: z.ZodNullable<z.ZodString>;
|
|
1044
|
+
invalidationReason: z.ZodNullable<z.ZodEnum<{
|
|
1045
|
+
feature_reset: "feature_reset";
|
|
1046
|
+
session_abandoned: "session_abandoned";
|
|
1047
|
+
session_deferred: "session_deferred";
|
|
1048
|
+
source_changed: "source_changed";
|
|
1049
|
+
}>>;
|
|
1050
|
+
}, z.core.$strict>;
|
|
1477
1051
|
export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
1478
|
-
version: z.ZodLiteral<
|
|
1052
|
+
version: z.ZodLiteral<4>;
|
|
1479
1053
|
id: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").SessionId, string>>;
|
|
1480
1054
|
goal: z.ZodString;
|
|
1481
1055
|
status: z.ZodEnum<{
|
|
@@ -1519,80 +1093,125 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
1519
1093
|
}, z.core.$strict>>;
|
|
1520
1094
|
}, z.core.$strict>>;
|
|
1521
1095
|
activeFeatureId: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>>;
|
|
1096
|
+
activeFeatureRunId: z.ZodNullable<z.ZodString>;
|
|
1097
|
+
featureRuns: z.ZodArray<z.ZodObject<{
|
|
1098
|
+
id: z.ZodString;
|
|
1099
|
+
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
1100
|
+
sequence: z.ZodNumber;
|
|
1101
|
+
status: z.ZodEnum<{
|
|
1102
|
+
abandoned: "abandoned";
|
|
1103
|
+
active: "active";
|
|
1104
|
+
blocked: "blocked";
|
|
1105
|
+
completed: "completed";
|
|
1106
|
+
deferred: "deferred";
|
|
1107
|
+
reset: "reset";
|
|
1108
|
+
}>;
|
|
1109
|
+
startedAt: z.ZodString;
|
|
1110
|
+
endedAt: z.ZodNullable<z.ZodString>;
|
|
1111
|
+
}, z.core.$strict>>;
|
|
1112
|
+
reviewAssignments: z.ZodArray<z.ZodObject<{
|
|
1113
|
+
id: z.ZodString;
|
|
1114
|
+
operationId: z.ZodString;
|
|
1115
|
+
featureRunId: z.ZodString;
|
|
1116
|
+
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
1117
|
+
reviewKind: z.ZodEnum<{
|
|
1118
|
+
feature: "feature";
|
|
1119
|
+
final: "final";
|
|
1120
|
+
}>;
|
|
1121
|
+
validationScope: z.ZodEnum<{
|
|
1122
|
+
broad: "broad";
|
|
1123
|
+
targeted: "targeted";
|
|
1124
|
+
}>;
|
|
1125
|
+
validationEvidenceRefs: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
|
|
1126
|
+
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1127
|
+
packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1128
|
+
packetSummary: z.ZodString;
|
|
1129
|
+
riskLenses: z.ZodArray<z.ZodString>;
|
|
1130
|
+
prerequisite: z.ZodNullable<z.ZodObject<{
|
|
1131
|
+
assignmentId: z.ZodString;
|
|
1132
|
+
result: z.ZodObject<{
|
|
1133
|
+
assignmentId: z.ZodString;
|
|
1134
|
+
verdict: z.ZodEnum<{
|
|
1135
|
+
failed: "failed";
|
|
1136
|
+
passed: "passed";
|
|
1137
|
+
}>;
|
|
1138
|
+
findings: z.ZodArray<z.ZodObject<{
|
|
1139
|
+
taxonomy: z.ZodEnum<{
|
|
1140
|
+
advisory: "advisory";
|
|
1141
|
+
evidence_gap: "evidence_gap";
|
|
1142
|
+
implementation_defect: "implementation_defect";
|
|
1143
|
+
regression_coverage_gap: "regression_coverage_gap";
|
|
1144
|
+
}>;
|
|
1145
|
+
subject: z.ZodString;
|
|
1146
|
+
requirementOrRisk: z.ZodString;
|
|
1147
|
+
evidenceLocator: z.ZodString;
|
|
1148
|
+
summary: z.ZodString;
|
|
1149
|
+
severity: z.ZodEnum<{
|
|
1150
|
+
advisory: "advisory";
|
|
1151
|
+
blocking: "blocking";
|
|
1152
|
+
}>;
|
|
1153
|
+
}, z.core.$strict>>;
|
|
1154
|
+
completedAt: z.ZodString;
|
|
1155
|
+
terminalDisposition: z.ZodEnum<{
|
|
1156
|
+
observed_unsubmitted: "observed_unsubmitted";
|
|
1157
|
+
submitted: "submitted";
|
|
1158
|
+
}>;
|
|
1159
|
+
}, z.core.$strict>;
|
|
1160
|
+
resultDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1161
|
+
}, z.core.$strict>>;
|
|
1162
|
+
attemptId: z.ZodString;
|
|
1163
|
+
logicalPassId: z.ZodString;
|
|
1164
|
+
startedAt: z.ZodString;
|
|
1165
|
+
requiredDepth: z.ZodUnion<readonly [z.ZodEnum<{
|
|
1166
|
+
detailed: "detailed";
|
|
1167
|
+
quick: "quick";
|
|
1168
|
+
standard: "standard";
|
|
1169
|
+
}>, z.ZodEnum<{
|
|
1170
|
+
broad: "broad";
|
|
1171
|
+
detailed: "detailed";
|
|
1172
|
+
}>]>;
|
|
1173
|
+
status: z.ZodEnum<{
|
|
1174
|
+
invalidated: "invalidated";
|
|
1175
|
+
observed_unsubmitted: "observed_unsubmitted";
|
|
1176
|
+
pending: "pending";
|
|
1177
|
+
submitted: "submitted";
|
|
1178
|
+
}>;
|
|
1179
|
+
completedAt: z.ZodNullable<z.ZodString>;
|
|
1180
|
+
invalidatedAt: z.ZodNullable<z.ZodString>;
|
|
1181
|
+
invalidationReason: z.ZodNullable<z.ZodEnum<{
|
|
1182
|
+
feature_reset: "feature_reset";
|
|
1183
|
+
session_abandoned: "session_abandoned";
|
|
1184
|
+
session_deferred: "session_deferred";
|
|
1185
|
+
source_changed: "source_changed";
|
|
1186
|
+
}>>;
|
|
1187
|
+
}, z.core.$strict>>;
|
|
1522
1188
|
history: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1189
|
+
featureRunId: z.ZodString;
|
|
1523
1190
|
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
1524
1191
|
status: z.ZodEnum<{
|
|
1525
1192
|
blocked: "blocked";
|
|
1526
1193
|
completed: "completed";
|
|
1527
|
-
needs_input: "needs_input";
|
|
1528
1194
|
}>;
|
|
1529
1195
|
summary: z.ZodString;
|
|
1530
1196
|
recordedAt: z.ZodString;
|
|
1531
1197
|
artifactsChanged: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1532
1198
|
path: z.ZodString;
|
|
1533
1199
|
}, z.core.$strict>>>;
|
|
1534
|
-
|
|
1535
|
-
command: z.ZodString;
|
|
1536
|
-
status: z.ZodEnum<{
|
|
1537
|
-
failed: "failed";
|
|
1538
|
-
passed: "passed";
|
|
1539
|
-
}>;
|
|
1540
|
-
summary: z.ZodString;
|
|
1541
|
-
}, z.core.$strict>>>;
|
|
1542
|
-
validationScope: z.ZodOptional<z.ZodEnum<{
|
|
1200
|
+
validationScope: z.ZodEnum<{
|
|
1543
1201
|
broad: "broad";
|
|
1544
1202
|
targeted: "targeted";
|
|
1545
|
-
}
|
|
1546
|
-
|
|
1547
|
-
|
|
1548
|
-
|
|
1549
|
-
standard: "standard";
|
|
1550
|
-
}>>;
|
|
1551
|
-
featureReview: z.ZodOptional<z.ZodObject<{
|
|
1552
|
-
status: z.ZodEnum<{
|
|
1553
|
-
failed: "failed";
|
|
1554
|
-
passed: "passed";
|
|
1555
|
-
}>;
|
|
1556
|
-
summary: z.ZodString;
|
|
1557
|
-
blockingFindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1558
|
-
summary: z.ZodString;
|
|
1559
|
-
severity: z.ZodDefault<z.ZodEnum<{
|
|
1560
|
-
advisory: "advisory";
|
|
1561
|
-
blocking: "blocking";
|
|
1562
|
-
}>>;
|
|
1563
|
-
}, z.core.$strict>>>;
|
|
1564
|
-
}, z.core.$strict>>;
|
|
1565
|
-
finalReview: z.ZodOptional<z.ZodObject<{
|
|
1566
|
-
status: z.ZodEnum<{
|
|
1567
|
-
failed: "failed";
|
|
1568
|
-
passed: "passed";
|
|
1569
|
-
}>;
|
|
1570
|
-
summary: z.ZodString;
|
|
1571
|
-
blockingFindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1572
|
-
summary: z.ZodString;
|
|
1573
|
-
severity: z.ZodDefault<z.ZodEnum<{
|
|
1574
|
-
advisory: "advisory";
|
|
1575
|
-
blocking: "blocking";
|
|
1576
|
-
}>>;
|
|
1577
|
-
}, z.core.$strict>>>;
|
|
1578
|
-
reviewDepth: z.ZodEnum<{
|
|
1579
|
-
broad: "broad";
|
|
1580
|
-
detailed: "detailed";
|
|
1581
|
-
}>;
|
|
1582
|
-
}, z.core.$strict>>;
|
|
1583
|
-
outcome: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
1203
|
+
}>;
|
|
1204
|
+
validationEvidenceRefs: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
|
|
1205
|
+
reviewAssignmentIds: z.ZodArray<z.ZodString>;
|
|
1206
|
+
outcome: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
1584
1207
|
kind: z.ZodLiteral<"completed">;
|
|
1585
1208
|
summary: z.ZodOptional<z.ZodString>;
|
|
1586
1209
|
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
1587
1210
|
}, z.core.$strict>, z.ZodObject<{
|
|
1588
|
-
kind: z.
|
|
1589
|
-
blocked: "blocked";
|
|
1590
|
-
needs_input: "needs_input";
|
|
1591
|
-
replan_required: "replan_required";
|
|
1592
|
-
}>;
|
|
1211
|
+
kind: z.ZodLiteral<"blocked">;
|
|
1593
1212
|
summary: z.ZodString;
|
|
1594
1213
|
resolutionHint: z.ZodOptional<z.ZodString>;
|
|
1595
|
-
}, z.core.$strict>], "kind"
|
|
1214
|
+
}, z.core.$strict>], "kind">;
|
|
1596
1215
|
orchestrationPasses: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1597
1216
|
id: z.ZodString;
|
|
1598
1217
|
kind: z.ZodEnum<{
|
|
@@ -1674,8 +1293,10 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
1674
1293
|
budget: z.ZodPrefault<z.ZodObject<{
|
|
1675
1294
|
reviewCount: z.ZodDefault<z.ZodNumber>;
|
|
1676
1295
|
failedReviewCount: z.ZodDefault<z.ZodNumber>;
|
|
1677
|
-
|
|
1296
|
+
failedReviewAttemptsByFeatureRun: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodNumber>>;
|
|
1678
1297
|
reviewExecutions: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
1298
|
+
assignmentId: z.ZodString;
|
|
1299
|
+
featureRunId: z.ZodString;
|
|
1679
1300
|
attemptId: z.ZodString;
|
|
1680
1301
|
logicalPassId: z.ZodString;
|
|
1681
1302
|
featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
|
|
@@ -1816,23 +1437,23 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
1816
1437
|
}, z.core.$strict>>>;
|
|
1817
1438
|
}, z.core.$strict>>;
|
|
1818
1439
|
}, z.core.$strict>>;
|
|
1819
|
-
causal: z.
|
|
1440
|
+
causal: z.ZodObject<{
|
|
1820
1441
|
revision: z.ZodNumber;
|
|
1821
1442
|
genesisSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1822
1443
|
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1823
1444
|
mutations: z.ZodArray<z.ZodObject<{
|
|
1824
1445
|
operationId: z.ZodString;
|
|
1825
1446
|
operationKind: z.ZodEnum<{
|
|
1826
|
-
evidence_record: "evidence_record";
|
|
1827
1447
|
feature_complete: "feature_complete";
|
|
1828
1448
|
feature_reset: "feature_reset";
|
|
1829
1449
|
plan_approve: "plan_approve";
|
|
1830
1450
|
plan_save: "plan_save";
|
|
1831
|
-
|
|
1451
|
+
review_start: "review_start";
|
|
1832
1452
|
run_start: "run_start";
|
|
1833
1453
|
session_close: "session_close";
|
|
1834
1454
|
}>;
|
|
1835
1455
|
requestDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1456
|
+
featureRunId: z.ZodNullable<z.ZodString>;
|
|
1836
1457
|
priorMutationDigest: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
|
|
1837
1458
|
mutationDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1838
1459
|
priorRevision: z.ZodNumber;
|
|
@@ -1862,6 +1483,9 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
1862
1483
|
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1863
1484
|
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1864
1485
|
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1486
|
+
featureRunId: z.ZodString;
|
|
1487
|
+
capturedAtRevision: z.ZodNumber;
|
|
1488
|
+
capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1865
1489
|
startedAt: z.ZodString;
|
|
1866
1490
|
completedAt: z.ZodString;
|
|
1867
1491
|
commandClass: z.ZodEnum<{
|
|
@@ -1882,17 +1506,22 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
1882
1506
|
}, z.core.$strict>>;
|
|
1883
1507
|
environmentKeys: z.ZodArray<z.ZodString>;
|
|
1884
1508
|
kind: z.ZodLiteral<"validation">;
|
|
1509
|
+
commandDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1885
1510
|
}, z.core.$strict>, z.ZodObject<{
|
|
1886
1511
|
evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1887
1512
|
snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1888
1513
|
sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1514
|
+
featureRunId: z.ZodString;
|
|
1515
|
+
capturedAtRevision: z.ZodNumber;
|
|
1516
|
+
capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1889
1517
|
startedAt: z.ZodString;
|
|
1890
1518
|
completedAt: z.ZodString;
|
|
1891
1519
|
kind: z.ZodLiteral<"review">;
|
|
1892
1520
|
attemptId: z.ZodString;
|
|
1521
|
+
assignmentId: z.ZodString;
|
|
1893
1522
|
packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
|
|
1894
1523
|
}, z.core.$strict>], "kind">>;
|
|
1895
|
-
}, z.core.$strict
|
|
1524
|
+
}, z.core.$strict>;
|
|
1896
1525
|
closure: z.ZodNullable<z.ZodObject<{
|
|
1897
1526
|
kind: z.ZodEnum<{
|
|
1898
1527
|
abandoned: "abandoned";
|
|
@@ -1901,6 +1530,7 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
1901
1530
|
}>;
|
|
1902
1531
|
summary: z.ZodString;
|
|
1903
1532
|
recordedAt: z.ZodString;
|
|
1533
|
+
retryOperationId: z.ZodString;
|
|
1904
1534
|
}, z.core.$strict>>;
|
|
1905
1535
|
lastError: z.ZodDefault<z.ZodNullable<z.ZodObject<{
|
|
1906
1536
|
tool: z.ZodString;
|
|
@@ -1914,7 +1544,7 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
1914
1544
|
completedAt: z.ZodNullable<z.ZodString>;
|
|
1915
1545
|
}, z.core.$strict>;
|
|
1916
1546
|
}, z.core.$strict>, z.ZodTransform<Session, {
|
|
1917
|
-
version:
|
|
1547
|
+
version: 4;
|
|
1918
1548
|
id: import("../domain/session.js").SessionId;
|
|
1919
1549
|
goal: string;
|
|
1920
1550
|
status: "blocked" | "completed" | "planning" | "ready" | "running";
|
|
@@ -1937,47 +1567,75 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
1937
1567
|
}[];
|
|
1938
1568
|
} | null;
|
|
1939
1569
|
activeFeatureId: import("../domain/session.js").FeatureId | null;
|
|
1570
|
+
activeFeatureRunId: string | null;
|
|
1571
|
+
featureRuns: {
|
|
1572
|
+
id: string;
|
|
1573
|
+
featureId: import("../domain/session.js").FeatureId;
|
|
1574
|
+
sequence: number;
|
|
1575
|
+
status: "abandoned" | "active" | "blocked" | "completed" | "deferred" | "reset";
|
|
1576
|
+
startedAt: string;
|
|
1577
|
+
endedAt: string | null;
|
|
1578
|
+
}[];
|
|
1579
|
+
reviewAssignments: {
|
|
1580
|
+
id: string;
|
|
1581
|
+
operationId: string;
|
|
1582
|
+
featureRunId: string;
|
|
1583
|
+
featureId: import("../domain/session.js").FeatureId;
|
|
1584
|
+
reviewKind: "feature" | "final";
|
|
1585
|
+
validationScope: "broad" | "targeted";
|
|
1586
|
+
validationEvidenceRefs: `sha256:${string}`[];
|
|
1587
|
+
sourceDigest: `sha256:${string}`;
|
|
1588
|
+
packetDigest: `sha256:${string}`;
|
|
1589
|
+
packetSummary: string;
|
|
1590
|
+
riskLenses: string[];
|
|
1591
|
+
prerequisite: {
|
|
1592
|
+
assignmentId: string;
|
|
1593
|
+
result: {
|
|
1594
|
+
assignmentId: string;
|
|
1595
|
+
verdict: "failed" | "passed";
|
|
1596
|
+
findings: {
|
|
1597
|
+
taxonomy: "advisory" | "evidence_gap" | "implementation_defect" | "regression_coverage_gap";
|
|
1598
|
+
subject: string;
|
|
1599
|
+
requirementOrRisk: string;
|
|
1600
|
+
evidenceLocator: string;
|
|
1601
|
+
summary: string;
|
|
1602
|
+
severity: "advisory" | "blocking";
|
|
1603
|
+
}[];
|
|
1604
|
+
completedAt: string;
|
|
1605
|
+
terminalDisposition: "observed_unsubmitted" | "submitted";
|
|
1606
|
+
};
|
|
1607
|
+
resultDigest: `sha256:${string}`;
|
|
1608
|
+
} | null;
|
|
1609
|
+
attemptId: string;
|
|
1610
|
+
logicalPassId: string;
|
|
1611
|
+
startedAt: string;
|
|
1612
|
+
requiredDepth: "broad" | "detailed" | "quick" | "standard";
|
|
1613
|
+
status: "invalidated" | "observed_unsubmitted" | "pending" | "submitted";
|
|
1614
|
+
completedAt: string | null;
|
|
1615
|
+
invalidatedAt: string | null;
|
|
1616
|
+
invalidationReason: "feature_reset" | "session_abandoned" | "session_deferred" | "source_changed" | null;
|
|
1617
|
+
}[];
|
|
1940
1618
|
history: {
|
|
1619
|
+
featureRunId: string;
|
|
1941
1620
|
featureId: import("../domain/session.js").FeatureId;
|
|
1942
|
-
status: "blocked" | "completed"
|
|
1621
|
+
status: "blocked" | "completed";
|
|
1943
1622
|
summary: string;
|
|
1944
1623
|
recordedAt: string;
|
|
1945
1624
|
artifactsChanged: {
|
|
1946
1625
|
path: string;
|
|
1947
1626
|
}[];
|
|
1948
|
-
|
|
1949
|
-
|
|
1950
|
-
|
|
1951
|
-
|
|
1952
|
-
}[];
|
|
1953
|
-
validationScope?: "broad" | "targeted" | undefined;
|
|
1954
|
-
featureReviewDepth?: "detailed" | "quick" | "standard" | undefined;
|
|
1955
|
-
featureReview?: {
|
|
1956
|
-
status: "failed" | "passed";
|
|
1957
|
-
summary: string;
|
|
1958
|
-
blockingFindings: {
|
|
1959
|
-
summary: string;
|
|
1960
|
-
severity: "advisory" | "blocking";
|
|
1961
|
-
}[];
|
|
1962
|
-
} | undefined;
|
|
1963
|
-
finalReview?: {
|
|
1964
|
-
status: "failed" | "passed";
|
|
1965
|
-
summary: string;
|
|
1966
|
-
blockingFindings: {
|
|
1967
|
-
summary: string;
|
|
1968
|
-
severity: "advisory" | "blocking";
|
|
1969
|
-
}[];
|
|
1970
|
-
reviewDepth: "broad" | "detailed";
|
|
1971
|
-
} | undefined;
|
|
1972
|
-
outcome?: {
|
|
1627
|
+
validationScope: "broad" | "targeted";
|
|
1628
|
+
validationEvidenceRefs: `sha256:${string}`[];
|
|
1629
|
+
reviewAssignmentIds: string[];
|
|
1630
|
+
outcome: {
|
|
1973
1631
|
kind: "completed";
|
|
1974
1632
|
summary?: string | undefined;
|
|
1975
1633
|
resolutionHint?: string | undefined;
|
|
1976
1634
|
} | {
|
|
1977
|
-
kind: "blocked"
|
|
1635
|
+
kind: "blocked";
|
|
1978
1636
|
summary: string;
|
|
1979
1637
|
resolutionHint?: string | undefined;
|
|
1980
|
-
}
|
|
1638
|
+
};
|
|
1981
1639
|
orchestrationPasses: {
|
|
1982
1640
|
id: string;
|
|
1983
1641
|
kind: "audit" | "candidate" | "discovery" | "implementation-decision" | "review" | "validation" | "verification";
|
|
@@ -2002,8 +1660,10 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
2002
1660
|
budget: {
|
|
2003
1661
|
reviewCount: number;
|
|
2004
1662
|
failedReviewCount: number;
|
|
2005
|
-
|
|
1663
|
+
failedReviewAttemptsByFeatureRun: Record<string, number>;
|
|
2006
1664
|
reviewExecutions: {
|
|
1665
|
+
assignmentId: string;
|
|
1666
|
+
featureRunId: string;
|
|
2007
1667
|
attemptId: string;
|
|
2008
1668
|
logicalPassId: string;
|
|
2009
1669
|
featureId: import("../domain/session.js").FeatureId;
|
|
@@ -2070,14 +1730,15 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
2070
1730
|
}[];
|
|
2071
1731
|
};
|
|
2072
1732
|
};
|
|
2073
|
-
causal
|
|
1733
|
+
causal: {
|
|
2074
1734
|
revision: number;
|
|
2075
1735
|
genesisSnapshotId: `sha256:${string}`;
|
|
2076
1736
|
snapshotId: `sha256:${string}`;
|
|
2077
1737
|
mutations: {
|
|
2078
1738
|
operationId: string;
|
|
2079
|
-
operationKind: "
|
|
1739
|
+
operationKind: "feature_complete" | "feature_reset" | "plan_approve" | "plan_save" | "review_start" | "run_start" | "session_close";
|
|
2080
1740
|
requestDigest: `sha256:${string}`;
|
|
1741
|
+
featureRunId: string | null;
|
|
2081
1742
|
priorMutationDigest: `sha256:${string}` | null;
|
|
2082
1743
|
mutationDigest: `sha256:${string}`;
|
|
2083
1744
|
priorRevision: number;
|
|
@@ -2100,6 +1761,9 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
2100
1761
|
evidenceId: `sha256:${string}`;
|
|
2101
1762
|
snapshotId: `sha256:${string}`;
|
|
2102
1763
|
sourceDigest: `sha256:${string}`;
|
|
1764
|
+
featureRunId: string;
|
|
1765
|
+
capturedAtRevision: number;
|
|
1766
|
+
capturedAtSnapshotId: `sha256:${string}`;
|
|
2103
1767
|
startedAt: string;
|
|
2104
1768
|
completedAt: string;
|
|
2105
1769
|
commandClass: "build" | "format" | "lint" | "other" | "smoke" | "test" | "typecheck";
|
|
@@ -2112,21 +1776,27 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
2112
1776
|
} | undefined;
|
|
2113
1777
|
environmentKeys: string[];
|
|
2114
1778
|
kind: "validation";
|
|
1779
|
+
commandDigest: `sha256:${string}`;
|
|
2115
1780
|
} | {
|
|
2116
1781
|
evidenceId: `sha256:${string}`;
|
|
2117
1782
|
snapshotId: `sha256:${string}`;
|
|
2118
1783
|
sourceDigest: `sha256:${string}`;
|
|
1784
|
+
featureRunId: string;
|
|
1785
|
+
capturedAtRevision: number;
|
|
1786
|
+
capturedAtSnapshotId: `sha256:${string}`;
|
|
2119
1787
|
startedAt: string;
|
|
2120
1788
|
completedAt: string;
|
|
2121
1789
|
kind: "review";
|
|
2122
1790
|
attemptId: string;
|
|
1791
|
+
assignmentId: string;
|
|
2123
1792
|
packetDigest: `sha256:${string}`;
|
|
2124
1793
|
})[];
|
|
2125
|
-
}
|
|
1794
|
+
};
|
|
2126
1795
|
closure: {
|
|
2127
1796
|
kind: "abandoned" | "completed" | "deferred";
|
|
2128
1797
|
summary: string;
|
|
2129
1798
|
recordedAt: string;
|
|
1799
|
+
retryOperationId: string;
|
|
2130
1800
|
} | null;
|
|
2131
1801
|
lastError: {
|
|
2132
1802
|
tool: string;
|
|
@@ -2140,4 +1810,4 @@ export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
|
|
|
2140
1810
|
completedAt: string | null;
|
|
2141
1811
|
};
|
|
2142
1812
|
}>>;
|
|
2143
|
-
export type { Artifact, BudgetTelemetry, CausalMutationRecord, CausalState, EvidenceId, EvidenceRecord, ExecutionHistoryEntry, Feature, FeatureReviewDepth,
|
|
1813
|
+
export type { Artifact, BoundReviewPrerequisite, BudgetTelemetry, CausalMutationRecord, CausalState, EvidenceId, EvidenceRecord, ExecutionHistoryEntry, Feature, FeatureReviewDepth, FeatureRun, FeatureRunId, ObservedReviewWorkerLedger, OrchestrationPassRecord, OrchestrationTelemetry, Plan, PlanInput, ReviewAssignment, ReviewAssignmentId, ReviewAssignmentResultInput, ReviewExecution, ReviewExecutionFinding, ReviewExecutionFindingInput, ReviewExecutionInput, ReviewFindingTaxonomy, ReviewLifecycleTelemetry, Session, SnapshotId, } from "../domain/session.js";
|