@proposit/shared 0.8.0 → 0.10.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/api-client/grammar-violations.d.ts +3 -0
- package/dist/api-client/grammar-violations.d.ts.map +1 -0
- package/dist/api-client/grammar-violations.js +16 -0
- package/dist/api-client/grammar-violations.js.map +1 -0
- package/dist/api-client/index.d.ts +1 -0
- package/dist/api-client/index.d.ts.map +1 -1
- package/dist/api-client/index.js +1 -0
- package/dist/api-client/index.js.map +1 -1
- package/dist/api-client/user/delete-user.d.ts +1 -0
- package/dist/api-client/user/delete-user.d.ts.map +1 -1
- package/dist/engine/derivation.d.ts +1 -2
- package/dist/engine/derivation.d.ts.map +1 -1
- package/dist/engine/derivation.js +35 -1
- package/dist/engine/derivation.js.map +1 -1
- package/dist/engine/engine.d.ts +10 -8
- package/dist/engine/engine.d.ts.map +1 -1
- package/dist/engine/engine.js +43 -51
- package/dist/engine/engine.js.map +1 -1
- package/dist/engine/mutations/expressions.d.ts.map +1 -1
- package/dist/engine/mutations/expressions.js +5 -3
- package/dist/engine/mutations/expressions.js.map +1 -1
- package/dist/engine/mutations/premises.d.ts +15 -0
- package/dist/engine/mutations/premises.d.ts.map +1 -1
- package/dist/engine/mutations/premises.js +81 -23
- package/dist/engine/mutations/premises.js.map +1 -1
- package/dist/engine/optimistic/verification.d.ts.map +1 -1
- package/dist/engine/optimistic/verification.js +8 -5
- package/dist/engine/optimistic/verification.js.map +1 -1
- package/dist/engine/review/review-engine.d.ts.map +1 -1
- package/dist/engine/review/review-engine.js +8 -1
- package/dist/engine/review/review-engine.js.map +1 -1
- package/dist/schemas/api/grammar-violations.d.ts +17 -0
- package/dist/schemas/api/grammar-violations.d.ts.map +1 -0
- package/dist/schemas/api/grammar-violations.js +18 -0
- package/dist/schemas/api/grammar-violations.js.map +1 -0
- package/dist/schemas/api/user/index.d.ts +2 -1
- package/dist/schemas/api/user/index.d.ts.map +1 -1
- package/dist/schemas/api/user/index.js +5 -1
- package/dist/schemas/api/user/index.js.map +1 -1
- package/dist/schemas/grammar/index.d.ts +3 -0
- package/dist/schemas/grammar/index.d.ts.map +1 -0
- package/dist/schemas/grammar/index.js +23 -0
- package/dist/schemas/grammar/index.js.map +1 -0
- package/dist/schemas/model/claims.d.ts.map +1 -1
- package/dist/schemas/model/claims.js +18 -6
- package/dist/schemas/model/claims.js.map +1 -1
- package/dist/schemas/model/users.d.ts +1 -0
- package/dist/schemas/model/users.d.ts.map +1 -1
- package/dist/schemas/model/users.js +7 -0
- package/dist/schemas/model/users.js.map +1 -1
- package/dist/schemas/review.d.ts +13 -13
- package/dist/schemas/review.d.ts.map +1 -1
- package/dist/schemas/review.js +10 -2
- package/dist/schemas/review.js.map +1 -1
- package/package.json +13 -3
|
@@ -34,6 +34,7 @@ export declare const UserSchema: Type.TObject<{
|
|
|
34
34
|
tokenResetOn: import("../common.js").TDateType;
|
|
35
35
|
deleted: Type.TBoolean;
|
|
36
36
|
registrationDate: import("../common.js").TDateType;
|
|
37
|
+
advancedMode: Type.TBoolean;
|
|
37
38
|
}>;
|
|
38
39
|
export type TUser = Static<typeof UserSchema>;
|
|
39
40
|
export declare const UserPublicFieldsSchema: Type.TObject<{
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"users.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/users.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAE,MAAM,SAAS,CAAA;AAGhE,eAAO,MAAM,SAAS;;;;;;;;CASZ,CAAA;AACV,eAAO,MAAM,eAAe;;;;;;;;EAS1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AACvD,eAAO,MAAM,mBAAmB,GAAI,UAAU,cAAc,sJACS,CAAA;AACrE,eAAO,MAAM,YAAY,mJAAwB,CAAA;AACjD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,YAAY,CAAC,CAAA;AAEvD,eAAO,MAAM,UAAU
|
|
1
|
+
{"version":3,"file":"users.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/users.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAE,MAAM,SAAS,CAAA;AAGhE,eAAO,MAAM,SAAS;;;;;;;;CASZ,CAAA;AACV,eAAO,MAAM,eAAe;;;;;;;;EAS1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AACvD,eAAO,MAAM,mBAAmB,GAAI,UAAU,cAAc,sJACS,CAAA;AACrE,eAAO,MAAM,YAAY,mJAAwB,CAAA;AACjD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,YAAY,CAAC,CAAA;AAEvD,eAAO,MAAM,UAAU;;;;;;;;;;;;;;EAoBrB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,UAAU,CAAC,CAAA;AAE7C,eAAO,MAAM,sBAAsB;;;;EAIjC,CAAA;AAEF,eAAO,MAAM,uBAAuB;;;;EAIlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;EAmBxB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,CAAA;AAEnD,eAAO,MAAM,aAAa;;;;;EAMxB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,CAAA;AAEnD,eAAO,MAAM,gBAAgB,6HAK3B,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;EAK/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,mBAAmB;;;;;;;EAO9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;EAGnC,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAE/E,eAAO,MAAM,4BAA4B;;;;;;;;;;EAUvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,eAAe;;;;;;;;EAQ1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,gBAAgB;;;;;EAM3B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAEzD,eAAO,MAAM,kCAAkC;;;EAG7C,CAAA;AACF,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,kCAAkC,CAC5C,CAAA;AAED,eAAO,MAAM,yCAAyC;;;;;;EAMpD,CAAA;AACF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA"}
|
|
@@ -33,6 +33,13 @@ export const UserSchema = Type.Object({
|
|
|
33
33
|
tokenResetOn: EncodableDate,
|
|
34
34
|
deleted: Type.Boolean(),
|
|
35
35
|
registrationDate: EncodableDate,
|
|
36
|
+
// Per-user grammar-tiers behavior toggle. When `false` (the default), the
|
|
37
|
+
// engine runs in `'assistive'` behavior — server enforces `validate('derivable')`
|
|
38
|
+
// on submit/save. When `true`, the engine runs in `'permissive'` behavior —
|
|
39
|
+
// server skips the derivable gate, and violations surface inline for the
|
|
40
|
+
// user to resolve. See the cross-repo Grammar Tiers spec for the full
|
|
41
|
+
// contract; the DB-side `NOT NULL DEFAULT false` is owned by server.
|
|
42
|
+
advancedMode: Type.Boolean(),
|
|
36
43
|
});
|
|
37
44
|
export const UserPublicFieldsSchema = Type.Pick(UserSchema, [
|
|
38
45
|
"name",
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"users.js","sourceRoot":"","sources":["../../../src/schemas/model/users.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAoC,MAAM,SAAS,CAAA;AAChE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAE5D,MAAM,CAAC,MAAM,SAAS,GAAG;IACrB,UAAU,EAAE,CAAC;IACb,IAAI,EAAE,CAAC;IACP,OAAO,EAAE,CAAC;IACV,UAAU,EAAE,CAAC;IAEb,MAAM,EAAE,GAAG;IACX,WAAW,EAAE,GAAG;IAChB,SAAS,EAAE,GAAG;CACR,CAAA;AACV,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC;IAC9C,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;IAClC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC;IACxC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC;IAE9C,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC;IACtC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC;IAChD,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC;CAC/C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAwB,EAAE,EAAE,CAC5D,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,CAAA;AACrE,MAAM,CAAC,MAAM,YAAY,GAAG,mBAAmB,EAAE,CAAA;AAGjD,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAClC,EAAE,EAAE,IAAI;IACR,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7B,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9B,aAAa,EAAE,QAAQ,CAAC,aAAa,CAAC;IACtC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACjC,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI,CAAC,OAAO,EAAE;IAC1B,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE;IAClC,YAAY,EAAE,aAAa;IAC3B,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;IACvB,gBAAgB,EAAE,aAAa;
|
|
1
|
+
{"version":3,"file":"users.js","sourceRoot":"","sources":["../../../src/schemas/model/users.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAoC,MAAM,SAAS,CAAA;AAChE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAE5D,MAAM,CAAC,MAAM,SAAS,GAAG;IACrB,UAAU,EAAE,CAAC;IACb,IAAI,EAAE,CAAC;IACP,OAAO,EAAE,CAAC;IACV,UAAU,EAAE,CAAC;IAEb,MAAM,EAAE,GAAG;IACX,WAAW,EAAE,GAAG;IAChB,SAAS,EAAE,GAAG;CACR,CAAA;AACV,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC;IAC9C,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;IAClC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC;IACxC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC;IAE9C,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC;IACtC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC;IAChD,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC;CAC/C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAwB,EAAE,EAAE,CAC5D,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,CAAA;AACrE,MAAM,CAAC,MAAM,YAAY,GAAG,mBAAmB,EAAE,CAAA;AAGjD,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAClC,EAAE,EAAE,IAAI;IACR,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7B,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9B,aAAa,EAAE,QAAQ,CAAC,aAAa,CAAC;IACtC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACjC,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI,CAAC,OAAO,EAAE;IAC1B,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE;IAClC,YAAY,EAAE,aAAa;IAC3B,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;IACvB,gBAAgB,EAAE,aAAa;IAC/B,0EAA0E;IAC1E,kFAAkF;IAClF,4EAA4E;IAC5E,yEAAyE;IACzE,sEAAsE;IACtE,qEAAqE;IACrE,YAAY,EAAE,IAAI,CAAC,OAAO,EAAE;CAC/B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE;IACxD,MAAM;IACN,UAAU;IACV,OAAO;CACV,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,OAAO,EAAE,aAAa;IACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,IAAI;IACR,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACb,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;KAC3B,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,iBAAiB,EAAE,IAAI,CAAC,MAAM,EAAE;IAChC,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACpC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAClC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAChC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9B,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAClD,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,IAAI;IACR,MAAM,EAAE,IAAI;IACZ,sBAAsB;IACtB,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;IAC3B,OAAO,EAAE,aAAa;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,YAAY,EAAE,IAAI,CAAC,OAAO,EAAE;IAC5B,mBAAmB,EAAE,IAAI,CAAC,OAAO,EAAE;IACnC,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE;IAClC,iBAAiB,EAAE,IAAI,CAAC,OAAO,EAAE;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3C,MAAM,EAAE,IAAI;IACZ,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;IAC5B,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,kBAAkB,EAAE,IAAI,CAAC,MAAM,EAAE;IACjC,YAAY,EAAE,aAAa;IAC3B,IAAI,EAAE,YAAY;CACrB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,mBAAmB;IAC1B,MAAM,EAAE,oBAAoB;CAC/B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE;IACpB,MAAM,EAAE,QAAQ,CAAC,aAAa,CAAC;IAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;IACtB,cAAc,EAAE,QAAQ,CAAC,YAAY,CAAC;IACtC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC5C,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE;IACxB,SAAS,EAAE,QAAQ,CAAC,aAAa,CAAC;IAClC,cAAc,EAAE,QAAQ,CAAC,YAAY,CAAC;CACzC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,aAAa;IACxB,4BAA4B;IAC5B,SAAS,EAAE,IAAI;CAClB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,cAAc,EAAE,mBAAmB,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;IAChE,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;CACvD,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,CAAC,MAAM,CAAC;IACjE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,WAAW,EAAE,IAAI,CAAC,OAAO,EAAE;IAC3B,aAAa,EAAE,IAAI,CAAC,OAAO,EAAE;IAC7B,qBAAqB,EAAE,IAAI,CAAC,OAAO,EAAE;IACrC,2BAA2B,EAAE,IAAI,CAAC,OAAO,EAAE;CAC9C,CAAC,CAAA"}
|
package/dist/schemas/review.d.ts
CHANGED
|
@@ -65,9 +65,9 @@ export declare const ReviewDraftSchema: Type.TObject<{
|
|
|
65
65
|
}>>;
|
|
66
66
|
}>;
|
|
67
67
|
export type TReviewDraft = Static<typeof ReviewDraftSchema>;
|
|
68
|
-
export declare const TCoreValidationCodeSchema: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
68
|
+
export declare const TCoreValidationCodeSchema: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
69
69
|
export declare const TCoreValidationIssueSchema: Type.TObject<{
|
|
70
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
70
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
71
71
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
72
72
|
message: Type.TString;
|
|
73
73
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -77,7 +77,7 @@ export declare const TCoreValidationIssueSchema: Type.TObject<{
|
|
|
77
77
|
export declare const TCoreValidationResultSchema: Type.TObject<{
|
|
78
78
|
ok: Type.TBoolean;
|
|
79
79
|
issues: Type.TArray<Type.TObject<{
|
|
80
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
80
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
81
81
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
82
82
|
message: Type.TString;
|
|
83
83
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -181,7 +181,7 @@ export declare const TCoreArgumentEvaluationResultSchema: Type.TObject<{
|
|
|
181
181
|
validation: Type.TOptional<Type.TObject<{
|
|
182
182
|
ok: Type.TBoolean;
|
|
183
183
|
issues: Type.TArray<Type.TObject<{
|
|
184
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
184
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
185
185
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
186
186
|
message: Type.TString;
|
|
187
187
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -343,7 +343,7 @@ export declare const TCoreCounterexampleSchema: Type.TObject<{
|
|
|
343
343
|
validation: Type.TOptional<Type.TObject<{
|
|
344
344
|
ok: Type.TBoolean;
|
|
345
345
|
issues: Type.TArray<Type.TObject<{
|
|
346
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
346
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
347
347
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
348
348
|
message: Type.TString;
|
|
349
349
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -501,7 +501,7 @@ export declare const TCoreValidityCheckResultSchema: Type.TObject<{
|
|
|
501
501
|
validation: Type.TOptional<Type.TObject<{
|
|
502
502
|
ok: Type.TBoolean;
|
|
503
503
|
issues: Type.TArray<Type.TObject<{
|
|
504
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
504
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
505
505
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
506
506
|
message: Type.TString;
|
|
507
507
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -523,7 +523,7 @@ export declare const TCoreValidityCheckResultSchema: Type.TObject<{
|
|
|
523
523
|
validation: Type.TOptional<Type.TObject<{
|
|
524
524
|
ok: Type.TBoolean;
|
|
525
525
|
issues: Type.TArray<Type.TObject<{
|
|
526
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
526
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
527
527
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
528
528
|
message: Type.TString;
|
|
529
529
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -688,7 +688,7 @@ export declare const ReviewResultSchema: Type.TObject<{
|
|
|
688
688
|
validation: Type.TOptional<Type.TObject<{
|
|
689
689
|
ok: Type.TBoolean;
|
|
690
690
|
issues: Type.TArray<Type.TObject<{
|
|
691
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
691
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
692
692
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
693
693
|
message: Type.TString;
|
|
694
694
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -845,7 +845,7 @@ export declare const ReviewResultSchema: Type.TObject<{
|
|
|
845
845
|
validation: Type.TOptional<Type.TObject<{
|
|
846
846
|
ok: Type.TBoolean;
|
|
847
847
|
issues: Type.TArray<Type.TObject<{
|
|
848
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
848
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
849
849
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
850
850
|
message: Type.TString;
|
|
851
851
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -867,7 +867,7 @@ export declare const ReviewResultSchema: Type.TObject<{
|
|
|
867
867
|
validation: Type.TOptional<Type.TObject<{
|
|
868
868
|
ok: Type.TBoolean;
|
|
869
869
|
issues: Type.TArray<Type.TObject<{
|
|
870
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
870
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
871
871
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
872
872
|
message: Type.TString;
|
|
873
873
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -1063,7 +1063,7 @@ export declare const ReviewStateSchema: Type.TObject<{
|
|
|
1063
1063
|
validation: Type.TOptional<Type.TObject<{
|
|
1064
1064
|
ok: Type.TBoolean;
|
|
1065
1065
|
issues: Type.TArray<Type.TObject<{
|
|
1066
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
1066
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
1067
1067
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
1068
1068
|
message: Type.TString;
|
|
1069
1069
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -1220,7 +1220,7 @@ export declare const ReviewStateSchema: Type.TObject<{
|
|
|
1220
1220
|
validation: Type.TOptional<Type.TObject<{
|
|
1221
1221
|
ok: Type.TBoolean;
|
|
1222
1222
|
issues: Type.TArray<Type.TObject<{
|
|
1223
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
1223
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
1224
1224
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
1225
1225
|
message: Type.TString;
|
|
1226
1226
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -1242,7 +1242,7 @@ export declare const ReviewStateSchema: Type.TObject<{
|
|
|
1242
1242
|
validation: Type.TOptional<Type.TObject<{
|
|
1243
1243
|
ok: Type.TBoolean;
|
|
1244
1244
|
issues: Type.TArray<Type.TObject<{
|
|
1245
|
-
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"
|
|
1245
|
+
code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
|
|
1246
1246
|
severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
|
|
1247
1247
|
message: Type.TString;
|
|
1248
1248
|
premiseId: Type.TOptional<Type.TString>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"review.d.ts","sourceRoot":"","sources":["../../src/schemas/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,oBAAoB,0CAA4C,CAAA;AAC7E,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAGjE,eAAO,MAAM,yBAAyB,+RAQpC,CAAA;AAEF,eAAO,MAAM,0BAA0B,4SASrC,CAAA;AAEF,eAAO,MAAM,4BAA4B,2RASvC,CAAA;AAEF,eAAO,MAAM,8BAA8B,wNAMzC,CAAA;AAEF,eAAO,MAAM,8BAA8B,2RAQzC,CAAA;AAEF,eAAO,MAAM,qBAAqB,q3BAIhC,CAAA;AACF,eAAO,MAAM,wBAAwB,kgBAGnC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAC3E,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAC7E,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AACnE,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAKzE,eAAO,MAAM,qBAAqB;;;;;;;EAOhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,wBAAwB;;;;;;;;EAQnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,iBAAiB,2FAI5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAY5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;
|
|
1
|
+
{"version":3,"file":"review.d.ts","sourceRoot":"","sources":["../../src/schemas/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,oBAAoB,0CAA4C,CAAA;AAC7E,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAGjE,eAAO,MAAM,yBAAyB,+RAQpC,CAAA;AAEF,eAAO,MAAM,0BAA0B,4SASrC,CAAA;AAEF,eAAO,MAAM,4BAA4B,2RASvC,CAAA;AAEF,eAAO,MAAM,8BAA8B,wNAMzC,CAAA;AAEF,eAAO,MAAM,8BAA8B,2RAQzC,CAAA;AAEF,eAAO,MAAM,qBAAqB,q3BAIhC,CAAA;AACF,eAAO,MAAM,wBAAwB,kgBAGnC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAC3E,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAC7E,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AACnE,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAKzE,eAAO,MAAM,qBAAqB;;;;;;;EAOhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,wBAAwB;;;;;;;;EAQnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,iBAAiB,2FAI5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAY5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAe3D,eAAO,MAAM,yBAAyB,m2BAmBpC,CAAA;AAEF,eAAO,MAAM,0BAA0B;;;;;;;EAOrC,CAAA;AACF,eAAO,MAAM,2BAA2B;;;;;;;;;;EAGtC,CAAA;AAEF,eAAO,MAAM,6BAA6B;;;;;;EAMxC,CAAA;AAEF,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA0BhD,CAAA;AAEF,eAAO,MAAM,kCAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAW7C,CAAA;AAEF,eAAO,MAAM,+BAA+B;;;EAM1C,CAAA;AAEF,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuB9C,CAAA;AAEF,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGpC,CAAA;AACF,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASzC,CAAA;AAGF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}
|
package/dist/schemas/review.js
CHANGED
|
@@ -102,7 +102,15 @@ export const ReviewDraftSchema = Type.Object({
|
|
|
102
102
|
// ---- Core evaluation result mirror (full) ----
|
|
103
103
|
// Mirrors @proposit/proposit-core dist/lib/types/evaluation.d.ts.
|
|
104
104
|
// Snapshot-tested against a real core evaluation result in Task G1.
|
|
105
|
-
// TCoreValidationCode enum (18 literals — mirrors core@0.
|
|
105
|
+
// TCoreValidationCode enum (18 literals — mirrors core@1.0.0).
|
|
106
|
+
//
|
|
107
|
+
// Core 1.0 Phase D4 deleted `DERIVATION_STRUCTURE_INVALID_AT_EVALUATION`
|
|
108
|
+
// (the pre-1.0 evaluation-time throw on naked-Q derivation premises);
|
|
109
|
+
// naked-Q is now an evaluation no-op per spec §4.2, and broken-tree
|
|
110
|
+
// derivation premises continue to surface as the unchanged
|
|
111
|
+
// `DERIVATION_STRUCTURE_INVALID` code. This schema must match core's
|
|
112
|
+
// runtime emitter exactly — keep the literal list synchronized when
|
|
113
|
+
// bumping `@proposit/proposit-core`.
|
|
106
114
|
export const TCoreValidationCodeSchema = Type.Union([
|
|
107
115
|
Type.Literal("ARGUMENT_NO_CONCLUSION"),
|
|
108
116
|
Type.Literal("ARGUMENT_CONCLUSION_NOT_FOUND"),
|
|
@@ -121,7 +129,7 @@ export const TCoreValidationCodeSchema = Type.Union([
|
|
|
121
129
|
Type.Literal("SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION"),
|
|
122
130
|
Type.Literal("SOURCE_ORPHANED"),
|
|
123
131
|
Type.Literal("EXPR_BOUND_PREMISE_EMPTY"),
|
|
124
|
-
Type.Literal("
|
|
132
|
+
Type.Literal("DERIVATION_STRUCTURE_INVALID"),
|
|
125
133
|
]);
|
|
126
134
|
export const TCoreValidationIssueSchema = Type.Object({
|
|
127
135
|
code: TCoreValidationCodeSchema,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"review.js","sourceRoot":"","sources":["../../src/schemas/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEjD,6DAA6D;AAC7D,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAG7E,yBAAyB;AACzB,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;CACtC,CAAC,CAAA;AACF,0BAA0B;AAC1B,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,KAAK,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;IACxB,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAA;AACF,4BAA4B;AAC5B,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,KAAK,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAA;AACF,gCAAgC;AAChC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAClC,IAAI,CAAC,OAAO,CAAC,4BAA4B,CAAC;CAC7C,CAAC,CAAA;AACF,gCAAgC;AAChC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5C,yBAAyB;IACzB,0BAA0B;IAC1B,4BAA4B;CAC/B,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/C,8BAA8B;IAC9B,8BAA8B;CACjC,CAAC,CAAA;AAeF,wBAAwB;AACxB,gEAAgE;AAChE,oFAAoF;AACpF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,YAAY,EAAE,IAAI;IAClB,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,oBAAoB;IAC3B,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAChD,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;IACvB,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,IAAI;IACf,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACjC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACxE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1E,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC;IACnD,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,QAAQ,EAAE,IAAI;IACd,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,aAAa;IACxB,KAAK,EAAE,iBAAiB;IACxB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC9C,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAC1D,mBAAmB,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAC5D,CAAC,CAAA;AAGF,iDAAiD;AACjD,kEAAkE;AAClE,oEAAoE;AAEpE,
|
|
1
|
+
{"version":3,"file":"review.js","sourceRoot":"","sources":["../../src/schemas/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEjD,6DAA6D;AAC7D,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAG7E,yBAAyB;AACzB,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;CACtC,CAAC,CAAA;AACF,0BAA0B;AAC1B,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,KAAK,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;IACxB,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAA;AACF,4BAA4B;AAC5B,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,KAAK,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAA;AACF,gCAAgC;AAChC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAClC,IAAI,CAAC,OAAO,CAAC,4BAA4B,CAAC;CAC7C,CAAC,CAAA;AACF,gCAAgC;AAChC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5C,yBAAyB;IACzB,0BAA0B;IAC1B,4BAA4B;CAC/B,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/C,8BAA8B;IAC9B,8BAA8B;CACjC,CAAC,CAAA;AAeF,wBAAwB;AACxB,gEAAgE;AAChE,oFAAoF;AACpF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,YAAY,EAAE,IAAI;IAClB,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,oBAAoB;IAC3B,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAChD,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;IACvB,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,IAAI;IACf,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACjC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACxE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1E,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC;IACnD,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,QAAQ,EAAE,IAAI;IACd,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,aAAa;IACxB,KAAK,EAAE,iBAAiB;IACxB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC9C,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAC1D,mBAAmB,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAC5D,CAAC,CAAA;AAGF,iDAAiD;AACjD,kEAAkE;AAClE,oEAAoE;AAEpE,+DAA+D;AAC/D,EAAE;AACF,yEAAyE;AACzE,sEAAsE;AACtE,oEAAoE;AACpE,2DAA2D;AAC3D,qEAAqE;AACrE,oEAAoE;AACpE,qCAAqC;AACrC,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,+BAA+B,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,sCAAsC,CAAC;IACpD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC;IAClD,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;IAC7B,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,+BAA+B,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,6BAA6B,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,6BAA6B,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,8CAA8C,CAAC;IAC5D,IAAI,CAAC,OAAO,CAAC,+CAA+C,CAAC;IAC7D,IAAI,CAAC,OAAO,CAAC,kDAAkD,CAAC;IAChE,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC;CAC/C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,yBAAyB;IAC/B,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACtE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACvC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;CACjD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,cAAc,EAAE,oBAAoB;IACpC,cAAc,EAAE,oBAAoB;IACpC,gBAAgB,EAAE,oBAAoB;IACtC,eAAe,EAAE,oBAAoB;IACrC,KAAK,EAAE,oBAAoB;CAC9B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5D,IAAI,CAAC,MAAM,CAAC;QACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;QAC7B,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;QAC/B,SAAS,EAAE,oBAAoB;QAC/B,UAAU,EAAE,oBAAoB;QAChC,SAAS,EAAE,oBAAoB;QAC/B,cAAc,EAAE,oBAAoB;QACpC,cAAc,EAAE,oBAAoB;QACpC,eAAe,EAAE,oBAAoB;QACrC,KAAK,EAAE,oBAAoB;QAC3B,YAAY,EAAE,oBAAoB;KACrC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;QAC/B,SAAS,EAAE,oBAAoB;QAC/B,UAAU,EAAE,oBAAoB;QAChC,SAAS,EAAE,oBAAoB;QAC/B,WAAW,EAAE,6BAA6B;QAC1C,WAAW,EAAE,6BAA6B;QAC1C,aAAa,EAAE,oBAAoB;QACnC,cAAc,EAAE,oBAAoB;KACvC,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;IACxB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;KAC7B,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9C,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC9C,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAClE,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAChE,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,qCAAqC,CAAC;CAC5E,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IACvD,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAC3D,mBAAmB,EAAE,IAAI,CAAC,MAAM,CAC5B,IAAI,CAAC,MAAM,EAAE,EACb,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CACnE;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACtD,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,+BAA+B,CAAC;IAC1D,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/D,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,kCAAkC,CAAC;IAC7D,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAC7B,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC,CACjD;IACD,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAC7B,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC,CACjD;IACD,sBAAsB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC3D,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC9D,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IACnD,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IACrD,6BAA6B,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAClE,gEAAgE;IAChE,2EAA2E;IAC3E,sEAAsE;IACtE,wBAAwB,EAAE,IAAI,CAAC,QAAQ,CACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CACnD;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,UAAU,EAAE,+BAA+B;IAC3C,MAAM,EAAE,mCAAmC;CAC9C,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACtD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5D,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnD,wBAAwB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtD,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACrE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CAC3C,CAAC,CAAA;AAEF,mEAAmE;AACnE,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,SAAS,EAAE,aAAa;IACxB,WAAW,EAAE,aAAa;IAC1B,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE;IACnC,UAAU,EAAE,mCAAmC;IAC/C,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,8BAA8B,CAAC;CAC/D,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,KAAK,EAAE,iBAAiB;IACxB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;CAChD,CAAC,CAAA"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@proposit/shared",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.10.0",
|
|
4
4
|
"description": "Runtime-agnostic TypeScript shared between proposit-server and proposit-mobile. Schemas, engine, api-client, and utilities.",
|
|
5
5
|
"license": "MIT",
|
|
6
6
|
"homepage": "https://github.com/Proposit-App/proposit-shared",
|
|
@@ -38,6 +38,11 @@
|
|
|
38
38
|
"import": "./dist/schemas/api/auth/index.js",
|
|
39
39
|
"default": "./dist/schemas/api/auth/index.js"
|
|
40
40
|
},
|
|
41
|
+
"./schemas/api/grammar-violations": {
|
|
42
|
+
"types": "./dist/schemas/api/grammar-violations.d.ts",
|
|
43
|
+
"import": "./dist/schemas/api/grammar-violations.js",
|
|
44
|
+
"default": "./dist/schemas/api/grammar-violations.js"
|
|
45
|
+
},
|
|
41
46
|
"./schemas/api/reaction": {
|
|
42
47
|
"types": "./dist/schemas/api/reaction/index.d.ts",
|
|
43
48
|
"import": "./dist/schemas/api/reaction/index.js",
|
|
@@ -53,6 +58,11 @@
|
|
|
53
58
|
"import": "./dist/schemas/api/user/index.js",
|
|
54
59
|
"default": "./dist/schemas/api/user/index.js"
|
|
55
60
|
},
|
|
61
|
+
"./schemas/grammar": {
|
|
62
|
+
"types": "./dist/schemas/grammar/index.d.ts",
|
|
63
|
+
"import": "./dist/schemas/grammar/index.js",
|
|
64
|
+
"default": "./dist/schemas/grammar/index.js"
|
|
65
|
+
},
|
|
56
66
|
"./schemas/*": {
|
|
57
67
|
"types": "./dist/schemas/*.d.ts",
|
|
58
68
|
"import": "./dist/schemas/*.js",
|
|
@@ -126,14 +136,14 @@
|
|
|
126
136
|
"access": "public"
|
|
127
137
|
},
|
|
128
138
|
"peerDependencies": {
|
|
129
|
-
"@proposit/proposit-core": "^0.
|
|
139
|
+
"@proposit/proposit-core": "^1.0.0"
|
|
130
140
|
},
|
|
131
141
|
"dependencies": {
|
|
132
142
|
"typebox": "^1.1.14"
|
|
133
143
|
},
|
|
134
144
|
"devDependencies": {
|
|
135
145
|
"@eslint/js": "^9.39.4",
|
|
136
|
-
"@proposit/proposit-core": "^0.
|
|
146
|
+
"@proposit/proposit-core": "^1.0.0",
|
|
137
147
|
"@types/node": "^25.5.2",
|
|
138
148
|
"eslint": "^9.39.4",
|
|
139
149
|
"eslint-plugin-check-file": "^3.3.1",
|