noCV
SFFI-109 · Prove recovery and handoff

Unload a retired native revision only after callbacks drain

Practice briefTaskExpert

Hot replacement unloads the old library while an asynchronous completion callback still points into its code.

Focused work estimate
6h + prerequisites
Priority in the scenario
High
Engineering practice
Dynamic libraries · Reference lifetimes · Safe rollout

Estimated field mix

  • Systems programming60%
  • Platform engineering40%

Field percentages are editorial estimates of the ticket's engineering focus. They total 100%; they are not measured time, proficiency scores, or ownership evidence.

Your next step

Review it, then add it to your workspace.

The board opens an editable draft; nothing is saved until you confirm it. Sign-in and workspace permissions apply, and Demo boards remain ephemeral.

Project context

A fictional desktop backup tool calls a small Rust compression library from Node.js. The binding leaks buffers on exceptions and treats ABI mismatches as corrupted input. Build against generated byte arrays and a local native library; no production archive format or user files are supplied.

Setup prerequisites

  • FFI ownership
  • Binary compatibility
  • Error handling

Preceding work

Complete these dependencies, or supply their agreed outputs before taking this ticket.

Acceptance criteria

  • Each operation pins one library revision through callback completion
  • Retirement blocks new calls and observes active reference count
  • Deadline reports unresolved references without forced unload

Implementation constraints

  • Prefer process restart for platforms that cannot guarantee safe dynamic unloading.

Verification to include

  • Run old and new revisions concurrently, then retire the old after drain.
  • Hold one completion callback and verify unload does not occur at the deadline.

Deliverables

  • Revision lifetime protocol and delayed-callback test

Rollout and recovery

Use process replacement as the default until in-process retirement is proven for the target platform.

Value of the work

For the engineer: Practice language-boundary contracts, native resource safety and version negotiation.

For the team: Review a binding that fails safely and can be rolled back before native code enters additional application paths.

Evidence boundaries

Outcome Evidence: Tests, patches, and runbooks are requested deliverables. They become Outcome Evidence only through a qualified Mission and immutable Evidence IDs.

Ownership Evidence: Independent adaptation must be observed under a declared verification policy and cite immutable Evidence IDs. Completing a planning ticket establishes no Ownership Evidence.