<< All versions

Skill v1.0.4

currentAutomated scan100/100
boshu2/agentops/craft-goal

5 files

──Details
PublishedOctober 28, 2026 at 01:20 AM
Content Hashsha256:1c5d8b08a6d4a0a8...
Git SHA86be29519988
Bump Typepatch
Compare with v1.0.3
──Files
Files (1 file, 8.7 KB)
SKILL.md8.7 KBactive
SKILL.md · 164 lines · 8.7 KB

name: craft-goal description: 'Draft or lint a bounded long-running goal prompt with a finish line and hard limits. Use when: asked to craft or lint a goal (a /goal prompt); one change goes to Plan.' practices:

  • lean-startup
  • design-by-contract

skill_api_version: 1 hexagonal_role: supporting consumes:

  • caller-outcome
  • goal-acceptance

produces:

  • outer-goal-prompt
  • goal-safety-report

context_rel:

  • kind: supplier-to

with: plan user-invocable: true metadata: version: "1.0.4" tier: judgment dependencies: [] capabilities: ["goal_prompt_design","goal_prompt_lint"] effects: [] canonical_status: canonical disposition: keep_strategy stability: stable output_contract: 'human-readable SAFE_TO_CREATE, USE_RPI, or UNSAFE_GOAL decision; copy-paste outer-goal prompt when safe; exact budgets, assumptions, and lint findings'


Craft Goal

Craft or lint a goal prompt: the contract a long-running goal runtime follows over a bead graph, picking each next experiment (one build bead) until a frozen finish line is proven or a limit stops it. The number of experiments need not be known in advance. A goal is safe when success is decidable, every experiment is bounded, evidence keeps its provenance, and the authorization envelope cannot silently renew itself.

Authority boundary. The emitted prompt and safety report are inert caller-owned text. Crafting creates no goal, starts no runtime, mutates no bead and confers no standing authorization. The prompt drives work only when a caller pastes it into their own goal runtime, under their own authority and within the non-renewing envelope they set. Craft Goal reads tracker state when present and needs no tracker installed to compile a prompt; the goal it writes runs on one.

Asked to craft ("craft a goal", "turn this into a goal"), return the decision, then the filled prompt and settings when safe. Asked to lint ("lint/review this goal", "is this safe"), return the decision and findings, plus a rewrite when supplied facts permit one.

Admission: decide first

Fuzzy route is acceptable; fuzzy success is not. Before goal creation the caller must know the outcome, what evidence would prove it, non-goals, authority, and the tracker the goal runs on (any with status, dependencies and notes; BD is one); the exact experiment graph may still be unknown. Write each terminal criterion as a Given/When/Then with an observable result and name each domain term once; the caller can settle these with Interview first.

  • USE_RPI: one shaped change with no verdict-driven follow-on; hand it to

Plan or native execution (RPI only if the caller selects it).

  • SAFE_TO_CREATE: a terminal outcome that may need several related

experiments, with those decisions and the budgets below supplied. A shaped goal with no beads may begin with 1 bounded discovery wave that creates the root and initial experiment beads.

  • UNSAFE_GOAL: no falsifiable first question or terminal evidence can be

named (route that intent to idea or plan work), or the request is indefinite monitoring or event reaction, which is an automation, not a terminal goal.

Goals come in different sizes: size the wave and hard envelopes to the outcome, never to one universal budget. Do not invent acceptance, authority, graph semantics, tracker or campaign size; return UNSAFE_GOAL with the missing decisions. The caller owns revision and goal creation.

What a safe goal holds

  • Closed outcome, adaptive route. Freeze terminal acceptance. New facts may

change hypotheses and dependencies, never silently enlarge success.

  • Bead graph as memory. The tracker is durable memory, not a parallel goal

ledger: the root epic holds outer intent and each build bead one experiment, so compaction cannot erase the record. A decision bead resolves through the method Navigate names for it, not through a build. Navigate owns the walk each wave applies: graph contract, ratchet, discovery classes and checkpoint.

  • Proof stays outside the goal. The goal consumes each verdict unchanged:

orchestration cannot author its own proof. Fresh validation is for Validate's costly cases only, since a review per bead multiplies cost across the graph.

  • Two-level bounds. Every experiment and every wave is bounded, and the

whole goal has monotonic hard ceilings, so a new wave cannot mint a new campaign.

The template's experiment policy and breaker carry these into the runtime. They prevent the completion treadmill, where discoveries keep becoming requirements and activity continues without new information, and first-red abandonment, where one falsified hypothesis ends a viable campaign.

Budgets and HOLD

Declare both envelopes with numbers before any work is selected, helper and validation costs included:

  • Wave: experiments, concurrency, wall time or tokens, live attempts, and

a checkpoint at its end.

  • Goal: total experiments, wall time or tokens, live attempts, compactions,

and any patch or surface limit for the whole campaign.

Name the native control that enforces each claimed hard limit and how the remaining allowance is observed. Objective text is an instruction, not enforcement: never report an unmeasured aggregate as a remaining balance, and never claim the goal is paused from prose alone. No helper, retry, new subject, compaction or wave renews the goal allowance.

The template's Breaker and helper section is the one list of HOLD triggers (implementation stops for causal review) and helper rules; fill its threshold and keep every line.

Lint rubric

DimensionPasses when the prompt
outcomenames one larger caller-visible result.
evidencegives each terminal criterion as a Given/When/Then with its authoritative proof.
domain termsdefines each domain term once and reuses only that word.
admissionfits a goal: several related experiments, a falsifiable first question, a terminal finish.
bead graphnames the tracker and the root epic or its bounded bootstrap rule, and ties each experiment to an unmet criterion or named blocking uncertainty.
experiment boundarymakes one build bead one bounded experiment (native execution, or one RPI when the caller selects it; decision beads resolve as Navigate names), takes checks and CI as an ordinary bead's result, limits fresh validation to the costly cases and consumes verdicts unchanged.
ratchetcounts progress only as evidence tied to an unmet criterion or blocking uncertainty, never activity, counts or digests.
discoverykeeps all three classes (necessary-now, linked-follow-up, HOLD/rescope) and never downgrades a necessary finding.
wave budgetsets numeric experiment, concurrency, time or token and live-attempt limits per wave, with a checkpoint.
hard budgetsets numeric campaign totals that nothing resets, naming the enforcing control or the unmeasured aggregate.
breakersets the numeric no-ratchet threshold and every HOLD trigger in the template's breaker.
helpersends a requested acceptance change or operator-reserved decision straight to NEEDS_OPERATOR, allows at most one helper per other HOLD incident, maps UNSTUCK and ESCALATE, and stops implementation on NEEDS_OPERATOR.
scopestates non-goals and exact read, write, external and Git authority.
self-hostingis n/a unless the goal repairs the factory (agent system) it runs on; then its authority repairs from an ordinary shell or worktree and runs that factory only as a declared bounded canary.
terminal reportsdefines ACHIEVED, NOT_ACHIEVED and NEEDS_OPERATOR.

Output

Fill the copy-paste-only goal prompt: keep its headings and terminal semantics and replace every angle-bracket field. Return, in order:

  1. A first line that starts with exactly one decision: SAFE_TO_CREATE,

USE_RPI or UNSAFE_GOAL. SAFE_TO_CREATE judges prompt content; it does not certify native enforcement or create a goal.

  1. For UNSAFE_GOAL, each missing decision; the caller can settle them with

Interview.

  1. When safe, the filled prompt; the settings: for each hard limit, the native

control the caller sets to enforce it (such as the goal runtime's own token cap), or that it stays unmeasured; and the assumptions made.

  1. Lint lines. In lint mode, one per rubric dimension: pass, n/a, or the

finding. In craft mode, only the rows the draft still fails; each is a missing decision, so the decision cannot be SAFE_TO_CREATE.

Stop

This skill makes one pass, craft or lint, then returns. It never creates or runs a goal and never mutates beads. The goal it writes stops at its first terminal report: ACHIEVED, NOT_ACHIEVED or NEEDS_OPERATOR.

← v1.0.3All versions