方法说明
门户是什么
本门户是《生之科学》的公共命题库。每条结论是一条命题：有稳定编号（SGC-0001 …）、认知级别、支撑它的推理严格度、前提、出处、证明或数据链接，以及更正历史。编号不编码级别：级别会变，编号不变，也永不复用。
九个级别是：基设级、定理级、实测级、结构推论、阐释级、词典级、工程级、纲领级、须拒斥。各级定义与级联规则见「九级说明」页。
级联校验
结论之级 ＝ min（逻辑前提之级，推理之严格度）。任何命题或前提边变动，服务器都重算全图；违反规则的命题不能发布。作者的保守声明会有意地向下游传播。未守护的逻辑循环不是错误：整个强连通分量封顶为结构推论。
已发布命题因上游变动而不再一致时，不会被静默下线，而是在卡片上显示「级别复核中」，直到作者处理。
校验的限度
级联校验只检查一致性，不检查真伪。推理严格度由作者自报：若把一条阐释级读法自报为「定理级＋证明」，级联本身不会发现（已用种子命题 SGC-0040 实测）。
防线有三道：结构规范规定定理级必须附证明链接或立于既有数学的外部锚点；只有外部锚点的定理会持续提示补上可机器核验的证明；每一次级别变动都写入公开的变动日志，接受外部审视。
两套导航
「按生成环节」对应体系的内在结构，即由界至归的七编；「按学科入口」是与既有学科词汇的词典级对照。两套导航指向同一组命题。
学科入口是甲编「语言特许」的做法：用对方的语言立梯，登毕即撤。
存档与机器接口
全库以 YAML（每条记录一个文件）导出并存入 Git；打版本标签时经 Zenodo 取得 DOI。同一数据也经 REST 接口、WordPress 能力（Abilities）与面向 AI 代理的 MCP 服务器提供；代理应先读取门户概要（manifest），其中带有分级标尺。
英文文本除另有说明外为草译。英文字段缺失时显示中文，并标注「English translation pending」。