document-content-model 4.3.3 → 7.6.0

package/dist/{math-BlG8Tjk-.d.cts → math-BScHxedi.d.cts}

@@ -158,53 +158,136 @@ declare const MathUnparsedSchema: z.ZodObject<{
 }, z.core.$strip>;
 type MathUnparsed = z.infer<typeof MathUnparsedSchema>;
 interface MathApp {
-  kind: 'app';
+  kind: "app";
   operator: string;
   args: MathExpression[];
 }
 interface MathSum {
-  kind: 'sum';
+  kind: "sum";
   binder: string;
   lower: MathExpression;
   upper: MathExpression;
   body: MathExpression;
 }
 interface MathProd {
-  kind: 'prod';
+  kind: "prod";
   binder: string;
   lower: MathExpression;
   upper: MathExpression;
   body: MathExpression;
 }
 interface MathMatrix {
-  kind: 'matrix';
+  kind: "matrix";
   rows: MathExpression[][];
 }
 type MathExpression = MathNum | MathQty | MathSym | MathApp | MathSum | MathProd | MathMatrix | MathUnparsed;
 declare function isMathExpression(value: unknown): value is MathExpression;
-declare const MathExpressionSchema: z.ZodCustom<MathExpression, MathExpression>;
 declare const MathAppSchema: z.ZodObject<{
   kind: z.ZodLiteral<"app">;
   operator: z.ZodString;
-  args: z.ZodArray<z.ZodCustom<MathExpression, MathExpression>>;
+  args: z.ZodLazy<z.ZodArray<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>>;
 }, z.core.$strip>;
 declare const MathSumSchema: z.ZodObject<{
   binder: z.ZodString;
-  lower: z.ZodCustom<MathExpression, MathExpression>;
-  upper: z.ZodCustom<MathExpression, MathExpression>;
-  body: z.ZodCustom<MathExpression, MathExpression>;
+  lower: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
+  upper: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
+  body: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
   kind: z.ZodLiteral<"sum">;
 }, z.core.$strip>;
 declare const MathProdSchema: z.ZodObject<{
   binder: z.ZodString;
-  lower: z.ZodCustom<MathExpression, MathExpression>;
-  upper: z.ZodCustom<MathExpression, MathExpression>;
-  body: z.ZodCustom<MathExpression, MathExpression>;
+  lower: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
+  upper: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
+  body: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
   kind: z.ZodLiteral<"prod">;
 }, z.core.$strip>;
 declare const MathMatrixSchema: z.ZodObject<{
   kind: z.ZodLiteral<"matrix">;
-  rows: z.ZodArray<z.ZodArray<z.ZodCustom<MathExpression, MathExpression>>>;
+  rows: z.ZodLazy<z.ZodArray<z.ZodArray<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>>>;
 }, z.core.$strip>;
+declare const MathExpressionSchema: z.ZodType<MathExpression, MathExpression>;
+declare const QuantitySchema: z.ZodObject<{
+  kind: z.ZodLiteral<"quantity">;
+  magnitude: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>;
+type Quantity = z.infer<typeof QuantitySchema>;
+declare const IntervalSchema: z.ZodObject<{
+  kind: z.ZodLiteral<"interval">;
+  min: z.ZodNumber;
+  max: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>;
+type Interval = z.infer<typeof IntervalSchema>;
+declare const EvaluationValueSchema: z.ZodUnion<readonly [z.ZodObject<{
+  kind: z.ZodLiteral<"quantity">;
+  magnitude: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+  kind: z.ZodLiteral<"interval">;
+  min: z.ZodNumber;
+  max: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>]>;
+type EvaluationValue = z.infer<typeof EvaluationValueSchema>;
+declare const FormulaBindingsSchema: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+  kind: z.ZodLiteral<"quantity">;
+  magnitude: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+  kind: z.ZodLiteral<"interval">;
+  min: z.ZodNumber;
+  max: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>]>>;
+type FormulaBindings = z.infer<typeof FormulaBindingsSchema>;
 //#endregion
-export { MathUncertaintySchema as A, MathSum as C, MathSymbolEntry as D, MathSymSchema as E, SI_BASE_DIMENSIONS as F, SiBaseDimension as I, SymbolTable as L, MathUnitSchema as M, MathUnparsed as N, MathSymbolEntrySchema as O, MathUnparsedSchema as P, SymbolTableSchema as R, MathQtySchema as S, MathSym as T, MathProd as _, MathApp as a, MathProvenanceSchema as b, MathExpressionSchema as c, MathNormalisationContext as d, MathNormalisationContextSchema as f, MathPresentationSchema as g, MathPresentation as h, ExactRationalSchema as i, MathUnit as j, MathUncertainty as k, MathMatrix as l, MathNumSchema as m, DimensionVectorSchema as n, MathAppSchema as o, MathNum as p, ExactRational as r, MathExpression as s, DimensionVector as t, MathMatrixSchema as u, MathProdSchema as v, MathSumSchema as w, MathQty as x, MathProvenance as y, isMathExpression as z };
+export { MathSumSchema as A, MathUnparsedSchema as B, MathProd as C, MathQty as D, MathProvenanceSchema as E, MathUncertainty as F, SymbolTable as G, QuantitySchema as H, MathUncertaintySchema as I, SymbolTableSchema as K, MathUnit as L, MathSymSchema as M, MathSymbolEntry as N, MathQtySchema as O, MathSymbolEntrySchema as P, MathUnitSchema as R, MathPresentationSchema as S, MathProvenance as T, SI_BASE_DIMENSIONS as U, Quantity as V, SiBaseDimension as W, MathNormalisationContext as _, ExactRational as a, MathNumSchema as b, FormulaBindingsSchema as c, MathApp as d, MathAppSchema as f, MathMatrixSchema as g, MathMatrix as h, EvaluationValueSchema as i, MathSym as j, MathSum as k, Interval as l, MathExpressionSchema as m, DimensionVectorSchema as n, ExactRationalSchema as o, MathExpression as p, isMathExpression as q, EvaluationValue as r, FormulaBindings as s, DimensionVector as t, IntervalSchema as u, MathNormalisationContextSchema as v, MathProdSchema as w, MathPresentation as x, MathNum as y, MathUnparsed as z };

package/dist/{math-BlG8Tjk-.d.ts → math-BScHxedi.d.ts}

@@ -158,53 +158,136 @@ declare const MathUnparsedSchema: z.ZodObject<{
 }, z.core.$strip>;
 type MathUnparsed = z.infer<typeof MathUnparsedSchema>;
 interface MathApp {
-  kind: 'app';
+  kind: "app";
   operator: string;
   args: MathExpression[];
 }
 interface MathSum {
-  kind: 'sum';
+  kind: "sum";
   binder: string;
   lower: MathExpression;
   upper: MathExpression;
   body: MathExpression;
 }
 interface MathProd {
-  kind: 'prod';
+  kind: "prod";
   binder: string;
   lower: MathExpression;
   upper: MathExpression;
   body: MathExpression;
 }
 interface MathMatrix {
-  kind: 'matrix';
+  kind: "matrix";
   rows: MathExpression[][];
 }
 type MathExpression = MathNum | MathQty | MathSym | MathApp | MathSum | MathProd | MathMatrix | MathUnparsed;
 declare function isMathExpression(value: unknown): value is MathExpression;
-declare const MathExpressionSchema: z.ZodCustom<MathExpression, MathExpression>;
 declare const MathAppSchema: z.ZodObject<{
   kind: z.ZodLiteral<"app">;
   operator: z.ZodString;
-  args: z.ZodArray<z.ZodCustom<MathExpression, MathExpression>>;
+  args: z.ZodLazy<z.ZodArray<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>>;
 }, z.core.$strip>;
 declare const MathSumSchema: z.ZodObject<{
   binder: z.ZodString;
-  lower: z.ZodCustom<MathExpression, MathExpression>;
-  upper: z.ZodCustom<MathExpression, MathExpression>;
-  body: z.ZodCustom<MathExpression, MathExpression>;
+  lower: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
+  upper: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
+  body: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
   kind: z.ZodLiteral<"sum">;
 }, z.core.$strip>;
 declare const MathProdSchema: z.ZodObject<{
   binder: z.ZodString;
-  lower: z.ZodCustom<MathExpression, MathExpression>;
-  upper: z.ZodCustom<MathExpression, MathExpression>;
-  body: z.ZodCustom<MathExpression, MathExpression>;
+  lower: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
+  upper: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
+  body: z.ZodLazy<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>;
   kind: z.ZodLiteral<"prod">;
 }, z.core.$strip>;
 declare const MathMatrixSchema: z.ZodObject<{
   kind: z.ZodLiteral<"matrix">;
-  rows: z.ZodArray<z.ZodArray<z.ZodCustom<MathExpression, MathExpression>>>;
+  rows: z.ZodLazy<z.ZodArray<z.ZodArray<z.ZodType<MathExpression, MathExpression, z.core.$ZodTypeInternals<MathExpression, MathExpression>>>>>;
 }, z.core.$strip>;
+declare const MathExpressionSchema: z.ZodType<MathExpression, MathExpression>;
+declare const QuantitySchema: z.ZodObject<{
+  kind: z.ZodLiteral<"quantity">;
+  magnitude: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>;
+type Quantity = z.infer<typeof QuantitySchema>;
+declare const IntervalSchema: z.ZodObject<{
+  kind: z.ZodLiteral<"interval">;
+  min: z.ZodNumber;
+  max: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>;
+type Interval = z.infer<typeof IntervalSchema>;
+declare const EvaluationValueSchema: z.ZodUnion<readonly [z.ZodObject<{
+  kind: z.ZodLiteral<"quantity">;
+  magnitude: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+  kind: z.ZodLiteral<"interval">;
+  min: z.ZodNumber;
+  max: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>]>;
+type EvaluationValue = z.infer<typeof EvaluationValueSchema>;
+declare const FormulaBindingsSchema: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodObject<{
+  kind: z.ZodLiteral<"quantity">;
+  magnitude: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+  kind: z.ZodLiteral<"interval">;
+  min: z.ZodNumber;
+  max: z.ZodNumber;
+  dimension: z.ZodRecord<z.ZodEnum<{
+    length: "length";
+    mass: "mass";
+    time: "time";
+    electricCurrent: "electricCurrent";
+    thermodynamicTemperature: "thermodynamicTemperature";
+    amountOfSubstance: "amountOfSubstance";
+    luminousIntensity: "luminousIntensity";
+  }> & z.core.$partial, z.ZodNumber>;
+}, z.core.$strip>]>>;
+type FormulaBindings = z.infer<typeof FormulaBindingsSchema>;
 //#endregion
-export { MathUncertaintySchema as A, MathSum as C, MathSymbolEntry as D, MathSymSchema as E, SI_BASE_DIMENSIONS as F, SiBaseDimension as I, SymbolTable as L, MathUnitSchema as M, MathUnparsed as N, MathSymbolEntrySchema as O, MathUnparsedSchema as P, SymbolTableSchema as R, MathQtySchema as S, MathSym as T, MathProd as _, MathApp as a, MathProvenanceSchema as b, MathExpressionSchema as c, MathNormalisationContext as d, MathNormalisationContextSchema as f, MathPresentationSchema as g, MathPresentation as h, ExactRationalSchema as i, MathUnit as j, MathUncertainty as k, MathMatrix as l, MathNumSchema as m, DimensionVectorSchema as n, MathAppSchema as o, MathNum as p, ExactRational as r, MathExpression as s, DimensionVector as t, MathMatrixSchema as u, MathProdSchema as v, MathSumSchema as w, MathQty as x, MathProvenance as y, isMathExpression as z };
+export { MathSumSchema as A, MathUnparsedSchema as B, MathProd as C, MathQty as D, MathProvenanceSchema as E, MathUncertainty as F, SymbolTable as G, QuantitySchema as H, MathUncertaintySchema as I, SymbolTableSchema as K, MathUnit as L, MathSymSchema as M, MathSymbolEntry as N, MathQtySchema as O, MathSymbolEntrySchema as P, MathUnitSchema as R, MathPresentationSchema as S, MathProvenance as T, SI_BASE_DIMENSIONS as U, Quantity as V, SiBaseDimension as W, MathNormalisationContext as _, ExactRational as a, MathNumSchema as b, FormulaBindingsSchema as c, MathApp as d, MathAppSchema as f, MathMatrixSchema as g, MathMatrix as h, EvaluationValueSchema as i, MathSym as j, MathSum as k, Interval as l, MathExpressionSchema as m, DimensionVectorSchema as n, ExactRationalSchema as o, MathExpression as p, isMathExpression as q, EvaluationValue as r, FormulaBindings as s, DimensionVector as t, IntervalSchema as u, MathNormalisationContextSchema as v, MathProdSchema as w, MathPresentation as x, MathNum as y, MathUnparsed as z };

package/dist/math-layout.d.cts

@@ -2,7 +2,7 @@ import { n as Color } from "./color-AELCDH_b.cjs";
 //#region src/math-layout.d.ts
 type MathColor = Color;
 interface MathGlyphRun {
-  readonly kind: 'glyphs';
+  readonly kind: "glyphs";
   readonly xPt: number;
   readonly yPt: number;
   readonly text: string;
@@ -10,7 +10,7 @@ interface MathGlyphRun {
   readonly color: MathColor;
 }
 interface MathRule {
-  readonly kind: 'rule';
+  readonly kind: "rule";
   readonly xPt: number;
   readonly yPt: number;
   readonly widthPt: number;
@@ -18,7 +18,7 @@ interface MathRule {
   readonly color: MathColor;
 }
 interface MathStroke {
-  readonly kind: 'stroke';
+  readonly kind: "stroke";
   readonly points: readonly {
     readonly xPt: number;
     readonly yPt: number;
@@ -32,7 +32,7 @@ interface MathGlyphPlacement {
   readonly yPt: number;
 }
 interface MathAssembledGlyphs {
-  readonly kind: 'assembled-glyphs';
+  readonly kind: "assembled-glyphs";
   readonly placements: readonly MathGlyphPlacement[];
   readonly text: string;
   readonly sizePt: number;
@@ -53,13 +53,13 @@ interface MathGlyphMetrics {
   readonly inkAscentPt?: number;
   readonly inkDescentPt?: number;
 }
-type MathStretchAxis = 'vertical' | 'horizontal';
+type MathStretchAxis = "vertical" | "horizontal";
 interface MathStretchGlyph {
   readonly glyphId: number;
   readonly offsetPt: number;
 }
 interface MathStretchResult {
-  readonly kind: 'base' | 'variant' | 'assembly';
+  readonly kind: "base" | "variant" | "assembly";
   readonly sizePt: number;
   readonly advanceWidthPt: number;
   readonly inkAscentPt: number;

package/dist/math-layout.d.ts

@@ -2,7 +2,7 @@ import { n as Color } from "./color-AELCDH_b.js";
 //#region src/math-layout.d.ts
 type MathColor = Color;
 interface MathGlyphRun {
-  readonly kind: 'glyphs';
+  readonly kind: "glyphs";
   readonly xPt: number;
   readonly yPt: number;
   readonly text: string;
@@ -10,7 +10,7 @@ interface MathGlyphRun {
   readonly color: MathColor;
 }
 interface MathRule {
-  readonly kind: 'rule';
+  readonly kind: "rule";
   readonly xPt: number;
   readonly yPt: number;
   readonly widthPt: number;
@@ -18,7 +18,7 @@ interface MathRule {
   readonly color: MathColor;
 }
 interface MathStroke {
-  readonly kind: 'stroke';
+  readonly kind: "stroke";
   readonly points: readonly {
     readonly xPt: number;
     readonly yPt: number;
@@ -32,7 +32,7 @@ interface MathGlyphPlacement {
   readonly yPt: number;
 }
 interface MathAssembledGlyphs {
-  readonly kind: 'assembled-glyphs';
+  readonly kind: "assembled-glyphs";
   readonly placements: readonly MathGlyphPlacement[];
   readonly text: string;
   readonly sizePt: number;
@@ -53,13 +53,13 @@ interface MathGlyphMetrics {
   readonly inkAscentPt?: number;
   readonly inkDescentPt?: number;
 }
-type MathStretchAxis = 'vertical' | 'horizontal';
+type MathStretchAxis = "vertical" | "horizontal";
 interface MathStretchGlyph {
   readonly glyphId: number;
   readonly offsetPt: number;
 }
 interface MathStretchResult {
-  readonly kind: 'base' | 'variant' | 'assembly';
+  readonly kind: "base" | "variant" | "assembly";
   readonly sizePt: number;
   readonly advanceWidthPt: number;
   readonly inkAscentPt: number;

package/dist/math.cjs

@@ -105,17 +105,16 @@ function isMathExpression(value) {
 	if (kind === "unparsed") return typeof value.latex === "string";
 	return false;
 }
-const MathExpressionSchema = zod.z.custom(isMathExpression);
 const MathAppSchema = zod.z.object({
 	kind: zod.z.literal("app"),
 	operator: zod.z.string(),
-	args: zod.z.array(MathExpressionSchema)
+	args: zod.z.lazy(() => zod.z.array(MathExpressionSchema))
 });
 const BINDER_SCHEMA_FIELDS = {
 	binder: zod.z.string(),
-	lower: MathExpressionSchema,
-	upper: MathExpressionSchema,
-	body: MathExpressionSchema
+	lower: zod.z.lazy(() => MathExpressionSchema),
+	upper: zod.z.lazy(() => MathExpressionSchema),
+	body: zod.z.lazy(() => MathExpressionSchema)
 };
 const MathSumSchema = zod.z.object({
 	kind: zod.z.literal("sum"),
@@ -127,11 +126,37 @@ const MathProdSchema = zod.z.object({
 });
 const MathMatrixSchema = zod.z.object({
 	kind: zod.z.literal("matrix"),
-	rows: zod.z.array(zod.z.array(MathExpressionSchema))
+	rows: zod.z.lazy(() => zod.z.array(zod.z.array(MathExpressionSchema)))
 }).refine((matrix) => new Set(matrix.rows.map((row) => row.length)).size <= 1, { message: "matrix rows must all have the same number of columns" });
+const MathExpressionSchema = zod.z.discriminatedUnion("kind", [
+	MathNumSchema,
+	MathQtySchema,
+	MathSymSchema,
+	MathAppSchema,
+	MathSumSchema,
+	MathProdSchema,
+	MathMatrixSchema,
+	MathUnparsedSchema
+]);
+const QuantitySchema = zod.z.object({
+	kind: zod.z.literal("quantity"),
+	magnitude: zod.z.number(),
+	dimension: DimensionVectorSchema
+});
+const IntervalSchema = zod.z.object({
+	kind: zod.z.literal("interval"),
+	min: zod.z.number(),
+	max: zod.z.number(),
+	dimension: DimensionVectorSchema
+}).refine((value) => value.min <= value.max, { message: "interval min must not exceed max" });
+const EvaluationValueSchema = zod.z.union([QuantitySchema, IntervalSchema]);
+const FormulaBindingsSchema = zod.z.record(zod.z.string(), EvaluationValueSchema);
 //#endregion
 exports.DimensionVectorSchema = DimensionVectorSchema;
+exports.EvaluationValueSchema = EvaluationValueSchema;
 exports.ExactRationalSchema = ExactRationalSchema;
+exports.FormulaBindingsSchema = FormulaBindingsSchema;
+exports.IntervalSchema = IntervalSchema;
 exports.MathAppSchema = MathAppSchema;
 exports.MathExpressionSchema = MathExpressionSchema;
 exports.MathMatrixSchema = MathMatrixSchema;
@@ -147,6 +172,7 @@ exports.MathSymbolEntrySchema = MathSymbolEntrySchema;
 exports.MathUncertaintySchema = MathUncertaintySchema;
 exports.MathUnitSchema = MathUnitSchema;
 exports.MathUnparsedSchema = MathUnparsedSchema;
+exports.QuantitySchema = QuantitySchema;
 exports.SI_BASE_DIMENSIONS = SI_BASE_DIMENSIONS;
 exports.SymbolTableSchema = SymbolTableSchema;
 exports.isMathExpression = isMathExpression;

package/dist/math.d.cts

@@ -1,2 +1,2 @@
-import { A as MathUncertaintySchema, C as MathSum, D as MathSymbolEntry, E as MathSymSchema, F as SI_BASE_DIMENSIONS, I as SiBaseDimension, L as SymbolTable, M as MathUnitSchema, N as MathUnparsed, O as MathSymbolEntrySchema, P as MathUnparsedSchema, R as SymbolTableSchema, S as MathQtySchema, T as MathSym, _ as MathProd, a as MathApp, b as MathProvenanceSchema, c as MathExpressionSchema, d as MathNormalisationContext, f as MathNormalisationContextSchema, g as MathPresentationSchema, h as MathPresentation, i as ExactRationalSchema, j as MathUnit, k as MathUncertainty, l as MathMatrix, m as MathNumSchema, n as DimensionVectorSchema, o as MathAppSchema, p as MathNum, r as ExactRational, s as MathExpression, t as DimensionVector, u as MathMatrixSchema, v as MathProdSchema, w as MathSumSchema, x as MathQty, y as MathProvenance, z as isMathExpression } from "./math-BlG8Tjk-.cjs";
-export { DimensionVector, DimensionVectorSchema, ExactRational, ExactRationalSchema, MathApp, MathAppSchema, MathExpression, MathExpressionSchema, MathMatrix, MathMatrixSchema, MathNormalisationContext, MathNormalisationContextSchema, MathNum, MathNumSchema, MathPresentation, MathPresentationSchema, MathProd, MathProdSchema, MathProvenance, MathProvenanceSchema, MathQty, MathQtySchema, MathSum, MathSumSchema, MathSym, MathSymSchema, MathSymbolEntry, MathSymbolEntrySchema, MathUncertainty, MathUncertaintySchema, MathUnit, MathUnitSchema, MathUnparsed, MathUnparsedSchema, SI_BASE_DIMENSIONS, SiBaseDimension, SymbolTable, SymbolTableSchema, isMathExpression };
+import { A as MathSumSchema, B as MathUnparsedSchema, C as MathProd, D as MathQty, E as MathProvenanceSchema, F as MathUncertainty, G as SymbolTable, H as QuantitySchema, I as MathUncertaintySchema, K as SymbolTableSchema, L as MathUnit, M as MathSymSchema, N as MathSymbolEntry, O as MathQtySchema, P as MathSymbolEntrySchema, R as MathUnitSchema, S as MathPresentationSchema, T as MathProvenance, U as SI_BASE_DIMENSIONS, V as Quantity, W as SiBaseDimension, _ as MathNormalisationContext, a as ExactRational, b as MathNumSchema, c as FormulaBindingsSchema, d as MathApp, f as MathAppSchema, g as MathMatrixSchema, h as MathMatrix, i as EvaluationValueSchema, j as MathSym, k as MathSum, l as Interval, m as MathExpressionSchema, n as DimensionVectorSchema, o as ExactRationalSchema, p as MathExpression, q as isMathExpression, r as EvaluationValue, s as FormulaBindings, t as DimensionVector, u as IntervalSchema, v as MathNormalisationContextSchema, w as MathProdSchema, x as MathPresentation, y as MathNum, z as MathUnparsed } from "./math-BScHxedi.cjs";
+export { DimensionVector, DimensionVectorSchema, EvaluationValue, EvaluationValueSchema, ExactRational, ExactRationalSchema, FormulaBindings, FormulaBindingsSchema, Interval, IntervalSchema, MathApp, MathAppSchema, MathExpression, MathExpressionSchema, MathMatrix, MathMatrixSchema, MathNormalisationContext, MathNormalisationContextSchema, MathNum, MathNumSchema, MathPresentation, MathPresentationSchema, MathProd, MathProdSchema, MathProvenance, MathProvenanceSchema, MathQty, MathQtySchema, MathSum, MathSumSchema, MathSym, MathSymSchema, MathSymbolEntry, MathSymbolEntrySchema, MathUncertainty, MathUncertaintySchema, MathUnit, MathUnitSchema, MathUnparsed, MathUnparsedSchema, Quantity, QuantitySchema, SI_BASE_DIMENSIONS, SiBaseDimension, SymbolTable, SymbolTableSchema, isMathExpression };

package/dist/math.d.ts

@@ -1,2 +1,2 @@
-import { A as MathUncertaintySchema, C as MathSum, D as MathSymbolEntry, E as MathSymSchema, F as SI_BASE_DIMENSIONS, I as SiBaseDimension, L as SymbolTable, M as MathUnitSchema, N as MathUnparsed, O as MathSymbolEntrySchema, P as MathUnparsedSchema, R as SymbolTableSchema, S as MathQtySchema, T as MathSym, _ as MathProd, a as MathApp, b as MathProvenanceSchema, c as MathExpressionSchema, d as MathNormalisationContext, f as MathNormalisationContextSchema, g as MathPresentationSchema, h as MathPresentation, i as ExactRationalSchema, j as MathUnit, k as MathUncertainty, l as MathMatrix, m as MathNumSchema, n as DimensionVectorSchema, o as MathAppSchema, p as MathNum, r as ExactRational, s as MathExpression, t as DimensionVector, u as MathMatrixSchema, v as MathProdSchema, w as MathSumSchema, x as MathQty, y as MathProvenance, z as isMathExpression } from "./math-BlG8Tjk-.js";
-export { DimensionVector, DimensionVectorSchema, ExactRational, ExactRationalSchema, MathApp, MathAppSchema, MathExpression, MathExpressionSchema, MathMatrix, MathMatrixSchema, MathNormalisationContext, MathNormalisationContextSchema, MathNum, MathNumSchema, MathPresentation, MathPresentationSchema, MathProd, MathProdSchema, MathProvenance, MathProvenanceSchema, MathQty, MathQtySchema, MathSum, MathSumSchema, MathSym, MathSymSchema, MathSymbolEntry, MathSymbolEntrySchema, MathUncertainty, MathUncertaintySchema, MathUnit, MathUnitSchema, MathUnparsed, MathUnparsedSchema, SI_BASE_DIMENSIONS, SiBaseDimension, SymbolTable, SymbolTableSchema, isMathExpression };
+import { A as MathSumSchema, B as MathUnparsedSchema, C as MathProd, D as MathQty, E as MathProvenanceSchema, F as MathUncertainty, G as SymbolTable, H as QuantitySchema, I as MathUncertaintySchema, K as SymbolTableSchema, L as MathUnit, M as MathSymSchema, N as MathSymbolEntry, O as MathQtySchema, P as MathSymbolEntrySchema, R as MathUnitSchema, S as MathPresentationSchema, T as MathProvenance, U as SI_BASE_DIMENSIONS, V as Quantity, W as SiBaseDimension, _ as MathNormalisationContext, a as ExactRational, b as MathNumSchema, c as FormulaBindingsSchema, d as MathApp, f as MathAppSchema, g as MathMatrixSchema, h as MathMatrix, i as EvaluationValueSchema, j as MathSym, k as MathSum, l as Interval, m as MathExpressionSchema, n as DimensionVectorSchema, o as ExactRationalSchema, p as MathExpression, q as isMathExpression, r as EvaluationValue, s as FormulaBindings, t as DimensionVector, u as IntervalSchema, v as MathNormalisationContextSchema, w as MathProdSchema, x as MathPresentation, y as MathNum, z as MathUnparsed } from "./math-BScHxedi.js";
+export { DimensionVector, DimensionVectorSchema, EvaluationValue, EvaluationValueSchema, ExactRational, ExactRationalSchema, FormulaBindings, FormulaBindingsSchema, Interval, IntervalSchema, MathApp, MathAppSchema, MathExpression, MathExpressionSchema, MathMatrix, MathMatrixSchema, MathNormalisationContext, MathNormalisationContextSchema, MathNum, MathNumSchema, MathPresentation, MathPresentationSchema, MathProd, MathProdSchema, MathProvenance, MathProvenanceSchema, MathQty, MathQtySchema, MathSum, MathSumSchema, MathSym, MathSymSchema, MathSymbolEntry, MathSymbolEntrySchema, MathUncertainty, MathUncertaintySchema, MathUnit, MathUnitSchema, MathUnparsed, MathUnparsedSchema, Quantity, QuantitySchema, SI_BASE_DIMENSIONS, SiBaseDimension, SymbolTable, SymbolTableSchema, isMathExpression };

package/dist/math.js

@@ -104,17 +104,16 @@ function isMathExpression(value) {
 	if (kind === "unparsed") return typeof value.latex === "string";
 	return false;
 }
-const MathExpressionSchema = z.custom(isMathExpression);
 const MathAppSchema = z.object({
 	kind: z.literal("app"),
 	operator: z.string(),
-	args: z.array(MathExpressionSchema)
+	args: z.lazy(() => z.array(MathExpressionSchema))
 });
 const BINDER_SCHEMA_FIELDS = {
 	binder: z.string(),
-	lower: MathExpressionSchema,
-	upper: MathExpressionSchema,
-	body: MathExpressionSchema
+	lower: z.lazy(() => MathExpressionSchema),
+	upper: z.lazy(() => MathExpressionSchema),
+	body: z.lazy(() => MathExpressionSchema)
 };
 const MathSumSchema = z.object({
 	kind: z.literal("sum"),
@@ -126,7 +125,30 @@ const MathProdSchema = z.object({
 });
 const MathMatrixSchema = z.object({
 	kind: z.literal("matrix"),
-	rows: z.array(z.array(MathExpressionSchema))
+	rows: z.lazy(() => z.array(z.array(MathExpressionSchema)))
 }).refine((matrix) => new Set(matrix.rows.map((row) => row.length)).size <= 1, { message: "matrix rows must all have the same number of columns" });
+const MathExpressionSchema = z.discriminatedUnion("kind", [
+	MathNumSchema,
+	MathQtySchema,
+	MathSymSchema,
+	MathAppSchema,
+	MathSumSchema,
+	MathProdSchema,
+	MathMatrixSchema,
+	MathUnparsedSchema
+]);
+const QuantitySchema = z.object({
+	kind: z.literal("quantity"),
+	magnitude: z.number(),
+	dimension: DimensionVectorSchema
+});
+const IntervalSchema = z.object({
+	kind: z.literal("interval"),
+	min: z.number(),
+	max: z.number(),
+	dimension: DimensionVectorSchema
+}).refine((value) => value.min <= value.max, { message: "interval min must not exceed max" });
+const EvaluationValueSchema = z.union([QuantitySchema, IntervalSchema]);
+const FormulaBindingsSchema = z.record(z.string(), EvaluationValueSchema);
 //#endregion
-export { DimensionVectorSchema, ExactRationalSchema, MathAppSchema, MathExpressionSchema, MathMatrixSchema, MathNormalisationContextSchema, MathNumSchema, MathPresentationSchema, MathProdSchema, MathProvenanceSchema, MathQtySchema, MathSumSchema, MathSymSchema, MathSymbolEntrySchema, MathUncertaintySchema, MathUnitSchema, MathUnparsedSchema, SI_BASE_DIMENSIONS, SymbolTableSchema, isMathExpression };
+export { DimensionVectorSchema, EvaluationValueSchema, ExactRationalSchema, FormulaBindingsSchema, IntervalSchema, MathAppSchema, MathExpressionSchema, MathMatrixSchema, MathNormalisationContextSchema, MathNumSchema, MathPresentationSchema, MathProdSchema, MathProvenanceSchema, MathQtySchema, MathSumSchema, MathSymSchema, MathSymbolEntrySchema, MathUncertaintySchema, MathUnitSchema, MathUnparsedSchema, QuantitySchema, SI_BASE_DIMENSIONS, SymbolTableSchema, isMathExpression };

package/dist/{mathml-B1oTCtzc.d.cts → mathml-Czqc1mdZ.d.cts}

@@ -35,14 +35,13 @@ declare const MathMlPiSchema: z.ZodObject<{
 }, z.core.$strip>;
 type MathMlPi = z.infer<typeof MathMlPiSchema>;
 interface MathMlElement {
-  type: 'element';
+  type: "element";
   tag: string;
   attributes: MathMlAttribute[];
   children: MathMlNode[];
 }
 type MathMlNode = MathMlText | MathMlCdata | MathMlComment | MathMlDeclaration | MathMlPi | MathMlElement;
 declare function isMathMlNode(value: unknown): value is MathMlNode;
-declare const MathMlNodeSchema: z.ZodCustom<MathMlNode, MathMlNode>;
 declare const MathMlElementSchema: z.ZodObject<{
   type: z.ZodLiteral<"element">;
   tag: z.ZodString;
@@ -50,7 +49,8 @@ declare const MathMlElementSchema: z.ZodObject<{
     name: z.ZodString;
     value: z.ZodString;
   }, z.core.$strip>>;
-  children: z.ZodArray<z.ZodCustom<MathMlNode, MathMlNode>>;
+  children: z.ZodLazy<z.ZodArray<z.ZodType<MathMlNode, MathMlNode, z.core.$ZodTypeInternals<MathMlNode, MathMlNode>>>>;
 }, z.core.$strip>;
+declare const MathMlNodeSchema: z.ZodType<MathMlNode, MathMlNode>;
 //#endregion
 export { isMathMlNode as _, MathMlComment as a, MathMlDeclarationSchema as c, MathMlNode as d, MathMlNodeSchema as f, MathMlTextSchema as g, MathMlText as h, MathMlCdataSchema as i, MathMlElement as l, MathMlPiSchema as m, MathMlAttributeSchema as n, MathMlCommentSchema as o, MathMlPi as p, MathMlCdata as r, MathMlDeclaration as s, MathMlAttribute as t, MathMlElementSchema as u };

package/dist/{mathml-B1oTCtzc.d.ts → mathml-Czqc1mdZ.d.ts}

@@ -35,14 +35,13 @@ declare const MathMlPiSchema: z.ZodObject<{
 }, z.core.$strip>;
 type MathMlPi = z.infer<typeof MathMlPiSchema>;
 interface MathMlElement {
-  type: 'element';
+  type: "element";
   tag: string;
   attributes: MathMlAttribute[];
   children: MathMlNode[];
 }
 type MathMlNode = MathMlText | MathMlCdata | MathMlComment | MathMlDeclaration | MathMlPi | MathMlElement;
 declare function isMathMlNode(value: unknown): value is MathMlNode;
-declare const MathMlNodeSchema: z.ZodCustom<MathMlNode, MathMlNode>;
 declare const MathMlElementSchema: z.ZodObject<{
   type: z.ZodLiteral<"element">;
   tag: z.ZodString;
@@ -50,7 +49,8 @@ declare const MathMlElementSchema: z.ZodObject<{
     name: z.ZodString;
     value: z.ZodString;
   }, z.core.$strip>>;
-  children: z.ZodArray<z.ZodCustom<MathMlNode, MathMlNode>>;
+  children: z.ZodLazy<z.ZodArray<z.ZodType<MathMlNode, MathMlNode, z.core.$ZodTypeInternals<MathMlNode, MathMlNode>>>>;
 }, z.core.$strip>;
+declare const MathMlNodeSchema: z.ZodType<MathMlNode, MathMlNode>;
 //#endregion
 export { isMathMlNode as _, MathMlComment as a, MathMlDeclarationSchema as c, MathMlNode as d, MathMlNodeSchema as f, MathMlTextSchema as g, MathMlText as h, MathMlCdataSchema as i, MathMlElement as l, MathMlPiSchema as m, MathMlAttributeSchema as n, MathMlCommentSchema as o, MathMlPi as p, MathMlCdata as r, MathMlDeclaration as s, MathMlAttribute as t, MathMlElementSchema as u };

package/dist/mathml.cjs

@@ -41,13 +41,20 @@ function isMathMlNode(value) {
 	if (type === "element") return typeof value.tag === "string" && Array.isArray(value.attributes) && value.attributes.every(isMathMlAttribute) && Array.isArray(value.children) && value.children.every(isMathMlNode);
 	return false;
 }
-const MathMlNodeSchema = zod.z.custom(isMathMlNode);
 const MathMlElementSchema = zod.z.object({
 	type: zod.z.literal("element"),
 	tag: zod.z.string(),
 	attributes: zod.z.array(MathMlAttributeSchema),
-	children: zod.z.array(MathMlNodeSchema)
+	children: zod.z.lazy(() => zod.z.array(MathMlNodeSchema))
 });
+const MathMlNodeSchema = zod.z.discriminatedUnion("type", [
+	MathMlTextSchema,
+	MathMlCdataSchema,
+	MathMlCommentSchema,
+	MathMlDeclarationSchema,
+	MathMlPiSchema,
+	MathMlElementSchema
+]);
 //#endregion
 exports.MathMlAttributeSchema = MathMlAttributeSchema;
 exports.MathMlCdataSchema = MathMlCdataSchema;

package/dist/mathml.d.cts

@@ -1,2 +1,2 @@
-import { _ as isMathMlNode, a as MathMlComment, c as MathMlDeclarationSchema, d as MathMlNode, f as MathMlNodeSchema, g as MathMlTextSchema, h as MathMlText, i as MathMlCdataSchema, l as MathMlElement, m as MathMlPiSchema, n as MathMlAttributeSchema, o as MathMlCommentSchema, p as MathMlPi, r as MathMlCdata, s as MathMlDeclaration, t as MathMlAttribute, u as MathMlElementSchema } from "./mathml-B1oTCtzc.cjs";
+import { _ as isMathMlNode, a as MathMlComment, c as MathMlDeclarationSchema, d as MathMlNode, f as MathMlNodeSchema, g as MathMlTextSchema, h as MathMlText, i as MathMlCdataSchema, l as MathMlElement, m as MathMlPiSchema, n as MathMlAttributeSchema, o as MathMlCommentSchema, p as MathMlPi, r as MathMlCdata, s as MathMlDeclaration, t as MathMlAttribute, u as MathMlElementSchema } from "./mathml-Czqc1mdZ.cjs";
 export { MathMlAttribute, MathMlAttributeSchema, MathMlCdata, MathMlCdataSchema, MathMlComment, MathMlCommentSchema, MathMlDeclaration, MathMlDeclarationSchema, MathMlElement, MathMlElementSchema, MathMlNode, MathMlNodeSchema, MathMlPi, MathMlPiSchema, MathMlText, MathMlTextSchema, isMathMlNode };