Work Packages: frozen-started-lanes-01M444FM
_Generated by finalize-tasks from wps.yaml. Do not edit directly._
Work Package WP01: Tidy-first enablers and the red #5573 reproduction
Dependencies: None Requirement Refs: C-001, C-007, FR-001, FR-002, FR-005, FR-006, FR-011, SC-001 Plan Concerns: IC-01 Owned Files: src/specify_cli/cli/commands/agent/mission_finalize_planning_pin.py, tests/specify_cli/cli/commands/agent/finalize_runner.py, tests/specify_cli/cli/commands/agent/test_resolve_status_read_dir.py, tests/specify_cli/cli/commands/agent/test_finalize_provenance_guard.py, tests/specify_cli/cli/commands/agent/test_issue_3311_finalize_rewrites_active_lanes.py, tests/integration/test_refinalize_keeps_started_lanes.py Subtasks: T001, T002, T003, T004 Prompt: tasks/WP01-tidy-first-and-red-reproduction.md
Work Package WP02: Pure invariant: started predicate, frozen membership, lane computation and writer check
Dependencies: None Requirement Refs: FR-001, FR-002, FR-003, FR-004, FR-005, FR-008, FR-010, NFR-002, NFR-004, C-002, C-006, SC-002 Plan Concerns: IC-02 Owned Files: src/specify_cli/lanes/frozen_membership.py, src/specify_cli/lanes/compute.py, src/specify_cli/lanes/compute_and_persist.py, src/specify_cli/lanes/lane_tip.py, src/specify_cli/lanes/models.py, tests/lanes/test_frozen_lane_membership.py, tests/lanes/test_frozen_lane_membership_sweep.py, tests/lanes/test_lane_identity.py, tests/lanes/test_lane_tip_listing.py, tests/status/test_compute_and_persist_core.py Subtasks: T005, T006, T007, T008, T009 Prompt: tasks/WP02-pure-frozen-membership-invariant.md
Work Package WP03: Finalize wiring: evidence, preflight, validate-only and refusal rendering
Dependencies: WP01, WP02 Requirement Refs: FR-005, FR-006, FR-007, FR-009, FR-011, NFR-001, NFR-003, C-003, C-005, SC-001, SC-003, SC-004 Plan Concerns: IC-03 Owned Files: src/specify_cli/cli/commands/agent/mission_finalize.py, src/specify_cli/cli/commands/agent/mission_finalize_lanes.py, src/specify_cli/cli/commands/agent/mission_finalize_commit.py, src/specify_cli/cli/commands/agent/mission_finalize_bootstrap.py, tests/specify_cli/cli/commands/agent/test_finalize_frozen_lane_preflight.py, tests/integration/test_refinalize_frozen_lane_refusals.py Subtasks: T010, T011, T012, T013, T014 Prompt: tasks/WP03-finalize-wiring-and-refusal.md
Work Package WP04: Decision record and operator docs for frozen lane membership
Dependencies: WP02, WP03 Requirement Refs: FR-006, C-008 Plan Concerns: IC-04 Owned Files: docs/adr/4.x/2026-10-04-2-started-work-package-lane-membership-is-frozen.md, docs/adr/4.x/index.md, docs/architecture/execution-lanes.md, docs/api/finalize-tasks-internals.md, docs/context/topology.md, CHANGELOG.md Subtasks: T015, T016, T017 Prompt: tasks/WP04-adr-and-operator-docs.md