axstack 0.20.30 → 0.21.0

package/skills/axstack-audit/SKILL.md

@@ -23,18 +23,25 @@ shared load edge explicit: Standing contracts require
 substantive phases, and lifecycle's audit hook loads this skill. This audit is
 the terminal exception: it writes its assigned record and does not audit itself.
 
-The dispatching driver reads [Orca runtime](../axstack/references/orca-runtime.md)
+The dispatching driver must read [T3 runtime](../axstack/references/t3-runtime.md)
 immediately before an actual auditor profile or session dispatch. Ordinary
 audit reading and record writing do not load it, and the auditor never
 dispatches.
 
-Core owns the `axstack-auditor` profile (claude/claude-sonnet-5-5 high in
-mixed/claude-only; codex/gpt-6-luna xhigh in codex-only) and its invocation.
+Core owns the `axstack-auditor` profile (claude/sonnet high in
+mixed/claude-only; codex/luna xhigh in codex-only) and its invocation.
 This skill governs what that auditor reads, measures, and proposes.
 Dispatch `axstack-auditor` and `axstack-auditor-sol` independently on the same
 bounded brief, without cross-reading. The driver reconciles findings per claim;
 never average verdicts. Record an intentionally absent Sol seat and continue
-with the base auditor alone; a configured but unavailable seat holds its work.
+with the base auditor alone. `axstack-auditor-sol` is optional: if its launch
+fails, fence it, record `absent (<reason>)`, name it once in the next read-back,
+and skip it without relay or substitution. In mixed fan-out retain a Codex and
+a Claude seat or hold the affected audit.
+If the base auditor is unlaunchable (preflight rejection, no Dispatch started),
+record `auditor: UNKNOWN (unlaunchable)` with the attempted route and error as
+the archive receipt; archive the run. A launched auditor Dispatch must settle
+normally. There is no substitution for the base auditor.
 The user-chosen improvement mode is a tested, independently reviewed PR that a
 human merges.
 
@@ -87,10 +94,20 @@ counts with denominators plus the evidence behind the count:
 - Applicable test-first evidence: normal behavior changes have real red-green
   proof; explicitly accepted structure-preserving work has the old revision
   green before edits and the same checks green on the new revision, plus
-  applicable equivalence evidence. Record noncompliance when the applicable
+  applicable equivalence evidence. Authorized F repairs use
+  [F proof](../axstack/references/test-value.md#f-proof).
+  Record noncompliance when the applicable
   evidence path is absent, or `UNKNOWN` with the reason when its records are
   unavailable.
 - Independent exact-revision review status and unresolved findings.
+  For authored PRs, measure the selected reviewer against this class pairing:
+
+  | Preset | Author class | Reviewer (class/effort) |
+  | --- | --- | --- |
+  | `mixed` | `codex/sol` | `axstack-reviewer-secondary` (`claude/opus` medium) |
+  | `mixed` | `claude/opus` | `axstack-reviewer-primary` (`codex/sol` high) |
+  | `codex-only` | `codex/sol` | `axstack-reviewer-secondary` (`codex/luna` xhigh) |
+  | `claude-only` | `claude/opus` | `axstack-reviewer-secondary` (`claude/sonnet` high) |
 - Simplification applicability determinations evidenced / total candidate diffs,
   and complete simplification receipts / total candidates, broken down as
   `applied`, `not-applicable`, or `UNKNOWN` with the reason. This measures

package/skills/axstack-audit/references/record.md

@@ -12,7 +12,7 @@ Steps: <completed / deviated + why + approval per deviation>
 Advisers: <Astra/Opus configured coverage / eligible uses + same-question receipts; Astra/Fable high-stakes AGREE coverage / eligible uses>
 Decisions: <escalation trigger + evidence pointers + outcome changed yes/no, or n/a>
 Debug: <rung reached + loop command + fix attempts + adviser and investigator receipts + isolation evidence | n/a>
-TDD: <applicable evidence path: normal real red-green | accepted structure-preserving old revision green before edits + same checks new revision green; absent proof: noncompliance | unavailable records: UNKNOWN with reason>
+TDD: <applicable evidence path: normal real red-green | accepted structure-preserving old revision green before edits + same checks new revision green | F-repair base-green/removal-inversion-red/rewording-green evidence; absent proof: noncompliance | unavailable records: UNKNOWN with reason>
 Review: <exact-rev independent review status + unresolved findings>
 Rework: <cycles + causes>
 Interventions: <avoidable user interventions, or unsupported by records>

package/skills/axstack-cleanup/SKILL.md

@@ -1,11 +1,11 @@
 ---
 name: axstack-cleanup
-description: When completed Orca subagent resources need bounded retirement, use axstack-cleanup after accepted settlement or for an explicitly scoped backlog.
+description: When completed T3 threads and worktrees need bounded retirement, use axstack-cleanup after accepted settlement or for an explicitly scoped backlog.
 ---
 
 # Cleanup
 
-Run cleanup inline in the driver after accepting a worker, Task, or Run
+Run cleanup inline in the driver after accepting a worker task or run
 completion, or for the exact backlog scope the user named. This skill never
 dispatches a cleanup worker and never retires its current driver session.
 
@@ -14,13 +14,15 @@ Before any runtime action, load and follow:
 - [Standing contracts](../axstack/references/contracts.md)
 - [Lifecycle and receipts](../axstack/references/lifecycle.md)
 - [Shared routing](../axstack/references/routing.md)
-- [Orca runtime boundary](../axstack/references/orca-runtime.md)
+- [T3 runtime](../axstack/references/t3-runtime.md)
 - [Workspace hygiene](../axstack/references/workspace-hygiene.md) for settlement, salvage, and driver-start sweep
 - [Private evidence archive](../axstack/references/evidence-archive.md) when
   evidence is the last removable-worktree blocker
 
-Use the runtime-discovered Orca guides for inventory, release, terminal close,
-and worktree removal. Do not embed or improvise a competing command protocol.
+Use project-scoped T3 thread inventory, `git worktree list --porcelain` and run
+records. Preflight requires `worktreeCleanup` off via `t3_project_read` where
+exposed, or a recorded setup limitation. Follow the runtime schema, never invent
+an alternate command protocol.
 
 ## Authority and scope
 
@@ -28,29 +30,26 @@ Inline cleanup may consider only resources owned by the accepted completion it
 is processing. Driver-start orphan sweeps follow the guarded cross-run sweep in
 [Workspace hygiene](../axstack/references/workspace-hygiene.md). Backlog
 cleanup requires an explicit bounded selector such as a
-Run, Task set, workspace set, repository, or named age window; age narrows an
+project, run, task set, checkout set, repository, or named age window; age narrows an
 inventory but never establishes eligibility. A partial inventory holds only the
 resource whose identity or state is incomplete while other independently proven
 resources may proceed.
 
-Never clean a manual chat, the current driver, genuine `user_takeover`, an
-active or unknown worker, an unsettled descendant, or a resource with ambiguous
-ownership.
-Preserve unknown files, unmerged author work, ambiguous publication, and
-evidence that has not been durably preserved. Do not
-force native removal, bulk-clean, override a hook failure, edit a runtime
-database, or add a scheduler, daemon, or state machine.
+Never clean a user-created thread, the current driver, a user-taken-over thread, an active or unknown worker, an unsettled descendant, or a resource with ambiguous ownership.
+Preserve unknown files, unmerged author work, ambiguous publication, and evidence that has not been durably preserved.
+Do not force removal, bulk-clean, edit a runtime database, or add a scheduler,
+daemon or state machine. Report other projects' resources; never touch them.
 
 ## Reconcile each candidate
 
-Take a fresh native inventory and bind every candidate to its exact Run, Task,
-Dispatch, terminal incarnation, workspace, repository, branch, and current
+Take a fresh native inventory and bind every candidate to its exact projectId, attempt key, taskId/childThreadId/childRunId
+or threadId/runId, checkout path, repository, branch, and current
 liveness. Read current Git and forge state rather than trusting age, names, or a
 prior receipt. Reconcile an existing cleanup claim before retrying so repeated
 invocations converge instead of duplicating mutations.
 
 Retire descendants before parents. A candidate is eligible only when all owned
-Dispatches are accepted as settled, no descendant remains unsettled, native
+tasks and runs are accepted as settled, no descendant remains unsettled, native
 liveness is positively known where required, and every preservation guard is
 cleared. Record one decision per resource; uncertainty about one candidate does
 not authorize or block unrelated candidates.
@@ -60,50 +59,47 @@ not authorize or block unrelated candidates.
 Classify exact evidence files individually. Save the compact cleanup decision
 and identities in the private run record or another configured durable private
 location outside disposable worktrees. When the evidence archive applies, use
-its helper with either the existing PR identity or the non-PR Run and Task
+its helper with either the existing PR identity or the non-PR run and task
 identity; never invent a PR number. Read back the durable record and, when an
 archive is used, its manifest, including hashes and exact identities, before
 removing any source copy or workspace.
 
-Archive success proves only preservation of the listed bytes. It does not prove
-settlement, exit, ownership, a clean worktree, publication, or removal safety.
+Archive success proves only preservation of the listed bytes; it does not prove settlement, liveness, ownership, a clean worktree, publication, or removal safety.
 
 For a completed non-author worktree with useful local content, follow the
 [Workspace hygiene](../axstack/references/workspace-hygiene.md) salvage path
 before removal; a verified bundle changes preservation classification, not
 native ownership or liveness. Keep an author worktree until its PR merges or closes.
 
-For a settled reviewer Dispatch, the reviewer worktree can be retired while its
-PR remains open, before merge, after its report and supporting evidence are
-archived privately and read back. Generated reviewer scratch is disposable
-after a compact durable receipt is written outside the review worktree and read
-back. Bind that receipt to the exact repository, Run,
-Task, Dispatch, reviewer workspace and terminal, exact head SHA and base SHA,
-review verdict, coverage and limitations, test and CI result pointers, and the
-user authorization and scope for cleanup. A raw reviewer report may be discarded
-after its verdict and limitations are compacted into that read-back receipt;
-use the private evidence archive for the report and supporting evidence. Verify
-each Dispatch archive and manifest readback independently. Preserve the separate
-author candidate with useful unmerged work; reviewer cleanup never removes it.
-
-Use only a named run-owned scratch prefix recorded with the Dispatch. Multiple
-Dispatches in the same reviewer worktree are recovery for missed earlier
+For a settled reviewer task, its checkout can be retired while the PR remains open, before merge, after its report and supporting evidence are archived privately and read back.
+Generated reviewer scratch is disposable after a compact durable receipt is
+written outside the review checkout and read back. Bind it to projectId,
+repository, attempt key, taskId/childThreadId/childRunId, checkout path, exact head
+SHA and base SHA, review verdict, coverage and limitations, test and CI result
+pointers, user authorization and cleanup scope. A raw reviewer report may be
+discarded after its verdict and limitations are compacted into that read-back
+receipt; use the private evidence archive for the report and supporting evidence.
+Evidence already outside the checkout needs no copy; read it back. Verify each
+task archive and manifest readback independently. Preserve the separate author
+candidate with useful unmerged work; reviewer cleanup never removes it.
+
+Use only a named run-owned scratch prefix recorded with the attempt. Multiple
+tasks in the same reviewer worktree are recovery for missed earlier
 cleanup; after independent archives and readback, use per-prefix removal. Two or
 more review passes in the same reviewer worktree may leave distinct prefixes;
-each named run-owned scratch prefix must belong to an accepted settled Dispatch
-in the Run. Require `git status --porcelain=v1 -z --untracked-files=all`
+each named run-owned scratch prefix must belong to an accepted settled task
+in the run. Require `git status --porcelain=v1 -z --untracked-files=all`
 to show all dirt as untracked files inside a run-owned scratch prefix. Prove
 every remaining untracked file individually belongs to one of those named
 run-owned scratch prefixes; any tracked, staged, unmerged or unpushed work,
 dirty source, or dirt outside them enters the salvage check above or holds.
-Check ignored files across the whole worktree too; unknown or ignored non-cache content holds. Validate that
+Check ignored files across the whole worktree too; classified ignored non-cache content enters the verified salvage path, while unknown content holds. Validate that
 the detached checkout still matches the reviewed head and check local commits
 against recorded remote refs; unknown divergence holds. Validate that
 the exact reviewed scratch prefix names the recorded directory inside the exact
 reviewer worktree, never a repository-root target or symlink. Inspect every
 descendant for symlinks, hard links, special files, unknown content, user-owned
-files, or ignored files; any mismatch holds. Active or `user_takeover` terminals
-also hold.
+files, or ignored files; any mismatch holds. Active or user-taken-over threads also hold.
 
 For each prefix, list the exact scoped path and all descendants with their
 types, confirm each belongs to generated reviewer scratch, and record that
@@ -121,64 +117,50 @@ absent, while remaining classified prefixes and outside content still match.
 Only unexpected changes hold. Then run
 `git clean -fd -- <same exact prefix>` with the identical concrete path, record
 that path and outcome, and repeat for the next proven prefix. Recheck clean Git status
-after the last deletion. Require final clean Git status before native
-exact-workspace removal without force. Use no unresolved variable as a destructive target.
-Never use `-x`, a
-glob, a repository-root target, extra force, or broad clean.
+after the last deletion. Require final clean Git status before exact `git worktree remove <path>` without force. Use no unresolved variable as a destructive target.
+Never use `-x`, a glob, a repository-root target, extra force, or broad clean.
 This scratch decision does not waive any other preservation or native removal
 guard.
 
 ## Apply distinct native operations
 
-Treat these operations as separate decisions and receipts:
-
-1. **Worker release.** After the matching completion is accepted, use the
-   runtime guide's settled-Dispatch release operation. Release is not
-   cancellation, terminal-close proof, worktree removal, or chat archival.
-   Once required output is captured, a dirty or useful unmerged worktree does
-   not block release of its accepted settled worker; retain the worktree under
-   its own classification and receipt.
-2. **Unused shell close.** Close only a positively identified unused setup
-   shell with the guide's exact-terminal operation. Re-list and require exit for
-   that same terminal incarnation. Never close a worker, manual, unexpected, or
-   current-driver terminal through this path.
-3. **Worktree removal.** Re-read Git status, branch/upstream divergence,
-   unpushed commits, forge merge/publication state, children, terminals, and
-   archived evidence immediately before the native exact-workspace removal.
-   When archived evidence is the last dirt for one Dispatch, use the evidence
-   archive helper's manifest-bound retirement operation and require an empty
-   pending set. If multiple Dispatch scratch prefixes remain in one checkout,
-   the helper may reject the other Dispatch's files as unclassified; after
-   independently verified per-Dispatch archives and full union classification,
-   use the exact per-prefix dry-run and clean above. Never unlink through prose
-   or a shell loop. Verify the effective Archive Script
-   provenance before native removal: an unknown or required-but-untrusted hook
-   holds. Record its native outcome as `unconfigured`, `passed`, `failed`, or
-   `unknown`; only `unconfigured` or trusted `passed` may advance. Account for
-   branch-deletion side effects explicitly, then re-list both native workspaces
-   and Git refs. Read back each remaining local review ref against its recorded
-   name and tip. Any branch with unknown origin, unique commits, an active
-   worktree, or a remote counterpart must be preserved. Only when provenance
-   proves a ref was created for the removed reviewer checkout and its tip is
-   already reachable from the preserved author candidate or confirmed remote PR
-   head, permit
-   exact-ref expected-old ref deletion and read back its absence. Never delete
-   the author branch or use generic force. A failed or unknown hook outcome or
-   uncertain response preserves the resource; never force or substitute shell
-   deletion.
-4. **Chat archival.** Attempt it only if the version-matched runtime guide
-   advertises a distinct supported operation and the scoped chat is eligible.
-   Otherwise record chat archival as unsupported. Process exit, worker release,
-   terminal close, and worktree removal do not prove UI history disappeared.
-
-Do not self-close or self-remove. Return control to the driver after recording
-receipts and holds; the owner decides when its own Run may archive.
+Follow [Workspace hygiene](../axstack/references/workspace-hygiene.md)'s exact
+cleanup order: settled descendants, evidence readback, salvage dirty or ignored
+non-cache content, thread archive, exact worktree removal without force, then
+local-only branch retirement. Treat each as a separate decision and receipt:
+
+1. **Thread archival.** Require accepted matching completion and terminal run
+   evidence for the exact task or run, with no pending descendants. Use
+   `t3_thread_organize` archive for that exact eligible thread. Retain an author
+   thread and worktree until PR merge or closure. Metadata archive does not prove
+   process exit, worktree removal or evidence preservation.
+2. **Worktree removal.** Immediately re-read Git status, ignored files,
+   branch/upstream divergence, unpushed commits, forge merge/publication state,
+   descendants, native ownership/liveness and preserved evidence. When archived
+   evidence is the last dirt for one task, use the evidence archive helper's
+   manifest-bound retirement operation and require an empty pending set. For
+   multiple task scratch prefixes, independently verify archives and full union
+   classification, then use the exact per-prefix dry-run and clean above. Never
+   unlink through prose or a shell loop. Run exact `git worktree remove <path>`
+   without force; re-list native threads and `git worktree list --porcelain` to
+   verify archival and worktree absence separately. No native Archive Script is
+   part of this Git path; unknown removal hooks or safety prompts hold.
+3. **Branch retirement.** Read back each remaining local ref's recorded name and
+   tip. Unknown origin, unique commits, active worktrees or a remote counterpart
+   preserve it. Only provenance proving a run-owned local-only ref for the removed
+   checkout and a tip reachable from a preserved candidate, verified salvage ref
+   or confirmed remote PR head permits exact `git branch -d <branch>`; no force.
+   Read back absence; refusal or uncertainty holds the ref.
+   Never delete the author branch or use generic force.
+
+Do not self-archive or self-remove. Return control to the driver after recording
+receipts and holds; the owner decides when its own run may archive.
 
 ## Receipt
 
 Report the scope and inventory denominator, then for each candidate record its
 exact identity, classification (`removed`, `retained`, `held`, or `unsupported`),
 the fresh evidence used, native receipt and readback, and any resume condition.
-Keep settlement, worker release, terminal exit, worktree/branch effects,
+Keep settlement, terminal run evidence, thread archival, worktree/branch effects,
 evidence preservation, and chat archival as separate fields. An idempotent retry
 reconciles these receipts and performs only still-pending eligible operations.

package/skills/axstack-debug/SKILL.md

@@ -129,7 +129,7 @@ two independent receipts or clear the hold. Reconcile contradictory receipts
 by evidence or one discriminating rerun, never by vote.
 
 Immediately before an actual adviser or investigator dispatch, load and follow
-[Orca runtime](../axstack/references/orca-runtime.md).
+[T3 runtime](../axstack/references/t3-runtime.md).
 
 ## Isolation
 

package/skills/axstack-explain/SKILL.md

@@ -16,7 +16,7 @@ exposes both skills, route the request here only.
 Before acting, load [Standing contracts](../axstack/references/contracts.md),
 then follow its required lifecycle and audit pointers. Explanation work has no
 scope baseline. Ordinary work in the current chat needs no launch preflight;
-load the [Orca runtime boundary](../axstack/references/orca-runtime.md) only
+load the [T3 runtime boundary](../axstack/references/t3-runtime.md) only
 immediately before an actual profile dispatch.
 
 ## 1. Bound the question and evidence

package/skills/axstack-explain/references/visual-qa.md

@@ -3,6 +3,8 @@
 Use this checklist for every HTML explanation and other visual artifacts where
 rendering matters.
 
+Browser and visual checks must run in the delegated `axstack-ui-verifier` in its own detached checkout; outputs go to its private evidence folder, never the driver worktree.
+
 1. Identify the final artifact bytes and theme. The explicit user theme wins;
    otherwise use the dark default.
 2. Delegate the rendered pass through [UI verification](../../axstack/references/ui-verification.md).

package/skills/axstack-implement/SKILL.md

@@ -5,15 +5,17 @@ description: When an approved task is ready to build or repair, use axstack-impl
 
 # Implement
 
+For authorized delivery runs, follow [Autopilot](../axstack/references/autopilot.md)
+for phase continuation and holds.
+
 On driver entry, sweep under [Workspace hygiene](../axstack/references/workspace-hygiene.md); dispatched workers do not sweep.
 For every dispatch brief, name its private `<run dir>/evidence/<dispatch>/` folder.
 Include [Safe deletion](../axstack/references/workspace-hygiene.md#safe-deletion) in author briefs.
-At author dispatch, apply [Readable sidebar](../axstack/references/workspace-hygiene.md#readable-sidebar).
 
 From an accepted scope identity, drive its task/PR map through author -> review
 -> repair until every required PR is merge-ready or held. Keep exact revisions,
-strict TDD evidence, ownership, and unverified boundaries explicit. The human
-merges; the same run later reconciles those merges and closes out.
+strict TDD evidence, ownership, and unverified boundaries explicit. The same
+run later reconciles merges and closes out.
 
 ## 1. Admit the work
 
@@ -50,18 +52,21 @@ valid recorded identity and revisions; otherwise report the hold and exact gap.
 
 For substantive delegated or resumable work, use the shared
 [run record](../axstack/references/run-record.md). Reconcile it on restart with
-the approved scope, Orca and forge state, exact revisions, tickets, and watches.
+the approved scope, T3 threads/runs and forge state, exact revisions, tickets, and watches.
 Reuse valid owners and authors; ambiguity holds a replacement writer.
 
-At execution start, bind work to the driver-owned Orca Run and one authoritative
-Task/Dispatch attempt. Preserve the actual IDs and process completion deliveries
-through the shared lifecycle. Do not activate a task-owned automation outside
+At execution start, bind work to the T3 driver thread and one authoritative
+dispatch attempt. Preserve the actual thread/task/run IDs and process completion
+receipts through the shared lifecycle. Do not activate a task-owned automation outside
 the accepted automations contract.
 
 Immediately before an actual role dispatch, read and follow the
-[Orca runtime boundary](../axstack/references/orca-runtime.md). Ordinary local
+[T3 runtime boundary](../axstack/references/t3-runtime.md). Ordinary local
 reading and writing does not require that launch reference.
 
+Launch authors through `t3_thread_launch` in their own SHA-pinned worktrees;
+use async `delegate_task` for non-writers under the runtime contract.
+
 One persistent owner remains accountable for each PR. Exactly one author writes
 it; accepted repairs return there while its evidence is usable, and the owner
 never edits concurrently. Only an explicit accepted transfer changes ownership;
@@ -82,11 +87,21 @@ Size alone never requires user approval.
 ## 3. Establish test-first evidence
 
 Use the normal behavior path unless the accepted improvement scope is
-explicitly marked **structure-preserving**. The author never chooses that tag.
+explicitly marked **structure-preserving**, or the accepted scope explicitly
+authorizes **F repairs**. The author never chooses those exceptions.
 
 Only when the scope identity carries a sketch, copy it into the author brief
 under the [design lens](../axstack/references/design-lens.md).
 
+Authors apply the gate in [Test value](../axstack/references/test-value.md)
+to every new or changed test. A test failing the gate is not added.
+
+### F-repair path
+
+For explicitly authorized F repairs, use [F proof](../axstack/references/test-value.md#f-proof):
+base-green, targeted removal/inversion-red with byte-for-byte restore, and
+equivalent-rewording-green. Never weaken or loosen an assertion.
+
 ### Normal behavior path
 
 When that sketch exists, make the first red check target its `Usage` line.
@@ -161,7 +176,7 @@ Candidate: <PR or branch> base <sha> revision <sha>
 Owner: <profile + session ID + worktree>
 Scope: <approved spec + capability | small-change intent | maintenance snapshot>
 Shape: <total> lines vs base <sha>; bulk: <buckets>; theme: <one line>
-TDD: <normal red/green | structure-preserving old-green/same-check-new-green evidence>
+TDD: <normal red/green | structure-preserving old-green/same-check-new-green evidence | F-repair base-green/removal-inversion-red/rewording-green evidence>
 Simplification: <applied | not-applicable> — evidence: <diff locations and checks>; retained complexity: <necessary complexity and why>
 Acceptance: <checks + observed results>
 Dependencies: <parent revisions or none>
@@ -189,7 +204,7 @@ For each PR:
 2. Publish through candidate-publication and read back the exact SHA.
 3. Dispatch and consume the authored-mode `axstack-review` selected from actual
    author provenance. State the author's actual provider and model from the
-   Orca launch receipt in the review dispatch brief; a `Claude-Session`
+   T3 launch receipt in the review dispatch brief; a `Claude-Session`
    trailer is attribution, not provenance. After each settled review, run
    `axstack-cleanup` for its exact reviewer resources before PR merge,
    preserving and reading back the
@@ -202,7 +217,11 @@ For each PR:
    use the forge-native blocking check wait, bounded and used once per revision, then
    re-evaluate. Timeout, error, or missing wait capability records `held` at
    that revision with reason and resume condition; it never triggers author
-   repair. Keep CI-pending state in Orca.
+   repair. Keep CI-pending state in the T3 driver thread.
+   `APPROVE` with only non-blocking findings plus diligence `PASS` can be
+   `merge-ready` when the full predicate passes. The driver records the
+   non-blocking notes and does not elect a repair; only the user can ask for
+   polish.
    `REQUEST_CHANGES`, a failed required check, or post-readiness feedback returns
    findings to the same author for a new revision, increments `repairs`, and
    returns to step 1. `INCOMPLETE`, a provenance gap, unavailable model, serious
@@ -214,24 +233,55 @@ For each PR:
    A round with reviewer `REQUEST_CHANGES` and/or diligence `FINDINGS` increments
    `repairs` once and counts once toward the third-round hold.
 
-One run-level completion wait covers every unsettled Dispatch; the bounded
-forge check wait is the only other wait. End a turn only when every required PR
-is `merge-ready` or `held`. Under the recorded Notification policy,
-`axstack-relay` sends only a serious risk immediately or a genuine blocked
-operation that needs user intervention after bounded safe recovery. Questions,
-spec approvals, progress, CI pending, merge-ready, merged, and completion stay
-in Orca.
-
-Merge-ready is the human boundary: the user merges, bottom-up for a stack. The
-driver resumes on the user's next message or `/axstack-watch`; no Orca merge
-wake exists today. Re-read forge state: record forge-merged PRs as `merged`;
+The T3 run watch reconciles every unsettled dispatch attempt; the bounded
+forge check wait is the only other implementation wait. The eligible run arms
+one maintain-mode chat-run watch at its first published PR; that watch owns its
+bound 10-minute T3 schedule wake.
+A turn with unsettled launched threads must end only under the bound-watch rule in the T3 runtime contract.
+With settled threads, end a turn only when every required PR is `merge-ready` or `held`. Under the recorded Notification policy,
+`axstack-relay` sends only a serious risk immediately, a genuine blocked
+operation needing user intervention after bounded safe recovery, or the
+decision holds and capped milestones named by the recorded Notification policy.
+Routine questions stay in the T3 driver thread. Progress, CI pending, and completion always stay
+in the T3 driver thread.
+Only the bounded categories—user-decision holds (including spec approval),
+serious-risk holds, and at most two merge-ready/merged milestones per run—may
+be relayed under the recorded Notification policy.
+
+Merge-ready opens the merge boundary. Only the chat-run driver holding the
+approved ticket map is the merge actor for own PRs inside the approved ticket
+map (run-created or explicitly adopted into it) when they target an
+`integration` base. Apply `axstack-watch` §5's merge card and
+full predicate; an approval alone never grants merge authority. A peer PR or
+`deploying` base waits for the user to merge, in either approval mode. A
+manager, worker, reviewer, automation, or standalone watch must never merge.
+Re-read every predicate term under watch §5 before merging. Confirm merge
+commits are allowed, `delete_branch_on_merge` is false, and the base has no
+merge queue; otherwise hold for the user. For a singleton, use
+`gh pr merge <n> --merge --match-head-commit <sha>` and add `--delete-branch`
+only when no open PR uses its branch as base. For a native `gh stack`, merge
+only the whole stack through `merge-async`: pass the top reviewed head as `sha`,
+`merge_method: merge`, and `merge_action: direct_merge`, then poll its UUID.
+Reconcile HTTP 200 or 409 against the intended request, verify every merged
+member's actual head equals its reviewed head and is an ancestor of the merge
+result, and hold unknown or failed outcomes; watch §5 owns the detailed rule.
+Never retarget, delete a stack branch, or rebase a reviewed stack member for
+merging. A failing push run on the target base after an automated merge holds
+further automated merges run-wide. The driver resumes on the user's next
+message, `/axstack-watch`,
+or the armed chat-run watch wake; verify merge state through the forge on wake.
+Re-read forge state: record forge-merged PRs as `merged`;
 changed heads or feedback return to step 1; retain useful author work before Close-out.
-Run Close-out once only after every required PR is forge-merged and acceptance
-passes. It settles workers, records counts, makes the auditor decision and
+Run Close-out once only after every required PR is forge-merged, the run's
+Release step is settled or not applicable, and acceptance passes. It settles
+workers, records counts, makes the auditor decision and
 settlement, releases worktrees, closes eligible tickets, and archives the run.
+Without an Autopilot or Release record, the Release step is not applicable for
+both Close-out and run completion.
 
 The loop requires the `mixed` two-provider authored-review row. `codex-only` or
 `claude-only` holds at step (3) for an explicit user routing choice, with no
 substitution or same-provider review. Derived PR states are `authoring |
 published | in-review | repairing(n) | merge-ready | merged | held`. The run is
-done only when every required PR is forge-merged and Close-out has receipts.
+done only when every required PR is forge-merged, the run's Release step is
+settled or not applicable, and Close-out has receipts.

package/skills/axstack-improve/SKILL.md

@@ -15,15 +15,17 @@ improvement is a valid result.
 
 Before acting, load [Standing contracts](../axstack/references/contracts.md),
 then follow its lifecycle and audit pointers. Immediately before any useful
-role dispatch, load the [Orca runtime
-sequence](../axstack/references/orca-runtime.md). Use existing
+role dispatch, load the [T3 runtime
+sequence](../axstack/references/t3-runtime.md). Use existing
 `axstack-explore-codebase` or `axstack-research-code` roles only when their
 specialization materially helps; create no new profile.
 When dispatching `axstack-research-code`, dispatch `axstack-research-code-sol`
 independently on the same bounded brief without cross-reading. The driver
 reconciles findings per claim and never averages them. Record an intentionally
-absent Sol pair and proceed with the base seat alone; a configured but
-unavailable pair holds its work.
+absent Sol pair and proceed with the base seat alone. A configured optional
+Sol pair that fails to launch is fenced, recorded `absent (<reason>)`, and
+named once in the next read-back, then skipped without relay or substitution.
+In mixed fan-out retain a Codex and a Claude seat or hold the affected work.
 
 ## 1. Bound discovery
 
@@ -42,6 +44,24 @@ unavailable pair holds its work.
 4. Apply KISS, YAGNI, and SOLID as judgment, not a mandatory scorecard. Use no
    invented metrics and no arbitrary complexity targets.
 
+### Test-audit lens
+
+For a test audit, load [Test value](../axstack/references/test-value.md) and
+bound scope to one owner boundary. Mark every test declaration in scope
+R/F/C/D as a completeness floor. It is not a deletion quota; zero candidates is valid.
+Report reviewed and eligible counts. Each C/D carries the reference's evidence:
+exact test name and location, detectable failure, named keeper or
+vacuity/obsolescence proof, and validation command. Require its deletion proof
+before routing candidates. Report test-only production seams; do not change
+them. Report F findings. Only explicitly authorized F repairs route to
+`axstack-implement` through its normal independent review: the repaired check
+passes on the base, goes red when its instruction or code is removed or
+inverted by a targeted disposable mutation restored byte for byte, and
+survives equivalent rewording for semantic prose. Never weaken or loosen an
+assertion. Only explicitly authorized, proven C/D batches route to
+`axstack-implement` as explicitly structure-preserving work: same-check green
+before/after, through its normal independent review. Discovery remains report-only.
+
 ## 2. Return decision evidence
 
 Produce a small ranked candidate set. For each candidate include: