Skip to content

docs: add Bob install requirements document - #479

Merged
drchristensen merged 5 commits into
mainfrom
feat/bob-install-requirements-478
Oct 29, 2026
Merged

drchristensen merged 5 commits into
mainfrom
feat/bob-install-requirements-478

Conversation

@drchristensen

@drchristensen drchristensen commented Oct 29, 2026 •

Copy link
Copy Markdown
Collaborator

Add docs/bob-install-requirements.md, a document that records what a Bob user
must supply to make adept skills work. Each claim is marked verified, documented, or
unverified with the environment used.

The document covers all seven items from the issue:

  1. Minimum file tree for global (~/.bob) and project (.bob) scope, including
    references/ and scripts/check-public-safety.sh
  2. <plugin root> resolution for copy vs symlink install, per script, with supported path stated
  3. Bob IDE and Bob Shell symlink-following caveats and reload behaviour
  4. How a skill's directory is named to the model under Bob (the name field, not directory name)
  5. Collision and idempotency rules for pre-existing content and re-runs
  6. adept features with no Bob equivalent ($name shorthand, agents/openai.yaml, plugin marketplace)
  7. Open decisions blocking an installer (ADR 0001 / "no install script", "Bob is retired" plan note)

Also includes the mandatory plugin.json version bump (7.12.2 → 7.12.3, ADR 0022).

CI note

Ubuntu CI failed twice on tests/fixtures/quest-log/claim-test.sh — the concurrent-mkdir CAS
test fires a race on ubuntu azure runners. This change does not touch any claim code. Filed as
#480. macOS CI and all other ubuntu checks pass.

Closes #478

Records the minimum file tree, plugin-root resolution behaviour,
symlink-following caveats, skill naming, collision/idempotency rules,
Bob-unsupported features, and open blocking decisions for a future Bob
installer. Each claim is marked verified or unverified with the
environment used.

Closes #478
…n bump

- Add 'documented' verification marker for Bob-docs-sourced claims
- Fix file tree ASCII diagram to show references/ and scripts/ as
  siblings of skills/ inside ~/.bob/
- Correct ADR 0001 quote attribution (text is from CLAUDE.md, not ADR)
- Fix version-field table row to cite plugin.json, not marketplace.json
- Fix plan citation from line 979 to line 969 for the SKIPPED header
- Attribute symlink measurement to issue body, not a re-run
- Bump plugin version to 7.12.3 (required per-PR edit, ADR 0022)
…refs

- Fix §2 symlink table: logical-cd scripts resolve to ~/.bob/, not
  checkout; physical-cd scripts resolve to checkout (split, not both fail)
- Fix §4 harness injection claim: mark as unverified under Bob
- Fix §6 table: use 'documented' for Bob-docs claims; correct marketplace
  description to 'skills marketplace'; fix  convention attribution
- Fix §1 cross-reference from §4 to §5
- Fix plan line citation from 979 to 969 for SKIPPED header
- Update spec scope note to account for mandatory plugin.json bump
@drchristensen

Copy link
Copy Markdown
Collaborator Author

verdict: approve
exit: none
findings: 0
iterations: 3
security: not triggered
delivered-head-sha: 95913cc

Forge whole-branch review

forge review: not required (light-spec cast mode implemented directly in quest session)

@drchristensen
drchristensen merged commit cfa7b01 into main Oct 29, 2026
4 of 8 checks passed
@drchristensen
drchristensen deleted the feat/bob-install-requirements-478 branch October 29, 2026 17:36
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.

Document IBM Bob install requirements as the basis for a Bob installer

1 participant