@sushichan044/kg-core 0.6.5 → 0.8.0

package/dist/composed-manuscript-QgIdae8p.d.mts

@@ -0,0 +1,1740 @@
+import * as v from "valibot";
+//#region src/range/manuscript-range.d.ts
+declare const ManuscriptRangeSchema: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+  readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+    readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+  }, undefined>, v.ReadonlyAction<{
+    start: number;
+    end: number;
+  }>]>, v.CheckAction<Readonly<{
+    start: number;
+    end: number;
+  }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+    start: number;
+    end: number;
+  }>, "SourceRange">]>;
+  readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+    readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+  }, undefined>, v.ReadonlyAction<{
+    start: number;
+    end: number;
+  }>]>, v.CheckAction<Readonly<{
+    start: number;
+    end: number;
+  }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+    start: number;
+    end: number;
+  }>, "DisplayRange">]>;
+  readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+    readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+  }, undefined>, v.ReadonlyAction<{
+    start: number;
+    end: number;
+  }>]>, v.CheckAction<Readonly<{
+    start: number;
+    end: number;
+  }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+    start: number;
+    end: number;
+  }>, "GraphemeRange">]>;
+}, undefined>, v.ReadonlyAction<{
+  source: Readonly<{
+    start: number;
+    end: number;
+  }> & v.Brand<"SourceRange">;
+  display: Readonly<{
+    start: number;
+    end: number;
+  }> & v.Brand<"DisplayRange">;
+  graphemes: Readonly<{
+    start: number;
+    end: number;
+  }> & v.Brand<"GraphemeRange">;
+}>]>;
+/**
+ * The same span expressed in all three coordinate systems the pipeline maps between.
+ */
+type ManuscriptRange = v.InferOutput<typeof ManuscriptRangeSchema>;
+type Bounds = Readonly<{
+  start: number;
+  end: number;
+}>;
+type ManuscriptRangeInput = Readonly<{
+  source: Bounds;
+  display: Bounds;
+  graphemes: Bounds;
+}>;
+declare const ManuscriptRange: {
+  readonly schema: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+    }, undefined>, v.ReadonlyAction<{
+      start: number;
+      end: number;
+    }>]>, v.CheckAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "SourceRange">]>;
+    readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+    }, undefined>, v.ReadonlyAction<{
+      start: number;
+      end: number;
+    }>]>, v.CheckAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "DisplayRange">]>;
+    readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+    }, undefined>, v.ReadonlyAction<{
+      start: number;
+      end: number;
+    }>]>, v.CheckAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "GraphemeRange">]>;
+  }, undefined>, v.ReadonlyAction<{
+    source: Readonly<{
+      start: number;
+      end: number;
+    }> & v.Brand<"SourceRange">;
+    display: Readonly<{
+      start: number;
+      end: number;
+    }> & v.Brand<"DisplayRange">;
+    graphemes: Readonly<{
+      start: number;
+      end: number;
+    }> & v.Brand<"GraphemeRange">;
+  }>]>;
+  /**
+   * Brands a span core computed itself. Throws rather than returning a failure: the inputs come
+   * from core's own arithmetic, so a violated bound is a bug here, not bad data from a caller.
+   */
+  readonly of: (input: ManuscriptRangeInput) => ManuscriptRange;
+  readonly merge: (ranges: ReadonlyArray<ManuscriptRange | null>) => ManuscriptRange | null;
+  readonly overlaps: (range: ManuscriptRange, other: ManuscriptRange) => boolean;
+};
+//#endregion
+//#region src/diagnostic/diagnostic-origin.d.ts
+declare const DiagnosticOriginSchema: v.VariantSchema<"kind", [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+  readonly kind: v.LiteralSchema<"parser", undefined>;
+  readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>, v.RegexAction<string, "ID must use namespace/name">, v.BrandAction<string, "NamespacedId">]>;
+}, undefined>, v.ReadonlyAction<{
+  kind: "parser";
+  id: string & v.Brand<"NamespacedId">;
+}>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+  readonly kind: v.LiteralSchema<"rule", undefined>;
+  readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>, v.RegexAction<string, "ID must use namespace/name">, v.BrandAction<string, "NamespacedId">]>;
+}, undefined>, v.ReadonlyAction<{
+  kind: "rule";
+  id: string & v.Brand<"NamespacedId">;
+}>]>], undefined>;
+/**
+ * Which stage produced a diagnostic, so consumers can filter parser noise from rule findings.
+ */
+type DiagnosticOrigin = v.InferOutput<typeof DiagnosticOriginSchema>;
+declare const DiagnosticOrigin: {
+  readonly schema: v.VariantSchema<"kind", [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly kind: v.LiteralSchema<"parser", undefined>;
+    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>, v.RegexAction<string, "ID must use namespace/name">, v.BrandAction<string, "NamespacedId">]>;
+  }, undefined>, v.ReadonlyAction<{
+    kind: "parser";
+    id: string & v.Brand<"NamespacedId">;
+  }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly kind: v.LiteralSchema<"rule", undefined>;
+    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>, v.RegexAction<string, "ID must use namespace/name">, v.BrandAction<string, "NamespacedId">]>;
+  }, undefined>, v.ReadonlyAction<{
+    kind: "rule";
+    id: string & v.Brand<"NamespacedId">;
+  }>]>], undefined>;
+};
+//#endregion
+//#region src/diagnostic/diagnostic-severity.d.ts
+declare const DiagnosticSeveritySchema: v.PicklistSchema<["warning", "error"], undefined>;
+/**
+ * `warning` means the stage recovered and kept going; `error` means a rule found a real defect.
+ */
+type DiagnosticSeverity = v.InferOutput<typeof DiagnosticSeveritySchema>;
+declare const DiagnosticSeverity: {
+  readonly schema: v.PicklistSchema<["warning", "error"], undefined>;
+};
+//#endregion
+//#region src/diagnostic/manuscript-diagnostic.d.ts
+declare const ManuscriptDiagnosticSchema: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+  readonly id: v.StringSchema<undefined>;
+  readonly origin: v.VariantSchema<"kind", [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly kind: v.LiteralSchema<"parser", undefined>;
+    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>, v.RegexAction<string, "ID must use namespace/name">, v.BrandAction<string, "NamespacedId">]>;
+  }, undefined>, v.ReadonlyAction<{
+    kind: "parser";
+    id: string & v.Brand<"NamespacedId">;
+  }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly kind: v.LiteralSchema<"rule", undefined>;
+    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>, v.RegexAction<string, "ID must use namespace/name">, v.BrandAction<string, "NamespacedId">]>;
+  }, undefined>, v.ReadonlyAction<{
+    kind: "rule";
+    id: string & v.Brand<"NamespacedId">;
+  }>]>], undefined>;
+  readonly severity: v.PicklistSchema<["warning", "error"], undefined>;
+  readonly message: v.StringSchema<undefined>;
+  readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+    }, undefined>, v.ReadonlyAction<{
+      start: number;
+      end: number;
+    }>]>, v.CheckAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "SourceRange">]>;
+    readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+    }, undefined>, v.ReadonlyAction<{
+      start: number;
+      end: number;
+    }>]>, v.CheckAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "DisplayRange">]>;
+    readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+    }, undefined>, v.ReadonlyAction<{
+      start: number;
+      end: number;
+    }>]>, v.CheckAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+      start: number;
+      end: number;
+    }>, "GraphemeRange">]>;
+  }, undefined>, v.ReadonlyAction<{
+    source: Readonly<{
+      start: number;
+      end: number;
+    }> & v.Brand<"SourceRange">;
+    display: Readonly<{
+      start: number;
+      end: number;
+    }> & v.Brand<"DisplayRange">;
+    graphemes: Readonly<{
+      start: number;
+      end: number;
+    }> & v.Brand<"GraphemeRange">;
+  }>]>;
+  readonly location: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly start: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly offset: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      readonly line: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 1, undefined>]>;
+      readonly column: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 1, undefined>]>;
+    }, undefined>, v.ReadonlyAction<{
+      offset: number;
+      line: number;
+      column: number;
+    }>]>;
+    readonly end: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly offset: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      readonly line: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 1, undefined>]>;
+      readonly column: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 1, undefined>]>;
+    }, undefined>, v.ReadonlyAction<{
+      offset: number;
+      line: number;
+      column: number;
+    }>]>;
+  }, undefined>, v.ReadonlyAction<{
+    readonly start: Readonly<{
+      offset: number;
+      line: number;
+      column: number;
+    }>;
+    readonly end: Readonly<{
+      offset: number;
+      line: number;
+      column: number;
+    }>;
+  }>]>;
+}, undefined>, v.ReadonlyAction<{
+  id: string;
+  origin: Readonly<{
+    kind: "parser";
+    id: string & v.Brand<"NamespacedId">;
+  }> | Readonly<{
+    kind: "rule";
+    id: string & v.Brand<"NamespacedId">;
+  }>;
+  severity: "error" | "warning";
+  message: string;
+  readonly range: Readonly<{
+    source: Readonly<{
+      start: number;
+      end: number;
+    }> & v.Brand<"SourceRange">;
+    display: Readonly<{
+      start: number;
+      end: number;
+    }> & v.Brand<"DisplayRange">;
+    graphemes: Readonly<{
+      start: number;
+      end: number;
+    }> & v.Brand<"GraphemeRange">;
+  }>;
+  readonly location: Readonly<{
+    readonly start: Readonly<{
+      offset: number;
+      line: number;
+      column: number;
+    }>;
+    readonly end: Readonly<{
+      offset: number;
+      line: number;
+      column: number;
+    }>;
+  }>;
+}>]>;
+/**
+ * One finding, carrying both the three-way range and the line/column the viewer displays.
+ */
+type ManuscriptDiagnostic = v.InferOutput<typeof ManuscriptDiagnosticSchema>;
+type ManuscriptDiagnosticInput = Readonly<{
+  source: string;
+  origin: DiagnosticOrigin;
+  severity: DiagnosticSeverity;
+  code: string;
+  message: string;
+  range: ManuscriptRange;
+}>;
+declare const ManuscriptDiagnostic: {
+  readonly schema: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly id: v.StringSchema<undefined>;
+    readonly origin: v.VariantSchema<"kind", [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly kind: v.LiteralSchema<"parser", undefined>;
+      readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>, v.RegexAction<string, "ID must use namespace/name">, v.BrandAction<string, "NamespacedId">]>;
+    }, undefined>, v.ReadonlyAction<{
+      kind: "parser";
+      id: string & v.Brand<"NamespacedId">;
+    }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly kind: v.LiteralSchema<"rule", undefined>;
+      readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>, v.RegexAction<string, "ID must use namespace/name">, v.BrandAction<string, "NamespacedId">]>;
+    }, undefined>, v.ReadonlyAction<{
+      kind: "rule";
+      id: string & v.Brand<"NamespacedId">;
+    }>]>], undefined>;
+    readonly severity: v.PicklistSchema<["warning", "error"], undefined>;
+    readonly message: v.StringSchema<undefined>;
+    readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "SourceRange">]>;
+      readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "DisplayRange">]>;
+      readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "GraphemeRange">]>;
+    }, undefined>, v.ReadonlyAction<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>]>;
+    readonly location: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly start: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly offset: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly line: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 1, undefined>]>;
+        readonly column: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 1, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        offset: number;
+        line: number;
+        column: number;
+      }>]>;
+      readonly end: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly offset: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly line: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 1, undefined>]>;
+        readonly column: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 1, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        offset: number;
+        line: number;
+        column: number;
+      }>]>;
+    }, undefined>, v.ReadonlyAction<{
+      readonly start: Readonly<{
+        offset: number;
+        line: number;
+        column: number;
+      }>;
+      readonly end: Readonly<{
+        offset: number;
+        line: number;
+        column: number;
+      }>;
+    }>]>;
+  }, undefined>, v.ReadonlyAction<{
+    id: string;
+    origin: Readonly<{
+      kind: "parser";
+      id: string & v.Brand<"NamespacedId">;
+    }> | Readonly<{
+      kind: "rule";
+      id: string & v.Brand<"NamespacedId">;
+    }>;
+    severity: "error" | "warning";
+    message: string;
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+    readonly location: Readonly<{
+      readonly start: Readonly<{
+        offset: number;
+        line: number;
+        column: number;
+      }>;
+      readonly end: Readonly<{
+        offset: number;
+        line: number;
+        column: number;
+      }>;
+    }>;
+  }>]>;
+  readonly of: ({ source, origin, severity, code, message, range }: ManuscriptDiagnosticInput) => ManuscriptDiagnostic;
+  /**
+   * Stable order for display: by source span, then by producing plugin.
+   */
+  readonly compare: (left: ManuscriptDiagnostic, right: ManuscriptDiagnostic) => number;
+};
+//#endregion
+//#region src/result/manuscript-result.d.ts
+/**
+ * The outcome of one pipeline stage. Success carries warnings the stage recovered from; failure
+ * carries exactly one error so callers can `switch` on its `kind` exhaustively.
+ *
+ * `ok` rather than a `kind` discriminant: this is a Result, and every Result library in the
+ * ecosystem spells the success flag this way.
+ */
+type ManuscriptResult<TValue, TError> = Readonly<{
+  ok: true;
+  value: TValue;
+  warnings: readonly ManuscriptDiagnostic[];
+}> | Readonly<{
+  ok: false;
+  error: TError;
+}>;
+declare const ManuscriptResult: {
+  readonly succeed: <TValue>(value: TValue, warnings?: readonly ManuscriptDiagnostic[]) => ManuscriptResult<TValue, never>;
+  readonly fail: <TError>(error: TError) => ManuscriptResult<never, TError>;
+  /**
+   * Validates a result that crossed a plugin boundary, including the diagnostics it carries.
+   */
+  readonly schema: <TValue, TError>(value: v.GenericSchema<unknown, TValue>, error: v.GenericSchema<unknown, TError>) => v.GenericSchema<unknown, ManuscriptResult<TValue, TError>>;
+};
+//#endregion
+//#region src/parser/parsed-manuscript.d.ts
+declare const ParsedManuscriptSchema: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+  readonly source: v.StringSchema<undefined>;
+  readonly displayText: v.StringSchema<undefined>;
+  readonly graphemes: v.SchemaWithPipe<readonly [v.ArraySchema<v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly value: v.StringSchema<undefined>;
+    readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "SourceRange">]>;
+      readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "DisplayRange">]>;
+      readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "GraphemeRange">]>;
+    }, undefined>, v.ReadonlyAction<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>]>;
+  }, undefined>, v.ReadonlyAction<{
+    value: string;
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+  }>]>, undefined>, v.ReadonlyAction<Readonly<{
+    value: string;
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+  }>[]>]>;
+  readonly annotations: v.SchemaWithPipe<readonly [v.ArraySchema<v.VariantSchema<"kind", [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly kind: v.LiteralSchema<"ruby", undefined>;
+    readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "SourceRange">]>;
+      readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "DisplayRange">]>;
+      readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "GraphemeRange">]>;
+    }, undefined>, v.ReadonlyAction<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>]>;
+    readonly reading: v.VariantSchema<"kind", [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly kind: v.LiteralSchema<"group", undefined>;
+      readonly text: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>]>;
+    }, undefined>, v.ReadonlyAction<{
+      kind: "group";
+      text: string;
+    }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly kind: v.LiteralSchema<"mono", undefined>;
+      readonly segments: v.SchemaWithPipe<readonly [v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>]>, undefined>, v.NonEmptyAction<string[], undefined>, v.ReadonlyAction<string[]>]>;
+    }, undefined>, v.ReadonlyAction<{
+      kind: "mono";
+      readonly segments: readonly string[];
+    }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly kind: v.LiteralSchema<"jukugo", undefined>;
+      readonly segments: v.SchemaWithPipe<readonly [v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>]>, undefined>, v.NonEmptyAction<string[], undefined>, v.ReadonlyAction<string[]>]>;
+    }, undefined>, v.ReadonlyAction<{
+      kind: "jukugo";
+      readonly segments: readonly string[];
+    }>]>], undefined>;
+  }, undefined>, v.ReadonlyAction<{
+    kind: "ruby";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+    reading: Readonly<{
+      kind: "group";
+      text: string;
+    }> | Readonly<{
+      kind: "mono";
+      readonly segments: readonly string[];
+    }> | Readonly<{
+      kind: "jukugo";
+      readonly segments: readonly string[];
+    }>;
+  }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly kind: v.LiteralSchema<"bold", undefined>;
+    readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "SourceRange">]>;
+      readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "DisplayRange">]>;
+      readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "GraphemeRange">]>;
+    }, undefined>, v.ReadonlyAction<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>]>;
+  }, undefined>, v.ReadonlyAction<{
+    kind: "bold";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+  }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly kind: v.LiteralSchema<"italic", undefined>;
+    readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "SourceRange">]>;
+      readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "DisplayRange">]>;
+      readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "GraphemeRange">]>;
+    }, undefined>, v.ReadonlyAction<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>]>;
+  }, undefined>, v.ReadonlyAction<{
+    kind: "italic";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+  }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly kind: v.LiteralSchema<"emphasis", undefined>;
+    readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "SourceRange">]>;
+      readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "DisplayRange">]>;
+      readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        start: number;
+        end: number;
+      }>]>, v.CheckAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+        start: number;
+        end: number;
+      }>, "GraphemeRange">]>;
+    }, undefined>, v.ReadonlyAction<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>]>;
+    readonly mark: v.StringSchema<undefined>;
+  }, undefined>, v.ReadonlyAction<{
+    kind: "emphasis";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+    mark: string;
+  }>]>], undefined>, undefined>, v.ReadonlyAction<(Readonly<{
+    kind: "ruby";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+    reading: Readonly<{
+      kind: "group";
+      text: string;
+    }> | Readonly<{
+      kind: "mono";
+      readonly segments: readonly string[];
+    }> | Readonly<{
+      kind: "jukugo";
+      readonly segments: readonly string[];
+    }>;
+  }> | Readonly<{
+    kind: "bold";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+  }> | Readonly<{
+    kind: "italic";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+  }> | Readonly<{
+    kind: "emphasis";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+    mark: string;
+  }>)[]>]>;
+}, undefined>, v.ReadonlyAction<{
+  source: string;
+  displayText: string;
+  readonly graphemes: readonly Readonly<{
+    value: string;
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+  }>[];
+  readonly annotations: readonly (Readonly<{
+    kind: "ruby";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+    reading: Readonly<{
+      kind: "group";
+      text: string;
+    }> | Readonly<{
+      kind: "mono";
+      readonly segments: readonly string[];
+    }> | Readonly<{
+      kind: "jukugo";
+      readonly segments: readonly string[];
+    }>;
+  }> | Readonly<{
+    kind: "bold";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+  }> | Readonly<{
+    kind: "italic";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+  }> | Readonly<{
+    kind: "emphasis";
+    readonly range: Readonly<{
+      source: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"SourceRange">;
+      display: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"DisplayRange">;
+      graphemes: Readonly<{
+        start: number;
+        end: number;
+      }> & v.Brand<"GraphemeRange">;
+    }>;
+    mark: string;
+  }>)[];
+}>]>;
+/**
+ * Source text with service-specific notation normalised away, plus the mapping back to it.
+ */
+type ParsedManuscript = v.InferOutput<typeof ParsedManuscriptSchema>;
+declare const ParsedManuscript: {
+  readonly schema: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly source: v.StringSchema<undefined>;
+    readonly displayText: v.StringSchema<undefined>;
+    readonly graphemes: v.SchemaWithPipe<readonly [v.ArraySchema<v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly value: v.StringSchema<undefined>;
+      readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "SourceRange">]>;
+        readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "DisplayRange">]>;
+        readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "GraphemeRange">]>;
+      }, undefined>, v.ReadonlyAction<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>]>;
+    }, undefined>, v.ReadonlyAction<{
+      value: string;
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+    }>]>, undefined>, v.ReadonlyAction<Readonly<{
+      value: string;
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+    }>[]>]>;
+    readonly annotations: v.SchemaWithPipe<readonly [v.ArraySchema<v.VariantSchema<"kind", [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly kind: v.LiteralSchema<"ruby", undefined>;
+      readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "SourceRange">]>;
+        readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "DisplayRange">]>;
+        readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "GraphemeRange">]>;
+      }, undefined>, v.ReadonlyAction<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>]>;
+      readonly reading: v.VariantSchema<"kind", [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly kind: v.LiteralSchema<"group", undefined>;
+        readonly text: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>]>;
+      }, undefined>, v.ReadonlyAction<{
+        kind: "group";
+        text: string;
+      }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly kind: v.LiteralSchema<"mono", undefined>;
+        readonly segments: v.SchemaWithPipe<readonly [v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>]>, undefined>, v.NonEmptyAction<string[], undefined>, v.ReadonlyAction<string[]>]>;
+      }, undefined>, v.ReadonlyAction<{
+        kind: "mono";
+        readonly segments: readonly string[];
+      }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly kind: v.LiteralSchema<"jukugo", undefined>;
+        readonly segments: v.SchemaWithPipe<readonly [v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>]>, undefined>, v.NonEmptyAction<string[], undefined>, v.ReadonlyAction<string[]>]>;
+      }, undefined>, v.ReadonlyAction<{
+        kind: "jukugo";
+        readonly segments: readonly string[];
+      }>]>], undefined>;
+    }, undefined>, v.ReadonlyAction<{
+      kind: "ruby";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+      reading: Readonly<{
+        kind: "group";
+        text: string;
+      }> | Readonly<{
+        kind: "mono";
+        readonly segments: readonly string[];
+      }> | Readonly<{
+        kind: "jukugo";
+        readonly segments: readonly string[];
+      }>;
+    }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly kind: v.LiteralSchema<"bold", undefined>;
+      readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "SourceRange">]>;
+        readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "DisplayRange">]>;
+        readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "GraphemeRange">]>;
+      }, undefined>, v.ReadonlyAction<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>]>;
+    }, undefined>, v.ReadonlyAction<{
+      kind: "bold";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+    }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly kind: v.LiteralSchema<"italic", undefined>;
+      readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "SourceRange">]>;
+        readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "DisplayRange">]>;
+        readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "GraphemeRange">]>;
+      }, undefined>, v.ReadonlyAction<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>]>;
+    }, undefined>, v.ReadonlyAction<{
+      kind: "italic";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+    }>]>, v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+      readonly kind: v.LiteralSchema<"emphasis", undefined>;
+      readonly range: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+        readonly source: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "SourceRange">]>;
+        readonly display: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "DisplayRange">]>;
+        readonly graphemes: v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+          readonly start: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+          readonly end: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.FiniteAction<number, undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>, v.MaxValueAction<number, number, undefined>]>;
+        }, undefined>, v.ReadonlyAction<{
+          start: number;
+          end: number;
+        }>]>, v.CheckAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "range end must not precede its start">]>, v.BrandAction<Readonly<{
+          start: number;
+          end: number;
+        }>, "GraphemeRange">]>;
+      }, undefined>, v.ReadonlyAction<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>]>;
+      readonly mark: v.StringSchema<undefined>;
+    }, undefined>, v.ReadonlyAction<{
+      kind: "emphasis";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+      mark: string;
+    }>]>], undefined>, undefined>, v.ReadonlyAction<(Readonly<{
+      kind: "ruby";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+      reading: Readonly<{
+        kind: "group";
+        text: string;
+      }> | Readonly<{
+        kind: "mono";
+        readonly segments: readonly string[];
+      }> | Readonly<{
+        kind: "jukugo";
+        readonly segments: readonly string[];
+      }>;
+    }> | Readonly<{
+      kind: "bold";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+    }> | Readonly<{
+      kind: "italic";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+    }> | Readonly<{
+      kind: "emphasis";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+      mark: string;
+    }>)[]>]>;
+  }, undefined>, v.ReadonlyAction<{
+    source: string;
+    displayText: string;
+    readonly graphemes: readonly Readonly<{
+      value: string;
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+    }>[];
+    readonly annotations: readonly (Readonly<{
+      kind: "ruby";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+      reading: Readonly<{
+        kind: "group";
+        text: string;
+      }> | Readonly<{
+        kind: "mono";
+        readonly segments: readonly string[];
+      }> | Readonly<{
+        kind: "jukugo";
+        readonly segments: readonly string[];
+      }>;
+    }> | Readonly<{
+      kind: "bold";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+    }> | Readonly<{
+      kind: "italic";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+    }> | Readonly<{
+      kind: "emphasis";
+      readonly range: Readonly<{
+        source: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"SourceRange">;
+        display: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"DisplayRange">;
+        graphemes: Readonly<{
+          start: number;
+          end: number;
+        }> & v.Brand<"GraphemeRange">;
+      }>;
+      mark: string;
+    }>)[];
+  }>]>;
+  /**
+   * The parser contract as a schema: shape, plus the cross-field invariants that make the three
+   * coordinate systems line up. Annotations come out in a stable order regardless of parser.
+   */
+  readonly contractFor: (source: string) => v.GenericSchema<unknown, ParsedManuscript>;
+};
+//#endregion
+//#region src/namespaced-id.d.ts
+declare const NamespacedIdSchema: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>, v.RegexAction<string, "ID must use namespace/name">, v.BrandAction<string, "NamespacedId">]>;
+/**
+ * Identifies a plugin (parser, composer, proofreading rule) as `namespace/name`. Branded so an
+ * arbitrary string cannot stand in for an ID that the boundary has already accepted.
+ */
+type NamespacedId = v.InferOutput<typeof NamespacedIdSchema>;
+declare const NamespacedId: {
+  readonly schema: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.NonEmptyAction<string, undefined>, v.RegexAction<string, "ID must use namespace/name">, v.BrandAction<string, "NamespacedId">]>;
+  /**
+   * For IDs written as literals in code. Throws on a malformed literal, at import time.
+   */
+  readonly of: (literal: string) => NamespacedId;
+  /**
+   * For IDs supplied by a plugin, where a malformed value is bad input rather than a bug.
+   */
+  readonly parse: (raw: string) => NamespacedId | undefined;
+};
+//#endregion
+//#region src/result/validation-issue.d.ts
+declare const ValidationIssueSchema: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+  readonly path: v.StringSchema<undefined>;
+  readonly message: v.StringSchema<undefined>;
+}, undefined>, v.ReadonlyAction<{
+  path: string;
+  message: string;
+}>]>;
+/**
+ * One schema violation, reduced to the two things a caller acts on: where it happened and what was
+ * wrong. Keeping our own shape means the validation library stays an implementation detail.
+ */
+type ValidationIssue = v.InferOutput<typeof ValidationIssueSchema>;
+declare const ValidationIssue: {
+  readonly schema: v.SchemaWithPipe<readonly [v.StrictObjectSchema<{
+    readonly path: v.StringSchema<undefined>;
+    readonly message: v.StringSchema<undefined>;
+  }, undefined>, v.ReadonlyAction<{
+    path: string;
+    message: string;
+  }>]>;
+  readonly from: (issues: ReadonlyArray<v.BaseIssue<unknown>>) => readonly ValidationIssue[];
+};
+//#endregion
+//#region src/composer/composed-manuscript.d.ts
+/**
+ * A parsed manuscript placed by a composer, kept together with the composer that produced it and
+ * the settings it was placed under, so the result is self-contained.
+ */
+type ComposedManuscript<TSettings = unknown, TLayout = unknown> = Readonly<{
+  composerId: NamespacedId;
+  parsed: ParsedManuscript;
+  settings: TSettings;
+  layout: TLayout;
+}>;
+//#endregion
+export { ManuscriptResult as a, DiagnosticSeverity as c, ManuscriptRangeInput as d, ParsedManuscript as i, DiagnosticOrigin as l, ValidationIssue as n, ManuscriptDiagnostic as o, NamespacedId as r, ManuscriptDiagnosticInput as s, ComposedManuscript as t, ManuscriptRange as u };