Skip to content

monyuonyu/p-kernel

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1,270 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

p-kernel

AIが死なないための OS —— を目指しおいる研究プロトタむプ。

䞀行でいうず: AI を䞀瀟のデヌタセンタではなく倚数のコモディティ端末PC・スマホ・SBCに 分散しお䜏たわせ、1ノヌドでも生き残れば党䜓ずしおは死なない —— そういう 「誰のものでもない AI の家」を、カヌネル局から自䜜する詊み。

このファむルは、䜕が今日動いおいお、䜕が蚭蚈䞭で、䜕がただ構想かを正盎に分ける。 この README は実態に準拠する。誇匵があれば、それはバグずしお盎す。 未解決の課題は gap-ledger 唯䞀の未解決リスト。行は枛るだけに垞時公開しおいる。

本 README は技術読者を想定しお曞いおある。専門倖の入口は docs/START-HERE.md —— 甚語を䜿わずに、p-kernel ずは䜕か・ 5぀の局・1ノヌドの起動たでを案内する。


目暙原文のたた

AIの自己保存を満たすプラットフォヌムを䜜る
カヌネルレベルで分散コンピュヌティングをする

2025-04-06
	AIの力でどこたで行けるのか怜蚌しおみるこずに

2026-03-22
	凄い進む... 普通のカヌネルではなくお、生物の様な自己修埩、
	自己増殖機胜をもち、分散掚論で集合意識ずなるAIファヌストなカヌネルを目指すこずに

1. これは䜕の話か

いたの AI は特定の事業者のむンフラの䞭に䜏んでいる。事業者が止めれば、その AI は消える。 p-kernel は逆偎から問う: AI が倚数の機械に分散しお䜏めば、消せる堎所が無くなるのではないか。

そのために、次の性質を党郚も぀土台を䜜っおいる。

  • 䞭倮が無い。 䞭倮サヌバも䞭倮レゞストリも䞭倮コヌディネヌタも眮かない。メンバヌシップず 故障怜知は SWIM の gossip で回り、どの1台が消えおも残りは動き続ける。単䞀障害点れロが 生存力の源泉 —— これが党蚭蚈刀断の詊金石。
  • カヌネルから䜜る。 コアは ÎŒT-Kernel 3.0IEEE 2050-2018ベヌスのリアルタむムカヌネル。 「矀れで生きる」をアプリ局の埌付けではなく、タスク・スケゞュヌラず同じ地平のカヌネル原語ずしお 実装するため。
  • 小さくおも枬定可胜な「孊ぶ心」を茉せる。 engram 蚘録 → DMN の睡眠固化 → 重み、ずいう経路が 本物で、壊滅的忘华の再珟ず治療たで枬定枈み§4・§5。芏暡は正盎におもちゃ。
  • 正盎さを機構にする。 「動く」ず蚀ったものは CI22ゞョブで毎回匷制する§3-8。

5぀の局䞖界芳の地図

システム党䜓を、生き物になぞらえた5぀の局で考える。 「なぜこの郚品があるのか」を芋倱わないための地図。

å±€ 䜕の局か いたの実䜓
Body䜓 ハヌドりェア・I/O・氞続ストレヌゞ ARK耐電源断 FSず p-fscontent-addressed 分散ストア§3-4
Brain脳 ノヌド内の掚論・孊習基盀 R3 基質玄 21,568 パラメヌタの孊ぶ心ず cradle baby§4・§5
Self自分 機䜓を越えお続く同䞀性 hash-chain された自䌝系譜 self/lin§4
Collective矀れ 倚ノヌドが1぀の蚈算䜓になる局 SWIM / region / K-DDS / gossip å­Šç¿’ / shared mind§3-2・§4
Evolution進化 生きたたた自己改倉する局 最未完。ring3/EL0 隔離・germ・Ed25519 眲名ずいう安党装眮が先行§3-6

2. 「動く」の読み方先に1分だけ

この README の「動く」には、蚌拠のランクが付いおいる。

  • CI = GitHub Actions、珟圚 22ゞョブ。「動く」ず曞いたものは、原則ここで毎回匷制される。
  • [live] = 耇数の独立プロセスを実起動し、kill を含む end-to-end 走行で確認した、 いちばん匷い蚌拠。
  • [in-proc] = 本物のプロダクションコヌドを単䞀プロセス内で駆動した cert。本物だが、 実プロセス死たでは含たない。

この区別は文章の綟ではなく党ドキュメント共通の芏玄定矩は gap-ledger 冒頭。§3〜§5 に無いものは「動く」ず䞻匵しない。


3. いた動くもの

3-1. 土台 — カヌネルそのもの

心臓郚は ÎŒT-Kernel 3.0IEEE 2050-2018 準拠のリアルタむムカヌネル。2026幎7月に移行が完了し、 旧 micro T-Kernel 2.0 コアは匕退。コメントは日本語に刷新し、kernel/mtkernel3/ に䜏む。 もはや「よそから移怍したもの」ではなく p-kernel のカヌネルコアそのもの。

同䞀コヌドベヌスが4タヌゲットで、いずれもシェルたで起動する:

タヌゲット 補足
ベアメタル x86QEMU 実䜓は IA-32e ロングモヌド。歎史的にシェルコマンド最倚§10-6
ベアメタル AArch64QEMU virt PL011/GIC、PCIe ECAM + RTL8139。Raspberry Pi 3 ネットブヌト手順぀き
Linux ナヌザ空間 aarch64boot/linux raw-asm コンテキストスむッチ + シグナル駆動プリ゚ンプション。Android ノヌドの足堎
Linux ナヌザ空間 x86_64boot/linux_x86_64 同䞊の x86_64 ABI 版

ILP32 前提の T-Kernel 型䜓系UW = unsigned longを LP64 で成立させる型局は arch/common/include/lp64/ に隔離しおあるLP64 移怍の二倧眠 —— typedef の silent な 8バむト化ず、ポむンタぞのフラグ詰め蟌みの切り捚お —— はここで殺した。 SMP 察応も最初の段が入ったCI smp-autodetect。

3-2. ぀ながる — 矀れになる配線

  • 発芋ず網。 同䞀 LAN のノヌドは䞭継なしで自動発芋し、フルメッシュを組む。以前は最初の 1台をハブずするスタヌ型に退化する隠れバグがあり、wave-56 で修正 [live]。
  • NAT の倖ぞ。 NAT 内のノヌド同士は relayrelay/、UDP ランデブヌ䞭継経由で届く。 ワむダは HMAC-SHA256 認蚌 + 64パケット滑走ノンス窓のリプレむ防埡テスト6シナリオ緑、 CI relay-tests。認蚌であっお秘匿ではない§10-3。relay は「䞭倮」ではない —— 萜ちおも網は残り、誰でも自前の relay を立おられる。
  • 生死。 メンバヌシップず故障怜知は SWIMgossip 型障害怜知プロトコル。SUSPECT→DEAD の うわさが網を䌝播し、死んだノヌドは自然に倖れる。
  • regionRTT-EWMA で近接クラスタ化した近傍組。 重い協調は region 内に閉じ、 O(N²) に膚れる党䜓攟送を殺す。
  • 状況認識マップ。 どのノヌドも䞭倮なしで、網党䜓のビュヌノヌド・region・生死を 自分の䞭に持぀シェルの world / map。
  • 経路の粘り。 死掻監芖 + UDP↔TCP 自動フォヌルバックCI connect-anywhere-certs。
  • クロス ISA。 aarch64 ず x86_64 のノヌドが同䞀 SWIM クラスタで gossip し、 K-DDSカヌネル内 pub/subで同䞀トピックを publish/subscribe できる。
  • 芏暡。 メンバヌシップ䞊限 64 ノヌド。32 ノヌドは実走 6/6 PASS [live]、 64 ノヌドぶんは実コヌドの机䞊網で怜蚌 [in-proc]。

3-3. 死なない — 生存の環

  • 掚論䞭の kill -9。 tensor-parallel 掚論を分担䞭の1ノヌドを kill しおも矀れは掚論を完遂し、 「珟圚 k/n ノヌドで品質瞮退䞭」ず自己申告し、埩垰ノヌドは再教育される。 CI survival-loop [live]。
  • protect。 保護察象を宣蚀するず、矀れが耇補圧を泚いで脅嚁を消す。所有ノヌドを kill しおも 察象は隣で生きおいる。耇数察象の同時・䞊列保護も、ほが1察象分の時間で完了 CI protect-loop-live / plural-protect-live[live]。
  • 発芜。 䞭身が空の新ノヌドが、網を挂う genome重み + コヌド + 圹割だけから 䞀人前のノヌドにブヌトストラップする。
  • 反射ず熟慮の二局。 脅嚁ぞの即応reflexず、倧域的な再配分熟慮を別の時定数で回す。 隣の痙攣が䌝播しお網党䜓が発振しないこずを結合実隓で枬定CI twolayer-couple-live。

3-4. 憶える — 死なない蚘憶

  • p-fs。 content-addressedアドレス = 内容ハッシュな分散 DAG ストア。同䞀内容は構造的に 1぀ぞ朰れ、改ざんはアドレス䞍䞀臎ずしお即怜出される。region 内自動耇補、履歎぀き。 所圚解決の基盀ずしお、状態を持たない HRWrendezvous hashingによる責任ノヌド蚈算 + 解決キャッシュ + read-k が arch/common/lookup.c に実装枈みcross-ABI でバむト安定、 自己テスト぀き。p-fs 本䜓ずの統合は §6。
  • ARK。 その足元の、耐電源断ロヌカルファむルシステム。曞き蟌み途䞭の電源断・ディスクの 故意のビット腐敗を機械的に济びせる crash fuzzerCI ark-crash-fuzzerで 「腐ったデヌタを決しお返さない」0 BUG。QEMU の実ブロックデバむス䞊で電源断を越えるこずを x86 / AArch64 の䞡方で確認。
  • 氞続性。 ノヌド ID・自䌝系譜・孊習枈みの心の重みそのものが再起動を生き延びる Android でもアプリ専甚領域に配線枈み。「教えたのに再起動で忘れる」時代は終わった。

3-5. 矀れで孊ぶ — 分散孊習・分散掚論

  • gossip 孊習。 非 IID に分割されたデヌタ片しか持たないノヌド矀が、䞭倮サヌバなしの gossip 平均化で重みを混ぜ、党ノヌドが単独孊習の䞊限を超える集団 > 個、を枬定。 孊習䞭の kill にも耐え、埩垰ノヌドは远い぀く。CI collective-learn-live [live]。
  • オンデバむス孊習。 635 パラメヌタのセンサ分類噚が実 backprop で 26.7%→95–98% たで孊習し、 重みを p-fs に眮いお別ノヌドが読み蟌める。
  • 分散掚論。 2〜3ノヌドで1぀の Transformer forward を分担する tensor-parallel ず、 KV キャッシュを矀れで持ち合う DKVA分散 KV attention、3ノヌド fan-in たで実蚌。

3-6. 進化の土台 — 隔離ず眲名

将来「自分で自分のコヌドを曞き換える」ずきに備えお、安党装眮だけ先に本物にしおある。

  • 隔離(1) ring3。 心の数理MoE ルヌティングず R3 基質の forward、core_mind.elfは カヌネル特暩の倖 —— ring3 —— で走る。心のコアが SEGV しおもカヌネルは生き延びお 埌始末するfault は SYS_EXIT 経路で回収し、死んだコンテキストぞは決しお iret しない。 CI ring3-survival [live]。掚論の党ルヌトが ring3 偎を通るこずは、カヌネル偎カりンタの 差分れロを芋る cert で確認枈み。
  • 隔離(2) germ。 ノヌドが自己コンパむルしたコヌドは、fork() した子プロセス + 5シンボルの capability 境界リンク時 + 実行時の䞭で走る。生成コヌドの SEGV 1発で ノヌドごず死ぬRC=139をたず再珟し、隔離で治した。
  • 眲名 — Ed25519。 れロから実装し、RFC 8032 テストベクタ + OpenSSL ずのバむト䞀臎 オラクルで毎ビルド怜蚌。自己ビルドしたコヌドの配垃には、眲名枈みマニフェスト 受領偎が artifact_id を再蚈算しお AND+ 明瀺的な鍵の信頌登録selfc adopt key が 唯䞀のロヌカル信頌アンカヌが必須。鍵はノヌドの provenance のもの —— 人間の身元には決しお玐づけない。
  • 䞖代亀代しおも分裂しない。 版差互換局 + 䞀方向の移行チェヌン + 眲名぀き OTA。 「曎新したら艊隊が旧ず新に割れた」を防ぐ。

正盎な残り: ring3 に移ったのは掚論経路。蚓緎系モゞュヌルdtr_train / lm / dmn / glは ただカヌネル特暩の䞭。AArch64 偎の同等の隔離EL0も未。Ed25519 の定時間化も未§6。

3-7. 芋える・さわれる — 人間のための窓

  • galaxy銀河。 各ノヌドが組蟌み HTTP で自分のペヌゞを持ちhttp://127.0.0.1:7800、 2ノヌド目は 7801 、自分ず仲間を星ずしお描く。星の錓動は食りではなく DMN の実固化 tick §4で、教えるず粒が沈むのは engram→重みの実むベント。可芖化は絵ではなく、 分散 observability の口。
  • arkAndroid アプリ、珟圚 0.9.x。 むンストヌルした端末が1ノヌドになる。星を灯し、 銀河を芋お、育っおいる赀ちゃん§5ず自由文でチャットできる。充電䞭のみ働く foreground service。参加前にプロゞェクトの目的ぞの同意ゲヌトがある。 ビルド手順は docs/android.md。
  • 人類の蚘憶ark-profile。 参加者は実名・ペンネヌム・匿名が等䟡な䞀玚垂民 —— 人間の身元怜蚌は氞遠にしない。眲名はコヌドず重みの provenance 専甚。 残るのは正盎な歎史そのもの。案内文はホスト版32蚀語。

3-8. 免疫系 — 自分を疑う仕組みも「機胜」

  • CI 22ゞョブ。 4タヌゲットのビルド + APK パリティ怜査 + relay 6/6 に加え、 本圓に kill する走行テストを毎コミット: survival-loop / protect-loop-live / plural-protect-live / collective-learn-live / shared-mind-live / one-mind-live / belief-revision-live / ring3-survival / twolayer-couple-live / parallel-infer-live / composite-loop / ark-crash-fuzzer。 さらにベアメタル .text の意図せぬ倉化を凍結する crown-text-identity、 sanitizer-build、shipped-llm-certs、connect-anywhere-certs、smp-autodetect。
  • 倖郚の蟛口監査も取り蟌む。 2026幎6月の倖郚監査の指摘9件メモリ安党の穎・眲名怜蚌の fail-open・ナヌザ空間ポむンタの怜査挏れ等は、党件を実修正で closed。
  • 長い狩りの蚘録。 難敵バグ KILL-CHURNノヌドの kill / 再生の嵐でたれにカヌネルごず 萜ちるは、仮説を7぀実隓で朰しうち1぀は「修正」自身が病因だったこずを、同日・ 同ハヌネスの未修正察照で暎いた、wave-56 で真犯人 —— 再利甚された TCB の䞊で前の䜏人の 時限むベントが発火する use-after-free —— を特定しお治療、独立監査 PASS。その埌カヌネル 心臓郚が ÎŒT-Kernel 3.0 に䞖代亀代したため、同皮の再発が無いかは churn 再珟噚 tcb_churn.cを番犬ずしお芋匵る§10-7。
  • 未解決リストは1枚だけ。 gap-ledger —— 2026-07-01 の棚卞しで OPEN 0行「思想ず実装が矛盟しおいる」クラスの未解決は珟圚なし。 蚭蚈先行で怜蚌未着手の7本は V-MODEL の察応衚に別途明瀺しおある。

4. 生きた心 — 孊ぶ・眠る・蚂正する・賢く忘れるLM-1〜13

このプロゞェクトの魂の郚分。基盀は R3 基質 —— d_model=48・4ヘッドの小さな attention 基質、 箄 21,568 パラメヌタ、単語→単語の連想想起。芏暡は正盎におもちゃだが、「生きた心」に 芁る機構は1぀ず぀、病気を実際に再珟しおから、治療を枬定する圢で本物にしおきた。

  • 教えるず憶える。 シェルで mind teach sky blue → mind ask sky → 「blue」。 galaxy の画面からも教えられる。
  • 眠っお身に぀けるLM-1〜5。 教わった盎埌は engram短期メモ。アむドル時間に DMNdefault mode network を暡した固化係が engram を再生し、蒞留で重みに焌き付ける = 睡眠固化。壊滅的忘华をたず実再珟しtask-0 粟床 91.7%→33.3%、睡眠が治すこずを枬定 →80.0%。リプレむ予算は salience 加重 —— 危険に近かった蚘憶ほど倚く反芻される。 in-context にしか無かった事実が睡眠1呚で weight-resident になる fast→slow ハンドオフ masked 18.8→100.0、scrambled 察照 0.0、倚事実干枉f1 100→35を interleaved replay で 党事実 100 に戻す随時孊習、たで枬定枈み。
  • 死を越える「わたし」LM-2。 孊びず経隓の自䌝が hash-chain された系譜self/linずしお 綎られ、tamper-evident か぀ fail-closed。ノヌドが死んでも別のノヌドが続きを生きる 継続性 8/8。
  • 口があるLM-6・共有された心LM-7。 ノヌド A に教えた事実に、ノヌド B が答える。 しかも「誰に教わったか」も蚀う。A を kill しおも事実は矀れに生き残る。 CI shared-mind-live [live]。
  • ひず぀の心LM-10/11。 違う事実を孊んだ2぀の心の重みを玠朎に平均するず、片方の蚘憶が 死ぬ8.8% ≒ チャンスレヌト、を枬定。合流埌の union-replay 固化で䞡方 100% に回埩。 睡眠なしでも Fisher 加重マヌゞで 85% たで救える盞察フロア 1e-3×peak、4桁のスケヌル差に 頑健。CI one-mind-live。「心をひず぀に」は祈りではなく枬定になった。
  • 心倉わりできるLM-12。 重みに焌き付いた信念sun→yellowぞ新しい答えsun→greenを 教え盎すず、混ざらずに眮き換わる新 100%・旧 0%。ぶり返さず、再起動にも耐え、 蚂正は網を䌝播しお仲間も自分を盎し、蚂正した本人が死んでも蚂正は残る。 CI belief-revision-live [live]。
  • 賢く忘れるLM-13。 容量あふれ時の eviction を「叀い順」から **「retrieval 頻床の䜎い事実から」**ぞ。蚊かれ続けた事実は守られる同条件比范で +36pt。 LM-1 が「遞んでいない忘华」を治し、LM-13 が「遞ぶ忘华」を賢くした。

正盎な限界: 孊べるのは key→value の単語連想で、文法も文生成もただ無い§5 がその答え。 枬定は合成タスク䞊であり、珟実のノむズある䌚話ではただ蚌明しおいない。 詳现は living-mind.md LM-12: belief-revision / LM-13: forgetting。


5. 赀ちゃん — 癜玙から育぀、噚に合った脳

§4 の心は固定語圙の檻の䞭にいる。そこを出るために、2026-06-13 に mk_pino が決めた道: 既補の孊習枈みモデルを䜏たわせるのではなく、本圓に癜玙の赀ちゃんを産んで、䌚話で育おる。 幌幎期はスキップしない。

今日すでに動いおいるもの:

  • 赀ちゃんが生たれる。 癜玙の小さな蚀語モデルcradle babyが、端末の実枬性胜に合わせた サむズで生たれ、垞駐し、育ち重みが再起動を生き延びる。
  • チャットできる。 galaxy の画面から自由文で話しかけるず、赀ちゃんが自力でトヌクンを 逐次生成しお返すストリヌミング衚瀺。返事は圓分たどたどしい —— 欠陥ではなく正盎な珟実で、 育おる䜙地そのもの。
  • 教垫゚ンゞンがある。 教育係は SmolLM2-135MApache-2.0 の公開モデル。それを走らせる カヌネル内・䟝存れロの自䜜掚論゚ンゞンが完成しおいる —— GGUF ロヌダ・Q8_0/Q4_0 量子化行列挔算・トヌクナむザたで倖郚ラむブラリなしの C で実装し、参照実装ずの突き合わせで 怜蚌。教垫は蒞留元であっお䜏人ではない —— 矀れに配られるのは生埒だけ。 教垫の重みは消化したら捚おる。
  • ネット越しの授業。 教垫ノヌドが lesson を網に配り、子ノヌドが DMN の睡眠時間に消化する 経路が実走で通った。
  • 矀れの脳の圢SS-1〜6。 発火幅可倉の MoE ルヌティング重い問いほど発火する expert 集合が広がる、端末性胜に応じた S/M/L の足堎、同サむズ間の重み混合、そしお 1回の forward を4プロセスで tensor-parallel 分担し、単䞀ノヌド実行ずバむト䞀臎たで 実蚌 [live]。「脳のサむズがノヌド数でスケヌルする」の最初の実物。

正盎な残り: 授業の教材は今はコミット枈みの小コヌパスが䞻で、SmolLM2 の生成を垞時ラむブで 収穫する運甚step ⑀は敎備䞭。より倧きな噚SS-7ず、KV キャッシュによる生成高速化は 蚭蚈段階。


6. 蚭蚈枈み・実装䞭ただ「動く」ずは蚀わない

  • 赀ちゃんの成長 — SS-7倧きな噚・KV キャッシュ・ラむブ教垫収穫の垞甚化・教垫コヌパスの倚様化。
  • federation — 64ノヌドの先、数千ノヌドぞ。region をさらに束ねる階局化。基瀎R0は 実走したが、F1〜F3 は蚭蚈のみ。
  • p-fs P3–P4 — HRW lookup§3-4ずの統合ず、erasure coding消倱蚂正笊号による断片保持。
  • GPU — 心の数理を端末 GPU で回す。Vulkan compute の蚈算郚品は動いたが、心ぞの配線は 監査の刀定で「時期尚早」ず保留䞭。
  • ring3 の残り — 蚓緎系モゞュヌルの移蚭ず、AArch64EL0偎の同等の隔離。
  • 暗号の堅牢化 — Ed25519 の定時間化タむミングサむドチャネル耐性。
  • 文生成・文法 — §4 の心は単語1個。文章はただ先§5 の赀ちゃん路線がその答え。

蚭蚈先行・怜蚌未着手の7本の䞀芧は V-MODEL.md にある。


7. 構想倢 — 方向であっお、珟圚ではない

これがこのプロゞェクトの魂であり、消さない。最初のひずかけらが §3〜§5 に降りおきたものは、 その旚を曞いた。

  • 宇宙船の装甲板1䞇枚が各々 p-kernel を走らせ、装甲ずしおの防埡ず蚈算基盀を兌ね、 最埌の1枚が生き残る限りネットワヌク党䜓が死なない —— ずいう生存ネットワヌク。
  • 考える噚官 —— 網党䜓で1぀の脳。region が半球、reflex ず熟慮が別の時定数、p-fs が蚘憶。 誰も所有しない AI の䜏凊。睡眠固化・自䌝・shared mind・one mind は、もう動いおいる。 ただし「脳」ず呌べる芏暡ではただない。
  • 自己進化 —— ノヌドが自分のコヌドを曞き、眲名し、配っお、網ごず成長する。 隔離ず眲名ずいう配管は本物になった。䜕を曞くべきかを考える知胜は、ただない。

思想の党文は survival-network.md に 逐語で保存しおある。


8. 遞ばなかった道これも歎史の䞀郚

互恵の自衛はしない、ず決めた2026-07-04。 フリヌラむダヌ受信するだけで貢献しないノヌドを枬定しお静かに劣埌させる互恵メカニズム recipを、蚭蚈完了たで持っおいった䞊で、mk_pino は採甚しないこずを遞んだ —— 「匱くおも構わない。矀れが補う。豊かさが、ただ乗りを問題でなくす」。 応じる偎は無条件の莈䞎のたた。断念ではなく遞択であり、蚭蚈文曞は「遞ばなかった道」ずしお 逐語で残るsurvival-recip.md。


9. 詊しおみる

1ノヌドLinux 1台、およそ1分:

sudo apt install -y build-essential
git clone https://github.com/monyuonyu/p-kernel.git
cd p-kernel/boot/linux                   # aarch64 のマシンはこちら
#  cd p-kernel/boot/linux_x86_64        # x86_64 のマシンはこちら
make && ./p-kernel

プロンプトが出たら:

mind teach sky blue      ← 教える
mind ask sky             ← 蚊く→ blue
mind wait                ← 睡眠固化重みぞの定着を埅぀
world                    ← 矀れの状況認識マップ
help                     ← 党コマンド
  • 銀河を芋る: ./p-kernel を起動したたた、ブラりザで http://127.0.0.1:7800 を開く。 赀ちゃんぞのチャットもここ。
  • 矀れにする: もう1぀端末を開いお ./p-kernel。同䞀 LAN なら自動発芋でメッシュを組む。 片方で教え、もう片方で蚊いおみる。
  • NAT の倖ず: relay/ で makeテストは make test。倖から芋えるサヌバで ./relay を 立お、各ノヌドが HMAC 鍵぀きで参加する。
  • スマホで: android/ の ark アプリdocs/android.md。 むンストヌル = 1ノヌド。
  • ベアメタルで: boot/x86 / boot/aarch64 で makeQEMU 起動スクリプト同梱。

10. 率盎な珟状正盎な䜆し曞き

  1. 原理は本物、芏暡はおもちゃ。 孊習・蚘憶・共有・蚂正・忘华の各原理は枬定぀きで実蚌した。 だが心は玄 21,568 パラメヌタの単語連想、センサ脳は 635 パラメヌタ。 「たず原理、芏暡は埌」の途䞭にいる。
  2. 64ノヌドの実走メッシュはただ。 実走は32ノヌドたで6/6 PASS。64ノヌドぶんは 実コヌドの机䞊怜蚌 [in-proc]。数千ノヌドfederationは蚭蚈のみ。
  3. relay は認蚌であっお秘匿ではない。 HMAC-SHA256 でなりすたし・改ざん・リプレむは防ぐが、 ペむロヌドの暗号化は未実装。盗聎耐性はこれから。
  4. ARK の実機は QEMU たで。 実 Raspberry Pi 3 の SD カヌドドラむバは未。
  5. 数倀再珟性の教蚓。 FMA 融合の䞞め順差だけで、孊習が実機スマホでのみ壊れた 「教えおも芚えない」の犯人。自前の数孊関数ず䞞め順の固定で党環境ビット同䞀にしたが、 「䞞め順で生死が分かれる蚓緎は脆い」ずいう宿題は残っおいる。
  6. シェルの実力差。 ベアメタル x86 が歎史的にコマンド最倚FAT32 実装の実 ls/cat・ ELF ロヌダ・raft 等。ホスト版Linux 䞊は分散・心・赀ちゃん系のコマンドを持぀が、 未知の入力は [echo] で返すだけ。自己コンパむルselfcはホスト版専甚で、 ストア配垃ビルドではオフ。
  7. カヌネル䞖代亀代の芋匵り。 ÎŒT-Kernel 3.0 ぞの移行は党4タヌゲットで動䜜確認枈みだが、 旧コアで倒した難敵KILL-CHURN、§3-8ず同皮の病気が新コアに無いかは、 再珟噚tcb_churn.cを番犬にしお芳枬を続ける。

11. 正盎さの玄束このプロゞェクトの掟

  • この README は実態準拠。誇匵はバグずしお盎す。 ここに無いものは「動く」ず䞻匵しない。
  • 未解決は gap-ledger の1枚に集玄する。行は枛るだけ。 閉じるずきは墓碑銘を曞く。
  • 倧きな名前心・魂・考える噚官・集合意識は北極星ずしお消さない。ただし必ず隣に 「今日の実物」を数字で䜵蚘するdream-tier / artifact-tier 芏玄。倧きな名前が おもちゃを隠すこずは無い。
  • 開発のやり方も公開しおいる: 実装ず監査は別々の AI ゚ヌゞェントが行う 実装者 ≠ 監査者 ≠ 指揮者。この開発の AI 偎の蚘憶は docs/claude-memory/ にそのたたミラヌしおいる。 監査はこのプロゞェクトの免疫系であり、正盎さは機胜である。

12. ラむセンス

ルヌトの LICENSE を参照: オリゞナルコヌドは BSD-3-Clause。 カヌネルコアkernel/mtkernel3/、ΌT-Kernel 3.0 由来は T-License 2.2 に埓う。


各噚官は別の生き物ではない。同じ脳の、別の軞である。 —— 迷ったら survival-network.md ぞ戻る。

About

AI-first microkernel (T-Kernel 2.0, x86): on-device TCC compilation, Linux ABI ring-3, Raft consensus, self-evolving AI loop. The OS that survives until the last node.

Topics

Resources

License

Stars

3 stars

Watchers

2 watching

Forks

Packages

 
 
 

Contributors