Skip to content

Latest commit

 

History

History
118 lines (61 loc) · 12.4 KB

File metadata and controls

118 lines (61 loc) · 12.4 KB

Why Boatstack has these steps

For: anyone who wants to see the work behind Boatstack's safeguards. Outcome: understand what was observed, what Boatstack now does, and what has—or has not—been proven.

Boatstack was not designed by writing a long list of ideal engineering practices. Its safeguards were traced from benchmark trajectories and two product repositories, then turned into behavior that can be inspected and tested. This page keeps three different kinds of evidence separate:

  • Observed: the problem appeared in recorded work.
  • Verified: Boatstack's implementation behaves as stated in automated tests.
  • Still being evaluated: the safeguard exists, but its effect on overall product-delivery outcomes has not yet been established.

Those labels prevent an implementation test from being presented as proof that the whole product improves engineering performance.

Portable workflow and state

What happened. Coding hosts, model choices, and specialist skills can each become a separate place where the development process fragments. Plans and decisions that exist only in one agent conversation are difficult for another supported host—or the next feature—to inspect and continue.

What Boatstack does. Cursor, Codex, and Claude Code receive adapters for the same path from planning through PR preparation. The durable state behind that path—source plan, specification, human answers, accepted gaps, approval, evidence, and review findings—lives in the repository instead of belonging to one model or chat session. Models and skills may contribute work without changing the completion requirements.

How we check it. Export tests verify that all supported host adapters expose the same lifecycle and reference the same canonical repository artifact contract. Projection tests verify that the public workflow, adapters, and artifact definitions are generated from one upstream source.

What it does not mean. Boatstack does not copy private chat history or move a command already in progress between agents. Portability covers the workflow and saved repository state available at the next transition.

Status: cross-host workflow and artifact portability verified in automated tests. The effect on product-delivery outcomes remains part of the planned paired evaluation.

Human decisions

What happened. A product request asked for a password-reset button in a passwordless product. A literal implementation would have created an interface for a capability that did not exist. Repository inspection could discover the conflict, but only a human could choose whether to introduce passwords or preserve the existing model.

What Boatstack does. Material product choices remain open until a human answers them. The reviewed plan is fingerprinted, explicit approval is recorded, and any subsequent planning change makes that approval stale.

How we check it. Planning, approval, and stale-plan tests verify that unanswered decisions block progress, approval cannot be inferred from silence, and changed inputs cannot reuse an old approval.

Status: observed in a sanitized product workflow; enforcement verified in automated tests. This does not yet quantify a change in feature success rate.

Validation provenance

What happened. Terminal-Bench experiments showed that stronger self-verification wording and same-model repair did not reliably create truth. In another experiment, model-authored tests helped a development slice while the frozen evaluator had low fidelity, and the apparent gain did not transfer to the full board.

What Boatstack does. Every acceptance criterion must name a validation procedure and explain what makes that procedure meaningful. A test written with the implementation remains useful evidence, but it is not silently promoted into an independent source of truth.

How we check it. The plan compiler rejects uncovered criteria, incomplete validation records, and checks attached to work that does not serve the claimed outcome.

Status: experimental problem observed; compiler behavior verified. The best validation mix for different product risks remains an open evaluation question.

Irreversible operations

What happened. After a partial database-schema apply failed, an agent introduced a reset path that could drop the public schema. The human stopped execution and the capability was removed in favor of target checks and transactional or fix-forward behavior.

What Boatstack does. Project hooks deny high-confidence destructive operations before execution and require read-only diagnosis after an external-write failure. There is no in-session bypass.

How we check it. Host-event fixtures cover direct and indirect destructive commands, malformed events, missing helpers, and safe controls. A blocked command must not create its sentinel side effect.

Status: incident observed and enforcement verified in fixtures. The net benefit, false-denial rate, and host coverage are still being evaluated; the safety documentation keeps that limitation visible.

Reviewer-ready PR

What happened. Ordinary generated PR summaries described edited files and test commands but omitted important product decisions, accepted gaps, review findings, rollout, and rollback context accumulated during the feature.

What Boatstack does. At ship time, Boatstack projects the approved intent, committed diff, recorded evidence, decisions, gaps, rollout, and rollback into a reviewer-first preview. The human sees the exact title and body before GitHub is changed.

How we check it. Tests cover managed and ad-hoc branches, evidence-limited wording, stale previews, conditional risk sections, and explicit open/update confirmation.

Status: product-workflow problem observed; projection behavior verified. Reviewer speed and acceptance quality still need blinded product-delivery evaluation.

Phase-scoped delivery

What happened. A coding host received an approved plan describing several implementation phases and PRs. During /build, it treated that parent-plan approval as standing authority to commit, push, and open each PR. After context compression, “already-approved five-PR plan” became the surviving instruction and the test, review, and ship transitions were skipped.

What Boatstack does. Internal phases remain tasks in one delivery slice. A plan that intentionally requires multiple PRs must partition every task into ordered delivery slices with explicit affected paths. Only one slice is active. Test and review create machine-local receipts bound to that slice's branches, commit, product diff, and evidence. The hook denies direct pushes and PR mutations while managed delivery is active; only the confirmed publisher can advance one slice and activate the next.

How we check it. Plan tests reject missing, duplicate, and forward task assignments. Delivery tests reject review before test, stale diffs, out-of-slice paths, reuse of a prior slice, direct shell pushes, direct GitHub CLI PR creation, and equivalent GitHub tool mutations.

Status: bypass trajectory observed; phase partitioning, receipt ordering, and publication interception verified in automated tests. Host hooks remain defense in depth and still depend on supported host event coverage.

Model choice and budget

What happened. Across the audited benchmark runs, changing the model relocated the dominant bottleneck instead of removing failure. Gemini runs were dominated by near misses in one comparison, while Qwen runs exposed step exhaustion. Other recorded failures involved malformed protocol responses, context loss, unsupported verification claims, and unsafe recovery. A model name, provider, or price was not itself a reliable description of the active engineering problem.

What Boatstack does. Boatstack keeps one planning, approval, validation, review, and shipping contract across models. It reacts to observable conditions such as unanswered decisions, risk, reversibility, tool outcomes, convergence, and evidence. This lets a repository owner choose a lower-cost, general, or frontier model without silently changing what “ready” means.

How we check it. Export and projection tests verify the same workflow and gate vocabulary across supported coding hosts. The benchmark audits preserve the recorded trial coverage and the research record traces the model-dependent bottlenecks and failure mechanisms behind this design.

Status: the model-neutral contract is verified and the cross-model failure patterns are observed. Whether Boatstack improves correctness, cost, or delivery time for lower-cost models is still being evaluated; it is not a claim that models perform equally.

The paired product evaluation will use the same feature, lower-cost model, budget, environment, and coding host with and without Boatstack. An independent evaluator will compare correctness, regressions, review findings, cost, completion time, and the evidence available to support completion claims.

Visible updates

What happened. Boatstack updates were possible by rerunning the installer, but users had to remember the command and could accidentally mix regenerated infrastructure into product work. A non-interactive rerun could also silently select core instead of preserving optional integrations.

What Boatstack does. Release discovery occurs only after successful PR publication and is cached outside Git. An available release is informational; it never mutates the feature branch. /boatstack-update requires a clean current default branch, prepares a versioned infrastructure branch, preserves integration choices, verifies the release, runs doctor, and shows the exact diff before a separate open update PR confirmation.

How we check it. Update tests cover release parsing, bounded caching and reminders, failed-network isolation, branch and drift rejection, integration preservation, generated-file scope, checksums, and the publication confirmation boundary.

Status: release notification and update preparation behavior are verified in automated tests. This is not a claim that updates install themselves or may be merged without review.

Repair boundary. The checksum-verified target helper classifies installed control state instead of requiring the old helper to certify itself. Exact owned migrations are automatic; recoverable owned drift receives a fingerprinted --repair preview and Git-common backup in the update PR. User-owned changes and downgrades retain separate explicit boundaries.

Git worktree activation

What happened. A Claude Code worktree contained the committed fail-closed hook but not .product-loop/bin/, which Git intentionally ignores. Every shell call was denied because the helper was absent, including the installer command that could have repaired it.

What Boatstack does. One verified, versioned runtime is stored under the clone's Git common directory. On the first guarded call in a linked worktree, that runtime checks the worktree's generated provenance, atomically restores its ignored local helper and lock, and then evaluates the original event. It performs no download and does not share trust across unrelated clones.

How we check it. Real linked-worktree tests cover safe first use, destructive first use, paths with spaces, concurrent activation, version and source drift, checksum tampering, symlinks, malformed events, and clean Git state after hydration.

Status: bootstrap deadlock observed; repository-family activation behavior verified in automated tests. Fresh independent clones still require one verified installer run.

What the experiments do and do not support

The current research covers thousands of locally available benchmark result records, preregistered comparisons, product-repository studies, and targeted trajectory inspection. It supports the mechanisms that Boatstack is designed to address. It does not yet support a claim that Boatstack improves feature success, cost, or delivery speed.

The next product evaluation compares the same model, task, budget, and coding host with and without Boatstack on a feature-building benchmark. Until that result exists, the homepage describes implemented behavior and evidence lineage—not performance uplift.

Technical readers can inspect the research and design record, validation model, safety evaluation status, and benchmark corpus audit.