@antprofuse/saddle-islands-design 0.1.29 → 0.1.30

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (2) hide show
  1. package/package.json +1 -1
  2. package/references/formal-inputs.md +4 -0
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@antprofuse/saddle-islands-design",
3
- "version": "0.1.29",
3
+ "version": "0.1.30",
4
4
  "description": "消费Islands正式输入和上游生成协议，设计客户端与后端契约与必要数据库结构。",
5
5
  "license": "MIT OR Apache-2.0",
6
6
  "files": [
package/references/formal-inputs.md CHANGED
@@ -33,3 +33,7 @@ path是指定输入仓库根相对路径，语义目标与文件必须同时匹
33
33
  契约格式保留旧`ingressField`的兼容说明，供识别已有契约；当前设计使用实际physicalInput、physicalExecuteParameter或transactionInput等正式来源，不创建旧ingress文件。来源已退役应按当前正式输入迁移，不靠兼容格式制造另一套业务语义。
34
34
 
35
35
  只有输入语义确定的部分可正式设计。缺口须说明位置、影响与责任方；代码尚未实现不等于缺失语义。工具或消费者不能解析合法输入时归体系维护，不要求业务源配合错误工具。
36
+
37
+ ## 来源事实与本层保证
38
+
39
+ 新增约束须区分来源说明、实际执行层和本契约可观察字段。上游聚合、客户端绑定检查及当前后端投影不能互相代替；已在输入边界之外消失的原始差异，不声明为本层可验证算法。源中的上游异常与协议成功返回的合法值分别核对，不从前者自动推导本层新增拒绝条件。错误码、覆盖或修正行为必须有正式依据；测试发现边界不清时集中复核同类约束，不能按既有测试答案反推契约。