@openspecui/core 6.0.0-beta.1 → 6.0.1
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-CBvIiy5p.d.mts → cli-projection-w3LzenG5.d.mts} +1 -1
- package/dist/cli-projection.d.mts +5 -5
- package/dist/{command-result-CuWzPRAT.d.mts → command-result-CjnZNtGL.d.mts} +60 -60
- package/dist/{dashboard-summary-transport-Dskh3E9-.d.mts → dashboard-summary-transport-DAFz2ZQe.d.mts} +3141 -2985
- package/dist/dashboard-summary-transport.d.mts +16 -16
- package/dist/{document-translation-D50BnvVh.d.mts → document-translation-DyEj4JKj.d.mts} +100 -100
- 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 +16 -16
- 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 +16 -16
- package/dist/hosted-contract.mjs +1 -1
- package/dist/index.d.mts +16 -16
- package/dist/index.mjs +32 -7
- package/dist/{local-download-profiles-bYSSKmtx.d.mts → local-download-profiles-BokmRLew.d.mts} +1 -1
- package/dist/local-download-profiles.d.mts +2 -2
- package/dist/{notifications-Ak6LdCaL.d.mts → notifications-CgJlLgLO.d.mts} +17 -17
- package/dist/notifications.d.mts +2 -2
- package/dist/{openspec-projection-DU7RFRyA.d.mts → openspec-projection-DnB0EalA.d.mts} +1 -1
- package/dist/openspec-projection.d.mts +2 -2
- package/dist/{opsx-entity-6PnbYZZp.d.mts → opsx-entity-CQGXOj_a.d.mts} +2 -2
- package/dist/opsx-entity.d.mts +7 -7
- package/dist/{opsx-schema-detail-CiqCYl2F.d.mts → opsx-schema-detail-DTWBhlbh.d.mts} +2 -2
- package/dist/opsx-schema-detail.d.mts +8 -8
- package/dist/{opsx-types-Fs0tRnL2.d.mts → opsx-types-BKGpvDDe.d.mts} +174 -174
- package/dist/planning-cli-projection.d.mts +16 -16
- package/dist/{schemas-D-6yi_I-.d.mts → schemas-C-BZiH0m.d.mts} +121 -121
- package/dist/{sounds-C24SzEHX.d.mts → sounds-qhRgCy0F.d.mts} +8 -8
- package/dist/sounds.d.mts +1 -1
- package/dist/spec-catalog.d.mts +16 -16
- package/dist/{store-types-CmDVyObq.d.mts → store-types-QeY5nWlF.d.mts} +1 -1
- package/dist/store-types.d.mts +5 -5
- package/dist/task-progress.d.mts +6 -6
- package/dist/{terminal-audio-Rj1pLeSw.d.mts → terminal-audio-tXDm_EDe.d.mts} +1 -1
- package/dist/terminal-audio.d.mts +2 -2
- package/dist/terminal-control.d.mts +2 -2
- package/dist/{terminal-invocation-G19ieMZy.d.mts → terminal-invocation-rKDNnsUS.d.mts} +57 -57
- package/dist/terminal-invocation.d.mts +1 -1
- package/dist/{translator-CNmE1fAm.d.mts → translator-BEiXnLjR.d.mts} +173 -173
- package/dist/translator.d.mts +1 -1
- package/package.json +3 -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-CjnZNtGL.mjs";
|
|
2
|
+
import { n as ChangeFile, v as Task } from "./schemas-C-BZiH0m.mjs";
|
|
3
3
|
import { z } from "zod";
|
|
4
4
|
|
|
5
5
|
//#region src/task-progress.d.ts
|
|
@@ -677,7 +677,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
677
677
|
command: z.ZodLiteral<"status">;
|
|
678
678
|
}, z.ZodTypeAny, "passthrough">>;
|
|
679
679
|
}, "strip", z.ZodTypeAny, {
|
|
680
|
-
kind: "cli";
|
|
681
680
|
root: {
|
|
682
681
|
path: string;
|
|
683
682
|
source: "store" | "declared" | "nearest" | "implicit";
|
|
@@ -685,9 +684,10 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
685
684
|
} & {
|
|
686
685
|
[k: string]: unknown;
|
|
687
686
|
};
|
|
687
|
+
kind: "cli";
|
|
688
688
|
planningHome: {
|
|
689
|
-
kind: "repo";
|
|
690
689
|
root: string;
|
|
690
|
+
kind: "repo";
|
|
691
691
|
changesDir: string;
|
|
692
692
|
defaultSchema: string;
|
|
693
693
|
} & {
|
|
@@ -714,10 +714,9 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
714
714
|
[k: string]: unknown;
|
|
715
715
|
};
|
|
716
716
|
evidence: {
|
|
717
|
+
success: boolean;
|
|
717
718
|
stdout: string;
|
|
718
719
|
stderr: string;
|
|
719
|
-
command: "status";
|
|
720
|
-
success: boolean;
|
|
721
720
|
exitCode: number | null;
|
|
722
721
|
payload: CliJsonValue;
|
|
723
722
|
diagnostics: z.objectOutputType<{
|
|
@@ -727,20 +726,20 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
727
726
|
target: z.ZodOptional<z.ZodString>;
|
|
728
727
|
fix: z.ZodOptional<z.ZodString>;
|
|
729
728
|
}, z.ZodTypeAny, "passthrough">[];
|
|
729
|
+
command: "status";
|
|
730
730
|
selector: {
|
|
731
731
|
store?: string | undefined;
|
|
732
732
|
};
|
|
733
|
+
contractError?: string | undefined;
|
|
733
734
|
root?: z.objectOutputType<{
|
|
734
735
|
path: z.ZodString;
|
|
735
736
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
736
737
|
store_id: z.ZodOptional<z.ZodString>;
|
|
737
738
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
738
|
-
contractError?: string | undefined;
|
|
739
739
|
} & {
|
|
740
740
|
[k: string]: unknown;
|
|
741
741
|
};
|
|
742
742
|
}, {
|
|
743
|
-
kind: "cli";
|
|
744
743
|
root: {
|
|
745
744
|
path: string;
|
|
746
745
|
source: "store" | "declared" | "nearest" | "implicit";
|
|
@@ -748,9 +747,10 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
748
747
|
} & {
|
|
749
748
|
[k: string]: unknown;
|
|
750
749
|
};
|
|
750
|
+
kind: "cli";
|
|
751
751
|
planningHome: {
|
|
752
|
-
kind: "repo";
|
|
753
752
|
root: string;
|
|
753
|
+
kind: "repo";
|
|
754
754
|
changesDir: string;
|
|
755
755
|
defaultSchema: string;
|
|
756
756
|
} & {
|
|
@@ -777,10 +777,9 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
777
777
|
[k: string]: unknown;
|
|
778
778
|
};
|
|
779
779
|
evidence: {
|
|
780
|
+
success: boolean;
|
|
780
781
|
stdout: string;
|
|
781
782
|
stderr: string;
|
|
782
|
-
command: "status";
|
|
783
|
-
success: boolean;
|
|
784
783
|
exitCode: number | null;
|
|
785
784
|
payload: CliJsonValue;
|
|
786
785
|
diagnostics: z.objectInputType<{
|
|
@@ -790,15 +789,16 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
790
789
|
target: z.ZodOptional<z.ZodString>;
|
|
791
790
|
fix: z.ZodOptional<z.ZodString>;
|
|
792
791
|
}, z.ZodTypeAny, "passthrough">[];
|
|
792
|
+
command: "status";
|
|
793
793
|
selector: {
|
|
794
794
|
store?: string | undefined;
|
|
795
795
|
};
|
|
796
|
+
contractError?: string | undefined;
|
|
796
797
|
root?: z.objectInputType<{
|
|
797
798
|
path: z.ZodString;
|
|
798
799
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
799
800
|
store_id: z.ZodOptional<z.ZodString>;
|
|
800
801
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
801
|
-
contractError?: string | undefined;
|
|
802
802
|
} & {
|
|
803
803
|
[k: string]: unknown;
|
|
804
804
|
};
|
|
@@ -822,7 +822,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
822
822
|
relativePath?: string | undefined;
|
|
823
823
|
}[];
|
|
824
824
|
provenance: {
|
|
825
|
-
kind: "cli";
|
|
826
825
|
root: {
|
|
827
826
|
path: string;
|
|
828
827
|
source: "store" | "declared" | "nearest" | "implicit";
|
|
@@ -830,9 +829,10 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
830
829
|
} & {
|
|
831
830
|
[k: string]: unknown;
|
|
832
831
|
};
|
|
832
|
+
kind: "cli";
|
|
833
833
|
planningHome: {
|
|
834
|
-
kind: "repo";
|
|
835
834
|
root: string;
|
|
835
|
+
kind: "repo";
|
|
836
836
|
changesDir: string;
|
|
837
837
|
defaultSchema: string;
|
|
838
838
|
} & {
|
|
@@ -859,10 +859,9 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
859
859
|
[k: string]: unknown;
|
|
860
860
|
};
|
|
861
861
|
evidence: {
|
|
862
|
+
success: boolean;
|
|
862
863
|
stdout: string;
|
|
863
864
|
stderr: string;
|
|
864
|
-
command: "status";
|
|
865
|
-
success: boolean;
|
|
866
865
|
exitCode: number | null;
|
|
867
866
|
payload: CliJsonValue;
|
|
868
867
|
diagnostics: z.objectOutputType<{
|
|
@@ -872,15 +871,16 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
872
871
|
target: z.ZodOptional<z.ZodString>;
|
|
873
872
|
fix: z.ZodOptional<z.ZodString>;
|
|
874
873
|
}, z.ZodTypeAny, "passthrough">[];
|
|
874
|
+
command: "status";
|
|
875
875
|
selector: {
|
|
876
876
|
store?: string | undefined;
|
|
877
877
|
};
|
|
878
|
+
contractError?: string | undefined;
|
|
878
879
|
root?: z.objectOutputType<{
|
|
879
880
|
path: z.ZodString;
|
|
880
881
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
881
882
|
store_id: z.ZodOptional<z.ZodString>;
|
|
882
883
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
883
|
-
contractError?: string | undefined;
|
|
884
884
|
} & {
|
|
885
885
|
[k: string]: unknown;
|
|
886
886
|
};
|
|
@@ -900,7 +900,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
900
900
|
relativePath?: string | undefined;
|
|
901
901
|
}[];
|
|
902
902
|
provenance: {
|
|
903
|
-
kind: "cli";
|
|
904
903
|
root: {
|
|
905
904
|
path: string;
|
|
906
905
|
source: "store" | "declared" | "nearest" | "implicit";
|
|
@@ -908,9 +907,10 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
908
907
|
} & {
|
|
909
908
|
[k: string]: unknown;
|
|
910
909
|
};
|
|
910
|
+
kind: "cli";
|
|
911
911
|
planningHome: {
|
|
912
|
-
kind: "repo";
|
|
913
912
|
root: string;
|
|
913
|
+
kind: "repo";
|
|
914
914
|
changesDir: string;
|
|
915
915
|
defaultSchema: string;
|
|
916
916
|
} & {
|
|
@@ -937,10 +937,9 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
937
937
|
[k: string]: unknown;
|
|
938
938
|
};
|
|
939
939
|
evidence: {
|
|
940
|
+
success: boolean;
|
|
940
941
|
stdout: string;
|
|
941
942
|
stderr: string;
|
|
942
|
-
command: "status";
|
|
943
|
-
success: boolean;
|
|
944
943
|
exitCode: number | null;
|
|
945
944
|
payload: CliJsonValue;
|
|
946
945
|
diagnostics: z.objectInputType<{
|
|
@@ -950,15 +949,16 @@ declare const ChangeStatusSchema: z.ZodObject<{
|
|
|
950
949
|
target: z.ZodOptional<z.ZodString>;
|
|
951
950
|
fix: z.ZodOptional<z.ZodString>;
|
|
952
951
|
}, z.ZodTypeAny, "passthrough">[];
|
|
952
|
+
command: "status";
|
|
953
953
|
selector: {
|
|
954
954
|
store?: string | undefined;
|
|
955
955
|
};
|
|
956
|
+
contractError?: string | undefined;
|
|
956
957
|
root?: z.objectInputType<{
|
|
957
958
|
path: z.ZodString;
|
|
958
959
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
959
960
|
store_id: z.ZodOptional<z.ZodString>;
|
|
960
961
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
961
|
-
contractError?: string | undefined;
|
|
962
962
|
} & {
|
|
963
963
|
[k: string]: unknown;
|
|
964
964
|
};
|
|
@@ -1283,12 +1283,12 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
|
|
|
1283
1283
|
complete: z.ZodNumber;
|
|
1284
1284
|
remaining: z.ZodNumber;
|
|
1285
1285
|
}, "strip", z.ZodTypeAny, {
|
|
1286
|
-
total: number;
|
|
1287
1286
|
complete: number;
|
|
1287
|
+
total: number;
|
|
1288
1288
|
remaining: number;
|
|
1289
1289
|
}, {
|
|
1290
|
-
total: number;
|
|
1291
1290
|
complete: number;
|
|
1291
|
+
total: number;
|
|
1292
1292
|
remaining: number;
|
|
1293
1293
|
}>;
|
|
1294
1294
|
tracked: z.ZodObject<{
|
|
@@ -1297,97 +1297,101 @@ 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;
|
|
1300
1301
|
total: number;
|
|
1301
1302
|
remaining: number;
|
|
1302
|
-
|
|
1303
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
1303
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
1304
1304
|
}, {
|
|
1305
|
+
completed: number;
|
|
1305
1306
|
total: number;
|
|
1306
1307
|
remaining: number;
|
|
1307
|
-
|
|
1308
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
1308
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
1309
1309
|
}>;
|
|
1310
1310
|
}, "strip", z.ZodTypeAny, {
|
|
1311
1311
|
message: string;
|
|
1312
1312
|
kind: "tracked-task-mismatch";
|
|
1313
1313
|
apply: {
|
|
1314
|
-
total: number;
|
|
1315
1314
|
complete: number;
|
|
1315
|
+
total: number;
|
|
1316
1316
|
remaining: number;
|
|
1317
1317
|
};
|
|
1318
1318
|
tracked: {
|
|
1319
|
+
completed: number;
|
|
1319
1320
|
total: number;
|
|
1320
1321
|
remaining: number;
|
|
1321
|
-
|
|
1322
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
1322
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
1323
1323
|
};
|
|
1324
1324
|
}, {
|
|
1325
1325
|
message: string;
|
|
1326
1326
|
kind: "tracked-task-mismatch";
|
|
1327
1327
|
apply: {
|
|
1328
|
-
total: number;
|
|
1329
1328
|
complete: number;
|
|
1329
|
+
total: number;
|
|
1330
1330
|
remaining: number;
|
|
1331
1331
|
};
|
|
1332
1332
|
tracked: {
|
|
1333
|
+
completed: number;
|
|
1333
1334
|
total: number;
|
|
1334
1335
|
remaining: number;
|
|
1335
|
-
|
|
1336
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
1336
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
1337
1337
|
};
|
|
1338
1338
|
}>>;
|
|
1339
1339
|
}, "strip", z.ZodTypeAny, {
|
|
1340
|
-
source: "openspec-instructions-apply";
|
|
1341
1340
|
state: "ready" | "blocked" | "all_done";
|
|
1342
|
-
total: number;
|
|
1343
1341
|
complete: number;
|
|
1342
|
+
total: number;
|
|
1344
1343
|
remaining: number;
|
|
1344
|
+
source: "openspec-instructions-apply";
|
|
1345
1345
|
divergence: {
|
|
1346
1346
|
message: string;
|
|
1347
1347
|
kind: "tracked-task-mismatch";
|
|
1348
1348
|
apply: {
|
|
1349
|
-
total: number;
|
|
1350
1349
|
complete: number;
|
|
1350
|
+
total: number;
|
|
1351
1351
|
remaining: number;
|
|
1352
1352
|
};
|
|
1353
1353
|
tracked: {
|
|
1354
|
+
completed: number;
|
|
1354
1355
|
total: number;
|
|
1355
1356
|
remaining: number;
|
|
1356
|
-
|
|
1357
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
1357
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
1358
1358
|
};
|
|
1359
1359
|
} | null;
|
|
1360
1360
|
}, {
|
|
1361
|
-
source: "openspec-instructions-apply";
|
|
1362
1361
|
state: "ready" | "blocked" | "all_done";
|
|
1363
|
-
total: number;
|
|
1364
1362
|
complete: number;
|
|
1363
|
+
total: number;
|
|
1365
1364
|
remaining: number;
|
|
1365
|
+
source: "openspec-instructions-apply";
|
|
1366
1366
|
divergence: {
|
|
1367
1367
|
message: string;
|
|
1368
1368
|
kind: "tracked-task-mismatch";
|
|
1369
1369
|
apply: {
|
|
1370
|
-
total: number;
|
|
1371
1370
|
complete: number;
|
|
1371
|
+
total: number;
|
|
1372
1372
|
remaining: number;
|
|
1373
1373
|
};
|
|
1374
1374
|
tracked: {
|
|
1375
|
+
completed: number;
|
|
1375
1376
|
total: number;
|
|
1376
1377
|
remaining: number;
|
|
1377
|
-
|
|
1378
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
1378
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
1379
1379
|
};
|
|
1380
1380
|
} | null;
|
|
1381
1381
|
}>;
|
|
1382
1382
|
}, "strip", z.ZodTypeAny, {
|
|
1383
1383
|
state: "ready" | "blocked" | "all_done";
|
|
1384
|
+
tasks: {
|
|
1385
|
+
id: string;
|
|
1386
|
+
description: string;
|
|
1387
|
+
done: boolean;
|
|
1388
|
+
}[];
|
|
1384
1389
|
changeName: string;
|
|
1385
1390
|
schemaName: string;
|
|
1386
1391
|
evidence: {
|
|
1392
|
+
success: boolean;
|
|
1387
1393
|
stdout: string;
|
|
1388
1394
|
stderr: string;
|
|
1389
|
-
command: "instructions apply";
|
|
1390
|
-
success: boolean;
|
|
1391
1395
|
exitCode: number | null;
|
|
1392
1396
|
payload: CliJsonValue;
|
|
1393
1397
|
diagnostics: z.objectOutputType<{
|
|
@@ -1397,45 +1401,41 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
|
|
|
1397
1401
|
target: z.ZodOptional<z.ZodString>;
|
|
1398
1402
|
fix: z.ZodOptional<z.ZodString>;
|
|
1399
1403
|
}, z.ZodTypeAny, "passthrough">[];
|
|
1404
|
+
command: "instructions apply";
|
|
1400
1405
|
selector: {
|
|
1401
1406
|
store?: string | undefined;
|
|
1402
1407
|
};
|
|
1408
|
+
contractError?: string | undefined;
|
|
1403
1409
|
root?: z.objectOutputType<{
|
|
1404
1410
|
path: z.ZodString;
|
|
1405
1411
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
1406
1412
|
store_id: z.ZodOptional<z.ZodString>;
|
|
1407
1413
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
1408
|
-
contractError?: string | undefined;
|
|
1409
1414
|
} & {
|
|
1410
1415
|
[k: string]: unknown;
|
|
1411
1416
|
};
|
|
1412
1417
|
changeDir: string;
|
|
1413
1418
|
instruction: string;
|
|
1414
1419
|
contextFiles: Record<string, string[]>;
|
|
1415
|
-
tasks: {
|
|
1416
|
-
id: string;
|
|
1417
|
-
description: string;
|
|
1418
|
-
done: boolean;
|
|
1419
|
-
}[];
|
|
1420
1420
|
applyInstructionProgress: {
|
|
1421
|
-
source: "openspec-instructions-apply";
|
|
1422
1421
|
state: "ready" | "blocked" | "all_done";
|
|
1423
|
-
total: number;
|
|
1424
1422
|
complete: number;
|
|
1423
|
+
total: number;
|
|
1425
1424
|
remaining: number;
|
|
1425
|
+
source: "openspec-instructions-apply";
|
|
1426
1426
|
divergence: {
|
|
1427
1427
|
message: string;
|
|
1428
1428
|
kind: "tracked-task-mismatch";
|
|
1429
1429
|
apply: {
|
|
1430
|
-
total: number;
|
|
1431
1430
|
complete: number;
|
|
1431
|
+
total: number;
|
|
1432
1432
|
remaining: number;
|
|
1433
1433
|
};
|
|
1434
1434
|
tracked: {
|
|
1435
|
+
completed: number;
|
|
1435
1436
|
total: number;
|
|
1436
1437
|
remaining: number;
|
|
1437
|
-
|
|
1438
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
1438
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
1439
1439
|
};
|
|
1440
1440
|
} | null;
|
|
1441
1441
|
};
|
|
@@ -1477,13 +1477,17 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
|
|
|
1477
1477
|
missingArtifacts?: string[] | undefined;
|
|
1478
1478
|
}, {
|
|
1479
1479
|
state: "ready" | "blocked" | "all_done";
|
|
1480
|
+
tasks: {
|
|
1481
|
+
id: string;
|
|
1482
|
+
description: string;
|
|
1483
|
+
done: boolean;
|
|
1484
|
+
}[];
|
|
1480
1485
|
changeName: string;
|
|
1481
1486
|
schemaName: string;
|
|
1482
1487
|
evidence: {
|
|
1488
|
+
success: boolean;
|
|
1483
1489
|
stdout: string;
|
|
1484
1490
|
stderr: string;
|
|
1485
|
-
command: "instructions apply";
|
|
1486
|
-
success: boolean;
|
|
1487
1491
|
exitCode: number | null;
|
|
1488
1492
|
payload: CliJsonValue;
|
|
1489
1493
|
diagnostics: z.objectInputType<{
|
|
@@ -1493,45 +1497,41 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
|
|
|
1493
1497
|
target: z.ZodOptional<z.ZodString>;
|
|
1494
1498
|
fix: z.ZodOptional<z.ZodString>;
|
|
1495
1499
|
}, z.ZodTypeAny, "passthrough">[];
|
|
1500
|
+
command: "instructions apply";
|
|
1496
1501
|
selector: {
|
|
1497
1502
|
store?: string | undefined;
|
|
1498
1503
|
};
|
|
1504
|
+
contractError?: string | undefined;
|
|
1499
1505
|
root?: z.objectInputType<{
|
|
1500
1506
|
path: z.ZodString;
|
|
1501
1507
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
1502
1508
|
store_id: z.ZodOptional<z.ZodString>;
|
|
1503
1509
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
1504
|
-
contractError?: string | undefined;
|
|
1505
1510
|
} & {
|
|
1506
1511
|
[k: string]: unknown;
|
|
1507
1512
|
};
|
|
1508
1513
|
changeDir: string;
|
|
1509
1514
|
instruction: string;
|
|
1510
1515
|
contextFiles: Record<string, string | string[]>;
|
|
1511
|
-
tasks: {
|
|
1512
|
-
id: string;
|
|
1513
|
-
description: string;
|
|
1514
|
-
done: boolean;
|
|
1515
|
-
}[];
|
|
1516
1516
|
applyInstructionProgress: {
|
|
1517
|
-
source: "openspec-instructions-apply";
|
|
1518
1517
|
state: "ready" | "blocked" | "all_done";
|
|
1519
|
-
total: number;
|
|
1520
1518
|
complete: number;
|
|
1519
|
+
total: number;
|
|
1521
1520
|
remaining: number;
|
|
1521
|
+
source: "openspec-instructions-apply";
|
|
1522
1522
|
divergence: {
|
|
1523
1523
|
message: string;
|
|
1524
1524
|
kind: "tracked-task-mismatch";
|
|
1525
1525
|
apply: {
|
|
1526
|
-
total: number;
|
|
1527
1526
|
complete: number;
|
|
1527
|
+
total: number;
|
|
1528
1528
|
remaining: number;
|
|
1529
1529
|
};
|
|
1530
1530
|
tracked: {
|
|
1531
|
+
completed: number;
|
|
1531
1532
|
total: number;
|
|
1532
1533
|
remaining: number;
|
|
1533
|
-
|
|
1534
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
1534
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
1535
1535
|
};
|
|
1536
1536
|
} | null;
|
|
1537
1537
|
};
|
|
@@ -1582,12 +1582,12 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
1582
1582
|
complete: z.ZodNumber;
|
|
1583
1583
|
remaining: z.ZodNumber;
|
|
1584
1584
|
}, "strip", z.ZodTypeAny, {
|
|
1585
|
-
total: number;
|
|
1586
1585
|
complete: number;
|
|
1586
|
+
total: number;
|
|
1587
1587
|
remaining: number;
|
|
1588
1588
|
}, {
|
|
1589
|
-
total: number;
|
|
1590
1589
|
complete: number;
|
|
1590
|
+
total: number;
|
|
1591
1591
|
remaining: number;
|
|
1592
1592
|
}>;
|
|
1593
1593
|
tasks: z.ZodArray<z.ZodObject<{
|
|
@@ -1855,19 +1855,23 @@ 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
|
+
state: "ready" | "blocked" | "all_done";
|
|
1859
|
+
tasks: {
|
|
1860
|
+
id: string;
|
|
1861
|
+
description: string;
|
|
1862
|
+
done: boolean;
|
|
1863
|
+
}[];
|
|
1858
1864
|
progress: {
|
|
1859
|
-
total: number;
|
|
1860
1865
|
complete: number;
|
|
1866
|
+
total: number;
|
|
1861
1867
|
remaining: number;
|
|
1862
1868
|
};
|
|
1863
|
-
state: "ready" | "blocked" | "all_done";
|
|
1864
1869
|
changeName: string;
|
|
1865
1870
|
schemaName: string;
|
|
1866
1871
|
evidence: {
|
|
1872
|
+
success: boolean;
|
|
1867
1873
|
stdout: string;
|
|
1868
1874
|
stderr: string;
|
|
1869
|
-
command: "instructions apply";
|
|
1870
|
-
success: boolean;
|
|
1871
1875
|
exitCode: number | null;
|
|
1872
1876
|
payload: CliJsonValue;
|
|
1873
1877
|
diagnostics: z.objectOutputType<{
|
|
@@ -1877,26 +1881,22 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
1877
1881
|
target: z.ZodOptional<z.ZodString>;
|
|
1878
1882
|
fix: z.ZodOptional<z.ZodString>;
|
|
1879
1883
|
}, z.ZodTypeAny, "passthrough">[];
|
|
1884
|
+
command: "instructions apply";
|
|
1880
1885
|
selector: {
|
|
1881
1886
|
store?: string | undefined;
|
|
1882
1887
|
};
|
|
1888
|
+
contractError?: string | undefined;
|
|
1883
1889
|
root?: z.objectOutputType<{
|
|
1884
1890
|
path: z.ZodString;
|
|
1885
1891
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
1886
1892
|
store_id: z.ZodOptional<z.ZodString>;
|
|
1887
1893
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
1888
|
-
contractError?: string | undefined;
|
|
1889
1894
|
} & {
|
|
1890
1895
|
[k: string]: unknown;
|
|
1891
1896
|
};
|
|
1892
1897
|
changeDir: string;
|
|
1893
1898
|
instruction: string;
|
|
1894
1899
|
contextFiles: Record<string, string[]>;
|
|
1895
|
-
tasks: {
|
|
1896
|
-
id: string;
|
|
1897
|
-
description: string;
|
|
1898
|
-
done: boolean;
|
|
1899
|
-
}[];
|
|
1900
1900
|
references?: z.objectOutputType<{
|
|
1901
1901
|
store_id: z.ZodString;
|
|
1902
1902
|
root: z.ZodOptional<z.ZodString>;
|
|
@@ -1934,19 +1934,23 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
1934
1934
|
}, z.ZodTypeAny, "passthrough">[] | undefined;
|
|
1935
1935
|
missingArtifacts?: string[] | undefined;
|
|
1936
1936
|
}, {
|
|
1937
|
+
state: "ready" | "blocked" | "all_done";
|
|
1938
|
+
tasks: {
|
|
1939
|
+
id: string;
|
|
1940
|
+
description: string;
|
|
1941
|
+
done: boolean;
|
|
1942
|
+
}[];
|
|
1937
1943
|
progress: {
|
|
1938
|
-
total: number;
|
|
1939
1944
|
complete: number;
|
|
1945
|
+
total: number;
|
|
1940
1946
|
remaining: number;
|
|
1941
1947
|
};
|
|
1942
|
-
state: "ready" | "blocked" | "all_done";
|
|
1943
1948
|
changeName: string;
|
|
1944
1949
|
schemaName: string;
|
|
1945
1950
|
evidence: {
|
|
1951
|
+
success: boolean;
|
|
1946
1952
|
stdout: string;
|
|
1947
1953
|
stderr: string;
|
|
1948
|
-
command: "instructions apply";
|
|
1949
|
-
success: boolean;
|
|
1950
1954
|
exitCode: number | null;
|
|
1951
1955
|
payload: CliJsonValue;
|
|
1952
1956
|
diagnostics: z.objectInputType<{
|
|
@@ -1956,26 +1960,22 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
1956
1960
|
target: z.ZodOptional<z.ZodString>;
|
|
1957
1961
|
fix: z.ZodOptional<z.ZodString>;
|
|
1958
1962
|
}, z.ZodTypeAny, "passthrough">[];
|
|
1963
|
+
command: "instructions apply";
|
|
1959
1964
|
selector: {
|
|
1960
1965
|
store?: string | undefined;
|
|
1961
1966
|
};
|
|
1967
|
+
contractError?: string | undefined;
|
|
1962
1968
|
root?: z.objectInputType<{
|
|
1963
1969
|
path: z.ZodString;
|
|
1964
1970
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
1965
1971
|
store_id: z.ZodOptional<z.ZodString>;
|
|
1966
1972
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
1967
|
-
contractError?: string | undefined;
|
|
1968
1973
|
} & {
|
|
1969
1974
|
[k: string]: unknown;
|
|
1970
1975
|
};
|
|
1971
1976
|
changeDir: string;
|
|
1972
1977
|
instruction: string;
|
|
1973
1978
|
contextFiles: Record<string, string | string[]>;
|
|
1974
|
-
tasks: {
|
|
1975
|
-
id: string;
|
|
1976
|
-
description: string;
|
|
1977
|
-
done: boolean;
|
|
1978
|
-
}[];
|
|
1979
1979
|
references?: z.objectInputType<{
|
|
1980
1980
|
store_id: z.ZodString;
|
|
1981
1981
|
root: z.ZodOptional<z.ZodString>;
|
|
@@ -2015,13 +2015,17 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2015
2015
|
}>, {
|
|
2016
2016
|
applyInstructionProgress: ApplyInstructionProgress;
|
|
2017
2017
|
state: "ready" | "blocked" | "all_done";
|
|
2018
|
+
tasks: {
|
|
2019
|
+
id: string;
|
|
2020
|
+
description: string;
|
|
2021
|
+
done: boolean;
|
|
2022
|
+
}[];
|
|
2018
2023
|
changeName: string;
|
|
2019
2024
|
schemaName: string;
|
|
2020
2025
|
evidence: {
|
|
2026
|
+
success: boolean;
|
|
2021
2027
|
stdout: string;
|
|
2022
2028
|
stderr: string;
|
|
2023
|
-
command: "instructions apply";
|
|
2024
|
-
success: boolean;
|
|
2025
2029
|
exitCode: number | null;
|
|
2026
2030
|
payload: CliJsonValue;
|
|
2027
2031
|
diagnostics: z.objectOutputType<{
|
|
@@ -2031,26 +2035,22 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2031
2035
|
target: z.ZodOptional<z.ZodString>;
|
|
2032
2036
|
fix: z.ZodOptional<z.ZodString>;
|
|
2033
2037
|
}, z.ZodTypeAny, "passthrough">[];
|
|
2038
|
+
command: "instructions apply";
|
|
2034
2039
|
selector: {
|
|
2035
2040
|
store?: string | undefined;
|
|
2036
2041
|
};
|
|
2042
|
+
contractError?: string | undefined;
|
|
2037
2043
|
root?: z.objectOutputType<{
|
|
2038
2044
|
path: z.ZodString;
|
|
2039
2045
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
2040
2046
|
store_id: z.ZodOptional<z.ZodString>;
|
|
2041
2047
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
2042
|
-
contractError?: string | undefined;
|
|
2043
2048
|
} & {
|
|
2044
2049
|
[k: string]: unknown;
|
|
2045
2050
|
};
|
|
2046
2051
|
changeDir: string;
|
|
2047
2052
|
instruction: string;
|
|
2048
2053
|
contextFiles: Record<string, string[]>;
|
|
2049
|
-
tasks: {
|
|
2050
|
-
id: string;
|
|
2051
|
-
description: string;
|
|
2052
|
-
done: boolean;
|
|
2053
|
-
}[];
|
|
2054
2054
|
references?: z.objectOutputType<{
|
|
2055
2055
|
store_id: z.ZodString;
|
|
2056
2056
|
root: z.ZodOptional<z.ZodString>;
|
|
@@ -2088,19 +2088,23 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2088
2088
|
}, z.ZodTypeAny, "passthrough">[] | undefined;
|
|
2089
2089
|
missingArtifacts?: string[] | undefined;
|
|
2090
2090
|
}, {
|
|
2091
|
+
state: "ready" | "blocked" | "all_done";
|
|
2092
|
+
tasks: {
|
|
2093
|
+
id: string;
|
|
2094
|
+
description: string;
|
|
2095
|
+
done: boolean;
|
|
2096
|
+
}[];
|
|
2091
2097
|
progress: {
|
|
2092
|
-
total: number;
|
|
2093
2098
|
complete: number;
|
|
2099
|
+
total: number;
|
|
2094
2100
|
remaining: number;
|
|
2095
2101
|
};
|
|
2096
|
-
state: "ready" | "blocked" | "all_done";
|
|
2097
2102
|
changeName: string;
|
|
2098
2103
|
schemaName: string;
|
|
2099
2104
|
evidence: {
|
|
2105
|
+
success: boolean;
|
|
2100
2106
|
stdout: string;
|
|
2101
2107
|
stderr: string;
|
|
2102
|
-
command: "instructions apply";
|
|
2103
|
-
success: boolean;
|
|
2104
2108
|
exitCode: number | null;
|
|
2105
2109
|
payload: CliJsonValue;
|
|
2106
2110
|
diagnostics: z.objectInputType<{
|
|
@@ -2110,26 +2114,22 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2110
2114
|
target: z.ZodOptional<z.ZodString>;
|
|
2111
2115
|
fix: z.ZodOptional<z.ZodString>;
|
|
2112
2116
|
}, z.ZodTypeAny, "passthrough">[];
|
|
2117
|
+
command: "instructions apply";
|
|
2113
2118
|
selector: {
|
|
2114
2119
|
store?: string | undefined;
|
|
2115
2120
|
};
|
|
2121
|
+
contractError?: string | undefined;
|
|
2116
2122
|
root?: z.objectInputType<{
|
|
2117
2123
|
path: z.ZodString;
|
|
2118
2124
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
2119
2125
|
store_id: z.ZodOptional<z.ZodString>;
|
|
2120
2126
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
2121
|
-
contractError?: string | undefined;
|
|
2122
2127
|
} & {
|
|
2123
2128
|
[k: string]: unknown;
|
|
2124
2129
|
};
|
|
2125
2130
|
changeDir: string;
|
|
2126
2131
|
instruction: string;
|
|
2127
2132
|
contextFiles: Record<string, string | string[]>;
|
|
2128
|
-
tasks: {
|
|
2129
|
-
id: string;
|
|
2130
|
-
description: string;
|
|
2131
|
-
done: boolean;
|
|
2132
|
-
}[];
|
|
2133
2133
|
references?: z.objectInputType<{
|
|
2134
2134
|
store_id: z.ZodString;
|
|
2135
2135
|
root: z.ZodOptional<z.ZodString>;
|
|
@@ -2449,12 +2449,12 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2449
2449
|
complete: z.ZodNumber;
|
|
2450
2450
|
remaining: z.ZodNumber;
|
|
2451
2451
|
}, "strip", z.ZodTypeAny, {
|
|
2452
|
-
total: number;
|
|
2453
2452
|
complete: number;
|
|
2453
|
+
total: number;
|
|
2454
2454
|
remaining: number;
|
|
2455
2455
|
}, {
|
|
2456
|
-
total: number;
|
|
2457
2456
|
complete: number;
|
|
2457
|
+
total: number;
|
|
2458
2458
|
remaining: number;
|
|
2459
2459
|
}>;
|
|
2460
2460
|
tracked: z.ZodObject<{
|
|
@@ -2463,97 +2463,101 @@ 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;
|
|
2466
2467
|
total: number;
|
|
2467
2468
|
remaining: number;
|
|
2468
|
-
|
|
2469
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
2469
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
2470
2470
|
}, {
|
|
2471
|
+
completed: number;
|
|
2471
2472
|
total: number;
|
|
2472
2473
|
remaining: number;
|
|
2473
|
-
|
|
2474
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
2474
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
2475
2475
|
}>;
|
|
2476
2476
|
}, "strip", z.ZodTypeAny, {
|
|
2477
2477
|
message: string;
|
|
2478
2478
|
kind: "tracked-task-mismatch";
|
|
2479
2479
|
apply: {
|
|
2480
|
-
total: number;
|
|
2481
2480
|
complete: number;
|
|
2481
|
+
total: number;
|
|
2482
2482
|
remaining: number;
|
|
2483
2483
|
};
|
|
2484
2484
|
tracked: {
|
|
2485
|
+
completed: number;
|
|
2485
2486
|
total: number;
|
|
2486
2487
|
remaining: number;
|
|
2487
|
-
|
|
2488
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
2488
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
2489
2489
|
};
|
|
2490
2490
|
}, {
|
|
2491
2491
|
message: string;
|
|
2492
2492
|
kind: "tracked-task-mismatch";
|
|
2493
2493
|
apply: {
|
|
2494
|
-
total: number;
|
|
2495
2494
|
complete: number;
|
|
2495
|
+
total: number;
|
|
2496
2496
|
remaining: number;
|
|
2497
2497
|
};
|
|
2498
2498
|
tracked: {
|
|
2499
|
+
completed: number;
|
|
2499
2500
|
total: number;
|
|
2500
2501
|
remaining: number;
|
|
2501
|
-
|
|
2502
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
2502
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
2503
2503
|
};
|
|
2504
2504
|
}>>;
|
|
2505
2505
|
}, "strip", z.ZodTypeAny, {
|
|
2506
|
-
source: "openspec-instructions-apply";
|
|
2507
2506
|
state: "ready" | "blocked" | "all_done";
|
|
2508
|
-
total: number;
|
|
2509
2507
|
complete: number;
|
|
2508
|
+
total: number;
|
|
2510
2509
|
remaining: number;
|
|
2510
|
+
source: "openspec-instructions-apply";
|
|
2511
2511
|
divergence: {
|
|
2512
2512
|
message: string;
|
|
2513
2513
|
kind: "tracked-task-mismatch";
|
|
2514
2514
|
apply: {
|
|
2515
|
-
total: number;
|
|
2516
2515
|
complete: number;
|
|
2516
|
+
total: number;
|
|
2517
2517
|
remaining: number;
|
|
2518
2518
|
};
|
|
2519
2519
|
tracked: {
|
|
2520
|
+
completed: number;
|
|
2520
2521
|
total: number;
|
|
2521
2522
|
remaining: number;
|
|
2522
|
-
|
|
2523
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
2523
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
2524
2524
|
};
|
|
2525
2525
|
} | null;
|
|
2526
2526
|
}, {
|
|
2527
|
-
source: "openspec-instructions-apply";
|
|
2528
2527
|
state: "ready" | "blocked" | "all_done";
|
|
2529
|
-
total: number;
|
|
2530
2528
|
complete: number;
|
|
2529
|
+
total: number;
|
|
2531
2530
|
remaining: number;
|
|
2531
|
+
source: "openspec-instructions-apply";
|
|
2532
2532
|
divergence: {
|
|
2533
2533
|
message: string;
|
|
2534
2534
|
kind: "tracked-task-mismatch";
|
|
2535
2535
|
apply: {
|
|
2536
|
-
total: number;
|
|
2537
2536
|
complete: number;
|
|
2537
|
+
total: number;
|
|
2538
2538
|
remaining: number;
|
|
2539
2539
|
};
|
|
2540
2540
|
tracked: {
|
|
2541
|
+
completed: number;
|
|
2541
2542
|
total: number;
|
|
2542
2543
|
remaining: number;
|
|
2543
|
-
|
|
2544
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
2544
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
2545
2545
|
};
|
|
2546
2546
|
} | null;
|
|
2547
2547
|
}>;
|
|
2548
2548
|
}, "strip", z.ZodTypeAny, {
|
|
2549
2549
|
state: "ready" | "blocked" | "all_done";
|
|
2550
|
+
tasks: {
|
|
2551
|
+
id: string;
|
|
2552
|
+
description: string;
|
|
2553
|
+
done: boolean;
|
|
2554
|
+
}[];
|
|
2550
2555
|
changeName: string;
|
|
2551
2556
|
schemaName: string;
|
|
2552
2557
|
evidence: {
|
|
2558
|
+
success: boolean;
|
|
2553
2559
|
stdout: string;
|
|
2554
2560
|
stderr: string;
|
|
2555
|
-
command: "instructions apply";
|
|
2556
|
-
success: boolean;
|
|
2557
2561
|
exitCode: number | null;
|
|
2558
2562
|
payload: CliJsonValue;
|
|
2559
2563
|
diagnostics: z.objectOutputType<{
|
|
@@ -2563,45 +2567,41 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2563
2567
|
target: z.ZodOptional<z.ZodString>;
|
|
2564
2568
|
fix: z.ZodOptional<z.ZodString>;
|
|
2565
2569
|
}, z.ZodTypeAny, "passthrough">[];
|
|
2570
|
+
command: "instructions apply";
|
|
2566
2571
|
selector: {
|
|
2567
2572
|
store?: string | undefined;
|
|
2568
2573
|
};
|
|
2574
|
+
contractError?: string | undefined;
|
|
2569
2575
|
root?: z.objectOutputType<{
|
|
2570
2576
|
path: z.ZodString;
|
|
2571
2577
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
2572
2578
|
store_id: z.ZodOptional<z.ZodString>;
|
|
2573
2579
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
2574
|
-
contractError?: string | undefined;
|
|
2575
2580
|
} & {
|
|
2576
2581
|
[k: string]: unknown;
|
|
2577
2582
|
};
|
|
2578
2583
|
changeDir: string;
|
|
2579
2584
|
instruction: string;
|
|
2580
2585
|
contextFiles: Record<string, string[]>;
|
|
2581
|
-
tasks: {
|
|
2582
|
-
id: string;
|
|
2583
|
-
description: string;
|
|
2584
|
-
done: boolean;
|
|
2585
|
-
}[];
|
|
2586
2586
|
applyInstructionProgress: {
|
|
2587
|
-
source: "openspec-instructions-apply";
|
|
2588
2587
|
state: "ready" | "blocked" | "all_done";
|
|
2589
|
-
total: number;
|
|
2590
2588
|
complete: number;
|
|
2589
|
+
total: number;
|
|
2591
2590
|
remaining: number;
|
|
2591
|
+
source: "openspec-instructions-apply";
|
|
2592
2592
|
divergence: {
|
|
2593
2593
|
message: string;
|
|
2594
2594
|
kind: "tracked-task-mismatch";
|
|
2595
2595
|
apply: {
|
|
2596
|
-
total: number;
|
|
2597
2596
|
complete: number;
|
|
2597
|
+
total: number;
|
|
2598
2598
|
remaining: number;
|
|
2599
2599
|
};
|
|
2600
2600
|
tracked: {
|
|
2601
|
+
completed: number;
|
|
2601
2602
|
total: number;
|
|
2602
2603
|
remaining: number;
|
|
2603
|
-
|
|
2604
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
2604
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
2605
2605
|
};
|
|
2606
2606
|
} | null;
|
|
2607
2607
|
};
|
|
@@ -2643,13 +2643,17 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2643
2643
|
missingArtifacts?: string[] | undefined;
|
|
2644
2644
|
}, {
|
|
2645
2645
|
state: "ready" | "blocked" | "all_done";
|
|
2646
|
+
tasks: {
|
|
2647
|
+
id: string;
|
|
2648
|
+
description: string;
|
|
2649
|
+
done: boolean;
|
|
2650
|
+
}[];
|
|
2646
2651
|
changeName: string;
|
|
2647
2652
|
schemaName: string;
|
|
2648
2653
|
evidence: {
|
|
2654
|
+
success: boolean;
|
|
2649
2655
|
stdout: string;
|
|
2650
2656
|
stderr: string;
|
|
2651
|
-
command: "instructions apply";
|
|
2652
|
-
success: boolean;
|
|
2653
2657
|
exitCode: number | null;
|
|
2654
2658
|
payload: CliJsonValue;
|
|
2655
2659
|
diagnostics: z.objectInputType<{
|
|
@@ -2659,45 +2663,41 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
|
|
|
2659
2663
|
target: z.ZodOptional<z.ZodString>;
|
|
2660
2664
|
fix: z.ZodOptional<z.ZodString>;
|
|
2661
2665
|
}, z.ZodTypeAny, "passthrough">[];
|
|
2666
|
+
command: "instructions apply";
|
|
2662
2667
|
selector: {
|
|
2663
2668
|
store?: string | undefined;
|
|
2664
2669
|
};
|
|
2670
|
+
contractError?: string | undefined;
|
|
2665
2671
|
root?: z.objectInputType<{
|
|
2666
2672
|
path: z.ZodString;
|
|
2667
2673
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
2668
2674
|
store_id: z.ZodOptional<z.ZodString>;
|
|
2669
2675
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
2670
|
-
contractError?: string | undefined;
|
|
2671
2676
|
} & {
|
|
2672
2677
|
[k: string]: unknown;
|
|
2673
2678
|
};
|
|
2674
2679
|
changeDir: string;
|
|
2675
2680
|
instruction: string;
|
|
2676
2681
|
contextFiles: Record<string, string | string[]>;
|
|
2677
|
-
tasks: {
|
|
2678
|
-
id: string;
|
|
2679
|
-
description: string;
|
|
2680
|
-
done: boolean;
|
|
2681
|
-
}[];
|
|
2682
2682
|
applyInstructionProgress: {
|
|
2683
|
-
source: "openspec-instructions-apply";
|
|
2684
2683
|
state: "ready" | "blocked" | "all_done";
|
|
2685
|
-
total: number;
|
|
2686
2684
|
complete: number;
|
|
2685
|
+
total: number;
|
|
2687
2686
|
remaining: number;
|
|
2687
|
+
source: "openspec-instructions-apply";
|
|
2688
2688
|
divergence: {
|
|
2689
2689
|
message: string;
|
|
2690
2690
|
kind: "tracked-task-mismatch";
|
|
2691
2691
|
apply: {
|
|
2692
|
-
total: number;
|
|
2693
2692
|
complete: number;
|
|
2693
|
+
total: number;
|
|
2694
2694
|
remaining: number;
|
|
2695
2695
|
};
|
|
2696
2696
|
tracked: {
|
|
2697
|
+
completed: number;
|
|
2697
2698
|
total: number;
|
|
2698
2699
|
remaining: number;
|
|
2699
|
-
|
|
2700
|
-
phase: "complete" | "no-tasks" | "in-progress";
|
|
2700
|
+
phase: "no-tasks" | "in-progress" | "complete";
|
|
2701
2701
|
};
|
|
2702
2702
|
} | null;
|
|
2703
2703
|
};
|
|
@@ -3016,15 +3016,15 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
|
|
|
3016
3016
|
command: z.ZodLiteral<"instructions">;
|
|
3017
3017
|
}, z.ZodTypeAny, "passthrough">>;
|
|
3018
3018
|
}, "strip", z.ZodTypeAny, {
|
|
3019
|
+
artifactId: string;
|
|
3020
|
+
outputPath: string;
|
|
3019
3021
|
description: string;
|
|
3020
3022
|
changeName: string;
|
|
3021
3023
|
schemaName: string;
|
|
3022
|
-
outputPath: string;
|
|
3023
3024
|
evidence: {
|
|
3025
|
+
success: boolean;
|
|
3024
3026
|
stdout: string;
|
|
3025
3027
|
stderr: string;
|
|
3026
|
-
command: "instructions";
|
|
3027
|
-
success: boolean;
|
|
3028
3028
|
exitCode: number | null;
|
|
3029
3029
|
payload: CliJsonValue;
|
|
3030
3030
|
diagnostics: z.objectOutputType<{
|
|
@@ -3034,19 +3034,19 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
|
|
|
3034
3034
|
target: z.ZodOptional<z.ZodString>;
|
|
3035
3035
|
fix: z.ZodOptional<z.ZodString>;
|
|
3036
3036
|
}, z.ZodTypeAny, "passthrough">[];
|
|
3037
|
+
command: "instructions";
|
|
3037
3038
|
selector: {
|
|
3038
3039
|
store?: string | undefined;
|
|
3039
3040
|
};
|
|
3041
|
+
contractError?: string | undefined;
|
|
3040
3042
|
root?: z.objectOutputType<{
|
|
3041
3043
|
path: z.ZodString;
|
|
3042
3044
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
3043
3045
|
store_id: z.ZodOptional<z.ZodString>;
|
|
3044
3046
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
3045
|
-
contractError?: string | undefined;
|
|
3046
3047
|
} & {
|
|
3047
3048
|
[k: string]: unknown;
|
|
3048
3049
|
};
|
|
3049
|
-
artifactId: string;
|
|
3050
3050
|
changeDir: string;
|
|
3051
3051
|
template: string;
|
|
3052
3052
|
dependencies: {
|
|
@@ -3095,15 +3095,15 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
|
|
|
3095
3095
|
fetch: z.ZodOptional<z.ZodString>;
|
|
3096
3096
|
}, z.ZodTypeAny, "passthrough">[] | undefined;
|
|
3097
3097
|
}, {
|
|
3098
|
+
artifactId: string;
|
|
3099
|
+
outputPath: string;
|
|
3098
3100
|
description: string;
|
|
3099
3101
|
changeName: string;
|
|
3100
3102
|
schemaName: string;
|
|
3101
|
-
outputPath: string;
|
|
3102
3103
|
evidence: {
|
|
3104
|
+
success: boolean;
|
|
3103
3105
|
stdout: string;
|
|
3104
3106
|
stderr: string;
|
|
3105
|
-
command: "instructions";
|
|
3106
|
-
success: boolean;
|
|
3107
3107
|
exitCode: number | null;
|
|
3108
3108
|
payload: CliJsonValue;
|
|
3109
3109
|
diagnostics: z.objectInputType<{
|
|
@@ -3113,19 +3113,19 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
|
|
|
3113
3113
|
target: z.ZodOptional<z.ZodString>;
|
|
3114
3114
|
fix: z.ZodOptional<z.ZodString>;
|
|
3115
3115
|
}, z.ZodTypeAny, "passthrough">[];
|
|
3116
|
+
command: "instructions";
|
|
3116
3117
|
selector: {
|
|
3117
3118
|
store?: string | undefined;
|
|
3118
3119
|
};
|
|
3120
|
+
contractError?: string | undefined;
|
|
3119
3121
|
root?: z.objectInputType<{
|
|
3120
3122
|
path: z.ZodString;
|
|
3121
3123
|
source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
|
|
3122
3124
|
store_id: z.ZodOptional<z.ZodString>;
|
|
3123
3125
|
}, z.ZodTypeAny, "passthrough"> | undefined;
|
|
3124
|
-
contractError?: string | undefined;
|
|
3125
3126
|
} & {
|
|
3126
3127
|
[k: string]: unknown;
|
|
3127
3128
|
};
|
|
3128
|
-
artifactId: string;
|
|
3129
3129
|
changeDir: string;
|
|
3130
3130
|
template: string;
|
|
3131
3131
|
dependencies: {
|
|
@@ -3333,6 +3333,7 @@ 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;
|
|
3336
3337
|
applyRequires: string[];
|
|
3337
3338
|
artifacts: {
|
|
3338
3339
|
id: string;
|
|
@@ -3342,12 +3343,12 @@ declare const SchemaDetailSchema: z.ZodObject<{
|
|
|
3342
3343
|
instruction?: string | undefined;
|
|
3343
3344
|
template?: string | undefined;
|
|
3344
3345
|
}[];
|
|
3345
|
-
name: string;
|
|
3346
3346
|
description?: string | undefined;
|
|
3347
3347
|
version?: string | number | undefined;
|
|
3348
3348
|
applyTracks?: string | undefined;
|
|
3349
3349
|
applyInstruction?: string | undefined;
|
|
3350
3350
|
}, {
|
|
3351
|
+
name: string;
|
|
3351
3352
|
applyRequires: string[];
|
|
3352
3353
|
artifacts: {
|
|
3353
3354
|
id: string;
|
|
@@ -3357,7 +3358,6 @@ declare const SchemaDetailSchema: z.ZodObject<{
|
|
|
3357
3358
|
instruction?: string | undefined;
|
|
3358
3359
|
template?: string | undefined;
|
|
3359
3360
|
}[];
|
|
3360
|
-
name: string;
|
|
3361
3361
|
description?: string | undefined;
|
|
3362
3362
|
version?: string | number | undefined;
|
|
3363
3363
|
applyTracks?: string | undefined;
|
|
@@ -3412,6 +3412,7 @@ 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;
|
|
3415
3416
|
applyRequires: string[];
|
|
3416
3417
|
artifacts: {
|
|
3417
3418
|
id: string;
|
|
@@ -3421,12 +3422,12 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
|
|
|
3421
3422
|
instruction?: string | undefined;
|
|
3422
3423
|
template?: string | undefined;
|
|
3423
3424
|
}[];
|
|
3424
|
-
name: string;
|
|
3425
3425
|
description?: string | undefined;
|
|
3426
3426
|
version?: string | number | undefined;
|
|
3427
3427
|
applyTracks?: string | undefined;
|
|
3428
3428
|
applyInstruction?: string | undefined;
|
|
3429
3429
|
}, {
|
|
3430
|
+
name: string;
|
|
3430
3431
|
applyRequires: string[];
|
|
3431
3432
|
artifacts: {
|
|
3432
3433
|
id: string;
|
|
@@ -3436,7 +3437,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
|
|
|
3436
3437
|
instruction?: string | undefined;
|
|
3437
3438
|
template?: string | undefined;
|
|
3438
3439
|
}[];
|
|
3439
|
-
name: string;
|
|
3440
3440
|
description?: string | undefined;
|
|
3441
3441
|
version?: string | number | undefined;
|
|
3442
3442
|
applyTracks?: string | undefined;
|
|
@@ -3517,6 +3517,7 @@ 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;
|
|
3520
3521
|
applyRequires: string[];
|
|
3521
3522
|
artifacts: {
|
|
3522
3523
|
id: string;
|
|
@@ -3526,7 +3527,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
|
|
|
3526
3527
|
instruction?: string | undefined;
|
|
3527
3528
|
template?: string | undefined;
|
|
3528
3529
|
}[];
|
|
3529
|
-
name: string;
|
|
3530
3530
|
description?: string | undefined;
|
|
3531
3531
|
version?: string | number | undefined;
|
|
3532
3532
|
applyTracks?: string | undefined;
|
|
@@ -3563,6 +3563,7 @@ 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;
|
|
3566
3567
|
applyRequires: string[];
|
|
3567
3568
|
artifacts: {
|
|
3568
3569
|
id: string;
|
|
@@ -3572,7 +3573,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
|
|
|
3572
3573
|
instruction?: string | undefined;
|
|
3573
3574
|
template?: string | undefined;
|
|
3574
3575
|
}[];
|
|
3575
|
-
name: string;
|
|
3576
3576
|
description?: string | undefined;
|
|
3577
3577
|
version?: string | number | undefined;
|
|
3578
3578
|
applyTracks?: string | undefined;
|