Pulse 形成固定 K 工作区
CONTRACTSUPPORTED 1.X公开 shape、mask、梯度与设备测试。
固定容量不等于自动保留任务信息。
检查依据 →ARTI / RESEARCH STATUS
研究主张，逐条标明证据。
这张矩阵把公开接口、实验结果、架构解释与待验证假设分开。状态以 ARTI 1.7.0、提交 8e734d6 为依据；新证据必须同时更新限制和验证提交。
CONTRACTRESULTINTERPRETATIONHYPOTHESISPLAN
CLAIM BOUNDARY
这不是营销功能清单。
契约可以由测试证明，任务能力需要训练与对照。一个机制即使已实现，也不自动证明围绕它提出的研究解释。
主张类别状态当前证据限制
UnFold 保留原输入实例值
CONTRACTSUPPORTED 1.Xhard gather 中每个原输入索引各出现一次。
它不是 Fold 的逆，也不恢复已丢失信息。
检查依据 →FusionPulse 融合多个紧凑工作区
CONTRACTALPHA联合上下文、feature-wise survival 与固定输出 K。
共同对象或流形恢复仍是研究解释。
检查依据 →运行时词表使用局部输出槽位
CONTRACTALPHA调用时 vocabulary tensor 与 local slot API。
词表重排一致性需要经过相应训练的模型。
检查依据 →观察者参考系可显式反演
CONTRACTEXPERIMENTAL INTEGRATIONpaired rotation 与 caller-supplied operator bank。
ARTI 不发现来源，也不验证算子的物理正确性。
检查依据 →PhaseMixer 按状态与坐标混合特征算子
CONTRACTEXPERIMENTAL公开 ARTIPhaseMixer、operator weights 与 receptor gain。
不是 observer inverse、多传感器融合或物理相位恢复。
检查依据 →Membrane 分开 context、visibility 与 emit
CONTRACTALPHApublic/inner stream 与调用方可读策略。
不是加密、安全边界或秘密思维通道。
检查依据 →跨切分形成稳定任务表示
HYPOTHESISTRAINING GATE需要 train-A/test-B、随机重切分与 pooling 基线。
没有通过门禁前不作为产品主张。
检查依据 →FusionPulse 恢复共同对象结构
INTERPRETATIONOPEN RESEARCH需要 leave-one-view-out、邻域与任务消融。
当前 tensor contract 本身不能证明该解释。
检查依据 →Membrane 改善提示注入鲁棒性
HYPOTHESISNO PUBLIC CLAIM需要攻击成功率、正常任务效用和权限泄漏基准。
当前官网不把它作为安全能力。
检查依据 →VERIFIED SNAPSHOT
ARTI 1.7.0 · 8e734d6
Stable Candidate 不是 LTS。每个 Alpha、Experimental 与 Hypothesis 标签均保留自己的边界。