You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Goal authoring from the CLI — a new ponens trace goal command group brings the desktop's goal
workflow to the CLI, so every trace operation can be done from the command line: set (declare the
intent + definition of done, or load one via --json), accept (add an acceptance item bound to
evidence), certify (record a non-doer's sign-off — the certified axis), drop / rm (remove an
item or a goal), and ls (show each goal's resolved status + met/certified/weakly-specified). Goals
are written in the spec's snake_case shape.
Fixed
PyPI project page — the package now ships a README (readme in pyproject.toml), so the PyPI
project page renders a description instead of "The author has not provided a project description."