@openspecui/core 6.0.0-beta.0 → 6.0.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/dist/{cli-projection-DxnVGm2B.d.mts → cli-projection-D97_RM6V.d.mts} +9 -9
- package/dist/cli-projection.d.mts +5 -5
- package/dist/{command-result-fkH3Ekdz.d.mts → command-result-CfME21jF.d.mts} +66 -66
- package/dist/dashboard-display.d.mts +22 -1
- package/dist/dashboard-display.mjs +42 -1
- package/dist/{dashboard-summary-transport-D2VBAIxg.mjs → dashboard-summary-transport-CYBuU4iT.mjs} +14 -0
- package/dist/{dashboard-summary-transport-CQ4is5_e.d.mts → dashboard-summary-transport-CwQpcPXI.d.mts} +5687 -4351
- package/dist/dashboard-summary-transport.d.mts +17 -17
- package/dist/dashboard-summary-transport.mjs +1 -1
- package/dist/{document-translation-D50BnvVh.d.mts → document-translation-D9bhVMu9.d.mts} +102 -102
- package/dist/document-translation.d.mts +1 -1
- package/dist/{hosted-app-BPU4OR41.mjs → hosted-app-Y7yqlPBG.mjs} +1 -1
- package/dist/hosted-app.d.mts +17 -17
- package/dist/hosted-app.mjs +2 -2
- package/dist/{hosted-contract-CcRnb51e.mjs → hosted-contract-BuhF_tuQ.mjs} +5 -2
- package/dist/hosted-contract.d.mts +17 -17
- package/dist/hosted-contract.mjs +1 -1
- package/dist/index.d.mts +17 -17
- package/dist/index.mjs +7 -4
- package/dist/{local-download-profiles-BL_rtlVM.d.mts → local-download-profiles-D0EDIDY3.d.mts} +1 -1
- package/dist/local-download-profiles.d.mts +2 -2
- package/dist/{notifications-CgJlLgLO.d.mts → notifications-APukMHjf.d.mts} +4 -4
- package/dist/notifications.d.mts +2 -2
- package/dist/{openspec-projection-RohNZI4p.d.mts → openspec-projection-CeRyRol_.d.mts} +1 -1
- package/dist/openspec-projection.d.mts +2 -2
- package/dist/{opsx-entity-D7kDQsze.d.mts → opsx-entity-O_EFhltR.d.mts} +2 -2
- package/dist/opsx-entity.d.mts +7 -7
- package/dist/{opsx-schema-detail-BxDXEwDY.d.mts → opsx-schema-detail-BTksrDp1.d.mts} +2 -2
- package/dist/opsx-schema-detail.d.mts +8 -8
- package/dist/{opsx-types-BJ8AjhrS.d.mts → opsx-types-BYSPqX85.d.mts} +288 -288
- package/dist/planning-cli-projection.d.mts +17 -17
- package/dist/{schemas-DS-JqAJ2.d.mts → schemas-BLWVYKEk.d.mts} +218 -218
- package/dist/{sounds-qhRgCy0F.d.mts → sounds-BLspIXhv.d.mts} +9 -9
- package/dist/sounds.d.mts +1 -1
- package/dist/spec-catalog.d.mts +17 -17
- package/dist/{store-mutation-protocol-5tfs-RmD.d.mts → store-mutation-protocol-B6AF69kW.d.mts} +48 -48
- package/dist/store-mutation-protocol.d.mts +1 -1
- package/dist/{store-types-b554wAQJ.d.mts → store-types-pd0g35dI.d.mts} +1 -1
- package/dist/store-types.d.mts +5 -5
- package/dist/task-progress.d.mts +6 -6
- package/dist/{terminal-audio-tXDm_EDe.d.mts → terminal-audio-DuJNjIJ3.d.mts} +2 -2
- package/dist/terminal-audio.d.mts +2 -2
- package/dist/terminal-control.d.mts +2 -2
- package/dist/{terminal-invocation-BOvxThym.d.mts → terminal-invocation-C4EE7MeN.d.mts} +58 -58
- package/dist/terminal-invocation.d.mts +1 -1
- package/dist/{translator-NKv1wo3o.d.mts → translator-BgYwP0UT.d.mts} +170 -170
- package/dist/translator.d.mts +1 -1
- package/package.json +1 -1
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import { n as CliJsonValue } from "./command-result-
|
|
2
|
-
import { n as ChangeFile, v as Task } from "./schemas-
|
|
1
|
+
import { n as CliJsonValue } from "./command-result-CfME21jF.mjs";
|
|
2
|
+
import { n as ChangeFile, v as Task } from "./schemas-BLWVYKEk.mjs";
|
|
3
3
|
import { z } from "zod";
|
|
4
4
|
|
|
5
5
|
//#region src/task-progress.d.ts
|
|
@@ -405,13 +405,13 @@ declare const ArtifactStatusSchema: z.ZodObject<{
|
|
|
405
405
|
missingDeps: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
406
406
|
relativePath: z.ZodOptional<z.ZodString>;
|
|
407
407
|
}, "strip", z.ZodTypeAny, {
|
|
408
|
-
status: "
|
|
408
|
+
status: "done" | "ready" | "blocked";
|
|
409
409
|
id: string;
|
|
410
410
|
outputPath: string;
|
|
411
411
|
missingDeps?: string[] | undefined;
|
|
412
412
|
relativePath?: string | undefined;
|
|
413
413
|
}, {
|
|
414
|
-
status: "
|
|
414
|
+
status: "done" | "ready" | "blocked";
|
|
415
415
|
id: string;
|
|
416
416
|
outputPath: string;
|
|
417
417
|
missingDeps?: string[] | undefined;
|
|
@@ -430,13 +430,13 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
430
430
|
missingDeps: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
431
431
|
relativePath: z.ZodOptional<z.ZodString>;
|
|
432
432
|
}, "strip", z.ZodTypeAny, {
|
|
433
|
-
status: "
|
|
433
|
+
status: "done" | "ready" | "blocked";
|
|
434
434
|
id: string;
|
|
435
435
|
outputPath: string;
|
|
436
436
|
missingDeps?: string[] | undefined;
|
|
437
437
|
relativePath?: string | undefined;
|
|
438
438
|
}, {
|
|
439
|
-
status: "
|
|
439
|
+
status: "done" | "ready" | "blocked";
|
|
440
440
|
id: string;
|
|
441
441
|
outputPath: string;
|
|
442
442
|
missingDeps?: string[] | undefined;
|
|
@@ -685,32 +685,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
685
685
|
} & {
|
|
686
686
|
[k: string]: unknown;
|
|
687
687
|
};
|
|
688
|
-
evidence: {
|
|
689
|
-
success: boolean;
|
|
690
|
-
stdout: string;
|
|
691
|
-
stderr: string;
|
|
692
|
-
exitCode: number | null;
|
|
693
|
-
payload: CliJsonValue;
|
|
694
|
-
diagnostics: z.objectOutputType<{
|
|
695
|
-
severity: z.ZodEnum<["error", "warning", "info"]>;
|
|
696
|
-
code: z.ZodString;
|
|
697
|
-
message: z.ZodString;
|
|
698
|
-
target: z.ZodOptional<z.ZodString>;
|
|
699
|
-
fix: z.ZodOptional<z.ZodString>;
|
|
700
|
-
}, z.ZodTypeAny, "passthrough">[];
|
|
701
|
-
command: "status";
|
|
702
|
-
selector: {
|
|
703
|
-
store?: string | undefined;
|
|
704
|
-
};
|
|
705
|
-
contractError?: string | undefined;
|
|
706
|
-
root?: z.objectOutputType<{
|
|
707
|
-
path: z.ZodString;
|
|
708
|
-
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
709
|
-
store_id: z.ZodOptional<z.ZodString>;
|
|
710
|
-
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
711
|
-
} & {
|
|
712
|
-
[k: string]: unknown;
|
|
713
|
-
};
|
|
714
688
|
planningHome: {
|
|
715
689
|
kind: "repo";
|
|
716
690
|
root: string;
|
|
@@ -739,38 +713,38 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
739
713
|
} & {
|
|
740
714
|
[k: string]: unknown;
|
|
741
715
|
};
|
|
742
|
-
}, {
|
|
743
|
-
kind: "cli";
|
|
744
|
-
root: {
|
|
745
|
-
path: string;
|
|
746
|
-
source: "store" | "declared" | "nearest" | "implicit";
|
|
747
|
-
store_id?: string | undefined;
|
|
748
|
-
} & {
|
|
749
|
-
[k: string]: unknown;
|
|
750
|
-
};
|
|
751
716
|
evidence: {
|
|
717
|
+
command: "status";
|
|
752
718
|
success: boolean;
|
|
753
719
|
stdout: string;
|
|
754
720
|
stderr: string;
|
|
755
721
|
exitCode: number | null;
|
|
756
722
|
payload: CliJsonValue;
|
|
757
|
-
diagnostics: z.
|
|
723
|
+
diagnostics: z.objectOutputType<{
|
|
758
724
|
severity: z.ZodEnum<["error", "warning", "info"]>;
|
|
759
725
|
code: z.ZodString;
|
|
760
726
|
message: z.ZodString;
|
|
761
727
|
target: z.ZodOptional<z.ZodString>;
|
|
762
728
|
fix: z.ZodOptional<z.ZodString>;
|
|
763
729
|
}, z.ZodTypeAny, "passthrough">[];
|
|
764
|
-
command: "status";
|
|
765
730
|
selector: {
|
|
766
731
|
store?: string | undefined;
|
|
767
732
|
};
|
|
768
|
-
|
|
769
|
-
root?: z.objectInputType<{
|
|
733
|
+
root?: z.objectOutputType<{
|
|
770
734
|
path: z.ZodString;
|
|
771
735
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
772
736
|
store_id: z.ZodOptional<z.ZodString>;
|
|
773
737
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
738
|
+
contractError?: string | undefined;
|
|
739
|
+
} & {
|
|
740
|
+
[k: string]: unknown;
|
|
741
|
+
};
|
|
742
|
+
}, {
|
|
743
|
+
kind: "cli";
|
|
744
|
+
root: {
|
|
745
|
+
path: string;
|
|
746
|
+
source: "store" | "declared" | "nearest" | "implicit";
|
|
747
|
+
store_id?: string | undefined;
|
|
774
748
|
} & {
|
|
775
749
|
[k: string]: unknown;
|
|
776
750
|
};
|
|
@@ -802,6 +776,32 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
802
776
|
} & {
|
|
803
777
|
[k: string]: unknown;
|
|
804
778
|
};
|
|
779
|
+
evidence: {
|
|
780
|
+
command: "status";
|
|
781
|
+
success: boolean;
|
|
782
|
+
stdout: string;
|
|
783
|
+
stderr: string;
|
|
784
|
+
exitCode: number | null;
|
|
785
|
+
payload: CliJsonValue;
|
|
786
|
+
diagnostics: z.objectInputType<{
|
|
787
|
+
severity: z.ZodEnum<["error", "warning", "info"]>;
|
|
788
|
+
code: z.ZodString;
|
|
789
|
+
message: z.ZodString;
|
|
790
|
+
target: z.ZodOptional<z.ZodString>;
|
|
791
|
+
fix: z.ZodOptional<z.ZodString>;
|
|
792
|
+
}, z.ZodTypeAny, "passthrough">[];
|
|
793
|
+
selector: {
|
|
794
|
+
store?: string | undefined;
|
|
795
|
+
};
|
|
796
|
+
root?: z.objectInputType<{
|
|
797
|
+
path: z.ZodString;
|
|
798
|
+
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
799
|
+
store_id: z.ZodOptional<z.ZodString>;
|
|
800
|
+
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
801
|
+
contractError?: string | undefined;
|
|
802
|
+
} & {
|
|
803
|
+
[k: string]: unknown;
|
|
804
|
+
};
|
|
805
805
|
}>, z.ZodObject<{
|
|
806
806
|
kind: z.ZodLiteral<"static">;
|
|
807
807
|
}, "strip", z.ZodTypeAny, {
|
|
@@ -815,7 +815,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
815
815
|
isComplete: boolean;
|
|
816
816
|
applyRequires: string[];
|
|
817
817
|
artifacts: {
|
|
818
|
-
status: "
|
|
818
|
+
status: "done" | "ready" | "blocked";
|
|
819
819
|
id: string;
|
|
820
820
|
outputPath: string;
|
|
821
821
|
missingDeps?: string[] | undefined;
|
|
@@ -830,32 +830,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
830
830
|
} & {
|
|
831
831
|
[k: string]: unknown;
|
|
832
832
|
};
|
|
833
|
-
evidence: {
|
|
834
|
-
success: boolean;
|
|
835
|
-
stdout: string;
|
|
836
|
-
stderr: string;
|
|
837
|
-
exitCode: number | null;
|
|
838
|
-
payload: CliJsonValue;
|
|
839
|
-
diagnostics: z.objectOutputType<{
|
|
840
|
-
severity: z.ZodEnum<["error", "warning", "info"]>;
|
|
841
|
-
code: z.ZodString;
|
|
842
|
-
message: z.ZodString;
|
|
843
|
-
target: z.ZodOptional<z.ZodString>;
|
|
844
|
-
fix: z.ZodOptional<z.ZodString>;
|
|
845
|
-
}, z.ZodTypeAny, "passthrough">[];
|
|
846
|
-
command: "status";
|
|
847
|
-
selector: {
|
|
848
|
-
store?: string | undefined;
|
|
849
|
-
};
|
|
850
|
-
contractError?: string | undefined;
|
|
851
|
-
root?: z.objectOutputType<{
|
|
852
|
-
path: z.ZodString;
|
|
853
|
-
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
854
|
-
store_id: z.ZodOptional<z.ZodString>;
|
|
855
|
-
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
856
|
-
} & {
|
|
857
|
-
[k: string]: unknown;
|
|
858
|
-
};
|
|
859
833
|
planningHome: {
|
|
860
834
|
kind: "repo";
|
|
861
835
|
root: string;
|
|
@@ -884,6 +858,32 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
884
858
|
} & {
|
|
885
859
|
[k: string]: unknown;
|
|
886
860
|
};
|
|
861
|
+
evidence: {
|
|
862
|
+
command: "status";
|
|
863
|
+
success: boolean;
|
|
864
|
+
stdout: string;
|
|
865
|
+
stderr: string;
|
|
866
|
+
exitCode: number | null;
|
|
867
|
+
payload: CliJsonValue;
|
|
868
|
+
diagnostics: z.objectOutputType<{
|
|
869
|
+
severity: z.ZodEnum<["error", "warning", "info"]>;
|
|
870
|
+
code: z.ZodString;
|
|
871
|
+
message: z.ZodString;
|
|
872
|
+
target: z.ZodOptional<z.ZodString>;
|
|
873
|
+
fix: z.ZodOptional<z.ZodString>;
|
|
874
|
+
}, z.ZodTypeAny, "passthrough">[];
|
|
875
|
+
selector: {
|
|
876
|
+
store?: string | undefined;
|
|
877
|
+
};
|
|
878
|
+
root?: z.objectOutputType<{
|
|
879
|
+
path: z.ZodString;
|
|
880
|
+
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
881
|
+
store_id: z.ZodOptional<z.ZodString>;
|
|
882
|
+
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
883
|
+
contractError?: string | undefined;
|
|
884
|
+
} & {
|
|
885
|
+
[k: string]: unknown;
|
|
886
|
+
};
|
|
887
887
|
} | {
|
|
888
888
|
kind: "static";
|
|
889
889
|
};
|
|
@@ -893,7 +893,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
893
893
|
isComplete: boolean;
|
|
894
894
|
applyRequires: string[];
|
|
895
895
|
artifacts: {
|
|
896
|
-
status: "
|
|
896
|
+
status: "done" | "ready" | "blocked";
|
|
897
897
|
id: string;
|
|
898
898
|
outputPath: string;
|
|
899
899
|
missingDeps?: string[] | undefined;
|
|
@@ -908,32 +908,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
908
908
|
} & {
|
|
909
909
|
[k: string]: unknown;
|
|
910
910
|
};
|
|
911
|
-
evidence: {
|
|
912
|
-
success: boolean;
|
|
913
|
-
stdout: string;
|
|
914
|
-
stderr: string;
|
|
915
|
-
exitCode: number | null;
|
|
916
|
-
payload: CliJsonValue;
|
|
917
|
-
diagnostics: z.objectInputType<{
|
|
918
|
-
severity: z.ZodEnum<["error", "warning", "info"]>;
|
|
919
|
-
code: z.ZodString;
|
|
920
|
-
message: z.ZodString;
|
|
921
|
-
target: z.ZodOptional<z.ZodString>;
|
|
922
|
-
fix: z.ZodOptional<z.ZodString>;
|
|
923
|
-
}, z.ZodTypeAny, "passthrough">[];
|
|
924
|
-
command: "status";
|
|
925
|
-
selector: {
|
|
926
|
-
store?: string | undefined;
|
|
927
|
-
};
|
|
928
|
-
contractError?: string | undefined;
|
|
929
|
-
root?: z.objectInputType<{
|
|
930
|
-
path: z.ZodString;
|
|
931
|
-
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
932
|
-
store_id: z.ZodOptional<z.ZodString>;
|
|
933
|
-
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
934
|
-
} & {
|
|
935
|
-
[k: string]: unknown;
|
|
936
|
-
};
|
|
937
911
|
planningHome: {
|
|
938
912
|
kind: "repo";
|
|
939
913
|
root: string;
|
|
@@ -962,6 +936,32 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
962
936
|
} & {
|
|
963
937
|
[k: string]: unknown;
|
|
964
938
|
};
|
|
939
|
+
evidence: {
|
|
940
|
+
command: "status";
|
|
941
|
+
success: boolean;
|
|
942
|
+
stdout: string;
|
|
943
|
+
stderr: string;
|
|
944
|
+
exitCode: number | null;
|
|
945
|
+
payload: CliJsonValue;
|
|
946
|
+
diagnostics: z.objectInputType<{
|
|
947
|
+
severity: z.ZodEnum<["error", "warning", "info"]>;
|
|
948
|
+
code: z.ZodString;
|
|
949
|
+
message: z.ZodString;
|
|
950
|
+
target: z.ZodOptional<z.ZodString>;
|
|
951
|
+
fix: z.ZodOptional<z.ZodString>;
|
|
952
|
+
}, z.ZodTypeAny, "passthrough">[];
|
|
953
|
+
selector: {
|
|
954
|
+
store?: string | undefined;
|
|
955
|
+
};
|
|
956
|
+
root?: z.objectInputType<{
|
|
957
|
+
path: z.ZodString;
|
|
958
|
+
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
959
|
+
store_id: z.ZodOptional<z.ZodString>;
|
|
960
|
+
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
961
|
+
contractError?: string | undefined;
|
|
962
|
+
} & {
|
|
963
|
+
[k: string]: unknown;
|
|
964
|
+
};
|
|
965
965
|
} | {
|
|
966
966
|
kind: "static";
|
|
967
967
|
};
|
|
@@ -1284,12 +1284,12 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
|
|
|
1284
1284
|
remaining: z.ZodNumber;
|
|
1285
1285
|
}, "strip", z.ZodTypeAny, {
|
|
1286
1286
|
total: number;
|
|
1287
|
-
remaining: number;
|
|
1288
1287
|
complete: number;
|
|
1288
|
+
remaining: number;
|
|
1289
1289
|
}, {
|
|
1290
1290
|
total: number;
|
|
1291
|
-
remaining: number;
|
|
1292
1291
|
complete: number;
|
|
1292
|
+
remaining: number;
|
|
1293
1293
|
}>;
|
|
1294
1294
|
tracked: z.ZodObject<{
|
|
1295
1295
|
total: z.ZodNumber;
|
|
@@ -1297,96 +1297,93 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
|
|
|
1297
1297
|
remaining: z.ZodNumber;
|
|
1298
1298
|
phase: z.ZodEnum<["no-tasks", "in-progress", "complete"]>;
|
|
1299
1299
|
}, "strip", z.ZodTypeAny, {
|
|
1300
|
-
completed: number;
|
|
1301
1300
|
total: number;
|
|
1302
1301
|
remaining: number;
|
|
1303
|
-
phase: "no-tasks" | "in-progress" | "complete";
|
|
1304
|
-
}, {
|
|
1305
1302
|
completed: number;
|
|
1303
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
1304
|
+
}, {
|
|
1306
1305
|
total: number;
|
|
1307
1306
|
remaining: number;
|
|
1308
|
-
|
|
1307
|
+
completed: number;
|
|
1308
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
1309
1309
|
}>;
|
|
1310
1310
|
}, "strip", z.ZodTypeAny, {
|
|
1311
|
-
message: string;
|
|
1312
1311
|
kind: "tracked-task-mismatch";
|
|
1312
|
+
message: string;
|
|
1313
1313
|
apply: {
|
|
1314
1314
|
total: number;
|
|
1315
|
-
remaining: number;
|
|
1316
1315
|
complete: number;
|
|
1316
|
+
remaining: number;
|
|
1317
1317
|
};
|
|
1318
1318
|
tracked: {
|
|
1319
|
-
completed: number;
|
|
1320
1319
|
total: number;
|
|
1321
1320
|
remaining: number;
|
|
1322
|
-
|
|
1321
|
+
completed: number;
|
|
1322
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
1323
1323
|
};
|
|
1324
1324
|
}, {
|
|
1325
|
-
message: string;
|
|
1326
1325
|
kind: "tracked-task-mismatch";
|
|
1326
|
+
message: string;
|
|
1327
1327
|
apply: {
|
|
1328
1328
|
total: number;
|
|
1329
|
-
remaining: number;
|
|
1330
1329
|
complete: number;
|
|
1330
|
+
remaining: number;
|
|
1331
1331
|
};
|
|
1332
1332
|
tracked: {
|
|
1333
|
-
completed: number;
|
|
1334
1333
|
total: number;
|
|
1335
1334
|
remaining: number;
|
|
1336
|
-
|
|
1335
|
+
completed: number;
|
|
1336
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
1337
1337
|
};
|
|
1338
1338
|
}>>;
|
|
1339
1339
|
}, "strip", z.ZodTypeAny, {
|
|
1340
|
+
source: "openspec-instructions-apply";
|
|
1340
1341
|
state: "ready" | "blocked" | "all_done";
|
|
1341
1342
|
total: number;
|
|
1342
|
-
remaining: number;
|
|
1343
1343
|
complete: number;
|
|
1344
|
-
|
|
1344
|
+
remaining: number;
|
|
1345
1345
|
divergence: {
|
|
1346
|
-
message: string;
|
|
1347
1346
|
kind: "tracked-task-mismatch";
|
|
1347
|
+
message: string;
|
|
1348
1348
|
apply: {
|
|
1349
1349
|
total: number;
|
|
1350
|
-
remaining: number;
|
|
1351
1350
|
complete: number;
|
|
1351
|
+
remaining: number;
|
|
1352
1352
|
};
|
|
1353
1353
|
tracked: {
|
|
1354
|
-
completed: number;
|
|
1355
1354
|
total: number;
|
|
1356
1355
|
remaining: number;
|
|
1357
|
-
|
|
1356
|
+
completed: number;
|
|
1357
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
1358
1358
|
};
|
|
1359
1359
|
} | null;
|
|
1360
1360
|
}, {
|
|
1361
|
+
source: "openspec-instructions-apply";
|
|
1361
1362
|
state: "ready" | "blocked" | "all_done";
|
|
1362
1363
|
total: number;
|
|
1363
|
-
remaining: number;
|
|
1364
1364
|
complete: number;
|
|
1365
|
-
|
|
1365
|
+
remaining: number;
|
|
1366
1366
|
divergence: {
|
|
1367
|
-
message: string;
|
|
1368
1367
|
kind: "tracked-task-mismatch";
|
|
1368
|
+
message: string;
|
|
1369
1369
|
apply: {
|
|
1370
1370
|
total: number;
|
|
1371
|
-
remaining: number;
|
|
1372
1371
|
complete: number;
|
|
1372
|
+
remaining: number;
|
|
1373
1373
|
};
|
|
1374
1374
|
tracked: {
|
|
1375
|
-
completed: number;
|
|
1376
1375
|
total: number;
|
|
1377
1376
|
remaining: number;
|
|
1378
|
-
|
|
1377
|
+
completed: number;
|
|
1378
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
1379
1379
|
};
|
|
1380
1380
|
} | null;
|
|
1381
1381
|
}>;
|
|
1382
1382
|
}, "strip", z.ZodTypeAny, {
|
|
1383
|
-
|
|
1384
|
-
|
|
1385
|
-
id: string;
|
|
1386
|
-
done: boolean;
|
|
1387
|
-
description: string;
|
|
1388
|
-
}[];
|
|
1383
|
+
changeName: string;
|
|
1384
|
+
schemaName: string;
|
|
1389
1385
|
evidence: {
|
|
1386
|
+
command: "instructions apply";
|
|
1390
1387
|
success: boolean;
|
|
1391
1388
|
stdout: string;
|
|
1392
1389
|
stderr: string;
|
|
@@ -1399,43 +1396,46 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
|
|
|
1399
1396
|
target: z.ZodOptional<z.ZodString>;
|
|
1400
1397
|
fix: z.ZodOptional<z.ZodString>;
|
|
1401
1398
|
}, z.ZodTypeAny, "passthrough">[];
|
|
1402
|
-
command: "instructions apply";
|
|
1403
1399
|
selector: {
|
|
1404
1400
|
store?: string | undefined;
|
|
1405
1401
|
};
|
|
1406
|
-
contractError?: string | undefined;
|
|
1407
1402
|
root?: z.objectOutputType<{
|
|
1408
1403
|
path: z.ZodString;
|
|
1409
1404
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
1410
1405
|
store_id: z.ZodOptional<z.ZodString>;
|
|
1411
1406
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
1407
|
+
contractError?: string | undefined;
|
|
1412
1408
|
} & {
|
|
1413
1409
|
[k: string]: unknown;
|
|
1414
1410
|
};
|
|
1415
|
-
changeName: string;
|
|
1416
|
-
schemaName: string;
|
|
1417
1411
|
changeDir: string;
|
|
1418
1412
|
instruction: string;
|
|
1419
1413
|
contextFiles: Record<string, string[]>;
|
|
1414
|
+
tasks: {
|
|
1415
|
+
id: string;
|
|
1416
|
+
done: boolean;
|
|
1417
|
+
description: string;
|
|
1418
|
+
}[];
|
|
1419
|
+
state: "ready" | "blocked" | "all_done";
|
|
1420
1420
|
applyInstructionProgress: {
|
|
1421
|
+
source: "openspec-instructions-apply";
|
|
1421
1422
|
state: "ready" | "blocked" | "all_done";
|
|
1422
1423
|
total: number;
|
|
1423
|
-
remaining: number;
|
|
1424
1424
|
complete: number;
|
|
1425
|
-
|
|
1425
|
+
remaining: number;
|
|
1426
1426
|
divergence: {
|
|
1427
|
-
message: string;
|
|
1428
1427
|
kind: "tracked-task-mismatch";
|
|
1428
|
+
message: string;
|
|
1429
1429
|
apply: {
|
|
1430
1430
|
total: number;
|
|
1431
|
-
remaining: number;
|
|
1432
1431
|
complete: number;
|
|
1432
|
+
remaining: number;
|
|
1433
1433
|
};
|
|
1434
1434
|
tracked: {
|
|
1435
|
-
completed: number;
|
|
1436
1435
|
total: number;
|
|
1437
1436
|
remaining: number;
|
|
1438
|
-
|
|
1437
|
+
completed: number;
|
|
1438
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
1439
1439
|
};
|
|
1440
1440
|
} | null;
|
|
1441
1441
|
};
|
|
@@ -1476,13 +1476,10 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
|
|
|
1476
1476
|
}, z.ZodTypeAny, "passthrough">[] | undefined;
|
|
1477
1477
|
missingArtifacts?: string[] | undefined;
|
|
1478
1478
|
}, {
|
|
1479
|
-
|
|
1480
|
-
|
|
1481
|
-
id: string;
|
|
1482
|
-
done: boolean;
|
|
1483
|
-
description: string;
|
|
1484
|
-
}[];
|
|
1479
|
+
changeName: string;
|
|
1480
|
+
schemaName: string;
|
|
1485
1481
|
evidence: {
|
|
1482
|
+
command: "instructions apply";
|
|
1486
1483
|
success: boolean;
|
|
1487
1484
|
stdout: string;
|
|
1488
1485
|
stderr: string;
|
|
@@ -1495,43 +1492,46 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
|
|
|
1495
1492
|
target: z.ZodOptional<z.ZodString>;
|
|
1496
1493
|
fix: z.ZodOptional<z.ZodString>;
|
|
1497
1494
|
}, z.ZodTypeAny, "passthrough">[];
|
|
1498
|
-
command: "instructions apply";
|
|
1499
1495
|
selector: {
|
|
1500
1496
|
store?: string | undefined;
|
|
1501
1497
|
};
|
|
1502
|
-
contractError?: string | undefined;
|
|
1503
1498
|
root?: z.objectInputType<{
|
|
1504
1499
|
path: z.ZodString;
|
|
1505
1500
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
1506
1501
|
store_id: z.ZodOptional<z.ZodString>;
|
|
1507
1502
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
1503
|
+
contractError?: string | undefined;
|
|
1508
1504
|
} & {
|
|
1509
1505
|
[k: string]: unknown;
|
|
1510
1506
|
};
|
|
1511
|
-
changeName: string;
|
|
1512
|
-
schemaName: string;
|
|
1513
1507
|
changeDir: string;
|
|
1514
1508
|
instruction: string;
|
|
1515
1509
|
contextFiles: Record<string, string | string[]>;
|
|
1510
|
+
tasks: {
|
|
1511
|
+
id: string;
|
|
1512
|
+
done: boolean;
|
|
1513
|
+
description: string;
|
|
1514
|
+
}[];
|
|
1515
|
+
state: "ready" | "blocked" | "all_done";
|
|
1516
1516
|
applyInstructionProgress: {
|
|
1517
|
+
source: "openspec-instructions-apply";
|
|
1517
1518
|
state: "ready" | "blocked" | "all_done";
|
|
1518
1519
|
total: number;
|
|
1519
|
-
remaining: number;
|
|
1520
1520
|
complete: number;
|
|
1521
|
-
|
|
1521
|
+
remaining: number;
|
|
1522
1522
|
divergence: {
|
|
1523
|
-
message: string;
|
|
1524
1523
|
kind: "tracked-task-mismatch";
|
|
1524
|
+
message: string;
|
|
1525
1525
|
apply: {
|
|
1526
1526
|
total: number;
|
|
1527
|
-
remaining: number;
|
|
1528
1527
|
complete: number;
|
|
1528
|
+
remaining: number;
|
|
1529
1529
|
};
|
|
1530
1530
|
tracked: {
|
|
1531
|
-
completed: number;
|
|
1532
1531
|
total: number;
|
|
1533
1532
|
remaining: number;
|
|
1534
|
-
|
|
1533
|
+
completed: number;
|
|
1534
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
1535
1535
|
};
|
|
1536
1536
|
} | null;
|
|
1537
1537
|
};
|
|
@@ -1583,12 +1583,12 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
1583
1583
|
remaining: z.ZodNumber;
|
|
1584
1584
|
}, "strip", z.ZodTypeAny, {
|
|
1585
1585
|
total: number;
|
|
1586
|
-
remaining: number;
|
|
1587
1586
|
complete: number;
|
|
1587
|
+
remaining: number;
|
|
1588
1588
|
}, {
|
|
1589
1589
|
total: number;
|
|
1590
|
-
remaining: number;
|
|
1591
1590
|
complete: number;
|
|
1591
|
+
remaining: number;
|
|
1592
1592
|
}>;
|
|
1593
1593
|
tasks: z.ZodArray<z.ZodObject<{
|
|
1594
1594
|
id: z.ZodString;
|
|
@@ -1855,13 +1855,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
1855
1855
|
command: z.ZodLiteral<"instructions apply">;
|
|
1856
1856
|
}, z.ZodTypeAny, "passthrough">>;
|
|
1857
1857
|
}, "strip", z.ZodTypeAny, {
|
|
1858
|
-
|
|
1859
|
-
|
|
1860
|
-
id: string;
|
|
1861
|
-
done: boolean;
|
|
1862
|
-
description: string;
|
|
1863
|
-
}[];
|
|
1858
|
+
changeName: string;
|
|
1859
|
+
schemaName: string;
|
|
1864
1860
|
evidence: {
|
|
1861
|
+
command: "instructions apply";
|
|
1865
1862
|
success: boolean;
|
|
1866
1863
|
stdout: string;
|
|
1867
1864
|
stderr: string;
|
|
@@ -1874,28 +1871,31 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
1874
1871
|
target: z.ZodOptional<z.ZodString>;
|
|
1875
1872
|
fix: z.ZodOptional<z.ZodString>;
|
|
1876
1873
|
}, z.ZodTypeAny, "passthrough">[];
|
|
1877
|
-
command: "instructions apply";
|
|
1878
1874
|
selector: {
|
|
1879
1875
|
store?: string | undefined;
|
|
1880
1876
|
};
|
|
1881
|
-
contractError?: string | undefined;
|
|
1882
1877
|
root?: z.objectOutputType<{
|
|
1883
1878
|
path: z.ZodString;
|
|
1884
1879
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
1885
1880
|
store_id: z.ZodOptional<z.ZodString>;
|
|
1886
1881
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
1882
|
+
contractError?: string | undefined;
|
|
1887
1883
|
} & {
|
|
1888
1884
|
[k: string]: unknown;
|
|
1889
1885
|
};
|
|
1890
|
-
changeName: string;
|
|
1891
|
-
schemaName: string;
|
|
1892
1886
|
changeDir: string;
|
|
1893
1887
|
instruction: string;
|
|
1894
1888
|
contextFiles: Record<string, string[]>;
|
|
1889
|
+
tasks: {
|
|
1890
|
+
id: string;
|
|
1891
|
+
done: boolean;
|
|
1892
|
+
description: string;
|
|
1893
|
+
}[];
|
|
1894
|
+
state: "ready" | "blocked" | "all_done";
|
|
1895
1895
|
progress: {
|
|
1896
1896
|
total: number;
|
|
1897
|
-
remaining: number;
|
|
1898
1897
|
complete: number;
|
|
1898
|
+
remaining: number;
|
|
1899
1899
|
};
|
|
1900
1900
|
references?: z.objectOutputType<{
|
|
1901
1901
|
store_id: z.ZodString;
|
|
@@ -1934,13 +1934,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
1934
1934
|
}, z.ZodTypeAny, "passthrough">[] | undefined;
|
|
1935
1935
|
missingArtifacts?: string[] | undefined;
|
|
1936
1936
|
}, {
|
|
1937
|
-
|
|
1938
|
-
|
|
1939
|
-
id: string;
|
|
1940
|
-
done: boolean;
|
|
1941
|
-
description: string;
|
|
1942
|
-
}[];
|
|
1937
|
+
changeName: string;
|
|
1938
|
+
schemaName: string;
|
|
1943
1939
|
evidence: {
|
|
1940
|
+
command: "instructions apply";
|
|
1944
1941
|
success: boolean;
|
|
1945
1942
|
stdout: string;
|
|
1946
1943
|
stderr: string;
|
|
@@ -1953,28 +1950,31 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
1953
1950
|
target: z.ZodOptional<z.ZodString>;
|
|
1954
1951
|
fix: z.ZodOptional<z.ZodString>;
|
|
1955
1952
|
}, z.ZodTypeAny, "passthrough">[];
|
|
1956
|
-
command: "instructions apply";
|
|
1957
1953
|
selector: {
|
|
1958
1954
|
store?: string | undefined;
|
|
1959
1955
|
};
|
|
1960
|
-
contractError?: string | undefined;
|
|
1961
1956
|
root?: z.objectInputType<{
|
|
1962
1957
|
path: z.ZodString;
|
|
1963
1958
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
1964
1959
|
store_id: z.ZodOptional<z.ZodString>;
|
|
1965
1960
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
1961
|
+
contractError?: string | undefined;
|
|
1966
1962
|
} & {
|
|
1967
1963
|
[k: string]: unknown;
|
|
1968
1964
|
};
|
|
1969
|
-
changeName: string;
|
|
1970
|
-
schemaName: string;
|
|
1971
1965
|
changeDir: string;
|
|
1972
1966
|
instruction: string;
|
|
1973
1967
|
contextFiles: Record<string, string | string[]>;
|
|
1968
|
+
tasks: {
|
|
1969
|
+
id: string;
|
|
1970
|
+
done: boolean;
|
|
1971
|
+
description: string;
|
|
1972
|
+
}[];
|
|
1973
|
+
state: "ready" | "blocked" | "all_done";
|
|
1974
1974
|
progress: {
|
|
1975
1975
|
total: number;
|
|
1976
|
-
remaining: number;
|
|
1977
1976
|
complete: number;
|
|
1977
|
+
remaining: number;
|
|
1978
1978
|
};
|
|
1979
1979
|
references?: z.objectInputType<{
|
|
1980
1980
|
store_id: z.ZodString;
|
|
@@ -2014,13 +2014,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2014
2014
|
missingArtifacts?: string[] | undefined;
|
|
2015
2015
|
}>, {
|
|
2016
2016
|
applyInstructionProgress: ApplyInstructionProgress;
|
|
2017
|
-
|
|
2018
|
-
|
|
2019
|
-
id: string;
|
|
2020
|
-
done: boolean;
|
|
2021
|
-
description: string;
|
|
2022
|
-
}[];
|
|
2017
|
+
changeName: string;
|
|
2018
|
+
schemaName: string;
|
|
2023
2019
|
evidence: {
|
|
2020
|
+
command: "instructions apply";
|
|
2024
2021
|
success: boolean;
|
|
2025
2022
|
stdout: string;
|
|
2026
2023
|
stderr: string;
|
|
@@ -2033,24 +2030,27 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2033
2030
|
target: z.ZodOptional<z.ZodString>;
|
|
2034
2031
|
fix: z.ZodOptional<z.ZodString>;
|
|
2035
2032
|
}, z.ZodTypeAny, "passthrough">[];
|
|
2036
|
-
command: "instructions apply";
|
|
2037
2033
|
selector: {
|
|
2038
2034
|
store?: string | undefined;
|
|
2039
2035
|
};
|
|
2040
|
-
contractError?: string | undefined;
|
|
2041
2036
|
root?: z.objectOutputType<{
|
|
2042
2037
|
path: z.ZodString;
|
|
2043
2038
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
2044
2039
|
store_id: z.ZodOptional<z.ZodString>;
|
|
2045
2040
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
2041
|
+
contractError?: string | undefined;
|
|
2046
2042
|
} & {
|
|
2047
2043
|
[k: string]: unknown;
|
|
2048
2044
|
};
|
|
2049
|
-
changeName: string;
|
|
2050
|
-
schemaName: string;
|
|
2051
2045
|
changeDir: string;
|
|
2052
2046
|
instruction: string;
|
|
2053
2047
|
contextFiles: Record<string, string[]>;
|
|
2048
|
+
tasks: {
|
|
2049
|
+
id: string;
|
|
2050
|
+
done: boolean;
|
|
2051
|
+
description: string;
|
|
2052
|
+
}[];
|
|
2053
|
+
state: "ready" | "blocked" | "all_done";
|
|
2054
2054
|
references?: z.objectOutputType<{
|
|
2055
2055
|
store_id: z.ZodString;
|
|
2056
2056
|
root: z.ZodOptional<z.ZodString>;
|
|
@@ -2088,13 +2088,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2088
2088
|
}, z.ZodTypeAny, "passthrough">[] | undefined;
|
|
2089
2089
|
missingArtifacts?: string[] | undefined;
|
|
2090
2090
|
}, {
|
|
2091
|
-
|
|
2092
|
-
|
|
2093
|
-
id: string;
|
|
2094
|
-
done: boolean;
|
|
2095
|
-
description: string;
|
|
2096
|
-
}[];
|
|
2091
|
+
changeName: string;
|
|
2092
|
+
schemaName: string;
|
|
2097
2093
|
evidence: {
|
|
2094
|
+
command: "instructions apply";
|
|
2098
2095
|
success: boolean;
|
|
2099
2096
|
stdout: string;
|
|
2100
2097
|
stderr: string;
|
|
@@ -2107,28 +2104,31 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2107
2104
|
target: z.ZodOptional<z.ZodString>;
|
|
2108
2105
|
fix: z.ZodOptional<z.ZodString>;
|
|
2109
2106
|
}, z.ZodTypeAny, "passthrough">[];
|
|
2110
|
-
command: "instructions apply";
|
|
2111
2107
|
selector: {
|
|
2112
2108
|
store?: string | undefined;
|
|
2113
2109
|
};
|
|
2114
|
-
contractError?: string | undefined;
|
|
2115
2110
|
root?: z.objectInputType<{
|
|
2116
2111
|
path: z.ZodString;
|
|
2117
2112
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
2118
2113
|
store_id: z.ZodOptional<z.ZodString>;
|
|
2119
2114
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
2115
|
+
contractError?: string | undefined;
|
|
2120
2116
|
} & {
|
|
2121
2117
|
[k: string]: unknown;
|
|
2122
2118
|
};
|
|
2123
|
-
changeName: string;
|
|
2124
|
-
schemaName: string;
|
|
2125
2119
|
changeDir: string;
|
|
2126
2120
|
instruction: string;
|
|
2127
2121
|
contextFiles: Record<string, string | string[]>;
|
|
2122
|
+
tasks: {
|
|
2123
|
+
id: string;
|
|
2124
|
+
done: boolean;
|
|
2125
|
+
description: string;
|
|
2126
|
+
}[];
|
|
2127
|
+
state: "ready" | "blocked" | "all_done";
|
|
2128
2128
|
progress: {
|
|
2129
2129
|
total: number;
|
|
2130
|
-
remaining: number;
|
|
2131
2130
|
complete: number;
|
|
2131
|
+
remaining: number;
|
|
2132
2132
|
};
|
|
2133
2133
|
references?: z.objectInputType<{
|
|
2134
2134
|
store_id: z.ZodString;
|
|
@@ -2450,12 +2450,12 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2450
2450
|
remaining: z.ZodNumber;
|
|
2451
2451
|
}, "strip", z.ZodTypeAny, {
|
|
2452
2452
|
total: number;
|
|
2453
|
-
remaining: number;
|
|
2454
2453
|
complete: number;
|
|
2454
|
+
remaining: number;
|
|
2455
2455
|
}, {
|
|
2456
2456
|
total: number;
|
|
2457
|
-
remaining: number;
|
|
2458
2457
|
complete: number;
|
|
2458
|
+
remaining: number;
|
|
2459
2459
|
}>;
|
|
2460
2460
|
tracked: z.ZodObject<{
|
|
2461
2461
|
total: z.ZodNumber;
|
|
@@ -2463,96 +2463,93 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2463
2463
|
remaining: z.ZodNumber;
|
|
2464
2464
|
phase: z.ZodEnum<["no-tasks", "in-progress", "complete"]>;
|
|
2465
2465
|
}, "strip", z.ZodTypeAny, {
|
|
2466
|
-
completed: number;
|
|
2467
2466
|
total: number;
|
|
2468
2467
|
remaining: number;
|
|
2469
|
-
phase: "no-tasks" | "in-progress" | "complete";
|
|
2470
|
-
}, {
|
|
2471
2468
|
completed: number;
|
|
2469
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
2470
|
+
}, {
|
|
2472
2471
|
total: number;
|
|
2473
2472
|
remaining: number;
|
|
2474
|
-
|
|
2473
|
+
completed: number;
|
|
2474
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
2475
2475
|
}>;
|
|
2476
2476
|
}, "strip", z.ZodTypeAny, {
|
|
2477
|
-
message: string;
|
|
2478
2477
|
kind: "tracked-task-mismatch";
|
|
2478
|
+
message: string;
|
|
2479
2479
|
apply: {
|
|
2480
2480
|
total: number;
|
|
2481
|
-
remaining: number;
|
|
2482
2481
|
complete: number;
|
|
2482
|
+
remaining: number;
|
|
2483
2483
|
};
|
|
2484
2484
|
tracked: {
|
|
2485
|
-
completed: number;
|
|
2486
2485
|
total: number;
|
|
2487
2486
|
remaining: number;
|
|
2488
|
-
|
|
2487
|
+
completed: number;
|
|
2488
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
2489
2489
|
};
|
|
2490
2490
|
}, {
|
|
2491
|
-
message: string;
|
|
2492
2491
|
kind: "tracked-task-mismatch";
|
|
2492
|
+
message: string;
|
|
2493
2493
|
apply: {
|
|
2494
2494
|
total: number;
|
|
2495
|
-
remaining: number;
|
|
2496
2495
|
complete: number;
|
|
2496
|
+
remaining: number;
|
|
2497
2497
|
};
|
|
2498
2498
|
tracked: {
|
|
2499
|
-
completed: number;
|
|
2500
2499
|
total: number;
|
|
2501
2500
|
remaining: number;
|
|
2502
|
-
|
|
2501
|
+
completed: number;
|
|
2502
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
2503
2503
|
};
|
|
2504
2504
|
}>>;
|
|
2505
2505
|
}, "strip", z.ZodTypeAny, {
|
|
2506
|
+
source: "openspec-instructions-apply";
|
|
2506
2507
|
state: "ready" | "blocked" | "all_done";
|
|
2507
2508
|
total: number;
|
|
2508
|
-
remaining: number;
|
|
2509
2509
|
complete: number;
|
|
2510
|
-
|
|
2510
|
+
remaining: number;
|
|
2511
2511
|
divergence: {
|
|
2512
|
-
message: string;
|
|
2513
2512
|
kind: "tracked-task-mismatch";
|
|
2513
|
+
message: string;
|
|
2514
2514
|
apply: {
|
|
2515
2515
|
total: number;
|
|
2516
|
-
remaining: number;
|
|
2517
2516
|
complete: number;
|
|
2517
|
+
remaining: number;
|
|
2518
2518
|
};
|
|
2519
2519
|
tracked: {
|
|
2520
|
-
completed: number;
|
|
2521
2520
|
total: number;
|
|
2522
2521
|
remaining: number;
|
|
2523
|
-
|
|
2522
|
+
completed: number;
|
|
2523
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
2524
2524
|
};
|
|
2525
2525
|
} | null;
|
|
2526
2526
|
}, {
|
|
2527
|
+
source: "openspec-instructions-apply";
|
|
2527
2528
|
state: "ready" | "blocked" | "all_done";
|
|
2528
2529
|
total: number;
|
|
2529
|
-
remaining: number;
|
|
2530
2530
|
complete: number;
|
|
2531
|
-
|
|
2531
|
+
remaining: number;
|
|
2532
2532
|
divergence: {
|
|
2533
|
-
message: string;
|
|
2534
2533
|
kind: "tracked-task-mismatch";
|
|
2534
|
+
message: string;
|
|
2535
2535
|
apply: {
|
|
2536
2536
|
total: number;
|
|
2537
|
-
remaining: number;
|
|
2538
2537
|
complete: number;
|
|
2538
|
+
remaining: number;
|
|
2539
2539
|
};
|
|
2540
2540
|
tracked: {
|
|
2541
|
-
completed: number;
|
|
2542
2541
|
total: number;
|
|
2543
2542
|
remaining: number;
|
|
2544
|
-
|
|
2543
|
+
completed: number;
|
|
2544
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
2545
2545
|
};
|
|
2546
2546
|
} | null;
|
|
2547
2547
|
}>;
|
|
2548
2548
|
}, "strip", z.ZodTypeAny, {
|
|
2549
|
-
|
|
2550
|
-
|
|
2551
|
-
id: string;
|
|
2552
|
-
done: boolean;
|
|
2553
|
-
description: string;
|
|
2554
|
-
}[];
|
|
2549
|
+
changeName: string;
|
|
2550
|
+
schemaName: string;
|
|
2555
2551
|
evidence: {
|
|
2552
|
+
command: "instructions apply";
|
|
2556
2553
|
success: boolean;
|
|
2557
2554
|
stdout: string;
|
|
2558
2555
|
stderr: string;
|
|
@@ -2565,43 +2562,46 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2565
2562
|
target: z.ZodOptional<z.ZodString>;
|
|
2566
2563
|
fix: z.ZodOptional<z.ZodString>;
|
|
2567
2564
|
}, z.ZodTypeAny, "passthrough">[];
|
|
2568
|
-
command: "instructions apply";
|
|
2569
2565
|
selector: {
|
|
2570
2566
|
store?: string | undefined;
|
|
2571
2567
|
};
|
|
2572
|
-
contractError?: string | undefined;
|
|
2573
2568
|
root?: z.objectOutputType<{
|
|
2574
2569
|
path: z.ZodString;
|
|
2575
2570
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
2576
2571
|
store_id: z.ZodOptional<z.ZodString>;
|
|
2577
2572
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
2573
|
+
contractError?: string | undefined;
|
|
2578
2574
|
} & {
|
|
2579
2575
|
[k: string]: unknown;
|
|
2580
2576
|
};
|
|
2581
|
-
changeName: string;
|
|
2582
|
-
schemaName: string;
|
|
2583
2577
|
changeDir: string;
|
|
2584
2578
|
instruction: string;
|
|
2585
2579
|
contextFiles: Record<string, string[]>;
|
|
2580
|
+
tasks: {
|
|
2581
|
+
id: string;
|
|
2582
|
+
done: boolean;
|
|
2583
|
+
description: string;
|
|
2584
|
+
}[];
|
|
2585
|
+
state: "ready" | "blocked" | "all_done";
|
|
2586
2586
|
applyInstructionProgress: {
|
|
2587
|
+
source: "openspec-instructions-apply";
|
|
2587
2588
|
state: "ready" | "blocked" | "all_done";
|
|
2588
2589
|
total: number;
|
|
2589
|
-
remaining: number;
|
|
2590
2590
|
complete: number;
|
|
2591
|
-
|
|
2591
|
+
remaining: number;
|
|
2592
2592
|
divergence: {
|
|
2593
|
-
message: string;
|
|
2594
2593
|
kind: "tracked-task-mismatch";
|
|
2594
|
+
message: string;
|
|
2595
2595
|
apply: {
|
|
2596
2596
|
total: number;
|
|
2597
|
-
remaining: number;
|
|
2598
2597
|
complete: number;
|
|
2598
|
+
remaining: number;
|
|
2599
2599
|
};
|
|
2600
2600
|
tracked: {
|
|
2601
|
-
completed: number;
|
|
2602
2601
|
total: number;
|
|
2603
2602
|
remaining: number;
|
|
2604
|
-
|
|
2603
|
+
completed: number;
|
|
2604
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
2605
2605
|
};
|
|
2606
2606
|
} | null;
|
|
2607
2607
|
};
|
|
@@ -2642,13 +2642,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2642
2642
|
}, z.ZodTypeAny, "passthrough">[] | undefined;
|
|
2643
2643
|
missingArtifacts?: string[] | undefined;
|
|
2644
2644
|
}, {
|
|
2645
|
-
|
|
2646
|
-
|
|
2647
|
-
id: string;
|
|
2648
|
-
done: boolean;
|
|
2649
|
-
description: string;
|
|
2650
|
-
}[];
|
|
2645
|
+
changeName: string;
|
|
2646
|
+
schemaName: string;
|
|
2651
2647
|
evidence: {
|
|
2648
|
+
command: "instructions apply";
|
|
2652
2649
|
success: boolean;
|
|
2653
2650
|
stdout: string;
|
|
2654
2651
|
stderr: string;
|
|
@@ -2661,43 +2658,46 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2661
2658
|
target: z.ZodOptional<z.ZodString>;
|
|
2662
2659
|
fix: z.ZodOptional<z.ZodString>;
|
|
2663
2660
|
}, z.ZodTypeAny, "passthrough">[];
|
|
2664
|
-
command: "instructions apply";
|
|
2665
2661
|
selector: {
|
|
2666
2662
|
store?: string | undefined;
|
|
2667
2663
|
};
|
|
2668
|
-
contractError?: string | undefined;
|
|
2669
2664
|
root?: z.objectInputType<{
|
|
2670
2665
|
path: z.ZodString;
|
|
2671
2666
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
2672
2667
|
store_id: z.ZodOptional<z.ZodString>;
|
|
2673
2668
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
2669
|
+
contractError?: string | undefined;
|
|
2674
2670
|
} & {
|
|
2675
2671
|
[k: string]: unknown;
|
|
2676
2672
|
};
|
|
2677
|
-
changeName: string;
|
|
2678
|
-
schemaName: string;
|
|
2679
2673
|
changeDir: string;
|
|
2680
2674
|
instruction: string;
|
|
2681
2675
|
contextFiles: Record<string, string | string[]>;
|
|
2676
|
+
tasks: {
|
|
2677
|
+
id: string;
|
|
2678
|
+
done: boolean;
|
|
2679
|
+
description: string;
|
|
2680
|
+
}[];
|
|
2681
|
+
state: "ready" | "blocked" | "all_done";
|
|
2682
2682
|
applyInstructionProgress: {
|
|
2683
|
+
source: "openspec-instructions-apply";
|
|
2683
2684
|
state: "ready" | "blocked" | "all_done";
|
|
2684
2685
|
total: number;
|
|
2685
|
-
remaining: number;
|
|
2686
2686
|
complete: number;
|
|
2687
|
-
|
|
2687
|
+
remaining: number;
|
|
2688
2688
|
divergence: {
|
|
2689
|
-
message: string;
|
|
2690
2689
|
kind: "tracked-task-mismatch";
|
|
2690
|
+
message: string;
|
|
2691
2691
|
apply: {
|
|
2692
2692
|
total: number;
|
|
2693
|
-
remaining: number;
|
|
2694
2693
|
complete: number;
|
|
2694
|
+
remaining: number;
|
|
2695
2695
|
};
|
|
2696
2696
|
tracked: {
|
|
2697
|
-
completed: number;
|
|
2698
2697
|
total: number;
|
|
2699
2698
|
remaining: number;
|
|
2700
|
-
|
|
2699
|
+
completed: number;
|
|
2700
|
+
phase: "complete" | "no-tasks" | "in-progress";
|
|
2701
2701
|
};
|
|
2702
2702
|
} | null;
|
|
2703
2703
|
};
|
|
@@ -3016,9 +3016,11 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
|
|
|
3016
3016
|
command: z.ZodLiteral<"instructions">;
|
|
3017
3017
|
}, z.ZodTypeAny, "passthrough">>;
|
|
3018
3018
|
}, "strip", z.ZodTypeAny, {
|
|
3019
|
-
|
|
3019
|
+
changeName: string;
|
|
3020
|
+
schemaName: string;
|
|
3020
3021
|
outputPath: string;
|
|
3021
3022
|
evidence: {
|
|
3023
|
+
command: "instructions";
|
|
3022
3024
|
success: boolean;
|
|
3023
3025
|
stdout: string;
|
|
3024
3026
|
stderr: string;
|
|
@@ -3031,21 +3033,19 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
|
|
|
3031
3033
|
target: z.ZodOptional<z.ZodString>;
|
|
3032
3034
|
fix: z.ZodOptional<z.ZodString>;
|
|
3033
3035
|
}, z.ZodTypeAny, "passthrough">[];
|
|
3034
|
-
command: "instructions";
|
|
3035
3036
|
selector: {
|
|
3036
3037
|
store?: string | undefined;
|
|
3037
3038
|
};
|
|
3038
|
-
contractError?: string | undefined;
|
|
3039
3039
|
root?: z.objectOutputType<{
|
|
3040
3040
|
path: z.ZodString;
|
|
3041
3041
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
3042
3042
|
store_id: z.ZodOptional<z.ZodString>;
|
|
3043
3043
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
3044
|
+
contractError?: string | undefined;
|
|
3044
3045
|
} & {
|
|
3045
3046
|
[k: string]: unknown;
|
|
3046
3047
|
};
|
|
3047
|
-
|
|
3048
|
-
schemaName: string;
|
|
3048
|
+
artifactId: string;
|
|
3049
3049
|
changeDir: string;
|
|
3050
3050
|
description: string;
|
|
3051
3051
|
template: string;
|
|
@@ -3056,6 +3056,9 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
|
|
|
3056
3056
|
description: string;
|
|
3057
3057
|
}[];
|
|
3058
3058
|
unlocks: string[];
|
|
3059
|
+
instruction?: string | null | undefined;
|
|
3060
|
+
context?: string | null | undefined;
|
|
3061
|
+
rules?: string[] | null | undefined;
|
|
3059
3062
|
references?: z.objectOutputType<{
|
|
3060
3063
|
store_id: z.ZodString;
|
|
3061
3064
|
root: z.ZodOptional<z.ZodString>;
|
|
@@ -3091,13 +3094,12 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
|
|
|
3091
3094
|
}, z.ZodTypeAny, "passthrough">>, "many">>;
|
|
3092
3095
|
fetch: z.ZodOptional<z.ZodString>;
|
|
3093
3096
|
}, z.ZodTypeAny, "passthrough">[] | undefined;
|
|
3094
|
-
context?: string | null | undefined;
|
|
3095
|
-
instruction?: string | null | undefined;
|
|
3096
|
-
rules?: string[] | null | undefined;
|
|
3097
3097
|
}, {
|
|
3098
|
-
|
|
3098
|
+
changeName: string;
|
|
3099
|
+
schemaName: string;
|
|
3099
3100
|
outputPath: string;
|
|
3100
3101
|
evidence: {
|
|
3102
|
+
command: "instructions";
|
|
3101
3103
|
success: boolean;
|
|
3102
3104
|
stdout: string;
|
|
3103
3105
|
stderr: string;
|
|
@@ -3110,21 +3112,19 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
|
|
|
3110
3112
|
target: z.ZodOptional<z.ZodString>;
|
|
3111
3113
|
fix: z.ZodOptional<z.ZodString>;
|
|
3112
3114
|
}, z.ZodTypeAny, "passthrough">[];
|
|
3113
|
-
command: "instructions";
|
|
3114
3115
|
selector: {
|
|
3115
3116
|
store?: string | undefined;
|
|
3116
3117
|
};
|
|
3117
|
-
contractError?: string | undefined;
|
|
3118
3118
|
root?: z.objectInputType<{
|
|
3119
3119
|
path: z.ZodString;
|
|
3120
3120
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
3121
3121
|
store_id: z.ZodOptional<z.ZodString>;
|
|
3122
3122
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
3123
|
+
contractError?: string | undefined;
|
|
3123
3124
|
} & {
|
|
3124
3125
|
[k: string]: unknown;
|
|
3125
3126
|
};
|
|
3126
|
-
|
|
3127
|
-
schemaName: string;
|
|
3127
|
+
artifactId: string;
|
|
3128
3128
|
changeDir: string;
|
|
3129
3129
|
description: string;
|
|
3130
3130
|
template: string;
|
|
@@ -3135,6 +3135,9 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
|
|
|
3135
3135
|
description: string;
|
|
3136
3136
|
}[];
|
|
3137
3137
|
unlocks: string[];
|
|
3138
|
+
instruction?: string | null | undefined;
|
|
3139
|
+
context?: string | null | undefined;
|
|
3140
|
+
rules?: string[] | null | undefined;
|
|
3138
3141
|
references?: z.objectInputType<{
|
|
3139
3142
|
store_id: z.ZodString;
|
|
3140
3143
|
root: z.ZodOptional<z.ZodString>;
|
|
@@ -3170,9 +3173,6 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
|
|
|
3170
3173
|
}, z.ZodTypeAny, "passthrough">>, "many">>;
|
|
3171
3174
|
fetch: z.ZodOptional<z.ZodString>;
|
|
3172
3175
|
}, z.ZodTypeAny, "passthrough">[] | undefined;
|
|
3173
|
-
context?: string | null | undefined;
|
|
3174
|
-
instruction?: string | null | undefined;
|
|
3175
|
-
rules?: string[] | null | undefined;
|
|
3176
3176
|
}>;
|
|
3177
3177
|
type ArtifactInstructions = z.infer<typeof ArtifactInstructionsSchema>;
|
|
3178
3178
|
/** CLI-owned Schema list item projected by OPSX. */
|
|
@@ -3333,7 +3333,6 @@ declare const SchemaDetailSchema: z.ZodObject<{
|
|
|
3333
3333
|
applyTracks: z.ZodOptional<z.ZodString>;
|
|
3334
3334
|
applyInstruction: z.ZodOptional<z.ZodString>;
|
|
3335
3335
|
}, "strip", z.ZodTypeAny, {
|
|
3336
|
-
name: string;
|
|
3337
3336
|
applyRequires: string[];
|
|
3338
3337
|
artifacts: {
|
|
3339
3338
|
id: string;
|
|
@@ -3343,12 +3342,12 @@ declare const SchemaDetailSchema: z.ZodObject<{
|
|
|
3343
3342
|
instruction?: string | undefined;
|
|
3344
3343
|
template?: string | undefined;
|
|
3345
3344
|
}[];
|
|
3346
|
-
|
|
3345
|
+
name: string;
|
|
3347
3346
|
description?: string | undefined;
|
|
3347
|
+
version?: string | number | undefined;
|
|
3348
3348
|
applyTracks?: string | undefined;
|
|
3349
3349
|
applyInstruction?: string | undefined;
|
|
3350
3350
|
}, {
|
|
3351
|
-
name: string;
|
|
3352
3351
|
applyRequires: string[];
|
|
3353
3352
|
artifacts: {
|
|
3354
3353
|
id: string;
|
|
@@ -3358,8 +3357,9 @@ declare const SchemaDetailSchema: z.ZodObject<{
|
|
|
3358
3357
|
instruction?: string | undefined;
|
|
3359
3358
|
template?: string | undefined;
|
|
3360
3359
|
}[];
|
|
3361
|
-
|
|
3360
|
+
name: string;
|
|
3362
3361
|
description?: string | undefined;
|
|
3362
|
+
version?: string | number | undefined;
|
|
3363
3363
|
applyTracks?: string | undefined;
|
|
3364
3364
|
applyInstruction?: string | undefined;
|
|
3365
3365
|
}>;
|
|
@@ -3412,7 +3412,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
|
|
|
3412
3412
|
applyTracks: z.ZodOptional<z.ZodString>;
|
|
3413
3413
|
applyInstruction: z.ZodOptional<z.ZodString>;
|
|
3414
3414
|
}, "strip", z.ZodTypeAny, {
|
|
3415
|
-
name: string;
|
|
3416
3415
|
applyRequires: string[];
|
|
3417
3416
|
artifacts: {
|
|
3418
3417
|
id: string;
|
|
@@ -3422,12 +3421,12 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
|
|
|
3422
3421
|
instruction?: string | undefined;
|
|
3423
3422
|
template?: string | undefined;
|
|
3424
3423
|
}[];
|
|
3425
|
-
|
|
3424
|
+
name: string;
|
|
3426
3425
|
description?: string | undefined;
|
|
3426
|
+
version?: string | number | undefined;
|
|
3427
3427
|
applyTracks?: string | undefined;
|
|
3428
3428
|
applyInstruction?: string | undefined;
|
|
3429
3429
|
}, {
|
|
3430
|
-
name: string;
|
|
3431
3430
|
applyRequires: string[];
|
|
3432
3431
|
artifacts: {
|
|
3433
3432
|
id: string;
|
|
@@ -3437,8 +3436,9 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
|
|
|
3437
3436
|
instruction?: string | undefined;
|
|
3438
3437
|
template?: string | undefined;
|
|
3439
3438
|
}[];
|
|
3440
|
-
|
|
3439
|
+
name: string;
|
|
3441
3440
|
description?: string | undefined;
|
|
3441
|
+
version?: string | number | undefined;
|
|
3442
3442
|
applyTracks?: string | undefined;
|
|
3443
3443
|
applyInstruction?: string | undefined;
|
|
3444
3444
|
}>>>;
|
|
@@ -3517,7 +3517,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
|
|
|
3517
3517
|
source: z.ZodEnum<["project", "user", "package"]>;
|
|
3518
3518
|
}, z.ZodTypeAny, "passthrough">[];
|
|
3519
3519
|
schemaDetails: Record<string, {
|
|
3520
|
-
name: string;
|
|
3521
3520
|
applyRequires: string[];
|
|
3522
3521
|
artifacts: {
|
|
3523
3522
|
id: string;
|
|
@@ -3527,8 +3526,9 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
|
|
|
3527
3526
|
instruction?: string | undefined;
|
|
3528
3527
|
template?: string | undefined;
|
|
3529
3528
|
}[];
|
|
3530
|
-
|
|
3529
|
+
name: string;
|
|
3531
3530
|
description?: string | undefined;
|
|
3531
|
+
version?: string | number | undefined;
|
|
3532
3532
|
applyTracks?: string | undefined;
|
|
3533
3533
|
applyInstruction?: string | undefined;
|
|
3534
3534
|
} | null>;
|
|
@@ -3563,7 +3563,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
|
|
|
3563
3563
|
source: z.ZodEnum<["project", "user", "package"]>;
|
|
3564
3564
|
}, z.ZodTypeAny, "passthrough">[];
|
|
3565
3565
|
schemaDetails: Record<string, {
|
|
3566
|
-
name: string;
|
|
3567
3566
|
applyRequires: string[];
|
|
3568
3567
|
artifacts: {
|
|
3569
3568
|
id: string;
|
|
@@ -3573,8 +3572,9 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
|
|
|
3573
3572
|
instruction?: string | undefined;
|
|
3574
3573
|
template?: string | undefined;
|
|
3575
3574
|
}[];
|
|
3576
|
-
|
|
3575
|
+
name: string;
|
|
3577
3576
|
description?: string | undefined;
|
|
3577
|
+
version?: string | number | undefined;
|
|
3578
3578
|
applyTracks?: string | undefined;
|
|
3579
3579
|
applyInstruction?: string | undefined;
|
|
3580
3580
|
} | null>;
|