rei-lang 0.3.0 → 0.4.0

package/dist/index.d.ts

@@ -1,72 +1,106 @@
-declare const TokenType: Record<string, string>;
-interface Token {
-    type: string;
-    value: string;
-    line: number;
-    col: number;
+/** 結合モード */
+type BindingMode = 'mirror' | 'inverse' | 'resonance' | 'entangle' | 'causal';
+/** 伝播規則 */
+interface PropagationRule {
+    type: 'immediate' | 'delayed' | 'attenuated';
+    delay: number;
+    attenuation: number;
 }
-declare class Lexer {
-    private source;
-    private chars;
-    private pos;
-    private line;
-    private col;
-    private tokens;
-    constructor(source: string);
-    tokenize(): Token[];
-    private skipWhitespaceAndComments;
-    private readString;
-    private isExtStart;
-    private readExtLit;
-    private readNumber;
-    private readUnicodeToken;
-    private readMultiCharOp;
-    private readSingleCharOp;
-    private readIdentOrKeyword;
-    private advance;
-    private peek;
-    private emit;
-    private isDigit;
-    private isIdentStart;
-    private isIdentPart;
-    private shouldNegateBePrefix;
+/** 結合イベント — 記憶属性との統合 */
+interface BindingEvent {
+    step: number;
+    type: 'created' | 'propagated' | 'broken' | 'strengthened' | 'weakened';
+    sourceValue: any;
+    targetValue: any;
+    delta: number;
 }
-
-declare class Parser {
-    private pos;
-    private tokens;
-    constructor(tokens: Token[]);
-    parseProgram(): any;
-    private parseStatement;
-    private parseLetStmt;
-    private parseCompressDef;
-    private parseCompressLevel;
-    private parseParamDecl;
-    private parseExpression;
-    private parsePipe;
-    private parsePipeCommand;
-    private parseLogicOr;
-    private parseLogicAnd;
-    private parseComparison;
-    private parseAddition;
-    private parseMultiplication;
-    private parseExtendReduce;
-    private parseUnary;
-    private parsePostfix;
-    private parsePrimary;
-    private parseMDimLit;
-    private parseSpaceLit;
-    private parseIfExpr;
-    private parseMatchExpr;
-    private peek;
-    private isAtEnd;
-    private check;
-    private checkAhead;
-    private advance;
-    private match;
-    private expect;
-    private error;
-    private shouldNegateBePrefix;
+/** 結合（Binding）— 2つの値の非局所的な関係 */
+interface ReiBinding {
+    id: string;
+    sourceRef: string;
+    targetRef: string;
+    mode: BindingMode;
+    strength: number;
+    propagation: PropagationRule;
+    bidirectional: boolean;
+    active: boolean;
+    history: BindingEvent[];
+    createdAt: number;
+}
+/** 結合の要約（σ.relation に含める用） */
+interface BindingSummary {
+    id: string;
+    target: string;
+    mode: BindingMode;
+    strength: number;
+    active: boolean;
+    propagationCount: number;
+}
+/**
+ * 結合レジストリ — 全結合を管理し、伝播を実行する
+ *
+ * Evaluator内に1つのインスタンスを保持する。
+ * 変数への代入（Environment.set）時に propagate() が呼ばれ、
+ * 結合先に変更が自動的に伝播する。
+ */
+declare class BindingRegistry {
+    private bindings;
+    private refIndex;
+    private globalStep;
+    private _propagating;
+    /**
+     * 2つの変数参照を結合する
+     *
+     * @param sourceRef 結合元の変数名
+     * @param targetRef 結合先の変数名
+     * @param mode      結合モード
+     * @param strength  結合の強さ (0.0~1.0)
+     * @param bidirectional 双方向結合にするか
+     * @param propagation   伝播規則
+     * @returns 作成された結合
+     */
+    bind(sourceRef: string, targetRef: string, mode?: BindingMode, strength?: number, bidirectional?: boolean, propagation?: PropagationRule): ReiBinding;
+    /**
+     * 変数の値が変化したとき、結合先に変更を伝播する
+     *
+     * @param changedRef 変更された変数名
+     * @param newValue   新しい値
+     * @param getValue   変数の値を取得する関数
+     * @param setValue   変数の値を設定する関数
+     * @returns 伝播された結合の数
+     */
+    propagate(changedRef: string, newValue: any, getValue: (ref: string) => any, setValue: (ref: string, value: any) => void): number;
+    private computePropagatedValue;
+    /**
+     * 2つの変数間の結合を解除する
+     */
+    unbind(sourceRef: string, targetRef: string): boolean;
+    /**
+     * 変数に関連する全結合を解除する
+     */
+    unbindAll(ref: string): number;
+    /**
+     * 変数に関連する全結合の要約を返す
+     */
+    getBindingsFor(ref: string): BindingSummary[];
+    /**
+     * 全結合を返す
+     */
+    getAllBindings(): ReiBinding[];
+    /**
+     * アクティブな結合の数を返す
+     */
+    get activeCount(): number;
+    /**
+     * レジストリをリセットする
+     */
+    reset(): void;
+    /**
+     * 変数のσ.relation情報を構築する
+     */
+    buildRelationSigma(ref: string): any[];
+    private findBinding;
+    private addToIndex;
 }
 
 interface SigmaMetadata {
@@ -93,6 +127,7 @@ declare class Environment {
 }
 declare class Evaluator {
     env: Environment;
+    bindingRegistry: BindingRegistry;
     constructor(parent?: Environment);
     private registerBuiltins;
     eval(ast: any): any;
@@ -131,39 +166,92 @@ declare class Evaluator {
     isSpace(v: any): boolean;
     isDNode(v: any): boolean;
     isReiVal(v: any): boolean;
+    isStringMDim(v: any): boolean;
     /** 値からσメタデータを取得（Tier 1） */
     getSigmaMetadata(v: any): SigmaMetadata;
     /** ReiValを透過的にアンラップ */
     unwrap(v: any): any;
+    /** 値からその変数名を逆引きする（参照一致） */
+    findRefByValue(value: any): string | null;
+    /** 結合の伝播をトリガーする（変数名 + 新値） */
+    triggerPropagation(ref: string, newValue: any): number;
 }
 
-/**
- * Evaluate Rei code and return the result.
- *
- * @example
- * ```typescript
- * import { rei } from 'rei-lang';
- *
- * // Basic computation
- * rei('𝕄{5; 1, 2, 3} |> compute');  // 7
- *
- * // Sigma self-reference (C1)
- * rei('42 |> sigma');  // { reiType: "SigmaResult", ... }
- *
- * // Consciousness axioms
- * rei('𝕄{5; 1, 2, 3} |> awareness');  // awakening score
- * rei('𝕄{5; 1, 2, 3} |> consensus');  // multi-mode consensus
- *
- * // Encode/Decode (U5 completeness)
- * rei('[1, 2, 3] |> encode |> compute');  // encode anything to 𝕄
- * ```
- */
-declare function rei(code: string): any;
-declare namespace rei {
+interface Token {
+    type: string;
+    value: string;
+    line: number;
+    col: number;
+}
+declare class Lexer {
+    private source;
+    private chars;
+    private pos;
+    private line;
+    private col;
+    private tokens;
+    constructor(source: string);
+    tokenize(): Token[];
+    private skipWhitespaceAndComments;
+    private readString;
+    private isExtStart;
+    private readExtLit;
+    private readNumber;
+    private readUnicodeToken;
+    private readMultiCharOp;
+    private readSingleCharOp;
+    private readIdentOrKeyword;
+    private advance;
+    private peek;
+    private emit;
+    private isDigit;
+    private isIdentStart;
+    private isIdentPart;
+    private shouldNegateBePrefix;
+}
+
+declare class Parser {
+    private pos;
+    private tokens;
+    constructor(tokens: Token[]);
+    parseProgram(): any;
+    private parseStatement;
+    private parseLetStmt;
+    private parseCompressDef;
+    private parseCompressLevel;
+    private parseParamDecl;
+    private parseExpression;
+    private parsePipe;
+    private parsePipeCommand;
+    private parseLogicOr;
+    private parseLogicAnd;
+    private parseComparison;
+    private parseAddition;
+    private parseMultiplication;
+    private parseExtendReduce;
+    private parseUnary;
+    private parsePostfix;
+    private parsePrimary;
+    private parseMDimLit;
+    private parseSpaceLit;
+    private parseIfExpr;
+    private parseMatchExpr;
+    private peek;
+    private isAtEnd;
+    private check;
+    private checkAhead;
+    private advance;
+    private match;
+    private expect;
+    private error;
+    private shouldNegateBePrefix;
+}
+
+declare function reiFn(source: string): any;
+declare namespace reiFn {
     var reset: () => void;
     var evaluator: () => Evaluator;
-    var parse: (code: string) => any;
-    var tokenize: (code: string) => Token[];
 }
+declare const rei: typeof reiFn;
 
-export { Environment, Evaluator, Lexer, Parser, type Token, TokenType, rei };
+export { Evaluator, Lexer, Parser, rei };