Astrasum

Principles

This page is generated from the same files the build validates against. If a principle changes, this page changes — there is no second copy to fall out of date.

Roots

P1

Each part is whole

每一部分皆是整体

P2

Principles drive every process and every expression

原则驱动每一个过程与每一种表达

Derived

A derived rule is a root made checkable. Each one is enforced by a script that names the principle it defends when it fails.

D1

Self-describing parts

部分自述

from P1

D2

Generate, never duplicate

生成,而非复制

from P1, P2

D3

Bounded reading cost

有界的阅读成本

from P1

D4

One way to change

唯一的变更路径

from P2

D5

Two readers, one truth

双读者,同一真相

from P2

D6

Brothers share the genome

兄弟共享基因组

from P1, P2

D7

Decisions are durable

决策可追溯

from P2