Verifrax/limenward

GitHub: Verifrax/limenward

用于确定性不可逆系统的边界强制原语,在来源、监管和时间已确定后强制执行操作边界。

Stars: 0 | Forks: 0

# LIMENWARD 原始 ID:PRIM-004 包:@verifrax/limenward 二进制文件:limenward Verifrax 原语 —— 用于确定性不可逆系统的边界强制原语。 ## 状态 当前发布状态:稳定前原语发布线。 规范发布目标: 包版本:0.1.0 标签:v0.1.0 LIMENWARD 是 Verifrax 原语层的一部分,并遵循规范的原语治理、命名、版本控制和打包规则。 ## 目的 在来源、监管和时间已经被确定之后,LIMENWARD 强制执行确定性边界。 一旦制品具有稳定的来源、受保护的监管和明确的时间边界,系统仍然需要一个确定性阈值,来区分有效操作边界内部和外部的内容。LIMENWARD 的存在是为了使该边界明确、可强制执行且无歧义。 它不确立来源。它不维护监管。它不确定定时间顺序。它不验证正确性。它不见证、评判或终止。其作用更为狭窄:为下游解释和操作强制执行边界条件。 ## 此原语的功能 - 在制品或状态周围强制执行确定性边界表面 - 区分边界内和边界外条件 - 输出适用于下游原语的边界受控输出 ## 此原语不执行的操作 - 不确立最初来源 - 不维护监管连续性 - 不确定定时间顺序 - 不验证正确性 - 不见证或证明 - 不评判有效性 - 不终止生命周期 ## 行为契约 调用模型: 可执行文件:limenward 包:@verifrax/limenward 运行时:CLI 优先 该原语作用于来源、监管和时间表面已固定的制品。 如果边界条件缺失、模糊或非确定性,LIMENWARD 不得伪造稳定的边界内结果。 退出代码: 0 — 边界强制执行成功完成 非零 — 调用失败或违反契约 ## 用法 安装: npm install -g @verifrax/limenward 执行: limenward artifact.json 标准输入示例: cat artifact.json | limenward ## 确定性保证 对于相同的规范输入,LIMENWARD 必须产生相同的边界强制执行输出。 任何隐藏的环境状态都不得影响结果。 LIMENWARD 假定来源、监管和时间表面已受边界约束,并且不替代那些更早的原语或下游的验证与评判。 ## 安全模型 LIMENWARD 防止在操作或语义边界强制执行中出现歧义。 其安全价值在于,一旦先前的原语条件被固定,即可防止在允许状态和禁止状态之间发生无声漂移。它不保证正确性、证明或不可逆评判。 ## 与其他原语的关系 规范原语顺序: 1 originseal 2 archicustos 3 kairoclasp 4 limenward 5 validexor 6 attestorium 7 irrevocull 8 guillotine 仓库: https://github.com/Verifrax/originseal https://github.com/Verifrax/archicustos https://github.com/Verifrax/kairoclasp https://github.com/Verifrax/limenward https://github.com/Verifrax/validexor https://github.com/Verifrax/attestorium https://github.com/Verifrax/irrevocull https://github.com/Verifrax/guillotine ## 安装 npm install -g @verifrax/limenward command -v limenward 仓库: - GitHub:https://github.com/Verifrax/limenward - 包:@verifrax/limenward - 二进制文件:limenward ## 许可证 MIT
标签:Limenward, MITM代理, SBOM, Streamlit, Verifrax, 不可逆系统, 原语, 工件验证, 数据管道, 文档结构分析, 暗色界面, 溯源, 状态机, 硬件无关, 确定性系统, 系统完整性, 网络安全, 计算法学, 访问控制, 跌倒检测, 软件工程, 软件物料清单, 边界执行, 边界网关, 运行时防护, 逻辑边界, 配置错误, 防御副产品, 防篡改, 隐私保护, 零信任架构