Skip to content

Show Pi resource profiles in patchmill doctor#99

Merged
rochecompaan merged 9 commits into
mainfrom
agent/issue-90-show-pi-resource-profiles-in-patchmill-doctor
Jul 18, 2026
Merged

Show Pi resource profiles in patchmill doctor#99
rochecompaan merged 9 commits into
mainfrom
agent/issue-90-show-pi-resource-profiles-in-patchmill-doctor

Conversation

@rochecompaan

Copy link
Copy Markdown
Owner

Summary

  • Added shared Pi resource profiles for run-once planning, development-environment, implementation, and triage invocations.
  • Added read-only doctor Pi resource discovery and compact resource profile output.
  • Integrated resource warnings and quiet-mode handling without changing required-check failure semantics.

Validation

  • node --test src/pi/resource-profiles.test.ts src/cli/commands/run-once/pi.test.ts src/pi/runner.test.ts src/cli/commands/triage/dry-run-agent.test.ts src/cli/commands/triage/execute-agent.test.ts src/cli/commands/doctor/*.test.ts — 118 pass, 0 fail.
  • npm test — 1051 pass, 0 fail.
  • npm run lint:ts — passed.
  • npm run lint:md — passed.
  • npm run lint — failed only at format:check for unchanged plan/spec markdown files: docs/plans/2026-07-15-patchmill-doctor-pi-resources.md, docs/specs/2026-07-15-patchmill-doctor-pi-resources-design.md.
  • Manual node bin/patchmill.ts doctor --quiet / doctor — resource blocks printed before the checklist when local required checks failed; failures were local Pi provider/auth readiness.
  • Mutation check — no tracked changes and no Pi package install/update artifacts; provider smoke test created .patchmill/pi-agent/auth.json, which was removed after inspection.

Reviews

  • Final Codex full-worktree re-review: pass.
  • Final thermo-nuclear full-worktree second re-review: pass after accepted fixes.

Closes #90

@rochecompaan
rochecompaan force-pushed the agent/issue-90-show-pi-resource-profiles-in-patchmill-doctor branch from 8661777 to 4e2491a Compare July 18, 2026 19:52
@rochecompaan
rochecompaan merged commit 67ef0e0 into main Jul 18, 2026
2 checks passed
@rochecompaan
rochecompaan deleted the agent/issue-90-show-pi-resource-profiles-in-patchmill-doctor branch July 18, 2026 19:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Show Pi resource profiles in patchmill doctor

1 participant