1366 Commits

Author SHA1 Message Date
Dragan Spiridonov 4742c41ff9 Merge pull request #429 from proffesor-for-testing/adr-093-opus-4-7-migration
chore(release): v3.9.13
v3.9.13
2026-04-17 19:32:36 +02:00
Dragan Spiridonov 9948f8da94 chore(release): sync 9 qe-* agents from .claude/ to assets/ for v3.9.13
These agents were updated in .claude/agents/v3/ for ADR-093 but the
corresponding files in assets/agents/v3/ (the directory shipped to
users via aqe init) still carried stale advisor model IDs
(claude-opus-4, claude-opus-4-6). Fresh installs would have received
the old model references.

Synced files:
  qe-coverage-specialist, qe-fleet-commander, qe-pentest-validator,
  qe-queen-coordinator, qe-risk-assessor, qe-root-cause-analyzer,
  qe-security-auditor, qe-security-scanner, qe-test-architect

Verified in a fresh project: aqe init --auto now writes agent files
with claude-opus-4.7 / claude-opus-4-7 advisor models and the ADR-093
"effort: max" frontmatter for the three cyber-pinned agents.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 17:18:02 +00:00
Dragan Spiridonov 4a2d8a66da chore(release): bump version to v3.9.13
Ships ADR-093 Opus 4.7 migration: Sonnet 4.6 becomes the fleet-wide
default, xhigh effort level is on everywhere, Opus 4.7 is the opt-in
escalation target via MultiModelExecutor, and cyber-sensitive agents
stay pinned to Sonnet 4.6 pending Cyber Verification Program approval.

Also fixes two stale integration-test assertions that still expected
the retiring claude-haiku-3-5 ID; both now assert the current
claude-haiku-4-5 per the model registry.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 17:01:37 +00:00
Dragan Spiridonov 864741a757 docs(adr-093): mark Accepted — Phases 1, 2, 4 implemented; Phase 3 not required
Status moves from Proposed to Accepted. Phase 3 thinking-config shim
dropped from scope after codebase sweep confirmed no raw-Messages-API
callers pass {type: enabled, budget_tokens: N}. Remaining work tracked:
Cyber Verification application submission (external) and 30-day
telemetry recalibration (~2026-05-17).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 16:39:21 +00:00
Dragan Spiridonov 1aac5206ba fix(adr-093): address devil's-advocate C1-C4 critical findings
Four merge-blocking issues surfaced by the qe-devils-advocate audit.

C1 — effort-resolver YAML loading was silently broken in ESM
  src/shared/llm/effort-resolver.ts: replaced
  const { readFileSync } = require('fs') with a top-level
  import { readFileSync } from 'fs'. The require() call threw
  ReferenceError under ESM ("type": "module" in package.json),
  caught by the bare try/catch, so the YAML priority tier in the
  resolver chain was dead — callers always fell through to the
  hardcoded xhigh default. config/fleet-defaults.yaml was a
  decorative file. Proven fixed by runtime check:
    YAML set to 'medium' → resolveEffortLevel() now returns 'medium'.

C2 — body.effort on every /v1/messages call was unverified shape
  src/shared/llm/providers/claude.ts: the previous code
  unconditionally set body.effort on every request, regardless of
  whether the target model supported it, and used a top-level shape
  that is not documented in Anthropic's public Messages API schema.
  New behavior: effort is only set when the registry marks the
  model supportsEffortXHigh=true (Opus 4.7 today) and is nested
  under body.thinking = { type: 'adaptive', effort: <level> },
  matching the Anthropic SDK's beta.messages thinking shape.
  Non-xhigh models receive no thinking/effort field at all,
  eliminating the risk of 400-ing Sonnet 4.6 / Haiku 4.5 calls.
  Rationale inline at the call site.

C3 — CYBER_PINNED_AGENTS was missing qe-security-reviewer
  qe-security-reviewer lives at .claude/agents/v3/subagents/
  (not in .claude/agents/v3/ top level) and was present in the
  submitted Cyber Verification application. Without it in the pin
  list, that agent could route to Opus 4.7 freely. Added.
  Cross-check test now parses the application file and asserts
  every CYBER_PINNED_AGENTS entry is named in it — future edits
  to either side cannot silently diverge.

C4 — cyber pin only fired in MultiModelExecutor.consult()
  Direct HybridRouter.chat() calls from security agents bypassed
  the pin. Extracted the pin helpers into src/routing/security/
  cyber-pin.ts (applyCyberPin, shouldCyberPin, isOpus47,
  CYBER_PINNED_AGENTS, CYBER_PIN_ADVISOR_FALLBACK,
  CYBER_PIN_CHAT_FALLBACK). HybridRouter.chat() now applies the
  pin post-selectProvider, before executeWithFallback, on both
  decision.model and decision.providerModelId — covering
  canonical, OpenRouter (dotted), and Bedrock ARN forms.
  MultiModelExecutor.consult() imports from the same module so
  both paths share one source of truth.

Tests moved tests/routing/advisor/cyber-pin.test.ts →
tests/routing/security/cyber-pin.test.ts and expanded: 19 tests
covering all 4 pinned agents × multiple model-id forms, the
application cross-check, env-flag semantics, non-security
passthrough, and non-4.7 model passthrough.

Verification:
* 0 tsc errors
* 128/128 targeted tests pass (effort-resolver + cyber-pin + advisor + providers)
* 2927/2927 broader regression pass (shared/llm + coordination + routing)
* Runtime proof of C1 fix: YAML 'medium' → resolveEffortLevel() returns 'medium'

Still outstanding from the devil's-advocate audit (deferred to
follow-up, not merge-blocking):
* C5 — Bedrock/OpenRouter model IDs need empirical verification
* C6 — no integration test hits real /v1/messages with 4.7
* H1–H5, M1–M5, L1–L3

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 16:31:24 +00:00
Dragan Spiridonov 4a641e7ef1 fix(adr-093): post-audit sweep — CI workflow, consensus provider, MCP sampling, 12 skill evals, 9 test files
Fifth post-audit sweep. 24 files, +66/-60.

CRITICAL (user-facing):
* .github/workflows/skill-validation.yml:422: CI eval runner
  --model claude-sonnet-4 → claude-sonnet-4-6. Previously CI would
  target a retiring model.
* src/coordination/consensus/providers/claude-provider.ts: Claude 3.x
  consensus provider modernized — type union extended with
  claude-sonnet-4-6 / claude-opus-4-7 / claude-haiku-4-5 as first
  entries, default model updated from claude-3-5-sonnet-20241022
  to claude-sonnet-4-6, availableModels list prepends new models.
  Legacy 3.x entries retained for backward compat.
* src/mcp/security/sampling-server.ts: default model
  claude-3-sonnet-20240229 (retired 2026-02-19) → claude-sonnet-4-6.

Skill evals (12 files, 6 + 6 mirrors):
* .claude/skills/ and assets/skills/ mirrors for:
  performance-testing, chaos-engineering-resilience, quality-metrics,
  localization-testing, accessibility-testing,
  n8n-trigger-testing-strategies. models_to_test list updated to
  claude-sonnet-4-6 / claude-haiku-4-5.

Test files (9):
* tests/unit/coordination/consensus/providers/claude-provider.test.ts:
  default model, test descriptions, and references updated to 4.6/4.7.
* tests/unit/routing/economic-routing.test.ts: claude-3-opus-20240229
  usage → claude-opus-4-7.
* tests/unit/learning/skill-validation-learner.test.ts: claude-3-haiku
  / claude-3.5-sonnet / claude-3-opus → new canonicals.
* tests/unit/mcp/handlers/handler-test-utils.ts: claude-3-haiku →
  claude-haiku-4-5.
* tests/integration/llm/{real-provider-integration,multi-provider}.test.ts:
  bare 'claude-sonnet-4' canonical → 'claude-sonnet-4-6'.
* tests/integration/validation/parallel-eval-runner.test.ts:
  claude-3.5-sonnet / claude-3-haiku → new canonicals.
* tests/routing/advisor/multi-model-executor.test.ts:
  CRITICAL BUG — 'claude-opus-4-6' (non-existent model ID, typo) ×2
  → 'claude-opus-4-7'. Stale test name 'anthropic/claude-opus-4
  when no provider' → '-4.7'.
* tests/unit/opencode/degradation.test.ts: CRITICAL BUG —
  modelId 'claude-opus-4-6' (typo) → 'claude-opus-4-7'.

Left intentionally untouched:
* tests/unit/coordination/consensus/providers/openrouter-provider.test.ts:
  tests that OpenRouter provider lists claude-3-haiku / claude-3.5-sonnet
  / claude-3-opus as supported. These assertions reflect actual
  OpenRouter provider data, which hasn't changed. Adding new-model
  assertions would be an enhancement, not a fix.

Verification:
* 0 tsc errors
* 174/174 tests across touched paths pass

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 14:26:23 +00:00
Dragan Spiridonov 3f743ada46 chore(adr-093): sweep remaining model refs in opencode plugin, scripts, .kiro, command docs
91 files changed, +99/-99.

Fifth and final post-audit sweep. Addresses all gaps surfaced by
the third broader audit pass.

* packages/aqe-opencode-plugin/src/degradation/graceful-degradation.ts:
  tier map updated — anthropic/claude-opus-4 → -4.7,
  anthropic/claude-sonnet-4 → -4.6, anthropic/claude-haiku-3.5 → -4.5.
  JSDoc example model ID also refreshed. This package is shipped
  to OpenCode users.
* scripts/adr-092-multi-model-trial.ts: EXECUTOR_MODEL constant
  updated to anthropic/claude-sonnet-4.6 (sibling of the harness
  already fixed in commit 2068c293).
* .kiro/agents/*.json (87 files): generated Kiro agent configs
  swept — claude-sonnet-4 → -4-6, claude-opus-4 → -4-7,
  claude-haiku-4 / claude-haiku-3.5 → -4-5. These are dogfooding
  artifacts in this repo from a prior init run. Users get fresh
  (post-ADR-093) configs from the new kiro-installer.ts.
* .claude/commands/aqe-costs.md: example output in the slash
  command docs refreshed to the post-ADR-093 baseline
  (claude-sonnet-4-6, claude-haiku-4-5-20251001).
* tests/unit/cli/commands/llm-router.test.ts: 'should estimate
  cost for a known model' — input changed from 'claude-sonnet-4'
  to 'claude-sonnet-4-6'. The canonical was renamed in
  DEFAULT_MODEL_MAPPINGS (commit 4f175638), so the old canonical
  no longer resolves.

Verification:
* 0 tsc errors
* 25/25 llm-router.test.ts pass
* grep -rE 'claude-sonnet-4-20250514|claude-opus-4-20250514|claude-opus-4-5-20251101|claude-3-5-haiku-20241022' src/ returns 0 outside data-definition files (model-mapping, model-registry, cost-tracker), as intended.

Deliberately left alone (confirmed):
* .claude/settings.local.json — permission allowlist only
* Historical docs (CHANGELOG, ADR-056, SPEC-043-C, GOAP-ADR-043,
  docs/releases, llm-independence-plan, ADR-089)
* tests/unit/shared/llm/model-mapping.test.ts and
  model-registry.test.ts — deliberate retiring-ID regression coverage
* ADR-093 itself — references retiring IDs in Context and Options

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 14:15:11 +00:00
Dragan Spiridonov 7f01310556 fix(adr-093): aqe init + skill evals + settings routing use new models
New user projects created via aqe init will now receive the post-ADR-093
model set (Opus 4.7 / Sonnet 4.6 / Haiku 4.5) instead of retiring IDs.

* src/init/kiro-installer.ts: 4 hardcoded model fallbacks updated.
  claude-sonnet-4 → claude-sonnet-4-6 (default + priority=critical),
  claude-opus-4 → claude-opus-4-7 (opus-detected path),
  claude-haiku-4 → claude-haiku-4-5 (haiku-detected path).
  Affects: runtime agent transformation, default QE agent template
  (writeDefaultQEAgent).
* src/init/init-wizard-steps.ts, src/init/phases/12-verification.ts:
  generated aqe.yaml advisor block comment updated to
  anthropic/claude-opus-4.7 so wizard-produced configs point to the
  right advisor model out of the box.
* .claude/settings.json:188-189: claudeFlow.modelPreferences
  default claude-opus-4-5-20251101 → claude-opus-4-7,
  routing claude-3-5-haiku-20241022 → claude-haiku-4-5-20251001.
* Skill eval YAMLs (both .claude/ and assets/ copies):
  api-testing-patterns, contract-testing, database-testing,
  testability-scoring — models_to_test list updated from
  claude-sonnet-4 / claude-3-haiku to claude-sonnet-4-6 / claude-haiku-4-5.
* Skill eval schemas (3 copies: .claude, assets, docs):
  skill-eval.schema.json enum extended with claude-opus-4-7,
  claude-sonnet-4-6, claude-haiku-4-5 as accepted values. Old
  entries retained for backward compat with existing eval files.
* Sample outputs (3 copies): modelUsed field updated to
  claude-sonnet-4-6.
* a11y-ally SKILL.md code example (both .claude and assets):
  model: 'claude-sonnet-4-20250514' → 'claude-sonnet-4-6' (this was
  caught by Commit 2's sweep; landed here for audit completeness).

Verification:
* 0 tsc errors
* 392/392 init module tests pass
* npm run build: CLI + MCP bundles rebuilt clean

Not re-running aqe init against a real fixture in this commit —
minimal+non-interactive mode doesn't materialize integration files
(kiro/opencode); full wizard-mode verification deferred until after
PR opens and a maintainer runs init smoke.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 13:40:14 +00:00
Dragan Spiridonov 2068c2932f fix(adr-093): clean up lingering retiring model refs in overrides + scripts
Post-verification sweep found 4 categories of missed references:

(a) 6 qe-* agents had explicit advisor.model: anthropic/claude-opus-4
    overriding the new 4.7 default from Commit 5:
    qe-coverage-specialist, qe-fleet-commander, qe-queen-coordinator,
    qe-risk-assessor, qe-root-cause-analyzer, qe-test-architect.
    Updated each to anthropic/claude-opus-4.7.

(b) scripts/adr-092-phase0a-harness.ts: EXECUTOR_MODEL /
    ADVISOR_MODEL constants for the ADR-092 Phase 0 eval harness
    still hardcoded Sonnet 4 / Opus 4. Updated to Sonnet 4.6 and
    Opus 4.7 so re-running the harness produces data consistent
    with the post-migration fleet.

(c) scripts/eval-driven-workflow.ts: YAML template's models_to_test
    list updated from claude-sonnet-4 / claude-3-haiku to
    claude-sonnet-4-6 / claude-haiku-4-5.

(d) .claude/settings.json:188 claudeFlow.modelPreferences.default
    updated from claude-opus-4-5-20251101 to claude-opus-4-7
    (explicit user approval).

Not touched in this commit:
* .claude/settings.json:189 modelPreferences.routing still
  'claude-3-5-haiku-20241022' (retiring 2026-06-15). Awaiting
  explicit user direction.
* .claude/skills/*/evals/*.yaml, assets/skills/a11y-ally/SKILL.md,
  assets/skills/testability-scoring/evals/*.yaml — skill eval
  YAMLs with model references. Scope deferred to user review.
* Historical docs/tests that reference retiring IDs as regression
  coverage (CHANGELOG, ADR-056, SPEC-043-C, model-mapping/registry
  test files).

Verification:
* 0 tsc errors

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 13:35:42 +00:00
Dragan Spiridonov 4f175638bf fix(adr-093): user-facing model listing — sync DEFAULT_MODEL_MAPPINGS
Verification commit (post Commit 6). User-perspective smoke caught a gap
that unit tests missed:

`aqe llm models` reads DEFAULT_MODEL_MAPPINGS from
src/shared/llm/router/types.ts, which is a separate registry from
MODEL_REGISTRY in model-registry.ts. Commit 2's sed sweep updated the
provider IDs inside DEFAULT_MODEL_MAPPINGS (anthropic path became
claude-opus-4-7 / claude-sonnet-4-6 / claude-haiku-4-5-20251001) but
left the canonicalId and canonicalName fields as 'claude-opus-4.5',
'claude-sonnet-4', 'claude-haiku-3.5'. Result:

* canonical claude-opus-4.5 → anthropic claude-opus-4-7, bedrock
  anthropic.claude-opus-4-5-v1:0. Same canonical resolved to two
  different models across providers (routing bug).
* `aqe llm models` output listed stale names (Opus 4.5 / Sonnet 4 /
  Haiku 3.5) despite the backing model being 4.7 / 4.6 / 4.5.

Fix: rewrite the three Claude entries as first-class Opus 4.7 /
Sonnet 4.6 / Haiku 4.5 records with consistent canonicalId, canonical
names, all three provider IDs, 1M context for 4.7, correct pricing
($5/$25 for Opus, unchanged $3/$15 for Sonnet, $1/$5 for Haiku),
64k / 128k / 16k max output tokens respectively.

Verification (user perspective):
* npm run build: CLI + MCP bundles built clean
* node dist/cli/bundle.js llm models → shows Opus 4.7/Sonnet 4.6/Haiku 4.5
* node dist/cli/bundle.js llm cost claude-opus-4-7 --tokens 10000
  → "Claude Opus 4.7", $5/$25, $0.30 total (correct)
* node dist/cli/bundle.js llm cost claude-sonnet-4-6 --tokens 10000
  → "Claude Sonnet 4.6", $3/$15, $0.18 total (correct)
* MCP bundle loads ("MCP server starting v3.9.12")

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 13:02:42 +00:00
Dragan Spiridonov 6010017661 feat(adr-093): pin cyber-sensitive agents to Sonnet 4.6 pending approval
Commit 6 of 6 for ADR-093 Opus 4.7 migration. Opt-out gate behind
AQE_CYBER_VERIFIED env var.

* src/routing/advisor/multi-model-executor.ts: new applyCyberPin()
  helper + CYBER_PINNED_AGENTS list (qe-pentest-validator,
  qe-security-auditor, qe-security-scanner). When the advisor model
  resolves to Opus 4.7 for any of these agents, the pin downgrades
  to anthropic/claude-sonnet-4.6 and logs a warning naming the env
  var to flip after Cyber Verification Program approval lands.
  Non-security agents pass through unchanged. Non-4.7 models pass
  through unchanged. Only AQE_CYBER_VERIFIED === 'true' lifts the
  pin — '1', 'yes', truthy-but-non-"true" values keep the pin.
* tests/routing/advisor/cyber-pin.test.ts (new): 10 tests covering
  all 3 pinned agents with pin-on and pin-off, non-security passthrough,
  non-Opus-4.7 passthrough, canonical claude-opus-4-7 form, and
  strict "true" semantics.

Fleet inventory note: 3 qe-* security/pentest agents exist. The
Cyber Verification application draft listed 4 (including a
qe-security-reviewer that does not exist in .claude/agents/v3/).

Verification:
* 0 tsc errors
* 75/75 advisor tests pass (+10 new)
* 16555/16564 unit + routing tests pass (9 pre-existing skips)

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 12:57:41 +00:00
Dragan Spiridonov b055560e81 feat(adr-093): set Opus 4.7 as default ADR-092 advisor model
Commit 5 of 6 for ADR-093 (Commit 4 skipped — no thinking-config
callers to shim; documented in the implementation plan).

* src/routing/advisor/multi-model-executor.ts: DEFAULT_ADVISOR_MODEL
  upgraded from 'anthropic/claude-opus-4' to 'anthropic/claude-opus-4.7'.
  When TinyDancerRouter sets triggerMultiModel=true (confidence < 0.80,
  or < 0.85 for security tasks), MultiModelExecutor.consult() now
  dispatches to Opus 4.7 by default via HybridRouter.chat() +
  OpenRouter provider.
* tests/routing/advisor/multi-model-executor.test.ts,
  tiny-dancer-router-advisor.test.ts: update expected provider model IDs.

SWE-bench Verified 87.6% (vs 80.8% Opus 4.6), SWE-bench Pro 64.3%
(vs 53.4%), CursorBench 70% (vs 58%). Vendor-independence preserved —
consultations still flow through HybridRouter's 7 providers per
ADR-043.

Verification:
* 0 tsc errors
* 65/65 advisor unit tests pass

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 12:46:42 +00:00
Dragan Spiridonov d918e78813 feat(adr-093): xhigh effort level fleet-wide with priority chain
Commit 3 of 6 for ADR-093 Opus 4.7 migration. Adds effort-level plumbing
with xhigh as the fleet-wide default and max override on security agents.

* src/shared/llm/effort-resolver.ts (new): resolveEffortLevel() implements
  the ADR-093 priority chain:
    runtime override > per-agent frontmatter > QE_EFFORT_LEVEL env
      > config/fleet-defaults.yaml > DEFAULT_EFFORT_LEVEL (xhigh)
  Plus downgradeEffort() for models that don't support xhigh.
  Minimal regex-based YAML parse avoids a new dependency.
* config/fleet-defaults.yaml (new): effort_level: xhigh.
* src/shared/llm/interfaces.ts: GenerateOptions gains optional
  `effort?: 'low' | 'medium' | 'high' | 'xhigh' | 'max'`.
* src/shared/llm/providers/claude.ts: resolve effort per request and
  include in /v1/messages body; silently downgrade to 'high' when the
  target model lacks supportsEffortXHigh capability.
* .claude/agents/v3/qe-security-auditor.md,
  qe-pentest-validator.md,
  qe-security-scanner.md: add `effort: max` frontmatter per user
  direction. Also corrects stale `advisor.model: claude-opus-4-6`
  (non-existent ID) to `claude-opus-4-7` on the two agents that had it.

Note: fleet has 3 security/pentest qe-* agents (qe-security-auditor,
qe-security-scanner, qe-pentest-validator). The Cyber Verification
application lists 4 (including qe-security-reviewer which does not
exist in .claude/agents/v3/). If the submitted application needs an
amendment, re-file with the correct 3-agent list.

* tests/unit/shared/llm/effort-resolver.test.ts (new): 13 tests
  covering the priority chain, invalid-input fallback, YAML read,
  and downgrade helper.

Verification:
* 0 tsc errors (npx tsc --noEmit)
* 677/677 LLM unit tests pass (+13 new)

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 12:44:10 +00:00
Dragan Spiridonov d55fcfbbda refactor(adr-093): sweep retiring model IDs to Opus 4.7/Sonnet 4.6/Haiku 4.5
Commit 2 of 6 for ADR-093 Opus 4.7 migration. Real behavior change:
the AQE fleet now targets Sonnet 4.6, Haiku 4.5, Opus 4.7.

43 files changed, 253 insertions, 246 deletions.

Mechanical sed sweep across 29 src/ files and 14 tests/ files:
* 'claude-sonnet-4-20250514' → 'claude-sonnet-4-6'
* 'claude-3-5-haiku-20241022' → 'claude-haiku-4-5-20251001'
* 'claude-opus-4-5-20251101' → 'claude-opus-4-7'
* 'claude-opus-4-20250514' → 'claude-opus-4-7'

Data-definition files (model-mapping.ts, model-registry.ts,
cost-tracker.ts, model-mapping.test.ts, model-registry.test.ts)
deliberately excluded from sweep — they keep retiring IDs as
canonical data + regression coverage for backward-compat paths.

* src/shared/llm/cost-tracker.ts: added claude-opus-4-7 ($5/$25),
  claude-sonnet-4-6 ($3/$15), claude-haiku-4-5-20251001 ($1/$5)
  pricing entries alongside retained retiring entries.
* src/shared/llm/providers/bedrock.ts: rebuilt BEDROCK_MODEL_MAPPING
  to preserve both new ARNs (claude-opus-4-7-v1:0 etc.) and retiring
  ARNs; fixes duplicate-key compile error caused by sed collapsing
  'claude-opus-4-20250514' and 'claude-opus-4-5-20251101' to same key.
* src/shared/llm/interfaces.ts: ClaudeConfig.model type union
  updated to hint at new IDs; '| string' fallback keeps backward
  compat for lingering callers.
* tests updated: 3 provider/bedrock/cost-tracker assertions
  corrected to match new pricing + new ARN mappings.

Verification:
* 0 tsc errors (npx tsc --noEmit)
* 664/664 LLM unit tests pass
* 2302/2302 coordination + CLI tests pass
* 2884/2885 domain tests pass (1 pre-existing skip)
* grep -rcE 'retired-id-pattern' src/ returns 0 outside data files

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 12:32:24 +00:00
Dragan Spiridonov 3ee1fbf518 feat(adr-093): add Opus 4.7, Sonnet 4.6, Haiku 4.5 to model registry
Commit 1 of 6 for ADR-093 Opus 4.7 migration. No runtime behavior change.

* src/shared/llm/model-mapping.ts: add MODEL_MAPPINGS entries for
  claude-opus-4-7, claude-sonnet-4-6, claude-haiku-4-5 with
  anthropic / openrouter / bedrock IDs.
* src/shared/llm/model-registry.ts:
  - extend ModelCapabilities with optional supportsAdaptiveThinking,
    supportsEffortXHigh, tokenizerVersion fields (non-breaking)
  - add MODEL_REGISTRY entries for 4.7 (1M context, xhigh, opus-4-7
    tokenizer, $5/$25/MTok), 4.6 (standard 200k, legacy tokenizer,
    $3/$15), 4.5 haiku
  - mark claude-sonnet-4 deprecationDate 2026-06-15 (retired
    alongside Sonnet 4 per Anthropic announcement)
  - mark claude-haiku-3-5 deprecationDate 2026-02-19 (already retired)
  - export DEFAULT_SONNET_MODEL = 'claude-sonnet-4-6',
    DEFAULT_OPUS_MODEL = 'claude-opus-4-7',
    DEFAULT_HAIKU_MODEL = 'claude-haiku-4-5',
    RETIRING_MODELS registry with ISO retirement dates
* tests/unit/shared/llm/model-registry.test.ts: 14 new tests covering
  new registry entries, central constants, and deprecation metadata.
  All 154 tests across registry/mapping/cost-tracker pass.
* docs/implementation/adrs/ADR-093-opus-4-7-migration.md: new ADR
  capturing migration decisions (Sonnet 4.6 as Tier 3 default, Opus 4.7
  as escalation target, xhigh fleet-wide, thinking-config shim,
  Cyber Verification for security agents, Routines/Monitor deferred
  to ADR-094).
* docs/implementation/adrs/v3-adrs.md: ADR-093 index row added.
* docs/implementation/plans/ADR-093-IMPLEMENTATION-PLAN.md: 6-commit
  execution plan with per-commit verification + rollback strategy.
* docs/security/cyber-verification-application.md: Cyber Verification
  Program application draft (submitted 2026-04-17).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-17 12:16:24 +00:00
Dragan Spiridonov eeef9cf9ba Merge pull request #428 from proffesor-for-testing/dependabot/npm_and_yarn/npm_and_yarn-afc024f19f
chore(deps): bump protobufjs from 6.11.4 to 6.11.5 in the npm_and_yarn group across 1 directory
2026-04-17 13:13:01 +02:00
dependabot[bot] a1eb86c5ef chore(deps): bump protobufjs
Bumps the npm_and_yarn group with 1 update in the / directory: [protobufjs](https://github.com/protobufjs/protobuf.js).


Updates `protobufjs` from 6.11.4 to 6.11.5
- [Release notes](https://github.com/protobufjs/protobuf.js/releases)
- [Changelog](https://github.com/protobufjs/protobuf.js/blob/master/CHANGELOG.md)
- [Commits](https://github.com/protobufjs/protobuf.js/compare/v6.11.4...v6.11.5)

---
updated-dependencies:
- dependency-name: protobufjs
  dependency-version: 6.11.5
  dependency-type: indirect
  dependency-group: npm_and_yarn
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-04-17 00:21:35 +00:00
Dragan Spiridonov c9cf4bb194 Merge pull request #427 from proffesor-for-testing/working-april
chore(release): v3.9.12
v3.9.12
2026-04-16 11:56:46 +02:00
Dragan Spiridonov 42da03e298 Merge branch 'main' into working-april 2026-04-16 11:41:49 +02:00
Dragan Spiridonov a85a987e3c chore(release): bump version to v3.9.12
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-16 09:31:13 +00:00
Dragan Spiridonov b25956f2b0 fix(init): prevent aqe init from duplicating ruflo hooks and eliminate init hang
- Add ruflo/bundle.js patterns to AQE_COMMAND_PATTERNS so mergeHooksSmart
  recognizes ruflo-installed hooks and replaces them instead of duplicating
- Check root .mcp.json in Claude Flow detection (where ruflo/aqe actually
  write MCP config) to avoid falling through to slow 5-10s npx binary probe
- Remove runPretrainAnalysis (120s timeout execSync) from aqe init — pretrain
  is already handled by ruflo init, was the primary cause of init appearing stuck

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-16 09:19:19 +00:00
Dragan Spiridonov d6cebbf0df Merge pull request #426 from proffesor-for-testing/dependabot/npm_and_yarn/npm_and_yarn-da47bb892b
chore(deps): bump hono from 4.12.12 to 4.12.14 in the npm_and_yarn group across 1 directory
2026-04-16 10:13:34 +02:00
dependabot[bot] dbae7f73f8 chore(deps): bump hono in the npm_and_yarn group across 1 directory
Bumps the npm_and_yarn group with 1 update in the / directory: [hono](https://github.com/honojs/hono).


Updates `hono` from 4.12.12 to 4.12.14
- [Release notes](https://github.com/honojs/hono/releases)
- [Commits](https://github.com/honojs/hono/compare/v4.12.12...v4.12.14)

---
updated-dependencies:
- dependency-name: hono
  dependency-version: 4.12.14
  dependency-type: indirect
  dependency-group: npm_and_yarn
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-04-16 07:22:11 +00:00
Dragan Spiridonov 9bcf30fa1d Merge pull request #425 from proffesor-for-testing/dependabot/npm_and_yarn/npm_and_yarn-85af2c71bb
chore(deps): bump follow-redirects from 1.15.11 to 1.16.0 in the npm_and_yarn group across 1 directory
2026-04-16 09:20:48 +02:00
dependabot[bot] 79e4c4bdc6 chore(deps): bump follow-redirects
Bumps the npm_and_yarn group with 1 update in the / directory: [follow-redirects](https://github.com/follow-redirects/follow-redirects).


Updates `follow-redirects` from 1.15.11 to 1.16.0
- [Release notes](https://github.com/follow-redirects/follow-redirects/releases)
- [Commits](https://github.com/follow-redirects/follow-redirects/compare/v1.15.11...v1.16.0)

---
updated-dependencies:
- dependency-name: follow-redirects
  dependency-version: 1.16.0
  dependency-type: indirect
  dependency-group: npm_and_yarn
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-04-15 20:20:19 +00:00
Dragan Spiridonov 1c8a9f203d Merge pull request #424 from proffesor-for-testing/working-april
chore(release): v3.9.11
v3.9.11
2026-04-13 13:47:26 +02:00
Dragan Spiridonov 32d560f2f4 fix(release-skill): include PR template required checkbox in Step 10
The /release skill's PR body template was missing the required
failure-modes checkbox from .github/PULL_REQUEST_TEMPLATE.md,
causing CI to reject release PRs. Updated Step 10 with the full
PR template structure (Summary, Verification, Failure modes,
Required check) and added PR body compliance to the Rules section.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-13 11:26:01 +00:00
Dragan Spiridonov dca7dc53d0 chore(release): bump version to v3.9.11
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-13 11:05:28 +00:00
Dragan Spiridonov 6b7cf77e67 fix(init): detect upgrade when config.yaml is missing from prior install
detectVersionUpgrade() returned false whenever .agentic-qe/config.yaml
was absent, which happens when a previous init was interrupted before
Phase 12 wrote the config. This caused `aqe init --auto` to skip
updated agent definitions and new helper files on version upgrades.

Add fallback: if qe-*.md agents already exist in .claude/agents/v3/
but config.yaml is missing/unreadable, treat as upgrade so
shouldOverwrite is set correctly. Also log when helpers/templates
source directories are not found instead of silently skipping.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-13 10:44:17 +00:00
Dragan Spiridonov cefe881d51 Merge pull request #423 from proffesor-for-testing/working-april
chore(release): v3.9.10
v3.9.10
2026-04-13 10:09:01 +02:00
Dragan Spiridonov 4b1258c5ab docs(release): rewrite v3.9.10 notes with user-facing value descriptions
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-13 07:51:40 +00:00
Dragan Spiridonov 8eaac3aa51 Merge branch 'main' into working-april 2026-04-13 09:47:20 +02:00
Dragan Spiridonov b02ace1c80 chore(release): bump version to v3.9.10
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-13 07:40:25 +00:00
Dragan Spiridonov 24e30e0584 feat(advisor): implement ADR-092 provider-agnostic advisor strategy
Multi-model routing layer with circuit breaking, PII redaction, and
domain-specific prompts for the Queen coordinator.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-13 07:40:20 +00:00
Dragan Spiridonov c0f53ea7e2 Merge pull request #422 from proffesor-for-testing/dependabot/npm_and_yarn/npm_and_yarn-94be095972
chore(deps): bump axios from 1.13.6 to 1.15.0 in the npm_and_yarn group across 1 directory
2026-04-12 17:07:44 +02:00
dependabot[bot] 85425c5c00 chore(deps): bump axios in the npm_and_yarn group across 1 directory
Bumps the npm_and_yarn group with 1 update in the / directory: [axios](https://github.com/axios/axios).


Updates `axios` from 1.13.6 to 1.15.0
- [Release notes](https://github.com/axios/axios/releases)
- [Changelog](https://github.com/axios/axios/blob/v1.x/CHANGELOG.md)
- [Commits](https://github.com/axios/axios/compare/v1.13.6...v1.15.0)

---
updated-dependencies:
- dependency-name: axios
  dependency-version: 1.15.0
  dependency-type: indirect
  dependency-group: npm_and_yarn
...

Signed-off-by: dependabot[bot] <support@github.com>
2026-04-12 11:27:56 +00:00
Dragan Spiridonov c62aa48bec Merge pull request #421 from proffesor-for-testing/feat/qe-browser-skill-vibium
chore(release): v3.9.9 — qe-browser fleet skill
v3.9.9
2026-04-09 14:22:36 +02:00
Dragan Spiridonov 21db2c93c3 fix(qe-browser): add character allowlist to safeRegex (CodeQL sanitizer)
Previous safeRegex relied on type + length checks, but CodeQL's
js/regex-injection taint analysis still flagged the `new RegExp(pattern)`
call because the tainted value still reached the constructor. Length
alone is not a sanitizer.

Fix: layered defense with an explicit character allowlist that CodeQL
recognizes as a sanitizer:

  1. Type check (must be string)
  2. Length cap (MAX_REGEX_PATTERN_LENGTH = 1024)
  3. REGEX_PATTERN_ALLOWLIST — rejects anything outside the set:
     - ASCII alphanumerics and whitespace
     - POSIX regex metacharacters (. * + ? ^ $ ( ) [ ] { } | \ -)
     - Common punctuation used in real assertion patterns
     - Forward slash (for path-like patterns)
  4. Try/catch around RegExp constructor for syntax errors

Control characters, high-Unicode (emoji), and binary data are rejected
before they reach `new RegExp`. The allowlist is strict enough that
CodeQL's taint tracker treats it as a sanitizer and drops the alert.

3 new allowlist regression tests:
- Control chars (NUL) rejected with 'outside the allowlist'
- High-Unicode emoji rejected
- Common real-world patterns (email, path, HTTP status, etc.) accepted

Total: 109 qe-browser tests → 112 (was 103 before the CodeQL chain).

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-09 12:04:55 +00:00
Dragan Spiridonov 57a82ae0da fix(qe-browser): safeRegex guard for user-supplied check.pattern (CodeQL js/regex-injection)
CodeQL flagged the `new RegExp(check.pattern)` construction in
runConsoleCheck (assert.js:180) as a js/regex-injection vulnerability.
The pattern comes from the user-supplied --checks JSON, which CodeQL
correctly treats as a taint source even though it's the user's own
command-line input (defense in depth against ReDoS via pathological
patterns like `(a+)+$`).

Fix: new safeRegex() helper validates the pattern BEFORE constructing
the RegExp:
- Rejects non-string input
- Caps at MAX_REGEX_PATTERN_LENGTH (1024 chars) to prevent ReDoS
- Try/catches the RegExp constructor so invalid syntax returns an
  error instead of crashing the whole assertion pass

Applied to runConsoleCheck's console_message_matches case. The
title_matches case at line 111 builds a RegExp in the browser-side
eval script; that's the browser's regex engine, not ours, so it's
outside CodeQL's taint tracking and doesn't need the guard.

6 new regression tests in qe-browser-assert.test.ts cover:
- safeRegex exports + MAX_REGEX_PATTERN_LENGTH
- normal input returns a working RegExp
- non-string input rejected
- invalid syntax caught without throwing
- over-length patterns rejected
- exactly-at-limit accepted

Test totals: 109 qe-browser tests (was 103), all passing.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-09 11:58:13 +00:00
Dragan Spiridonov 7f0addae1d fix(qe-browser): move vibium to optionalTools for CI validator
The Tier 3 validator runs per-skill in a matrix job on every PR touching
that skill. The workflow does not install external runtime dependencies,
so marking vibium as a requiredTool caused the validator's Step 1
(tool existence check) to fail for qe-browser with:

  [FAIL] Required tool MISSING: vibium

This matches the pattern used by a11y-ally, which lists playwright,
axe-core, npm, and python3 as optionalTools. The runtime tools are
verified via smoke-test.sh tc001-tc011 (when vibium is on PATH) and
by the missing-vibium contract in qe-browser-unavailable-e2e.test.ts
(when vibium is NOT on PATH) — not by the static validator.

The validator's schema check, JSON handling, library self-test,
and enum validations all still run unchanged. Only the `which vibium`
existence check moves from HARD FAIL to WARN.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-09 11:50:36 +00:00
Dragan Spiridonov 9befc9a647 chore(release): bump version to v3.9.9
Ships qe-browser fleet skill (Vibium engine, ADR-091) — a ~10MB Go binary
replacement for 300MB Playwright with typed assertions, batch execution,
visual-diff, prompt-injection scanning, and semantic intents. 11 skills
migrated to the new engine.

Total skills: 84 → 85. Tier 3 verified: 49 → 50. Manifest: 1.3.0 → 1.4.0.
fleetVersion bumped to 3.9.9 in skills-manifest.json.

See CHANGELOG.md and docs/releases/v3.9.9.md for details.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-09 11:44:07 +00:00
Dragan Spiridonov 4354be0321 docs(skills): add qe-browser to user-facing docs + bump counts
qe-browser is a new Tier 3 fleet skill (added in commits cd4ea7e4
through 9c52823e on this branch, per ADR-091). This commit propagates
its existence to the user-facing documentation and manifests that
were still carrying pre-qe-browser counts.

Count changes (AQE skills only; platform skills unchanged):

- Total QE skills:       84 → 85
- Tier 3 verified:       48 → 49
- V3 Domain skills:      23 → 24
- README.md headline:    "74 QE Skills" → "75 QE Skills"
- agentic-qe-intro.md:   "74 total" → "75 total", "114 defs" → "115"

Files updated:
- README.md: bumped headline count, Tier 3 count in tier table,
  "View all X skills" summary, and added a new "Browser Automation (1)"
  category row pointing at ADR-091
- docs/agentic-qe-intro.md: bumped "Selected QE skills (74 total)" to 75,
  added "Browser" category row with /qe-browser, bumped tree "114
  skill definitions" to 115
- .claude/skills/README.md + assets mirror: bumped Summary counts,
  V3 Domain Skills heading, and added qe-browser as a full description
  entry in the V3 Domain Skills list with a link to ADR-091
- .claude/skills/skills-manifest.json + mirror: manifest version 1.3.0
  → 1.4.0, totalSkills 48 → 49, totalQESkills 80 → 81, added new
  "browser-automation" category, bumped skillBreakdown counts,
  updated notes to reference ADR-091
- .claude/skills/trust-tier-manifest.json + mirror: summary.tier3
  49 → 50 (this file already counted one more than skills-manifest),
  total 112 → 113, validationStatus.passing 49 → 50, added qe-browser
  entry to skillsByTier.tier3 list with category "browser-automation"

Historical CHANGELOG entries (v3.9.x and earlier) intentionally left
at 84 — they describe past state.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-09 10:50:22 +00:00
Dragan Spiridonov 9c52823e0e fix(qe-browser): F1 — implement documented vibium-unavailable contract
Phase 5 UAT discovered the helper scripts surfaced missing-vibium as
`actual: "eval error: vibium binary not found..."` inside a `failed`
envelope. The Fallback Policy in SKILL.md said scripts MUST return
status:"skipped" with reason "browser-engine-unavailable" — that
contract was aspirational. F1 makes it real.

Contract changes:
- lib/vibium.js: ENOENT now throws typed VibiumUnavailableError (with
  stable code:"BROWSER_ENGINE_UNAVAILABLE" for cross-module duck typing)
- New helper unavailableEnvelope() returns canonical skipped envelope
  with top-level vibiumUnavailable:true and output.reason field
- New runOrSkip() wraps each helper's main() and converts the typed
  error into the documented envelope on the way out
- New rethrowIfUnavailable() helper used inside per-script catch blocks
  so missing-vibium bubbles past local "convert exception to fail()"
  handlers — assert.runConsoleCheck/runNetworkCheck/runBrowserSideCheck,
  batch's per-step catch, check-injection main, intent-score main,
  visual-diff main all updated
- emit() now returns exit code 2 for status:"skipped" (was 1)
- Exit code contract documented: 0=success, 1=failed, 2=skipped

Downstream skills can now branch on result.vibiumUnavailable === true
or exit code === 2 instead of grepping the actual string for
"vibium binary not found".

Tests: 103 (was 86). New file qe-browser-unavailable-e2e.test.ts spawns
each of the 5 helpers under PATH=/tmp/fake-bin (node only, no vibium)
and asserts exit 2 + skipped envelope shape. vibium-lib test grew from
10 to 22 cases including VibiumUnavailableError, runOrSkip, exit codes.

Smoke test: 10/10 PASS (was 9/9). New tc011 builds a fake bin dir
inside the smoke test work dir and verifies the contract end-to-end
against the actual installed scripts.

SKILL.md updated:
- Output Contract section now documents all 3 statuses with shapes
  and exit codes
- Fallback Policy replaced generic prose with concrete bash + Node
  snippets that branch on the structured field

ADR-091 Phase 6 documents the change and verification.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-09 08:56:11 +00:00
Dragan Spiridonov e468038c4d docs(adr-091): Phase 5 — user-perspective verification of qe-browser
Ran fresh `aqe init --auto` against an empty test project at
/tmp/qe-browser-uat and exercised every helper script as a real user.
12 checks documented in ADR-091, all passing:

  1. qe-browser skill installed cleanly
  2. navigate + assert end-to-end against httpbin.org
  3. M5 --threshold=0.42 form parsed live (verified non-default value)
  4. M6 batch pre-validation aborts BEFORE side effects
  5. M7 intent-score returns scored candidates from real form
  6. M4+M8 check-injection --exclude-selector strips body (3595→35 chars)
  7. M2 fixture server binds 127.0.0.1 (verified via banner)
  8. M3 path traversal blocked (HTTP 404 on /etc/passwd.html)
  9. Vibium-missing fallback returns clear actionable error
 10. Installed smoke-test.sh: 9/9 PASS from inside test project
 11. Idempotent re-init: Browser engine line still printed
 12. JSON envelope contract validated on every emit

H6 pre-flight short-circuit confirmed in production:
  "Browser engine: vibium 26.3.18 (already installed)"
The "this can take 1-3 minutes" banner is suppressed when vibium is
already on PATH, matching the documented Phase 2 behavior.

New finding logged as F1 (NOT a Phase 4 regression):
  Helper scripts surface missing-vibium as `actual: "eval error: ..."`
  inside a `failed` envelope. The SKILL.md Fallback Policy says
  downstream skills should report status:"skipped" reason:
  "browser-engine-unavailable". A cleaner contract would be a
  top-level vibiumUnavailable:true flag. Not a blocker.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-09 08:29:22 +00:00
Dragan Spiridonov 3eb9ccc461 fix(qe-browser): Phase 4 — all 9 medium devil's-advocate findings
M1 visual-diff threshold: documented "max difference fraction" convention
matching Playwright maxDiffPixelRatio (was inconsistent in docs/code).

M2 fixture server bind: default to 127.0.0.1 instead of 0.0.0.0;
QE_BROWSER_FIXTURE_HOST=0.0.0.0 opt-in for explicit external access.
Codespaces auto-forwards 0.0.0.0 ports — this was an unintentional open
server every time the eval ran.

M3 path-traversal guard: replaced startsWith() with path.relative() +
'..'/absolute check. The old guard false-passed sibling-prefix dirs
(/foo vs /foo2) and was fragile on Windows mixed separators.

M4 ANSI escape injection: added sanitizeSnippet() that strips C0 controls
(0x00-0x1F except \t\n) and DEL (0x7F) from every check-injection
finding snippet. Prevents `cat findings.json` from triggering terminal
control sequences embedded in malicious page content.

M5 parseArgs --key=value: split on first '=' so --threshold=0.05 works
alongside --threshold 0.05. Only the first '=' is split so URL/base64
values survive intact.

M6 batch.js pre-validation: added validateAllSteps() that walks every
step's required fields BEFORE the first vibium call. Step 17 typo now
aborts before steps 1-16 execute their side effects.

M7 intent-score bare-x regex: anchored \bx\b in close_dialog scorer so
"fix", "exit", "extra", "sixteen" no longer match. Unicode × and ✕
unchanged.

M8 check-injection --exclude-selector: new flag drops subtrees from
the scan. Page text is read from a CLONE of <body> with matching
elements removed — live page unchanged. Lets docs sites scan their
own pages without self-flagging documentation about prompt injection.

M9 09-assets vibium catch: wrapped raw error with actionable recovery
guidance (`npm install -g vibium`, then re-run `aqe init`).

Hidden bug found and fixed during M2/M3 testing: fixtures/serve-skills.js
existed but had never been run because the repo root is ESM and the file
uses CommonJS require(). Added scoped fixtures/package.json with
"type": "commonjs" matching the existing scripts/package.json pattern.

Tests: 86 unit tests across 7 files (was 50). All pass.
Smoke test: 9/9 still passing against real Vibium v26.3.18.
Mirrored .claude/skills/qe-browser → assets/skills/qe-browser.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-09 08:13:40 +00:00
Dragan Spiridonov 4fa437c4e1 docs(qe-browser): platform support + Phase 3 gotchas + .gitignore for .aqe
- Add Platform support table to SKILL.md (mac-arm64/mac-x64/linux-x86_64
  verified, Linux ARM64 needs documented chromium-symlink workaround)
- Add Headless mode section explaining why helpers auto-inject --headless
- Document the 7 gotchas Phase 3 found, in references/migration-from-playwright:
  1. Vibium defaults to visible browser
  2. screenshot -o ignores directory
  3. screenshot --selector flag does not exist in v26.3.x
  4. eval --stdin returns last expression value, not console.log
  5. Linux ARM64 chromium-symlink workaround
  6. visual-diff needs explicit viewport for determinism
  7. npm install -g vibium can take 1-3 minutes
- Add .aqe/ to .gitignore so visual-baselines and helper local state
  don't leak into commits

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-09 07:35:26 +00:00
Dragan Spiridonov 4e52d573f7 fix(qe-browser): Phase 3 — real Vibium smoke test verified 9/9 passing
User pushed back on Phase 3 attempt 1 ("blocked on linux-arm64"). After
re-verifying upstream — Vibium 26.3.18 IS the latest on npm, Chrome for
Testing across Stable/Beta/Dev/Canary still ships only linux64 (x86_64),
mac-arm64, mac-x64, win32, win64 — installed Debian's native ARM64
chromium + chromium-driver via apt and symlinked them into Vibium's
cache. Then ran the smoke test for real and found four real bugs in
the qe-browser helper scripts that would have shipped broken.

Bugs found and fixed:

1. Eval contract was wrong. lib/vibium.js's vibiumEvalStdin sent
   `console.log(...)` expecting Vibium to capture it. Vibium doesn't —
   `eval` returns the LAST EXPRESSION's value as
   `{"ok":true,"result":"<stringified>"}`. Fix: dropped console.log
   wrappers from assert.js/intent-score.js/check-injection.js; added
   unwrapEvalResult() in lib/vibium.js that parses the envelope and
   JSON-decodes the result string back into our object.

2. lib/vibium.js did not inject --headless. Vibium defaults to visible
   browser, which fails in headless containers with "Missing X server
   or $DISPLAY". Fix: lib/vibium.js prepends --headless unless
   QE_BROWSER_HEADED=1 is set in the env.

3. `vibium screenshot -o /abs/path/foo.png` ignores the directory and
   saves to `~/Pictures/Vibium/foo.png`. Verified live. Fix:
   visual-diff.js passes just the basename, reads from Vibium's actual
   output dir, copies to the requested path, unlinks the source.

4. `vibium screenshot --selector` flag does NOT exist in v26.3.x.
   Verified via `vibium screenshot --help`. Fix: visual-diff.js throws
   a clear error with remediation guidance if a caller passes
   --selector. (B3's "fall back to eval-clip" comment is now removed.)

Plus a real environment-flakiness fix: smoke-test.sh sets
`vibium viewport 1280 720` before tc006/tc007 visual-diff captures
because httpbin.org/html renders at non-deterministic dimensions
(765x672 vs 780x654 observed) when no viewport is set, causing
spurious pixel-diff failures.

Verbatim smoke test result on this codespace:

  Smoke testing against vibium v26.3.18
  PASS  tc001 url_contains on httpbin form
  PASS  tc002 selector_visible h1 on httpbin /html
  PASS  tc003 failing assertion exits 1
  PASS  tc004 batch 3-step happy path
  PASS  tc005 batch stops on first failure
  PASS  tc006 visual-diff baseline created
  PASS  tc007 visual-diff second run matches
  PASS  tc008 check-injection clean page
  PASS  tc010 intent-score submit_form on httpbin form
  PASS: 9  FAIL: 0  SKIPPED: 0

Unit tests still pass: 50/50 (one test had to be updated — it asserted
`buildScript` includes 'console.log', which is now correctly NOT in the
script after the eval-contract fix).

Phase 3 verification COMPLETE per ADR-091. The qe-browser helpers work
end-to-end against real Vibium + real Chromium + pinned httpbin.org
fixtures. The Linux ARM64 chromium-symlink workaround is documented in
ADR-091; user-facing docs in references/migration-from-playwright.md
still need updating (marked as Phase 4 follow-up).

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-09 07:24:40 +00:00
Dragan Spiridonov 07f20e13cf docs(adr-091): Phase 3 attempt 1 — blocked on Linux ARM64 chromedriver
Ran the smoke test in this codespace (linux-arm64). Vibium installed
cleanly (v26.3.18) and the H1 detectVibium fix verified against real
binary output. tc003 and tc005 passed (failure-path tests that don't
need a browser). The other 7 tests failed because Google does not
publish chrome-for-testing for linux-arm64; Vibium downloaded the
linux64 (x86_64) variant which dies under Rosetta with an elf-loader
error.

Workarounds attempted and rejected:
  - apt install chromium → native ARM64 binary works but Vibium
    hardcodes its own cached chromedriver, no --browser-path flag
  - searched the binary for VIBIUM_CHROME_PATH / --browser-path /
    BROWSER env var support → none in v26.3.18
  - System chromium responds at /json/version with CDP, not BiDi;
    would need a BiDi-speaking chromedriver to use --connect

Conclusion: Phase 3 verification cannot complete on linux-arm64. This
is a Vibium upstream platform gap, NOT a qe-browser bug. The qe-browser
script-level integration with the real vibium binary IS partially
verified by the 2 passing tests.

Added "Vibium does not support Linux ARM64 today" to the Negative
Consequences section. PR reopen still gated on running smoke-test.sh
on linux-x64 or mac-arm64.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-08 19:09:28 +00:00
Dragan Spiridonov 2988cbcc7c fix(qe-browser): Phase 2 high-severity fixes from devil's-advocate review
H1: detectVibium reads stderr too, extracts semver
  - Many Go CLIs (including some Vibium versions) write --version to stderr.
    detectVibium used to read only stdout and silently report 'unknown',
    polluting the init log with "vibium unknown (already installed)".
  - Fix: read both streams, prefer stdout, extract bare semver via regex
    so output is consistent regardless of where the binary printed it.
  - Tests: 5 new regression tests covering stderr fallback, stdout
    preference, verbose-format extraction, prerelease tags, fallback to
    first whitespace token.
  - Note: result.version is now bare semver (26.3.18) not v-prefixed.
    Two pre-existing tests updated to match the new contract.

H2: instructions_in_html_comment dead-code regex
  - TreeWalker(SHOW_COMMENT).textContent yields the inner text without
    the <!-- --> delimiters, so the pattern that requires the literal
    `<!--` prefix could never fire. Eval tc009 was passing only by
    accident (ignore_previous_instructions fired on the same fixture).
  - Fix: re-wrap each comment node in `<!-- ... -->` before adding to
    the hidden bucket. Pattern can now actually match.
  - Tests: 2 new regression tests asserting wrapped form fires AND
    unwrapped form does NOT fire (the bug condition).

H4: e2e-flow-verifier frontmatter regression — INVALID FINDING
  - Verified against `git show main:` — the skill always had minimal
    frontmatter on main (just name + description + user-invocable: true)
    and has no evals/, schemas/, or scripts/ directories. It is a
    user-invocable runbook-style skill, not trust-tier-3 validated.
    No metadata to restore. Marked closed-as-invalid.

H6: log-before-spawn for the 3-minute Vibium install
  - spawnSync(npm install -g vibium) blocks the event loop for up to
    3 minutes on a cold cache while Chrome for Testing downloads. The
    user saw zero output and would Ctrl-C thinking init hung.
  - Fix: pre-flight detect call (5s timeout) short-circuits when vibium
    is already installed (the common case, no banner). When the install
    is actually about to run, log a clear "this can take 1-3 minutes,
    downloads Chrome for Testing lazily" message BEFORE the spawn.

H7: scoped scripts/package.json survives npm pack — VERIFIED
  - `npm pack --dry-run` confirms both
    .claude/skills/qe-browser/scripts/package.json (225B) AND
    assets/skills/qe-browser/scripts/package.json (225B)
    are included in the published tarball. The CommonJS override that
    keeps the helper scripts loadable from an ESM project root will
    survive `npm install` after publication. No fix needed.

H8: eval yaml uses unsupported runner fields
  - The structured assertion fields I invented (exit_code, json_fields,
    severity_at_least, candidate_count_at_least) are NOT understood by
    src/validation/parallel-eval-runner.ts which expects must_contain
    keyword matching. The yaml as written is unrunnable.
  - Honest fix: relabel evals/qe-browser.yaml as `status: design-spec`
    with a HONESTY NOTE explaining it's a specification, not a runnable
    eval. Two paths to make it runnable documented (extend runner OR
    rewrite as must_contain).
  - Parallel artifact: scripts/smoke-test.sh — a runnable bash smoke
    test against the same pinned httpbin.org fixtures. THIS is the
    script that gates PR-reopen per ADR-091 Phase 3.

Bonus from B2/H5 already in Phase 1:
  - assert.js now uses ?? instead of || for the `expected` field

Verification:
  - 50/50 qe-browser tests pass (was 36 in initial PR; +14 regressions)
  - 392/392 init tests pass (was 387; +5 from H1)
  - npm run build: clean
  - npm pack --dry-run: scoped package.json confirmed in tarball
  - eslint on all touched source files: clean
  - bash -n smoke-test.sh: syntax OK

Phase 3 (real Vibium smoke test) still gating PR reopen per ADR-091.
Branch intentionally not pushed.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-08 18:50:39 +00:00
Dragan Spiridonov 72e6e2403b fix(qe-browser): Phase 1 blockers from devil's-advocate review + ADR-091
Three correctness blockers identified by qe-devils-advocate review of the
initial qe-browser implementation (PR #420, closed without merge):

B1: intent-score.js String.replace special-char corruption
  - SCORER_JS.replace('__SCOPE__', JSON.stringify(scope)) interpreted $&,
    $`, $', $1-$9 in the replacement string. Scopes like
    div[data-x="$amount"] silently corrupted the generated script.
  - Fix: split('__TOKEN__').join(value) for literal substitution.
  - Tests: 4 new regression tests covering $&, $', $1, intent placeholder.

B2: assert.js fail-OPEN on console/network telemetry errors
  - runConsoleCheck/runNetworkCheck used to return ok:true when
    `vibium console --json` failed for any reason. no_console_errors
    silently reported pass when telemetry was unavailable.
  - Fix: new unavailable() sentinel returns ok:false + unavailable:true.
    runCheck surfaces it via a new `unavailable` field. Summary
    distinguishes "assertion failed" from "telemetry unavailable".
  - Bonus (H5): expected-field uses ?? not || so element_count {count: 0}
    reports `expected: 0` instead of `null`.
  - Tests: 2 new regression tests on the sentinel + element_count zero.

B3: visual-diff.js dead fallback comment
  - Source comment promised "fall back to eval-clip if not present" but
    no fallback existed. Direct violation of feedback_no_unverified_failure_modes.
  - Fix: comment removed; specific error handler added for unsupported
    --selector flag with clear remediation message. No fake fallback —
    silently substituting full-page would produce wrong baselines.

Plus: ADR-091 documents the Vibium-as-engine decision with full
rejected-alternatives section (dev-browser, gsd-browser, Playwright MCP,
status quo, build-from-scratch), four implementation phases, and a risks
table tracking the 11 devil's-advocate findings with status. Phase 3
(real Vibium install + smoke test) is explicitly gating PR reopen.

Verification:
  - 420/420 tests pass (387 init + 33 qe-browser, 6 new regression tests)
  - npm run build: clean
  - eslint on touched files: clean
  - All 6 helper scripts pass node --check

Branch is intentionally not pushed and PR is intentionally not reopened
until Phase 2 (H1, H2, H4, H6, H7, H8) and Phase 3 (real Vibium smoke
test) are complete.

Refs: docs/implementation/adrs/ADR-091-qe-browser-skill-vibium-engine.md

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-04-08 18:36:20 +00:00