Skip to content

AIKernel Prime Theory — Initial Static Framework (Zenodo 20357202 Snapshot) v1.0.0

Choose a tag to compare

View all tags
@egumaru egumaru released this 01 Jun 04:59
· 9 commits to main since this release
v1.0.0-initial-static-framework
6ae1a09

AIKernel Prime Theory — Initial Static Framework (Zenodo 20357202 Snapshot)

AIKernel 素数生成理論 — 静的フレームワーク初期版（Zenodo 20357202 対応）
v1.0.0

リリースノート（Zenodo 20357202 対応版）

このリリースは、Zenodo レコード：

https://zenodo.org/records/20357202

に対応した main ブランチのスナップショットです。

本バージョン v1.0.0 は、AIKernel/ILA Prime Generator プロジェクトの 最初の安定公開版（Initial Stable Release） であり、 後続の形式的証明体系の基盤となる静的フレームワークを提供します。

含まれる内容（Zenodo 20357202 と一致）

PrimeGenerator の基本構造

  • PrimeGenerator

  • candidate / actual / generate の基本 API

  • PG12 / PG24 / PG1224 の初期定義

干渉エネルギー（interferenceEnergy）の初期定義

  • 非自明約数に基づくエネルギー関数の導入

  • isStableFixedPoint の基本定義

  • isPrime の静的定義

PG1224 の基本的な soundness / completeness の枠組み

  • 生成系の仕様レベル定義

  • Lean での基本的な構造化

  • 後続の証明のための API が揃っている状態

プロジェクト構成

  • ILA.Primegenerator 以下の基本モジュール

  • Energy / FixedPoint / PrimeGen の初期バージョン

  • 今後の形式化の基盤となる構造が確立

含まれない内容（後続バージョンで追加予定）

この v1.0.0 には、以下の高度な定理はまだ含まれません：

  • interferenceEnergy の構造定理（nonneg / pos_of_composite / monotone / ge_one）

  • PG1224 の minimality

  • prime = energy 0 = stable fixed point の統合定理

  • 動的生成系（iterate → prime）

これらは dev ブランチで進行中であり、 次のリリース（v1.1.0）で追加される予定です。

Assets 2
Loading