daitaidaitai大体
/

The Principles (P01–P23)

The daitai constitution. Every part of the platform obeys these rules. Any future change must pass the admissibility tests.

Identity

  • P01 — Determinism by default. Same input, same output. Always.
  • P02 — Explicit non-determinism. When randomness is needed, it is marked @nondeterministic.
  • P03 — Value semantics. Equality is structural, not referential.
  • P04 — Immutability in the core. Mutation is the exception, never the default.
  • P05 — Pure functions and transformations. Side effects are isolated and typed.

Type & structure

  • P06 — Explicit static types. No inference past declaration boundaries.
  • P07 — Algebraic composition. Constructs compose by law, not by accident.
  • P08 — Local reasoning. A reader can understand a fragment without global context.
  • P09 — Rewrite compatibility. Every expression has a canonical form reachable by published rewrites.
  • P10 — No null. Optional values are Optional<T>.
  • P11 — No exceptions. Failable operations return Result<T, E>.

Process

  • P12 — Backend independence. The core is defined without reference to TypeScript, Swift, WASM, CUDA, JAX, or any vendor runtime.
  • P13 — Semantic clarity over convenience. Clarity wins. Convenience must be earned through better algebra.
  • P14 — Constraints before escape hatches. Escape hatches exist; they are not the default style.
  • P15 — Separation of semantics and execution. What a program means is decoupled from how it runs.

AI collaboration

  • P16 — Shared rules. Humans and AI reason from the same explicit constitution.
  • P17 — Structural admissibility. AI output is trusted because it is structurally valid, not because it is fluent.
  • P18 — Bounded suggestions. Editor co-pilots cannot suggest constitutionally invalid code.

Compliance

  • P19 — Verifiable trust. Claims about a system are signed, not asserted.
  • P20 — Diff-able evidence. Audit artifacts are first-class data, not screenshots.
  • P21 — Responsibility. Code that affects a human life must be able to show its work.

Evolution

  • P22 — Identity over features. A missing feature is better than a corrupted core.
  • P23 — Reject when in doubt. When still in doubt, reject the change.

For the full evolution protocol — admissibility tests, layers, versioning rules — see Constitutional Evolution.