用途：实现约束传播与双向数据流。传播器是自主机器，监视单元格获取新信息、计算派生值、向其他单元格添加信息，重复直至不动点，无控制流。
主要能力：双向约束（约束可反向推导）；单调性（单元格只增信息不丢失）；可合并（冲突信息产生精化或矛盾）；并发（所有传播器同时运行）。单元格值取自 join-半格，⊥表示未知，具体值表示已知，⊤表示矛盾。支持部分信息，如区间取交集、符号与数值一致性检查。
使用方式：创建单元格 (define-cell a)，添加传播器 (p:+ a b c)，以任意顺序设置值 (add-content a 3)，派生值自动计算。双向示例：设置 c 与 b 可反推 a。矛盾时触发依赖导向回溯，追踪 provenance 定位需撤销的假设。
适用场景：CAD 约束建模、物理单位换算与方程、类型推断、规划中的约束满足、定价中的认知套利。
限制：资料未提供安装命令、收费、平台与性能数据；实现示例为 Python 与 Julia 片段，具体运行环境暂未提供。