Call-Sheet Addendum Afteruse Receipt Mechanic

This mechanic enforces a two-hop boundary between historical staffing and current authority:

  1. Call Sheet Reassignment resolves immediate floor coverage. Its pay_overtime option may keep one runner lane staffed for slot.live.memorial_correction_floor_01 while recording debt and fatigue.
  2. Call-Sheet Addendum Afteruse Receipt governs a later attempt by route.broadcast_reality.acceptance_table to promote that receipt into current availability, fresh consent, cleared pay, sponsor delivery, or broadcast authority.

The child cannot substitute for the parent and cannot open from inventory alone.

Producer contract

The sole producer is rite.call_sheet_reassignment resolving option pay_overtime at choice index 1 with the exact 11-slot parent packet assembled from the ledger, the historical parent-input file, and du-mian-call-sheet-captain-runtime-inputs.json5:

  • ledger: card.call_sheet_load_ledger;
  • source slot input: storyteller.card.call_sheet_memorial_correction_source_slot.v1, naming slot.live.memorial_correction_floor_01;
  • selected lane input: storyteller.card.call_sheet_runner_lane_input.v1, naming runner assigned from card.lin_qiao_chain_runner;
  • lane state: storyteller.card.call_sheet_runner_thin_state.v1;
  • captain: card.du_mian_call_sheet_captain;
  • handler: storyteller.card.call_sheet_production_desk_handler.v1;
  • branch-cost surface: storyteller.card.call_sheet_branch_cost_surface.v1, whose meaning is fixed by the selected option (for pay_overtime, the accepted cost is overtime pay and debt);
  • response: storyteller.card.call_sheet_selected_response.v1 (the old storyteller.card.call_sheet_pay_overtime_response.v1 remains only as legacy session provenance and is rejected by the current strict rite);
  • unselected lane: storyteller.card.call_sheet_board_lane_unselected.v1;
  • harmed floor reader: storyteller.card.call_sheet_harmed_floor_reader.v1;
  • future slot reader: storyteller.card.call_sheet_future_slot_reader.v1.

The selected lane is the runner lane. The unselected board row is scope-only and cannot be mutated or promoted into proof that the board was staffed. The actual card.du_mian_call_sheet_captain is always assigned; accept_absence is a later branch disposition, never an alternate captain input.

The parent must write crew_lane.runner.overtime_covered, slot.state.airs_with_debt, and future_route.debt_due, then materialize the seven child cards. No rest/rotate, recruit, publicize, skeleton, silence, or absence branch may impersonate this producer.

Consumer packet

SlotExact child cardRequired semantic payload
docketstoryteller.card.call_sheet_addendum_docket.v1parent branch, requested afteruse, selected disposition, costs, and future readback
overtime_receiptstoryteller.card.call_sheet_overtime_receipt_source_row.v1historical runner-lane service plus accrued debt, not current authority
original_slotstoryteller.card.call_sheet_memorial_correction_slot.v1slot.live.memorial_correction_floor_01 as the bounded historical operation
call_sheet_captainstoryteller.card.call_sheet_du_mian_captain_row.v1Du Mian’s captain record and its local evidentiary scope
worker_claimstoryteller.card.call_sheet_lin_qiao_worker_claim.v1Lin Qiao’s service, debt, harm/claim, availability, or explicit absence
authority_gapstoryteller.card.call_sheet_fresh_authority_gap.v1explicit gap that names card.storyteller.stability_package_proof_bridge.v1 as an acceptable later repair, not a bridge already in hand
future_readerstoryteller.card.call_sheet_acceptance_table_route.v1route.broadcast_reality.acceptance_table as requester and future reader

All seven slots are required. Each slot accepts exactly one card ID. Cards must be in hand and assigned in this order; tag aliases, virtual cards, generic absences, extra assignments, or a pre-parent packet fail.

State machine

rite.call_sheet_reassignment + pay_overtime
  -> bounded runner-lane overtime receipt materialized
  -> acceptance-table current-authority inference becomes visible
  -> exact seven-row afteruse review
  -> one clean disposition OR false-default armed
  -> bounded route readback OR three-outcome recovery event

The review is single-resolution. Every option clears call_sheet_afteruse.review_open, writes call_sheet_afteruse.review_resolved, and records exactly one exclusive branch state. Only false_addendum_default may set:

  • call_sheet_afteruse.default_pending;
  • event.false_call_sheet_addendum_default.armed;
  • future_route.false_call_sheet_addendum_default_pending;
  • historical scar call_sheet_afteruse.history.false_authority_recorded.

The follow-up event offers exactly three outcomes: retain_false_authority_record, force_fresh_authority_matrix, and restore_worker_schedule_boundary. Every outcome clears all pending flags, writes the resolved-event flag, preserves one durable terminal state, and cannot retrigger.

Authority lattice

The mechanic stores five independent authorities:

authority_columns:
  historical_schedule_and_staffing: proven | disputed | absent
  accrued_pay_obligation: due | honored | disputed | absent
  fresh_worker_availability_and_overtime_consent: present | absent | reopened
  sponsor_delivery_permission: present | absent | scoped
  broadcast_authority: present | absent | scoped

No column inherits present from another column. A fresh bridge may fill only the authorities it explicitly names. Historical service can increase the strength of the staffing and accrued-pay columns while leaving every current-authority column absent.

Branch transition contract

OptionRequired transition
certify_historical_staffing_scope_onlycertify the historical runner/slot row and deny all current-authority inference
honor_accrued_pay_without_current_availabilitysettle or preserve accrued pay while forcing a fresh availability/consent request
attach_fresh_consent_and_broadcast_bridgerequire the named, separately earned bridge; keep the route blocked and preserve every unstated gap until it exists
reopen_harmed_worker_claimmake Lin Qiao’s debt, fatigue, notice, coercion, or absence claim a downstream prerequisite
issue_schedule_pay_consent_broadcast_matrixmaterialize independent schedule, pay, consent, sponsor-delivery, and broadcast columns
quarantine_addendum_afteruseretain the evidence but block all spending until the boundary is repaired
false_addendum_defaultpromote the old receipt into false current authority and arm the durable event

Every branch must mutate a relief state, a cost state, and the acceptance-table future contract. A clean branch that arms the event, a false branch that does not arm all pending flags, or any branch that returns universal authority fails.

Non-duplication rules

  • Call Sheet Amendment Collision owns which schedule version is operative after a late change.
  • Call Sheet Margin Note Afteruse owns a handwritten reroute note and its instructional scope.
  • Call Sheet Watermark Afteruse owns copy provenance and reader custody.
  • This mechanic owns only the later promotion of a valid historical overtime/staffing receipt into authorities that the receipt never carried.

Invariants

  • Historical staffing is not current availability.
  • Accrued pay is not pay clearance for future work.
  • Past overtime is not fresh overtime consent.
  • Du Mian’s captain record is not Lin Qiao’s waiver.
  • Lin Qiao’s absence does not erase a worker claim.
  • A proof bridge is local to its named authorities and never grants sponsor immunity, archive ownership, or universal broadcast permission.
  • The acceptance table is a reader, not an authority producer.
  • Fixed time, raw card counts, dashboard state, lens health, and unrelated canon never trigger the mechanic.

Observed by call-sheet-addendum-afteruse-receipt.lens and played through call-sheet-addendum-afteruse-receipt.