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, 不可逆系统, 原语, 工件验证, 数据管道, 文档结构分析, 暗色界面, 溯源, 状态机, 硬件无关, 确定性系统, 系统完整性, 网络安全, 计算法学, 访问控制, 跌倒检测, 软件工程, 软件物料清单, 边界执行, 边界网关, 运行时防护, 逻辑边界, 配置错误, 防御副产品, 防篡改, 隐私保护, 零信任架构