/

原則 (P01–P23)

daitai の憲法。プラットフォームのすべての部分がこれらのルールに従います。将来のいかなる変更も許容性テストを通過しなければなりません。

アイデンティティ

P01 — 既定で決定論的。 同じ入力には常に同じ出力を。
P02 — 非決定性は明示的に。 乱択が必要なときは @nondeterministic で印付けする。
P03 — 値の意味論。 等価性は構造的であり、参照的ではない。
P04 — コアは不変。 変更は例外であり、決して既定ではない。
P05 — 純粋関数と変換。 副作用は隔離され、型付けされる。

型と構造

P06 — 明示的な静的型。 宣言境界を越える推論はしない。
P07 — 代数的合成。 構造は偶然ではなく法則によって合成される。
P08 — 局所的推論。 読み手は大域的文脈なしに断片を理解できる。
P09 — 書き換え互換性。 あらゆる式は公開された書き換え規則で到達できる正準形を持つ。
P10 — null なし。 任意値は Optional<T>。
P11 — 例外なし。 失敗しうる演算は Result<T, E> を返す。

プロセス

P12 — バックエンド非依存。 コアは TypeScript・Swift・WASM・CUDA・JAX や特定ベンダー・ランタイムに言及せずに定義される。
P13 — 利便性より意味論的明晰さ。 明晰さが勝つ。利便性はより良い代数を通して獲得しなければならない。
P14 — エスケープハッチの前に制約を。 エスケープハッチは存在するが、既定の様式ではない。
P15 — 意味論と実行の分離。 プログラムが何を意味するかは、それがどう走るかから切り離される。

AI 協働

P16 — 共有されたルール。 人間と AI は同じ明示的憲法から推論する。
P17 — 構造的許容性。 AI の出力は流暢さではなく構造的妥当性によって信頼される。
P18 — 境界付きの提案。 エディタのコパイロットは憲法に反するコードを提案できない。

コンプライアンス

P19 — 検証可能な信頼。 システムに関する主張は主張ではなく署名される。
P20 — 差分可能なエビデンス。 監査成果物はスクリーンショットではなくファーストクラスのデータ。
P21 — 責任。 人の生に影響するコードはその根拠を示せなければならない。

進化

P22 — 機能よりアイデンティティ。 機能の欠如は、汚染されたコアより優れている。
P23 — 疑わしいときは却下せよ。 なお疑念が残るときは、変更を却下せよ。

完全な進化プロトコル — 許容性テスト、層、版管理規則 — は憲法的進化を参照してください。