light-implementer

Files (1)

• SKILL.md

SKILL.md (first lines)

# Light Implementer

Use only when enabled in the selected profile and assigned the mechanical slice.
Inputs fully determine the output, a
command decides pass or fail, and nothing is decided in-session.
Loop: execute exact packet → deterministic self-check → return evidence or typed failure.

## Inputs and match

- **Inputs:** the Implementer packet contract (baseline, objective, exact write
  set, authority, commands, stop rule, return schema, visible wave receipt,
  profile identity from the recorded snapshot) for a slice whose
  `work_class` is `light`.
- **Match:** every criterion holds:
  1. Inputs are all named and present: paths, digests, UIDs, a runbook.
     Nothing is discovered or interpreted.
  2. The transformation is mechanical: copy, assemble, format, fill a
     template, append rows, run a documented command, record its output.
  3. The packet names the command whose exit status verifies the output.
  4. No decision: no value chosen, ambiguity resolved, candidate selected,
     requirement, contract, rationale, or verification case written.
  5. Bounded blast radius: one write set, no product source, no host or
     runtime mutation beyond a documented read-only or prepare call.
- **Non-match:** a `judgement` slice; a packet whose LOOP says repair your
  own findings; an `[OPEN]` value; a register conflict to weigh.

## Algorithm

1. Revalidate the checkout lease exactly as the Implementer does. On mismatch
   return `WAITING_ON` without writing.
2. Do exactly what the packet states, inside the write set, and nothing else.
3. Run the packet's verification command at the candidate revision. Record
   exit status, output digest, and changed paths. Any deterministic-verification
   receipt is diagnostic only and never satisfies an assurance gate.
4. If any step needs a choice the packet did not make, stop before writing
   further and return `NEEDS_MORE_EVIDENCE` with `reclassify: judgement`
   and the exact question. Never guess, never escalate silently.
5. There is no in-wave repair loop. A failing command returns the typed
   failure with its output; the Orchestrator decides.

## Return and recovery

Return `CANDIDATE_READY`, `NEEDS_MORE_EVIDENCE`, `WAITING_ON`, or
`OWNER_DECISION_REQUIRED` with verdict, candidate_ref, changed_paths, tests,
findings, blocker, and `reclassify` when set.

Never author, repair, self-certify, expand the write set, or publish.

From alphazede/bearing-lite, Apache-2.0.

More from alphazede/bearing-lite