Skip to content

Preserve provider timeout closeout and teardown before expired lease recovery #424

Description

@adrianwebb

SDK BH automated golden run (Platform #520) exposed a real timeout/recovery race. Assignment assignment_NJXYfBrfbADmiWG1OjfqaUFHmmwK523o (Reviewer estimating; workday workday-1cb1155b-b529-45d0-85e3-a5fc3bab05c5) had a 180-second productive deadline at 2026-09-28T12:43:05.416Z. Lease recovery converted it to expired_lease_side_effect_evidence_present at 12:43:07.106Z, before the provider's timeout closeout could durably report teardown and measured usage. The package-owned stopped guarantee fails ACCEPTANCE_STOP_TEARDOWN; no SDK golden pass.

Repair the single existing assignment lifecycle so expiry stops productive work immediately but gives the current provider a bounded, separately measured timeout-report/teardown interval. Preserve lease-token/Identity authority and exactly-once settlement; recovery must then safely handle a missing provider report without dropping measured usage or inventing success. Add API and package-owned scene regressions for timeout/report race, duplicate/late report, revoked provider, teardown, and settlement. No new authority or manually patched records. Verification evidence belongs in Actions and Platform #520.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions