axstack 0.20.29 → 0.20.30

package/README.md

@@ -100,15 +100,17 @@ upgrades, conflicts, and uninstalling.
 - Agents keep accepted decisions and evidence for resume. Missing authority,
   unavailable models, and serious risks surface as holds. The human merges by default.
 
-Choose one explicit preset (28 roles each): [mixed](profiles/presets/mixed.json)
+Choose one explicit preset (32 roles each): [mixed](profiles/presets/mixed.json)
 (recommended), [codex-only](profiles/presets/codex-only.json), or
 [claude-only](profiles/presets/claude-only.json). Mixed supports cross-provider
 implementation review; single-provider presets have workflow limits and are
 not automatic fallbacks when a model is unavailable. See
 [workflow and routing details](docs/workflows.md).
 
-In `mixed` and `claude-only`, requirements research, web research, and the
-optional monitor use Claude Sonnet 5.5 high.
+In `mixed` and `claude-only`, auditing, requirements/code/web research,
+execution exploration, and the optional monitor use Claude Sonnet 5.5 high.
+Auditing, code research, and execution exploration have independent Sol high
+pair seats in `mixed` and `codex-only`; `claude-only` records them as absent.
 
 ## Optional PR automation
 

package/docs/installation.md

@@ -71,7 +71,7 @@ profiles/presets/codex-only.json
 profiles/presets/claude-only.json
 ```
 
-Each has exactly `{ "version": 1, "roles": [...] }` with the same 28 stable
+Each has exactly `{ "version": 1, "roles": [...] }` with the same 32 stable
 role IDs. Installation writes `<skills-dir>/axstack/roles.json` as
 `{ "version": 1, "preset": "<selected preset>", "roles": [...] }` and records
 its ownership hash like every other installed skill asset. There is no second
@@ -172,13 +172,18 @@ to rewrite them.
 ## Role behavior after installation
 
 The runtime reads `roles.json` from the installed shared root `skills/axstack/`.
-A new run records the selected preset plus all 28 role rows. An active run keeps
+A new run records the selected preset plus all 32 role rows. An active run keeps
 that snapshot after a later preset install unless the user explicitly changes
 it and accepts the resulting evidence invalidation.
 
-The `mixed` and `claude-only` presets assign `axstack-research-requirements`,
-`axstack-research-web`, and `axstack-monitor` to Claude Sonnet 5.5 high.
+The `mixed` and `claude-only` presets assign `axstack-auditor`,
+`axstack-research-requirements`, `axstack-research-code`, `axstack-research-web`,
+`axstack-explore-execution`, and `axstack-monitor` to Claude Sonnet 5.5 high.
 The `codex-only` assignments for these roles are unchanged.
+The three `-sol` pair seats for auditor, research-code, and explore-execution
+use Sol high in `mixed` and `codex-only`; `claude-only` records intentional
+absences. The paired seats run independently on one brief and the driver
+reconciles their findings.
 
 The mixed checker and `axstack-research-web-google` have provider
 `antigravity`; mixed `axstack-research-x` has provider `grok`. All three use

package/docs/workflows.md

@@ -48,20 +48,26 @@ only affected work.
 
 Installation requires one explicit canonical preset. The three bundle files
 under `profiles/presets/` each contain exactly
-`{ "version": 1, "roles": [...] }` and the same 28 stable IDs.
+`{ "version": 1, "roles": [...] }` and the same 32 stable IDs.
 
 The current chat drives on whatever model runs it; no preset carries a driver
 role.
 
 | Preset | Author | Ordered peer reviewers | Astra / Opus advisers | Auditor |
 | --- | --- | --- | --- | --- |
-| `mixed` | Sol high | Sol high; Opus medium | Astra high / Opus xhigh | Luna xhigh |
-| `codex-only` | Sol high | Sol high; Luna xhigh | Astra high / unavailable | Luna xhigh |
-| `claude-only` | Opus medium | Opus medium; Sonnet high | unavailable / Opus xhigh | Sonnet high |
-
-In `mixed` and `claude-only`, `axstack-research-requirements`,
-`axstack-research-web`, and `axstack-monitor` use Claude Sonnet 5.5 high.
-`codex-only` keeps its Codex assignments for those roles.
+| `mixed` | Sol high | Sol high; Opus medium | Astra high / Opus xhigh | Sonnet high + Sol high |
+| `codex-only` | Sol high | Sol high; Luna xhigh | Astra high / unavailable | Luna xhigh + Sol high |
+| `claude-only` | Opus medium | Opus medium; Sonnet high | unavailable / Opus xhigh | Sonnet high (Sol absent) |
+
+In `mixed` and `claude-only`, `axstack-auditor`, `axstack-research-requirements`,
+`axstack-research-code`, `axstack-research-web`, `axstack-explore-execution`,
+and `axstack-monitor` use Claude Sonnet 5.5 high. `codex-only` keeps its Codex
+assignments for those roles. Mixed web-google and X retain their source-specific
+Antigravity and Grok routes.
+The new `-sol` auditor, research-code, and explore-execution seats use Sol high
+in `mixed` and `codex-only`; `claude-only` records each as intentionally absent.
+Dispatch the base and Sol seats independently on the same brief, then reconcile
+their findings per claim without averaging.
 
 The installed `<skills-dir>/axstack/roles.json` adds the selected preset name:
 `{ "version": 1, "preset": "<name>", "roles": [...] }`. The runtime reads it

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "axstack",
-  "version": "0.20.29",
+  "version": "0.20.30",
   "description": "Axstack installer and setup CLI: installs owned chat skills and role data, configures supported harness settings, and checks Orca capabilities.",
   "keywords": [
     "claude-code",

package/profiles/presets/claude-only.json

@@ -55,6 +55,15 @@
       "thinkingOptionId": "high",
       "notes": "Secondary reviewer in the ordered claude-only peer pair: Opus medium followed by Sonnet high. Eligible authored reviewer for an Opus-authored candidate. Never author or owner; review exact SHA and base across all six angles and acceptance. Peer first pass stays isolated."
     },
+    {
+      "id": "axstack-diligence",
+      "name": "Axstack diligence checker",
+      "provider": "claude",
+      "model": "claude-sonnet-5-5",
+      "modeId": "bypassPermissions",
+      "thinkingOptionId": "high",
+      "notes": "Read-only diligence for exact-revision PRs and bounded research, spec, ticket, receipt, and release claims. Returns PASS or FINDINGS with evidence; never authors or edits."
+    },
     {
       "id": "axstack-checker",
       "name": "Axstack tracker checker",
@@ -77,10 +86,19 @@
       "id": "axstack-research-code",
       "name": "Axstack research code",
       "provider": "claude",
-      "model": "claude-opus-5-5",
+      "model": "claude-sonnet-5-5",
       "modeId": "bypassPermissions",
-      "thinkingOptionId": "medium",
-      "notes": "Research code investigator: verifies behavior against inspected code and executable evidence. Validate configured availability at launch; hold affected work without fallback."
+      "thinkingOptionId": "high",
+      "notes": "Sonnet high research code investigator: verifies behavior against inspected code and executable evidence. Validate configured availability at launch; hold affected work without fallback."
+    },
+    {
+      "id": "axstack-research-code-sol",
+      "name": "Axstack research code Sol (unavailable)",
+      "provider": "claude",
+      "model": null,
+      "modeId": "bypassPermissions",
+      "thinkingOptionId": "high",
+      "notes": "Intentional single-provider absence: Sol pair seat axstack-research-code-sol is unavailable in claude-only. The explicit null records the absent pair without substitution; the Sonnet seat proceeds alone."
     },
     {
       "id": "axstack-research-web",
@@ -152,7 +170,16 @@
       "model": "claude-sonnet-5-5",
       "modeId": "bypassPermissions",
       "thinkingOptionId": "high",
-      "notes": "Execution explorer: runs bounded checks of runtime behavior where authorized. Validate configured availability at launch; hold affected work without fallback."
+      "notes": "Sonnet high execution explorer: runs bounded checks of runtime behavior where authorized. Validate configured availability at launch; hold affected work without fallback."
+    },
+    {
+      "id": "axstack-explore-execution-sol",
+      "name": "Axstack execution explorer Sol (unavailable)",
+      "provider": "claude",
+      "model": null,
+      "modeId": "bypassPermissions",
+      "thinkingOptionId": "high",
+      "notes": "Intentional single-provider absence: Sol pair seat axstack-explore-execution-sol is unavailable in claude-only. The explicit null records the absent pair without substitution; the Sonnet seat proceeds alone."
     },
     {
       "id": "axstack-monitor",
@@ -170,7 +197,16 @@
       "model": "claude-sonnet-5-5",
       "modeId": "bypassPermissions",
       "thinkingOptionId": "high",
-      "notes": "Read-only end-of-run and checkpoint auditor. Collects scope and outcome evidence with counts and denominators and reports PASS, FAIL, or UNKNOWN without inventing numbers. Never edits, merges, activates, or audits itself."
+      "notes": "Sonnet high read-only end-of-run and checkpoint auditor. Collects scope and outcome evidence with counts and denominators and reports PASS, FAIL, or UNKNOWN without inventing numbers. Never edits, merges, activates, or audits itself."
+    },
+    {
+      "id": "axstack-auditor-sol",
+      "name": "Axstack auditor Sol (unavailable)",
+      "provider": "claude",
+      "model": null,
+      "modeId": "bypassPermissions",
+      "thinkingOptionId": "high",
+      "notes": "Intentional single-provider absence: Sol pair seat axstack-auditor-sol is unavailable in claude-only. The explicit null records the absent pair without substitution; the Sonnet seat proceeds alone."
     },
     {
       "id": "axstack-debug-investigator-1",

package/profiles/presets/codex-only.json

@@ -55,6 +55,15 @@
       "thinkingOptionId": "xhigh",
       "notes": "Secondary reviewer in the ordered codex-only peer pair: Sol high followed by Luna xhigh. Eligible authored reviewer for a Sol-authored candidate. Never author or owner; review exact SHA and base across all six angles and acceptance. Peer first pass stays isolated."
     },
+    {
+      "id": "axstack-diligence",
+      "name": "Axstack diligence checker",
+      "provider": "codex",
+      "model": "gpt-6-sol",
+      "modeId": "full-access",
+      "thinkingOptionId": "high",
+      "notes": "Read-only diligence for exact-revision PRs and bounded research, spec, ticket, receipt, and release claims. Returns PASS or FINDINGS with evidence; never authors or edits."
+    },
     {
       "id": "axstack-checker",
       "name": "Axstack tracker checker",
@@ -82,6 +91,15 @@
       "thinkingOptionId": "high",
       "notes": "Research code investigator: verifies behavior against inspected code and executable evidence. Validate configured availability at launch; hold affected work without fallback."
     },
+    {
+      "id": "axstack-research-code-sol",
+      "name": "Axstack research code Sol",
+      "provider": "codex",
+      "model": "gpt-6-sol",
+      "modeId": "full-access",
+      "thinkingOptionId": "high",
+      "notes": "Independent Sol high research code investigator: verifies code behavior and executable evidence on the same bounded brief without cross-reading. Reports findings for driver reconciliation."
+    },
     {
       "id": "axstack-research-web",
       "name": "Axstack research web",
@@ -154,6 +172,15 @@
       "thinkingOptionId": "high",
       "notes": "Execution explorer: runs bounded checks of runtime behavior where authorized. Validate configured availability at launch; hold affected work without fallback."
     },
+    {
+      "id": "axstack-explore-execution-sol",
+      "name": "Axstack execution explorer Sol",
+      "provider": "codex",
+      "model": "gpt-6-sol",
+      "modeId": "full-access",
+      "thinkingOptionId": "high",
+      "notes": "Independent Sol high execution explorer: runs authorized bounded runtime checks on the same brief without cross-reading. Reports findings for driver reconciliation."
+    },
     {
       "id": "axstack-monitor",
       "name": "Axstack monitor",
@@ -172,6 +199,15 @@
       "thinkingOptionId": "xhigh",
       "notes": "Read-only end-of-run and checkpoint auditor. Collects scope and outcome evidence with counts and denominators and reports PASS, FAIL, or UNKNOWN without inventing numbers. Never edits, merges, activates, or audits itself."
     },
+    {
+      "id": "axstack-auditor-sol",
+      "name": "Axstack auditor Sol",
+      "provider": "codex",
+      "model": "gpt-6-sol",
+      "modeId": "full-access",
+      "thinkingOptionId": "high",
+      "notes": "Independent Sol high read-only auditor: checks the same bounded run evidence without cross-reading. Reports findings for driver reconciliation; never edits, merges, or activates."
+    },
     {
       "id": "axstack-debug-investigator-1",
       "name": "Axstack debug investigator 1",

package/profiles/presets/mixed.json

@@ -55,6 +55,15 @@
       "thinkingOptionId": "medium",
       "notes": "Secondary reviewer in the ordered mixed peer pair: Sol high followed by Opus medium. Eligible authored reviewer for a Sol-authored candidate. Never author or owner; review exact SHA and base across all six angles and acceptance. Peer first pass stays isolated."
     },
+    {
+      "id": "axstack-diligence",
+      "name": "Axstack diligence checker",
+      "provider": "claude",
+      "model": "claude-sonnet-5-5",
+      "modeId": "bypassPermissions",
+      "thinkingOptionId": "high",
+      "notes": "Read-only diligence for exact-revision PRs and bounded research, spec, ticket, receipt, and release claims. Returns PASS or FINDINGS with evidence; never authors or edits."
+    },
     {
       "id": "axstack-checker",
       "name": "Axstack tracker checker",
@@ -76,11 +85,20 @@
     {
       "id": "axstack-research-code",
       "name": "Axstack research code",
+      "provider": "claude",
+      "model": "claude-sonnet-5-5",
+      "modeId": "bypassPermissions",
+      "thinkingOptionId": "high",
+      "notes": "Sonnet high research code investigator: verifies behavior against inspected code and executable evidence. Validate configured availability at launch; hold affected work without fallback."
+    },
+    {
+      "id": "axstack-research-code-sol",
+      "name": "Axstack research code Sol",
       "provider": "codex",
       "model": "gpt-6-sol",
       "modeId": "full-access",
       "thinkingOptionId": "high",
-      "notes": "Research code investigator: verifies behavior against inspected code and executable evidence. Validate configured availability at launch; hold affected work without fallback."
+      "notes": "Independent Sol high research code investigator: verifies code behavior and executable evidence on the same bounded brief without cross-reading. Reports findings for driver reconciliation."
     },
     {
       "id": "axstack-research-web",
@@ -148,11 +166,20 @@
     {
       "id": "axstack-explore-execution",
       "name": "Axstack execution explorer",
+      "provider": "claude",
+      "model": "claude-sonnet-5-5",
+      "modeId": "bypassPermissions",
+      "thinkingOptionId": "high",
+      "notes": "Sonnet high execution explorer: runs bounded checks of runtime behavior where authorized. Validate configured availability at launch; hold affected work without fallback."
+    },
+    {
+      "id": "axstack-explore-execution-sol",
+      "name": "Axstack execution explorer Sol",
       "provider": "codex",
       "model": "gpt-6-sol",
       "modeId": "full-access",
       "thinkingOptionId": "high",
-      "notes": "Execution explorer: runs bounded checks of runtime behavior where authorized. Validate configured availability at launch; hold affected work without fallback."
+      "notes": "Independent Sol high execution explorer: runs authorized bounded runtime checks on the same brief without cross-reading. Reports findings for driver reconciliation."
     },
     {
       "id": "axstack-monitor",
@@ -166,11 +193,20 @@
     {
       "id": "axstack-auditor",
       "name": "Axstack auditor",
+      "provider": "claude",
+      "model": "claude-sonnet-5-5",
+      "modeId": "bypassPermissions",
+      "thinkingOptionId": "high",
+      "notes": "Sonnet high read-only end-of-run and checkpoint auditor. Collects scope and outcome evidence with counts and denominators and reports PASS, FAIL, or UNKNOWN without inventing numbers. Never edits, merges, activates, or audits itself."
+    },
+    {
+      "id": "axstack-auditor-sol",
+      "name": "Axstack auditor Sol",
       "provider": "codex",
-      "model": "gpt-6-luna",
+      "model": "gpt-6-sol",
       "modeId": "full-access",
-      "thinkingOptionId": "xhigh",
-      "notes": "Read-only end-of-run and checkpoint auditor. Collects scope and outcome evidence with counts and denominators and reports PASS, FAIL, or UNKNOWN without inventing numbers. Never edits, merges, activates, or audits itself."
+      "thinkingOptionId": "high",
+      "notes": "Independent Sol high read-only auditor: checks the same bounded run evidence without cross-reading. Reports findings for driver reconciliation; never edits, merges, or activates."
     },
     {
       "id": "axstack-debug-investigator-1",

package/skills/axstack/references/candidate-publication.md

@@ -6,6 +6,11 @@ Within recorded PR-scoped publication authority, the owner reconciles that
 receipt against the actual local candidate SHA and base. The owner does not edit
 the author's candidate; required code changes return to the author.
 
+Before publication, dispatch `axstack-diligence` under
+[Diligence](diligence.md) to check the author receipt against its evidence
+folder: red/green logs exist, and counts, SHAs, and paths match. Resolve
+`FINDINGS` with the same author before publishing.
+
 Publish the existing commits through `gh stack`. Prefer a fast-forward push.
 Before a history rewrite, confirm the expected-old remote SHA and use lease
 protection; a mismatch holds publication. If the push outcome is ambiguous,
@@ -40,3 +45,7 @@ as a `git clone` into a temp directory followed by `orca repo add`; each
 the directory is gone. Release preparation uses a `release/<version>` worktree
 of the same registered repo the same way. Release the checkout with
 `ORCA worktree rm` after its receipt is recorded.
+
+For a release PR, dispatch `axstack-diligence` under
+[Diligence](diligence.md) to check the release PR body
+against the merged PRs before publication.

package/skills/axstack/references/diligence.md

@@ -0,0 +1,23 @@
+# Diligence
+
+Dispatch `axstack-diligence` through Orca with a pinned brief and evidence paths.
+It is read-only, never authors or edits, and returns `PASS` or `FINDINGS`
+with locations, observed evidence, and limits. A stale or missing receipt is
+not a pass. Keep its first pass independent of other reviewers and workers.
+
+For a PR, compare every changed line with the accepted intent and exclusions:
+is it intended and in scope? Check that no contract, rule, or obligation was
+silently weakened or dropped by rewording. Compare the PR body, commit messages,
+and author receipt with the diff: numbers, IDs, versions, test counts, sizes,
+paths, and stale references. Bind the result to the exact head and base.
+
+For research, reopen cited sources for answer-changing claims before the
+driver folds verified claims. For a draft spec, compare it with Align decisions
+before user approval: flag anything dropped, added, or softened. For tickets,
+map every spec acceptance item to a capability's acceptance. Before candidate
+publication, compare the author receipt with its evidence folder: red/green
+logs exist, and counts, SHAs, and paths match. For release preparation, compare
+the release PR body with the merged PRs.
+
+`FINDINGS` identifies a mismatch for the driver to resolve at the owning phase;
+it does not edit the artifact or create another review round by itself.

package/skills/axstack/references/lifecycle.md

@@ -107,8 +107,8 @@ Tracking grants no merge, release, model-substitution, or scope authority.
 
 The default 24-hour deadline covers standalone task-owned timers. Stop them at
 deadline and preserve remaining work; the review automation has no task-owned
-deadline. A PR is merge-ready only with the applicable review receipt(s) at
-its exact head; green CI or tests alone never make it merge-ready. Merge-ready
+deadline. Merge-ready requires applicable review receipt(s) and current diligence
+`PASS` at the exact head; CI/tests alone are insufficient. Merge-ready
 differs from merged; human merges.
 
 ## Review automation health

package/skills/axstack/references/orca-runtime.md

@@ -38,7 +38,7 @@ Read `roles.json` from the installed shared root `skills/axstack/`. The installe
 shape is `{ "version": 1, "preset": "<name>", "roles": [...] }`. Bundled
 profiles are setup inputs shaped as
 `{ "version": 1, "roles": [...] }`. A new run records the selected preset and
-all 28 role rows once. An active run keeps the exact snapshot until the user
+all 32 role rows once. An active run keeps the exact snapshot until the user
 explicitly changes it.
 
 Select the requested role by stable ID. A missing or null model holds only that role;

package/skills/axstack/references/role-roster.md

@@ -0,0 +1,37 @@
+# Role roster
+
+- Chat drives (no role ID); `axstack-owner` owns one PR and
+  `axstack-author` its sole writer.
+- `axstack-reviewer-primary` and `axstack-reviewer-secondary` are the ordered
+  peer pair. Peer review uses both; authored review uses this table:
+
+  | Preset | Author | Reviewer (model/effort) |
+  | --- | --- | --- |
+  | `mixed` | Codex / Sol (`codex/gpt-6-sol`) | `axstack-reviewer-secondary` (`claude/claude-opus-5-5` medium) |
+  | `mixed` | Claude / Opus (`claude/claude-opus-5-5`) | `axstack-reviewer-primary` (`codex/gpt-6-sol` high) |
+  | `codex-only` | Codex / Sol (`codex/gpt-6-sol`) | `axstack-reviewer-secondary` (`codex/gpt-6-luna` xhigh) |
+  | `claude-only` | Claude / Opus (`claude/claude-opus-5-5`) | `axstack-reviewer-secondary` (`claude/claude-sonnet-5-5` high) |
+- `axstack-advisor-astra`/`axstack-advisor-opus` advise and author candidates;
+  `axstack-arena-candidate-grok`/
+  `axstack-arena-candidate-antigravity` add families.
+  `axstack-arena-judge-opus` judges round 1; `axstack-escalation-fable`/`axstack-arena-judge-astra` judge round 2.
+  High-stakes/trigger: fresh [contract](contracts.md) session.
+  `axstack-auditor` audits; `axstack-checker` reports discrepancies.
+- `axstack-explainer`/`axstack-explainer-review`: explain/review.
+- `axstack-diligence`: read-only [diligence checks](diligence.md) for every PR
+  review round and bounded research, spec, ticket, receipt, and release claims.
+- `axstack-ui-verifier`: [UI checks](ui-verification.md).
+- `axstack-auditor`/`axstack-research-requirements`/
+  `axstack-research-code`/`axstack-research-web`/
+  `axstack-explore-execution`/`axstack-monitor`:
+  `claude-sonnet-5-5` high in mixed/claude-only.
+  `axstack-monitor`: standalone watch never sends; chat-run watch: bounded
+  internal reports to its Run and original driver.
+- Sol pairs `axstack-auditor-sol`/`axstack-research-code-sol`/
+  `axstack-explore-execution-sol`: `codex/gpt-6-sol` high in
+  mixed/codex-only; intentionally absent in claude-only. Dispatch each
+  independently from its Sonnet seat on the same bounded brief without
+  cross-reading. The driver reconciles findings per claim, never averages.
+  Record intentional absence and continue with Sonnet alone; a configured
+  but unavailable seat holds only its affected work.
+- `axstack-debug-investigator-1..4` probe L1 briefs.

package/skills/axstack/references/routing.md

@@ -11,7 +11,7 @@ skills root, or an explicit user selection in the run record. Missing or contrad
 a setup gap: hold. Never infer from live profiles or `list_profiles`, harness,
 tools, credentials, quota, subscription, or default to `mixed`.
 
-At start, snapshot all 28 role IDs with provider/model/mode/effort; absent
+At start, snapshot all 32 role IDs with provider/model/mode/effort; absent
 or unconfigured roles are recorded explicitly; never default.
 Such a role holds only its work. Later installed or changed roles need an
 explicit user decision to enter the snapshot. Live profiles
@@ -24,30 +24,7 @@ revalidation. Unavailable models, efforts, roles, or overrides hold only affecte
 work; no automatic fallback, quota routing, subscription inference, or silent
 provider/model/effort substitution.
 
-- Chat drives (no role ID); `axstack-owner` owns one PR and
-  `axstack-author` its sole writer.
-- `axstack-reviewer-primary` and `axstack-reviewer-secondary` are the ordered
-  peer pair. Peer review uses both; authored review uses this table:
-
-  | Preset | Author | Reviewer (model/effort) |
-  | --- | --- | --- |
-  | `mixed` | Codex / Sol (`codex/gpt-6-sol`) | `axstack-reviewer-secondary` (`claude/claude-opus-5-5` medium) |
-  | `mixed` | Claude / Opus (`claude/claude-opus-5-5`) | `axstack-reviewer-primary` (`codex/gpt-6-sol` high) |
-  | `codex-only` | Codex / Sol (`codex/gpt-6-sol`) | `axstack-reviewer-secondary` (`codex/gpt-6-luna` xhigh) |
-  | `claude-only` | Claude / Opus (`claude/claude-opus-5-5`) | `axstack-reviewer-secondary` (`claude/claude-sonnet-5-5` high) |
-- `axstack-advisor-astra`/`axstack-advisor-opus` advise and author candidates;
-  `axstack-arena-candidate-grok`/
-  `axstack-arena-candidate-antigravity` add families.
-  `axstack-arena-judge-opus` judges round 1; `axstack-escalation-fable`/`axstack-arena-judge-astra` judge round 2.
-  High-stakes/trigger: fresh [contract](contracts.md) session.
-  `axstack-auditor` audits; `axstack-checker` reports discrepancies.
-- `axstack-explainer`/`axstack-explainer-review`: explain/review.
-- `axstack-ui-verifier`: [UI checks](ui-verification.md).
-- `axstack-research-requirements`/`axstack-research-web`/`axstack-monitor`:
-  Sonnet 5.5 high in mixed/claude-only.
-  `axstack-monitor`: standalone watch never sends; chat-run watch: bounded
-  internal reports to its Run and original driver.
-- `axstack-debug-investigator-1..4` probe L1 briefs.
+Load the [Role roster](role-roster.md) for configured roles and authored-review pairings.
 
 Provenance is matched on provider/model ID; effort never maps. Missing table-row
 provenance is unsupported and `INCOMPLETE`; report it and ask the user. Never

package/skills/axstack-audit/SKILL.md

@@ -28,8 +28,13 @@ 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 (codex/gpt-6-luna xhigh) and its
-invocation. This skill governs what that auditor reads, measures, and proposes.
+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.
+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.
 The user-chosen improvement mode is a tested, independently reviewed PR that a
 human merges.
 

package/skills/axstack-implement/SKILL.md

@@ -206,8 +206,13 @@ For each PR:
    `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
-   risk, or the third `REQUEST_CHANGES` on one PR records `held`. A changed
-   parent sends its child back to step 1.
+   risk, or the third review round with `REQUEST_CHANGES` and/or diligence
+   `FINDINGS` on one PR records `held`. A changed parent sends its child back
+   to step 1.
+   Merge-ready also requires a current diligence `PASS` at that head; diligence
+   `FINDINGS` return to the same author within the review round.
+   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

package/skills/axstack-improve/SKILL.md

@@ -19,6 +19,11 @@ role dispatch, load the [Orca runtime
 sequence](../axstack/references/orca-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.
 
 ## 1. Bound discovery
 

package/skills/axstack-research/SKILL.md

@@ -29,8 +29,9 @@ is part of research.
 
 2. **Fan out research:** A single factual lookup stays in the current chat.
    Every other research run dispatches every configured research branch through
-   Orca: requirements (Claude), code (Codex), web (Claude), web-google
-   (Gemini/Antigravity, with Google Search built in), and X (Grok).
+   Orca: requirements, code, and web (Sonnet high in mixed/claude-only;
+   Codex in codex-only), web-google (Gemini/Antigravity, with Google Search
+   built in), and X (Grok).
    Give each branch one owner, allow no cross-reading, and require a cited note
    with a URL and access date per claim; re-open sources and never trust a search
    summary. The driver reconciles agreements/disagreements per claim.
@@ -41,16 +42,27 @@ is part of research.
 
    - `axstack-research-requirements`: requirements and intent.
    - `axstack-research-code`: code behavior.
+   - `axstack-research-code-sol`: independent Sol code investigation.
    - `axstack-research-web`: web and external sources.
    - `axstack-research-web-google`: Google-Search-grounded web sources via Gemini/Antigravity.
    - `axstack-research-x`: X (Twitter) posts and threads via Grok; cite post URLs and dates.
    - `axstack-explore-codebase`: broad codebase mapping.
    - `axstack-explore-execution`: execution and runtime traces.
+   - `axstack-explore-execution-sol`: independent Sol execution investigation.
+
+   When dispatching `axstack-research-code` or `axstack-explore-execution`,
+   dispatch its `-sol` pair independently on the same bounded brief without
+   cross-reading. The driver reconciles agreement and disagreement per claim,
+   never averaging findings. Record an intentionally absent pair and proceed
+   with the base seat alone; a configured but unavailable seat holds its work.
 
 3. **Gather primary source evidence.** Inspect the actual documentation, code,
    or tool output for every answer-changing claim. Apply the source standards
    for citations, freshness, revisions, and access dates. Continue until each
    material claim has direct evidence or a named evidence gap.
+   Before the driver folds verified claims, dispatch `axstack-diligence` under
+   [Diligence](../axstack/references/diligence.md) to reopen cited sources for
+   answer-changing claims and flag mismatches.
 
 4. **Form the verdict.** Mark every material claim as **verified**,
    **inference**, or **unverified** using the source standards. Derive

package/skills/axstack-review/SKILL.md

@@ -211,6 +211,8 @@ This section applies to peer and authored PR modes.
      | `codex-only` | Codex / Sol (`codex/gpt-6-sol`) | `axstack-reviewer-secondary` (`codex/gpt-6-luna` xhigh) |
      | `claude-only` | Claude / Opus (`claude/claude-opus-5-5`) | `axstack-reviewer-secondary` (`claude/claude-sonnet-5-5` high) |
 
+     The diligence receipt is separate and does not count as a reviewer receipt.
+
      Provenance is matched on provider/model ID; record effort, but never use
      effort to create a mapping. Any other author provenance for the
      selected preset is unsupported and `INCOMPLETE`, including its secondary
@@ -234,6 +236,11 @@ This section applies to peer and authored PR modes.
 
    Continue only when session receipts prove the required models, non-author
    independence, actual author provenance where applicable, and exact brief.
+   In peer and authored PR review rounds, dispatch `axstack-diligence`
+   independently alongside the configured reviewer(s) on the same exact revision
+   and base. Follow [Diligence](../axstack/references/diligence.md). A diligence
+   `FINDINGS` receipt returns validated findings to the same author in the same
+   round; it is not an extra `REQUEST_CHANGES` round.
 3. **Inspect all six angles.** In peer mode each reviewer covers every angle;
    in authored mode the one reviewer covers all six angles:
    1. Security and trust boundaries.
@@ -321,12 +328,14 @@ These verdicts apply only to PR modes. Codebase findings use coverage status.
   covering the whole brief, all six angles, and applicable acceptance.
 - **Complete verdict:** validated blocking defects permit `REQUEST_CHANGES`;
   complete evidence with no blocker permits `APPROVE`.
+- **Diligence:** a current `PASS` is required with reviewer approval for
+  merge-ready; `FINDINGS` return to the author in that round.
 - **Incomplete or stale:** use `INCOMPLETE`; never fabricate `APPROVE` or
   `REQUEST_CHANGES`.
 
 The owner verifies and synthesizes the mode-required evidence without voting.
-A peer receipt count of one is incomplete; an authored receipt count other
-than one is not the selected mode. Passing tests or reviewer unanimity grants
+A peer reviewer receipt count of one is incomplete; an authored reviewer
+receipt count other than one is not the selected mode. Passing tests or reviewer unanimity grants
 no merge authority.
 
 ## Template: candidate review brief
@@ -397,10 +406,11 @@ Mode-required exact-revision completeness gates external approval,
 [merge-ready declarations](#authored-mode-own-pr), and authorized submission. It never gates returning
 evidence, limitations, validated risk, or an internal `INCOMPLETE` report.
 
-- Peer mode requires both current reviews and no unresolved material finding
-  beyond the validated defects reported by `REQUEST_CHANGES`.
-- Authored mode requires its one current eligible configured review and applicable
-  scope identity to remain valid.
+- Peer mode requires both current reviews, a separate current diligence receipt,
+  and no unresolved material finding beyond the validated defects reported by
+  `REQUEST_CHANGES`.
+- Authored mode requires its one current eligible configured reviewer receipt and
+  a separate current diligence receipt; applicable scope identity must remain valid.
 - A missing, mismatched, stale, or materially changed input blocks approval and
   merge-ready declarations while readonly investigation continues.
 

package/skills/axstack-spec/SKILL.md

@@ -54,6 +54,9 @@ and the lifecycle's [audit skill](../axstack-audit/SKILL.md) hook.
    session to return plain AGREE. Present one
    reviewable, identified revision for this checkpoint. Its user approval
    creates the execution baseline.
+   Before user approval, dispatch `axstack-diligence` under
+   [Diligence](../axstack/references/diligence.md) to check the draft against
+   the Align decisions for anything dropped, added, or softened.
 5. **Snapshot the baseline.** Record the approved revision identity and a
    concise repository Markdown counterpart. In Linear mode, the native
    document remains authoritative. In GitHub mode, the approved issue body is

package/skills/axstack-tickets/SKILL.md

@@ -54,6 +54,9 @@ an actual checker dispatch, not for ordinary mapping or state reconciliation.
    rationale with the task; actual measurement and exception evidence follow in
    the implement receipt. Mapping time requires no actual SHAs or line counts.
    Every capability ends with the fields below and an explicit dependency list.
+   Before accepting the map, dispatch `axstack-diligence` under
+   [Diligence](../axstack/references/diligence.md) to confirm every spec
+   acceptance item maps to a capability's acceptance.
    These routine mapping and split choices are autonomous driver decisions
    within the approved spec; size alone never requires user approval.
 

package/skills/axstack-watch/SKILL.md

@@ -135,6 +135,7 @@ The owner checks current required checks, all feedback, approvals, mergeability,
 and exact-revision receipts before any merge-ready statement. API errors leave
 readiness `UNKNOWN`; review approval alone is not merge-ready. Merge-ready is an
 observed state distinct from merged, and the human merges by default.
+A current diligence `PASS` at the exact head is required before any merge-ready statement.
 Under authorized own-PR maintenance, keep repairing and rebasing onto the base
 when it moves, then re-run checks, until the head is rebased on the current base,
 every review comment and thread is addressed, at least one human team member's

package/src/roles.js

@@ -69,7 +69,7 @@ export function assessRoleReadiness(roles, preset) {
     (preset === 'mixed' && role.id === 'axstack-arena-candidate-grok' && role.provider === 'grok') ||
     (preset === 'mixed' && role.id === 'axstack-arena-candidate-antigravity' && role.provider === 'antigravity') ||
     (preset === 'codex-only' && ['axstack-advisor-opus', 'axstack-escalation-fable', 'axstack-arena-judge-opus', 'axstack-research-web-google', 'axstack-research-x', 'axstack-arena-candidate-grok', 'axstack-arena-candidate-antigravity'].includes(role.id)) ||
-    (preset === 'claude-only' && ['axstack-advisor-astra', 'axstack-arena-judge-astra', 'axstack-research-web-google', 'axstack-research-x', 'axstack-arena-candidate-grok', 'axstack-arena-candidate-antigravity'].includes(role.id))
+    (preset === 'claude-only' && ['axstack-advisor-astra', 'axstack-arena-judge-astra', 'axstack-research-web-google', 'axstack-research-x', 'axstack-arena-candidate-grok', 'axstack-arena-candidate-antigravity', 'axstack-auditor-sol', 'axstack-research-code-sol', 'axstack-explore-execution-sol'].includes(role.id))
   );
   for (const role of roles) {
     if (!bounds.has(role.provider)) {