@proposit/shared 0.7.2 → 0.9.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (83) hide show
  1. package/dist/api-client/argument/batch.d.ts +46 -9
  2. package/dist/api-client/argument/batch.d.ts.map +1 -1
  3. package/dist/api-client/argument/claims.d.ts +192 -44
  4. package/dist/api-client/argument/claims.d.ts.map +1 -1
  5. package/dist/api-client/argument/index.d.ts +198 -50
  6. package/dist/api-client/argument/index.d.ts.map +1 -1
  7. package/dist/api-client/user/citations.d.ts +92 -18
  8. package/dist/api-client/user/citations.d.ts.map +1 -1
  9. package/dist/api-client/user/claims.d.ts +46 -9
  10. package/dist/api-client/user/claims.d.ts.map +1 -1
  11. package/dist/consts/axioms.d.ts +4 -0
  12. package/dist/consts/axioms.d.ts.map +1 -0
  13. package/dist/consts/axioms.js +17 -0
  14. package/dist/consts/axioms.js.map +1 -0
  15. package/dist/consts/index.d.ts +1 -0
  16. package/dist/consts/index.d.ts.map +1 -1
  17. package/dist/consts/index.js +1 -0
  18. package/dist/consts/index.js.map +1 -1
  19. package/dist/engine/derivation.d.ts +1 -2
  20. package/dist/engine/derivation.d.ts.map +1 -1
  21. package/dist/engine/derivation.js +35 -1
  22. package/dist/engine/derivation.js.map +1 -1
  23. package/dist/engine/engine.d.ts +24 -22
  24. package/dist/engine/engine.d.ts.map +1 -1
  25. package/dist/engine/engine.js +78 -86
  26. package/dist/engine/engine.js.map +1 -1
  27. package/dist/engine/library-adapters.d.ts +2 -2
  28. package/dist/engine/library-adapters.d.ts.map +1 -1
  29. package/dist/engine/library-adapters.js +2 -2
  30. package/dist/engine/library-adapters.js.map +1 -1
  31. package/dist/engine/mutations/expressions.d.ts.map +1 -1
  32. package/dist/engine/mutations/expressions.js +5 -3
  33. package/dist/engine/mutations/expressions.js.map +1 -1
  34. package/dist/engine/mutations/premises.d.ts +17 -2
  35. package/dist/engine/mutations/premises.d.ts.map +1 -1
  36. package/dist/engine/mutations/premises.js +86 -28
  37. package/dist/engine/mutations/premises.js.map +1 -1
  38. package/dist/engine/optimistic/verification.d.ts.map +1 -1
  39. package/dist/engine/optimistic/verification.js +9 -7
  40. package/dist/engine/optimistic/verification.js.map +1 -1
  41. package/dist/engine/review/review-engine.d.ts.map +1 -1
  42. package/dist/engine/review/review-engine.js +8 -1
  43. package/dist/engine/review/review-engine.js.map +1 -1
  44. package/dist/engine/text-tree.d.ts +2 -1
  45. package/dist/engine/text-tree.d.ts.map +1 -1
  46. package/dist/engine/text-tree.js +8 -3
  47. package/dist/engine/text-tree.js.map +1 -1
  48. package/dist/schemas/api/argument/batch/provision.d.ts +46 -9
  49. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  50. package/dist/schemas/api/argument/claims.d.ts +147 -35
  51. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  52. package/dist/schemas/api/argument/index.d.ts +51 -14
  53. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  54. package/dist/schemas/api/argument/index.js +1 -1
  55. package/dist/schemas/api/argument/index.js.map +1 -1
  56. package/dist/schemas/api/citations.d.ts +230 -45
  57. package/dist/schemas/api/citations.d.ts.map +1 -1
  58. package/dist/schemas/api/claims.d.ts +92 -18
  59. package/dist/schemas/api/claims.d.ts.map +1 -1
  60. package/dist/schemas/api/grammar-violations.d.ts +17 -0
  61. package/dist/schemas/api/grammar-violations.d.ts.map +1 -0
  62. package/dist/schemas/api/grammar-violations.js +18 -0
  63. package/dist/schemas/api/grammar-violations.js.map +1 -0
  64. package/dist/schemas/grammar/index.d.ts +3 -0
  65. package/dist/schemas/grammar/index.d.ts.map +1 -0
  66. package/dist/schemas/grammar/index.js +23 -0
  67. package/dist/schemas/grammar/index.js.map +1 -0
  68. package/dist/schemas/model/arguments.d.ts +147 -36
  69. package/dist/schemas/model/arguments.d.ts.map +1 -1
  70. package/dist/schemas/model/arguments.js +1 -1
  71. package/dist/schemas/model/arguments.js.map +1 -1
  72. package/dist/schemas/model/citations.d.ts +4 -4
  73. package/dist/schemas/model/citations.js +2 -2
  74. package/dist/schemas/model/citations.js.map +1 -1
  75. package/dist/schemas/model/claims.d.ts +127 -22
  76. package/dist/schemas/model/claims.d.ts.map +1 -1
  77. package/dist/schemas/model/claims.js +97 -24
  78. package/dist/schemas/model/claims.js.map +1 -1
  79. package/dist/schemas/review.d.ts +13 -13
  80. package/dist/schemas/review.d.ts.map +1 -1
  81. package/dist/schemas/review.js +10 -2
  82. package/dist/schemas/review.js.map +1 -1
  83. package/package.json +13 -3
package/dist/schemas/api/citations.d.ts CHANGED
@@ -11,9 +11,25 @@ export declare const CitationUsageSchema: Type.TObject<{
11
11
  published: Type.TBoolean;
12
12
  }>;
13
13
  version: Type.TNumber;
14
- claim: Type.TObject<{
14
+ claim: Type.TUnion<[Type.TObject<{
15
+ digest: Type.TString;
16
+ id: Type.TString;
17
+ argumentId: Type.TString;
18
+ version: Type.TNumber;
19
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
20
+ creatorId: Type.TString;
21
+ createdOn: import("../common.js").TDateType;
22
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
15
23
  title: Type.TString;
16
24
  body: Type.TString;
25
+ titleContentHash: Type.TString;
26
+ type: Type.TLiteral<"normal">;
27
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
28
+ url: Type.TNull;
29
+ citation: Type.TNull;
30
+ citationContentHash: Type.TNull;
31
+ axiom: Type.TNull;
32
+ }>, Type.TObject<{
17
33
  digest: Type.TString;
18
34
  id: Type.TString;
19
35
  argumentId: Type.TString;
@@ -21,12 +37,14 @@ export declare const CitationUsageSchema: Type.TObject<{
21
37
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
22
38
  creatorId: Type.TString;
23
39
  createdOn: import("../common.js").TDateType;
24
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
25
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
26
40
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
27
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
28
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
29
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
41
+ type: Type.TLiteral<"citation">;
42
+ kind: Type.TNull;
43
+ title: Type.TNull;
44
+ body: Type.TNull;
45
+ titleContentHash: Type.TNull;
46
+ url: Type.TString;
47
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
30
48
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
31
49
  }>, Type.TObject<{
32
50
  type: Type.TLiteral<"Book">;
@@ -454,9 +472,28 @@ export declare const CitationUsageSchema: Type.TObject<{
454
472
  type: Type.TLiteral<"UnparsedURL">;
455
473
  url: Type.TString;
456
474
  text: Type.TOptional<Type.TString>;
457
- }>]>]>, Type.TNull]>>;
458
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
459
- }>;
475
+ }>]>]>;
476
+ citationContentHash: Type.TString;
477
+ axiom: Type.TNull;
478
+ }>, Type.TObject<{
479
+ digest: Type.TString;
480
+ id: Type.TString;
481
+ argumentId: Type.TString;
482
+ version: Type.TNumber;
483
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
484
+ creatorId: Type.TString;
485
+ createdOn: import("../common.js").TDateType;
486
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
487
+ type: Type.TLiteral<"axiomatic">;
488
+ kind: Type.TNull;
489
+ title: Type.TNull;
490
+ body: Type.TNull;
491
+ titleContentHash: Type.TNull;
492
+ url: Type.TNull;
493
+ citation: Type.TNull;
494
+ citationContentHash: Type.TNull;
495
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
496
+ }>]>;
460
497
  expressions: Type.TArray<Type.TObject<{
461
498
  id: Type.TString;
462
499
  premiseId: Type.TString;
@@ -464,9 +501,25 @@ export declare const CitationUsageSchema: Type.TObject<{
464
501
  }>;
465
502
  export type TCitationUsage = Static<typeof CitationUsageSchema>;
466
503
  export declare const CitationWithContextSchema: Type.TObject<{
467
- citation: Type.TObject<{
504
+ citation: Type.TUnion<[Type.TObject<{
505
+ digest: Type.TString;
506
+ id: Type.TString;
507
+ argumentId: Type.TString;
508
+ version: Type.TNumber;
509
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
510
+ creatorId: Type.TString;
511
+ createdOn: import("../common.js").TDateType;
512
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
468
513
  title: Type.TString;
469
514
  body: Type.TString;
515
+ titleContentHash: Type.TString;
516
+ type: Type.TLiteral<"normal">;
517
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
518
+ url: Type.TNull;
519
+ citation: Type.TNull;
520
+ citationContentHash: Type.TNull;
521
+ axiom: Type.TNull;
522
+ }>, Type.TObject<{
470
523
  digest: Type.TString;
471
524
  id: Type.TString;
472
525
  argumentId: Type.TString;
@@ -474,12 +527,14 @@ export declare const CitationWithContextSchema: Type.TObject<{
474
527
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
475
528
  creatorId: Type.TString;
476
529
  createdOn: import("../common.js").TDateType;
477
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
478
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
479
530
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
480
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
481
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
482
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
531
+ type: Type.TLiteral<"citation">;
532
+ kind: Type.TNull;
533
+ title: Type.TNull;
534
+ body: Type.TNull;
535
+ titleContentHash: Type.TNull;
536
+ url: Type.TString;
537
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
483
538
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
484
539
  }>, Type.TObject<{
485
540
  type: Type.TLiteral<"Book">;
@@ -907,9 +962,28 @@ export declare const CitationWithContextSchema: Type.TObject<{
907
962
  type: Type.TLiteral<"UnparsedURL">;
908
963
  url: Type.TString;
909
964
  text: Type.TOptional<Type.TString>;
910
- }>]>]>, Type.TNull]>>;
911
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
912
- }>;
965
+ }>]>]>;
966
+ citationContentHash: Type.TString;
967
+ axiom: Type.TNull;
968
+ }>, Type.TObject<{
969
+ digest: Type.TString;
970
+ id: Type.TString;
971
+ argumentId: Type.TString;
972
+ version: Type.TNumber;
973
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
974
+ creatorId: Type.TString;
975
+ createdOn: import("../common.js").TDateType;
976
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
977
+ type: Type.TLiteral<"axiomatic">;
978
+ kind: Type.TNull;
979
+ title: Type.TNull;
980
+ body: Type.TNull;
981
+ titleContentHash: Type.TNull;
982
+ url: Type.TNull;
983
+ citation: Type.TNull;
984
+ citationContentHash: Type.TNull;
985
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
986
+ }>]>;
913
987
  usages: Type.TArray<Type.TObject<{
914
988
  argument: Type.TObject<{
915
989
  id: Type.TString;
@@ -917,9 +991,25 @@ export declare const CitationWithContextSchema: Type.TObject<{
917
991
  published: Type.TBoolean;
918
992
  }>;
919
993
  version: Type.TNumber;
920
- claim: Type.TObject<{
994
+ claim: Type.TUnion<[Type.TObject<{
995
+ digest: Type.TString;
996
+ id: Type.TString;
997
+ argumentId: Type.TString;
998
+ version: Type.TNumber;
999
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1000
+ creatorId: Type.TString;
1001
+ createdOn: import("../common.js").TDateType;
1002
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
921
1003
  title: Type.TString;
922
1004
  body: Type.TString;
1005
+ titleContentHash: Type.TString;
1006
+ type: Type.TLiteral<"normal">;
1007
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1008
+ url: Type.TNull;
1009
+ citation: Type.TNull;
1010
+ citationContentHash: Type.TNull;
1011
+ axiom: Type.TNull;
1012
+ }>, Type.TObject<{
923
1013
  digest: Type.TString;
924
1014
  id: Type.TString;
925
1015
  argumentId: Type.TString;
@@ -927,12 +1017,14 @@ export declare const CitationWithContextSchema: Type.TObject<{
927
1017
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
928
1018
  creatorId: Type.TString;
929
1019
  createdOn: import("../common.js").TDateType;
930
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
931
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
932
1020
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
933
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
934
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
935
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1021
+ type: Type.TLiteral<"citation">;
1022
+ kind: Type.TNull;
1023
+ title: Type.TNull;
1024
+ body: Type.TNull;
1025
+ titleContentHash: Type.TNull;
1026
+ url: Type.TString;
1027
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
936
1028
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
937
1029
  }>, Type.TObject<{
938
1030
  type: Type.TLiteral<"Book">;
@@ -1360,9 +1452,28 @@ export declare const CitationWithContextSchema: Type.TObject<{
1360
1452
  type: Type.TLiteral<"UnparsedURL">;
1361
1453
  url: Type.TString;
1362
1454
  text: Type.TOptional<Type.TString>;
1363
- }>]>]>, Type.TNull]>>;
1364
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1365
- }>;
1455
+ }>]>]>;
1456
+ citationContentHash: Type.TString;
1457
+ axiom: Type.TNull;
1458
+ }>, Type.TObject<{
1459
+ digest: Type.TString;
1460
+ id: Type.TString;
1461
+ argumentId: Type.TString;
1462
+ version: Type.TNumber;
1463
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1464
+ creatorId: Type.TString;
1465
+ createdOn: import("../common.js").TDateType;
1466
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1467
+ type: Type.TLiteral<"axiomatic">;
1468
+ kind: Type.TNull;
1469
+ title: Type.TNull;
1470
+ body: Type.TNull;
1471
+ titleContentHash: Type.TNull;
1472
+ url: Type.TNull;
1473
+ citation: Type.TNull;
1474
+ citationContentHash: Type.TNull;
1475
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
1476
+ }>]>;
1366
1477
  expressions: Type.TArray<Type.TObject<{
1367
1478
  id: Type.TString;
1368
1479
  premiseId: Type.TString;
@@ -1371,9 +1482,25 @@ export declare const CitationWithContextSchema: Type.TObject<{
1371
1482
  }>;
1372
1483
  export type TCitationWithContext = Static<typeof CitationWithContextSchema>;
1373
1484
  export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1374
- citation: Type.TObject<{
1485
+ citation: Type.TUnion<[Type.TObject<{
1486
+ digest: Type.TString;
1487
+ id: Type.TString;
1488
+ argumentId: Type.TString;
1489
+ version: Type.TNumber;
1490
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1491
+ creatorId: Type.TString;
1492
+ createdOn: import("../common.js").TDateType;
1493
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1375
1494
  title: Type.TString;
1376
1495
  body: Type.TString;
1496
+ titleContentHash: Type.TString;
1497
+ type: Type.TLiteral<"normal">;
1498
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1499
+ url: Type.TNull;
1500
+ citation: Type.TNull;
1501
+ citationContentHash: Type.TNull;
1502
+ axiom: Type.TNull;
1503
+ }>, Type.TObject<{
1377
1504
  digest: Type.TString;
1378
1505
  id: Type.TString;
1379
1506
  argumentId: Type.TString;
@@ -1381,12 +1508,14 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1381
1508
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1382
1509
  creatorId: Type.TString;
1383
1510
  createdOn: import("../common.js").TDateType;
1384
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1385
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
1386
1511
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1387
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1388
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1389
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1512
+ type: Type.TLiteral<"citation">;
1513
+ kind: Type.TNull;
1514
+ title: Type.TNull;
1515
+ body: Type.TNull;
1516
+ titleContentHash: Type.TNull;
1517
+ url: Type.TString;
1518
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
1390
1519
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
1391
1520
  }>, Type.TObject<{
1392
1521
  type: Type.TLiteral<"Book">;
@@ -1814,9 +1943,28 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1814
1943
  type: Type.TLiteral<"UnparsedURL">;
1815
1944
  url: Type.TString;
1816
1945
  text: Type.TOptional<Type.TString>;
1817
- }>]>]>, Type.TNull]>>;
1818
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1819
- }>;
1946
+ }>]>]>;
1947
+ citationContentHash: Type.TString;
1948
+ axiom: Type.TNull;
1949
+ }>, Type.TObject<{
1950
+ digest: Type.TString;
1951
+ id: Type.TString;
1952
+ argumentId: Type.TString;
1953
+ version: Type.TNumber;
1954
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1955
+ creatorId: Type.TString;
1956
+ createdOn: import("../common.js").TDateType;
1957
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1958
+ type: Type.TLiteral<"axiomatic">;
1959
+ kind: Type.TNull;
1960
+ title: Type.TNull;
1961
+ body: Type.TNull;
1962
+ titleContentHash: Type.TNull;
1963
+ url: Type.TNull;
1964
+ citation: Type.TNull;
1965
+ citationContentHash: Type.TNull;
1966
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
1967
+ }>]>;
1820
1968
  usages: Type.TArray<Type.TObject<{
1821
1969
  argument: Type.TObject<{
1822
1970
  id: Type.TString;
@@ -1824,9 +1972,25 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1824
1972
  published: Type.TBoolean;
1825
1973
  }>;
1826
1974
  version: Type.TNumber;
1827
- claim: Type.TObject<{
1975
+ claim: Type.TUnion<[Type.TObject<{
1976
+ digest: Type.TString;
1977
+ id: Type.TString;
1978
+ argumentId: Type.TString;
1979
+ version: Type.TNumber;
1980
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1981
+ creatorId: Type.TString;
1982
+ createdOn: import("../common.js").TDateType;
1983
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1828
1984
  title: Type.TString;
1829
1985
  body: Type.TString;
1986
+ titleContentHash: Type.TString;
1987
+ type: Type.TLiteral<"normal">;
1988
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1989
+ url: Type.TNull;
1990
+ citation: Type.TNull;
1991
+ citationContentHash: Type.TNull;
1992
+ axiom: Type.TNull;
1993
+ }>, Type.TObject<{
1830
1994
  digest: Type.TString;
1831
1995
  id: Type.TString;
1832
1996
  argumentId: Type.TString;
@@ -1834,12 +1998,14 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1834
1998
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1835
1999
  creatorId: Type.TString;
1836
2000
  createdOn: import("../common.js").TDateType;
1837
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1838
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
1839
2001
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1840
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1841
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1842
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
2002
+ type: Type.TLiteral<"citation">;
2003
+ kind: Type.TNull;
2004
+ title: Type.TNull;
2005
+ body: Type.TNull;
2006
+ titleContentHash: Type.TNull;
2007
+ url: Type.TString;
2008
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
1843
2009
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
1844
2010
  }>, Type.TObject<{
1845
2011
  type: Type.TLiteral<"Book">;
@@ -2267,9 +2433,28 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
2267
2433
  type: Type.TLiteral<"UnparsedURL">;
2268
2434
  url: Type.TString;
2269
2435
  text: Type.TOptional<Type.TString>;
2270
- }>]>]>, Type.TNull]>>;
2271
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
2272
- }>;
2436
+ }>]>]>;
2437
+ citationContentHash: Type.TString;
2438
+ axiom: Type.TNull;
2439
+ }>, Type.TObject<{
2440
+ digest: Type.TString;
2441
+ id: Type.TString;
2442
+ argumentId: Type.TString;
2443
+ version: Type.TNumber;
2444
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
2445
+ creatorId: Type.TString;
2446
+ createdOn: import("../common.js").TDateType;
2447
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
2448
+ type: Type.TLiteral<"axiomatic">;
2449
+ kind: Type.TNull;
2450
+ title: Type.TNull;
2451
+ body: Type.TNull;
2452
+ titleContentHash: Type.TNull;
2453
+ url: Type.TNull;
2454
+ citation: Type.TNull;
2455
+ citationContentHash: Type.TNull;
2456
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
2457
+ }>]>;
2273
2458
  expressions: Type.TArray<Type.TObject<{
2274
2459
  id: Type.TString;
2275
2460
  premiseId: Type.TString;
package/dist/schemas/api/citations.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,6BAA6B;;;EAGxC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAwC,CAAA;AAChF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA"}
1
+ {"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,6BAA6B;;;EAGxC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAwC,CAAA;AAChF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA"}
package/dist/schemas/api/claims.d.ts CHANGED
@@ -1,8 +1,24 @@
1
1
  import Type, { type Static } from "typebox";
2
2
  export declare const ClaimWithContextSchema: Type.TObject<{
3
- claim: Type.TObject<{
3
+ claim: Type.TUnion<[Type.TObject<{
4
+ digest: Type.TString;
5
+ id: Type.TString;
6
+ argumentId: Type.TString;
7
+ version: Type.TNumber;
8
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
9
+ creatorId: Type.TString;
10
+ createdOn: import("../common.js").TDateType;
11
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
4
12
  title: Type.TString;
5
13
  body: Type.TString;
14
+ titleContentHash: Type.TString;
15
+ type: Type.TLiteral<"normal">;
16
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
17
+ url: Type.TNull;
18
+ citation: Type.TNull;
19
+ citationContentHash: Type.TNull;
20
+ axiom: Type.TNull;
21
+ }>, Type.TObject<{
6
22
  digest: Type.TString;
7
23
  id: Type.TString;
8
24
  argumentId: Type.TString;
@@ -10,12 +26,14 @@ export declare const ClaimWithContextSchema: Type.TObject<{
10
26
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
11
27
  creatorId: Type.TString;
12
28
  createdOn: import("../common.js").TDateType;
13
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
14
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
15
29
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
16
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
17
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
18
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
30
+ type: Type.TLiteral<"citation">;
31
+ kind: Type.TNull;
32
+ title: Type.TNull;
33
+ body: Type.TNull;
34
+ titleContentHash: Type.TNull;
35
+ url: Type.TString;
36
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
19
37
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
20
38
  }>, Type.TObject<{
21
39
  type: Type.TLiteral<"Book">;
@@ -443,9 +461,28 @@ export declare const ClaimWithContextSchema: Type.TObject<{
443
461
  type: Type.TLiteral<"UnparsedURL">;
444
462
  url: Type.TString;
445
463
  text: Type.TOptional<Type.TString>;
446
- }>]>]>, Type.TNull]>>;
447
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
448
- }>;
464
+ }>]>]>;
465
+ citationContentHash: Type.TString;
466
+ axiom: Type.TNull;
467
+ }>, Type.TObject<{
468
+ digest: Type.TString;
469
+ id: Type.TString;
470
+ argumentId: Type.TString;
471
+ version: Type.TNumber;
472
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
473
+ creatorId: Type.TString;
474
+ createdOn: import("../common.js").TDateType;
475
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
476
+ type: Type.TLiteral<"axiomatic">;
477
+ kind: Type.TNull;
478
+ title: Type.TNull;
479
+ body: Type.TNull;
480
+ titleContentHash: Type.TNull;
481
+ url: Type.TNull;
482
+ citation: Type.TNull;
483
+ citationContentHash: Type.TNull;
484
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
485
+ }>]>;
449
486
  argument: Type.TObject<{
450
487
  id: Type.TString;
451
488
  title: Type.TString;
@@ -558,9 +595,25 @@ export declare const ClaimWithContextSchema: Type.TObject<{
558
595
  }>;
559
596
  export type TClaimWithContext = Static<typeof ClaimWithContextSchema>;
560
597
  export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
561
- claim: Type.TObject<{
598
+ claim: Type.TUnion<[Type.TObject<{
599
+ digest: Type.TString;
600
+ id: Type.TString;
601
+ argumentId: Type.TString;
602
+ version: Type.TNumber;
603
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
604
+ creatorId: Type.TString;
605
+ createdOn: import("../common.js").TDateType;
606
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
562
607
  title: Type.TString;
563
608
  body: Type.TString;
609
+ titleContentHash: Type.TString;
610
+ type: Type.TLiteral<"normal">;
611
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
612
+ url: Type.TNull;
613
+ citation: Type.TNull;
614
+ citationContentHash: Type.TNull;
615
+ axiom: Type.TNull;
616
+ }>, Type.TObject<{
564
617
  digest: Type.TString;
565
618
  id: Type.TString;
566
619
  argumentId: Type.TString;
@@ -568,12 +621,14 @@ export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
568
621
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
569
622
  creatorId: Type.TString;
570
623
  createdOn: import("../common.js").TDateType;
571
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
572
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
573
624
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
574
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
575
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
576
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
625
+ type: Type.TLiteral<"citation">;
626
+ kind: Type.TNull;
627
+ title: Type.TNull;
628
+ body: Type.TNull;
629
+ titleContentHash: Type.TNull;
630
+ url: Type.TString;
631
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
577
632
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
578
633
  }>, Type.TObject<{
579
634
  type: Type.TLiteral<"Book">;
@@ -1001,9 +1056,28 @@ export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
1001
1056
  type: Type.TLiteral<"UnparsedURL">;
1002
1057
  url: Type.TString;
1003
1058
  text: Type.TOptional<Type.TString>;
1004
- }>]>]>, Type.TNull]>>;
1005
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1006
- }>;
1059
+ }>]>]>;
1060
+ citationContentHash: Type.TString;
1061
+ axiom: Type.TNull;
1062
+ }>, Type.TObject<{
1063
+ digest: Type.TString;
1064
+ id: Type.TString;
1065
+ argumentId: Type.TString;
1066
+ version: Type.TNumber;
1067
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1068
+ creatorId: Type.TString;
1069
+ createdOn: import("../common.js").TDateType;
1070
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1071
+ type: Type.TLiteral<"axiomatic">;
1072
+ kind: Type.TNull;
1073
+ title: Type.TNull;
1074
+ body: Type.TNull;
1075
+ titleContentHash: Type.TNull;
1076
+ url: Type.TNull;
1077
+ citation: Type.TNull;
1078
+ citationContentHash: Type.TNull;
1079
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
1080
+ }>]>;
1007
1081
  argument: Type.TObject<{
1008
1082
  id: Type.TString;
1009
1083
  title: Type.TString;
package/dist/schemas/api/claims.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAS3C,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAqC,CAAA;AAC1E,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA"}
1
+ {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAS3C,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAqC,CAAA;AAC1E,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA"}
package/dist/schemas/api/grammar-violations.d.ts ADDED
@@ -0,0 +1,17 @@
1
+ import { Type, type Static } from "typebox";
2
+ export declare const GrammarViolationsResponseSchema: Type.TObject<{
3
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
4
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
5
+ violations: Type.TArray<Type.TObject<{
6
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
7
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
8
+ message: Type.TString;
9
+ argumentId: Type.TOptional<Type.TString>;
10
+ premiseId: Type.TOptional<Type.TString>;
11
+ expressionId: Type.TOptional<Type.TString>;
12
+ variableId: Type.TOptional<Type.TString>;
13
+ claimId: Type.TOptional<Type.TString>;
14
+ }>>;
15
+ }>;
16
+ export type TGrammarViolationsResponse = Static<typeof GrammarViolationsResponseSchema>;
17
+ //# sourceMappingURL=grammar-violations.d.ts.map
package/dist/schemas/api/grammar-violations.d.ts.map ADDED
@@ -0,0 +1 @@
1
+ {"version":3,"file":"grammar-violations.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/grammar-violations.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;EAI1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA"}
package/dist/schemas/api/grammar-violations.js ADDED
@@ -0,0 +1,18 @@
1
+ // 422-equivalent response envelope returned by server endpoints that
2
+ // reject a request due to grammar-tier violations. Used by:
3
+ // - submit/save endpoints in assistive mode (validate('derivable') gate)
4
+ // - publish endpoint (validate('presentable') gate)
5
+ //
6
+ // `error` is the stable string discriminator ("GRAMMAR_VIOLATIONS") that
7
+ // allows clients to switch on response type without sniffing tier/codes.
8
+ // `tier` is the gate the request failed at (the strictest tier the
9
+ // endpoint enforces). `violations` is the full list — clients may render
10
+ // them inline next to the offending entity (see spec §10.3, §10.4).
11
+ import { Type } from "typebox";
12
+ import { GrammarTierSchema, ViolationSchema } from "../grammar/index.js";
13
+ export const GrammarViolationsResponseSchema = Type.Object({
14
+ error: Type.Literal("GRAMMAR_VIOLATIONS"),
15
+ tier: GrammarTierSchema,
16
+ violations: Type.Array(ViolationSchema),
17
+ });
18
+ //# sourceMappingURL=grammar-violations.js.map
package/dist/schemas/api/grammar-violations.js.map ADDED
@@ -0,0 +1 @@
1
+ {"version":3,"file":"grammar-violations.js","sourceRoot":"","sources":["../../../src/schemas/api/grammar-violations.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,4DAA4D;AAC5D,2EAA2E;AAC3E,sDAAsD;AACtD,EAAE;AACF,yEAAyE;AACzE,yEAAyE;AACzE,mEAAmE;AACnE,yEAAyE;AACzE,oEAAoE;AAEpE,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAExE,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IACvD,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;IACzC,IAAI,EAAE,iBAAiB;IACvB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC;CAC1C,CAAC,CAAA"}