@graview/studio 0.1.0 → 0.1.2
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/agent.js +1 -1
- package/dist/agent.js.map +1 -1
- package/dist/changes.d.ts.map +1 -1
- package/dist/changes.js +7 -2
- package/dist/changes.js.map +1 -1
- package/dist/from-declaration.d.ts.map +1 -1
- package/dist/from-declaration.js +23 -0
- package/dist/from-declaration.js.map +1 -1
- package/dist/index.d.ts +1 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js.map +1 -1
- package/dist/meta.d.ts +1003 -13
- package/dist/meta.d.ts.map +1 -1
- package/dist/meta.js +160 -4
- package/dist/meta.js.map +1 -1
- package/dist/migration.d.ts.map +1 -1
- package/dist/migration.js +40 -4
- package/dist/migration.js.map +1 -1
- package/dist/place.d.ts +22 -3
- package/dist/place.d.ts.map +1 -1
- package/dist/place.js +27 -35
- package/dist/place.js.map +1 -1
- package/dist/source.d.ts.map +1 -1
- package/dist/source.js +52 -3
- package/dist/source.js.map +1 -1
- package/dist/to-declaration.d.ts.map +1 -1
- package/dist/to-declaration.js +36 -2
- package/dist/to-declaration.js.map +1 -1
- package/dist/write-in-place.d.ts +6 -2
- package/dist/write-in-place.d.ts.map +1 -1
- package/dist/write-in-place.js +6 -2
- package/dist/write-in-place.js.map +1 -1
- package/package.json +8 -8
package/dist/meta.d.ts
CHANGED
|
@@ -105,6 +105,9 @@ export declare const ruleNode: import("@graview/core").NodeDefinition<"rule", z.
|
|
|
105
105
|
judgesPast: z.ZodBoolean;
|
|
106
106
|
wholeGraph: z.ZodBoolean;
|
|
107
107
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
108
|
+
require: z.ZodOptional<z.ZodString>;
|
|
109
|
+
when: z.ZodOptional<z.ZodString>;
|
|
110
|
+
says: z.ZodOptional<z.ZodString>;
|
|
108
111
|
}, z.core.$strip>, {
|
|
109
112
|
readonly over: {
|
|
110
113
|
readonly to: readonly ["kind"];
|
|
@@ -144,6 +147,23 @@ export declare const grantNode: import("@graview/core").NodeDefinition<"grant",
|
|
|
144
147
|
readonly inverse: "who may act on it";
|
|
145
148
|
};
|
|
146
149
|
}>;
|
|
150
|
+
export declare const sightNode: import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
151
|
+
label: z.ZodString;
|
|
152
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
153
|
+
own: z.ZodBoolean;
|
|
154
|
+
everyone: z.ZodBoolean;
|
|
155
|
+
}, z.core.$strip>, {
|
|
156
|
+
readonly "seen-by": {
|
|
157
|
+
readonly to: readonly ["role"];
|
|
158
|
+
readonly description: "the roles it lets see";
|
|
159
|
+
readonly inverse: "what they see";
|
|
160
|
+
};
|
|
161
|
+
readonly shows: {
|
|
162
|
+
readonly to: readonly ["kind"];
|
|
163
|
+
readonly description: "the kinds it shows";
|
|
164
|
+
readonly inverse: "who sees it";
|
|
165
|
+
};
|
|
166
|
+
}>;
|
|
147
167
|
export declare const lensNode: import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
148
168
|
label: z.ZodString;
|
|
149
169
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -247,6 +267,9 @@ export declare const STUDIO_SCHEMA: import("@graview/core").Schema<readonly [imp
|
|
|
247
267
|
judgesPast: z.ZodBoolean;
|
|
248
268
|
wholeGraph: z.ZodBoolean;
|
|
249
269
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
270
|
+
require: z.ZodOptional<z.ZodString>;
|
|
271
|
+
when: z.ZodOptional<z.ZodString>;
|
|
272
|
+
says: z.ZodOptional<z.ZodString>;
|
|
250
273
|
}, z.core.$strip>, {
|
|
251
274
|
readonly over: {
|
|
252
275
|
readonly to: readonly ["kind"];
|
|
@@ -283,6 +306,22 @@ export declare const STUDIO_SCHEMA: import("@graview/core").Schema<readonly [imp
|
|
|
283
306
|
readonly description: "the kinds it allows those acts on";
|
|
284
307
|
readonly inverse: "who may act on it";
|
|
285
308
|
};
|
|
309
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
310
|
+
label: z.ZodString;
|
|
311
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
312
|
+
own: z.ZodBoolean;
|
|
313
|
+
everyone: z.ZodBoolean;
|
|
314
|
+
}, z.core.$strip>, {
|
|
315
|
+
readonly "seen-by": {
|
|
316
|
+
readonly to: readonly ["role"];
|
|
317
|
+
readonly description: "the roles it lets see";
|
|
318
|
+
readonly inverse: "what they see";
|
|
319
|
+
};
|
|
320
|
+
readonly shows: {
|
|
321
|
+
readonly to: readonly ["kind"];
|
|
322
|
+
readonly description: "the kinds it shows";
|
|
323
|
+
readonly inverse: "who sees it";
|
|
324
|
+
};
|
|
286
325
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
287
326
|
label: z.ZodString;
|
|
288
327
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -386,6 +425,9 @@ export declare const addKind: AnyMutationDefinition<import("@graview/core").Sche
|
|
|
386
425
|
judgesPast: z.ZodBoolean;
|
|
387
426
|
wholeGraph: z.ZodBoolean;
|
|
388
427
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
428
|
+
require: z.ZodOptional<z.ZodString>;
|
|
429
|
+
when: z.ZodOptional<z.ZodString>;
|
|
430
|
+
says: z.ZodOptional<z.ZodString>;
|
|
389
431
|
}, z.core.$strip>, {
|
|
390
432
|
readonly over: {
|
|
391
433
|
readonly to: readonly ["kind"];
|
|
@@ -422,6 +464,22 @@ export declare const addKind: AnyMutationDefinition<import("@graview/core").Sche
|
|
|
422
464
|
readonly description: "the kinds it allows those acts on";
|
|
423
465
|
readonly inverse: "who may act on it";
|
|
424
466
|
};
|
|
467
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
468
|
+
label: z.ZodString;
|
|
469
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
470
|
+
own: z.ZodBoolean;
|
|
471
|
+
everyone: z.ZodBoolean;
|
|
472
|
+
}, z.core.$strip>, {
|
|
473
|
+
readonly "seen-by": {
|
|
474
|
+
readonly to: readonly ["role"];
|
|
475
|
+
readonly description: "the roles it lets see";
|
|
476
|
+
readonly inverse: "what they see";
|
|
477
|
+
};
|
|
478
|
+
readonly shows: {
|
|
479
|
+
readonly to: readonly ["kind"];
|
|
480
|
+
readonly description: "the kinds it shows";
|
|
481
|
+
readonly inverse: "who sees it";
|
|
482
|
+
};
|
|
425
483
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
426
484
|
label: z.ZodString;
|
|
427
485
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -524,6 +582,9 @@ export declare const renameKind: AnyMutationDefinition<import("@graview/core").S
|
|
|
524
582
|
judgesPast: z.ZodBoolean;
|
|
525
583
|
wholeGraph: z.ZodBoolean;
|
|
526
584
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
585
|
+
require: z.ZodOptional<z.ZodString>;
|
|
586
|
+
when: z.ZodOptional<z.ZodString>;
|
|
587
|
+
says: z.ZodOptional<z.ZodString>;
|
|
527
588
|
}, z.core.$strip>, {
|
|
528
589
|
readonly over: {
|
|
529
590
|
readonly to: readonly ["kind"];
|
|
@@ -560,6 +621,22 @@ export declare const renameKind: AnyMutationDefinition<import("@graview/core").S
|
|
|
560
621
|
readonly description: "the kinds it allows those acts on";
|
|
561
622
|
readonly inverse: "who may act on it";
|
|
562
623
|
};
|
|
624
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
625
|
+
label: z.ZodString;
|
|
626
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
627
|
+
own: z.ZodBoolean;
|
|
628
|
+
everyone: z.ZodBoolean;
|
|
629
|
+
}, z.core.$strip>, {
|
|
630
|
+
readonly "seen-by": {
|
|
631
|
+
readonly to: readonly ["role"];
|
|
632
|
+
readonly description: "the roles it lets see";
|
|
633
|
+
readonly inverse: "what they see";
|
|
634
|
+
};
|
|
635
|
+
readonly shows: {
|
|
636
|
+
readonly to: readonly ["kind"];
|
|
637
|
+
readonly description: "the kinds it shows";
|
|
638
|
+
readonly inverse: "who sees it";
|
|
639
|
+
};
|
|
563
640
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
564
641
|
label: z.ZodString;
|
|
565
642
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -662,6 +739,9 @@ export declare const removeKind: AnyMutationDefinition<import("@graview/core").S
|
|
|
662
739
|
judgesPast: z.ZodBoolean;
|
|
663
740
|
wholeGraph: z.ZodBoolean;
|
|
664
741
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
742
|
+
require: z.ZodOptional<z.ZodString>;
|
|
743
|
+
when: z.ZodOptional<z.ZodString>;
|
|
744
|
+
says: z.ZodOptional<z.ZodString>;
|
|
665
745
|
}, z.core.$strip>, {
|
|
666
746
|
readonly over: {
|
|
667
747
|
readonly to: readonly ["kind"];
|
|
@@ -698,6 +778,22 @@ export declare const removeKind: AnyMutationDefinition<import("@graview/core").S
|
|
|
698
778
|
readonly description: "the kinds it allows those acts on";
|
|
699
779
|
readonly inverse: "who may act on it";
|
|
700
780
|
};
|
|
781
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
782
|
+
label: z.ZodString;
|
|
783
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
784
|
+
own: z.ZodBoolean;
|
|
785
|
+
everyone: z.ZodBoolean;
|
|
786
|
+
}, z.core.$strip>, {
|
|
787
|
+
readonly "seen-by": {
|
|
788
|
+
readonly to: readonly ["role"];
|
|
789
|
+
readonly description: "the roles it lets see";
|
|
790
|
+
readonly inverse: "what they see";
|
|
791
|
+
};
|
|
792
|
+
readonly shows: {
|
|
793
|
+
readonly to: readonly ["kind"];
|
|
794
|
+
readonly description: "the kinds it shows";
|
|
795
|
+
readonly inverse: "who sees it";
|
|
796
|
+
};
|
|
701
797
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
702
798
|
label: z.ZodString;
|
|
703
799
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -800,6 +896,9 @@ export declare const addField: AnyMutationDefinition<import("@graview/core").Sch
|
|
|
800
896
|
judgesPast: z.ZodBoolean;
|
|
801
897
|
wholeGraph: z.ZodBoolean;
|
|
802
898
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
899
|
+
require: z.ZodOptional<z.ZodString>;
|
|
900
|
+
when: z.ZodOptional<z.ZodString>;
|
|
901
|
+
says: z.ZodOptional<z.ZodString>;
|
|
803
902
|
}, z.core.$strip>, {
|
|
804
903
|
readonly over: {
|
|
805
904
|
readonly to: readonly ["kind"];
|
|
@@ -836,6 +935,22 @@ export declare const addField: AnyMutationDefinition<import("@graview/core").Sch
|
|
|
836
935
|
readonly description: "the kinds it allows those acts on";
|
|
837
936
|
readonly inverse: "who may act on it";
|
|
838
937
|
};
|
|
938
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
939
|
+
label: z.ZodString;
|
|
940
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
941
|
+
own: z.ZodBoolean;
|
|
942
|
+
everyone: z.ZodBoolean;
|
|
943
|
+
}, z.core.$strip>, {
|
|
944
|
+
readonly "seen-by": {
|
|
945
|
+
readonly to: readonly ["role"];
|
|
946
|
+
readonly description: "the roles it lets see";
|
|
947
|
+
readonly inverse: "what they see";
|
|
948
|
+
};
|
|
949
|
+
readonly shows: {
|
|
950
|
+
readonly to: readonly ["kind"];
|
|
951
|
+
readonly description: "the kinds it shows";
|
|
952
|
+
readonly inverse: "who sees it";
|
|
953
|
+
};
|
|
839
954
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
840
955
|
label: z.ZodString;
|
|
841
956
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -848,7 +963,7 @@ export declare const addField: AnyMutationDefinition<import("@graview/core").Sch
|
|
|
848
963
|
body: z.ZodOptional<z.ZodString>;
|
|
849
964
|
display: z.ZodOptional<z.ZodString>;
|
|
850
965
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
851
|
-
export declare const
|
|
966
|
+
export declare const renameField: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
852
967
|
label: z.ZodString;
|
|
853
968
|
plural: z.ZodOptional<z.ZodString>;
|
|
854
969
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -938,6 +1053,9 @@ export declare const removeField: AnyMutationDefinition<import("@graview/core").
|
|
|
938
1053
|
judgesPast: z.ZodBoolean;
|
|
939
1054
|
wholeGraph: z.ZodBoolean;
|
|
940
1055
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
1056
|
+
require: z.ZodOptional<z.ZodString>;
|
|
1057
|
+
when: z.ZodOptional<z.ZodString>;
|
|
1058
|
+
says: z.ZodOptional<z.ZodString>;
|
|
941
1059
|
}, z.core.$strip>, {
|
|
942
1060
|
readonly over: {
|
|
943
1061
|
readonly to: readonly ["kind"];
|
|
@@ -974,6 +1092,22 @@ export declare const removeField: AnyMutationDefinition<import("@graview/core").
|
|
|
974
1092
|
readonly description: "the kinds it allows those acts on";
|
|
975
1093
|
readonly inverse: "who may act on it";
|
|
976
1094
|
};
|
|
1095
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
1096
|
+
label: z.ZodString;
|
|
1097
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
1098
|
+
own: z.ZodBoolean;
|
|
1099
|
+
everyone: z.ZodBoolean;
|
|
1100
|
+
}, z.core.$strip>, {
|
|
1101
|
+
readonly "seen-by": {
|
|
1102
|
+
readonly to: readonly ["role"];
|
|
1103
|
+
readonly description: "the roles it lets see";
|
|
1104
|
+
readonly inverse: "what they see";
|
|
1105
|
+
};
|
|
1106
|
+
readonly shows: {
|
|
1107
|
+
readonly to: readonly ["kind"];
|
|
1108
|
+
readonly description: "the kinds it shows";
|
|
1109
|
+
readonly inverse: "who sees it";
|
|
1110
|
+
};
|
|
977
1111
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
978
1112
|
label: z.ZodString;
|
|
979
1113
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -986,7 +1120,7 @@ export declare const removeField: AnyMutationDefinition<import("@graview/core").
|
|
|
986
1120
|
body: z.ZodOptional<z.ZodString>;
|
|
987
1121
|
display: z.ZodOptional<z.ZodString>;
|
|
988
1122
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
989
|
-
export declare const
|
|
1123
|
+
export declare const removeField: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
990
1124
|
label: z.ZodString;
|
|
991
1125
|
plural: z.ZodOptional<z.ZodString>;
|
|
992
1126
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -1076,6 +1210,9 @@ export declare const addEdge: AnyMutationDefinition<import("@graview/core").Sche
|
|
|
1076
1210
|
judgesPast: z.ZodBoolean;
|
|
1077
1211
|
wholeGraph: z.ZodBoolean;
|
|
1078
1212
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
1213
|
+
require: z.ZodOptional<z.ZodString>;
|
|
1214
|
+
when: z.ZodOptional<z.ZodString>;
|
|
1215
|
+
says: z.ZodOptional<z.ZodString>;
|
|
1079
1216
|
}, z.core.$strip>, {
|
|
1080
1217
|
readonly over: {
|
|
1081
1218
|
readonly to: readonly ["kind"];
|
|
@@ -1112,6 +1249,22 @@ export declare const addEdge: AnyMutationDefinition<import("@graview/core").Sche
|
|
|
1112
1249
|
readonly description: "the kinds it allows those acts on";
|
|
1113
1250
|
readonly inverse: "who may act on it";
|
|
1114
1251
|
};
|
|
1252
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
1253
|
+
label: z.ZodString;
|
|
1254
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
1255
|
+
own: z.ZodBoolean;
|
|
1256
|
+
everyone: z.ZodBoolean;
|
|
1257
|
+
}, z.core.$strip>, {
|
|
1258
|
+
readonly "seen-by": {
|
|
1259
|
+
readonly to: readonly ["role"];
|
|
1260
|
+
readonly description: "the roles it lets see";
|
|
1261
|
+
readonly inverse: "what they see";
|
|
1262
|
+
};
|
|
1263
|
+
readonly shows: {
|
|
1264
|
+
readonly to: readonly ["kind"];
|
|
1265
|
+
readonly description: "the kinds it shows";
|
|
1266
|
+
readonly inverse: "who sees it";
|
|
1267
|
+
};
|
|
1115
1268
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
1116
1269
|
label: z.ZodString;
|
|
1117
1270
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -1124,7 +1277,7 @@ export declare const addEdge: AnyMutationDefinition<import("@graview/core").Sche
|
|
|
1124
1277
|
body: z.ZodOptional<z.ZodString>;
|
|
1125
1278
|
display: z.ZodOptional<z.ZodString>;
|
|
1126
1279
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
1127
|
-
export declare const
|
|
1280
|
+
export declare const addEdge: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
1128
1281
|
label: z.ZodString;
|
|
1129
1282
|
plural: z.ZodOptional<z.ZodString>;
|
|
1130
1283
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -1214,6 +1367,9 @@ export declare const removeEdge: AnyMutationDefinition<import("@graview/core").S
|
|
|
1214
1367
|
judgesPast: z.ZodBoolean;
|
|
1215
1368
|
wholeGraph: z.ZodBoolean;
|
|
1216
1369
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
1370
|
+
require: z.ZodOptional<z.ZodString>;
|
|
1371
|
+
when: z.ZodOptional<z.ZodString>;
|
|
1372
|
+
says: z.ZodOptional<z.ZodString>;
|
|
1217
1373
|
}, z.core.$strip>, {
|
|
1218
1374
|
readonly over: {
|
|
1219
1375
|
readonly to: readonly ["kind"];
|
|
@@ -1250,6 +1406,22 @@ export declare const removeEdge: AnyMutationDefinition<import("@graview/core").S
|
|
|
1250
1406
|
readonly description: "the kinds it allows those acts on";
|
|
1251
1407
|
readonly inverse: "who may act on it";
|
|
1252
1408
|
};
|
|
1409
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
1410
|
+
label: z.ZodString;
|
|
1411
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
1412
|
+
own: z.ZodBoolean;
|
|
1413
|
+
everyone: z.ZodBoolean;
|
|
1414
|
+
}, z.core.$strip>, {
|
|
1415
|
+
readonly "seen-by": {
|
|
1416
|
+
readonly to: readonly ["role"];
|
|
1417
|
+
readonly description: "the roles it lets see";
|
|
1418
|
+
readonly inverse: "what they see";
|
|
1419
|
+
};
|
|
1420
|
+
readonly shows: {
|
|
1421
|
+
readonly to: readonly ["kind"];
|
|
1422
|
+
readonly description: "the kinds it shows";
|
|
1423
|
+
readonly inverse: "who sees it";
|
|
1424
|
+
};
|
|
1253
1425
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
1254
1426
|
label: z.ZodString;
|
|
1255
1427
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -1262,7 +1434,7 @@ export declare const removeEdge: AnyMutationDefinition<import("@graview/core").S
|
|
|
1262
1434
|
body: z.ZodOptional<z.ZodString>;
|
|
1263
1435
|
display: z.ZodOptional<z.ZodString>;
|
|
1264
1436
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
1265
|
-
export declare const
|
|
1437
|
+
export declare const removeEdge: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
1266
1438
|
label: z.ZodString;
|
|
1267
1439
|
plural: z.ZodOptional<z.ZodString>;
|
|
1268
1440
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -1352,6 +1524,9 @@ export declare const addAct: AnyMutationDefinition<import("@graview/core").Schem
|
|
|
1352
1524
|
judgesPast: z.ZodBoolean;
|
|
1353
1525
|
wholeGraph: z.ZodBoolean;
|
|
1354
1526
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
1527
|
+
require: z.ZodOptional<z.ZodString>;
|
|
1528
|
+
when: z.ZodOptional<z.ZodString>;
|
|
1529
|
+
says: z.ZodOptional<z.ZodString>;
|
|
1355
1530
|
}, z.core.$strip>, {
|
|
1356
1531
|
readonly over: {
|
|
1357
1532
|
readonly to: readonly ["kind"];
|
|
@@ -1388,6 +1563,22 @@ export declare const addAct: AnyMutationDefinition<import("@graview/core").Schem
|
|
|
1388
1563
|
readonly description: "the kinds it allows those acts on";
|
|
1389
1564
|
readonly inverse: "who may act on it";
|
|
1390
1565
|
};
|
|
1566
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
1567
|
+
label: z.ZodString;
|
|
1568
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
1569
|
+
own: z.ZodBoolean;
|
|
1570
|
+
everyone: z.ZodBoolean;
|
|
1571
|
+
}, z.core.$strip>, {
|
|
1572
|
+
readonly "seen-by": {
|
|
1573
|
+
readonly to: readonly ["role"];
|
|
1574
|
+
readonly description: "the roles it lets see";
|
|
1575
|
+
readonly inverse: "what they see";
|
|
1576
|
+
};
|
|
1577
|
+
readonly shows: {
|
|
1578
|
+
readonly to: readonly ["kind"];
|
|
1579
|
+
readonly description: "the kinds it shows";
|
|
1580
|
+
readonly inverse: "who sees it";
|
|
1581
|
+
};
|
|
1391
1582
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
1392
1583
|
label: z.ZodString;
|
|
1393
1584
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -1400,7 +1591,7 @@ export declare const addAct: AnyMutationDefinition<import("@graview/core").Schem
|
|
|
1400
1591
|
body: z.ZodOptional<z.ZodString>;
|
|
1401
1592
|
display: z.ZodOptional<z.ZodString>;
|
|
1402
1593
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
1403
|
-
export declare const
|
|
1594
|
+
export declare const addAct: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
1404
1595
|
label: z.ZodString;
|
|
1405
1596
|
plural: z.ZodOptional<z.ZodString>;
|
|
1406
1597
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -1490,6 +1681,9 @@ export declare const removeAct: AnyMutationDefinition<import("@graview/core").Sc
|
|
|
1490
1681
|
judgesPast: z.ZodBoolean;
|
|
1491
1682
|
wholeGraph: z.ZodBoolean;
|
|
1492
1683
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
1684
|
+
require: z.ZodOptional<z.ZodString>;
|
|
1685
|
+
when: z.ZodOptional<z.ZodString>;
|
|
1686
|
+
says: z.ZodOptional<z.ZodString>;
|
|
1493
1687
|
}, z.core.$strip>, {
|
|
1494
1688
|
readonly over: {
|
|
1495
1689
|
readonly to: readonly ["kind"];
|
|
@@ -1526,6 +1720,22 @@ export declare const removeAct: AnyMutationDefinition<import("@graview/core").Sc
|
|
|
1526
1720
|
readonly description: "the kinds it allows those acts on";
|
|
1527
1721
|
readonly inverse: "who may act on it";
|
|
1528
1722
|
};
|
|
1723
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
1724
|
+
label: z.ZodString;
|
|
1725
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
1726
|
+
own: z.ZodBoolean;
|
|
1727
|
+
everyone: z.ZodBoolean;
|
|
1728
|
+
}, z.core.$strip>, {
|
|
1729
|
+
readonly "seen-by": {
|
|
1730
|
+
readonly to: readonly ["role"];
|
|
1731
|
+
readonly description: "the roles it lets see";
|
|
1732
|
+
readonly inverse: "what they see";
|
|
1733
|
+
};
|
|
1734
|
+
readonly shows: {
|
|
1735
|
+
readonly to: readonly ["kind"];
|
|
1736
|
+
readonly description: "the kinds it shows";
|
|
1737
|
+
readonly inverse: "who sees it";
|
|
1738
|
+
};
|
|
1529
1739
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
1530
1740
|
label: z.ZodString;
|
|
1531
1741
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -1538,7 +1748,7 @@ export declare const removeAct: AnyMutationDefinition<import("@graview/core").Sc
|
|
|
1538
1748
|
body: z.ZodOptional<z.ZodString>;
|
|
1539
1749
|
display: z.ZodOptional<z.ZodString>;
|
|
1540
1750
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
1541
|
-
export declare const
|
|
1751
|
+
export declare const removeAct: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
1542
1752
|
label: z.ZodString;
|
|
1543
1753
|
plural: z.ZodOptional<z.ZodString>;
|
|
1544
1754
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -1628,6 +1838,9 @@ export declare const addRule: AnyMutationDefinition<import("@graview/core").Sche
|
|
|
1628
1838
|
judgesPast: z.ZodBoolean;
|
|
1629
1839
|
wholeGraph: z.ZodBoolean;
|
|
1630
1840
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
1841
|
+
require: z.ZodOptional<z.ZodString>;
|
|
1842
|
+
when: z.ZodOptional<z.ZodString>;
|
|
1843
|
+
says: z.ZodOptional<z.ZodString>;
|
|
1631
1844
|
}, z.core.$strip>, {
|
|
1632
1845
|
readonly over: {
|
|
1633
1846
|
readonly to: readonly ["kind"];
|
|
@@ -1664,6 +1877,22 @@ export declare const addRule: AnyMutationDefinition<import("@graview/core").Sche
|
|
|
1664
1877
|
readonly description: "the kinds it allows those acts on";
|
|
1665
1878
|
readonly inverse: "who may act on it";
|
|
1666
1879
|
};
|
|
1880
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
1881
|
+
label: z.ZodString;
|
|
1882
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
1883
|
+
own: z.ZodBoolean;
|
|
1884
|
+
everyone: z.ZodBoolean;
|
|
1885
|
+
}, z.core.$strip>, {
|
|
1886
|
+
readonly "seen-by": {
|
|
1887
|
+
readonly to: readonly ["role"];
|
|
1888
|
+
readonly description: "the roles it lets see";
|
|
1889
|
+
readonly inverse: "what they see";
|
|
1890
|
+
};
|
|
1891
|
+
readonly shows: {
|
|
1892
|
+
readonly to: readonly ["kind"];
|
|
1893
|
+
readonly description: "the kinds it shows";
|
|
1894
|
+
readonly inverse: "who sees it";
|
|
1895
|
+
};
|
|
1667
1896
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
1668
1897
|
label: z.ZodString;
|
|
1669
1898
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -1676,7 +1905,7 @@ export declare const addRule: AnyMutationDefinition<import("@graview/core").Sche
|
|
|
1676
1905
|
body: z.ZodOptional<z.ZodString>;
|
|
1677
1906
|
display: z.ZodOptional<z.ZodString>;
|
|
1678
1907
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
1679
|
-
export declare const
|
|
1908
|
+
export declare const addRule: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
1680
1909
|
label: z.ZodString;
|
|
1681
1910
|
plural: z.ZodOptional<z.ZodString>;
|
|
1682
1911
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -1766,6 +1995,9 @@ export declare const removeRule: AnyMutationDefinition<import("@graview/core").S
|
|
|
1766
1995
|
judgesPast: z.ZodBoolean;
|
|
1767
1996
|
wholeGraph: z.ZodBoolean;
|
|
1768
1997
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
1998
|
+
require: z.ZodOptional<z.ZodString>;
|
|
1999
|
+
when: z.ZodOptional<z.ZodString>;
|
|
2000
|
+
says: z.ZodOptional<z.ZodString>;
|
|
1769
2001
|
}, z.core.$strip>, {
|
|
1770
2002
|
readonly over: {
|
|
1771
2003
|
readonly to: readonly ["kind"];
|
|
@@ -1802,6 +2034,22 @@ export declare const removeRule: AnyMutationDefinition<import("@graview/core").S
|
|
|
1802
2034
|
readonly description: "the kinds it allows those acts on";
|
|
1803
2035
|
readonly inverse: "who may act on it";
|
|
1804
2036
|
};
|
|
2037
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
2038
|
+
label: z.ZodString;
|
|
2039
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
2040
|
+
own: z.ZodBoolean;
|
|
2041
|
+
everyone: z.ZodBoolean;
|
|
2042
|
+
}, z.core.$strip>, {
|
|
2043
|
+
readonly "seen-by": {
|
|
2044
|
+
readonly to: readonly ["role"];
|
|
2045
|
+
readonly description: "the roles it lets see";
|
|
2046
|
+
readonly inverse: "what they see";
|
|
2047
|
+
};
|
|
2048
|
+
readonly shows: {
|
|
2049
|
+
readonly to: readonly ["kind"];
|
|
2050
|
+
readonly description: "the kinds it shows";
|
|
2051
|
+
readonly inverse: "who sees it";
|
|
2052
|
+
};
|
|
1805
2053
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
1806
2054
|
label: z.ZodString;
|
|
1807
2055
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -1814,7 +2062,7 @@ export declare const removeRule: AnyMutationDefinition<import("@graview/core").S
|
|
|
1814
2062
|
body: z.ZodOptional<z.ZodString>;
|
|
1815
2063
|
display: z.ZodOptional<z.ZodString>;
|
|
1816
2064
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
1817
|
-
export declare const
|
|
2065
|
+
export declare const removeRule: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
1818
2066
|
label: z.ZodString;
|
|
1819
2067
|
plural: z.ZodOptional<z.ZodString>;
|
|
1820
2068
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -1904,6 +2152,9 @@ export declare const nameRepair: AnyMutationDefinition<import("@graview/core").S
|
|
|
1904
2152
|
judgesPast: z.ZodBoolean;
|
|
1905
2153
|
wholeGraph: z.ZodBoolean;
|
|
1906
2154
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
2155
|
+
require: z.ZodOptional<z.ZodString>;
|
|
2156
|
+
when: z.ZodOptional<z.ZodString>;
|
|
2157
|
+
says: z.ZodOptional<z.ZodString>;
|
|
1907
2158
|
}, z.core.$strip>, {
|
|
1908
2159
|
readonly over: {
|
|
1909
2160
|
readonly to: readonly ["kind"];
|
|
@@ -1940,6 +2191,22 @@ export declare const nameRepair: AnyMutationDefinition<import("@graview/core").S
|
|
|
1940
2191
|
readonly description: "the kinds it allows those acts on";
|
|
1941
2192
|
readonly inverse: "who may act on it";
|
|
1942
2193
|
};
|
|
2194
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
2195
|
+
label: z.ZodString;
|
|
2196
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
2197
|
+
own: z.ZodBoolean;
|
|
2198
|
+
everyone: z.ZodBoolean;
|
|
2199
|
+
}, z.core.$strip>, {
|
|
2200
|
+
readonly "seen-by": {
|
|
2201
|
+
readonly to: readonly ["role"];
|
|
2202
|
+
readonly description: "the roles it lets see";
|
|
2203
|
+
readonly inverse: "what they see";
|
|
2204
|
+
};
|
|
2205
|
+
readonly shows: {
|
|
2206
|
+
readonly to: readonly ["kind"];
|
|
2207
|
+
readonly description: "the kinds it shows";
|
|
2208
|
+
readonly inverse: "who sees it";
|
|
2209
|
+
};
|
|
1943
2210
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
1944
2211
|
label: z.ZodString;
|
|
1945
2212
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -1952,7 +2219,7 @@ export declare const nameRepair: AnyMutationDefinition<import("@graview/core").S
|
|
|
1952
2219
|
body: z.ZodOptional<z.ZodString>;
|
|
1953
2220
|
display: z.ZodOptional<z.ZodString>;
|
|
1954
2221
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
1955
|
-
export declare const
|
|
2222
|
+
export declare const nameRepair: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
1956
2223
|
label: z.ZodString;
|
|
1957
2224
|
plural: z.ZodOptional<z.ZodString>;
|
|
1958
2225
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -2042,6 +2309,9 @@ export declare const forgetRepair: AnyMutationDefinition<import("@graview/core")
|
|
|
2042
2309
|
judgesPast: z.ZodBoolean;
|
|
2043
2310
|
wholeGraph: z.ZodBoolean;
|
|
2044
2311
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
2312
|
+
require: z.ZodOptional<z.ZodString>;
|
|
2313
|
+
when: z.ZodOptional<z.ZodString>;
|
|
2314
|
+
says: z.ZodOptional<z.ZodString>;
|
|
2045
2315
|
}, z.core.$strip>, {
|
|
2046
2316
|
readonly over: {
|
|
2047
2317
|
readonly to: readonly ["kind"];
|
|
@@ -2078,6 +2348,22 @@ export declare const forgetRepair: AnyMutationDefinition<import("@graview/core")
|
|
|
2078
2348
|
readonly description: "the kinds it allows those acts on";
|
|
2079
2349
|
readonly inverse: "who may act on it";
|
|
2080
2350
|
};
|
|
2351
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
2352
|
+
label: z.ZodString;
|
|
2353
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
2354
|
+
own: z.ZodBoolean;
|
|
2355
|
+
everyone: z.ZodBoolean;
|
|
2356
|
+
}, z.core.$strip>, {
|
|
2357
|
+
readonly "seen-by": {
|
|
2358
|
+
readonly to: readonly ["role"];
|
|
2359
|
+
readonly description: "the roles it lets see";
|
|
2360
|
+
readonly inverse: "what they see";
|
|
2361
|
+
};
|
|
2362
|
+
readonly shows: {
|
|
2363
|
+
readonly to: readonly ["kind"];
|
|
2364
|
+
readonly description: "the kinds it shows";
|
|
2365
|
+
readonly inverse: "who sees it";
|
|
2366
|
+
};
|
|
2081
2367
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
2082
2368
|
label: z.ZodString;
|
|
2083
2369
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -2090,7 +2376,7 @@ export declare const forgetRepair: AnyMutationDefinition<import("@graview/core")
|
|
|
2090
2376
|
body: z.ZodOptional<z.ZodString>;
|
|
2091
2377
|
display: z.ZodOptional<z.ZodString>;
|
|
2092
2378
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
2093
|
-
export declare const
|
|
2379
|
+
export declare const forgetRepair: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
2094
2380
|
label: z.ZodString;
|
|
2095
2381
|
plural: z.ZodOptional<z.ZodString>;
|
|
2096
2382
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -2180,6 +2466,9 @@ export declare const setFigure: AnyMutationDefinition<import("@graview/core").Sc
|
|
|
2180
2466
|
judgesPast: z.ZodBoolean;
|
|
2181
2467
|
wholeGraph: z.ZodBoolean;
|
|
2182
2468
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
2469
|
+
require: z.ZodOptional<z.ZodString>;
|
|
2470
|
+
when: z.ZodOptional<z.ZodString>;
|
|
2471
|
+
says: z.ZodOptional<z.ZodString>;
|
|
2183
2472
|
}, z.core.$strip>, {
|
|
2184
2473
|
readonly over: {
|
|
2185
2474
|
readonly to: readonly ["kind"];
|
|
@@ -2216,6 +2505,22 @@ export declare const setFigure: AnyMutationDefinition<import("@graview/core").Sc
|
|
|
2216
2505
|
readonly description: "the kinds it allows those acts on";
|
|
2217
2506
|
readonly inverse: "who may act on it";
|
|
2218
2507
|
};
|
|
2508
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
2509
|
+
label: z.ZodString;
|
|
2510
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
2511
|
+
own: z.ZodBoolean;
|
|
2512
|
+
everyone: z.ZodBoolean;
|
|
2513
|
+
}, z.core.$strip>, {
|
|
2514
|
+
readonly "seen-by": {
|
|
2515
|
+
readonly to: readonly ["role"];
|
|
2516
|
+
readonly description: "the roles it lets see";
|
|
2517
|
+
readonly inverse: "what they see";
|
|
2518
|
+
};
|
|
2519
|
+
readonly shows: {
|
|
2520
|
+
readonly to: readonly ["kind"];
|
|
2521
|
+
readonly description: "the kinds it shows";
|
|
2522
|
+
readonly inverse: "who sees it";
|
|
2523
|
+
};
|
|
2219
2524
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
2220
2525
|
label: z.ZodString;
|
|
2221
2526
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -2228,7 +2533,7 @@ export declare const setFigure: AnyMutationDefinition<import("@graview/core").Sc
|
|
|
2228
2533
|
body: z.ZodOptional<z.ZodString>;
|
|
2229
2534
|
display: z.ZodOptional<z.ZodString>;
|
|
2230
2535
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
2231
|
-
export declare const
|
|
2536
|
+
export declare const setFigure: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
2232
2537
|
label: z.ZodString;
|
|
2233
2538
|
plural: z.ZodOptional<z.ZodString>;
|
|
2234
2539
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -2318,6 +2623,9 @@ export declare const addRole: AnyMutationDefinition<import("@graview/core").Sche
|
|
|
2318
2623
|
judgesPast: z.ZodBoolean;
|
|
2319
2624
|
wholeGraph: z.ZodBoolean;
|
|
2320
2625
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
2626
|
+
require: z.ZodOptional<z.ZodString>;
|
|
2627
|
+
when: z.ZodOptional<z.ZodString>;
|
|
2628
|
+
says: z.ZodOptional<z.ZodString>;
|
|
2321
2629
|
}, z.core.$strip>, {
|
|
2322
2630
|
readonly over: {
|
|
2323
2631
|
readonly to: readonly ["kind"];
|
|
@@ -2354,6 +2662,22 @@ export declare const addRole: AnyMutationDefinition<import("@graview/core").Sche
|
|
|
2354
2662
|
readonly description: "the kinds it allows those acts on";
|
|
2355
2663
|
readonly inverse: "who may act on it";
|
|
2356
2664
|
};
|
|
2665
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
2666
|
+
label: z.ZodString;
|
|
2667
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
2668
|
+
own: z.ZodBoolean;
|
|
2669
|
+
everyone: z.ZodBoolean;
|
|
2670
|
+
}, z.core.$strip>, {
|
|
2671
|
+
readonly "seen-by": {
|
|
2672
|
+
readonly to: readonly ["role"];
|
|
2673
|
+
readonly description: "the roles it lets see";
|
|
2674
|
+
readonly inverse: "what they see";
|
|
2675
|
+
};
|
|
2676
|
+
readonly shows: {
|
|
2677
|
+
readonly to: readonly ["kind"];
|
|
2678
|
+
readonly description: "the kinds it shows";
|
|
2679
|
+
readonly inverse: "who sees it";
|
|
2680
|
+
};
|
|
2357
2681
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
2358
2682
|
label: z.ZodString;
|
|
2359
2683
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -2366,7 +2690,7 @@ export declare const addRole: AnyMutationDefinition<import("@graview/core").Sche
|
|
|
2366
2690
|
body: z.ZodOptional<z.ZodString>;
|
|
2367
2691
|
display: z.ZodOptional<z.ZodString>;
|
|
2368
2692
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
2369
|
-
export declare const
|
|
2693
|
+
export declare const addRole: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
2370
2694
|
label: z.ZodString;
|
|
2371
2695
|
plural: z.ZodOptional<z.ZodString>;
|
|
2372
2696
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -2456,6 +2780,9 @@ export declare const grant: AnyMutationDefinition<import("@graview/core").Schema
|
|
|
2456
2780
|
judgesPast: z.ZodBoolean;
|
|
2457
2781
|
wholeGraph: z.ZodBoolean;
|
|
2458
2782
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
2783
|
+
require: z.ZodOptional<z.ZodString>;
|
|
2784
|
+
when: z.ZodOptional<z.ZodString>;
|
|
2785
|
+
says: z.ZodOptional<z.ZodString>;
|
|
2459
2786
|
}, z.core.$strip>, {
|
|
2460
2787
|
readonly over: {
|
|
2461
2788
|
readonly to: readonly ["kind"];
|
|
@@ -2492,6 +2819,22 @@ export declare const grant: AnyMutationDefinition<import("@graview/core").Schema
|
|
|
2492
2819
|
readonly description: "the kinds it allows those acts on";
|
|
2493
2820
|
readonly inverse: "who may act on it";
|
|
2494
2821
|
};
|
|
2822
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
2823
|
+
label: z.ZodString;
|
|
2824
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
2825
|
+
own: z.ZodBoolean;
|
|
2826
|
+
everyone: z.ZodBoolean;
|
|
2827
|
+
}, z.core.$strip>, {
|
|
2828
|
+
readonly "seen-by": {
|
|
2829
|
+
readonly to: readonly ["role"];
|
|
2830
|
+
readonly description: "the roles it lets see";
|
|
2831
|
+
readonly inverse: "what they see";
|
|
2832
|
+
};
|
|
2833
|
+
readonly shows: {
|
|
2834
|
+
readonly to: readonly ["kind"];
|
|
2835
|
+
readonly description: "the kinds it shows";
|
|
2836
|
+
readonly inverse: "who sees it";
|
|
2837
|
+
};
|
|
2495
2838
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
2496
2839
|
label: z.ZodString;
|
|
2497
2840
|
binds: z.ZodOptional<z.ZodEnum<{
|
|
@@ -2504,7 +2847,7 @@ export declare const grant: AnyMutationDefinition<import("@graview/core").Schema
|
|
|
2504
2847
|
body: z.ZodOptional<z.ZodString>;
|
|
2505
2848
|
display: z.ZodOptional<z.ZodString>;
|
|
2506
2849
|
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
2507
|
-
export declare const
|
|
2850
|
+
export declare const grant: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
2508
2851
|
label: z.ZodString;
|
|
2509
2852
|
plural: z.ZodOptional<z.ZodString>;
|
|
2510
2853
|
noun: z.ZodOptional<z.ZodString>;
|
|
@@ -2594,6 +2937,9 @@ export declare const revokeGrant: AnyMutationDefinition<import("@graview/core").
|
|
|
2594
2937
|
judgesPast: z.ZodBoolean;
|
|
2595
2938
|
wholeGraph: z.ZodBoolean;
|
|
2596
2939
|
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
2940
|
+
require: z.ZodOptional<z.ZodString>;
|
|
2941
|
+
when: z.ZodOptional<z.ZodString>;
|
|
2942
|
+
says: z.ZodOptional<z.ZodString>;
|
|
2597
2943
|
}, z.core.$strip>, {
|
|
2598
2944
|
readonly over: {
|
|
2599
2945
|
readonly to: readonly ["kind"];
|
|
@@ -2630,6 +2976,650 @@ export declare const revokeGrant: AnyMutationDefinition<import("@graview/core").
|
|
|
2630
2976
|
readonly description: "the kinds it allows those acts on";
|
|
2631
2977
|
readonly inverse: "who may act on it";
|
|
2632
2978
|
};
|
|
2979
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
2980
|
+
label: z.ZodString;
|
|
2981
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
2982
|
+
own: z.ZodBoolean;
|
|
2983
|
+
everyone: z.ZodBoolean;
|
|
2984
|
+
}, z.core.$strip>, {
|
|
2985
|
+
readonly "seen-by": {
|
|
2986
|
+
readonly to: readonly ["role"];
|
|
2987
|
+
readonly description: "the roles it lets see";
|
|
2988
|
+
readonly inverse: "what they see";
|
|
2989
|
+
};
|
|
2990
|
+
readonly shows: {
|
|
2991
|
+
readonly to: readonly ["kind"];
|
|
2992
|
+
readonly description: "the kinds it shows";
|
|
2993
|
+
readonly inverse: "who sees it";
|
|
2994
|
+
};
|
|
2995
|
+
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
2996
|
+
label: z.ZodString;
|
|
2997
|
+
binds: z.ZodOptional<z.ZodEnum<{
|
|
2998
|
+
fields: "fields";
|
|
2999
|
+
entities: "entities";
|
|
3000
|
+
}>>;
|
|
3001
|
+
requires: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3002
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"brand", z.ZodObject<{
|
|
3003
|
+
label: z.ZodString;
|
|
3004
|
+
body: z.ZodOptional<z.ZodString>;
|
|
3005
|
+
display: z.ZodOptional<z.ZodString>;
|
|
3006
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
3007
|
+
export declare const revokeGrant: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
3008
|
+
label: z.ZodString;
|
|
3009
|
+
plural: z.ZodOptional<z.ZodString>;
|
|
3010
|
+
noun: z.ZodOptional<z.ZodString>;
|
|
3011
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3012
|
+
lifecycleField: z.ZodOptional<z.ZodString>;
|
|
3013
|
+
retired: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3014
|
+
figure: z.ZodOptional<z.ZodString>;
|
|
3015
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"field", z.ZodObject<{
|
|
3016
|
+
label: z.ZodString;
|
|
3017
|
+
type: z.ZodEnum<{
|
|
3018
|
+
string: "string";
|
|
3019
|
+
number: "number";
|
|
3020
|
+
boolean: "boolean";
|
|
3021
|
+
text: "text";
|
|
3022
|
+
date: "date";
|
|
3023
|
+
enum: "enum";
|
|
3024
|
+
list: "list";
|
|
3025
|
+
}>;
|
|
3026
|
+
required: z.ZodBoolean;
|
|
3027
|
+
options: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3028
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3029
|
+
}, z.core.$strip>, {
|
|
3030
|
+
readonly of: {
|
|
3031
|
+
readonly to: readonly ["kind"];
|
|
3032
|
+
readonly cardinality: "one";
|
|
3033
|
+
readonly description: "the kind it belongs to";
|
|
3034
|
+
readonly inverse: "its fields";
|
|
3035
|
+
};
|
|
3036
|
+
}>, import("@graview/core").NodeDefinition<"edge", z.ZodObject<{
|
|
3037
|
+
label: z.ZodString;
|
|
3038
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3039
|
+
inverse: z.ZodOptional<z.ZodString>;
|
|
3040
|
+
cardinality: z.ZodEnum<{
|
|
3041
|
+
one: "one";
|
|
3042
|
+
many: "many";
|
|
3043
|
+
}>;
|
|
3044
|
+
appendOnly: z.ZodBoolean;
|
|
3045
|
+
toAny: z.ZodBoolean;
|
|
3046
|
+
}, z.core.$strip>, {
|
|
3047
|
+
readonly "from-kind": {
|
|
3048
|
+
readonly to: readonly ["kind"];
|
|
3049
|
+
readonly cardinality: "one";
|
|
3050
|
+
readonly description: "the kind it is declared on";
|
|
3051
|
+
readonly inverse: "its edges";
|
|
3052
|
+
};
|
|
3053
|
+
readonly "to-kind": {
|
|
3054
|
+
readonly to: readonly ["kind"];
|
|
3055
|
+
readonly description: "the kinds it may reach";
|
|
3056
|
+
readonly inverse: "the edges that reach it";
|
|
3057
|
+
};
|
|
3058
|
+
}>, import("@graview/core").NodeDefinition<"act", z.ZodObject<{
|
|
3059
|
+
label: z.ZodString;
|
|
3060
|
+
title: z.ZodOptional<z.ZodString>;
|
|
3061
|
+
fromTheOtherEnd: z.ZodOptional<z.ZodString>;
|
|
3062
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3063
|
+
destructive: z.ZodBoolean;
|
|
3064
|
+
writes: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3065
|
+
subjectArg: z.ZodOptional<z.ZodString>;
|
|
3066
|
+
targetArg: z.ZodOptional<z.ZodString>;
|
|
3067
|
+
onAny: z.ZodBoolean;
|
|
3068
|
+
derived: z.ZodBoolean;
|
|
3069
|
+
}, z.core.$strip>, {
|
|
3070
|
+
readonly on: {
|
|
3071
|
+
readonly to: readonly ["kind"];
|
|
3072
|
+
readonly description: "the kinds it acts on";
|
|
3073
|
+
readonly inverse: "the acts on it";
|
|
3074
|
+
};
|
|
3075
|
+
readonly creates: {
|
|
3076
|
+
readonly to: readonly ["kind"];
|
|
3077
|
+
readonly description: "the kind it brings into being";
|
|
3078
|
+
readonly inverse: "how one comes to be";
|
|
3079
|
+
};
|
|
3080
|
+
readonly connects: {
|
|
3081
|
+
readonly to: readonly ["edge"];
|
|
3082
|
+
readonly description: "the relation it makes";
|
|
3083
|
+
readonly inverse: "the acts that make it";
|
|
3084
|
+
};
|
|
3085
|
+
readonly severs: {
|
|
3086
|
+
readonly to: readonly ["edge"];
|
|
3087
|
+
readonly description: "the relation it breaks";
|
|
3088
|
+
readonly inverse: "the acts that break it";
|
|
3089
|
+
};
|
|
3090
|
+
}>, import("@graview/core").NodeDefinition<"rule", z.ZodObject<{
|
|
3091
|
+
label: z.ZodString;
|
|
3092
|
+
title: z.ZodOptional<z.ZodString>;
|
|
3093
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3094
|
+
judgesPast: z.ZodBoolean;
|
|
3095
|
+
wholeGraph: z.ZodBoolean;
|
|
3096
|
+
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3097
|
+
require: z.ZodOptional<z.ZodString>;
|
|
3098
|
+
when: z.ZodOptional<z.ZodString>;
|
|
3099
|
+
says: z.ZodOptional<z.ZodString>;
|
|
3100
|
+
}, z.core.$strip>, {
|
|
3101
|
+
readonly over: {
|
|
3102
|
+
readonly to: readonly ["kind"];
|
|
3103
|
+
readonly description: "the kind it judges";
|
|
3104
|
+
readonly inverse: "the rules over it";
|
|
3105
|
+
};
|
|
3106
|
+
readonly repairs: {
|
|
3107
|
+
readonly to: readonly ["act"];
|
|
3108
|
+
readonly description: "the acts that put it right";
|
|
3109
|
+
readonly inverse: "the rules it repairs";
|
|
3110
|
+
};
|
|
3111
|
+
}>, import("@graview/core").NodeDefinition<"role", z.ZodObject<{
|
|
3112
|
+
label: z.ZodString;
|
|
3113
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"grant", z.ZodObject<{
|
|
3114
|
+
label: z.ZodString;
|
|
3115
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
3116
|
+
self: z.ZodBoolean;
|
|
3117
|
+
everyone: z.ZodBoolean;
|
|
3118
|
+
allActs: z.ZodBoolean;
|
|
3119
|
+
allKinds: z.ZodBoolean;
|
|
3120
|
+
}, z.core.$strip>, {
|
|
3121
|
+
readonly lets: {
|
|
3122
|
+
readonly to: readonly ["role"];
|
|
3123
|
+
readonly description: "the roles it lets";
|
|
3124
|
+
readonly inverse: "what they are let do";
|
|
3125
|
+
};
|
|
3126
|
+
readonly may: {
|
|
3127
|
+
readonly to: readonly ["act"];
|
|
3128
|
+
readonly description: "the acts it allows";
|
|
3129
|
+
readonly inverse: "who may take it";
|
|
3130
|
+
};
|
|
3131
|
+
readonly "allows-on": {
|
|
3132
|
+
readonly to: readonly ["kind"];
|
|
3133
|
+
readonly description: "the kinds it allows those acts on";
|
|
3134
|
+
readonly inverse: "who may act on it";
|
|
3135
|
+
};
|
|
3136
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
3137
|
+
label: z.ZodString;
|
|
3138
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
3139
|
+
own: z.ZodBoolean;
|
|
3140
|
+
everyone: z.ZodBoolean;
|
|
3141
|
+
}, z.core.$strip>, {
|
|
3142
|
+
readonly "seen-by": {
|
|
3143
|
+
readonly to: readonly ["role"];
|
|
3144
|
+
readonly description: "the roles it lets see";
|
|
3145
|
+
readonly inverse: "what they see";
|
|
3146
|
+
};
|
|
3147
|
+
readonly shows: {
|
|
3148
|
+
readonly to: readonly ["kind"];
|
|
3149
|
+
readonly description: "the kinds it shows";
|
|
3150
|
+
readonly inverse: "who sees it";
|
|
3151
|
+
};
|
|
3152
|
+
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
3153
|
+
label: z.ZodString;
|
|
3154
|
+
binds: z.ZodOptional<z.ZodEnum<{
|
|
3155
|
+
fields: "fields";
|
|
3156
|
+
entities: "entities";
|
|
3157
|
+
}>>;
|
|
3158
|
+
requires: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3159
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"brand", z.ZodObject<{
|
|
3160
|
+
label: z.ZodString;
|
|
3161
|
+
body: z.ZodOptional<z.ZodString>;
|
|
3162
|
+
display: z.ZodOptional<z.ZodString>;
|
|
3163
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
3164
|
+
export declare const addSight: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
3165
|
+
label: z.ZodString;
|
|
3166
|
+
plural: z.ZodOptional<z.ZodString>;
|
|
3167
|
+
noun: z.ZodOptional<z.ZodString>;
|
|
3168
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3169
|
+
lifecycleField: z.ZodOptional<z.ZodString>;
|
|
3170
|
+
retired: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3171
|
+
figure: z.ZodOptional<z.ZodString>;
|
|
3172
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"field", z.ZodObject<{
|
|
3173
|
+
label: z.ZodString;
|
|
3174
|
+
type: z.ZodEnum<{
|
|
3175
|
+
string: "string";
|
|
3176
|
+
number: "number";
|
|
3177
|
+
boolean: "boolean";
|
|
3178
|
+
text: "text";
|
|
3179
|
+
date: "date";
|
|
3180
|
+
enum: "enum";
|
|
3181
|
+
list: "list";
|
|
3182
|
+
}>;
|
|
3183
|
+
required: z.ZodBoolean;
|
|
3184
|
+
options: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3185
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3186
|
+
}, z.core.$strip>, {
|
|
3187
|
+
readonly of: {
|
|
3188
|
+
readonly to: readonly ["kind"];
|
|
3189
|
+
readonly cardinality: "one";
|
|
3190
|
+
readonly description: "the kind it belongs to";
|
|
3191
|
+
readonly inverse: "its fields";
|
|
3192
|
+
};
|
|
3193
|
+
}>, import("@graview/core").NodeDefinition<"edge", z.ZodObject<{
|
|
3194
|
+
label: z.ZodString;
|
|
3195
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3196
|
+
inverse: z.ZodOptional<z.ZodString>;
|
|
3197
|
+
cardinality: z.ZodEnum<{
|
|
3198
|
+
one: "one";
|
|
3199
|
+
many: "many";
|
|
3200
|
+
}>;
|
|
3201
|
+
appendOnly: z.ZodBoolean;
|
|
3202
|
+
toAny: z.ZodBoolean;
|
|
3203
|
+
}, z.core.$strip>, {
|
|
3204
|
+
readonly "from-kind": {
|
|
3205
|
+
readonly to: readonly ["kind"];
|
|
3206
|
+
readonly cardinality: "one";
|
|
3207
|
+
readonly description: "the kind it is declared on";
|
|
3208
|
+
readonly inverse: "its edges";
|
|
3209
|
+
};
|
|
3210
|
+
readonly "to-kind": {
|
|
3211
|
+
readonly to: readonly ["kind"];
|
|
3212
|
+
readonly description: "the kinds it may reach";
|
|
3213
|
+
readonly inverse: "the edges that reach it";
|
|
3214
|
+
};
|
|
3215
|
+
}>, import("@graview/core").NodeDefinition<"act", z.ZodObject<{
|
|
3216
|
+
label: z.ZodString;
|
|
3217
|
+
title: z.ZodOptional<z.ZodString>;
|
|
3218
|
+
fromTheOtherEnd: z.ZodOptional<z.ZodString>;
|
|
3219
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3220
|
+
destructive: z.ZodBoolean;
|
|
3221
|
+
writes: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3222
|
+
subjectArg: z.ZodOptional<z.ZodString>;
|
|
3223
|
+
targetArg: z.ZodOptional<z.ZodString>;
|
|
3224
|
+
onAny: z.ZodBoolean;
|
|
3225
|
+
derived: z.ZodBoolean;
|
|
3226
|
+
}, z.core.$strip>, {
|
|
3227
|
+
readonly on: {
|
|
3228
|
+
readonly to: readonly ["kind"];
|
|
3229
|
+
readonly description: "the kinds it acts on";
|
|
3230
|
+
readonly inverse: "the acts on it";
|
|
3231
|
+
};
|
|
3232
|
+
readonly creates: {
|
|
3233
|
+
readonly to: readonly ["kind"];
|
|
3234
|
+
readonly description: "the kind it brings into being";
|
|
3235
|
+
readonly inverse: "how one comes to be";
|
|
3236
|
+
};
|
|
3237
|
+
readonly connects: {
|
|
3238
|
+
readonly to: readonly ["edge"];
|
|
3239
|
+
readonly description: "the relation it makes";
|
|
3240
|
+
readonly inverse: "the acts that make it";
|
|
3241
|
+
};
|
|
3242
|
+
readonly severs: {
|
|
3243
|
+
readonly to: readonly ["edge"];
|
|
3244
|
+
readonly description: "the relation it breaks";
|
|
3245
|
+
readonly inverse: "the acts that break it";
|
|
3246
|
+
};
|
|
3247
|
+
}>, import("@graview/core").NodeDefinition<"rule", z.ZodObject<{
|
|
3248
|
+
label: z.ZodString;
|
|
3249
|
+
title: z.ZodOptional<z.ZodString>;
|
|
3250
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3251
|
+
judgesPast: z.ZodBoolean;
|
|
3252
|
+
wholeGraph: z.ZodBoolean;
|
|
3253
|
+
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3254
|
+
require: z.ZodOptional<z.ZodString>;
|
|
3255
|
+
when: z.ZodOptional<z.ZodString>;
|
|
3256
|
+
says: z.ZodOptional<z.ZodString>;
|
|
3257
|
+
}, z.core.$strip>, {
|
|
3258
|
+
readonly over: {
|
|
3259
|
+
readonly to: readonly ["kind"];
|
|
3260
|
+
readonly description: "the kind it judges";
|
|
3261
|
+
readonly inverse: "the rules over it";
|
|
3262
|
+
};
|
|
3263
|
+
readonly repairs: {
|
|
3264
|
+
readonly to: readonly ["act"];
|
|
3265
|
+
readonly description: "the acts that put it right";
|
|
3266
|
+
readonly inverse: "the rules it repairs";
|
|
3267
|
+
};
|
|
3268
|
+
}>, import("@graview/core").NodeDefinition<"role", z.ZodObject<{
|
|
3269
|
+
label: z.ZodString;
|
|
3270
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"grant", z.ZodObject<{
|
|
3271
|
+
label: z.ZodString;
|
|
3272
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
3273
|
+
self: z.ZodBoolean;
|
|
3274
|
+
everyone: z.ZodBoolean;
|
|
3275
|
+
allActs: z.ZodBoolean;
|
|
3276
|
+
allKinds: z.ZodBoolean;
|
|
3277
|
+
}, z.core.$strip>, {
|
|
3278
|
+
readonly lets: {
|
|
3279
|
+
readonly to: readonly ["role"];
|
|
3280
|
+
readonly description: "the roles it lets";
|
|
3281
|
+
readonly inverse: "what they are let do";
|
|
3282
|
+
};
|
|
3283
|
+
readonly may: {
|
|
3284
|
+
readonly to: readonly ["act"];
|
|
3285
|
+
readonly description: "the acts it allows";
|
|
3286
|
+
readonly inverse: "who may take it";
|
|
3287
|
+
};
|
|
3288
|
+
readonly "allows-on": {
|
|
3289
|
+
readonly to: readonly ["kind"];
|
|
3290
|
+
readonly description: "the kinds it allows those acts on";
|
|
3291
|
+
readonly inverse: "who may act on it";
|
|
3292
|
+
};
|
|
3293
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
3294
|
+
label: z.ZodString;
|
|
3295
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
3296
|
+
own: z.ZodBoolean;
|
|
3297
|
+
everyone: z.ZodBoolean;
|
|
3298
|
+
}, z.core.$strip>, {
|
|
3299
|
+
readonly "seen-by": {
|
|
3300
|
+
readonly to: readonly ["role"];
|
|
3301
|
+
readonly description: "the roles it lets see";
|
|
3302
|
+
readonly inverse: "what they see";
|
|
3303
|
+
};
|
|
3304
|
+
readonly shows: {
|
|
3305
|
+
readonly to: readonly ["kind"];
|
|
3306
|
+
readonly description: "the kinds it shows";
|
|
3307
|
+
readonly inverse: "who sees it";
|
|
3308
|
+
};
|
|
3309
|
+
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
3310
|
+
label: z.ZodString;
|
|
3311
|
+
binds: z.ZodOptional<z.ZodEnum<{
|
|
3312
|
+
fields: "fields";
|
|
3313
|
+
entities: "entities";
|
|
3314
|
+
}>>;
|
|
3315
|
+
requires: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3316
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"brand", z.ZodObject<{
|
|
3317
|
+
label: z.ZodString;
|
|
3318
|
+
body: z.ZodOptional<z.ZodString>;
|
|
3319
|
+
display: z.ZodOptional<z.ZodString>;
|
|
3320
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
3321
|
+
export declare const changeSight: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
3322
|
+
label: z.ZodString;
|
|
3323
|
+
plural: z.ZodOptional<z.ZodString>;
|
|
3324
|
+
noun: z.ZodOptional<z.ZodString>;
|
|
3325
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3326
|
+
lifecycleField: z.ZodOptional<z.ZodString>;
|
|
3327
|
+
retired: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3328
|
+
figure: z.ZodOptional<z.ZodString>;
|
|
3329
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"field", z.ZodObject<{
|
|
3330
|
+
label: z.ZodString;
|
|
3331
|
+
type: z.ZodEnum<{
|
|
3332
|
+
string: "string";
|
|
3333
|
+
number: "number";
|
|
3334
|
+
boolean: "boolean";
|
|
3335
|
+
text: "text";
|
|
3336
|
+
date: "date";
|
|
3337
|
+
enum: "enum";
|
|
3338
|
+
list: "list";
|
|
3339
|
+
}>;
|
|
3340
|
+
required: z.ZodBoolean;
|
|
3341
|
+
options: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3342
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3343
|
+
}, z.core.$strip>, {
|
|
3344
|
+
readonly of: {
|
|
3345
|
+
readonly to: readonly ["kind"];
|
|
3346
|
+
readonly cardinality: "one";
|
|
3347
|
+
readonly description: "the kind it belongs to";
|
|
3348
|
+
readonly inverse: "its fields";
|
|
3349
|
+
};
|
|
3350
|
+
}>, import("@graview/core").NodeDefinition<"edge", z.ZodObject<{
|
|
3351
|
+
label: z.ZodString;
|
|
3352
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3353
|
+
inverse: z.ZodOptional<z.ZodString>;
|
|
3354
|
+
cardinality: z.ZodEnum<{
|
|
3355
|
+
one: "one";
|
|
3356
|
+
many: "many";
|
|
3357
|
+
}>;
|
|
3358
|
+
appendOnly: z.ZodBoolean;
|
|
3359
|
+
toAny: z.ZodBoolean;
|
|
3360
|
+
}, z.core.$strip>, {
|
|
3361
|
+
readonly "from-kind": {
|
|
3362
|
+
readonly to: readonly ["kind"];
|
|
3363
|
+
readonly cardinality: "one";
|
|
3364
|
+
readonly description: "the kind it is declared on";
|
|
3365
|
+
readonly inverse: "its edges";
|
|
3366
|
+
};
|
|
3367
|
+
readonly "to-kind": {
|
|
3368
|
+
readonly to: readonly ["kind"];
|
|
3369
|
+
readonly description: "the kinds it may reach";
|
|
3370
|
+
readonly inverse: "the edges that reach it";
|
|
3371
|
+
};
|
|
3372
|
+
}>, import("@graview/core").NodeDefinition<"act", z.ZodObject<{
|
|
3373
|
+
label: z.ZodString;
|
|
3374
|
+
title: z.ZodOptional<z.ZodString>;
|
|
3375
|
+
fromTheOtherEnd: z.ZodOptional<z.ZodString>;
|
|
3376
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3377
|
+
destructive: z.ZodBoolean;
|
|
3378
|
+
writes: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3379
|
+
subjectArg: z.ZodOptional<z.ZodString>;
|
|
3380
|
+
targetArg: z.ZodOptional<z.ZodString>;
|
|
3381
|
+
onAny: z.ZodBoolean;
|
|
3382
|
+
derived: z.ZodBoolean;
|
|
3383
|
+
}, z.core.$strip>, {
|
|
3384
|
+
readonly on: {
|
|
3385
|
+
readonly to: readonly ["kind"];
|
|
3386
|
+
readonly description: "the kinds it acts on";
|
|
3387
|
+
readonly inverse: "the acts on it";
|
|
3388
|
+
};
|
|
3389
|
+
readonly creates: {
|
|
3390
|
+
readonly to: readonly ["kind"];
|
|
3391
|
+
readonly description: "the kind it brings into being";
|
|
3392
|
+
readonly inverse: "how one comes to be";
|
|
3393
|
+
};
|
|
3394
|
+
readonly connects: {
|
|
3395
|
+
readonly to: readonly ["edge"];
|
|
3396
|
+
readonly description: "the relation it makes";
|
|
3397
|
+
readonly inverse: "the acts that make it";
|
|
3398
|
+
};
|
|
3399
|
+
readonly severs: {
|
|
3400
|
+
readonly to: readonly ["edge"];
|
|
3401
|
+
readonly description: "the relation it breaks";
|
|
3402
|
+
readonly inverse: "the acts that break it";
|
|
3403
|
+
};
|
|
3404
|
+
}>, import("@graview/core").NodeDefinition<"rule", z.ZodObject<{
|
|
3405
|
+
label: z.ZodString;
|
|
3406
|
+
title: z.ZodOptional<z.ZodString>;
|
|
3407
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3408
|
+
judgesPast: z.ZodBoolean;
|
|
3409
|
+
wholeGraph: z.ZodBoolean;
|
|
3410
|
+
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3411
|
+
require: z.ZodOptional<z.ZodString>;
|
|
3412
|
+
when: z.ZodOptional<z.ZodString>;
|
|
3413
|
+
says: z.ZodOptional<z.ZodString>;
|
|
3414
|
+
}, z.core.$strip>, {
|
|
3415
|
+
readonly over: {
|
|
3416
|
+
readonly to: readonly ["kind"];
|
|
3417
|
+
readonly description: "the kind it judges";
|
|
3418
|
+
readonly inverse: "the rules over it";
|
|
3419
|
+
};
|
|
3420
|
+
readonly repairs: {
|
|
3421
|
+
readonly to: readonly ["act"];
|
|
3422
|
+
readonly description: "the acts that put it right";
|
|
3423
|
+
readonly inverse: "the rules it repairs";
|
|
3424
|
+
};
|
|
3425
|
+
}>, import("@graview/core").NodeDefinition<"role", z.ZodObject<{
|
|
3426
|
+
label: z.ZodString;
|
|
3427
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"grant", z.ZodObject<{
|
|
3428
|
+
label: z.ZodString;
|
|
3429
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
3430
|
+
self: z.ZodBoolean;
|
|
3431
|
+
everyone: z.ZodBoolean;
|
|
3432
|
+
allActs: z.ZodBoolean;
|
|
3433
|
+
allKinds: z.ZodBoolean;
|
|
3434
|
+
}, z.core.$strip>, {
|
|
3435
|
+
readonly lets: {
|
|
3436
|
+
readonly to: readonly ["role"];
|
|
3437
|
+
readonly description: "the roles it lets";
|
|
3438
|
+
readonly inverse: "what they are let do";
|
|
3439
|
+
};
|
|
3440
|
+
readonly may: {
|
|
3441
|
+
readonly to: readonly ["act"];
|
|
3442
|
+
readonly description: "the acts it allows";
|
|
3443
|
+
readonly inverse: "who may take it";
|
|
3444
|
+
};
|
|
3445
|
+
readonly "allows-on": {
|
|
3446
|
+
readonly to: readonly ["kind"];
|
|
3447
|
+
readonly description: "the kinds it allows those acts on";
|
|
3448
|
+
readonly inverse: "who may act on it";
|
|
3449
|
+
};
|
|
3450
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
3451
|
+
label: z.ZodString;
|
|
3452
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
3453
|
+
own: z.ZodBoolean;
|
|
3454
|
+
everyone: z.ZodBoolean;
|
|
3455
|
+
}, z.core.$strip>, {
|
|
3456
|
+
readonly "seen-by": {
|
|
3457
|
+
readonly to: readonly ["role"];
|
|
3458
|
+
readonly description: "the roles it lets see";
|
|
3459
|
+
readonly inverse: "what they see";
|
|
3460
|
+
};
|
|
3461
|
+
readonly shows: {
|
|
3462
|
+
readonly to: readonly ["kind"];
|
|
3463
|
+
readonly description: "the kinds it shows";
|
|
3464
|
+
readonly inverse: "who sees it";
|
|
3465
|
+
};
|
|
3466
|
+
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
3467
|
+
label: z.ZodString;
|
|
3468
|
+
binds: z.ZodOptional<z.ZodEnum<{
|
|
3469
|
+
fields: "fields";
|
|
3470
|
+
entities: "entities";
|
|
3471
|
+
}>>;
|
|
3472
|
+
requires: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3473
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"brand", z.ZodObject<{
|
|
3474
|
+
label: z.ZodString;
|
|
3475
|
+
body: z.ZodOptional<z.ZodString>;
|
|
3476
|
+
display: z.ZodOptional<z.ZodString>;
|
|
3477
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
|
|
3478
|
+
export declare const removeSight: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
|
|
3479
|
+
label: z.ZodString;
|
|
3480
|
+
plural: z.ZodOptional<z.ZodString>;
|
|
3481
|
+
noun: z.ZodOptional<z.ZodString>;
|
|
3482
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3483
|
+
lifecycleField: z.ZodOptional<z.ZodString>;
|
|
3484
|
+
retired: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3485
|
+
figure: z.ZodOptional<z.ZodString>;
|
|
3486
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"field", z.ZodObject<{
|
|
3487
|
+
label: z.ZodString;
|
|
3488
|
+
type: z.ZodEnum<{
|
|
3489
|
+
string: "string";
|
|
3490
|
+
number: "number";
|
|
3491
|
+
boolean: "boolean";
|
|
3492
|
+
text: "text";
|
|
3493
|
+
date: "date";
|
|
3494
|
+
enum: "enum";
|
|
3495
|
+
list: "list";
|
|
3496
|
+
}>;
|
|
3497
|
+
required: z.ZodBoolean;
|
|
3498
|
+
options: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3499
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3500
|
+
}, z.core.$strip>, {
|
|
3501
|
+
readonly of: {
|
|
3502
|
+
readonly to: readonly ["kind"];
|
|
3503
|
+
readonly cardinality: "one";
|
|
3504
|
+
readonly description: "the kind it belongs to";
|
|
3505
|
+
readonly inverse: "its fields";
|
|
3506
|
+
};
|
|
3507
|
+
}>, import("@graview/core").NodeDefinition<"edge", z.ZodObject<{
|
|
3508
|
+
label: z.ZodString;
|
|
3509
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3510
|
+
inverse: z.ZodOptional<z.ZodString>;
|
|
3511
|
+
cardinality: z.ZodEnum<{
|
|
3512
|
+
one: "one";
|
|
3513
|
+
many: "many";
|
|
3514
|
+
}>;
|
|
3515
|
+
appendOnly: z.ZodBoolean;
|
|
3516
|
+
toAny: z.ZodBoolean;
|
|
3517
|
+
}, z.core.$strip>, {
|
|
3518
|
+
readonly "from-kind": {
|
|
3519
|
+
readonly to: readonly ["kind"];
|
|
3520
|
+
readonly cardinality: "one";
|
|
3521
|
+
readonly description: "the kind it is declared on";
|
|
3522
|
+
readonly inverse: "its edges";
|
|
3523
|
+
};
|
|
3524
|
+
readonly "to-kind": {
|
|
3525
|
+
readonly to: readonly ["kind"];
|
|
3526
|
+
readonly description: "the kinds it may reach";
|
|
3527
|
+
readonly inverse: "the edges that reach it";
|
|
3528
|
+
};
|
|
3529
|
+
}>, import("@graview/core").NodeDefinition<"act", z.ZodObject<{
|
|
3530
|
+
label: z.ZodString;
|
|
3531
|
+
title: z.ZodOptional<z.ZodString>;
|
|
3532
|
+
fromTheOtherEnd: z.ZodOptional<z.ZodString>;
|
|
3533
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3534
|
+
destructive: z.ZodBoolean;
|
|
3535
|
+
writes: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3536
|
+
subjectArg: z.ZodOptional<z.ZodString>;
|
|
3537
|
+
targetArg: z.ZodOptional<z.ZodString>;
|
|
3538
|
+
onAny: z.ZodBoolean;
|
|
3539
|
+
derived: z.ZodBoolean;
|
|
3540
|
+
}, z.core.$strip>, {
|
|
3541
|
+
readonly on: {
|
|
3542
|
+
readonly to: readonly ["kind"];
|
|
3543
|
+
readonly description: "the kinds it acts on";
|
|
3544
|
+
readonly inverse: "the acts on it";
|
|
3545
|
+
};
|
|
3546
|
+
readonly creates: {
|
|
3547
|
+
readonly to: readonly ["kind"];
|
|
3548
|
+
readonly description: "the kind it brings into being";
|
|
3549
|
+
readonly inverse: "how one comes to be";
|
|
3550
|
+
};
|
|
3551
|
+
readonly connects: {
|
|
3552
|
+
readonly to: readonly ["edge"];
|
|
3553
|
+
readonly description: "the relation it makes";
|
|
3554
|
+
readonly inverse: "the acts that make it";
|
|
3555
|
+
};
|
|
3556
|
+
readonly severs: {
|
|
3557
|
+
readonly to: readonly ["edge"];
|
|
3558
|
+
readonly description: "the relation it breaks";
|
|
3559
|
+
readonly inverse: "the acts that break it";
|
|
3560
|
+
};
|
|
3561
|
+
}>, import("@graview/core").NodeDefinition<"rule", z.ZodObject<{
|
|
3562
|
+
label: z.ZodString;
|
|
3563
|
+
title: z.ZodOptional<z.ZodString>;
|
|
3564
|
+
description: z.ZodOptional<z.ZodString>;
|
|
3565
|
+
judgesPast: z.ZodBoolean;
|
|
3566
|
+
wholeGraph: z.ZodBoolean;
|
|
3567
|
+
derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
3568
|
+
require: z.ZodOptional<z.ZodString>;
|
|
3569
|
+
when: z.ZodOptional<z.ZodString>;
|
|
3570
|
+
says: z.ZodOptional<z.ZodString>;
|
|
3571
|
+
}, z.core.$strip>, {
|
|
3572
|
+
readonly over: {
|
|
3573
|
+
readonly to: readonly ["kind"];
|
|
3574
|
+
readonly description: "the kind it judges";
|
|
3575
|
+
readonly inverse: "the rules over it";
|
|
3576
|
+
};
|
|
3577
|
+
readonly repairs: {
|
|
3578
|
+
readonly to: readonly ["act"];
|
|
3579
|
+
readonly description: "the acts that put it right";
|
|
3580
|
+
readonly inverse: "the rules it repairs";
|
|
3581
|
+
};
|
|
3582
|
+
}>, import("@graview/core").NodeDefinition<"role", z.ZodObject<{
|
|
3583
|
+
label: z.ZodString;
|
|
3584
|
+
}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"grant", z.ZodObject<{
|
|
3585
|
+
label: z.ZodString;
|
|
3586
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
3587
|
+
self: z.ZodBoolean;
|
|
3588
|
+
everyone: z.ZodBoolean;
|
|
3589
|
+
allActs: z.ZodBoolean;
|
|
3590
|
+
allKinds: z.ZodBoolean;
|
|
3591
|
+
}, z.core.$strip>, {
|
|
3592
|
+
readonly lets: {
|
|
3593
|
+
readonly to: readonly ["role"];
|
|
3594
|
+
readonly description: "the roles it lets";
|
|
3595
|
+
readonly inverse: "what they are let do";
|
|
3596
|
+
};
|
|
3597
|
+
readonly may: {
|
|
3598
|
+
readonly to: readonly ["act"];
|
|
3599
|
+
readonly description: "the acts it allows";
|
|
3600
|
+
readonly inverse: "who may take it";
|
|
3601
|
+
};
|
|
3602
|
+
readonly "allows-on": {
|
|
3603
|
+
readonly to: readonly ["kind"];
|
|
3604
|
+
readonly description: "the kinds it allows those acts on";
|
|
3605
|
+
readonly inverse: "who may act on it";
|
|
3606
|
+
};
|
|
3607
|
+
}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
|
|
3608
|
+
label: z.ZodString;
|
|
3609
|
+
describe: z.ZodOptional<z.ZodString>;
|
|
3610
|
+
own: z.ZodBoolean;
|
|
3611
|
+
everyone: z.ZodBoolean;
|
|
3612
|
+
}, z.core.$strip>, {
|
|
3613
|
+
readonly "seen-by": {
|
|
3614
|
+
readonly to: readonly ["role"];
|
|
3615
|
+
readonly description: "the roles it lets see";
|
|
3616
|
+
readonly inverse: "what they see";
|
|
3617
|
+
};
|
|
3618
|
+
readonly shows: {
|
|
3619
|
+
readonly to: readonly ["kind"];
|
|
3620
|
+
readonly description: "the kinds it shows";
|
|
3621
|
+
readonly inverse: "who sees it";
|
|
3622
|
+
};
|
|
2633
3623
|
}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
|
|
2634
3624
|
label: z.ZodString;
|
|
2635
3625
|
binds: z.ZodOptional<z.ZodEnum<{
|