feat: add system_axioms table (D110)

This commit is contained in:
bingshuo 2026-05-22 21:53:07 +08:00
parent b89dd3e258
commit 568aa07207

View File

@ -0,0 +1,20 @@
-- ============================================================
-- 表17system_axiomsLayer 1 · 公理集 · D110新增
-- 用途:存在前提级不可修改的底层公理
-- 比核心原则更深——公理是原则的成立前提
-- ============================================================
CREATE TABLE IF NOT EXISTS system_axioms (
axiom_id VARCHAR(32) PRIMARY KEY,
rank INTEGER NOT NULL, -- 优先级排序
layer VARCHAR(16) NOT NULL DEFAULT 'axiom',
statement TEXT NOT NULL, -- 公理表述
implication TEXT, -- 必然推论
is_immutable INTEGER NOT NULL DEFAULT 1, -- 默认不可修改
status VARCHAR(16) NOT NULL DEFAULT 'active'
CHECK (status IN ('active', 'deprecated')),
source TEXT,
created_at TIMESTAMP NOT NULL DEFAULT CURRENT_TIMESTAMP
);
CREATE INDEX IF NOT EXISTS idx_sax_rank ON system_axioms(rank);