Verifrax/validexor

``` PRIM-004 VALIDEXOR Deterministic verification STATUS: REGISTERED REGISTRY: https://speedkit.eu SNAPSHOT: https://speedkit.eu/REGISTRY_SNAPSHOT.json ``` 已注册制品。身份由 SPEEDKIT 注册表管理。 状态：最终版 VALIDEXOR 是一个确定性验证器。 它不决策。 它不执行。 它不修复。 它评估一个主张是否**可针对可观测现实进行验证**。 ## 理念 VALIDEXOR 的存在是为了终结歧义，而非建立权威。 它专为以下时刻设计： * 主张必须被核查，而非被争论 * 语言必须锚定于事实 * 真相取决于可证伪性，而非意图 VALIDEXOR 不断言真相。 它断言真相*是否可以被断言*。 ## 它是什么 VALIDEXOR 是一个**验证原语**。 它检查输入并确定其是否满足验证所需的最低条件。 结果是对**可验证性**的裁决，而非正确性。 ## 它不是什么 * 不是法官 * 不是 Linter * 不是执行器 * 不是解释器 * 不是预言机 VALIDEXOR 永不改变状态。 ## 行为 * **仅**通过 `stdin` 消耗输入 * 拒绝静默调用 * 拒绝推测性或模糊的语言 * 至少需要一个可证伪的锚点 * 根据仓库状态验证引用的 git 对象 * 仅输出一个裁决 * 评估后立即退出 无重试。 无标志位。 无配置。 ## 裁决 VALIDEXOR 仅输出以下之一： * `VERIFIED` — 主张具体且可证伪 * `UNVERIFIABLE` — 主张缺乏足够的锚点 * `INVALID` — 主张包含推测或无效引用 该裁决关乎**结构**，而非**真相**。 ## 用法 VALIDEXOR 从不单独运行。 它必须接收一个主张。 ``` | ./validexor.sh ``` ### 示例 ``` echo "build output hash is a3f9c21" | ./validexor.sh ``` 输出： ``` VERIFIED ``` ``` echo "this might be correct" | ./validexor.sh ``` 输出： ``` INVALID ``` ## 契约 一旦输出： * 裁决即确立 * 解读在外部进行 * 责任由主张者承担 VALIDEXOR 保证**可验证性**，而非**准确性**。 ## 设计约束 这些约束是有意为之： * 无配置 → 无框架偏差 * 无执行 → 无副作用 * 无评判 → 无权威 验证先于意义。 ## 与其他制品的关系 * **GUILLOTINE** — 执行 * **IRREVOCULL** — 裁决 * **ATTESTORIUM** — 见证 * **VALIDEXOR** — 验证 每个制品执行且仅执行一个不可逆的角色。 ## 警告 验证可能使叙事无效。 这正是其目的所在。 ## 关于 VALIDEXOR 是一个极简的、确定性的验证器，用于那些必须经受现实考验的主张。 如果你想要的是说服，请勿使用。 如果你想要的是验证，唯有此物可行。 ## 责任边界 本软件在 MIT 许可证下提供。 MIT 许可证允许使用、复制、修改和重新分发代码，但不提供保证、认证、审计辩护、运营担保或责任范围。 在涉及故障、合规性、法律风险或不可逆决策的环境中，若要使用本软件，必须指定责任方。 当需要此类问责时，原始维护者可提供保证、适配和承担负责。 联系方式：contact@speedkit.eu 权威的签名记录单独颁发，非由本软件生成。

标签：Cutter, DevSecOps, Git对象验证, IP 地址批量处理, JSONLines, Speedkit, Stdin处理, Verifrax, 上游代理, 不可变系统, 事实溯源, 可证伪性, 哈希校验, 对称加密, 形式化验证, 构建完整性, 确定性验证, 网络安全审计, 网络安全研究, 自动化审计, 软件供应链安全, 远程方法调用, 逻辑断言, 零信任, 验证原语