Skip to content

Update documentation with 6 changed files (#4468) #4484

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
rysweet wants to merge 5 commits into
base: main
Choose a base branch
from
Draft

Update documentation with 6 changed files (#4468) #4484

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
f593341
fix(typed-ooda): benign goal-race no-op + outbox busy-retry (#4468)
rysweet Jul 22, 2026
28d479f
refactor(typed-ooda): extract benign no-op finish into named helper
rysweet Jul 22, 2026
c34d360
perf(typed-ooda): avoid per-retry String alloc in busy classifier
rysweet Jul 22, 2026
50e5407
test(typed-ooda): direct unit coverage for busy/locked retry logic
rysweet Jul 22, 2026
b4bdb69
fix(typed-ooda): make ledger open() lock-resilient + de-flake outbox …
rysweet Jul 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions docs/index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,7 @@ Terminal sessions and repo-grounded engineer runs now bridge through one explici
- [Typed-capability OODA architecture](./architecture/typed-ooda-loop.md) - Semantic/typed boundary, actor-session authority, durable terminals, effect outbox, and the explicit remaining migration boundary.
- [OODA capability API](./reference/ooda-capability-api.md) - Terminal schemas, authorization, replay, effect leases, current limitations, errors, and policy configuration.
- [Typed OODA goal-session deterministic rails](./reference/typed-ooda-goal-session-rails.md) — the two thin rail fixes that unblocked live OODA goals (#4076): propagating `AMPLIHACK_AGENT_BINARY` to the goal-session `recipe-runner-rs` subprocess (no silent `claude` fallback) and normalizing bare goal repo names to `rysweet/<name>` at spawn admission, plus the additive Act-loop failure-detail log.
- [Typed-OODA benign goal-race no-op and outbox write serialization](./reference/typed-ooda-benign-goal-race-and-outbox-serialization.md) — the two additive resilience fixes for the systemic decide→act dispatch/persistence defect (#4468): a goal legitimately completed/removed between effect prepare and dispatch becomes a benign, counted no-op outcome instead of `DownstreamFailed`, and the outbox/outcome SQLite writes gain a bounded busy/locked retry-with-backoff so startup recovery and concurrent cycles stop colliding on `database is locked`.
- [Tutorial: Complete a typed OODA cycle](./tutorials/complete-a-typed-ooda-cycle.md) - Deterministic action, no-action, replay, and conflict examples.
- [Tutorial: Run your first local session](./tutorials/run-your-first-local-session.md) - Exercise the local runtime through the primary CLI.
- [Simard installer reference](./reference/simard-installer.md) - Shipped deployment contract for the binary, the owned `~/.local/bin/simard` PATH entrypoint and stale-orphan reconciliation, prompt assets, user systemd units, the post-deploy version-parity gate, rollback artifacts, and dry-run controls.
Expand Down
Loading
Loading