@polintpro/proposit-core 0.1.1

package/dist/lib/core/evaluation/shared.js

@@ -0,0 +1,23 @@
+export function makeValidationResult(issues) {
+    return {
+        ok: issues.every((issue) => issue.severity !== "error"),
+        issues,
+    };
+}
+export function makeErrorIssue(issue) {
+    return { severity: "error", ...issue };
+}
+export function implicationValue(antecedent, consequent) {
+    return !antecedent || consequent;
+}
+export function buildDirectionalVacuity(antecedentTrue, consequentTrue) {
+    const implication = implicationValue(antecedentTrue, consequentTrue);
+    return {
+        antecedentTrue,
+        consequentTrue,
+        implicationValue: implication,
+        isVacuouslyTrue: !antecedentTrue,
+        fired: antecedentTrue,
+    };
+}
+//# sourceMappingURL=shared.js.map

package/dist/lib/core/evaluation/shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/shared.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,oBAAoB,CAChC,MAA0B;IAE1B,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC;QACvD,MAAM;KACT,CAAA;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,KAAyC;IAEzC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC5B,UAAmB,EACnB,UAAmB;IAEnB,OAAO,CAAC,UAAU,IAAI,UAAU,CAAA;AACpC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,cAAuB,EACvB,cAAuB;IAEvB,MAAM,WAAW,GAAG,gBAAgB,CAAC,cAAc,EAAE,cAAc,CAAC,CAAA;IACpE,OAAO;QACH,cAAc;QACd,cAAc;QACd,gBAAgB,EAAE,WAAW;QAC7B,eAAe,EAAE,CAAC,cAAc;QAChC,KAAK,EAAE,cAAc;KACxB,CAAA;AACL,CAAC"}

package/dist/lib/index.d.ts

@@ -0,0 +1,4 @@
+export { ArgumentEngine } from "./core/ArgumentEngine";
+export { PremiseManager } from "./core/PremiseManager";
+export * from "./types/evaluation";
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,cAAc,oBAAoB,CAAA"}

package/dist/lib/index.js

@@ -0,0 +1,4 @@
+export { ArgumentEngine } from "./core/ArgumentEngine";
+export { PremiseManager } from "./core/PremiseManager";
+export * from "./types/evaluation";
+//# sourceMappingURL=index.js.map

package/dist/lib/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,cAAc,oBAAoB,CAAA"}

package/dist/lib/schemata/argument.d.ts

@@ -0,0 +1,9 @@
+import Type, { type Static } from "typebox";
+export declare const ArgumentSchema: Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    title: Type.TString;
+    description: Type.TString;
+}>;
+export type TArgument = Static<typeof ArgumentSchema>;
+//# sourceMappingURL=argument.d.ts.map

package/dist/lib/schemata/argument.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"argument.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/argument.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,cAAc;;;;;EAKzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA"}

package/dist/lib/schemata/argument.js

@@ -0,0 +1,9 @@
+import Type, {} from "typebox";
+import { UUID } from "./shared";
+export const ArgumentSchema = Type.Object({
+    id: UUID,
+    version: Type.Number(),
+    title: Type.String(),
+    description: Type.String(),
+});
+//# sourceMappingURL=argument.js.map

package/dist/lib/schemata/argument.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"argument.js","sourceRoot":"","sources":["../../../src/lib/schemata/argument.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAE/B,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,CAAC,CAAA"}

package/dist/lib/schemata/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./argument";
+export * from "./propositional";
+export * from "./shared";
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/schemata/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,UAAU,CAAA"}

package/dist/lib/schemata/index.js

@@ -0,0 +1,4 @@
+export * from "./argument";
+export * from "./propositional";
+export * from "./shared";
+//# sourceMappingURL=index.js.map

package/dist/lib/schemata/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,UAAU,CAAA"}

package/dist/lib/schemata/propositional.d.ts

@@ -0,0 +1,107 @@
+import Type, { type Static } from "typebox";
+export declare const PropositionalExpressionTypes: Type.TUnion<[Type.TLiteral<"variable">, Type.TLiteral<"operator">, Type.TLiteral<"formula">]>;
+export type TPropositionalExpressionTypes = Static<typeof PropositionalExpressionTypes>;
+export declare const PropositionalVariableExpressionSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+    type: Type.TLiteral<"variable">;
+    variableId: Type.TString;
+}>;
+export type TPropositionalVariableExpression = Static<typeof PropositionalVariableExpressionSchema>;
+export declare const LogicalOperatorType: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+export type TLogicalOperatorType = Static<typeof LogicalOperatorType>;
+export declare const OperatorExpressionSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+    type: Type.TLiteral<"operator">;
+    operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+}>;
+export type TOperatorExpression = Static<typeof OperatorExpressionSchema>;
+export declare const FormulaExpressionSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+    type: Type.TLiteral<"formula">;
+}>;
+export type TFormulaExpression = Static<typeof FormulaExpressionSchema>;
+export declare const PropositionalExpressionSchema: Type.TUnion<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+    type: Type.TLiteral<"variable">;
+    variableId: Type.TString;
+}>, Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+    type: Type.TLiteral<"operator">;
+    operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+}>, Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+    type: Type.TLiteral<"formula">;
+}>]>;
+export type TPropositionalExpressionCombined = Static<typeof PropositionalExpressionSchema>;
+export type TPropositionalExpression<T extends TPropositionalExpressionTypes = TPropositionalExpressionTypes> = Extract<TPropositionalExpressionCombined, {
+    type: T;
+}>;
+export declare const PropositionalVariableSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+}>;
+export type TPropositionalVariable = Static<typeof PropositionalVariableSchema>;
+export declare const PremiseSchema: Type.TObject<{
+    id: Type.TString;
+    rootExpressionId: Type.TOptional<Type.TString>;
+    variables: Type.TArray<Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        symbol: Type.TString;
+    }>>;
+    expressions: Type.TArray<Type.TUnion<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+        type: Type.TLiteral<"variable">;
+        variableId: Type.TString;
+    }>, Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+        type: Type.TLiteral<"operator">;
+        operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+    }>, Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+        type: Type.TLiteral<"formula">;
+    }>]>>;
+    type: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
+    title: Type.TOptional<Type.TString>;
+}>;
+export type TPremise = Static<typeof PremiseSchema>;
+//# sourceMappingURL=propositional.d.ts.map

package/dist/lib/schemata/propositional.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,4BAA4B,+FAIvC,CAAA;AACF,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,4BAA4B,CACtC,CAAA;AAoBD,eAAO,MAAM,qCAAqC;;;;;;;;EAMjD,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,qCAAqC,CAC/C,CAAA;AAED,eAAO,MAAM,mBAAmB,gIAM9B,CAAA;AAEF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAErE,eAAO,MAAM,wBAAwB;;;;;;;;EAMpC,CAAA;AACD,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,uBAAuB;;;;;;;EAKnC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;IAIxC,CAAA;AAEF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,6BAA6B,CACvC,CAAA;AAED,MAAM,MAAM,wBAAwB,CAChC,CAAC,SAAS,6BAA6B,GAAG,6BAA6B,IACvE,OAAO,CAAC,gCAAgC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAE1D,eAAO,MAAM,2BAA2B;;;;;EAKtC,CAAA;AAEF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA8BxB,CAAA;AAEF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,CAAA"}

package/dist/lib/schemata/propositional.js

@@ -0,0 +1,77 @@
+import Type, {} from "typebox";
+import { UUID, Nullable } from "./shared";
+const VariableType = Type.Literal("variable");
+const OperatorType = Type.Literal("operator");
+const FormulaType = Type.Literal("formula");
+export const PropositionalExpressionTypes = Type.Union([
+    VariableType,
+    OperatorType,
+    FormulaType,
+]);
+const BasePropositionalExpressionSchema = Type.Object({
+    id: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    parentId: Nullable(UUID, {
+        description: "The ID of the parent operator expression, or null if this is a top-level expression.",
+    }),
+    position: Nullable(Type.Integer({
+        minimum: 0,
+        description: "The ordering of this expression among its siblings under the same parent. Must be unique within (parentId, argumentId, argumentVersion).",
+    })),
+});
+export const PropositionalVariableExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
+    type: VariableType,
+    variableId: UUID,
+});
+export const LogicalOperatorType = Type.Union([
+    Type.Literal("not"), // unary
+    Type.Literal("and"), // variadic (≥2)
+    Type.Literal("or"), // variadic (≥2)
+    Type.Literal("implies"), // binary (ordered)
+    Type.Literal("iff"), // binary (unordered but fixed 2)
+]);
+export const OperatorExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
+    type: OperatorType,
+    operator: LogicalOperatorType,
+});
+export const FormulaExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
+    type: FormulaType,
+});
+export const PropositionalExpressionSchema = Type.Union([
+    PropositionalVariableExpressionSchema,
+    OperatorExpressionSchema,
+    FormulaExpressionSchema,
+]);
+export const PropositionalVariableSchema = Type.Object({
+    id: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    symbol: Type.String(),
+});
+export const PremiseSchema = Type.Object({
+    // Auto-generated UUID
+    id: UUID,
+    // If the premise has expressions in it, this is the ID of the root expression
+    // which must be a relation operator if the type is "inference", else. it can
+    // be any type of expression.
+    rootExpressionId: Type.Optional(UUID),
+    variables: Type.Array(PropositionalVariableSchema, {
+        description: "All variables referenced in this premise.",
+    }),
+    expressions: Type.Array(PropositionalExpressionSchema, {
+        description: "All expressions that are part of this premise, including sub-expressions. The root of the premise will have a null parentId.",
+    }),
+    type: Type.Union([
+        Type.Literal("inference", {
+            description: "A premise whose core operator is one of inference like implies or iff",
+        }),
+        Type.Literal("constraint", {
+            description: "A premise without an inference operator, it restricts the possible valuations of variables but is not part of the chain of logical reasoning.",
+        }),
+    ]),
+    title: Type.Optional(Type.String({
+        description: "An optional title for this premise, for display purposes.",
+    })),
+});
+//# sourceMappingURL=propositional.js.map

package/dist/lib/schemata/propositional.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAEzC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAE3C,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,KAAK,CAAC;IACnD,YAAY;IACZ,YAAY;IACZ,WAAW;CACd,CAAC,CAAA;AAKF,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;QACrB,WAAW,EACP,sFAAsF;KAC7F,CAAC;IAEF,QAAQ,EAAE,QAAQ,CACd,IAAI,CAAC,OAAO,CAAC;QACT,OAAO,EAAE,CAAC;QACV,WAAW,EACP,0IAA0I;KACjJ,CAAC,CACL;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,SAAS,CAC/D,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI;CACnB,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ;IAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,gBAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,gBAAgB;IACpC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,mBAAmB;IAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,iCAAiC;CACzD,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,mBAAmB;CAChC,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CACjD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,WAAW;CACpB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IACpD,qCAAqC;IACrC,wBAAwB;IACxB,uBAAuB;CAC1B,CAAC,CAAA;AAUF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,sBAAsB;IACtB,EAAE,EAAE,IAAI;IACR,8EAA8E;IAC9E,6EAA6E;IAC7E,6BAA6B;IAC7B,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACrC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;QAC/C,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IACF,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,EAAE;QACnD,WAAW,EACP,8HAA8H;KACrI,CAAC;IACF,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACb,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE;YACtB,WAAW,EACP,uEAAuE;SAC9E,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE;YACvB,WAAW,EACP,+IAA+I;SACtJ,CAAC;KACL,CAAC;IACF,KAAK,EAAE,IAAI,CAAC,QAAQ,CAChB,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,2DAA2D;KAClE,CAAC,CACL;CACJ,CAAC,CAAA"}

package/dist/lib/schemata/shared.d.ts

@@ -0,0 +1,4 @@
+import Type, { type TSchema, type TSchemaOptions } from "typebox";
+export declare const Nullable: <T extends TSchema>(T: T, options?: Omit<TSchemaOptions, "default">) => Type.TUnion<[T, Type.TNull]>;
+export declare const UUID: Type.TString;
+//# sourceMappingURL=shared.d.ts.map

package/dist/lib/schemata/shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/shared.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,SAAS,CAAA;AAEjE,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,OAAO,EACtC,GAAG,CAAC,EACJ,UAAU,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,iCAG5C,CAAA;AACD,eAAO,MAAM,IAAI,cAAgB,CAAA"}

package/dist/lib/schemata/shared.js

@@ -0,0 +1,6 @@
+import Type, {} from "typebox";
+export const Nullable = (T, options) => {
+    return Type.Union([T, Type.Null()], { ...options, default: null });
+};
+export const UUID = Type.String(); // `${string}-${string}-${string}-${string}-${string}`
+//# sourceMappingURL=shared.js.map

package/dist/lib/schemata/shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../src/lib/schemata/shared.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAqC,MAAM,SAAS,CAAA;AAEjE,MAAM,CAAC,MAAM,QAAQ,GAAG,CACpB,CAAI,EACJ,OAAyC,EAC3C,EAAE;IACA,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;AACtE,CAAC,CAAA;AACD,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAA,CAAC,sDAAsD"}

package/dist/lib/types/evaluation.d.ts

@@ -0,0 +1,108 @@
+import type { TArgument, TPremise } from "../schemata";
+export type TPremiseRole = "supporting" | "conclusion";
+export interface TArgumentRoleState {
+    supportingPremiseIds: string[];
+    conclusionPremiseId?: string;
+}
+export interface TArgumentEngineData {
+    argument: TArgument;
+    premises: TPremise[];
+    roles: TArgumentRoleState;
+}
+export type TVariableAssignment = Record<string, boolean>;
+export type TValidationSeverity = "error" | "warning";
+export type TValidationCode = "ARGUMENT_NO_CONCLUSION" | "ARGUMENT_CONCLUSION_NOT_FOUND" | "ARGUMENT_SUPPORTING_PREMISE_NOT_FOUND" | "ARGUMENT_ROLE_OVERLAP" | "ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH" | "ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS" | "PREMISE_EMPTY" | "PREMISE_ROOT_MISSING" | "PREMISE_ROOT_MISMATCH" | "EXPR_CHILD_COUNT_INVALID" | "EXPR_BINARY_POSITIONS_INVALID" | "EXPR_VARIABLE_UNDECLARED" | "ASSIGNMENT_MISSING_VARIABLE" | "ASSIGNMENT_UNKNOWN_VARIABLE";
+export interface TValidationIssue {
+    code: TValidationCode;
+    severity: TValidationSeverity;
+    message: string;
+    premiseId?: string;
+    expressionId?: string;
+    variableId?: string;
+}
+export interface TValidationResult {
+    ok: boolean;
+    issues: TValidationIssue[];
+}
+export interface TDirectionalVacuity {
+    antecedentTrue: boolean;
+    consequentTrue: boolean;
+    implicationValue: boolean;
+    isVacuouslyTrue: boolean;
+    fired: boolean;
+}
+export type TPremiseInferenceDiagnostic = {
+    kind: "implies";
+    premiseId: string;
+    rootExpressionId: string;
+    leftValue: boolean;
+    rightValue: boolean;
+    rootValue: boolean;
+    antecedentTrue: boolean;
+    consequentTrue: boolean;
+    isVacuouslyTrue: boolean;
+    fired: boolean;
+    firedAndHeld: boolean;
+} | {
+    kind: "iff";
+    premiseId: string;
+    rootExpressionId: string;
+    leftValue: boolean;
+    rightValue: boolean;
+    rootValue: boolean;
+    leftToRight: TDirectionalVacuity;
+    rightToLeft: TDirectionalVacuity;
+    bothSidesTrue: boolean;
+    bothSidesFalse: boolean;
+};
+export interface TPremiseEvaluationResult {
+    premiseId: string;
+    premiseType: "inference" | "constraint";
+    rootExpressionId?: string;
+    rootValue?: boolean;
+    expressionValues: Record<string, boolean>;
+    variableValues: Record<string, boolean>;
+    inferenceDiagnostic?: TPremiseInferenceDiagnostic;
+}
+export interface TArgumentEvaluationOptions {
+    strictUnknownAssignmentKeys?: boolean;
+    includeExpressionValues?: boolean;
+    includeDiagnostics?: boolean;
+    validateFirst?: boolean;
+}
+export interface TArgumentEvaluationResult {
+    ok: boolean;
+    validation?: TValidationResult;
+    assignment?: TVariableAssignment;
+    referencedVariableIds?: string[];
+    conclusion?: TPremiseEvaluationResult;
+    supportingPremises?: TPremiseEvaluationResult[];
+    constraintPremises?: TPremiseEvaluationResult[];
+    isAdmissibleAssignment?: boolean;
+    allSupportingPremisesTrue?: boolean;
+    conclusionTrue?: boolean;
+    isCounterexample?: boolean;
+    preservesTruthUnderAssignment?: boolean;
+}
+export interface TValidityCheckOptions {
+    mode?: "firstCounterexample" | "exhaustive";
+    maxVariables?: number;
+    maxAssignmentsChecked?: number;
+    includeCounterexampleEvaluations?: boolean;
+    validateFirst?: boolean;
+}
+export interface TCounterexample {
+    assignment: TVariableAssignment;
+    result: TArgumentEvaluationResult;
+}
+export interface TValidityCheckResult {
+    ok: boolean;
+    validation?: TValidationResult;
+    isValid?: boolean;
+    checkedVariableIds?: string[];
+    numAssignmentsChecked?: number;
+    numAdmissibleAssignments?: number;
+    counterexamples?: TCounterexample[];
+    truncated?: boolean;
+}
+//# sourceMappingURL=evaluation.d.ts.map

package/dist/lib/types/evaluation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,YAAY,CAAA;AAEtD,MAAM,WAAW,kBAAkB;IAE/B,oBAAoB,EAAE,MAAM,EAAE,CAAA;IAE9B,mBAAmB,CAAC,EAAE,MAAM,CAAA;CAC/B;AAED,MAAM,WAAW,mBAAmB;IAEhC,QAAQ,EAAE,SAAS,CAAA;IAEnB,QAAQ,EAAE,QAAQ,EAAE,CAAA;IAEpB,KAAK,EAAE,kBAAkB,CAAA;CAC5B;AAED,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAEzD,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,SAAS,CAAA;AAErD,MAAM,MAAM,eAAe,GACrB,wBAAwB,GACxB,+BAA+B,GAC/B,uCAAuC,GACvC,uBAAuB,GACvB,sCAAsC,GACtC,oCAAoC,GACpC,eAAe,GACf,sBAAsB,GACtB,uBAAuB,GACvB,0BAA0B,GAC1B,+BAA+B,GAC/B,0BAA0B,GAC1B,6BAA6B,GAC7B,6BAA6B,CAAA;AAEnC,MAAM,WAAW,gBAAgB;IAE7B,IAAI,EAAE,eAAe,CAAA;IAErB,QAAQ,EAAE,mBAAmB,CAAA;IAE7B,OAAO,EAAE,MAAM,CAAA;IAEf,SAAS,CAAC,EAAE,MAAM,CAAA;IAElB,YAAY,CAAC,EAAE,MAAM,CAAA;IAErB,UAAU,CAAC,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,iBAAiB;IAE9B,EAAE,EAAE,OAAO,CAAA;IAEX,MAAM,EAAE,gBAAgB,EAAE,CAAA;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAEhC,cAAc,EAAE,OAAO,CAAA;IAEvB,cAAc,EAAE,OAAO,CAAA;IAEvB,gBAAgB,EAAE,OAAO,CAAA;IAEzB,eAAe,EAAE,OAAO,CAAA;IAExB,KAAK,EAAE,OAAO,CAAA;CACjB;AAED,MAAM,MAAM,2BAA2B,GACjC;IACI,IAAI,EAAE,SAAS,CAAA;IACf,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,OAAO,CAAA;IAClB,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,cAAc,EAAE,OAAO,CAAA;IACvB,cAAc,EAAE,OAAO,CAAA;IACvB,eAAe,EAAE,OAAO,CAAA;IACxB,KAAK,EAAE,OAAO,CAAA;IACd,YAAY,EAAE,OAAO,CAAA;CACxB,GACD;IACI,IAAI,EAAE,KAAK,CAAA;IACX,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,OAAO,CAAA;IAClB,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,WAAW,EAAE,mBAAmB,CAAA;IAChC,WAAW,EAAE,mBAAmB,CAAA;IAChC,aAAa,EAAE,OAAO,CAAA;IACtB,cAAc,EAAE,OAAO,CAAA;CAC1B,CAAA;AAEP,MAAM,WAAW,wBAAwB;IAErC,SAAS,EAAE,MAAM,CAAA;IAEjB,WAAW,EAAE,WAAW,GAAG,YAAY,CAAA;IAEvC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAEzB,SAAS,CAAC,EAAE,OAAO,CAAA;IAEnB,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAEzC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAEvC,mBAAmB,CAAC,EAAE,2BAA2B,CAAA;CACpD;AAED,MAAM,WAAW,0BAA0B;IAEvC,2BAA2B,CAAC,EAAE,OAAO,CAAA;IAErC,uBAAuB,CAAC,EAAE,OAAO,CAAA;IAEjC,kBAAkB,CAAC,EAAE,OAAO,CAAA;IAE5B,aAAa,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,yBAAyB;IAEtC,EAAE,EAAE,OAAO,CAAA;IAEX,UAAU,CAAC,EAAE,iBAAiB,CAAA;IAE9B,UAAU,CAAC,EAAE,mBAAmB,CAAA;IAEhC,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAA;IAEhC,UAAU,CAAC,EAAE,wBAAwB,CAAA;IAErC,kBAAkB,CAAC,EAAE,wBAAwB,EAAE,CAAA;IAE/C,kBAAkB,CAAC,EAAE,wBAAwB,EAAE,CAAA;IAE/C,sBAAsB,CAAC,EAAE,OAAO,CAAA;IAEhC,yBAAyB,CAAC,EAAE,OAAO,CAAA;IAEnC,cAAc,CAAC,EAAE,OAAO,CAAA;IAExB,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAE1B,6BAA6B,CAAC,EAAE,OAAO,CAAA;CAC1C;AAED,MAAM,WAAW,qBAAqB;IAElC,IAAI,CAAC,EAAE,qBAAqB,GAAG,YAAY,CAAA;IAE3C,YAAY,CAAC,EAAE,MAAM,CAAA;IAErB,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAE9B,gCAAgC,CAAC,EAAE,OAAO,CAAA;IAE1C,aAAa,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,eAAe;IAE5B,UAAU,EAAE,mBAAmB,CAAA;IAE/B,MAAM,EAAE,yBAAyB,CAAA;CACpC;AAED,MAAM,WAAW,oBAAoB;IAEjC,EAAE,EAAE,OAAO,CAAA;IAEX,UAAU,CAAC,EAAE,iBAAiB,CAAA;IAE9B,OAAO,CAAC,EAAE,OAAO,CAAA;IAEjB,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAA;IAE7B,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAE9B,wBAAwB,CAAC,EAAE,MAAM,CAAA;IAEjC,eAAe,CAAC,EAAE,eAAe,EAAE,CAAA;IAEnC,SAAS,CAAC,EAAE,OAAO,CAAA;CACtB"}

package/dist/lib/types/evaluation.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=evaluation.js.map

package/dist/lib/types/evaluation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluation.js","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":""}

package/dist/lib/utils/collections.d.ts

@@ -0,0 +1,6 @@
+export declare function getOrCreate<K, V>(map: Map<K, V>, key: K, makeDefault: () => V): V;
+export declare function sortedCopyById<T extends {
+    id: string;
+}>(items: T[]): T[];
+export declare function sortedUnique(values: Iterable<string>): string[];
+//# sourceMappingURL=collections.d.ts.map

package/dist/lib/utils/collections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collections.d.ts","sourceRoot":"","sources":["../../../src/lib/utils/collections.ts"],"names":[],"mappings":"AAAA,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAC5B,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EACd,GAAG,EAAE,CAAC,EACN,WAAW,EAAE,MAAM,CAAC,GACrB,CAAC,CASH;AAED,wBAAgB,cAAc,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAIxE;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAE/D"}

package/dist/lib/utils/collections.js

@@ -0,0 +1,18 @@
+export function getOrCreate(map, key, makeDefault) {
+    const existing = map.get(key);
+    if (existing !== undefined) {
+        return existing;
+    }
+    const value = makeDefault();
+    map.set(key, value);
+    return value;
+}
+export function sortedCopyById(items) {
+    return [...items]
+        .map((item) => ({ ...item }))
+        .sort((a, b) => a.id.localeCompare(b.id));
+}
+export function sortedUnique(values) {
+    return Array.from(new Set(values)).sort((a, b) => a.localeCompare(b));
+}
+//# sourceMappingURL=collections.js.map

package/dist/lib/utils/collections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collections.js","sourceRoot":"","sources":["../../../src/lib/utils/collections.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,WAAW,CACvB,GAAc,EACd,GAAM,EACN,WAAoB;IAEpB,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC7B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,QAAQ,CAAA;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,WAAW,EAAE,CAAA;IAC3B,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IACnB,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAA2B,KAAU;IAC/D,OAAO,CAAC,GAAG,KAAK,CAAC;SACZ,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;SAC5B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACjD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAwB;IACjD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;AACzE,CAAC"}

package/dist/lib/utils.d.ts

@@ -0,0 +1,10 @@
+type DefaultValueFactory<K, V> = (key?: K) => V;
+export declare class DefaultMap<K, V> extends Map<K, V> {
+    private mkDefault;
+    private limit;
+    constructor(mkDefault: DefaultValueFactory<K, V>, entries?: Iterable<[K, V]>, limit?: number);
+    get(key: K): V;
+    set(key: K, value: V): this;
+}
+export {};
+//# sourceMappingURL=utils.d.ts.map

package/dist/lib/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/lib/utils.ts"],"names":[],"mappings":"AAAA,KAAK,mBAAmB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAC/C,qBAAa,UAAU,CAAC,CAAC,EAAE,CAAC,CAAE,SAAQ,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3C,OAAO,CAAC,SAAS,CAA2B;IAC5C,OAAO,CAAC,KAAK,CAAQ;gBAGjB,SAAS,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,EACpC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAC1B,KAAK,SAAK;IAYP,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;IAOd,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;CAS9B"}

package/dist/lib/utils.js

@@ -0,0 +1,31 @@
+export class DefaultMap extends Map {
+    mkDefault;
+    limit;
+    constructor(mkDefault, entries, limit = -1) {
+        /**
+         * mkDefault is a function which (optionally) takes one argument, a value passed as the key,
+         * and returns a value which to use if that key is not present in the map. The function may
+         * throw an error if the key is invalid or forbidden to limit the scope of values in the map.
+         */
+        super(entries);
+        this.mkDefault = mkDefault;
+        this.limit = limit;
+    }
+    get(key) {
+        if (!this.has(key)) {
+            this.set(key, this.mkDefault(key));
+        }
+        return super.get(key);
+    }
+    set(key, value) {
+        if (this.limit >= 0 && this.size + 1 >= this.limit) {
+            // Remove the oldest entry when the limit is reached
+            // This implementation uses the first entry, which is the oldest in insertion order
+            const oldestKey = this.keys().next().value;
+            if (oldestKey !== undefined)
+                this.delete(oldestKey);
+        }
+        return super.set(key, value);
+    }
+}
+//# sourceMappingURL=utils.js.map

package/dist/lib/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/lib/utils.ts"],"names":[],"mappings":"AACA,MAAM,OAAO,UAAiB,SAAQ,GAAS;IACnC,SAAS,CAA2B;IACpC,KAAK,CAAQ;IAErB,YACI,SAAoC,EACpC,OAA0B,EAC1B,KAAK,GAAG,CAAC,CAAC;QAEV;;;;WAIG;QACH,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC1B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;IACtB,CAAC;IAEM,GAAG,CAAC,GAAM;QACb,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAA;QACtC,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAA;IAC1B,CAAC;IAEM,GAAG,CAAC,GAAM,EAAE,KAAQ;QACvB,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACjD,oDAAoD;YACpD,mFAAmF;YACnF,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAA;YAC1C,IAAI,SAAS,KAAK,SAAS;gBAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;QACvD,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAChC,CAAC;CACJ"}

package/package.json

@@ -0,0 +1,46 @@
+{
+  "name": "@polintpro/proposit-core",
+  "version": "0.1.1",
+  "description": "Core engine for building and manipulating propositional logic arguments.",
+  "license": "MIT",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/polintpro/proposit-core.git"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "devDependencies": {
+    "@types/node": "^25.2.3",
+    "eslint": "^9.39.2",
+    "globals": "^16.5.0",
+    "prettier": "^3.8.1",
+    "typescript": "^5.9.3",
+    "typescript-eslint": "^8.55.0",
+    "vitest": "^4.0.18"
+  },
+  "dependencies": {
+    "typebox": "^1.1.0"
+  },
+  "scripts": {
+    "build": "pnpm tsc -p tsconfig.build.json",
+    "typecheck": "pnpm tsc -p tsconfig.json",
+    "lint": "pnpm run prettify:check && pnpm eslint .",
+    "prettify": "pnpm prettier -w .",
+    "prettify:check": "pnpm prettier --check .",
+    "test": "pnpm vitest run",
+    "check": "pnpm run typecheck && pnpm run lint && pnpm run test && pnpm run build"
+  }
+}