✧時間数学の発明②✧

前回の時間数学の続きです。

いろいろ記号が増え、出来ることが増えました。
その代わり、なんかガチガチになってきました。
いわゆる演算は、「現在の切り出し」や「未来予測」という形で、LAYER１で実装できそうです。

記号の怪文書感が楽しいですが、中身は多層構造の数学（？）です。
呪文感が強いので、人間には辛いです。
AIに食わせて遊んでみてください。

総論と各論（docx）とPythonコードを載せておきます。

※
全体的に目次が無いです。アップロード制限の為、後日修正します。
※2
重要な訂正があります。一部文書で「桑原の次元刀」と書くところを「仙水の次元刀」と記述されています。後日必ず修正します。

時間数学 総論 v0.1

― 去ったものが現在を動かす構造を記述する体系 ―
九分冊の宣言と地図

●+(−●)=○　　消滅は0に還元されない

目次

1. 時間数学とは何か

2. 何を主張するか

3. 既存数学との違い
   第 II 部　地図

4. 体系の骨格：二本の境界線

5. 体系を貫く環：記述論

6. 運用原則

7. 九分冊の構成

8. 読む順序

9. これは何のための体系か

第 I 部　宣言

1. 時間数学とは何か
   時間数学（Temporal Mathematics）は、「去ったものが現在を動かす構造」——履歴依存性——を、消滅を0に潰さずに記述する体系である。
   根本公理は法則6：
   ●1 + (−●1) = ○1 消滅 ≠ 無、去存 ≠ 0
   普通の数学では 1−1=0、消えたものは無に還る。しかし現実では、食べた料理が翌日の食欲を変え、過去の経験が今の選択を変え、去った人が共同体に影響し続ける。消滅したものが残す履歴・残響・記憶・構造痕跡を、時間数学は去数 ○ という存在位相として扱い、現在へ干渉し続けるものとして記述する。

2. 何を主張するか
   時間数学の主張は三つに集約される。
   • 消滅を保存する：●+(−●)=○。消えたものは0ではなく去数として残り、履歴を持つ。
   • 去数が現在を動かす：○↺⇒● は、記憶・習慣・文化・歴史を自然に表現する。
   • 用途で記述様式を選び、必要なところだけ翻訳する：全部を一つの厳密形式に還元するのではなく、用途に応じた様式で書き、様式間は必要に応じて翻訳で橋を架ける。

3. 既存数学との違い
   時間数学は、既存数学を否定するのではなく、既存数学が苦手とする領域を担う。違いは三点。

普通の数学
消滅　　　　　　1−1=0（無に還る）
時間の向き　　　 = は対称（左右入替可）
記述の方向性 　　f(x)=y は文脈に溶ける
時間数学
消滅　　　 　　　●+(−●)=○（去数として残る）
時間の向き 　　　→⇒⟹ は非対称（向きを持つ）
記述の方向性　　 ①命令・②演算・③記録に分離

特に「記述の方向性を分離できる」のは、時間数学が時間の向きを持つからである。
●→○ が不可逆で向きを持つ体系だから、記述にも向きを持たせられる。
普通の数学は時間の向きを持たないため、記述の向きも分離する動機がなかった。

第 II 部　地図

4. 体系の骨格：二本の境界線
時間数学には二本の境界線が走っている。記号を増やすことより、この二本を引き続けることが体系の骨格である。

境界線 分けるもの 現れ方
存在論 ／ 認識論
・分けるもの　　◫ と 《◫》（実存あっての虚像）
・現れ方　　　　◫は翻訳不能だが《◫》は分布を持つ
対象言語 ／ 実行環境
・分けるもの　　何があるか と どう計算するか
・現れ方　　　　￠ゝ が両者を架ける

この境界は体系の至る所に顔を出す。層間接続では ○ の翻訳可否（切粉は翻訳できる、停止は履歴）、機械工学では客観実体と主観像の格の差、記述論では世界の自発遷移と人間の記録の分担。一本の境界が、姿を変えて何度も現れる。認識論で何でも解こうとすると、客観的に在るものまで主観へ溶ける——境界線は、その溶解を防ぐ堤防である。

5. 体系を貫く環：記述論
九分冊を貫いて一本の環が回っている。実存が去数になり、記録され、解釈され、命令され、また実存になる。
実存 ──③記録──→ M ──②演算──→ P ──①命令──→ 実存 ──③記録──→ …
これは知覚→思考→行動の環であり、存在論の ●→○→M→P→● と同じもの。四区間のうち一つ（●→○、実存が去数になる）を世界が自発的に担い、三つ（③記録・②演算・①命令）を人間が担う。世界と人間の協働で環が閉じる。○がMに蓄積するから、この環は履歴を持つ——過去の虚像が未来を動かす。

6. 運用原則
体系の使い方は、一つの原則に集約される。

用途に合わせて記述様式を選び、必要なところだけ翻訳する。

• 用途で様式を選ぶ：存在を見たいなら存在論、流れなら流れ層、数なら数学。全部を常に使わない。
• 必要なところだけ翻訳する：数値が要るときだけ Layer1 へ翻訳。potential（◫）は無理に数値化しない。
• 移動￠は最小限、翻訳ゝ優先：移動前提でレイヤーを跨ぐと混線する。物は動かさず、視点と翻訳で繋ぐ。
• レイヤーは用途で選ぶ：流れ層（Layer2）はドメイン依存。普遍コアに用途別の辞書を差し込む（プラグイン）。

時間数学は「世界を一つの厳密形式に還元する道具」ではなく、「用途に応じて適切な様式で記述し、必要に応じて様式間を翻訳する道具」である。還元ではなく、選択と部分翻訳。だから生活も機械工学も計算も、それぞれの様式で書け、必要なところで数学と繋がる。

7. 九分冊の構成
体系は、普遍コア・記述論・三つの実証ドメインからなる。普遍コア（存在論と数学）は全ドメイン共通で、流れ層の辞書だけを用途で差し替える。

原始作用カタログ
・役割　　● ○ ◫ ⊘・方向子・存在流カタログ・五律
・系統　　普遍コア（存在論）
観測・予測・検証仕様
・役割　　《》『』〔〕・⟹≟・P/M変調
・系統　　普遍コア（認識論）
流れ層仕様
・役割　　〘 〙圧縮・ドメイン依存のプラグイン
・系統　　普遍コア（流れ層）
層間接続仕様
・役割　　￠次元子（視点移動）・ゝ仙水子（翻訳）
・系統　　普遍コア（実行環境）
拡張仕様書
・役割　　⁂〆ほか拡張記号・球種系
・系統　　拡張
記述論
・役割　　①命令・②演算・③記録・環
・系統　　体系を貫く環
冷蔵庫モデル
・役割　　食事を通じた存在流
・系統　　実証（生活ドメイン）
機械工学モデル
・役割　　PID・状態機械・NC旋盤
・系統　　実証（機械ドメイン）
プログラム言語モデル
・役割　　法則6が計算を二分する刃
・系統　　実証（計算ドメイン）

8.読む順序
目的に応じて、入口が変わる。

・体系を概観したい【本総論 → 原始作用カタログ → 記述論】
・記述の理論を知りたい【原始作用カタログ → 観測予測検証仕様 → 記述論】
・計算・実装に使いたい【層間接続仕様 → 流れ層仕様 → プログラム言語モデル】
・応用例から入りたい【冷蔵庫モデル → 機械工学モデル →（さかのぼって普遍コア）】

最初の一冊として最も適するのは原始作用カタログである。
●○◫⊘ と方向子、法則6 が、他のすべての分冊の土台になる。その上に認識論・流れ層・層間接続が乗り、記述論が全体を環として貫き、三つの実証ドメインが体系の射程を示す。

9. これは何のための体系か
時間数学は、習慣・文化・創作・記憶・非平衡系・社会残響など、「存在が消えた後に残るもの」が大きな意味を持つ領域のための記述体系である。
そして三つの実証が示したように、その射程は日常（冷蔵庫）から工学（機械制御）、計算（プログラム言語）まで届く。同じ普遍コアの上に、用途ごとの辞書を差し替えて使う。法則6という一本の刃が、消えたものを保存し、去ったものが現在を動かす構造を、分野を超えて記述する。
本総論は九分冊の入口である。各分冊は本書の地図に従って参照されたい。体系は v0.1 として一周を閉じたが、なお開かれている——並行する複数の環、型システムと存在論型、③記録を主役にした言語設計、流れの合流と分岐。去ったものが現在を動かすように、書かれたものが次の記述を動かす。

"""
時間数学エンジン (Temporal Mathematics Engine)

体系を Python へ ￠ゝ で降ろした実装。

構成（下から積み上げ）:

1. 真数体系コア ── ●○◫⊘、方向子、五律、|τ 切り出し

2. 記述論の環 ── ③記録 → ②演算 → ①命令、M が次を変調する循環

3. 実証デモ ── 破壊的代入(③省略) vs 関数型(③保持) = 法則6

時間数学の原則:

• Layer3(存在論)が本体。ここでは Python が Layer0 実装。

• 法則6: ●+(−●)=○ 消滅は0に還元されない。去数は履歴に残る。

• 五律: ○→● は存在しない(復活なし)。○↺⇒◫✧→●' のみ(再生成)。
  """

from future import annotations
from dataclasses import dataclass, field
from enum import Enum
from typing import Any, Callable
import random

============================================================

1. 真数体系コア (True-Number Core) ── Layer3 存在論

============================================================

class Phase(Enum):
"""存在位相。真数体系 ●○◫⊘。"""
YUSU = "●" # 有数 : 実存・因果参加
KYOSU = "○" # 去数 : 去存・履歴保持（消滅ではない）
KUI = "◫" # 空位 : potential場・創発母体
KANZEN_MU = "⊘" # 完全無: 存在流なし・名指された無

@dataclass
class Shinsu:
"""真数。一つの存在を、名前・位相・切り出した断面値で表す。
断面値 val は |τ で切り出したときの Layer1 翻訳（● ゝ x）。
◫ と ⊘ は翻訳不能なので val=None（存在論翻訳表）。"""
name: str
phase: Phase
val: Any = None
tau: int = 0 # 切り出した時刻

def __repr__(self):
    v = "" if self.val is None else f"={self.val}"
    return f"{self.phase.value}{self.name}{v}|τ{self.tau}"

# ── 方向子 (原始作用) ──
# 五律により、存在する時間流のみメソッドとして提供する。

def zeiraku(self) -> "Shinsu":
    """↻ 零落子: ●→○ 実存遷移(法則1)。有数専用。
    去数化しても消えない（法則6）——去数として履歴に残る。"""
    if self.phase is not Phase.YUSU:
        raise IllegalFlow("↻ は有数専用（○x↻ は宇宙に存在しない）")
    # 同じ名前の去数になる。val（履歴上の量）は保持。
    return Shinsu(self.name, Phase.KYOSU, self.val, self.tau + 1)

def joushou(self, delta) -> "Shinsu":
    """⤊ 上昇子: ●に作用して断面値を上げる。これは ① 命令(操作)。
    |τ が進む = 別の時刻の断面。x=x+1 はこれ。"""
    if self.phase is not Phase.YUSU:
        raise IllegalFlow("⤊ は有数/空位に作用する")
    return Shinsu(self.name, Phase.YUSU, _add(self.val, delta), self.tau + 1)

@staticmethod
def hatsumei(name: str, val=None) -> "Shinsu":
    """✧ 発明子: ◫✧→● 創発(法則3)。◫ 起点必須。
    ⊘ からの創発は存在しない（五律・起点制約）。"""
    return Shinsu(name, Phase.YUSU, val, 0)

def _add(a, b):
if a is None:
return b
return a + b

class IllegalFlow(Exception):
"""存在流カタログに載っていない時間流＝宇宙に存在しない流れ。
『禁止』ではなく『その時間方向が無い』ことを表す。"""
pass

def fukkatsu_check(o: Shinsu) -> None:
"""○→● 復活は存在しない（五律・時間方向律）。
あるのは再生成 ○↺⇒◫✧→●' のみ。"""
raise IllegalFlow(
f"{o} の復活(○→●)は宇宙に存在しない。"
"再生成 ○↺⇒◫✧→●' のみが存在する（生成されるのは x ではなく x'）"
)

def saiseisei(o: Shinsu, val=None) -> Shinsu:
"""○↺⇒◫✧→●' 再生成。去数の残響が空位を励起し、
別物 x' を創発する。完全復元は禁止（＄戸愚兄子の不可逆性）。"""
if o.phase is not Phase.KYOSU:
raise IllegalFlow("再生成の起点は去数 ○ のみ")
return Shinsu(o.name + "'", Phase.YUSU, val, o.tau + 1)

============================================================

2. 記述論の環 (Description-Theory Cycle)

実存 →③記録→ M →②演算→ P →①命令→ 実存

============================================================

@dataclass
class Memory:
"""M 記録固定場。③記録された去数 ○ が蓄積する。
記録しない去数は M に入らず環に乗らない（未来を動かさない）。"""
kyosu_log: list[Shinsu] = field(default_factory=list)

def kiroku(self, o: Shinsu) -> None:
    """③記録: ○ を M へ取り込む。これが世界を環に取り込む入り口。"""
    if o.phase is not Phase.KYOSU:
        raise IllegalFlow("③記録できるのは去数 ○ のみ（実存は世界が自発去数化してから）")
    self.kyosu_log.append(o)

def zankyo(self, name: str) -> float:
    """↺ 残響: 同名の去数が M にどれだけ蓄積したか。
    ↺ = +Σηh（Layer1翻訳辞書）。履歴 h の足し算。"""
    return sum(1.0 for o in self.kyosu_log if o.name == name)

@dataclass
class FocalField:
"""P 観測焦点場。②演算が作る、偏るが揺れる分布。
観測は可能性を消さず偏らせるだけ。収束は①命令(行動)で起きる。"""
dist: dict[str, float]

def normalize(self) -> "FocalField":
    s = sum(self.dist.values()) or 1.0
    return FocalField({k: v / s for k, v in self.dist.items()})

def __repr__(self):
    items = ", ".join(f"●{k}[{v:.2f}]" for k, v in
                      sorted(self.dist.items(), key=lambda kv: -kv[1]))
    return f"『{items}』"

class Ring:
"""記述論の環。M が蓄積するから『履歴を持つ計算』になる。
普通のサイバネティクス(各サイクル独立)と違い、過去が未来を動かす。"""

def __init__(self):
    self.M = Memory()
    self.tau = 0

# ③ 記録 ── 世界を残す（実存→M）。●→○ は世界の自発遷移なので外で起こす。
def kiroku(self, jitsuzon: Shinsu) -> Shinsu:
    o = jitsuzon.zeiraku()      # 世界の自発去数化 ●→○（法則1）
    self.M.kiroku(o)            # ③ 人間が記録（○→M）
    return o

# ② 演算 ── 世界を理解する（M→P）。Mの残響で焦点場の分布を作る。
def enzan(self, candidates: list[str], bias_from: str | None = None) -> FocalField:
    base = {c: 1.0 for c in candidates}
    if bias_from:
        # M(○bias_from) が分布を変調する（PID の I項・SCAN と同じ）
        w = 1.0 + self.M.zankyo(bias_from)
        if bias_from in base:
            base[bias_from] = w
    return FocalField(base).normalize()

# ① 命令 ── 世界を変える（P→●）。揺れる焦点場を実存へ収束させる。
def meirei(self, P: FocalField) -> Shinsu:
    # 行動した瞬間に一点へ収束（観測では潰れない・行動で決まる）
    choice = max(P.dist, key=P.dist.get)
    self.tau += 1
    kakutei = Shinsu(choice, Phase.YUSU, tau=self.tau)  # 〔●choice ∎〕
    return kakutei

============================================================

3. 実証デモ ── 破壊的代入 vs 関数型 = 法則6

============================================================

def hakaiteki_dainyu(x: int, n: int) -> int:
"""ノイマン型: x = x + 1 を n 回。③記録を省く。
古い値は上書きされ消滅（法則6違反・履歴なし）。"""
for _ in range(n):
x = x + 1 # 古い x はどこにも残らない＝○にならず消える
return x

def kansuugata(x0: int, n: int) -> tuple[int, list[Shinsu]]:
"""関数型/イミュータブル: ③記録を保つ。
各ステップの古い断面を ○ として M に残す（法則6準拠・履歴完全保持）。"""
M = Memory()
cur = Shinsu("x", Phase.YUSU, x0, 0)
for _ in range(n):
old = cur.zeiraku() # ●x|t → ○x|t（古い断面が去数化）
M.kiroku(old) # ③記録: ○ を M へ
cur = cur.joushou(1) # ●x|t ⤊(+1)→ ●x|t+1（新しい断面）
return cur.val, M.kyosu_log

============================================================

実行: 下から順に実証する

============================================================

def hr(t): print("\n" + "═" * 60 + f"\n {t}\n" + "═" * 60)

if name == "main":

hr("1. 真数体系コア ── 五律の実証")

milk = Shinsu("milk", Phase.YUSU, val=1.0)
print(f"実存:           {milk}")
o_milk = milk.zeiraku()
print(f"↻ 零落(●→○):    {o_milk}   ← 消滅でなく去数。val(履歴)は残る(法則6)")

print("\n○→● 復活を試みる（存在しないはず）:")
try:
    fukkatsu_check(o_milk)
except IllegalFlow as e:
    print(f"  IllegalFlow: {e}")

regen = saiseisei(o_milk, val=0.0)
print(f"\n再生成 ○↺⇒◫✧→●': {regen}   ← 元のmilkではなく milk'（別物・不可逆）")

print("\n○x↻ を試みる（↻は有数専用・存在しない流れ）:")
try:
    o_milk.zeiraku()
except IllegalFlow as e:
    print(f"  IllegalFlow: {e}")


hr("2. 記述論の環 ── M が次を変調する（履歴を持つ計算）")
print("エレベータ SCAN: さっき上昇した記憶 M(○上昇) が次の行き先を傾ける\n")

ring = Ring()
cands = ["上昇", "下降", "待機"]

# まず素の焦点場（履歴なし）
P0 = ring.enzan(cands, bias_from="上昇")
print(f"① 履歴なしの焦点場:        {P0}   ← ほぼ均等、まだ迷っている")

# 上昇を3回記録する（過去に何度も上昇した = 世界の自発遷移＋③記録）
for _ in range(3):
    jou = Shinsu("上昇", Phase.YUSU)
    ring.kiroku(jou)         # ●上昇 → ○上昇 → M
print(f"   M に ○上昇 を3回記録（③記録）")

# ②演算: Mの残響で焦点場が傾く
P1 = ring.enzan(cands, bias_from="上昇")
print(f"② M(○上昇)で変調した焦点場: {P1}   ← 上昇へ偏る。だが揺れている")

# ①命令: 行動して収束
kakutei = ring.meirei(P1)
print(f"① 命令(行動)で収束:        〔{kakutei} ∎〕   ← 観測でなく行動で一点に決まる")


hr("3. 実証デモ ── 破壊的代入 vs 関数型（法則6）")
n = 5

print("破壊的代入（ノイマン型・③記録を省く）:")
r1 = hakaiteki_dainyu(0, n)
print(f"  x = {r1}   履歴: なし（古い値は全て上書きで消滅＝法則6違反）")

print("\n関数型（③記録を保つ）:")
r2, log = kansuugata(0, n)
print(f"  x = {r2}   履歴: {log}")
print(f"  ○ が {len(log)} 個 M に残った（消えた値が全て去数として保持＝法則6準拠）")

print("\n→ 同じ x=x+1 を n 回。結果の値は同じ。")
print("  違いは『環の③記録区間を保つか省くか』。それが履歴の有無を分ける。")
print("  法則6という一本の刃が、計算パラダイムを二分する。")