rei-lang 0.5.1 → 0.5.2

package/README.md

@@ -2,7 +2,7 @@
 
 [![npm version](https://img.shields.io/npm/v/rei-lang)](https://www.npmjs.com/package/rei-lang)
 [![License: Apache 2.0](https://img.shields.io/badge/License-Apache_2.0-gold.svg)](./LICENSE)
-[![Tests](https://img.shields.io/badge/tests-762%2F762-brightgreen)]()
+[![Tests](https://img.shields.io/badge/tests-799%2F799-brightgreen)]()
 
 **Rei** (0₀式 / れいしき) is a mathematical computation language based on **D-FUMT** (Dimensional Fujimoto Universal Mathematical Theory). Its center-periphery patterns as language primitives achieve an **average 74% code reduction** over equivalent implementations in general-purpose languages.
 
@@ -10,6 +10,31 @@
 
 ---
 
+## What's New in v0.5.2 — Phase 4b/4c (Puzzle & Game Deepening)
+
+### Phase 4b: パズル推論深化
+- **Hidden Single 検出** — 制約グループ内で唯一の候補位置を自動確定
+- **Pointing Pair 検出** — Box-Line Reduction による高度候補消去
+- **推論層追跡 (ReasoningTrace)** — 各確定/消去ステップの推論層を記録
+- **難易度分析 (DifficultyAnalysis)** — easy/medium/hard/expert の自動判定（スコア0-100）
+- 新パイプ: `agent_difficulty` / `自律難易度`, `agent_trace` / `自律追跡`
+
+### Phase 4c: ゲーム推論深化
+- **行動パターン分化** — reactive（防御的）/ proactive（攻撃的）/ contemplative（MC評価）/ competitive（minimax）
+- **戦術パターン知覚** — threat, opportunity, fork, block, center, corner の自動検出
+- **対局分析 (MatchAnalysis)** — プレイヤー別の手数・戦術パターン集計・サマリー生成
+- 新パイプ: `agent_analyze` / `自律分析`
+
+```rei
+// Phase 4b: パズル難易度分析
+30 |> generate_sudoku(42) |> agent_difficulty
+// → { level: "easy", score: 12, layersUsed: ["layer1_elimination"], ... }
+
+// Phase 4c: 対局分析（reactive vs minimax）
+"tic_tac_toe" |> game |> agent_analyze("reactive", "minimax")
+// → { winner: 2, players: [{behavior: "reactive", ...}, {behavior: "competitive", ...}] }
+```
+
 ## What's New in v0.5.1 — AgentSpace (Phase 4a)
 
 **Puzzles and games are the same abstraction.** AgentSpace unifies puzzle-solving and game-playing on the v0.5 agent runtime:

package/bin/rei.js

@@ -13,7 +13,7 @@ const fs = require('fs');
 const path = require('path');
 const readline = require('readline');
 
-const VERSION = '0.5.1';
+const VERSION = '0.5.2';
 
 // --- Result formatting ---
 function formatResult(val) {

package/dist/index.d.mts

@@ -929,6 +929,9 @@ interface AgentSpaceResult {
     winner?: number | null;
     moveHistory?: GameMove[];
     finalBoard?: any[];
+    difficulty?: DifficultyAnalysis;
+    reasoningTrace?: ReasoningTrace[];
+    matchAnalysis?: MatchAnalysis;
 }
 /** AgentSpace σ */
 interface AgentSpaceSigma {
@@ -975,15 +978,62 @@ interface PuzzleAgentData {
     }>;
     totalEliminations: number;
     totalConfirmations: number;
+    reasoningTrace: ReasoningTrace[];
 }
-/** ゲーム Agent 用データ */
 interface GameAgentData {
     gameName: string;
     rules: GameRules;
     state: GameState;
     maxDepth: number;
     strategies: [string, string];
+    behaviors: [string, string];
     searchNodes: number;
+    tacticalHistory: Array<{
+        player: number;
+        patterns: TacticalPattern[];
+    }>;
+}
+/** 推論層レベル (Phase 4b) */
+type ReasoningLayer = 'layer1_elimination' | 'layer2_naked_pair' | 'layer2_hidden_single' | 'layer2_pointing_pair' | 'layer3_backtrack';
+/** 推論追跡エントリ (Phase 4b) */
+interface ReasoningTrace {
+    round: number;
+    layer: ReasoningLayer;
+    cell: [number, number];
+    detail: string;
+    value?: number;
+}
+/** 難易度レベル (Phase 4b) */
+type DifficultyLevel = 'easy' | 'medium' | 'hard' | 'expert';
+/** 難易度分析結果 (Phase 4b) */
+interface DifficultyAnalysis {
+    reiType: 'DifficultyAnalysis';
+    level: DifficultyLevel;
+    score: number;
+    layersUsed: ReasoningLayer[];
+    layerCounts: Record<ReasoningLayer, number>;
+    totalSteps: number;
+    backtrackCount: number;
+}
+/** 戦術パターン (Phase 4c) */
+type TacticalPattern = 'threat' | 'opportunity' | 'fork' | 'block' | 'center' | 'corner' | 'none';
+/** 対局分析結果 (Phase 4c) */
+interface MatchAnalysis {
+    reiType: 'MatchAnalysis';
+    winner: number | null;
+    totalMoves: number;
+    players: PlayerAnalysis[];
+    tacticalSummary: string;
+}
+/** プレイヤー分析 (Phase 4c) */
+interface PlayerAnalysis {
+    player: number;
+    behavior: string;
+    strategy: string;
+    avgSearchNodes: number;
+    totalSearchNodes: number;
+    moveCount: number;
+    tacticalPatterns: Record<TacticalPattern, number>;
 }
 /**
  * PuzzleSpace を AgentSpace に変換する
@@ -1023,6 +1073,19 @@ declare function formatAgentSpacePuzzle(space: AgentSpace): string;
  * AgentSpace の盤面フォーマット（ゲーム用）
  */
 declare function formatAgentSpaceGame(space: AgentSpace): string;
+/**
+ * パズル難易度分析 (Phase 4b)
+ * 使用された推論層に基づいて難易度を判定
+ */
+declare function getDifficultyAnalysis(space: AgentSpace): DifficultyAnalysis;
+/**
+ * 推論追跡取得 (Phase 4b)
+ */
+declare function getReasoningTrace(space: AgentSpace): ReasoningTrace[];
+/**
+ * 対局分析 (Phase 4c)
+ */
+declare function getMatchAnalysis(space: AgentSpace): MatchAnalysis;
 
 declare function reiFn(source: string): any;
 declare namespace reiFn {
@@ -1031,4 +1094,4 @@ declare namespace reiFn {
 }
 declare const rei: typeof reiFn;
 
-export { AgentRegistry, Evaluator, Lexer, Parser, ReiAgent, ReiEventBus, ReiMediator, agentSpaceRun, agentSpaceRunRound, createGameAgentSpace, createPuzzleAgentSpace, formatAgentSpaceGame, formatAgentSpacePuzzle, getAgentSpaceGameState, getAgentSpaceGrid, getAgentSpaceSigma, rei };
+export { AgentRegistry, Evaluator, Lexer, Parser, ReiAgent, ReiEventBus, ReiMediator, agentSpaceRun, agentSpaceRunRound, createGameAgentSpace, createPuzzleAgentSpace, formatAgentSpaceGame, formatAgentSpacePuzzle, getAgentSpaceGameState, getAgentSpaceGrid, getAgentSpaceSigma, getDifficultyAnalysis, getMatchAnalysis, getReasoningTrace, rei };

package/dist/index.d.ts

@@ -929,6 +929,9 @@ interface AgentSpaceResult {
     winner?: number | null;
     moveHistory?: GameMove[];
     finalBoard?: any[];
+    difficulty?: DifficultyAnalysis;
+    reasoningTrace?: ReasoningTrace[];
+    matchAnalysis?: MatchAnalysis;
 }
 /** AgentSpace σ */
 interface AgentSpaceSigma {
@@ -975,15 +978,62 @@ interface PuzzleAgentData {
     }>;
     totalEliminations: number;
     totalConfirmations: number;
+    reasoningTrace: ReasoningTrace[];
 }
-/** ゲーム Agent 用データ */
 interface GameAgentData {
     gameName: string;
     rules: GameRules;
     state: GameState;
     maxDepth: number;
     strategies: [string, string];
+    behaviors: [string, string];
     searchNodes: number;
+    tacticalHistory: Array<{
+        player: number;
+        patterns: TacticalPattern[];
+    }>;
+}
+/** 推論層レベル (Phase 4b) */
+type ReasoningLayer = 'layer1_elimination' | 'layer2_naked_pair' | 'layer2_hidden_single' | 'layer2_pointing_pair' | 'layer3_backtrack';
+/** 推論追跡エントリ (Phase 4b) */
+interface ReasoningTrace {
+    round: number;
+    layer: ReasoningLayer;
+    cell: [number, number];
+    detail: string;
+    value?: number;
+}
+/** 難易度レベル (Phase 4b) */
+type DifficultyLevel = 'easy' | 'medium' | 'hard' | 'expert';
+/** 難易度分析結果 (Phase 4b) */
+interface DifficultyAnalysis {
+    reiType: 'DifficultyAnalysis';
+    level: DifficultyLevel;
+    score: number;
+    layersUsed: ReasoningLayer[];
+    layerCounts: Record<ReasoningLayer, number>;
+    totalSteps: number;
+    backtrackCount: number;
+}
+/** 戦術パターン (Phase 4c) */
+type TacticalPattern = 'threat' | 'opportunity' | 'fork' | 'block' | 'center' | 'corner' | 'none';
+/** 対局分析結果 (Phase 4c) */
+interface MatchAnalysis {
+    reiType: 'MatchAnalysis';
+    winner: number | null;
+    totalMoves: number;
+    players: PlayerAnalysis[];
+    tacticalSummary: string;
+}
+/** プレイヤー分析 (Phase 4c) */
+interface PlayerAnalysis {
+    player: number;
+    behavior: string;
+    strategy: string;
+    avgSearchNodes: number;
+    totalSearchNodes: number;
+    moveCount: number;
+    tacticalPatterns: Record<TacticalPattern, number>;
 }
 /**
  * PuzzleSpace を AgentSpace に変換する
@@ -1023,6 +1073,19 @@ declare function formatAgentSpacePuzzle(space: AgentSpace): string;
  * AgentSpace の盤面フォーマット（ゲーム用）
  */
 declare function formatAgentSpaceGame(space: AgentSpace): string;
+/**
+ * パズル難易度分析 (Phase 4b)
+ * 使用された推論層に基づいて難易度を判定
+ */
+declare function getDifficultyAnalysis(space: AgentSpace): DifficultyAnalysis;
+/**
+ * 推論追跡取得 (Phase 4b)
+ */
+declare function getReasoningTrace(space: AgentSpace): ReasoningTrace[];
+/**
+ * 対局分析 (Phase 4c)
+ */
+declare function getMatchAnalysis(space: AgentSpace): MatchAnalysis;
 
 declare function reiFn(source: string): any;
 declare namespace reiFn {
@@ -1031,4 +1094,4 @@ declare namespace reiFn {
 }
 declare const rei: typeof reiFn;
 
-export { AgentRegistry, Evaluator, Lexer, Parser, ReiAgent, ReiEventBus, ReiMediator, agentSpaceRun, agentSpaceRunRound, createGameAgentSpace, createPuzzleAgentSpace, formatAgentSpaceGame, formatAgentSpacePuzzle, getAgentSpaceGameState, getAgentSpaceGrid, getAgentSpaceSigma, rei };
+export { AgentRegistry, Evaluator, Lexer, Parser, ReiAgent, ReiEventBus, ReiMediator, agentSpaceRun, agentSpaceRunRound, createGameAgentSpace, createPuzzleAgentSpace, formatAgentSpaceGame, formatAgentSpacePuzzle, getAgentSpaceGameState, getAgentSpaceGrid, getAgentSpaceSigma, getDifficultyAnalysis, getMatchAnalysis, getReasoningTrace, rei };