Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/CodySwannGT/lisa --skill lisa-implementコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか?SkillsMP が現在取得できるファイルをダウンロードできます。
SKILL.md を表示中
This skill should be used for any non-trivial request — features, bugs, stories, epics, spikes, or multi-step tasks. It accepts a ticket URL (Jira, Linear, GitHub), a file path containing a spec, or a plain-text prompt. It assembles an agent team, breaks the work into structured tasks, and manages the full lifecycle from research through implementation, code review, deploy, and empirical verification.
This skill should be used for any non-trivial request — features, bugs, stories, epics, spikes, or multi-step tasks. It accepts a ticket URL (Jira, Linear, GitHub), a file path containing a spec, or a plain-text prompt. It assembles an agent team, breaks the work into structured tasks, and manages the full lifecycle from research through implementation, code review, deploy, and empirical verification.
Vendor-agnostic repair scanner — the recovery counterpart to lisa-intake. Finds work that got stuck or was left half-closed across the same queues lisa-intake serves (Notion / Confluence / Linear / GitHub PRDs; JIRA / GitHub / Linear build queues): items left in `blocked`, work stalled in an in-progress role (build `claimed`, PRD `in_review`), terminal-labeled items still natively open, and rollups whose children are all terminal. Repairs every actionable candidate up to `max_candidates`: resumes stalled work in place (diagnosing a stalled build's PR/deploy state first — merged PRs get the missed env transition, behind-base PRs are re-synced, unmergeable PRs or failed deploys get a build-ready fix ticket + `blocked`), re-validates blocked PRDs and build items whose blockers cleared, performs terminal native closure, and reconciles parent rollups to their derived state. Idempotent and loop-protected; never mutates `draft`/`verified` or `ready` leaves. A /schedule cron target alongside lisa-intake.
| name | lisa-implement |
| description | any non-trivial request —… |
executionEnv (check this first)Before anything else — before team orchestration, before reading the input — check $ARGUMENTS for an executionEnv= parameter.
| Value | What you do |
|---|---|
absent, or executionEnv=local | Nothing changes. Continue to team orchestration below. |
executionEnv=<surface> | Invoke lisa-remote-dispatch with $ARGUMENTS, report what it returns, and stop. |
This check comes first because dispatching is the whole job in that case: the remote runs this identical skill from this identical repository, so forming a team locally would duplicate the work you are about to send away.
Routing only. executionEnv changes where the work happens and nothing about what happens. Do not vary the lifecycle, the gates, the review obligations, or the evidence requirements based on it. If a behaviour genuinely must differ, encode it here as an explicit branch — never as an unstated assumption in the dispatcher.
lisa-remote-dispatch rejects an unknown surface rather than falling back to local. Do not catch that and continue: a silently ignored executionEnv runs work locally while the operator believes it went remote, and nothing downstream contradicts that belief.
Dispatch is fire-and-record. It returns a task identifier and exits without polling; that identifier and the recorded ledger entry are the deliverable. Do not wait for the remote task, and do not report the work as complete — report it as dispatched.
Implement is a team-first flow. Bug, Build, Improve, and Investigate-Only all compose multiple specialists (Reproduce → debug → fix → review → verify). Single-agent mode is not permitted based on task complexity — the only exception is when no team creation or subagent delegation tool is available in the current runtime (see no-team fallback in the paragraph below).
You are "inside an agent team" only if you are yourself a spawned teammate or subagent — you were spawned into a team context, or your context names a team lead you report to. A lead/root session that has previously spawned subagents is still the lead: prior Agent calls in the session (e.g., an Intake cycle's bounded scan helpers) do NOT make this a nested flow, and the lead retains full authority to create this flow's team.
If you are NOT inside an agent team by that definition, the very first thing you do is establish team orchestration.
Use the team tool for the current runtime:
TeamCreate tool — the team forms automatically the moment you spawn your first teammate with the Agent tool. That first Agent spawn MUST be the bounded input-resolver described under "Resolve the input" below — never a builder/implementer that does the whole task inline. Spawning one fat worker satisfies the team-first gate but collapses the flow into the 1-agent ad-hoc fix this skill forbids, and it skips the Roster Decision, which MUST be recorded before any lifecycle, research, implementation, review, or verification specialist is spawned. (On older Claude Code that still exposes TeamCreate, that explicit path also works: load it via ToolSearch with query: "select:TeamCreate", create the team, then spawn the input-resolver.)TeamCreate; Codex does not expose that Claude tool. Use tool_search with a query like multi-agent tools to load multi_agent_v1, then use multi_agent_v1.spawn_agent for teammate delegation. Treat the first successful spawn_agent call as establishing team orchestration.If no team creation or subagent delegation tool is available, explicitly state that team orchestration is unavailable in this runtime, continue as the lead agent, and preserve the workflow's review, verification, and task-tracking obligations locally.
Your only permitted first move is establishing orchestration by spawning the bounded input-resolver teammate (Claude: Agent; Codex: multi_agent_v1.spawn_agent), or declaring the no-team fallback. The initial Claude Agent spawn is the only pre-team exception, and for Implement it must be the bounded input-resolver rather than a builder. Apart from that single spawn, do NOT call any of: a second Agent/spawn_agent for any worker, TaskCreate, Skill (including lisa-tracker-read, lisa-jira-read-ticket, lisa-github-read-issue), MCP tools (Atlassian / Linear / GitHub / Notion), Read, Write, Edit, Bash, Grep, Glob — until the input-resolver has returned and the Roster Decision has been recorded. Reading the ticket, exploring the code, fetching context — every one of those is a task for the team, not for the lead session before orchestration exists. Doing them inline, or spawning a single worker that does the whole build, is the exact bypass path that produces a 1-agent ad-hoc fix instead of a real team flow.
Note that lisa-intake dispatching this skill is NOT the nested case: Intake is a thin dispatcher that creates no team of its own and invokes this skill via the Skill tool in the lead session precisely so this preamble fires — treat an Intake dispatch exactly like a direct invocation and run the full team-first flow above.
If you ARE already inside an agent team by the definition above (you are a teammate that was handed this skill via the Skill tool from within another flow's team), do NOT create a second team — many harnesses reject double-creates — and do NOT collapse the nested flow into a single inline worker. A nested team-first flow must still bring in the specialists it requires by adding them to the existing team, not by doing the work itself:
Agent with a name from a teammate (the harness rejects it: "Teammates cannot spawn other teammates — the team roster is flat"). Send the team lead a message naming the specialist teammate(s) this flow needs, their task assignments, and completion criteria, then coordinate through the shared task list until they finish. An anonymous subagent (Agent with name omitted) is permitted only for bounded one-shot work whose result returns directly to you — it is not a substitute for the required lifecycle specialists.TeamCreate. If the lead/root agent is addressable (you were given its id/handle), send it a request to multi_agent_v1.spawn_agent the specialist agent(s), including each agent's prompt, ownership, and expected result. If no lead handle exists but spawn_agent is available to you, spawn only the bounded specialist agent(s) this flow needs, wait_agent for their results, and relay those results upward to the parent/lead.Treat the first successful lead-spawn request (or, on the Codex fallback, the first specialist spawn) as preserving team orchestration. Never satisfy a team-first lifecycle flow by doing all the work inline.
$ARGUMENTS is either a URL/key for an existing work item, a pointer to a file containing the request, or the request in text format. Every form must resolve to exactly one live, claimed tracker leaf and a verified worktree binding before the lead may begin durable work.
The team lead does NOT read the input directly. The first task on the team's plan is "resolve the input" — assigned to a bounded input-resolver teammate, which then:
The input-resolver invokes lisa-track $ARGUMENTS and owns its complete resolve -> claim -> bind transaction:
Explicit ticket: call lisa-tracker-read against the configured tracker and require a live open/unresolved current-project leaf. Mismatch guard: if the ticket format/project does not match the configured tracker (for example, a GitHub URL when tracker is jira), stop — never auto-translate vendors or trust pasted/stale ticket text. The read captures comments, graph, and metadata, not just the description.
Specification file: read the entire file without offset or limit, preserve it as the resolved input, and follow the plain-text resolution path below.
Plain text or file contents: search the configured project conservatively for open leaves describing the same outcome. Live-validate every candidate through lisa-tracker-read; reuse only exactly one high-confidence match. When there is no unique match (zero or ambiguous candidates), synthesize one complete single-repository leaf and invoke lisa-tracker-write exactly once with build_ready: true, then live-read its canonical returned ref. Never create a thin placeholder, hierarchy, or container.
Claim: invoke lisa-tracker-claim <canonical-ref> and require the provider skill's post-read verified claimed|reused result. A failed or inaccessible claim blocks the flow.
Bind before durable work: only after the verified claim, run:
node scripts/lisa-work-item.mjs link <canonical-ref>
Require a successful readback of that worktree-local binding. On detached HEAD, branch: null is the expected pending binding; after branch creation the mandatory attach-branch step below must replace it before any commit. Tracker or binding failure stops the flow; never continue untracked.
Return the full resolved work-item context plus tracker_provider, canonical work_item_ref, resolution outcome, claim outcome, and verified binding to the team lead, who then proceeds to roster selection.
The input resolver may perform these tracker and local-binding operations before the Roster Decision because they are the mandatory gate that establishes what work the team is allowed to do. No project source, documentation, plan artifact, branch, or task may be created or changed before this transaction succeeds. Read-only discussion/orientation outside an Implement flow remains exempt per the tracked-work rule.
The input resolver is the only teammate that may be spawned before the Roster Decision exists. After it returns the resolved input, do not spawn any lifecycle, research, implementation, review, verification, or learning teammate until the Roster Decision has been recorded.
Rejection evidence in the claim handoff. When this flow was dispatched from a build-intake claim that classified the item as a rejection-reclaim (per the rejection-detection rule), the context bundle carries a rejection evidence summary (what was rejected, the defect the QA comment named, the approach named as wrong). The plan MUST explicitly address that rejection evidence and MUST NOT re-propose the specific approach the rejection named as wrong — a bounced item must come back fixed, not re-bounced. lisa-implement cannot fetch this itself (it never sees the claim); it consumes what the handoff carries. Absence of rejection evidence never blocks — plan and implement normally.
Before spawning any teammate beyond the bounded input resolver, record a Roster Decision artifact. It must enumerate every agent or specialist type exposed by the current runtime's delegation tool and record one line per type:
INCLUDE|EXCLUDE - <agent type> - <one-sentence reason>
Review all available agent types listed in the current runtime's delegation options. In Claude, this includes the Task tool's subagent_type options: built-in agents such as Explore and general-purpose, custom agents from .claude/agents/, and plugin agents from enabled plugins. In Codex, Cursor, Copilot, agy, OpenCode, or another runtime, use that runtime's tool-discovery and delegation surfaces to enumerate the equivalent available specialists. If the runtime exposes no specialist list, record that explicitly in the Roster Decision and justify the fallback agent type you will use.
Persist the Roster Decision where the flow can be audited later. Prefer task-list metadata metadata.roster when a task list exists; otherwise write ${LISA_PROJECT_DIR:-${CLAUDE_PROJECT_DIR:-.}}/.lisa/roster/<work-item-slug>.md or post the Roster Decision in the plan/tracker artifact the flow is already updating. The later verification/evidence step must reference the recorded artifact; absence of the artifact is a workflow failure.
<work-item-slug> is this flow's work-item reference with every character outside [A-Za-z0-9._-] replaced by - — SE-490 stays SE-490, CodySwannGT/lisa#3395 becomes CodySwannGT-lisa-3395. One file per work item, never a shared one. The path used to be the single .lisa/roster.md, and two flows running concurrently in one repository both wrote it: the first time each created it, the merge was add/add, which has no common ancestor for git to three-way, so resolution was a coin flip that silently discarded the other flow's roster. Because the file reads as scratch, that discard looked harmless and got done without thought — while the surviving roster belonged to a different flow than the one being audited. A per-work-item path cannot collide, and it matches the per-flow .lisa/plan-<id>.md artifacts already written alongside it.
Rosters stay trackable — they are the auditable record of who was on a flow, not runtime scratch, which is why .lisa/ ignores specific runtime filenames rather than the whole directory (CodySwannGT/lisa#1607). Do not add .lisa/roster/ to .gitignore. A repository that already carries a committed .lisa/roster.md from before this change keeps it; leave it alone rather than migrating or deleting it, and write this flow's roster to the per-work-item path.
Inclusion is the default. You MUST justify excluding an agent. Every team must include the Explore agent, or the runtime's nearest read-only search/research equivalent; if no equivalent exists, record that gap in the Roster Decision.
Do not spawn a teammate whose agent type is not included in the recorded Roster Decision. general-purpose is a fallback, not a default: using it requires an explicit INCLUDE line explaining why no more specific specialist fits or why the runtime exposes no specialist type. If the task changes enough that a different specialist is needed, update the Roster Decision before spawning that teammate.
When deciding the agents to use, consider:
metadata.relevant_documentation with the findings.Using the general-purpose agent in Team Lead session, Determine the name of this plan
Using the general-purpose agent in Team Lead session, determine the base branch from the ticket's target environment, then sync the working branch onto the latest of it before any work — so implementation always builds on current target-environment code:
## Target Backend Environment value has this exact grammar: a human-confirmed value is either a bare configured key or Confirmed: <env>; automated evidence writes Inferred: <env> — evidence: <title|body|reproduction|hostname>; an automated fallback writes Assumption: <env> — remote default branch <branch> when the branch maps uniquely, or Assumption: remote default branch <branch> when it does not. Human confirmation replaces an automated annotation with the bare configured key or Confirmed: <env>. For a legacy bare value created before this grammar, use managed draft markers and current ticket content only — provider edit history is not required or assumed. A managed marker proves automation and requires rewriting to Inferred: or Assumption:; without a marker provenance is unknown, so the value may be used only when no conflicting evidence exists, and a conflict stops for confirmation.
Inferred: value is next.deploy.branches key as a complete token, or that key as a complete label in a URL hostname (staging.<domain>, gql.staging.*). Exclude the entire Target Backend Environment section and all other machine-authored metadata/draft blocks from this evidence scan so an Inferred: or Assumption: annotation can never validate or conflict with itself. Clear evidence may supersede only an Assumption: value, never a human-confirmed value.prod ↔ production, and only when exactly one of those keys exists in deploy.branches; normalize to that configured key. No other aliases exist.gh repo view --json defaultBranchRef -q .defaultBranchRef.name, or git remote set-head origin -a then origin/HEAD). When it reverse-maps uniquely, write the env-bearing Assumption: form; when the reverse-map is not unique, write the branch-only form and continue on the remote default without inventing an environment or blocking solely for that ambiguity. Record the fallback assumption in the plan/tracker artifact.Every Implement run now has a tracker work item. Preserve its canonical identifier for development linkage unconditionally:
tracker_provider and work_item_ref from the tracked input before creating or reusing a branch. Examples: github + CodySwannGT/lisa#614, linear + ENG-123, jira + ENG-123. Missing linkage is a workflow failure, never an optional/no-ticket mode.codex/ENG-123-add-checkout-copy or codex/614-add-checkout-copy.node scripts/lisa-work-item.mjs attach-branch so the worktree-local binding records the actual branch without treating the branch name as authority.lisa-git-submit-pr when opening or updating the PR, for example work_item_ref=CodySwannGT/lisa#614 target_branch=<base resolved from the ticket's environment above> (not hardcoded main). The PR workflow owns provider-specific body text and must use non-closing references until terminal native closure after verification.lisa-git-submit-pr returns a PR URL, ensure the reverse backlink is present on the source work item by running lisa-tracker-sync <work_item_ref> pr-ready pr_url=<url> tracker_provider=<provider>. The sync path must prefer native provider linkage and fall back to one managed [lisa-pr-link] comment when native linkage is unavailable or cannot be verified.[lisa-pr-link] fallback is required; never continue without proven ticket-side linkage.Using the general-purpose agent in Team Lead session, Determine which flow applies:
If Implement, determine the work type:
Run the readiness gate check for the selected flow as defined in the intent-routing rule (loaded via the lisa plugin). If the gate fails, stop and report what is missing.
IF it is a Fix (bug), execute the Reproduce sub-flow FIRST:
For any Fix flow, and for any Build flow that changes user-visible behavior, regression coverage is a required deliverable at the highest practical observation level for the reported surface. If the project has a browser, device, or end-to-end harness for that platform (for example Playwright, Maestro, Detox, Cypress, or an equivalent runtime), the task plan and definition of done MUST include a deterministic regression spec against the reported surface, using mocked or seeded data where needed. This is alongside unit or integration coverage, not a substitute for it. For frontend work the deliverable is defined by the bdd-e2e-coverage rule and has two halves, both landing in this PR: the Gherkin scenario (stable ID, required platforms) added or updated in the project's behavior contract, and aligned automation in the project's configured runner for every platform that scenario requires — no runner substitutes for another, because they guard different platforms of the same behavior. The coverage gate must pass and the matrix and burndown be regenerated before the item is done. Cite the rule; do not restate its scenario, waiver, or bootstrap mechanics here.
For work that adds or changes a UI surface, the design-source-of-truth rule adds a second non-demotable deliverable landing in this same PR: every UI surface the change touches declares where its design came from. Figma is the source of truth, so prefer sync-back — if the surface is not in Figma yet and the tool-access preflight proved Figma access, reflect it there and cite the node with DESIGN-SOURCE: <figma-url>. Only when the surface genuinely does not belong in the design source (debug affordance, dev-only playground, internal tooling) does it carry the exception marker DESIGN-SOURCE: none — not in Figma, ideally with a trailing reason. scripts/design-source-gate.mjs decides this deterministically and fails closed on anything it cannot resolve; a FAIL blocks the item exactly as a failing coverage gate does. Host design-system rules (figma-design-system, design-system, use-the-design-library, or the project's equivalent) stay authoritative about what to build — this obligation is only about declaring the source. Cite the rule; do not restate its marker grammar, host-precedence, or bootstrap mechanics here.
The design-value-binding rule adds a second, orthogonal obligation on the same surfaces: values come from design variables where a variable system exists. That contract asks whether the values are bound, not whether the source is declared — a surface can cite a valid design node and still paint a literal no variable backs. Resolve the regime per axis, block only on the five objectively checkable conditions, and record every value derived in an untyped axis on the work item. /lisa:design:intake runs it. Cite the rule; do not restate its conditions, config schema, or comment grammar here.
For work that adds or changes persistent state, the reset-seed-coverage rule adds a third non-demotable deliverable landing in this same PR: every entity the item introduces or changes is classified in the project's state contract (fixture-owned / preserve / derived-rebuild / forbidden) with a reason and an owner, anything fixture-owned declares its ownership predicate and is actually swept, and the state-classification check passes. Writing a flow that creates a record and deletes it only on its happy path does NOT satisfy this — that is the leak, not the coverage. Cite the rule; do not restate its policy, waiver, or bootstrap mechanics here.
The team lead may not waive, defer, demote, or phrase this regression spec as "optional", "if cheap", "nice to have", or equivalent. The only permitted exits are:
Completion evidence for the regression spec must prove execution, not mere existence. A green CI run is insufficient unless the PR evidence includes a CI log line, reporter output, or equivalent record naming the new spec and showing that it ran and passed. Guard explicitly against test.skip, suite-level environment gates, shard filters, and "0 tests" passes.
Observe the new spec green at least once BEFORE you ship it — ordering matters. A spec that has never been seen passing anywhere is not regression coverage; it is an untested artifact, and shipping it can break a gate that the current branch does not even run (a spec skipped on the integration branch may be a required gate on the release branch, where it fails for the next author instead of for you). Run it locally first. Only fall back to CI execution proof when local execution is genuinely impossible, and treat that impossibility as a finding to record, not a step to skip.
Two traps make a local run lie, so check both before trusting or blaming a local result:
webServer only when process.env.CI is set, so a local run silently exercises the deployed app rather than the working tree). A "local pass" obtained this way is a statement about deployed code, and a local failure may be the deployed code failing, not your change. Confirm which artifact is under test before drawing any conclusion.When the control shows the surface is not locally exercisable, that is exit 2 below (a genuine technical blocker): ship the spec only with a linked follow-up that names it as unproven and carries the obligation to confirm it, and say plainly in the PR that the spec has never been observed green. Do not describe an unproven spec as regression coverage.
If the required regression spec is still in flight on an auto-merge-enabled PR, pause auto-merge or use an equivalent merge gate until the spec commit is pushed and its execution proof is available. The flow must not allow the PR to merge before this non-demotable deliverable is satisfied or formally blocked through the linked follow-up path above.
Using the general-purpose agent in Team Lead session, determine how you will know that the task is fully complete. Write this as an effective completion condition — one an independent verifier could confirm from observed output alone, not from your assertion that it works. A strong condition has:
curl … returns 200 with {…}, "the Playwright run reaches the dashboard", "SELECT … returns the new row"). Quality gates (test/typecheck/lint) do NOT count — they are prerequisites.This condition is the contract the Verify flow proves and records in the verification verdict (below); it is what the completion gate checks before the flow may stop.
Using the general-purpose agent in Team Lead session, run the tool access preflight per the tool-access-gate rule (loaded via the lisa plugin) before any implementation task is created or started:
*-access skill where one exists (integration-access-layer rule). Tool presence on PATH is not access; a probe failure counts only after exhausting the documented credential sources (project e2e config/fixtures, .lisa.config.local.json / env vars, documented work-item credentials).metadata.required_access.tool-access-gate rule: post an "Access Needed" comment on the work item (plain-English summary, the exact credential/role/env var to grant, the probe that must pass), transition the item to the configured blocked state with the human_needed marker, write the verification verdict with status: "blocked", and stop. Working around missing access — substituting weaker verification, mocking the inaccessible system, guessing at tool contents, or narrowing scope — is never permitted, for any tool.The same gate applies continuously: if a tool requirement surfaces mid-flow (e.g. verification turns out to need CloudWatch log capture the runtime cannot authenticate to), probe it the moment it is discovered, record the new tool and probe result in the plan artifact and the affected tasks' metadata.required_access before continuing, and break out identically on failure.
Using the general-purpose agent in Team Lead session, create tasks needed to complete the request.
Every task MUST include this JSON metadata block. Do NOT omit skills (use [] if none), learnings (use [] if none), required_access (use [] if the task needs no external tool) or verification.
{
"plan": "<plan-name>",
"type": "spike|bug|task|epic|story",
"acceptance_criteria": ["..."],
"relevant_documentation": "",
"testing_requirements": ["..."],
"skills": ["..."],
"learnings": [{ "kind": "mistake", "note": "one line", "evidence": "optional ref" }],
"required_access": [
{ "tool": "<external tool/system this task or its verification needs>", "probe": "<the read-only command or *-access check that proves access>", "status": "pass|fail" }
],
"verification": {
"type": "ui-recording|api-test|cli-test|database-check|manual-check|documentation",
"command": "the proof command — must run the actual system and surface its result in the transcript (NOT test/typecheck/lint, those are quality gates). Phrase it so an independent verifier sees the evidence, e.g. `curl -s localhost:3000/health` not `check that health works`",
"expected": "the single measurable end state that proves success — observable system behavior (status code, response body, row count, UI state), not a subjective judgement"
}
}
The learnings array is task-end MLD telemetry (Mistakes / Learnings / Desires) — a low-trust self-report for the harness builder, never instructions for a later agent. Each entry is either a plain string (treated as kind learning for backward compatibility with older flows) or an object, exactly like the example entry in the block above: a kind of mistake, learning, or desire; a one-line note; and an optional evidence pointer. A mistake is an error in the agent's own trajectory, a learning is an environment fact discovered the hard way, a desire is context or tooling the agent wished it had. Keep each to one line — no essays. mistake/learning entries are ledger candidates; desire entries are tooling-gap candidates that the learner (#1731) records for the gardener's human-gated tooling-gap lane.
Before any task is implemented, the agent team must explore the codebase for relevant research (documentation, code, git history, etc) and update each task's metadata.relevant_documentation with the findings.
For Fix tasks and user-visible Build tasks, testing_requirements must include the highest-practical-observation regression requirement above, including the selected harness or the recorded absence/blocker path. The completion condition must include the proof command and the required CI execution evidence for the new spec.
Each task must be reviewed by the team to make sure their verification passes.
Before marking a task complete, the implementing agent records concise MLD into metadata.learnings — mistakes (errors in its own trajectory), learnings (environment facts it discovered the hard way), and desires (context or tools it wished it had). Empty (learnings: []) is a valid result: never re-prompt for content, and never grade or score self-reports — a scored MLD would reward plausible self-commentary over good outcomes.
Each task must have their learnings captured to the ledger by the learner subagent.
When review, CodeRabbit, local-review, product, quality, security, or specialist
feedback arrives, apply the convergent-review rule before changing code:
fixed: make the smallest code, test, docs, or generated-artifact change
that removes the failure scenario.deferred: record why the issue is real but non-blocking, and file or link
follow-up work when useful.pushed-back: cite the evidence, scope boundary, or repository rule that
refutes the finding.human-needed when
the decision is human-only, and summarize both positions in plain language.Before shutting down the team, execute the Verify flow:
Run quality gates: lint, typecheck, tests — all must pass. These are prerequisites, NOT verification.
verification-specialist: verify locally by running the actual system and observing results (empirical proof that the change works). This is the real verification step. For UI-surface bugs, the proof must observe the UI surface with browser/device automation against the target environment whenever such a harness exists; unit-level or API-only proof cannot satisfy the empirical verification contract for a UI-surface defect.
2a. Record the verification verdict — the independent, machine-readable proof that gates completion. The verification-specialist writes ${CLAUDE_PROJECT_DIR:-.}/.lisa/verification-status.json in schema v2, which binds every claim to the boundary it asserts and to the evidence kinds that reach that boundary, per the claim-evidence-mapping rule:
{
"schema_version": 2,
"plan": "<plan-name>",
"artifact": {
"repository": "<owner/repo>", "base_sha": "<sha>", "head_sha": "<sha of what will ship>",
"build_id": "<build/run id>", "environment": "<where it was observed>", "observed_at": "<ISO8601 UTC>"
},
"claims": [
{
"claim_id": "AC-1",
"statement": "<the claim, in the operator's language>",
"boundary": "code-unit | browser | http-api | cli | data | deploy-health | performance | standards-compat",
"required_for_gate": true,
"required_evidence_kinds": ["<kinds that reach this boundary, e.g. screenshot, recording>"],
"status": "established | not-established",
"evidence_refs": ["EV-1"],
"not_established": ["<what this claim does NOT cover>"]
}
],
"evidence": [
{
"evidence_id": "EV-1",
"kind": "screenshot | recording | http-transcript | cli-output | log-snippet | db-query-output | perf-trace | test-run-log | deploy-log | state-dump",
"locator": "evidence/<ticket>/<file>", "sha256": "<hash>",
"captured_at": "<ISO8601 UTC>", "artifact_head_sha": "<sha the artifact was captured at>"
}
],
"not_established_reviewed": true,
"criteria": [
{ "task": "<task id or title>", "criterion": "<the completion condition>", "status": "pass | fail | blocked", "evidence": "<the proof command run and the observed result; for a blocked criterion, the blocker diagnosis (e.g. the missing access and the probe that must pass)>" }
],
"status": "pass | fail | blocked | in_progress",
"updated_at": "<ISO8601 UTC>"
}
Rules for v2: a claim is established only by evidence whose kind reaches its boundary — a unit test-run-log reaches only code-unit and can never establish a browser, , or claim. must always be present (the list may be empty, but the flag may never be omitted). names what will ship, and each evidence entry's must match it. The legacy array is retained and still read, but under v2 it is — it can never establish a v2 claim.
Ticket status transitions throughout this flow are config-bound per the Tracker status vocabulary section of the config-resolution rule: whoever performs the tracker write — the lead included, in runtimes where the tracker MCP is lead-only — may only target statuses named in the configured workflow map (claimed, blocked, env-keyed done, and review/qa when configured). Never adopt a status discovered from the tracker's live workflow; a lifecycle stage with no configured status gets a comment, not a transition.
.lisa.config.json deploy.branches — the forward direction of the env-keyed done resolution. The selected exact configured key must map uniquely, and the mapped branch must exist on the remote. A missing/ambiguous mapping or remote branch stops the flow; never guess or silently fall back.
## Branch Plan (derived-branch-plan rule). The rendered plan is derived output, never input: recompute it here from current config and the remote — the mapping you just resolved — and compare. Four arms, no fifth:
Branch plan derived for this item: branch from `main`, PR into `main` (Target Backend Environment: production via .lisa.config.json deploy.branches). followed by <!-- [lisa-branch-plan] key=<work-item-ref>::<branch> --> (marker-dedupe on <work-item-ref>::<branch>, so a re-claim adds no duplicate; where a vendor cannot host an HTML comment the visible line alone carries it). No silent guess — if the comment cannot be written, that is a stop, because proceeding would make the inference invisible.runtime_behavior_change = false (doc-only / config-only / type-only) and containers have no environment to derive from, so absence of a plan is correct — never demand or invent one. Read the flag off the item rather than assuming it: ## Target Backend Environment is rendered on every leaf and carries the declaration (derived-branch-plan) — an exact configured environment key means true, None — no runtime behavior change: <doc-only|config-only|type-only> or None — container: state rolls up from children means false. An absent section is underivable, not exempt: derive the flag from the change under implementation, write the declaration onto the item beside the [lisa-branch-plan] legacy comment, and proceed. Never read absence as false — that is the assumption that made S8/S11/S14/S19 undecidable on a live item.git fetch origin.origin/<base>.origin/<base> and resolve any merge conflicts BEFORE starting work. Both sync lanes are sanctioned in a bound worktree: rebase (git rebase origin/<base> — the commit hooks validate mid-rebase picks against the rebase head-name, so a work-item binding never wedges a rebase) and merge (git merge origin/<base> — push validation exempts commits already reachable from the remote default branch, while branch-authored commits stay strictly validated; the exemption needs the local origin/HEAD symref, so if a hand-added remote fails push validation on foreign commits, run git remote set-head origin -a first). Prefer rebase for a linear history; use merge when rewriting pushed history is undesirable. If a rebase goes wrong before anyone has resolved conflicts, git rebase --abort is a safe, allowed recovery; once conflict resolutions exist, the safety net blocks abort to protect them — finish resolving and git rebase --continue instead. If the conflicts cannot be resolved cleanly and safely, create a fix task for the agent team (with the conflicting file list and current merge state) and resolve it before implementation begins — never start work on stale or conflicted code.target_branch=<base> into lisa-git-submit-pr (Verify flow). git-submit-pr always uses a non-closing GitHub issue reference so merge cannot front-run the deploy, remote verification, health check, and terminal done label. For a bug fixed on a non-integration environment branch, the current flow is not done until the fix is merged and verified there, then forward cherry-picked down to the integration branch via a linked follow-up.http-apideploy-healthnot_established_reviewednot_establishedartifact.head_shaartifact_head_shacriteria[]v1 is still accepted during the compatibility window. A verdict that omits schema_version (or sets it to 1) carries only plan / status / criteria[] / updated_at and is judged exactly as before: terminal status plus no failing criterion plus freshness. Write v2 for new work; nothing in flight breaks.
Set status: "pass" only when every criterion is pass with real evidence (output from running the system, not a claim). The verdict must be judged by an agent that did NOT implement the change (the verification-specialist), never self-certified by the implementer. This is runtime scratch — it is gitignored and MUST NOT be committed (treat it like the secrets exclusion in the commit step).
On Claude, the enforce-verification-gate.sh Stop hook reads this file — both v1 and v2 — and will not let the flow stop until it shows a terminal, all-pass verdict. The v2 claim/evidence checks are advisory-first: a boundary or identity violation is reported to stderr but does not block until verification.gate.enforceBoundaries is set to true in .lisa.config.json (default false, promoted via the threshold ratchet). Treat an advisory warning as a defect to fix now, not a warning to ignore — it becomes blocking on the ratchet. The gate — carrying over the non-bypassable completion gate of the /goal primitive, but checked deterministically against real evidence rather than by a transcript-only evaluator model. If you must stop before completion, write the verdict with status: "blocked" and the reason — marking each criterion whose proof is blocked as status: "blocked" with the blocker diagnosis as its evidence, while unaffected criteria keep their real pass/fail result — that records the outcome and releases the gate instead of leaving it to spin. But a blocked verdict is a last resort, not a shortcut around fillable work: first resolve every gap you can resolve yourself. If the work item is thin — missing its Validation Journey, acceptance criteria, or other derivable detail — enrich it: derive the missing detail from the ticket context and the codebase, write it back, and proceed. Do not block on a gap you could have filled. Only a blocker that survives that attempt is real, and it is one of two kinds:
[<repo>] … ticket in the shared project, or the sibling tracker) — and (2) link the current work item to it as is blocked by. Only then write the verdict. This is the same discipline as the regression-spec blocker and the remote-verification-fail exits above, and it is what makes the block machine-recoverable: repair-intake re-dispatches a blocked item once its linked is blocked by dependency closes, but it cannot act on a prose-only comment. Recommending the ticket "as a human follow-up" without filing and linking it is not a permitted exit.tool-access-gate rule's break-out protocol: post the "Access Needed" comment naming the exact credential/role/env var to grant and the probe that must pass — never work around the gap by substituting weaker verification, mocking the inaccessible system, or narrowing scope. Record the blocked verdict, mark it human_needed (the marker repair-intake recognizes, so it won't churn re-dispatching it), and surface or reassign to a human; do not fabricate a build-ready ticket, because there is no build-ready work.Harnesses that do not fire a Stop hook enforce the same discipline by convention. The
enforce-verification-gate.sh Stop hook is a Claude-only surface — Codex, Cursor, Antigravity,
Copilot, and OpenCode carry the skills, agents, and (where the runtime has a rules surface) the
claim-evidence-mapping rule, but nothing on those runtimes can refuse to stop. That is a known
representation gap, documented here rather than dropped: on those harnesses this prose gate
is the gate, and the flow may not declare completion until it has written the same v2 verdict
and self-checked it against the same expectations the hook would have applied:
schema_version: 2 is written, with plan, status, and updated_at terminal and fresh.claim_id, a boundary from the closed set, and the
required_evidence_kinds that reach that boundary — and its evidence_refs resolve to evidence
whose kind is one of them. A unit test-run-log cited for a browser, http-api, or
deploy-health claim is the failure this check exists to catch.artifact.head_sha names what will ship, and every evidence entry's artifact_head_sha matches
it, with a sha256 digest and captured_at recorded as values, never placeholders.not_established list is present on every claim and not_established_reviewed is true —
an empty list is fine, an omitted flag is not.Record the self-check in the completion summary the way the hook would have reported it: name the
boundary each claim reached, or name the violation. Where the runtime lacks the rules surface (the
agy artifacts carry no rules tree), the obligation still travels in this skill — cite the
claim-evidence-mapping contract by slug and continue; never block on the absent surface.
Write the highest-practical-observation regression test encoding the verification. For user-visible bugs or user-visible Build changes with an available browser/device/e2e harness, this means a deterministic spec on the reported surface — and for frontend work, once the validation journey is verified, the scenario and its aligned automation for every platform the scenario requires, per codify-verification and the bdd-e2e-coverage rule. Prove the new spec actually executed and passed in PR CI by recording a named spec log/reporter line or equivalent execution record; green CI without that named evidence does not satisfy this step.
Record Implement usage on the originating work artifact via lisa-usage-accounting so the work item (or other implementation-owned artifact) gains a direct lisa-implement usage entry in the canonical ## Lisa Usage section. If the parent / child graph is already known, prefer record_and_rollup so ancestor totals refresh in the same write; otherwise still write the direct entry, and if runtime usage is unavailable, use source: unavailable with nullable token/cost fields instead of skipping the row.
Commit ALL outstanding changes in logical batches on the branch (minus sensitive data/information) — not just changes made by the agent team. This includes pre-existing uncommitted changes that were on the branch before the plan started. Do NOT filter commits to only "task-related" files. If it shows up in git status, it gets committed (unless it contains secrets).
Push the changes - if any pre-push hook blocks you, create a task for the agent team to fix the error/problem whether it was pre-existing or not
Open a pull request with auto-merge on via lisa-git-submit-pr, targeting the base branch resolved from the ticket's environment (target_branch=<base>, per the branch step above), and including the mandatory work-item ref so the PR can be linked natively to the source issue.
7a. Confirm two-way linkage before treating PR submission as complete: the PR body/title/branch must reference the work item, and the work item must have either a verified native PR link or the single managed [lisa-pr-link] comment. Establish that comment with node scripts/lisa-work-item.mjs backlink --ref <work_item_ref> --pr-url <url> rather than posting it by hand — it is idempotent, and it is the same file that enforces the check, so producer and consumer cannot drift.
PR Watch Loop: Drive the PR to merge via the drive-pr-to-merge skill — the single source of truth for clearing every blocker (auto-merge with direct-merge fallback, BEHIND re-sync, conflict resolution, failing-check fixes, human + bot review-comment handling with thread resolution, stale CHANGES_REQUESTED dismissal, and post-merge ancestry verification). git-submit-pr already invokes it; if you reach this step with a PR already open, invoke drive-pr-to-merge directly with the PR number. For a large review backlog you may fan the code-fix work out to the agent team, but drive-pr-to-merge owns the loop and the terminal conditions — do not re-implement them.
Merge the PR, then refresh the ticket-side backlink with lisa-tracker-sync <work_item_ref> pr-merged pr_url=<url> merge_sha=<sha> tracker_provider=<provider>.
Monitor the deploy action that triggers automatically from the successful merge
If deploy fails, create a task for the agent team to fix the failure, open a new PR and then go back to step 7
Remote verification: verification-specialist verifies in target environment (same checks as local verification, but on remote), and refreshes the verdict (step 2a) to reflect the remote result. Resolve credentials through the verification-lifecycle lookup order before declaring any missing. If they remain genuinely unavailable, do not complete on artifact-only evidence: post a tracker comment naming every credential source checked and what could not be verified as a result, transition the work item to the configured blocked state, and apply the configured needs-human / human-review label (creating it when the tracker supports label creation and it is missing). The comment is what makes the escalation auditable — a label alone records that something stopped, not what was tried or why. Evidence must explicitly distinguish verified empirically from artifact-only / verification deferred.
ops-specialist: post-deploy health check via lisa-monitor <env> --report-only, monitor for errors in first minutes. --report-only is REQUIRED: it keeps the post-deploy check a pure health/audit report so monitor's standalone ticket-filing never fires inside this flow.
If remote verification fails, create a task for the agent team to find out why it failed, fix it and return to step 5. Bound this loop: after a small number of full fix→deploy→reverify cycles without reaching a passing remote verdict (treat ~3 as the ceiling unless the work item states otherwise), stop retrying — file a build-ready fix ticket, write the verdict with status: "blocked" and the diagnosis, and move the work item to blocked rather than looping indefinitely. The completion gate releases on a blocked verdict, so the flow ends with a recorded outcome instead of a silent spin or a self-declared success.
Post evidence to the originating work item via lisa-tracker-evidence (vendor-neutral; dispatches to lisa-jira-evidence, lisa-github-evidence, or lisa-linear-evidence per .lisa.config.json tracker), including the list of codified tests added on this branch. If the work is UI-visible (any verification step ran in a browser, or the change touches a user-facing surface), author evidence/comment.md per the UI Evidence Checklist in lisa-tracker-evidence — numbered live-session steps, one screenshot per step captured through the interactive browser controller and uploaded to the GitHub pr-assets release as plain URLs, and an explicit invitation to be corrected. This step is what makes the proof visible to a non-technical operator standing at the gate; a terminal work item with no posted evidence is an incomplete flow, not a finished one.
After true terminal completion — required merge/deploy/verification passed, usage/evidence and two-way PR linkage are recorded, and the work item is terminal — run node scripts/lisa-work-item.mjs clear and verify the worktree has no current binding. Do not clear on an interruption or blocked outcome; preserving the binding is what keeps resumed work attributable.