AIGC: Label: "1" ContentProducer: 001191440300708461136T1XGW3 ProduceID: 9f2a11add43fbf12a546606fb2b962ab_ba8d07568d7d11f196d8525400f8a581 ReservedCode1: mDw4RkGQhmoXriChPW1y8uAeGLTUKR7LTtVVK6shiaXc2rZ3XsgXQEMKxkPer/PCdZcb5aucga996aYUlulURYZoOAQ7LrPIfXvtjpmHWTDG2xZ8OCOyXkCpRkO/TBYnsMyzEBGfCubT1uNVhrlJdRjXn3g8+eQxQmjHyG3hNkpBppdOWszZymfJUV0= ContentPropagator: 001191440300708461136T1XGW3 PropagateID: 9f2a11add43fbf12a546606fb2b962ab_ba8d07568d7d11f196d8525400f8a581 ReservedCode2: mDw4RkGQhmoXriChPW1y8uAeGLTUKR7LTtVVK6shiaXc2rZ3XsgXQEMKxkPer/PCdZcb5aucga996aYUlulURYZoOAQ7LrPIfXvtjpmHWTDG2xZ8OCOyXkCpRkO/TBYnsMyzEBGfCubT1uNVhrlJdRjXn3g8+eQxQmjHyG3hNkpBppdOWszZymfJUV0=

ΣLang — AI-Native Semantic Protocol

Sigma Language — A deterministic semantic protocol for AI systems. One symbol, one meaning, one result — across all models.

Sigma Language（ΣLang） — 面向 AI 系统的确定性语义协议。一个符号，一种含义，一个结果 — 跨所有模型一致。

What is ΣLang? / 什么是 ΣLang？

ΣLang is not a programming language in the traditional sense. It is a contract between intelligences.

ΣLang 不是传统意义上的编程语言，而是智能体之间的合约。

✅ Deterministic semantics / 确定性语义
✅ Symbol-anchored meaning / 符号锚定的含义
✅ Markdown as source code / Markdown 即源码
✅ Ownership-aware dataflow / 所有权感知的数据流
✅ Zero syntactic ambiguity / 零语法歧义
✅ Verifier-enforced consistency / 验证器强制一致性

大白话导读：这仓库到底在干嘛？（2026-08-05 更新）

一句话：ΣLang 是一套"AI 都能看懂、且大家都认账"的业务规则说明书—— 把"找茬平台怎么发单、接单、验收、算钱"这类事，写成任何人都能读、任何 AI 都能执行、而且三个独立验证器结论完全一致的文档。

打个比方：想象三个裁判（Python / Rust / Elixir 各一个），同时读同一份规则书，然后对同一个业务动作下判罚。ΣLang 的要求是：三个裁判必须给出一模一样的判罚，差一个字都不行——这就是"共识门禁"。

这仓库里有 5 样东西：

东西	是啥	大白话
`spec/`	规范	规则说明书（业务规则怎么写）
`impl/`	三个验证器	Python / Rust / Elixir 三个裁判
`corpus/`	语料	考试题（每道题三个裁判都要判一致）
`tools/`	证明工具	用数学（z3）证明规则永远不会出错
`web/` + App	找茬产品	一个真的能跑起来的例子：找茬平台

为什么需要它：现在 AI 各说各话——同一个"验收"动作，不同 AI 可能理解成不同意思。ΣLang 给业务规则一个唯一、可验证、可证明的语义，AI 之间协作时说的"验收"就是同一个"验收"。

现在做到哪了：三块业务语义（找茬 / 金融 / 供应链）已全链路打通—— 三端共识 56/56、数学证明 230 项 PROVED、找茬产品一条命令就能启动上线（python3 impl/python/sigma_app.py --launch）。

怎么用它 / How to use it（2026-08-05）

用法 1：把找茬产品跑起来（2 分钟，不写代码）

依赖：Python 3.8+（三端验证可选装 Rust/Elixir，使用产品只需 Python）。

git clone https://github.com/vicTop-cw/sigma-lang.git
cd sigma-lang
make deploy        # 就绪检查通过后自动启动前后端（Windows 无 make，用下面两条）
python3 impl/python/sigma_app.py --launch-ready
python3 impl/python/sigma_app.py --launch

浏览器打开 http://127.0.0.1:8000 —— 注册用户、发单、接单、验收、提现、勋章，全流程可用；API 在 http://127.0.0.1:8080（端点见 docs/api_zhaocha.md），运行面板 http://127.0.0.1:8080/panel。

用法 2：把 ΣLang 当"业务规则协议"（给 AI 定语义、验证规则）

不用这个仓库的产品，只借它的协议能力：

读规范：spec/spec_p0_socketkit.md（找茬）/ spec_p0_inventory.md（供应链） —— 看业务规则怎么写；
抄格式写自己的规则：把业务操作（如"验收"）写成 corpus/*.md 那样的函数 + 定律 + 测试；
三端验证：python3 verify_consensus.py（Python/Rust/Elixir 三个验证器结论必须一致）；
数学证明：python3 tools/sigma-prove.py（z3 证明你的规则不会自相矛盾）；
一键验收：python3 tools/sigma-accept.py（十道门禁全绿才算合格）。

用法 3：把语义嵌入自己的项目（当库用，不碰协议）

安装：pip install sigma-lang（已在 PyPI 发布：pypi.org/project/sigma-lang） ——装完即可 import sigma_core，零第三方依赖的纯函数库。

import sigma_core as core
task = core.task_create(7, 100)    # 发单 → [7, 100, 0, 0]
task = core.accept_task(task, 3)   # 接单 → [7, 100, 1, 3]
task = core.task_accept(task, 7)   # 验收 → [7, 100, 3, 3]

或走 HTTP：curl "http://127.0.0.1:8080/post?author=7&bounty=100"。你拿到的行为与三端验证器共识一致——就是协议保证的行为。

用法 4：让别的 AI 智能体用（给 AI 的 prompt 模板）

把下面这段发给任何 AI（Claude / GPT / 其他 Agent）：

你是 ΣLang 协议的开发者。先读 README.md 的"大白话导读"和"怎么用它"，再读 spec/spec_p0_socketkit.md 掌握业务规则写法。你的任务：

用 impl/python/sigma_core.py 的纯函数实现业务逻辑（禁止自己重新定义规则）；

用 python3 verify_consensus.py 确认语义与三个验证器一致；

改完必须 python3 tools/sigma-accept.py 十道门禁全绿。规则以 spec/ 为准，语料在 corpus/，任何不一致先查 spec 再改实现。

一句话总结：想用产品 → 用法 1；想用协议 → 用法 2；想用语义 → 用法 3；想教 AI 用 → 用法 4。详细分角色上手见 docs/USAGE.md。

Quick Start / 新人 30 分钟上手（v0.47）

ΣLang 用一句话介绍：给 AI 立的"度量衡"协议——同一份规则文档， Python / Rust / Elixir 三个独立验证器必须给出完全一样的结论。

三域概览（协议已承载三个独立领域）

域	规范	语义	语料
§SK 找茬业务（App 行为）	`spec/spec_p0_socketkit.md`	task_create / accept_task / task_submit / task_accept + 五大制度 + 增长期（核验师/督导/团机制/预支/可追溯）	`corpus/socketkit_ok.md` + `socketkit_growth_ok.md`
§PF 金融（投资组合）	`spec/spec_p0_portfolio.md`	portfolio_new / buy / sell / portfolio_value / risk_score	`corpus/portfolio_ok.md`
§IN 供应链（库存）	`spec/spec_p0_inventory.md`	inventory_new / receive_stock / ship_stock / stock_level / fill_rate	`corpus/inventory_ok.md`

快速开始命令

python3 verify_consensus.py                  # 三端共识门禁（47/47 全绿）
python3 verify_p0.py                         # 算法正确性（109/109）
python3 tools/sigma-runtime.py --domains     # 三域审计故事线一次跑通（35/35）
python3 tools/sigma-prove.py corpus/socketkit_ok.md corpus/portfolio_ok.md corpus/inventory_ok.md  # z3 义务消解（230 项 PROVED）
python3 impl/python/sigma_app.py --smoke     # 找茬 MVP 参考后端 HTTP 冒烟（25/25）

验证清单（任何改动后必须全绿）

# 1. 三端共识（Law XIII 门禁）
python3 verify_consensus.py                    # 47/47
# 2. 三端 §SK 自检
cd impl/verifier && cargo run -q -- --sk-self-check      # 88/88
cd impl/elixir_rt && elixir sigma_verify.exs --sk-self-check  # 88/88
python3 impl/python/sigma_core.py              # 167/167
# 3. 三端编译
cd impl/verifier && cargo build                # 0 error / 0 warning
# 4. 证明与运行时
python3 tools/sigma-prove.py corpus/socketkit_ok.md corpus/portfolio_ok.md corpus/inventory_ok.md
python3 tools/sigma-runtime.py --domains       # 35/35

三端一致（Law XIII）是 ΣLang 的核心承诺：一个符号、一种含义、一个结果—— 谁来算都一样。

Architecture / 架构与数据流（v0.59）

ΣLang 的语义如何从规范一路走到共识门禁？全景如下：

  spec/ 规范（英文为准 + spec/zh 中文参考）
   │  定义操作：指纹 / 签名 / 定律 / 测试（真实函数调用）
   ▼
  corpus/ 语料（51 个模块：ok 期望 PASS，break 期望 FAIL）
   │  三端验证器独立解析 + 求值（eval_expr 真实调用 §SK/§PF/§IN）
   ├──▶ Python verify_consensus.py ─┐
   ├──▶ Rust  impl/verifier        ├──▶ Law XIII 共识门禁（56/56 全绿）
   └──▶ Elixir impl/elixir_rt      ─┘
   │
   ├──▶ tools/sigma-prove.py     z3 义务消解（230 项 PROVED）
   ├──▶ tools/sigma-runtime.py   审计运行时（trace 65/65 + --domains 35/35）
   ├──▶ impl/python/sigma_app.py 找茬参考后端（自检 15/15 + 冒烟 36/36 + 持久化/审计）
   └──▶ tools/sigma-accept.py    一键验收（9 道门禁）→ GitHub Actions CI

工具链职责

工具	职责	结果
`verify_consensus.py`	三端验证器对 51 个语料模块独立判定（Python/Rust/Elixir/Expected）	56/56 一致
`verify_p0.py`	算法正确性（含 §SK 语义检查）	109/109
`tools/sigma-prove.py`	把语料定律编码为 z3 义务并消解	230 项 PROVED
`tools/sigma-runtime.py`	审计运行时：逐事件复核定律（trace / --story / --growth / --inventory / --domains）	65/65 + 35/35
`impl/python/sigma_app.py`	找茬 MVP 参考后端：业务全委托 §SK，App 只管状态	自检 15/15 + 冒烟 36/36
`tools/sigma-accept.py`	九道门禁一键验收（本地与 CI 同一条命令）	9/9
`.github/workflows/ci.yml`	push/PR 自动验收，全绿才算过	CI 门禁

一条语义的旅程（以 §SK task_create 为例）：

spec/spec_p0_socketkit.md 定义指纹 0xF001、签名、定律与测试；
corpus/socketkit_taskflow_ok.md 把它写成真实函数调用测试；
Python / Rust / Elixir 三个独立验证器各自求值，结果必须逐项一致（Law XIII）；
tools/sigma-prove.py 把定律编码为 z3 义务，证明不可违反（P-01 结构 + 义务 PROVED）；
tools/sigma-runtime.py 在业务故事线里审计它的行为（input/output/定律复核）；
impl/python/sigma_app.py 的 post_task 直接委托它，并记录审计事件；
任何改动后 tools/sigma-accept.py 九道门禁全绿，CI 放行。

整条链路的含义：业务规则先以 ΣLang 语义存在并被证明，然后才是任何语言的实现——实现只是语义的投影。

Product Guide / 用 ΣLang 做找茬（v0.69）

找茬功能 ↔ §SK 语义对照——每个业务动作都对应一个被三端共识、z3 可证明的 ΣLang 操作：

找茬功能	§SK 语义（spec_p0_socketkit.md）
注册 / 会话	`register` / `me`（App 层，用户态隔离）
月度发单额度	`quota_new` / `quota_use` / `quota_reset` / `quota_advance`
发需求（赏金托管）	`task_create` + `points_hold`
接单	`accept_task`
提交成果	`task_submit`
验收确认（受茬人）	`task_accept`（需 caller ≡ 作者）
赏金提现	`points_release` + `points_withdraw`
契分 / 贡献 / 勋章	`credit_score` / `contribution_score` / `badge_level`
核验师签发勋章	`badge_issue`（v ≥ 1000 授权核验师）
督导处理纠纷	`dispute_review`
受茬团 / 找茬团	`team_create` / `team_join` / `team_share`
积分来源可追溯	`points_ledger`

落地三步走：

起后端：python3 impl/python/sigma_app.py --serve --port 8080 --state state.json --audit-log audit.json（或 Rust cargo run -- --app-serve；双端业务流剧本 --scenario / --app-scenario 16/16 逐项一致）。
过验收：python3 tools/sigma-accept.py 九道门禁全绿 + 找茬专项（--smoke 36/36 / --persist-test 10/10 / --audit-test 5/5）——任何部署改动放行前必跑。
扩展业务：新规则先写进 spec（§SK）→ 三端实现 → 语料进共识门禁 → z3 证明 → App 委托，再进产品——业务逻辑永远先以 ΣLang 语义存在并被证明，任何语言的实现都只是它的投影。

详细部署与运维见 docs/deploy_zhaocha.md（v0.68）。

Launch Checklist / 找茬开工检查清单（v0.85）

上线前逐项勾选——每项都有可重复执行的命令与期望结果（覆盖 v0.71–v0.84 服务化能力）：

#	检查项	命令	期望
1	启动自检（v0.75）	`python3 impl/python/sigma_app.py --serve --skip-startup-check` 去掉跳过标志	先过 §SK.6 门禁再监听，失败拒绝启动
2	鉴权（v0.71）	`python3 impl/python/sigma_app.py --serve --auth-token SECRET`	未带 ?token= 返回 401
3	状态持久化（v0.51/72）	`--state state.json`	重启不丢；原子写崩溃不损坏
4	审计日志（v0.55）	`--audit-log audit.json`	每个业务动作的 ΣLang 事件，可对账
5	访问日志（v0.73）	`--log-file app.log`	2xx=INFO / 4xx=WARNING 分级
6	健康检查（v0.74）	`GET /health`	status ok + 门禁摘要（56/56、73 PROVED）
7	HTTP 方法（v0.82）	前端用 POST 变更、GET 查询	变更/查询端点双方法可用
8	业务流剧本	`--scenario`（16/16）+ `--frontend-scenario`（11/11）	CLI 与前端视角全绿
9	双端对账（v0.84）	Python `--smoke` 与 Rust `--app-smoke`	双端 36/36 逐项一致
10	一键门禁	`python3 tools/sigma-accept.py`	10/10 全绿

任何一项未过 = 开工放行前必须修复；门禁数字以当前 milestone 为准。

Run Guide / 找茬运行指南（v0.98）

一条命令开工（v0.94）：

python3 impl/python/sigma_app.py --launch
# 启动自检通过 → 前端 http://127.0.0.1:8000 · API http://127.0.0.1:8080（Ctrl+C 停止）

入口	地址	说明
前端页面	`http://127.0.0.1:8000`	注册/开户/发单/接单/提交/验收/提现/勋章（web/index.html，后端地址可在 localStorage `sigma_base` 配）
API	`http://127.0.0.1:8080`	全部业务端点（见 `docs/api_zhaocha.md`）
运行面板	`http://127.0.0.1:8080/panel`	业务摘要 + 门禁摘要（v0.95）
健康检查	`http://127.0.0.1:8080/health`	服务状态 + 配置摘要（v0.74）

开工后完整使用流程（§SK.6）：

「我的会话」注册两个用户（作者 7 / 找茬人 3），作者开户额度（50）；
「发布需求」发单（作者 7，赏金 100）；
「任务列表」看到新单（待接单）→ 「任务操作」接单（找茬人 3）；
提交 → 验收（作者 7 确认）→ 任务变已完成；
提现（找茬人 100）→ 勋章（契分 105）。

运行验收（v0.96）：python3 impl/python/sigma_app.py --run-accept —— 8 项端到端（启动自检 / 双服务在线 / 全链路业务流 / /panel 实时数据 / 状态可持久化 / 审计可对账）。协议门禁：python3 tools/sigma-accept.py --report acceptance.json 十道门禁一键验收（v0.48/56/84/87）。

Deploy Guide / 找茬上线指南（v0.117）

上线启动（v0.94/101/102）：

python3 impl/python/sigma_app.py --launch \
  --port 8080 --web-port 8000 \
  --auth-token SECRET \
  --state data/state.json --audit-log data/audit.json --log-file data/app.log
# 未显式指定 --state/--audit-log/--log-file 时自动落到 data/ 默认路径（v0.102）

生产配置（v0.101 透传）：

参数	说明
`--port` / `--web-port`	后端 API / 前端端口
`--auth-token SECRET`	启用鉴权（未带 ?token= 返回 401，v0.71）
`--state FILE`	状态持久化（原子写，崩溃不损坏，v0.72/101）
`--audit-log FILE`	ΣLang 审计日志（可对账，v0.55）
`--log-file FILE`	访问日志分级（2xx=INFO / 4xx=WARNING，v0.73）

上线验收：python3 impl/python/sigma_app.py --deploy-accept（9 项端到端， v0.104）→ python3 tools/sigma-accept.py --report acceptance.json（十道门禁 + 运行验收 runtime 段，v0.116）。

运维要点：数据在 data/（定期备份 state.json）；审计可对账（每个业务动作的 ΣLang 事件）；GET /health 监控服务状态（v0.74）；GET /panel 看运行状态与门禁摘要（v0.95）；并发安全有 --concurrency-test 兜底（v0.103）。

Status / 项目状态

Module / 模块	Tests / 测试	Status / 状态
§T Time & Causal Order / 时间与因果序	17/17	✅
§E Error Algebra / 错误代数	16/16	✅
§C Confidence & Probabilistic Logic / 置信度与概率逻辑	37/37	✅
§I I/O Boundary & Effects / I/O 边界与效应	25/25	✅
§SK SocketKit Protocol / SocketKit 协议	14/14	✅
Total / 总计	109/109	✅

Verifier Consensus / 验证器共识: 56/56 corpus modules agree across Python / Rust / Elixir verifiers. 56/56 语料库模块在 Python / Rust / Elixir 三个验证器上达成一致。

v0.89 收官总览 (2026-08-04): 协议 spec 0.5.0，三域（§SK 找茬业务 / §PF 金融 / §IN 供应链）——consensus 56/56、p0 109/109、sigma-prove 230 项 PROVED（29 模块）、sigma-runtime 65/65 + 47/47（--domains 含 12 项跨操作不变量复核）、双端 HTTP 冒烟 36/36 逐项一致、sigma-accept 十道门禁 10/10（含 CI 回归报告 artifact）、三端 0 warning；找茬产品落地（服务化十件套 + API 文档 + 部署文档 + 开工 checklist + 前端联调剧本）—— 从 v0.10 到 v0.89 里程碑链完整。

v0.119 收官总览 (2026-08-05): 协议 spec 0.7.0，三域（§SK 找茬业务 / §PF 金融 / §IN 供应链）——consensus 56/56、p0 109/109、sigma-prove 230 项 PROVED（29 模块）、sigma-runtime 65/65 + 65/65（--domains 含 20 项链式不变量复核）、双端 HTTP 冒烟 37/37 逐项一致（含 /panel 对账）、 sigma-accept 十道门禁 10/10（含 --report 运行验收 runtime 段）、 --bench 性能基线（/health 99 req/s、/tasks 270 req/s）、三端 0 warning；找茬产品可上线（--launch 一键开工 + 默认持久化/审计/日志 + 前端三域面板 + 上线验收 --deploy-accept + 上线指南 + 运行面板 /panel + 并发/性能兜底）—— 从 v0.10 到 v0.119 里程碑链完整。

v0.146 收官总览 (2026-08-05): 协议 spec 0.7.0，三域（§SK 找茬业务 / §PF 金融 / §IN 供应链）——consensus 56/56、p0 109/109、sigma-prove 230 项 PROVED（30 模块，含 INV-SK-6 额度-托管联动 / INV-PF-4 交易链可加性）、 sigma-runtime 65/65 + 65/65（--domains 含 22 项链式不变量复核）、双端 HTTP 冒烟 38/38 逐项一致（含 /panel 与 /stats 对账）、前端联调剧本 19/19、 sigma-accept 十道门禁 10/10（含 --report runtime 段）、Elixir 自检 88/88、 stats-test 5/5、三端 0 warning；找茬产品可上线（--launch 一键开工 + 默认持久化/审计/日志 + 前端三域面板 + 平台统计 /stats + 上线/运行/部署指南 + 性能基线）——从 v0.10 到 v0.146 里程碑链完整（长期自主运行小阶段 13/496 推进中，每 10 个同步仓库、每 100 个发布 PyPI）。

v0.156 收官总览 (2026-08-05): 协议 spec 0.7.0，三域（§SK 找茬业务 / §PF 金融 / §IN 供应链）——consensus 56/56、p0 109/109、sigma-prove 230 项 PROVED（31 模块，含 INV-SK-6 额度-托管联动 / INV-PF-4 交易链可加性 / INV-IN-5 混合货品可加链）、sigma-runtime 65/65 + 65/65（--domains 含 23 项链式不变量复核）、双端 HTTP 冒烟 43/43 逐项一致（含 /panel、/stats 与 /portfolio_* 对账）、前端联调剧本 19/19、sigma-accept 十道门禁 10/10 （含 --report runtime 段）、Elixir 三域自检（§SK 88/88、§IN 6/6、§PF 8/8）、 stats-test 5/5、portfolio-test 5/5、三端 0 warning；找茬产品可上线（--launch 一键开工 + 默认持久化/审计/日志 + 前端三域面板 + 平台统计 /stats + 金融市场 /portfolio_* + 上线/运行/部署指南 + 性能基线）——从 v0.10 到 v0.156 里程碑链完整（长期自主运行小阶段 23/496 推进中，每 10 个同步仓库、每 100 个发布 PyPI）。

v0.166 收官总览 (2026-08-06): 协议 spec 0.7.0，三域（§SK 找茬业务 / §PF 金融 / §IN 供应链）——consensus 56/56、p0 109/109、sigma-prove 230 项 PROVED（32 模块，含 INV-SK-6 额度-托管 / INV-PF-4 交易链可加 / INV-IN-5 混合货品可加 / INV-SK-7 任务-契分联动）、sigma-runtime 65/65 + 65/65（--domains 含 24 项链式不变量复核）、双端 HTTP 冒烟 44/44 逐项一致 （含 /panel、/stats、/portfolio_* 与供应链链对账）、前端联调剧本 19/19、 sigma-accept 十道门禁 10/10（含 --report runtime 段）、Elixir 三域自检（§SK 88/88、§IN 7/7、§PF 8/8）、stats-test 5/5、portfolio-test 5/5、 inventory-test 5/5、三端 0 warning；跨域联动语料（§SK→§PF→§IN 三域链 sigma_cross_domain_ok）进共识 56/56；找茬产品可上线（--launch 一键开工 + 默认持久化/审计/日志 + 前端三域面板 + 平台统计 /stats + 金融市场 /portfolio_* + 供应链联动演示 + 上线/运行/部署指南 + 性能基线）——从 v0.10 到 v0.166 里程碑链完整（长期自主运行小阶段 33/496 推进中，每 10 个同步仓库、每 100 个发布 PyPI）。

v0.176 收官总览 (2026-08-06): 协议 spec 0.7.0，三域（§SK 找茬业务 / §PF 金融 / §IN 供应链）——consensus 56/56、p0 109/109、sigma-prove 230 项 PROVED（33 模块，含 INV-SK-6 额度-托管 / INV-PF-4 交易链可加 / INV-IN-5 混合货品可加 / INV-SK-7 任务-契分联动 / INV-PF-5 买入-卖出链守恒）、 sigma-runtime 65/65 + 65/65（--domains 含 25 项链式不变量复核）、双端 HTTP 冒烟 46/46 逐项一致（含 /panel、/stats、/portfolio_、供应链链与跨域链对账）、前端联调剧本 19/19、sigma-accept 十道门禁 10/10（含 --report runtime 段）、Elixir 四域自检（§SK 88/88、§IN 7/7、§PF 8/8、三域链 5/5）、stats-test 5/5、portfolio-test 5/5、inventory-test 5/5、cross-domain-test 5/5、三端 0 warning；跨域联动语料与三域错误边界语料（§SK→§PF→§IN 链 + 错误路径强化）进共识 56/56；找茬产品可上线（--launch 一键开工 + 默认持久化/ 审计/日志 + 前端三域面板 + 平台统计 /stats + 金融市场 /portfolio_ + 供应链/ 三域联动演示 + 上线/运行/部署指南 + 性能基线）——从 v0.10 到 v0.176 里程碑链完整（长期自主运行小阶段 43/496 推进中，每 10 个同步仓库、每 100 个发布 PyPI）。

v0.186 收官总览 (2026-08-06): 协议 spec 0.7.0，三域（§SK 找茬业务 / §PF 金融 / §IN 供应链）——consensus 56/56、p0 109/109、sigma-prove 230 项 PROVED（34 模块，含 INV-SK-6 额度-托管 / INV-PF-4 交易链可加 / INV-IN-5 混合货品可加 / INV-SK-7 任务-契分联动 / INV-PF-5 买入-卖出链守恒 / INV-SK-8 赏金-积分联动）、sigma-runtime 65/65 + 65/65（--domains 含 26 项链式不变量复核）、双端 HTTP 冒烟 48/48 逐项一致（含 /panel、/stats、 /portfolio_、供应链链、跨域链与错误边界对账）、前端联调剧本 19/19、 sigma-accept 十道门禁 10/10（含 --report runtime 段）、Elixir 五域自检（§SK 88/88、§IN 7/7、§PF 8/8、三域链 5/5、错误边界 10/10）、stats-test 5/5、portfolio-test 5/5、inventory-test 5/5、cross-domain-test 5/5、errors-test 7/7、三端 0 warning；跨域联动语料、三域错误边界语料与标准库边界强化（§SK→§PF→§IN 链 + 错误路径 + std 边界用例 24 项）进共识 56/56；找茬产品可上线（--launch 一键开工 + 默认持久化/审计/日志 + 前端三域面板 + 平台统计 /stats + 金融市场 /portfolio_ + 供应链/三域联动演示 + 语义化错误提示 + 上线/运行/部署指南 + 性能基线）——从 v0.10 到 v0.186 里程碑链完整（长期自主运行小阶段 53/496 推进中，每 10 个同步仓库、每 100 个发布 PyPI）。

v0.196 收官总览 (2026-08-06): 协议 spec 0.7.0，三域（§SK 找茬业务 / §PF 金融 / §IN 供应链）——consensus 56/56、p0 109/109、sigma-prove 230 项 PROVED（34 模块，含 INV-SK-6 额度-托管 / INV-PF-4 交易链可加 / INV-IN-5 混合货品可加 / INV-SK-7 任务-契分联动 / INV-PF-5 买入-卖出链守恒 / INV-SK-8 赏金-积分联动 / INV-IN-6 入库-出库联动）、sigma-runtime 65/65 + 65/65（--domains 含 27 项链式不变量复核）、双端 HTTP 冒烟 50/50 逐项一致 （含 /panel、/stats、/portfolio_、供应链链、跨域链、错误边界与积分链对账）、前端联调剧本 19/19、sigma-accept 十道门禁 10/10（含 --report runtime 段）、Elixir 六域自检（§SK 88/88、§IN 7/7、§PF 8/8、三域链 5/5、错误边界 10/10、积分链 3/3）、stats-test 5/5、portfolio-test 5/5、inventory-test 5/5、cross-domain-test 5/5、points-test 3/3、errors-test 7/7、三端 0 warning；跨域联动语料、三域错误边界语料与标准库双包边界强化（§SK→§PF→§IN 链 + 错误路径 + std math_base 24 项 + data_transform 18 项）进共识 56/56；找茬产品可上线（--launch 一键开工 + 默认持久化/审计/日志 + 前端三域面板 + 平台统计 /stats + 金融市场 /portfolio_ + 供应链/三域/积分链联动演示 + 语义化错误提示 + 上线/运行/部署指南 + 性能基线）——从 v0.10 到 v0.196 里程碑链完整（长期自主运行小阶段 63/496 推进中，每 10 个同步仓库、每 100 个发布 PyPI）。

v0.206 收官总览 (2026-08-06): 协议 spec 0.7.0，三域（§SK 找茬业务 / §PF 金融 / §IN 供应链）——consensus 56/56、p0 109/109、sigma-prove 230 项 PROVED（34 模块，含 INV-SK-6 额度-托管 / INV-PF-4 交易链可加 / INV-IN-5 混合货品可加 / INV-SK-7 任务-契分联动 / INV-PF-5 买入-卖出链守恒 / INV-SK-8 赏金-积分联动 / INV-IN-6 入库-出库联动 / INV-PF-6 交易链完整性）、 sigma-runtime 65/65 + 65/65（--domains 含 28 项链式不变量复核）、双端 HTTP 冒烟 51/51 逐项一致（含 /panel、/stats、/portfolio_、供应链链、跨域链、错误边界、积分链与库存链对账）、前端联调剧本 19/19、sigma-accept 十道门禁 10/10（含 --report runtime 段）、Elixir 七域自检（§SK 88/88、§IN 7/7、 §PF 8/8、三域链 5/5、错误边界 10/10、积分链 3/3、库存链 5/5）、stats-test 5/5、portfolio-test 5/5、inventory-test 5/5、cross-domain-test 5/5、inventory-chain-test 5/5、points-test 3/3、errors-test 7/7、三端 0 warning；跨域联动语料、三域错误边界语料与标准库三包边界强化（§SK→§PF→§IN 链 + 错误路径 + std math_base 24 项 + data_transform 18 项 + ai_confidence 8 项）进共识 56/56；找茬产品可上线（--launch 一键开工 + 默认持久化/审计/日志 + 前端三域面板 + 平台统计 /stats + 金融市场 /portfolio_ + 供应链/三域/积分链/库存链联动演示 + 语义化错误提示 + 上线/运行/部署指南 + 性能基线）——从 v0.10 到 v0.206 里程碑链完整（长期自主运行小阶段 73/496 推进中，每 10 个同步仓库、每 100 个发布 PyPI）。

v0.216 收官总览 (2026-08-06): 协议 spec 0.7.0，三域（§SK 找茬业务 / §PF 金融 / §IN 供应链）——consensus 56/56、p0 109/109、sigma-prove 230 项 PROVED（34 模块，含 INV-SK-6 额度-托管 / INV-PF-4 交易链可加 / INV-IN-5 混合货品可加 / INV-SK-7 任务-契分联动 / INV-PF-5 买入-卖出链守恒 / INV-SK-8 赏金-积分联动 / INV-IN-6 入库-出库联动 / INV-PF-6 交易链完整性 / INV-SK-9 额度-契分联动）、sigma-runtime 65/65 + 65/65（--domains 含 29 项链式不变量复核）、双端 HTTP 冒烟 53/53 逐项一致（含 /panel、/stats、 /portfolio_、供应链链、跨域链、错误边界、积分链、库存链与信用链对账）、前端联调剧本 19/19、sigma-accept 十道门禁 10/10（含 --report runtime 段）、 Elixir 八域自检（§SK 88/88、§IN 7/7、§PF 8/8、三域链 5/5、错误边界 10/10、积分链 3/3、库存链 5/5、信用链 5/5）、stats-test 5/5、portfolio-test 5/5、inventory-test 5/5、cross-domain-test 5/5、 inventory-chain-test 5/5、points-test 3/3、credit-test 3/3、 errors-test 7/7、三端 0 warning；跨域联动语料、三域错误边界语料与标准库四包边界强化（§SK→§PF→§IN 链 + 错误路径 + std math_base 24 项 + data_transform 18 项 + ai_confidence 12 项）进共识 56/56；找茬产品可上线（--launch 一键开工 + 默认持久化/审计/日志 + 前端三域面板 + 平台统计 /stats + 金融市场 /portfolio_ + 供应链/三域/积分链/库存链/信用链联动演示 + 语义化错误提示 + 上线/运行/部署指南 + 性能基线）——从 v0.10 到 v0.216 里程碑链完整（长期自主运行小阶段 83/496 推进中，每 10 个同步仓库、每 100 个发布 PyPI）。

v0.226 收官总览 (2026-08-06): 协议 spec 0.7.0，三域（§SK 找茬业务 / §PF 金融 / §IN 供应链）——consensus 56/56、p0 109/109、sigma-prove 230 项 PROVED（34 模块，含 INV-SK-6 额度-托管 / INV-PF-4 交易链可加 / INV-IN-5 混合货品可加 / INV-SK-7 任务-契分联动 / INV-PF-5 买入-卖出链守恒 / INV-SK-8 赏金-积分联动 / INV-IN-6 入库-出库联动 / INV-PF-6 交易链完整性 / INV-SK-9 额度-契分联动 / INV-IN-7 混合货品联动）、sigma-runtime 65/65 + 65/65（--domains 含 30 项链式不变量复核）、双端 HTTP 冒烟 56/56 逐项一致 （含 /panel、/stats、/portfolio_、供应链链、跨域链、错误边界、积分链、库存链、信用链与全流程对账）、前端联调剧本 19/19、sigma-accept 十道门禁 10/10 （含 --report runtime 段）、Elixir 九域自检（§SK 88/88、§IN 7/7、§PF 8/8、三域链 5/5、错误边界 10/10、积分链 3/3、库存链 5/5、信用链 5/5、全流程 6/6）、 stats-test 5/5、portfolio-test 5/5、inventory-test 5/5、 cross-domain-test 5/5、inventory-chain-test 5/5、full-test 5/5、 points-test 3/3、credit-test 3/3、errors-test 7/7、三端 0 warning；跨域联动语料、三域错误边界语料与标准库五包边界强化（§SK→§PF→§IN 链 + 错误路径 + std math_base 24 项 + data_transform 24 项 + ai_confidence 12 项）进共识 56/56；找茬产品可上线（--launch 一键开工 + 默认持久化/审计/日志 + 前端三域面板 + 平台统计 /stats + 金融市场 /portfolio_ + 供应链/三域/积分链/库存链/ 信用链/全流程联动演示 + 语义化错误提示 + 上线/运行/部署指南 + 性能基线）—— 从 v0.10 到 v0.226 里程碑链完整（长期自主运行小阶段 93/496 推进中，每 10 个同步仓库、每 100 个发布 PyPI）。

v0.10 可用 (2026-08-02): 数学符号（⊕ ⊗ ⊖ ⊘ ⊙ ≡ ≥ ≤ ∈）、基本操作（index()/I₂、元素级/矩阵运算）、常量包（§C 0xK0xx/0xQ0xx 按指纹解析，Opaque 类不可遮蔽）已在三个验证器求值器全部实现并有语料覆盖；sigma-prove 义务消解 PROVED (unsat)，sigma-moonbit 生成 .mbtp；共识门禁 35/35 全绿。

v0.11 可用 (2026-08-02): 包管理器 tools/sigma-cli.py（install/verify/list/search/fingerprint，~/.sigma/registry.json 注册表，Iron Law VII 无环依赖解析）+ 标准库 3 包（std/math.base.md / std/data.transform.md / std/ai.confidence.md，各配 corpus/std_*_ok.md 验证器测试集）；共识门禁 38/38 全绿、p0 95/95、三端 0 warning，v0.10 不回归。见 MASTER_PLAN.md Phase 3–4 与 AUTOPILOT.md §6。

AI Bootstrapping Test (P2, 2026-08-02): tools/sigma-bootstrap.py — 一键闭环验证 spec→impl→verify→pass：4 个 P0 spec 均携带 ## Implementation Checklist (for AI)、impl/python/sigma_core.py 自检 65/65、verify_p0.py 95/95。证明「新鲜 AI 只凭规范+验证器即可从零实现并通过验证」。见 MASTER_PLAN.md Phase 5。

v0.12 Novel Spec Test (2026-08-02): corpus/novel_gene_ok.md（DNA 对齐语义）三端验证器一致（consensus 39/39），跑通 AI 读 spec → 写实现 → 验证 → 发布的完整闭环。见 MASTER_PLAN.md Phase 5.2。

v0.13 SocketKit Protocol (2026-08-02): spec/spec_p0_socketkit.md（§SK：task_create / review_merge / contribution_score 的 ΣLang 语义）+ corpus/socketkit_ok.md 三端一致（consensus 40/40），走通 RFC → spec → 验证器 → 测试晋升路径。见 MASTER_PLAN.md §6.2。

v0.14 SocketKit Runtime (2026-08-03): §SK 参考实现进入 impl/python/sigma_core.py（自检 75/75）· 审计运行时 tools/sigma-runtime.py（业务 trace → ΣLang obligation 日志，10/10 满足）· sigma-prove 对 §SK 六条定律义务消解全部 PROVED (unsat) · 负例 corpus/socketkit_break.md（E-02，三端一致 FAIL）· §SK 行为测试进 verify_p0.py（109/109）；共识门禁 41/41 全绿、三端 0 warning，v0.10–v0.13 不回归。

v0.15 三端 §SK 执行层 (2026-08-03): §SK 参考实现从 Python 单侧同步到 Rust（impl/verifier/src/sk.rs + --sk-self-check，16/16）与 Elixir（sigma_verify.exs §SK + --sk-self-check，16/16）——同一组 §SK 用例三端判定一致（Law XIII 业务语义层），cargo build 0 error/0 warning；consensus 41/41、p0 109/109 不回退，v0.10–v0.14 不回归。

v0.16 SocketKit 语料执行化 (2026-08-03): 三端求值器（verify_consensus.py / evaluator.rs / sigma_verify.exs）的 eval_expr 直接支持 §SK 三操作真实调用（task_create(a,b) / review_merge([...]) / contribution_score([...])，含 ⊥ BountyErr / TypeError / ShapeError 错误路径）；corpus/socketkit_ok.md 的 Tests 从规范表达式（⊕ ∈ ⊘）升级为真实调用——Law XIII 共识门禁从此直接验证业务语义本身，9/9 三端一致（consensus 41/41）、0 warning，v0.10–v0.15 不回归。

v0.17 §SK 对齐真实业务 (2026-08-03): 依据找茬需求文档（D:\Desktop\来找茬_需求文档.md v1.0）校准 §SK——Task 扩展为 4 元组 [author, bounty, status, hunter] + 4 态状态机（待接单→进行中→待验收→已完成）；新增 accept_task（接单）/ task_submit（提交成果）/ task_accept（受茬人单人验收）/ credit_score（契分制：基础 100、完成 +5/单、违约 ×0.7）；review_merge 修正为增长期核验师场景。三端执行层同步（sigma_core 91/91、三端 §SK 自检 32/32、socketkit_ok 24/24 三端一致），sigma-prove 18 项 §SK 义务全部 PROVED (unsat)，sigma-runtime 完整 MVP 业务 trace 23/23；consensus 41/41、p0 109/109、三端 0 warning，v0.10–v0.16 不回归。

v0.18 状态机不变量证明 (2026-08-03): task_accept 增加作者授权参数（只有受茬人本人 caller ≡ author 可验收，否则 ⊥ AuthError），spec 新增 §SK.3.8 不变量章节——INV-1 状态单调（状态只前进不后退）、INV-2 终态不可变（completed 不可再被任何状态操作改变）、INV-3 守恒（bounty 与 hunter 流转中不变）、INV-4 作者授权。三端执行层与 eval_expr 同步授权校验（sigma_core 92/92、三端 §SK 自检 33/33、socketkit_ok 25/25 三端一致），sigma-prove 新增 6 项不变量义务全部 PROVED (unsat)（§SK 共 23 项），sigma-runtime 审计 trace 增加不变量逐条复核（31/31）；consensus 41/41、p0 109/109、三端 0 warning，v0.10–v0.17 不回归。

v0.19 第二个自举新域（金融 portfolio@1.0）(2026-08-03): 验证 ΣLang 协议泛化性——第二个全新领域（金融投资组合）走通 spec→三端→语料→证明全流程：spec/spec_p0_portfolio.md（§PF：portfolio_new / buy / sell / portfolio_value / risk_score，单位价格 1 使总资产守恒可证）+ corpus/portfolio_ok.md（19/19 三端一致 PASS）与 corpus/portfolio_break.md（E-02 三端一致 FAIL）；三端 eval_expr 支持新域真实调用（sigma_core 111/111、0 warning）；sigma-prove 新增 10 项 §PF 义务全部 PROVED (unsat)（§SK+§PF 共 33 项）；sigma-runtime 审计 trace 增加 §PF 段（45/45）；consensus 43/43、p0 109/109，v0.10–v0.18 不回归。

v0.20 找茬五大制度补齐 (2026-08-03): 依据找茬需求文档（D:\Desktop\来找茬_需求文档.md §四）把剩余三制度纳入 §SK——SK.3.9 额度制（quota_new/quota_use/quota_reset：月额/扣减/月底清零）、SK.3.10 积分制（points_hold/points_release/points_withdraw：托管冻结/释放/提现，⊥ InsufficientEscrow / InsufficientPoints）、SK.3.11 勋章制（badge_level：铜银金钻四级）。三端执行层与 eval_expr 同步（sigma_core 130/130、三端 §SK 自检 56/56、socketkit_ok 50/50 三端一致、0 warning），sigma-prove 新增 8 项三制度义务全部 PROVED (unsat)（共 41 项），sigma-runtime 审计 trace 增加三制度段（65/65）；consensus 43/43、p0 109/109，v0.10–v0.19 不回归。

v0.21 找茬 MVP 全链路审计剧本 (2026-08-03): spec 新增 §SK.6 MVP 业务剧本——12 步端到端验收场景（开户额度→发布需求→扣减额度→赏金托管→接单→提交成果→验收确认→释放赏金→找茬人提现→契分奖励→贡献累计→勋章升级）；sigma-runtime --story（run_mvp_story）一次跑通完整业务故事线并逐事件复核不变量（INV-1 状态单调 / INV-3 守恒 / INV-4 作者授权 / 额度扣减 / 积分托管守恒），18/18 义务满足——作为 App 开工的「验收剧本」；consensus 43/43、p0 109/109、三端 0 warning，v0.10–v0.20 不回归。

v0.22 找茬 MVP 参考实现 (2026-08-03): impl/python/sigma_app.py（MVPApp）——找茬 MVP 真正"开工"的第一步：业务方法全部委托 sigma_core §SK 语义（App 层只管状态、零业务规则重写），stdlib-only HTTP JSON API（--serve 暴露 /post /claim /submit /accept /withdraw /badge）；自检跑通 §SK.6 十二步剧本（15/15），步骤与 sigma-runtime --story（18/18）一一对应——被审计的验收剧本可直接实现为可运行后端；consensus 43/43、p0 109/109、三端 0 warning，v0.10–v0.21 不回归。

v0.23 MVP 端到端 HTTP 冒烟测试 (2026-08-03): sigma_app.py 增加 /quota 端点（开户额度，补全 HTTP 全链路）与 --smoke 模式（run_http_smoke：起服务→HTTP 七步全链路 /quota → /post → /claim → /submit → /accept → /withdraw → /badge → 逐响应断言 → 关服务，13/13 通过）——参考实现"作为 HTTP 服务的可用性"被可重复执行的冒烟测试固化；自检 15/15 不回归；consensus 43/43、p0 109/109、三端 0 warning，v0.10–v0.22 不回归。

v0.24 三端 §SK.6 story 一致性 (2026-08-03): §SK.6 MVP 业务剧本从 Python 单侧扩到三端——Rust sk.rs story() + --sk-story（15/15）、Elixir sk_story() + --sk-story（15/15），与 Python sigma_app.py（15/15）逐项一致：三把独立的尺子审计同一条业务故事线（开户→发单→扣额度→托管→接单→交成果→验收→释放→提现→加契分→加贡献→升勋章），Law XIII 在"产品层"收官；consensus 43/43、p0 109/109、三端 0 warning，v0.10–v0.23 不回归。

v0.25 Rust 参考实现 (2026-08-03): impl/verifier/src/app.rs（MVPApp 的 Rust 版，贴近生产部署）——业务方法全部委托 sk.rs §SK 语义（App 层零业务规则重写），CLI 新增 --app-self-check（15/15）；与 Python sigma_app.py（15/15）、Rust --sk-story（15/15）、Elixir --sk-story（15/15）四端逐项一致——同一业务故事线在 Python 参考后端与 Rust 生产级实现上算出同一个答案；cargo build 0 error/0 warning；consensus 43/43、p0 109/109，v0.10–v0.24 不回归。

v0.26 Rust HTTP 服务 + 冒烟对账 (2026-08-03): app.rs 增加 stdlib-only HTTP JSON API（手写 TcpListener + serde_json，--app-serve，端点 /quota /post /claim /submit /accept /withdraw /badge 与 Python sigma_app.py --serve 一致，业务全部委托 App 层 → §SK）+ --app-smoke（run_smoke：HTTP 七步全链路，13/13）——与 Python sigma_app.py --smoke（13/13）双端逐项一致，HTTP 层也同尺；cargo build 0 error/0 warning；consensus 43/43、p0 109/109，v0.10–v0.25 不回归。

Two verification modes / 两种验证模式

ΣLang ships two distinct verification tools with different purposes:

Tool / 工具	Mode / 模式	What it checks / 检查内容
`verify_p0.py`	Algorithm correctness / 算法正确性	109 tests over §T/§E/§C/§I/§SK module algorithms (Lamport clocks, Result monad, confidence ops, I/O effects, SocketKit app behavior) — proves the P0 semantics are implementable. Does NOT parse `.md` specs.
`verify_consensus.py`	Spec conformance / 规范一致性	Parses `.md` specs, applies Laws I–XVII + E-03/06/07/10 + §S/P-01 checks, and requires 41/41 corpus modules to agree across Python / Rust / Elixir (Law XIII gate).

These are complementary, not redundant: verify_p0.py proves the semantics are sound; verify_consensus.py proves the specs conform and that independent implementations agree on the same verdict (one symbol, one meaning, one result — across all models). 两者互补而非冗余：前者证明语义可靠，后者证明规范合规且跨实现判定一致。

Repository Structure / 目录结构

sigma-lang/
├── README.md                       # Project entry (this file) / 项目入口（本文件）
├── LICENSE                         # MIT
├── MASTER_PLAN.md                  # Development roadmap / 开发路线图
├── verify_p0.py                    # Algorithmic verification (109 tests) / 算法验证
├── verify_consensus.py             # Three-verifier consensus check / 三验证器共识检查
│
├── spec/                           # English specifications (normative) / 英文规范（规范性）
│   ├── spec_p0_foundations.md      # ⭐ Main P0 specification (整合版核心入口)
│   ├── spec_p0_time.md             # §T Full time & causality spec
│   ├── spec_p0_error.md            # §E Full error algebra spec
│   ├── spec_p0_confidence.md       # §C Full confidence & probability spec
│   ├── spec_p0_io.md               # §I Full I/O & effects spec
│   ├── spec_top_rules.md           # ⭐ Top-level rules: §S shadowing + §C constants + §G conflict
│   ├── spec_top_extensions.md      # Top-level rules: Law XIII–XVII + E-10 extensions
│   ├── spec_top_proofs.md          # Proof-carrying spec structure (P-01 enforced)
│   └── zh/                         # Chinese translations / 中文翻译
│       ├── spec_p0_foundations_zh.md
│       ├── spec_top_rules_zh.md
│       ├── spec_top_extensions_zh.md
│       └── spec_top_proofs_zh.md
│
├── archive/                        # Deprecated / superseded specs / 废弃/已替代的规范
│   ├── spec.md                     # v0.1 Initial Draft (superseded by spec_p0_foundations.md)
│   └── spec_p0_shadowing.md        # §S v0.2 (merged into spec_top_rules.md §S)
│
├── corpus/                         # Shared test corpus (38 modules) / 共享测试语料库
├── examples/                       # Usage examples / 使用示例
├── impl/                           # Verifier implementations / 验证器实现
│   ├── verifier/                   # Rust reference Verifier
│   ├── elixir_rt/                  # Elixir/BEAM verifier + runtime
│   └── python/                     # sigma_core.py — minimal reference core
├── tools/                          # Tooling (sigma-prove, etc.) / 工具
└── .github/workflows/              # CI: consensus gate

Quick Navigation / 快速导航

Getting Started / 入门

Document / 文档	Description / 说明
spec_p0_foundations.md	Main P0 specification — start here. Covers all 17 Iron Laws, core types, package system, §T/§E/§C/§I modules, and Verifier architecture. / P0 核心规范 — 从这里开始。涵盖全部 17 条铁律、核心类型、包系统、四大模块和验证器架构。

Core Modules / 核心模块

Document / 文档	Module / 模块	Tests / 测试
spec_p0_time.md	§T Time & Causal Order / 时间与因果序	17/17
spec_p0_error.md	§E Error Algebra / 错误代数	16/16
spec_p0_confidence.md	§C Confidence & Probabilistic Logic / 置信度与概率逻辑	37/37
spec_p0_io.md	§I I/O Boundary & Effects / I/O 边界与效应	25/25

Top-Level Governance / 顶层治理

Document / 文档	Content / 内容
spec_top_rules.md	§S Shadowing & Binding Discipline, §C Real-World Constants, §G Conflict Adjudication, Rule Index / §S 遮蔽与绑定纪律、§C 现实常量、§G 冲突裁决、规则索引
spec_top_extensions.md	Laws XIII–XVII (Verifier Consensus, Negative Tests, Export Completeness, Compatibility Proof, Probabilistic Guarantee) + Law VIII-ext E-10 (Eval Determinism) + E-08 S-01 Level 1 (package signature) + E-08 Strategy Bundle candidate / Law XIII–XVII 扩展 + E-10 评估确定性 + E-08 S-01 Level 1 包签名 + E-08 策略包候选
spec_pki_feasibility.md	E-08 S-01 PKI Feasibility Study (Trust & Provenance: signatures, author identity, anti-poisoning) / 信任与溯源 PKI 可行性研究
spec_top_proofs.md	Proof-Carrying Spec Structure (P-01 enforced) / 证明携带规范结构（P-01 已强制执行）

Chinese Translations / 中文翻译

Document / 文档	Original / 原文
spec_p0_foundations_zh.md	spec_p0_foundations.md
spec_top_rules_zh.md	spec_top_rules.md
spec_top_extensions_zh.md	spec_top_extensions.md
spec_top_proofs_zh.md	spec_top_proofs.md

Note: spec/ contains the authoritative English originals. spec/zh/ contains Chinese translations for reference. In case of discrepancy, the English version prevails. 注意: spec/ 目录为权威英文原版。spec/zh/ 为中文参考翻译。如有出入，以英文原版为准。

Quick Start / 快速开始

Run the verifier / 运行验证器

python3 verify_p0.py

Expected output / 预期输出:

⏰ MODULE T: 17/17 passed
⚠️  MODULE E: 16/16 passed
🎲 MODULE C: 37/37 passed
🔌 MODULE I: 25/25 passed
📋 MODULE SK: 14/14 passed

  🎯 TOTAL: 109/109 tests passed
  🏆 ALL P0 FOUNDATIONS VERIFIED — ΣLang is sound!

Read the spec / 阅读规范

Start with spec/spec_p0_foundations.md — it ties all four P0 modules together.

从 spec/spec_p0_foundations.md 开始 — 它聚合了全部四个 P0 模块。

Design Philosophy / 设计理念

Three-Layer Architecture / 三层架构

L0 — Core (core@1.0)        ← immutable, always loaded / 不可变，始终加载
     ℕ ℤ ℚ ℝ ℂ 𝔹 Sym Prop λ ∀ ∃
     + Iron Laws + Verifier interface

L1 — Standard Library          ← community maintained, versioned / 社区维护，版本化
     math.calculus / math.linear / finance.base
     signal.fourier / stat.prob / opt.gradient

L2 — User Packages            ← anyone can publish / 任何人可发布
     emoji.finance / tcm.wuzang / physics.qft
     must pass Verifier Iron Laws / 必须通过验证器铁律

The 17 Iron Laws / 十七条铁律

Law I    — Fingerprint Uniqueness / 指纹唯一性
Law II   — Encoding to ℕ (everything → number) / 编码到 ℕ
Law III  — Law Declaration (every op has laws) / 定律声明
Law IV   — Test Mandatory (≥1 canonical test per op) / 测试强制
Law V    — No Implementation in Spec / 规范中无实现
Law VI   — Backward Compatibility (published = frozen) / 向后兼容
Law VII  — Explicit Dependencies (no circular deps) / 显式依赖
Law VIII — Temporal Determinism (timing bounds declared) / 时序确定性
Law IX   — Calibration Requirement (confidence matches accuracy) / 校准要求
Law X    — Effect Transparency (all effects declared) / 效应透明
Law XI   — Capability Discipline (FFI needs explicit caps) / 能力纪律
Law XII  — Resource Linearity (open = closed exactly once) / 资源线性
Law XIII — Verifier Consensus / 验证器共识
Law XIV  — Negative Test Mandatory / 负向测试强制
Law XV   — Export Completeness / 导出完整性
Law XVI  — Compatibility Proof / 兼容性证明
Law XVII — Probabilistic Guarantee / 概率保证

Laws I–XII are defined in spec/spec_p0_foundations.md §0. Laws XIII–XVII plus the Law VIII extension E-10 (Evaluation Determinism) are promoted extensions defined in spec/spec_top_extensions.md, enforced by all three verifiers (Python / Rust / Elixir).

Law I–XII 定义于 spec/spec_p0_foundations.md §0。Law XIII–XVII 及 Law VIII 扩展 E-10（评估确定性）为已推广的扩展，定义于 spec/spec_top_extensions.md，由全部三个验证器强制执行。

Why ΣLang? / 为什么需要 ΣLang？

The Problem / 问题

Today, when you give the same Markdown document to different AIs:

GPT-4 interprets it one way
Claude interprets it another way
Gemini interprets it a third way

Same input, different outputs. This is unacceptable for production AI systems.

如今，把同一份 Markdown 文档交给不同的 AI：

GPT-4 按一种方式解读
Claude 按另一种方式解读
Gemini 按第三种方式解读

同样的输入，不同的输出。这对生产级 AI 系统来说是不可接受的。

The Solution / 解决方案

ΣLang replaces ambiguous natural language with mathematically anchored symbols:

ΣLang 用数学锚定的符号替换歧义的自然语言：

Traditional / 传统	ΣLang
"add the numbers" / "把数字加起来"	`a ⊕ b` with associativity law / 带结合律
"if score >= 90" / "如果分数 >= 90"	`grade(s) ≝ if s<60 then 𝗀𝖣 else…` + boundary tests / 边界测试
"probably true" / "大概是真的"	`⊢_0.73 P` with calibration law / 带校准律
"send message" / "发送消息"	`send(addr, msg)` with causal ordering / 带因果序

Deprecated & Archived / 废弃与归档

The following files have been moved to archive/ as they are superseded by newer specifications:

以下文件已被移至 archive/ 目录，因为它们已被更新的规范所取代：

File / 文件 Reason / 原因

archive/spec.md v0.1 Initial Draft — superseded by spec/spec_p0_foundations.md (v0.3.0). The v0.1 spec uses an older chapter-based structure (chapters 1–17) and lacks the §T/§E/§C/§I modular architecture, promoted Laws XIII–XVII, and three-verifier consensus enforcement. / v0.1 初稿 — 已被 spec/spec_p0_foundations.md (v0.3.0) 取代。v0.1 使用旧的章节目录结构（第 1–17 章），缺少 §T/§E/§C/§I 模块化架构、Law XIII–XVII 推广和三验证器共识。

archive/spec_p0_shadowing.md §S Shadowing v0.2 — explicitly marked SUPERSEDED. Content merged into spec/spec_top_rules.md §S on 2026-08-01. / §S 遮蔽 v0.2 — 明确标记为 SUPERSEDED。内容已于 2026-08-01 合并到 spec/spec_top_rules.md §S。

File / 文件	Reason / 原因
`archive/spec.md`	v0.1 Initial Draft — superseded by `spec/spec_p0_foundations.md` (v0.3.0). The v0.1 spec uses an older chapter-based structure (chapters 1–17) and lacks the §T/§E/§C/§I modular architecture, promoted Laws XIII–XVII, and three-verifier consensus enforcement. / v0.1 初稿 — 已被 `spec/spec_p0_foundations.md` (v0.3.0) 取代。v0.1 使用旧的章节目录结构（第 1–17 章），缺少 §T/§E/§C/§I 模块化架构、Law XIII–XVII 推广和三验证器共识。
`archive/spec_p0_shadowing.md`	§S Shadowing v0.2 — explicitly marked SUPERSEDED. Content merged into `spec/spec_top_rules.md` §S on 2026-08-01. / §S 遮蔽 v0.2 — 明确标记为 SUPERSEDED。内容已于 2026-08-01 合并到 `spec/spec_top_rules.md` §S。

Version / 版本

Milestone / 里程碑: v0.232 批次 10 收尾 + PyPI 0.7.2 发布 (2026-08-06) — 小阶段 100/496 · 每 100 阶段发布规则首次兑现 · v0.231 Makefile/CI 补审计测试 (2026-08-06) — make audit + CI 对账 · v0.230 Elixir 审计链自检 (2026-08-06) — 十域自检齐 · v0.229 Rust 审计端点 + 对账 (2026-08-06) — 冒烟 58/58 审计 · v0.228 前端审计轨迹视图 (2026-08-06) — web /audit · v0.227 Python App 审计剧本 (2026-08-06) — GET /audit + --audit-test 6/6 · v0.226 README 收官总览数字同步 (2026-08-06) — Status v0.226 全貌 · v0.225 运行时不变量复核扩展 (2026-08-06) — --domains 65/65 · v0.224 标准库语料强化 (2026-08-06) — data.transform 反向形状 24 项 · v0.223 新增不变量 INV-IN-7 (2026-08-06) — 混合货品联动链 PROVED · 全量 230 PROVED · v0.222 批次 9 收尾 (2026-08-06) — 小阶段 90/496 · 数字同步 + 全量验收全绿 · v0.221 Makefile/CI 补全流程测试 (2026-08-06) — make full + CI 对账 · v0.220 Elixir 全流程自检 (2026-08-06) — 九域自检齐 · v0.219 Rust 全流程对账 (2026-08-06) — 冒烟 56/56 · v0.218 前端全流程演示 (2026-08-06) — web §SK 端到端链 · v0.217 Python App 业务剧本 (2026-08-06) — --full-test 5/5 · v0.216 README 收官总览数字同步 (2026-08-06) — Status v0.216 全貌 · v0.215 运行时不变量复核扩展 (2026-08-06) — --domains 65/65 · v0.214 标准库语料强化 (2026-08-06) — ai.confidence 形状边界 12 项 · v0.213 新增不变量 INV-SK-9 (2026-08-06) — 额度-契分联动链 PROVED · 全量 226 PROVED · v0.212 批次 8 收尾 (2026-08-06) — 小阶段 80/496 · 数字同步 + 全量验收全绿 · v0.211 Makefile/CI 补信用链测试 (2026-08-06) — make credit + CI 对账 · v0.210 Elixir 信用链自检 (2026-08-06) — 八域自检齐 · v0.209 Rust 信用链对账 (2026-08-06) — 冒烟 53/53 · v0.208 前端信用链演示 (2026-08-06) — web 信用流转链 · v0.207 Python App 信用链剧本 (2026-08-06) — --credit-test 3/3 · v0.206 README 收官总览数字同步 (2026-08-06) — Status v0.206 全貌 · v0.205 运行时不变量复核扩展 (2026-08-06) — --domains 65/65 · v0.204 标准库语料强化 (2026-08-06) — ai.confidence 边界 8 项 · v0.203 新增不变量 INV-PF-6 (2026-08-06) — 交易链完整性 PROVED · 全量 222 PROVED · v0.202 批次 7 收尾 (2026-08-06) — 小阶段 70/496 · 数字同步 + 全量验收全绿 · v0.201 Makefile/CI 补库存链测试 (2026-08-06) — make invchain + CI 对账 · v0.200 Elixir 库存链自检 (2026-08-06) — 七域自检齐 · v0.199 Rust 库存链对账 (2026-08-06) — 冒烟 51/51 · v0.198 前端库存链展示增强 (2026-08-06) — invChain 各步明细 · v0.197 Python App 库存链剧本 (2026-08-06) — --inventory-chain-test 5/5 · v0.196 README 收官总览数字同步 (2026-08-06) — Status v0.196 全貌 · v0.195 运行时不变量复核扩展 (2026-08-06) — --domains 65/65 · v0.194 标准库语料强化 (2026-08-06) — data.transform 形状边界 18 项 · v0.193 新增不变量 INV-IN-6 (2026-08-06) — 入库-出库联动链 PROVED · 全量 218 PROVED · v0.192 批次 6 收尾 (2026-08-06) — 小阶段 60/496 · 数字同步 + 全量验收全绿 · v0.191 Makefile/CI 补积分链测试 (2026-08-06) — make points + CI 对账 · v0.190 Elixir 积分链自检 (2026-08-06) — 六域自检齐 · v0.189 Rust 积分链对账 (2026-08-06) — 冒烟 50/50 · v0.188 前端积分链演示 (2026-08-06) — web 积分流转链 · v0.187 Python App 积分链剧本 (2026-08-06) — --points-test 3/3 · v0.186 README 收官总览数字同步 (2026-08-06) — Status v0.186 全貌 · v0.185 运行时不变量复核扩展 (2026-08-06) — --domains 65/65 · v0.184 标准库语料强化 (2026-08-06) — std 边界用例 24 项 · v0.183 新增不变量 INV-SK-8 (2026-08-06) — 赏金-积分联动链 PROVED · 全量 214 PROVED · v0.182 批次 5 收尾 (2026-08-06) — 小阶段 50/496 · 数字同步 + 全量验收全绿 · v0.181 Makefile/CI 补错误边界测试 (2026-08-06) — make errors + CI 对账 · v0.180 Elixir 错误边界自检 (2026-08-06) — 五域自检齐 · v0.179 Rust 错误边界对账 (2026-08-06) — 冒烟 48/48 · v0.178 前端错误提示增强 (2026-08-06) — 语义化错误文案 · v0.177 Python App 错误边界剧本 (2026-08-06) — --errors-test 7/7 · v0.176 README 收官总览数字同步 (2026-08-06) — Status v0.176 全貌 · v0.175 运行时不变量复核扩展 (2026-08-06) — --domains 65/65 · v0.174 三域错误边界语料 (2026-08-06) — corpus 错误路径强化 · consensus 56/56 · v0.173 新增不变量 INV-PF-5 (2026-08-06) — 买入-卖出链守恒 PROVED · 全量 171 PROVED · v0.172 批次 4 收尾 (2026-08-06) — 小阶段 40/496 · 数字同步 + 全量验收全绿 · v0.171 Makefile/CI 补跨域测试 (2026-08-06) — make cross-domain + CI 对账 · v0.170 Elixir 跨域自检 (2026-08-06) — 四域自检齐 · v0.169 Rust 跨域链对账 (2026-08-06) — 冒烟 46/46 跨域链 · v0.168 前端三域联动演示 (2026-08-06) — web 三域链展示 · v0.167 Python App 三域联动剧本 (2026-08-06) — --cross-domain-test 5/5 · v0.166 README 收官总览数字同步 (2026-08-06) — Status v0.166 全貌 · v0.165 运行时不变量复核扩展 (2026-08-05) — --domains 65/65 · v0.164 跨域联动语料 (2026-08-05) — corpus 三域链 10 操作 · consensus 56/56 · v0.163 新增不变量 INV-SK-7 (2026-08-05) — 任务-契分联动链 PROVED · 全量 137 PROVED · v0.162 批次 3 收尾 (2026-08-05) — 小阶段 30/496 · 数字同步 + 全量验收全绿 · v0.161 Makefile/CI 补供应链测试 (2026-08-05) — make inventory + CI 对账 · v0.160 Elixir §IN 自检补全 (2026-08-05) — 三域自检含联动链 · v0.159 Rust 供应链链式对账 (2026-08-05) — 冒烟 44/44 链式 · v0.158 前端供应链联动演示 (2026-08-05) — web 联动链展示 · v0.157 Python App 供应链联动测试 (2026-08-05) — --inventory-test 5/5 · v0.156 README 收官总览数字同步 (2026-08-05) — Status v0.156 全貌 · v0.155 运行时不变量复核扩展 (2026-08-05) — --domains 65/65 · v0.154 供应链域联动语料 (2026-08-05) — corpus 5 操作联动 · consensus 56/56 · v0.153 新增不变量 INV-IN-5 (2026-08-05) — 混合货品可加链 PROVED · 全量 125 PROVED · v0.152 批次 2 收尾 (2026-08-05) — 小阶段 20/496 · 数字同步 + 全量验收全绿 · v0.151 Makefile/CI 补金融测试 (2026-08-05) — make portfolio + CI 对账 · v0.150 Elixir §IN/§PF 自检补全 (2026-08-05) — §PF 原生函数 + 三域自检齐 · v0.149 Rust 金融市场端点 (2026-08-05) — sk §PF 实现 + 冒烟 43/43 · v0.148 前端金融市场面板 (2026-08-05) — web §PF 全操作 · 三域面板齐 · v0.147 Python App portfolio 市场端点 (2026-08-05) — §PF 5 端点 · --portfolio-test 5/5 · v0.146 README 收官总览数字同步 (2026-08-05) — Status v0.146 全貌 · v0.145 运行时不变量复核扩展 (2026-08-05) — --domains 65/65 · v0.144 金融域联动语料 (2026-08-05) — corpus 5 操作联动 · consensus 56/56 · v0.143 新增不变量 INV-PF-4 (2026-08-05) — 交易链可加性 PROVED · 全量 110 PROVED · v0.142 批次收尾 (2026-08-05) — 小阶段 10/496 · 数字同步 + 全量验收全绿 · v0.141 Makefile/CI 补 stats (2026-08-05) — make stats + CI 统计对账 · v0.140 Elixir 自检覆盖确认 (2026-08-05) — §SK 全操作 88/88 · v0.139 双端统计对账 (2026-08-05) — Rust /stats 与 Python 对等 · 冒烟 38/38 · v0.138 前端统计显示 (2026-08-05) — web /stats 平台统计 · v0.137 教程补 pip 安装 (2026-08-05) — TUTORIAL 双路径 A/B · v0.136 新增不变量 INV-SK-6 (2026-08-05) — 额度-托管联动链 PROVED · 全量 109 PROVED · v0.135 五大制度联动语料 (2026-08-05) — corpus 13 操作联动 · consensus 56/56 · v0.134 业务统计端点 (2026-08-05) — GET /stats JSON 统计 · v0.133 README PyPI 徽章 (2026-08-05) — PyPI version/downloads 徽章 · v0.132 发布链端到端验证成功 (2026-08-05) — 打 tag 全自动发布 PyPI 0.7.1 · v0.131 发布链补全 (2026-08-05) — 打 tag 全自动发布到 PyPI · v0.130 PyPI 发布成功 (2026-08-05) — pip install sigma-lang 全球可用 · v0.129 发布验证成功 (2026-08-05) — 打 tag 即发布 · GitHub Actions success · v0.128 发布 workflow (2026-08-05) — publish.yml tag 触发构建+Release · v0.127 打包验证 (2026-08-05) — pip install 即用 import 验证通过 · v0.126 Python 包化 (2026-08-05) — pyproject.toml 打包 sigma_core · v0.124 入门教程 (2026-08-05) — docs/TUTORIAL.md 30 分钟上手 · v0.122 生产启动脚本 (2026-08-05) — make ready/deploy 一条命令上线 · v0.121 上线就绪检查 (2026-08-05) — --launch-ready 环境一键确认 · v0.120 里程碑达成 (2026-08-05) — v0.100–v0.120 连续推进收官 · v0.119 README 收官总览更新 (2026-08-05) — Status v0.119 全貌 · v0.118 性能基准 (2026-08-05) — --bench 吞吐/延迟基线 · v0.117 README 上线指南 (2026-08-05) — Deploy Guide 上线启动+运维要点 · v0.116 CI 报告扩展 (2026-08-05) — --report 含运行验收段 · v0.115 协议版本化 (2026-08-05) — spec 0.7.0 + RFC 记录 · v0.114 前端联调剧本扩展 (2026-08-05) — --frontend-scenario 19/19 覆盖三域 · v0.113 双端面板对账 (2026-08-05) — Rust /panel 与 Python 对等 · v0.112 API 文档同步 (2026-08-05) — docs/api_zhaocha.md /panel + 新命令 · v0.111 前端供应链面板 (2026-08-05) — web inventory 全操作 · v0.110 前端增长期面板 (2026-08-05) — web badge/dispute/team 全操作 · v0.109 三域 story 不变量段扩展 (2026-08-05) — --domains 65/65 含 20 项不变量复核 · v0.108 sigma-prove 全量重验 80+ (2026-08-05) — 230 项 PROVED / 29 模块全绿 · v0.107 任务生命周期不变量 (2026-08-05) — INV-SK 状态机链 PROVED · v0.106 金融不变量补全 (2026-08-05) — INV-PF 资产非负链 PROVED · v0.105 供应链不变量补全 (2026-08-05) — INV-IN 入库链可加/出库链不超卖 PROVED · v0.104 上线验收 (2026-08-05) — --deploy-accept 上线形态 9/9 · v0.103 并发安全验证 (2026-08-05) — --concurrency-test 并发 70 请求状态一致 · v0.102 launch 默认日志接入 (2026-08-05) — data/ 默认 state/audit/log · v0.101 部署加固 (2026-08-05) — --launch 透传部署配置 + 持久化健壮性 · v0.100 跨百版本里程碑 (2026-08-04) — v0.10→v0.100 里程碑链完整 · v0.99 里程碑达成 (2026-08-04) — v0.91–v0.99 连续推进收官 · v0.98 README 找茬运行指南 (2026-08-04) — Run Guide 一条命令开工 · v0.97 协议版本化 (2026-08-04) — spec 0.6.0 + RFC 记录 · v0.96 运行验收 (2026-08-04) — --run-accept 端到端 8/8 · v0.95 运行状态面板 (2026-08-04) — /panel 业务+门禁摘要页 · v0.94 一键开工 (2026-08-04) — --launch 前后端一条命令 · v0.93 前端联调验证 (2026-08-04) — --web-test 双服务 5/5 · v0.92 前端 UI 完善 (2026-08-04) — 错误横幅/任务详情/用户面板/状态筛选 · v0.91 找茬静态前端 (2026-08-04) — web/index.html 单页应用 · v0.90 里程碑达成 (2026-08-04) — v0.71–v0.90 连续推进收官 · v0.89 README 收官总览 (2026-08-04) — Status 56/56 + 收官总览段 · v0.88 贡献者指南 (2026-08-04) — docs/CONTRIBUTING.md 上手路径 · v0.87 CI 全量回归报告 (2026-08-04) — --report JSON + CI artifact · v0.86 协议版本化 (2026-08-04) — spec 0.5.0 + RFC 记录 · v0.85 README 开工检查清单 (2026-08-04) — Launch Checklist 10 项上线勾选 · v0.84 双端 HTTP API 逐项对账 (2026-08-04) — Rust 冒烟 36/36 与 Python 逐项一致 · v0.83 前端联调剧本 (2026-08-04) — --frontend-scenario 11/11 · v0.82 HTTP 方法语义对齐 (2026-08-04) — POST 变更 + GET 查询 · v0.81 找茬 API 文档 (2026-08-04) — docs/api_zhaocha.md 全端点文档 · v0.80 sigma-prove 全量重验 70+ (2026-08-04) — 230 项 PROVED / 29 模块全绿 · v0.79 三域 story 不变量段扩展 (2026-08-04) — --domains 47/47 含 12 项不变量复核 · v0.78 增长期跨操作不变量 (2026-08-04) — INV-G 授权签发/裁决链 PROVED · v0.77 团机制跨操作不变量 (2026-08-04) — INV-T 不超员/成员递增 PROVED · v0.76 额度制跨操作不变量 (2026-08-04) — INV-Q 不超用/重置恢复 PROVED · v0.75 找茬 App 启动自检 (2026-08-04) — --serve 先过 §SK.6 门禁再监听 · v0.74 找茬 App 健康检查 (2026-08-04) — /health 服务状态 + 门禁摘要 · v0.73 找茬 App 分级日志 (2026-08-04) — --log-file 访问/错误分级 · v0.72 找茬 App 状态原子写 (2026-08-04) — tmp + rename 防崩溃损坏 · v0.71 找茬 App 鉴权层 (2026-08-04) — --auth-token token 校验 401 门禁 · v0.70 里程碑达成 (2026-08-04) — v0.51–v0.70 连续推进收官 · v0.69 README 产品落地指南 (2026-08-04) — 找茬功能 ↔ §SK 对照 + 落地三步走 · v0.68 找茬 App 部署文档 (2026-08-04) — docs/deploy_zhaocha.md · v0.67 找茬业务流双端对账 (2026-08-04) — --scenario 双端 16/16 逐项一致 · v0.66 找茬完整业务流 CLI 剧本 (2026-08-04) — --scenario 16/16 · v0.65 sigma-prove 全量义务重验 (2026-08-04) — 62 项 PROVED / 29 模块全绿 · v0.64 三域 story 不变量检查段 (2026-08-04) — --domains 41/41 含不变量复核 · v0.63 找茬跨操作不变量 (2026-08-04) — INV-SK 赏金守恒/不超提 PROVED · v0.62 金融跨操作不变量 (2026-08-04) — INV-PF 现金/份额守恒 PROVED · v0.61 供应链跨操作不变量 (2026-08-04) — INV-IN 总量守恒/非负链 PROVED · v0.60 协议版本化 (2026-08-04) — spec 0.4.0 + RFC 记录 · v0.59 README 架构数据流全景 (2026-08-04) — 架构数据流全景章节 · v0.58 spec 中英对照补全 (2026-08-04) — §IN 供应链中文参考版 · v0.57 语料扩容 (2026-08-04) — 语料按主题拆三模块，consensus 56/56 · v0.56 一键验收接 CI (2026-08-04) — Makefile + GitHub Actions · v0.55 找茬 App 审计日志 (2026-08-04) — --audit-log 可对账审计追踪 · v0.54 找茬 App HTTP 错误码语义化 (2026-08-04) — §SK/§IN 错误 → 语义化 4xx · v0.53 找茬 App 查询端点 (2026-08-04) — /tasks /users 任务与用户列表 · v0.52 找茬 App 用户会话层 (2026-08-04) — /register /me 用户态隔离 · v0.51 找茬 App 状态持久化 (2026-08-04) — --state JSON 重启不丢 · v0.50 里程碑达成 (2026-08-03) — v0.27–v0.50 连续推进收官 · v0.49 收官验收续 (2026-08-03) — sigma-accept.py 9 道门禁一键验收 · v0.48 一键收官验收 (2026-08-03) — sigma-accept.py 六道门禁一键跑通 · v0.47 README 新人上手 (2026-08-03) — 三域概览 + 快速开始 + 验证清单 · v0.46 三域协议巩固 (2026-08-03) — --domains 35/35 · v0.45 供应链 app 参考实现 (2026-08-03) — §IN HTTP 端点 + 冒烟 25/25 · v0.44 三端供应链 story 对账 (2026-08-03) — 供应链故事线三端 6/6 逐项一致 · v0.43 供应链证明 + runtime (2026-08-03) — §IN 义务 PROVED + --inventory 6/6 · v0.42 供应链语料 + 共识 (2026-08-03) — inventory 语料进共识门禁，47/47 · v0.41 三端供应链执行层 (2026-08-03) — §IN 五操作三端实现 · v0.40 第三个自举新域（供应链 inventory@1.0）(2026-08-03) — §IN 供应链语义，泛化性三验 · v0.39 完整业务验收剧本 (2026-08-03) — sigma-runtime --all 29/29 · v0.38 Rust app 增长期端点 + 冒烟对账 (2026-08-03) — 增长期 HTTP 双端 20/20 逐项一致 · v0.37 Python app 增长期端点 (2026-08-03) — 增长期 HTTP 端点 + 冒烟 20/20 · v0.36 三端增长期 story 对账 (2026-08-03) — 增长期故事线三端 11/11 逐项一致 · v0.35 增长期审计故事线 (2026-08-03) — sigma-runtime --growth 11/11 · v0.34 增长期义务证明 (2026-08-03) — sigma-prove 增长期 7 项义务 PROVED · v0.33 增长期语料模块化 (2026-08-03) — socketkit_growth 独立语料，consensus 45/45 · v0.32 增长期语义⑥积分可追溯 (2026-08-03) — points_ledger 积分来源可追溯 · v0.31 增长期语义⑤额度预支 (2026-08-03) — quota_advance 预支下月额度 · v0.30 增长期语义④团收益 (2026-08-03) — team_share 团内收益按贡献分配 · v0.29 增长期语义③团机制 (2026-08-03) — team_create/team_join 受茬团/找茬团 · v0.28 增长期语义②督导 (2026-08-03) — dispute_review 督导处理纠纷 · v0.27 增长期语义①核验师 (2026-08-03) — badge_issue 核验师签发勋章 · v0.26 Rust HTTP 服务 + 冒烟对账 (2026-08-03) — HTTP 层 Python/Rust 双端同尺 · v0.25 Rust 参考实现 (2026-08-03) — app.rs 生产级后端，四端 story 逐项一致 · v0.24 三端 §SK.6 story 一致性 (2026-08-03) — 业务故事线 Python/Rust/Elixir 三端逐项一致 · v0.23 MVP 端到端 HTTP 冒烟测试 (2026-08-03) — sigma_app --smoke HTTP 七步全链路可重复验收 · v0.22 找茬 MVP 参考实现 (2026-08-03) — sigma_app.py 可运行后端，业务全委托 §SK 语义 · v0.21 找茬 MVP 全链路审计剧本 (2026-08-03) — §SK.6 十二步业务故事线 + sigma-runtime --story，App 开工验收剧本 · v0.20 找茬五大制度补齐 (2026-08-03) — 额度制/积分制/勋章制进 ΣLang，业务规则链完整可证明 · v0.19 第二个自举新域（金融 portfolio@1.0）(2026-08-03) — 协议泛化性再验证，consensus 43/43 · v0.18 状态机不变量证明 (2026-08-03) — 作者授权 + 4 项状态机不变量 z3 可证明 · v0.17 §SK 对齐真实业务 (2026-08-03) — Task 4 态状态机 + 契分制，MVP 全流程三端一致可执行可证明 · v0.16 SocketKit 语料执行化 (2026-08-03) — 业务语义进入 Law XIII 共识门禁 · v0.15 三端 §SK 执行层 (2026-08-03) — §SK 业务语义 Python/Rust/Elixir 三端一致可执行 · v0.14 SocketKit Runtime (2026-08-03) — §SK 参考实现 + 审计运行时 + z3 证明闭环，共识门禁 41/41 全绿 · v0.13 SocketKit Protocol (2026-08-02) — §SK 语义定义，共识门禁 40/40 全绿 · v0.12 Novel Spec Test (2026-08-02) — 新域自举闭环 · v0.11 可用 (2026-08-02) — 包管理器 sigma-cli.py + 标准库 3 包，共识门禁 38/38 全绿 · v0.10 可用 (2026-08-02) — 数学符号 / 基本操作 / 常量包可用，证明可消解，共识门禁 35/35 全绿
Spec Version / 规范版本: 0.7.0
Date / 日期: 2026-08-05
License / 许可证: MIT

Citation / 引用

ΣLang: An AI-Native Semantic Protocol
Version 0.7.0
https://github.com/sigma-lang/sigma-lang

（内容由AI生成，仅供参考）

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

sigma_lang-0.7.2.tar.gz (83.2 kB view details)

Uploaded Aug 6, 2026 Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

sigma_lang-0.7.2-py3-none-any.whl (37.2 kB view details)

Uploaded Aug 6, 2026 Python 3

File details

Details for the file sigma_lang-0.7.2.tar.gz.

File metadata

Download URL: sigma_lang-0.7.2.tar.gz
Upload date: Aug 6, 2026
Size: 83.2 kB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for sigma_lang-0.7.2.tar.gz
Algorithm	Hash digest
SHA256	`827e1183f35a13b70a9b96e33001f5ffed9fb0c5cf1ea4d1a1db57a8b64a0f4d`
MD5	`a9ae3aacbfc7ba9904a1662307e4d661`
BLAKE2b-256	`d56a3017d9b4b3ad5e05f98d183f6fe8067f680e04da70e6f18e3350c194ac48`

See more details on using hashes here.

File details

Details for the file sigma_lang-0.7.2-py3-none-any.whl.

File metadata

Download URL: sigma_lang-0.7.2-py3-none-any.whl
Upload date: Aug 6, 2026
Size: 37.2 kB
Tags: Python 3
Uploaded using Trusted Publishing? No
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for sigma_lang-0.7.2-py3-none-any.whl
Algorithm	Hash digest
SHA256	`eaab6bfa257a914e8b9595f1a0b95e74479314d2c35e2df849a5da15bcee806a`
MD5	`07ce4c84c45c7e41a198710728c0640b`
BLAKE2b-256	`53fa64263cd0fbf8ba86a08e3fdecda2dda78f4927568cd9cbf9977ca504f680`

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

0.7.2

Aug 6, 2026

0.7.1

Aug 5, 2026

0.7.0

Aug 5, 2026

sigma-lang 0.7.2

ΣLang — AI-Native Semantic Protocol

What is ΣLang? / 什么是 ΣLang？

大白话导读：这仓库到底在干嘛？（2026-08-05 更新）

怎么用它 / How to use it（2026-08-05）

Quick Start / 新人 30 分钟上手（v0.47）

三域概览（协议已承载三个独立领域）

快速开始命令

验证清单（任何改动后必须全绿）

Architecture / 架构与数据流（v0.59）

Product Guide / 用 ΣLang 做找茬（v0.69）

Launch Checklist / 找茬开工检查清单（v0.85）

Run Guide / 找茬运行指南（v0.98）

Deploy Guide / 找茬上线指南（v0.117）

Status / 项目状态

Two verification modes / 两种验证模式

Repository Structure / 目录结构

Quick Navigation / 快速导航

Getting Started / 入门

Core Modules / 核心模块

Top-Level Governance / 顶层治理

Chinese Translations / 中文翻译

Quick Start / 快速开始

Run the verifier / 运行验证器

Read the spec / 阅读规范

Design Philosophy / 设计理念

Three-Layer Architecture / 三层架构

The 17 Iron Laws / 十七条铁律

Why ΣLang? / 为什么需要 ΣLang？

The Problem / 问题

The Solution / 解决方案

Deprecated & Archived / 废弃与归档

Version / 版本

Citation / 引用

Key dates

1 maintainer

License

Requires

Tags

Classifiers

Download files

Source Distribution

Built Distribution

File details

File metadata

File hashes

File details

File metadata

File hashes

Release history Release notifications | RSS feed