kairos-lang 1.0.0

package/dist/eval.d.ts

@@ -0,0 +1,438 @@
+import type { Expr, Stage, Statement, Program, Param, ListElem, CoveringRange } from './ast.ts';
+import type { DateVal, WidthVal } from './lexer.ts';
+import { Tz } from './tz.ts';
+export declare class KairosError extends Error {
+}
+/** 供給エラー（ADR-46 判断 7 (a)）: 解決失敗の機械可読な部分類。実装系（発報層等）は本分類を
+ *  boot throw から除外して劣化運転に落としてよい——契約違反（KairosError）とは区別される */
+export declare class SupplyError extends KairosError {
+}
+export interface Iv {
+    start: number;
+    end: number;
+}
+export interface WinLevel {
+    name?: string;
+    iv: Iv[];
+    labelFn?: LambdaV;
+    grain?: GridTag | null;
+    ann: Ann[];
+    /** 窓列への並行ラベル列（ADR-39）: 添字＝窓列序数（実効被覆域内の先頭マーカー起点の窓が 0）。
+     *  窓はラベルを格納しない——束縛に付く射影の定義データ（ADR-30 の原理の窓版） */
+    labels?: (number | string | boolean)[];
+    /** 窓列への周期ラベル（ADR-47）: ラベル(窓 i) = list[(i − i0) mod N]。i0＝anchor の属する窓の
+     *  窓列序数（マーカー列基準＝実体化・評価範囲に依存しない） */
+    labelsCycle?: {
+        list: (number | string | boolean)[];
+        i0: number;
+    };
+}
+/** 評価註釈（ADR-37・I6）: 「範囲外」（out-of-coverage）の区間の出自。値に随伴し、
+ *  演算子の輸送表（§4.10）で伝播する。from/to は ±Infinity 可＝内部は非クリップで運び、
+ *  評価範囲 [from, to) へのクリップは表面（runProgram の結果組み立て）で一度だけ行う（判断 8）。 */
+export interface Ann {
+    from: number;
+    to: number;
+    source: string;
+    covering: string;
+    covIv: Iv[];
+    asof?: string;
+}
+/** 範囲外分類の失敗（ADR-37 判断 6）: 失敗した参照点が依存の実効被覆域の外。
+ *  ストリーム文脈（filter の述語）は捕まえて「落として註釈」、純値文脈はそのまま
+ *  範囲外分類の明示エラーとして表面化する（「値なし」スロットは導入しない） */
+export declare class OutOfCoverageSignal extends KairosError {
+    entries: Ann[];
+    /** 述語が読んだ窓の区間（窓越し参照＝coincides 等）。filter の輸送はこの逆像へ拡幅する（F75・ADR-37 改訂 2） */
+    window?: Iv;
+    constructor(msg: string, entries: Ann[], window?: Iv);
+}
+/** 整列（ADR-36）: 「全点が原子グリッド G＝（幅・正規化位相・tz 名）の目盛り点上にある」という
+ *  静的主張。null は「なし」。位相は幅を法として正規化（civil＝市民日序数 mod 日数幅＋日内オフセット・
+ *  elapsed＝anchor/紀元の chronos ms mod 幅）——既定整列と等価な anchor: は同一 G になり、
+ *  日内オフセットを持つ anchor（毎日 09:00 級）は既定 day と別 G になる。
+ *  プロトタイプは評価時にタグとして伝播する（束縛解決後静的検査の近似）。 */
+export interface GridTag {
+    kind: 'civil' | 'elapsed' | 'vacuous';
+    step: number;
+    phase: number;
+    off: number;
+    tz: string;
+}
+export type V = number | boolean | string | V[] | PointV | TimeV | StreamV | WindowsV | CycleV | TableV | LambdaV | WidthV | ChronosV | InstantV;
+export interface PointV {
+    k: 'point';
+    ms: number;
+}
+export interface TimeV {
+    k: 'time';
+    todMs: number;
+}
+export interface StreamV {
+    k: 'stream';
+    pts: number[];
+    wins: WinLevel[];
+    align: GridTag | null;
+    ann: Ann[];
+    /** 導出構造が実体化地平線を越えて続くか（生成子由来＝真・テーブル由来＝偽。ADR-39 の
+     *  「マーカー点列は有限」の静的判定＝ADR-36 の整列計算と同型の保守近似） */
+    endless: boolean;
+}
+export interface WindowsV {
+    k: 'windows';
+    name?: string;
+    iv: Iv[];
+    units: number[];
+    labelFn?: LambdaV;
+    grain: GridTag | null;
+}
+export interface CycleV {
+    k: 'cycle';
+    iv: Iv[];
+    labels: string[];
+    anchor: number;
+    grain: GridTag | null;
+}
+export interface TableV {
+    k: 'table';
+    pts: number[];
+    labels?: string[];
+    covIv: Iv[];
+    covDesc: string;
+    concluded: boolean;
+    src?: string;
+    asof?: string;
+    align: GridTag | null;
+}
+export interface LambdaV {
+    k: 'lambda';
+    params: string[];
+    body: Expr;
+    env: Env;
+}
+export interface WidthV {
+    k: 'width';
+    w: WidthVal;
+}
+export interface ChronosV {
+    k: 'chronos';
+}
+export interface InstantV {
+    k: 'instant';
+}
+interface BindingDecl {
+    params: Param[];
+    rhs: Expr;
+    covering?: CoveringRange[];
+}
+export declare class PremiseInstance {
+    name: string;
+    members: Map<string, string | Expr>;
+    defs: Map<string, BindingDecl>;
+    base: PremiseInstance | null;
+    constructor(name: string, members: Map<string, string | Expr>, defs: Map<string, BindingDecl>, base: PremiseInstance | null);
+    findDef(name: string): BindingDecl | undefined;
+    /** 定義側 premise の特定（external のスナップショット単位＝ADR-46 判断 5。member 解決規則の
+     *  「定義側優先」〈ADR-35 判断 8〉と同じ向きの探索） */
+    findDefOwner(name: string): {
+        def: BindingDecl;
+        owner: PremiseInstance;
+    } | undefined;
+}
+export interface Env {
+    rt: Runtime;
+    premise: PremiseInstance | null;
+    members: Map<string, string | Expr>;
+    locals: Map<string, V> | null;
+    parent: Env | null;
+}
+export interface RunOptions {
+    from: string;
+    to: string;
+    tz?: string;
+    resolve?: ExternalResolver;
+}
+/** external 束縛の宣言（解決子に渡す静的知識。ADR-46） */
+export interface ExternalDecl {
+    kind: 'dates' | 'instants';
+    labels?: string[];
+    source: string;
+}
+/** external の解決値（wire）。kind ごとの形——dates は市民日付の字面（言語側で錨打ち＝派生 tz
+ *  上書きで再錨可能）・instants は epoch ms（壁時計字面は DST 重複で二意になり得るため） */
+export interface ExternalData {
+    dates?: string[];
+    instants?: number[];
+    covering: string;
+    asof: string;
+    labels?: string[];
+}
+export type ExternalResolver = (premise: string, binding: string, decl: ExternalDecl) => ExternalData;
+/** 区間註釈の表面形（ADR-37 判断 5/7 (a)）: 評価範囲 [from, to) にクリップ済み */
+export interface ResultAnnotation {
+    kind: 'out-of-coverage';
+    from: string;
+    to: string;
+    fromMs: number;
+    toMs: number;
+    source: string;
+    covering: string;
+    asof?: string;
+}
+/** 区間註釈の正準一行表示。CLI と doctest（`#~>` 照合）で共有——書式のズレを封じる */
+export declare function formatAnnotation(a: ResultAnnotation): string;
+/** 被覆サマリの一行（ADR-37 判断 7 (b)）: クリップしない静的な監視面 */
+export interface CoverageEntry {
+    source: string;
+    covering: string;
+    asof?: string;
+    concluded: boolean;
+    runwayDays: number | null;
+}
+export interface RunResult {
+    results: {
+        source: string;
+        points: number[];
+        dates: string[];
+        annotations: ResultAnnotation[];
+    }[];
+    coverage: CoverageEntry[];
+    warnings: string[];
+    format: (ms: number) => string;
+    runtime: Runtime;
+}
+export declare class Runtime {
+    premises: Map<string, PremiseInstance>;
+    topBindings: Map<string, BindingDecl>;
+    warnings: string[];
+    /** external の解決子（ADR-46。RunOptions.resolve から） */
+    resolver?: ExternalResolver;
+    /** 被覆サマリの収集（ADR-37 判断 7 (b)）: 評価が参照した各データ源・被覆主張 */
+    coverage: Map<string, {
+        source: string;
+        covering: string;
+        asof?: string;
+        concluded: boolean;
+        covEnd: number;
+    }>;
+    vocab: Set<string>;
+    tzName: string;
+    tz: Tz;
+    epoch: number;
+    computeEnd: number;
+    fromMs: number;
+    toMs: number;
+    constructor(fromMs: number, toMs: number, tz: string);
+    /** 実行既定 tz での錨打ち（表示・asof 等の寛容な文脈。隙間→最初の瞬間・重複→最初の候補） */
+    dateToMs(d: DateVal): number;
+    /** 表示形（実行既定 tz の市民ラベル） */
+    fmt(ms: number): string;
+}
+export declare class Evaluator {
+    /** premise 公開語のメモ（参照しうる文脈メンバー wkst・tz・calendar-system をキーに含める。I6）。
+     *  tzChecks＝右辺評価中に踏んだ predicateAlign 文脈の tz 名検査の記録（ADR-53＝還流第 16 便 §2:
+     *  ヒット時にも現在の predicateAlign で再実行——検査の順序独立性と値の同一性を両立） */
+    private defCache;
+    /** 評価中の束縛の tz 名検査ログ（ネスト束縛は全層へ記録——外側ヒット時は内側評価が走らないため）。
+     *  baseAlign＝束縛評価開始時の predicateAlign（記録条件②の基準。還流第 17 便 §2） */
+    private tzCheckLogs;
+    /** 評価中の label: 付与式（再入ガード。自己参照＝定義中の束縛名のラベル射影を検出。ADR-34） */
+    private labelStack;
+    /** 導出中のカレンダー実体（自己・相互循環の検出。ADR-35 判断 8——ADR-41 の導出鎖
+     *  isOpen → bizOpen → C.nonWorking 越しの自己・相互参照もこの集合で捕まる） */
+    private derivingEntities;
+    /** 解決中の束縛（引数なし束縛の自己・相互循環の検出＝§4.8 の依存解析。F110） */
+    private resolvingDefs;
+    /** 適用評価中のラムダ本体（糖衣定義の再帰適用の検出＝§4.8「展開は有限」。F110。
+     *  鍵は本体 Expr の参照同一性——lambda 値は解決ごとに再生成されるが本体 AST は同一。
+     *  正当な再適用（f(a) | f(b)）は逐次・ネスト f(g(s)) は先に引数を評価するため再入しない） */
+    private applyingBodies;
+    /** 細粒度導出（ADR-41）のメモ——実体名＋文脈キー（defCache と同じ面。ADR-41 帰結） */
+    private fineCache;
+    /** external のスナップショット（ADR-46 判断 5）: 一評価一解決。キー＝定義側 premise#束縛#解決後 source
+     *  ——with 派生・多文脈・修飾参照は同一スナップショットを見る。変換（錨打ち・covering 端）は
+     *  defCache 側＝評価文脈ごと（リテラルの再錨と同型） */
+    private socketCache;
+    /** 評価中の premise 束縛（external の合法位置の文脈。null＝本体層・top-level＝external 不可） */
+    private externalCtx;
+    /** filter 述語に流れている点列の整列（免除系 tz 検査の評価時近似＝ADR-36 改訂 2/ADR-40。
+     *  点はデータを運ばない（ADR-30/33）ため、静的検査の近似として評価文脈で運ぶ） */
+    private predicateAlign;
+    /** 束縛右辺の評価中、遮断した呼び出し側 locals 鎖（誘導文言用。ADR-53＝還流第 16 便 §1）。
+     *  束縛右辺の名前解決は「束縛・premise 語・前文メンバー・列挙」で閉じる——呼び出し側の
+     *  ラムダ変数には落とさない（定義の意味が使用箇所の変数名に依存する捕獲は静的エラー） */
+    private severedLocalsEnv;
+    rt: Runtime;
+    constructor(rt: Runtime);
+    runProgram(program: Program, defaultMembers: Map<string, string | Expr>): RunResult['results'];
+    registerPremise(st: Statement & {
+        t: 'premiseDef';
+    }): void;
+    /** rephase(δ, on: W, unit: U) → W = U span (_ => k) phase: φ₀+δ（§3.7） */
+    private rephaseArgs;
+    private expandShiftBoundary;
+    private constNum;
+    private constLambdaValue;
+    /** rhs が covering: つき、または日付要素を含むテーブルリテラルを含むか（tz: 必須の執行の判定）。
+     *  external 束縛も対象（解決値 covering の端と kind: dates の錨は定義側 tz で解決——ADR-46 判断 4） */
+    private hasDateTable;
+    /** cycle のラベル列・labels: 列から列挙ラベル語彙を集める（名前解決のフォールバック用） */
+    scanVocab(e: Expr | ListElem): void;
+    resolve(name: string, env: Env): V;
+    /** 名前が束縛（locals・premise 公開語・メンバー・top-level）として解決可能か（軸位置の曖昧性検出用） */
+    private isBoundName;
+    private calendarSystemOf;
+    /** member 解決規則（ADR-35 判断 8）: 定義側（root と base 連鎖）が宣言するメンバーは定義側の値で
+     *  固定し、宣言しないメンバーだけ利用側で解決する（tz: の内側固定と wkst: の遅延解決が同居する形） */
+    private overlayMembers;
+    private memberStr;
+    /** premise 公開語の評価。裸名は root（利用側の premise）で再解決される＝機構 A。
+     *  前文メンバーは定義側優先で上書き重ね（ADR-35 判断 8） */
+    private evalDef;
+    /** 明示の被覆主張（ADR-37 判断 5）: 成分由来の註釈をこの束縛の主張の補集合で置き換える
+     *  （相殺の唯一の口）。必要条件検査: 主張範囲 ⊆（成分の covering の和 ∪ 註釈区間の補集合）
+     *  ——規則ベースの成分（註釈なし）は補集合側が全時間を語る */
+    private applyClaim;
+    /** external の合法位置の静的検査（ADR-46 判断 1）: premise 束縛の rhs 自身または pipe の先頭のみ。
+     *  引数つき束縛・深い位置（ラムダ内・引数内・結合子の枝）は静的エラー */
+    private checkExternalPositions;
+    /** 外部供給宣言 external（ADR-46）: 実行時に解決されるテーブルリテラル。宣言（kind・labels 値域・
+     *  source）が字面の代役＝静的知識を先取りし、解決値にリテラルと同一の統治検査を課す */
+    private evalExternal;
+    /** 解決値→テーブル値の変換と契約検査（ADR-46 判断 6。リテラルと同一の統治・文言体系） */
+    private externalToTable;
+    /** asof: メンバーの表示形（註釈・被覆サマリの属性） */
+    private asofOf;
+    /** 被覆サマリへの登録（ADR-37 判断 7 (b)）: 評価が参照した各データ源・被覆主張 */
+    private registerCoverage;
+    /** テーブルの範囲外註釈＝覆域の補集合（ADR-37 判断 1: 値は列が決め、註釈は covering が決める） */
+    private tableAnn;
+    /** 窓相当の値の註釈（窓列の実効被覆域の補集合）。生成語の windows（暦法純粋）は無註釈 */
+    private winAnnOfV;
+    /** 窓リーダーの覆域検査（ADR-37 判断 4/6・F82）: 点が窓に解決できても、その窓が窓列自身の
+     *  註釈区間（マーカー覆域の補集合）に交差するなら窓境界そのものが未知——証人・序数の判定
+     *  以前に範囲外へ分類する（過小近似は不可。合成マーカー（openTick | closeTick 級）の帯が
+     *  覆域の尽きた側で黙って 24 時間帯化して読まれる欠陥の封止） */
+    private winCovOrOut;
+    /** 分類器（ADR-37 判断 6）: 失敗点が依存の実効被覆域の外＝註釈区間の内なら範囲外シグナル・
+     *  内（覆域内の失敗）なら従来どおり硬エラー（取り違え＝ADR-16 の統治のまま） */
+    private outOrErr;
+    private everyDay;
+    /** 在圏 tz 名（ADR-36 判断 6: リテラル文字列の等値）。未宣言は実行既定 tz へフォールバック */
+    private tzNameOf;
+    /** 在圏 tz の幾何（ADR-33 射影パラメータモデル）——タグの tz 名と実グリッドはここで一致する */
+    private tzObjOf;
+    /** 日付・時刻リテラルの錨打ち（在圏 tz。ADR-33）: 日付のみ＝市民日の最初の瞬間・
+     *  時刻付きで DST の隙間（存在しない時刻）・重複（二意の時刻）は明示エラー */
+    private anchorDate;
+    /** 単独時刻リテラルの錨打ち（ADR-51）: epoch 錨日 1970-01-01（在圏 tz）＋日内時刻。
+     *  現行 tzdb 全ゾーンで 1969-12-30〜1970-01-04 に DST 遷移は無い（悉皆確認済み）が、
+     *  錨打ちは anchorDate と同じ厳格規約を通す（万一の非一意は黙らせない） */
+    private anchorTimeOfDay;
+    /** 市民日グリッド（1d・既定整列・在圏 tz）——テーブル・day 原子の整列の既定形 */
+    private dayGrain;
+    /** 整列の検査（ADR-36 判断 3）: 等値所属の両辺は同一 G を要求 */
+    private checkAlign;
+    /** 免除系の tz 名検査（ADR-36 改訂 2・ADR-40 判断 6）: 区間所属は幅・位相を問わない（免除は維持）が、
+     *  tz 名だけは日付座標系そのもの——市民グリッド入力 × 市民の窓要素グリッドの不一致は
+     *  「ラベル 1 日ずれの束ね・曜日読み」が黙って通る形なので静的エラー。snapTo は除外（chronos 所属） */
+    private checkTzMembership;
+    /** 軸位置の名前の評価（ADR-35 判断 4）: 束縛は通常解決・premise 名だけならカレンダー実体の
+     *  読み替え（標準導出 bizDay）・両方に解決できる名前は曖昧＝静的エラー */
+    private evalAxis;
+    /** 在圏 calendar: の実体の解決（deriveBizDay / deriveBizFine の共通部） */
+    private calendarEntity;
+    /** bizDay 標準導出（ADR-35 判断 3/4）: everyDay \ C.nonWorking——everyDay は在圏解決・
+     *  C.nonWorking は C にピン（member 解決規則で内側固定）。正体判定込み */
+    private deriveBizDay;
+    /** 細粒度標準導出（ADR-41）: bizOpen・bizClose・isOpen の共通実体化。評価は実体相対
+     *  （判断 3）——C の env（member 解決＝定義側優先・ADR-35 判断 8）で C.sessionOpens・C.sessionCloses・
+     *  C.nonWorking・C.everyDay を読む。対宣言と整合性の検査は細粒度導出の初回使用時 */
+    private deriveBizFine;
+    /** 整合性検査（ADR-41 判断 2）: マーカー列（sessionOpens/sessionCloses の成分別の素性つきマージ）の局所交互。
+     *  定義域＝結合実効被覆域（両ストリームの註釈区間の補集合）∩ 実体化範囲——註釈区間は未知で
+     *  あって違反ではない。定義域の頭の孤立 close・尾の孤立 open は切り欠きとして合法。
+     *  同時刻の open/close は両点保持——順序は文脈で一意なので状態を変えない。層はデータ相対 */
+    private checkAlternation;
+    /** isOpen(t) の判定（ADR-41 判断 3）: t が bizOpen セッションの半開区間の和に入るか。
+     *  覆域は証人規則の三分岐——真偽が sessionOpens/sessionCloses/nonWorking の註釈区間に依存するなら範囲外
+     *  （filter 文脈は落として註釈・純値文脈は明示エラー。ADR-37 判断 6 の分類器と同じ層） */
+    private isOpenAt;
+    /** isOpen の範囲外シグナル（ADR-41 判断 3 の範囲外側・ADR-37 の分類器の流儀） */
+    private openOut;
+    evalExpr(e: Expr, env: Env): V;
+    private evalList;
+    /** covering-list の解決（ADR-37 判断 9）: 端は premise tz の市民日・年は暦年・
+     *  端の省略＝開端（完結主張＝±∞）・区間リスト＝中抜けの申告 */
+    private resolveCovering;
+    /** covering の端は premise の tz の市民日で解決する（ADR-37 判断 1） */
+    private coveringEdge;
+    private evalBin;
+    private eq;
+    private evalCall;
+    private lookupLocal;
+    private lookupBinding;
+    private bindParams;
+    /** 値の適用: ラムダ・cycle（点→ラベル）・ラベル付きテーブル（点→ラベル。ADR-30 束縛名射影）・
+     *  label: 付与式つきの窓（点→ラベル。§4.9・ADR-34 束縛名射影）。
+     *  窓束縛は引数の型で dispatch（ADR-42 判断 4: 点→射影・値→窓インスタンス参照＝逆像。
+     *  判定時点は糖衣展開後・実引数束縛後＝実引数の評価値の型） */
+    applyValue(callee: V, args: V[], env: Env, calleeName?: string): V;
+    /** 窓束縛への引数の型域（ADR-42 判断 7 (e)）: 点（射影）か値（インスタンス参照）のみ */
+    private checkArgIsPoint;
+    /** 窓インスタンス参照（ADR-42 判断 2）: W(v) ≡ W の要素点列 |> filter(d => W(d) == v)。
+     *  要素点列＝W の定義が窓に束ねた入力点列のうち W の窓に属する点（grid/span/split 連鎖では
+     *  原子グリッドの目盛りと同値・segmentBy では入力ストリームの点＝F93 の修正）。
+     *  出力の註釈区間＝窓列の実効被覆域の補集合（判断 3 の輸送行＝F94・segmentBy 行の継承）。
+     *  ラベルは窓ごとに一定（付与式は窓先頭点で評価＝ADR-34 の構造保証）なので窓単位で評価する
+     *  （外延等価の最適化——ADR-42 帰結）。ラベル一意でなければ全マッチの和・ゼロマッチは空（ADR-15） */
+    private windowInstance;
+    /** 述語 filter の共通経路（ADR-37 判断 4/6・F75）: 述語が範囲外参照を要求した点は落とし、
+     *  依存の註釈区間（窓越し参照は読んだ窓の逆像へ拡幅）を出力へ輸送する。filter 段と
+     *  窓インスタンス参照（ADR-42 判断 3）が共有する。
+     *  predicateAlign＝述語に流れる点の整列（免除系 tz 検査の評価時近似の文脈。ADR-40） */
+    private filterByPredicate;
+    /** label: 射影（§4.9・ADR-34）: 名前(d) ≡ 付与式(d の属する窓の先頭点)。評価は射影時・遅延（I7） */
+    private projectLabel;
+    /** gen 語ごとの既知 named-arg（ADR-39: 未知の名前付き引数を黙って捨てない）。
+     *  cycle の label: は既知に含め、genLabelFn の専用エラー（ADR-34）に委ねる */
+    private static readonly GEN_NAMED;
+    private evalGen;
+    /** segmentBy の labels: リストの評価（ADR-39）: リテラルまたはリスト束縛名。
+     *  ラベル値の型域は ADR-34 判断 3 と同一（スカラー値・等質・空リスト不可） */
+    private windowLabelList;
+    /** gen-expr の label: 付与式（§4.9・ADR-34）。ラムダ値を評価時の環境ごと閉包として保持し、
+     *  評価は射影時まで遅延する（I7。premise 相対の遅延解決＝ADR-17 はラムダの env が担う） */
+    private genLabelFn;
+    private labelLambda;
+    /** core 段ごとの既知 named-arg（ADR-39: 未知の名前付き引数を黙って捨てない——タイポの検査面） */
+    private static readonly STAGE_NAMED;
+    applyStage(stream: StreamV, stage: Stage, env: Env): StreamV;
+    /** 糖衣右辺の変換適用: 基底 B（s => s |> …）とポイントフリー略記 A の両方（§4.8） */
+    private applyTransform;
+    private axisMember;
+    toStream(v: V, name?: string): StreamV;
+    /** snapTo/within の対象窓の要素グリッド（ADR-36 判断 2 の「要素グリッド」）。
+     *  windows＝生成連鎖の grain・窓つきストリーム＝最内窓の grain（segmentBy はマーカーの整列） */
+    private winGrainOf;
+    /** 対象窓列の実体化下限＝窓 tz の紀元の市民日開始（紀元は tz 相対＝ADR-33。F107）。
+     *  市民グリッド以外（経過・整列なし）は実行既定 tz の紀元（従来判定）に落とす——
+     *  anchored grid の位相による頭の切り欠き（紀元以後・窓なし）は従来どおり③硬エラー側 */
+    private windowFloorOf;
+    toPoints(v: V): number[];
+    private windowsOf;
+    /** split の親・by: の受理（ADR-48）: パーティション窓に加え、規則マーカー由来の実効パーティション
+     *  （覆域註釈のない segmentBy 製窓列＝within が受けるものの部分集合）を受ける。
+     *  データ由来（covering 付き）マーカーの窓列は受理しない——覆域編集で g(i) の序数が動く
+     *  （関数 g には labels: の同長性検査に相当する防波堤が無い）。empties: drop の親（非連続）も不可。 */
+    private splitWindowsOf;
+    /** 窓相当（windows・cycle・窓つきストリーム）から区間列を得る */
+    intervalsOf(v: V, env: Env): Iv[];
+    private checkPartition;
+    private num;
+    private bool;
+    private sym;
+    private point;
+    private err;
+}
+export {};