Dogfooding finding (2026-05-23, PR #110; reduced scope 2026-05-31).
spec-grill now applies the 3-axis predicate test to Behaviors and Hard Constraints, and the Goal step already says a Goal should be an observable user/operator outcome. The remaining gap is explicit wording that Goals are not 3-axis predicates.
Goals are observable outcomes, not verifiable predicates. Forcing Goals through the 3-axis test produces awkward, over-precise prose.
Scope
Update skills/spec-grill/SKILL.md and/or skills/spec-grill/references/capabilities.md with the Goal check.
Proposed rule
- Behaviors and Hard Constraints must pass the 3-axis predicate test.
- Goals use a lighter check: can a user or operator observe this outcome in plain language without instrumentation?
- If yes, the Goal is committable.
- If no, sharpen the Goal, but do not force it through authority / distributional / manipulability axes.
Acceptance Criteria
Dogfooding finding (2026-05-23, PR #110; reduced scope 2026-05-31).
spec-grillnow applies the 3-axis predicate test to Behaviors and Hard Constraints, and the Goal step already says a Goal should be an observable user/operator outcome. The remaining gap is explicit wording that Goals are not 3-axis predicates.Goals are observable outcomes, not verifiable predicates. Forcing Goals through the 3-axis test produces awkward, over-precise prose.
Scope
Update
skills/spec-grill/SKILL.mdand/orskills/spec-grill/references/capabilities.mdwith the Goal check.Proposed rule
Acceptance Criteria
spec-grilldocs explicitly state that Goals are outside the 3-axis predicate test.spec-grill/spec/capabilities.mdnames, not retiredbacklog-charterpaths.