Skip to main content

Crate goalctl

Crate goalctl 

Source
Expand description

goalctl — 最小 Goal → Contract 编译器。

  • 输入:Goal YAML/JSON(id / outcome / risk / acceptance / invariants / …)
  • 输出:Contract JSON + 稳定 digest(canonical JSON 的 sha256)
  • fail-closed:空 outcome、缺失 AC id、主观词 lint

Structs§

AcceptanceItem
验收项。
CompileOutput
编译产物。
GoalContract
编译后的 Contract(确定性字段顺序由 serde 定义 + canonical JSON 保证)。
GoalDocument
Goal 文档(YAML/JSON 输入)。

Enums§

CompileError
编译错误。
RiskLevel
风险等级。
ValidateError
校验错误。

Constants§

SUBJECTIVE_WORDS
常见主观 / 不可测措辞(小写匹配)。
VERSION

Functions§

compile_goal
从文件路径编译(按扩展名选 YAML/JSON;未知则先 YAML 再 JSON)。
compile_goal_str
从字符串编译。hint:Some("yaml"|"yml"|"json") 或 None 自动。
lint_subjective
扫描文本中的主观词;返回命中列表(原文片段小写)。
validate_goal
校验 Goal;成功返回 Ok(())。