@proposit/proposit-core 0.12.3 → 1.0.0

package/dist/lib/grammar/types.js

@@ -0,0 +1,82 @@
+// Grammar wire format — TypeBox schemas + derived TypeScript types.
+//
+// proposit-core owns these types. proposit-shared re-exports them from
+// `@proposit/shared/schemas/grammar` for consumer ergonomics; server and
+// mobile may import from either repo. The 422 response envelope that
+// composes ViolationSchema lives in shared (`@proposit/shared/schemas/api/grammar-violations`).
+//
+// The four grammar tiers form a strict subset chain
+// (Structural ⊇ Evaluable ⊇ Derivable ⊇ Presentable). See
+// docs/Proposit_Grammar.md §2 for the model and §3 for the per-rule
+// inventory.
+//
+// Codes 'E-2' and 'D-7' are intentionally absent — those rules were
+// promoted/restated in the spec (E-2 → S-13 per §4.2; D-7 → E-6 per
+// §4.3) and their codes are reserved (not reused) so historical
+// references remain unambiguous. Adding or renaming a rule code is a
+// single-repo coordinated change (TypeScript catches drift between
+// rule-identifier strings and validator implementations at build time).
+import Type, {} from "typebox";
+// -- Tier --
+export const GrammarTierSchema = Type.Union([
+    Type.Literal("structural"),
+    Type.Literal("evaluable"),
+    Type.Literal("derivable"),
+    Type.Literal("presentable"),
+]);
+// -- Rule code --
+export const GrammarRuleCodeSchema = Type.Union([
+    // Structural (S-1..S-14)
+    Type.Literal("S-1"),
+    Type.Literal("S-2"),
+    Type.Literal("S-3"),
+    Type.Literal("S-4"),
+    Type.Literal("S-5"),
+    Type.Literal("S-6"),
+    Type.Literal("S-7"),
+    Type.Literal("S-8"),
+    Type.Literal("S-9"),
+    Type.Literal("S-10"),
+    Type.Literal("S-11"),
+    Type.Literal("S-12"),
+    Type.Literal("S-13"),
+    Type.Literal("S-14"),
+    // Evaluable (E-1, E-3..E-7 — 'E-2' reserved)
+    Type.Literal("E-1"),
+    Type.Literal("E-3"),
+    Type.Literal("E-4"),
+    Type.Literal("E-5"),
+    Type.Literal("E-6"),
+    Type.Literal("E-7"),
+    // Derivable (D-1..D-6 — 'D-7' reserved)
+    Type.Literal("D-1"),
+    Type.Literal("D-2"),
+    Type.Literal("D-3"),
+    Type.Literal("D-4"),
+    Type.Literal("D-5"),
+    Type.Literal("D-6"),
+    // Presentable (P-1..P-5)
+    Type.Literal("P-1"),
+    Type.Literal("P-2"),
+    Type.Literal("P-3"),
+    Type.Literal("P-4"),
+    Type.Literal("P-5"),
+]);
+// -- Violation --
+// `tier` and `code` are constrained unions. `message` is a human-readable
+// string the UI may localize/replace. The locator fields are all optional
+// because some rules apply argument-wide and have no per-entity locator.
+// `additionalProperties: true` reserves an extension slot for rule-specific
+// context fields the validator may attach (e.g., D-3 might attach
+// `mixedCitationCount`/`mixedAxiomCount` for UI rendering — see spec §7.1).
+export const ViolationSchema = Type.Object({
+    tier: GrammarTierSchema,
+    code: GrammarRuleCodeSchema,
+    message: Type.String(),
+    argumentId: Type.Optional(Type.String()),
+    premiseId: Type.Optional(Type.String()),
+    expressionId: Type.Optional(Type.String()),
+    variableId: Type.Optional(Type.String()),
+    claimId: Type.Optional(Type.String()),
+}, { additionalProperties: true });
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/lib/grammar/types.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,EAAE;AACF,uEAAuE;AACvE,yEAAyE;AACzE,qEAAqE;AACrE,gGAAgG;AAChG,EAAE;AACF,oDAAoD;AACpD,0DAA0D;AAC1D,oEAAoE;AACpE,aAAa;AACb,EAAE;AACF,oEAAoE;AACpE,oEAAoE;AACpE,gEAAgE;AAChE,qEAAqE;AACrE,mEAAmE;AACnE,wEAAwE;AAExE,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAE3C,aAAa;AAEb,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;CAC9B,CAAC,CAAA;AAIF,kBAAkB;AAElB,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5C,yBAAyB;IACzB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IACpB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IACpB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IACpB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IACpB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IACpB,6CAA6C;IAC7C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,wCAAwC;IACxC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,yBAAyB;IACzB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;CACtB,CAAC,CAAA;AAIF,kBAAkB;AAElB,0EAA0E;AAC1E,0EAA0E;AAC1E,yEAAyE;AACzE,4EAA4E;AAC5E,kEAAkE;AAClE,4EAA4E;AAC5E,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CACtC;IACI,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,qBAAqB;IAC3B,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACxC,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;IACxC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACxC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA"}

package/dist/lib/grammar/validate.d.ts

@@ -0,0 +1,4 @@
+import type { TGrammarTier, TViolation } from "./types.js";
+import type { TValidatorContext } from "./validators/context.js";
+export declare function validate(tier: TGrammarTier, ctx: TValidatorContext): readonly TViolation[];
+//# sourceMappingURL=validate.d.ts.map

package/dist/lib/grammar/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/validate.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAC1D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAMhE,wBAAgB,QAAQ,CACpB,IAAI,EAAE,YAAY,EAClB,GAAG,EAAE,iBAAiB,GACvB,SAAS,UAAU,EAAE,CAQvB"}

package/dist/lib/grammar/validate.js

@@ -0,0 +1,28 @@
+// Dispatcher per spec §7.1. Returns the union of violations across all
+// tiers up to and including the requested tier (Structural is the most
+// permissive tier; Presentable the strictest):
+//
+//   validate('structural')  → Structural violations only.
+//   validate('evaluable')   → Structural + Evaluable.
+//   validate('derivable')   → Structural + Evaluable + Derivable.
+//   validate('presentable') → Structural + Evaluable + Derivable + Presentable.
+//
+// Never throws on grammar issues; only throws on invalid arguments that
+// prevent dispatch.
+import { validateStructural } from "./validators/structural.js";
+import { validateEvaluable } from "./validators/evaluable.js";
+import { validateDerivable } from "./validators/derivable.js";
+import { validatePresentable } from "./validators/presentable.js";
+export function validate(tier, ctx) {
+    const structural = validateStructural(ctx);
+    if (tier === "structural")
+        return structural;
+    const evaluable = [...structural, ...validateEvaluable(ctx)];
+    if (tier === "evaluable")
+        return evaluable;
+    const derivable = [...evaluable, ...validateDerivable(ctx)];
+    if (tier === "derivable")
+        return derivable;
+    return [...derivable, ...validatePresentable(ctx)];
+}
+//# sourceMappingURL=validate.js.map

package/dist/lib/grammar/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../src/lib/grammar/validate.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,uEAAuE;AACvE,+CAA+C;AAC/C,EAAE;AACF,0DAA0D;AAC1D,sDAAsD;AACtD,kEAAkE;AAClE,gFAAgF;AAChF,EAAE;AACF,wEAAwE;AACxE,oBAAoB;AAIpB,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAA;AAEjE,MAAM,UAAU,QAAQ,CACpB,IAAkB,EAClB,GAAsB;IAEtB,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAA;IAC1C,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,UAAU,CAAA;IAC5C,MAAM,SAAS,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAA;IAC5D,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAA;IAC1C,MAAM,SAAS,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAA;IAC3D,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAA;IAC1C,OAAO,CAAC,GAAG,SAAS,EAAE,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAA;AACtD,CAAC"}

package/dist/lib/grammar/validators/context.d.ts

@@ -0,0 +1,11 @@
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreClaim } from "../../schemata/index.js";
+import type { TCoreArgumentRoleState } from "../../types/evaluation.js";
+export type TValidatorContext = {
+    argument: TCoreArgument;
+    premises: readonly TCorePremise[];
+    expressions: readonly TCorePropositionalExpression[];
+    variables: readonly TCorePropositionalVariable[];
+    claims: readonly TCoreClaim[];
+    roleState: TCoreArgumentRoleState;
+};
+//# sourceMappingURL=context.d.ts.map

package/dist/lib/grammar/validators/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../../src/lib/grammar/validators/context.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,UAAU,EACb,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAEvE,MAAM,MAAM,iBAAiB,GAAG;IAC5B,QAAQ,EAAE,aAAa,CAAA;IACvB,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAA;IACpD,SAAS,EAAE,SAAS,0BAA0B,EAAE,CAAA;IAChD,MAAM,EAAE,SAAS,UAAU,EAAE,CAAA;IAC7B,SAAS,EAAE,sBAAsB,CAAA;CACpC,CAAA"}

package/dist/lib/grammar/validators/context.js

@@ -0,0 +1,5 @@
+// Pure data view consumed by every tier's validators. No engine references.
+// Built by ArgumentEngine.validate() (Phase C) before delegating to the
+// dispatcher in src/lib/grammar/validate.ts.
+export {};
+//# sourceMappingURL=context.js.map

package/dist/lib/grammar/validators/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../../src/lib/grammar/validators/context.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,wEAAwE;AACxE,6CAA6C"}

package/dist/lib/grammar/validators/derivable.d.ts

@@ -0,0 +1,63 @@
+import type { TViolation } from "../types.js";
+import type { TValidatorContext } from "./context.js";
+/**
+ * D-1 — Derivation premise canonical shape. Every `type='derivation'`
+ * premise's tree matches one of two canonical forms:
+ *
+ * - **Naked-Q**: a single `variable` expression at the root, bound to
+ *   `derivedClaimId`.
+ * - **Populated**: root `IMPLIES` with consequent at position 1 (variable
+ *   bound to `derivedClaimId`); antecedent at position 0, after peeling
+ *   formula buffers, is either a single claim-bound variable
+ *   (citation/axiomatic) — see D-2 — or an `OR` whose children (each
+ *   peeled of formulas) are all claim-bound variables of the same
+ *   grounding type. IFF at root fails D-1 (Structurally allowed per
+ *   S-14; D-1 narrows derivation premise root to IMPLIES).
+ *
+ * Wrong-root-operator cases (and/or/not/formula at root) are already
+ * caught by Structural S-14; D-1 silently skips them.
+ */
+export declare function validateD1(ctx: TValidatorContext): readonly TViolation[];
+/**
+ * D-2 — Single-citation derivation form. If a derivation premise has a
+ * populated form whose antecedent (peeled of formula buffers) is an `OR`
+ * with exactly one child (also peeled of formulas), that's wrong — the
+ * canonical single-grounding form is `IMPLIES(claim-var, Q)` without the
+ * `OR` wrapper.
+ *
+ * Note: a 1-child `OR` also fails E-1 (variadic ≥ 2) and P-4
+ * (single-child binary). D-2 is the Derivable-tier UI hint specifically
+ * naming the "drop the OR wrapper" remediation.
+ */
+export declare function validateD2(ctx: TValidatorContext): readonly TViolation[];
+/**
+ * D-3 — No mixing axioms and citations in one derivation. For each
+ * derivation premise's populated form, collect all claim-bound variables
+ * in the antecedent subtree. If they bind to claims of more than one
+ * grounding type (citation vs axiomatic), emit D-3.
+ *
+ * Formula nodes are traversed transparently by
+ * `collectVariableExpressionsInSubtree`'s plain DFS descent — no
+ * explicit `peelFormulas` call needed for D-3, since the DFS visits
+ * formula descendants like any other node and the variable collector
+ * picks up the claim-bound variables regardless of nesting depth.
+ */
+export declare function validateD3(ctx: TValidatorContext): readonly TViolation[];
+/**
+ * D-4 — Axiomatic claim placement. Variables bound to `type='axiomatic'`
+ * claims appear only in the antecedent of a derivation premise, never in
+ * freeform premises and never in a derivation premise's consequent slot.
+ */
+export declare function validateD4(ctx: TValidatorContext): readonly TViolation[];
+/**
+ * D-5 — Citation claim placement. Mirror of D-4 for citation claims.
+ */
+export declare function validateD5(ctx: TValidatorContext): readonly TViolation[];
+/**
+ * D-6 — Derivation premise role. Every `type='derivation'` premise has
+ * `role='supporting'` — concretely, `roleState.conclusionPremiseId !==
+ * premise.id`.
+ */
+export declare function validateD6(ctx: TValidatorContext): readonly TViolation[];
+export declare function validateDerivable(ctx: TValidatorContext): readonly TViolation[];
+//# sourceMappingURL=derivable.d.ts.map

package/dist/lib/grammar/validators/derivable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivable.d.ts","sourceRoot":"","sources":["../../../../src/lib/grammar/validators/derivable.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AA4HrD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAiHxE;AA8CD;;;;;;;;;;GAUG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CA+BxE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAuCxE;AAyFD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAExE;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAExE;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,iBAAiB,GAAG,SAAS,UAAU,EAAE,CAexE;AAID,wBAAgB,iBAAiB,CAC7B,GAAG,EAAE,iBAAiB,GACvB,SAAS,UAAU,EAAE,CASvB"}