Skip to content

docs: correct BoxOptions::detach contract + restore two-side test rule#601

Merged
DorianZheng merged 1 commit into
mainfrom
docs/detach-doc-correction
May 27, 2026
Merged

docs: correct BoxOptions::detach contract + restore two-side test rule#601
DorianZheng merged 1 commit into
mainfrom
docs/detach-doc-correction

Conversation

@DorianZheng

Copy link
Copy Markdown
Member

Summary

  • Rewrite BoxOptions::detach docstring to describe the actual contract: a detached box outlives the host process (clean exit, panic, SIGKILL), is reattachable via runtime.get(box_id), and is stopped only by runtime.get(box_id).stop() or boxlite stop <id>. Drops the implementation specifics (setsid, recovery pipeline, PID 1) from public docs.
  • Restore CLAUDE.md's two-side verification protocol for reproducer tests. Reverts the test-section swap in chore(claude): add CLAUDE.md preflight hook + auditor subagent #599: the "every test must reference a project symbol" rule captured the same intent but lost the explicit revert/restore loop that catches green-on-broken tests.

Test plan

  • cargo doc -p boxlite --no-deps renders the new BoxOptions::detach docstring without warnings.
  • Visual check: no setsid / pre_exec / PID 1 / "recovery pipeline" / "control socket" in the rendered doc.

- BoxOptions::detach: the old docstring undersold the contract.
  Detached boxes outlive the host process (clean exit, panic, SIGKILL),
  not just RuntimeImpl::Drop. Updated to state that explicitly, drop
  implementation details, and name the only two supported stop paths.

- CLAUDE.md: restore the two-side verification protocol for reproducer
  tests. The "every test must reference a project symbol" replacement
  collapses the same idea into one bullet but loses the explicit
  revert/restore loop that catches tests which would stay green even
  if the fix never landed.
@DorianZheng DorianZheng merged commit 2d42334 into main May 27, 2026
29 checks passed
@DorianZheng DorianZheng deleted the docs/detach-doc-correction branch May 27, 2026 11:46
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.

1 participant