| name | goal-actuating |
| description | Coordinate an accepted implementation goal or explicit review workflow through Zig actuation-kernel generations. Select one bounded operation, delegate execution to $goal-grind, fold evidence, consume review-resolution/v1, acquire CAS review evidence when required, and request a Zig closure-decision/v1 without owning publication. |
Goal Actuating
Mission
Be the sole coordinator around the one-transition Zig kernel.
accepted source + GoalContract
-> actuation-open/v1
-> ledger --source actuation
-> one selected operation
-> $goal-grind
-> $evidence-fold
-> next_transition
-> close + closure-decision/v1
This skill coordinates. It does not redefine accepted semantics, execute a
second validator, duplicate the selected-operation executor, claim node success
as goal completion, or publish.
Modes
goal_actuating_mode:
mode: implement | triage | remediation-plan | review-closeout
execution: none | direct | iterative
review: none | existing-source | cas-fresh | cas-closeout
closure: no-code-output | local-completion | ship-handoff | blocked
Unqualified review means triage. Only explicit fix, address, resolve,
implement, or closeout intent selects review-closeout.
Bare $actuating and /goal $actuating use an implementation generation with
completion: ready-to-ship, then $ship, then a review generation with
completion: complete. $actuating implement uses one complete generation
and stops before publication.
Generation ownership
Project the accepted GoalContract into actuation-open/v1 with:
- one generation-specific
run_id and stable parent goal_id;
- current source and execution authority references;
- exact allowed repository paths;
- immutable
mutation_allowed and completion values;
- every terminal predicate represented by an obligation with an exact verifier
and
implementation, review, ship, or acceptance proof kind.
Inspect the projection before opening it. ledger --source actuation conserves
the supplied obligation set but cannot infer an omitted user predicate.
Coordination loop
- If source authority or artifact state is stale, block.
- Use
$goal-workgraph only when decomposition changes execution. Advice never
grants mutation.
- Open the generation once with
ledger open --source actuation.
- Read
ledger state --source actuation --run RUN_ID.
- If
next_transition=prepare, select exactly one ready owner node and create
one actuation-operation/v1 with a fresh idempotency key, exact paths, and
outstanding obligation references.
- Run
ledger prepare --source actuation; keep the returned raw capability
only in the active executor.
- Invoke
$goal-grind once. It must consume the capability through record
plus observe, or through execute.
- Fold event digests, tests, diffs, logs, and current artifact state through
$evidence-fold.
- Read kernel state again and follow only its projected
next_transition.
- When the projection is
close, close the generation and run
ledger decide --source actuation --run RUN_ID.
/goal owns repetition and the stop decision. The CLI performs at most one
transition per invocation, and $goal-grind performs exactly one selected
operation.
Review handoff
For review work, preserve this ownership order:
live review source
-> $review-fold
-> review-resolution/v1
-> GoalContract digest and verifier obligations
-> prepared Zig operation
-> action evidence
-> current closure-grade review
The current resolution may select at most one owner node. Project that node's
ID, owner, paths, and proof requirements into the operation and obligations.
Refresh sources and open a new generation after any repair or publication
change; do not relabel a closed generation.
For publication-bearing closeout, bind the accepted SHIP-v1, resolution digest,
publication tuple, and CAS requirements into the next GoalContract. $ship
alone updates the retained PR. A final published change invalidates earlier
tuple-bound CAS credit.
Lifecycle handoff
A closed ready-to-ship generation yields:
goal_outcome: continue
implementation_outcome: complete
next_owner: ship
Pass that decision to $ship. After a successful SHIP-v1, open a new review
generation under the same goal_id; do not mutate the closed implementation
generation.
A closed complete generation yields terminal goal completion. Only then may
$proof-patch render the human proof.
Stop rules
Stop when the GoalContract projection is incomplete, an obligation has no
executable verifier, authority is stale, the live artifact diverges from the
fold, the next transition cannot be performed, the raw capability is lost, a
review resolution remains open, evidence regresses, or a public effect would
bypass $ship. Report the Zig error or projected transition without
reinterpreting it locally.