Repository navigation

[MEDIUM] Update pstack and add formal verification skills - #2

Merged

fitziboy3-source merged 79 commits into

adam/releasefrom

codex/pstack-formal-verification-20261019

Oct 20, 2026

Merged

[MEDIUM] Update pstack and add formal verification skills#2
fitziboy3-source merged 79 commits into
adam/releasefrom
codex/pstack-formal-verification-20261019

Commits on Oct 13, 2026
- Merge pull request #180 from ericlitman/release/174-1.8.0
  mergify[bot]
  authored
  40d506c
Commits on Oct 14, 2026
Commits on Oct 15, 2026
- release: Open Pstack 1.9.0 with Luna, Sonnet, the Opus 5.5 pin, Devin and Codex full access (#190)
  
  Eric A. Litman
  and
  claude
  committed
  a648c54
- test(verify): keep fixture git out of the host's global config (#172)
  
  ericlitman
  and
  claude
  committed
  b151645
Commits on Oct 16, 2026
- Merge pull request #193 from ericlitman/test/172-fixture-git-isolation
  mergify[bot]
  authored
  6c8eda4
- Merge branch 'main' into release/190-1.9.0
  mergify[bot]
  authored
  f53309c
- Merge pull request #192 from ericlitman/release/190-1.9.0
  mergify[bot]
  authored
  7cf8cc6
- skills: import in-your-own-words and sharpen from Cursor pstack 0.15.25 (#191, #187)
  
  committed
  d8eeb4d
- sync: port Cursor pstack 0.15.21-0.15.25 skill content (#191)
  
  Eric A. Litman
  and
  claude
  committed
  d462f0a
- release: sync Cursor pstack 0.15.25 as Open Pstack 1.10.0 (#191)
  
  Eric A. Litman
  and
  claude
  committed
  90a89e3
- feat(runner): let adapters set run-owned environment and lane config (#68, #159, #158, #37)
  
  ericlitman
  and
  claude
  committed
  51dac0f
- feat(runner): add a read-only OpenCode provider with DeepSeek V4.1 Flash (#68)
  
  ericlitman
  and
  claude
  committed
  3e513d7
- feat(runner): add a read-only DeepSeek Harness (dsh) provider (#159)
  
  ericlitman
  and
  claude
  committed
  5710758
- feat(runner): add a read-only Amp provider with DeepSeek V4.1 Flash (#158)
  
  ericlitman
  and
  claude
  committed
  502569d
- feat(runner): add a read-only Antigravity (agy) provider with Gemini 3.8 Flash (#37)
  
  ericlitman
  and
  claude
  committed
  61f8f4d
- feat(runner): refuse a dsh other than the measured 0.2.0-rc.2 (#159)
  
  ericlitman
  and
  claude
  committed
  b274055
- Merge pull request #194 from ericlitman/sync/191-cursor-pstack-0.15.25
  mergify[bot]
  authored
  22aff42
- feat(runner): add a read-only Cursor CLI provider with Composer 2.5 and Gemini 3.7 Flash (#71)
  
  ericlitman
  and
  claude
  committed
  9c80520
- Merge remote-tracking branch 'origin/main' into feat/68-159-158-37-worker-providers
  ericlitman
  committed
  8ab2c7d
- fix(runner): keep home config out of read-only lanes (#68, #37, #158, #71)
  
  ericlitman
  and
  claude
  committed
  791f7ad
- fix(runner): pin every dsh sandbox and approval row in the lane patch (#159)
  
  ericlitman
  and
  claude
  committed
  c69b5c4
- fix(runner): run dsh lanes on a run-owned dsh home; fail agy turns that end on a denial (#159, #37)
  
  ericlitman
  and
  claude
  committed
  c65b385
- fix(runner): refuse a dsh lane whose cwd holds .env; resolve DSH_HOME as dsh does (#159)
  
  ericlitman
  and
  claude
  committed
  72c469a
- fix(runner): refuse lanes whose project-config walk would reach the home directory (#68, #159, #158, #37, #71)
  
  ericlitman
  and
  claude
  committed
  3f45dfa
- fix(runner): refuse an OpenCode lane whose effective permissions exceed the lockdown (#68, #159)
  
  ericlitman
  and
  claude
  committed
  08556cd
- refactor(runner): move OpenCode, Amp and Cursor out of this PR (#68, #158, #71)
  
  ericlitman
  and
  claude
  committed
  dd27230
- test(runner): compare config-carried effort line by line (#159)
  
  ericlitman
  and
  claude
  committed
  680fc2e
- test(runner): check dsh's default effort on its own line (#159)
  
  ericlitman
  and
  claude
  committed
  d5c2543
- Merge pull request #196 from ericlitman/feat/68-159-158-37-worker-providers
  mergify[bot]
  authored
  515ed3d
- release: Open Pstack 1.11.0 with the DeepSeek Harness and Antigravity providers (#198)
  
  ericlitman
  and
  claude
  committed
  e99abd7
- Merge pull request #199 from ericlitman/release/198-open-pstack-1.11.0
  mergify[bot]
  authored
  3b8dae6
- verify: enforce live-gate feature selection (#200)
  
  ericlitman
  and
  claude
  committed
  c5841de
- Merge pull request #201 from ericlitman/feat/200-verify-feature-selection
  mergify[bot]
  authored
  4e6d971
- feat(runner): add OpenCode as a read-only external provider (#68)
  
  ericlitman
  and
  claude
  committed
  e679251
- docs(review): read-only means pstack's own CLI settings, with no refusals for the operator's setup (#203)
  
  ericlitman
  and
  claude
  committed
  fe2bf51
- Merge pull request #205 from ericlitman/docs/203-review-trust-operator-config
  mergify[bot]
  authored
  2094580
- refactor(runner): drop OpenCode's pre-launch guard and .opencode/ refusal (#68)
  
  ericlitman
  and
  claude
  committed
  58ad12f
- Merge origin/main for #205's REVIEW.md read-only scope sentences before #202's review
  ericlitman
  committed
  095b127
- Merge pull request #202 from ericlitman/feat/68-opencode-runner
  mergify[bot]
  authored
  1e8e2c6
- release: Open Pstack 1.12.0 with the OpenCode provider (#206)
  
  ericlitman
  and
  claude
  committed
  c3b19a9
- feat(runner): add Amp as a read-only external provider (#158)
  
  ericlitman
  and
  claude
  committed
  cbc2734
- Merge pull request #207 from ericlitman/release/206-open-pstack-1.12.0
  mergify[bot]
  authored
  0b6970b
- Merge branch 'main' into feat/158-amp-runner
  mergify[bot]
  authored
  753eb85
- Merge pull request #208 from ericlitman/feat/158-amp-runner
  mergify[bot]
  authored
  5fb1fca
- release: Open Pstack 1.13.0 with the Amp provider (#209)
  
  ericlitman
  and
  claude
  committed
  a9aa914
- Merge pull request #210 from ericlitman/release/209-open-pstack-1.13.0
  mergify[bot]
  authored
  f8b193c
- feat(runner): add Cursor CLI as a read-only external provider (#71)
  
  ericlitman
  and
  claude
  committed
  3e7b1c3
- Merge pull request #211 from ericlitman/feat/71-cursor-runner
  mergify[bot]
  authored
  f2ece1e
- release: Open Pstack 1.14.0 with the Cursor CLI provider (#213)
  
  ericlitman
  and
  claude
  committed
  757a044
- Merge pull request #214 from ericlitman/release/213-open-pstack-1.14.0
  mergify[bot]
  authored
  2d5fe99
- refactor(runner): drop the Devin, agy and dsh repository refusals (#204)
  
  ericlitman
  and
  claude
  committed
  25617b2
- docs(runner): disclose the agy and Devin config walk, and name the providers whose notes cover it (#204)
  
  ericlitman
  and
  claude
  committed
  3d46e72
- Merge pull request #215 from ericlitman/feat/204-remove-repository-refusals
  mergify[bot]
  authored
  ae3f98d
- release: Open Pstack 1.15.0 without the Devin, agy and dsh repository refusals (#216)
  
  ericlitman
  and
  claude
  committed
  39cb5e4
Commits on Oct 19, 2026

Commits

Commits on Oct 13, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 16, 2026

Commits on Oct 19, 2026