Skip to content

Specula v0.2.0

Choose a tag to compare

View all tags
@Qian-Cheng-nju Qian-Cheng-nju released this 14 Jul 12:17
· 0 commits to 9bdb71785468497b2c44a64e3f5c37c3b7714adc since this release
v0.2.0
0036442
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Specula v0.2.0 adds an observable, resumable CLI pipeline around its workflow.

Highlights

  • A unified specula CLI now covers full runs, individual phases, batch execution, reviews, and setup. All public -h and --help paths print guidance without starting setup or phase work.
  • Pipeline runs are isolated by default under runs/<run-id>/, with resumable run IDs, summaries, audit metadata, and a legacy --no-isolate mode.
  • Long-running phases now stream agent activity and file changes, preserve structured activity logs, and fail visibly when agents exit without required deliverables.
  • Claude Code, Codex, and Copilot CLI share a consistent --model / --effort interface. Setup now supports composable skill installation and a generated Codex plugin.
  • An optional macOS/Linux agent sandbox can restrict workspace writes around agent processes and their child processes.
  • The modeling workflow gained distributed and concurrent-system examples, expanded fault-family guidance, specification-fidelity checks, and practical TLC guidance.
  • Core orchestration moved into tested Python components and is now covered by lint, type-checking, unit, and CLI dry-run CI gates.

Upgrade notes

  • Python 3.10 or newer and uv are required.

  • Install the CLI from a persistent source checkout and rerun setup after updating:

    git clone --branch v0.2.0 --depth 1 https://github.com/specula-org/Specula.git
cd Specula
uv tool install -e .
specula setup

  • Keep the source checkout in place: the editable CLI dispatches to the bundled scripts, skills, and tools.

  • Outputs now go to runs/<run-id>/ by default. Pass --no-isolate to retain the legacy output layout.

  • Parallel per-finding confirmation is now the default. Pass --legacy-confirm to retain the v0.1-style confirmation flow (Not recommended).

  • The internal bug_recording skill is no longer shipped to users.

Installation limitations

v0.2.0 is a source release. Plain wheel and PyPI installation are not supported because the runtime depends on repository-local scripts, skills, and tools. Use a persistent Git checkout with the editable installation shown above. For a GitHub source archive, extract it, enter the extracted directory, and run uv tool install -e .; keep that directory in place afterward.

GitHub-generated source archives contain empty submodule directories rather than the submodule contents. The curated case-study corpus and submodule-hosted research tools are therefore absent; use a recursive Git clone when those resources are needed.

Known limitations

  • Native Windows is not supported; use WSL2.
  • Isolated runs do not copy the target repository. Harness generation and bug reproduction may build or modify the checkout supplied through --artifact.

Full changelog: v0.1.0...v0.2.0

Assets 2
Loading