Call-Sheet Addendum Afteruse Receipt

This is a second-hop child of Live Floor Crew Load. The parent rite.call_sheet_reassignment has already answered one immediate staffing question: at slot.live.memorial_correction_floor_01, the runner lane can remain staffed for that operation because overtime was paid. Its pay_overtime option records crew_lane.runner.overtime_covered, slot.state.airs_with_debt, and future_route.debt_due.

The child begins later, when route.broadcast_reality.acceptance_table tries to spend that real historical receipt as if it also proved current runner availability, fresh overtime consent, cleared pay, sponsor-delivery permission, or broadcast authority. The old receipt is not forged. The overreach comes from stretching a true staffing fact beyond its time, worker, slot, and authority boundary.

The case remains grounded in existing Storyteller surfaces: card.call_sheet_load_ledger, the memorial-correction floor slot, Du Mian, card.lin_qiao_chain_runner, the acceptance-table route, and—when earned separately—card.storyteller.stability_package_proof_bridge.v1.

Parent gate

The storyline is reachable only when all of the following are executable state:

1. rite.call_sheet_reassignment resolved option pay_overtime at choice index 1;
2. the parent assignment supplied all eleven exact cards: ledger, memorial-correction source slot, selected runner input, runner-thin state, actual Du Mian captain, production-desk handler, generic branch-cost surface, selected-response card, scope-only unselected board row, harmed reader, and future reader;
3. the selected runner was assigned from card.lin_qiao_chain_runner; storyteller.card.call_sheet_branch_cost_surface.v1 meant the accepted overtime cost because pay_overtime was selected, while the unselected board row remained scope-only;
4. the parent wrote crew_lane.runner.overtime_covered, slot.state.airs_with_debt, and future_route.debt_due;
5. that resolution materialized the seven exact child rows listed below;
6. route.broadcast_reality.acceptance_table is now trying to reuse the receipt outside its historical staffing scope;
7. no call-sheet addendum afteruse disposition has already resolved.

Other Call Sheet Reassignment branches do not open this child. Possessing generic starter cards, reaching a fixed turn, changing a dashboard, or improving lens health also does not open it.

Five-beat spine

Beat 1 — Paid staffing creates a bounded receipt

The parent rite keeps Lin Qiao on one runner lane for the memorial-correction floor operation. Du Mian’s call sheet and the load ledger show that the lane was covered, while the debt flags preserve the cost. This receipt proves a historical staffing and accrued-pay fact. It does not renew the worker indefinitely.

Beat 2 — A future reader enlarges the claim

The acceptance-table route later asks to treat the receipt as a reusable addendum. Its proposed inference must be visible: if Lin Qiao once worked the overtime lane, then Lin Qiao must still be available, must already have consented to new overtime, must have no outstanding pay claim, and the route may therefore deliver and broadcast without another approval.

Du Mian can identify the original captain row. Lin Qiao can appear as the named worker/claimant or as an explicit absence whose claim still cannot be erased. A genuinely fresh proof bridge may repair named authorities later, but the child packet begins with that bridge as a visible gap.

Beat 3 — The seven-row review

The player assigns exactly these child rows:

1. storyteller.card.call_sheet_addendum_docket.v1;
2. storyteller.card.call_sheet_overtime_receipt_source_row.v1;
3. storyteller.card.call_sheet_memorial_correction_slot.v1;
4. storyteller.card.call_sheet_du_mian_captain_row.v1;
5. storyteller.card.call_sheet_lin_qiao_worker_claim.v1;
6. storyteller.card.call_sheet_fresh_authority_gap.v1;
7. storyteller.card.call_sheet_acceptance_table_route.v1.

The review fails closed if any row is absent, substituted by a tag-equivalent card, assigned out of order, or supplied before the parent handoff.

Beat 4 — Seven dispositions separate the authorities

Branch	What it preserves	What it refuses or repairs	Future state
certify_historical_staffing_scope_only	Lin Qiao staffed this runner lane for the named slot	no current availability, consent, pay clearance, delivery, or broadcast inference	historical receipt remains readable only at named scope
honor_accrued_pay_without_current_availability	debt and earned pay remain due	payment does not renew availability or consent	accrued pay honored; future staffing requires a fresh ask
attach_fresh_consent_and_broadcast_bridge	old receipt remains provenance	requires a separately earned, named fresh bridge instead of fabricating one	route waits; later only explicitly bridged authorities may move
reopen_harmed_worker_claim	Lin Qiao’s worker identity and debt survive	reopens notice, pay, fatigue, or coercion harm before route use	worker claim becomes an explicit prerequisite
issue_schedule_pay_consent_broadcast_matrix	one source row remains visible	splits schedule, pay, consent, sponsor delivery, and broadcast into independent columns	acceptance table must read each column separately
quarantine_addendum_afteruse	evidence is retained	stops all downstream spending until scope and harm are resolved	route delayed or narrowed with visible cost
false_addendum_default	the old receipt remains in circulation	falsely promotes it into clean current authority	durable default event and recovery-only route are armed

Every clean branch writes one exclusive branch flag, clears the pending review, and changes the future reader’s contract. Only false_addendum_default may arm False Call-Sheet Addendum Default.

Beat 5 — Readback or recovery becomes route material

The acceptance-table route must read back a local authority matrix rather than one universal approval bit. A clean result may certify the historical staffing row, preserve accrued pay, require an actually fresh bridge, reopen Lin Qiao’s claim, split the authority columns, or quarantine the record. A false result becomes a durable scar with three repairable outcomes; it may not disappear after one counter change.

Local authority matrix

Surface	May prove	May not prove by itself
card.call_sheet_load_ledger	parent lane pressure and recorded assignment	current worker availability or consent
slot.live.memorial_correction_floor_01	the historical operation named by the parent	authority for another slot or future route
Du Mian / card.du_mian_call_sheet_captain	which captain row and staffing state were recorded	Lin Qiao’s fresh consent, settled pay, sponsor permission, or broadcast authority
Lin Qiao / card.lin_qiao_chain_runner	named worker identity, service, debt, claim, or explicit absence	automatic future availability or waiver of harm
overtime receipt	one completed staffing fact and accrued obligation	pay clearance, reusable consent, or perpetual staffing
card.storyteller.stability_package_proof_bridge.v1	only the fresh authorities explicitly named on the bridge	unstated consent, sponsor immunity, archive ownership, or universal broadcast permission
route.broadcast_reality.acceptance_table	consumes the bounded result as a future reader	creates authority merely by requesting or displaying the row

Adjacency boundaries

• Call Sheet Amendment Collision decides which official or amended schedule version is operative after a late change. This child starts after a specific staffing decision has already happened and governs later authority overreach.
• Call Sheet Margin Note Afteruse governs whether a handwritten reroute instruction can be spent beyond its note scope. This child governs a formal overtime/staffing receipt, not handwriting.
• Call Sheet Watermark Afteruse governs copy provenance and reader custody. This child can have perfect copy provenance and still fail because historical staffing is not current consent or broadcast authority.
• Live Floor Crew Load remains the owner of immediate lane coverage, refusal, blackout, and staffing pressure. This child does not replay the staffing choice.

Missability and recovery

The child is missable if the player lets the acceptance table consume the receipt before the seven-row review, hides Lin Qiao’s worker row, treats Du Mian’s captain status as consent authority, or mistakes settled historical pay for future availability. Missed states include worker_claim_hidden, historical_receipt_promoted, fresh_bridge_absent_but_assumed, and future_route.false_addendum_pending.

Recovery must carry visible cost. Valid repairs include paying the accrued debt while reopening availability, delaying the route for a fresh consent bridge, publishing the five-column authority matrix, restoring Lin Qiao’s claim, narrowing the delivery/broadcast surface, or accepting recovery-only status. Recovery never retroactively makes the false inference clean.

Replay oracle

A qualifying replay must show both hops in order:

parent:
  rite: rite.call_sheet_reassignment
  choice_index: 1
  choice_id: pay_overtime
  ledger: card.call_sheet_load_ledger
  source_slot: storyteller.card.call_sheet_memorial_correction_source_slot.v1
  selected_lane: storyteller.card.call_sheet_runner_lane_input.v1
  lane_state_before: storyteller.card.call_sheet_runner_thin_state.v1
  call_sheet_captain_or_absence: card.du_mian_call_sheet_captain
  worker_source: card.lin_qiao_chain_runner
  handler_or_absence: storyteller.card.call_sheet_production_desk_handler.v1
  support_or_absence: storyteller.card.call_sheet_branch_cost_surface.v1
  response: storyteller.card.call_sheet_selected_response.v1
  unselected_lane_or_absence: storyteller.card.call_sheet_board_lane_unselected.v1
  unselected_board_semantics: scope_only
  harmed_reader_if_suppressed: storyteller.card.call_sheet_harmed_floor_reader.v1
  future_reader: storyteller.card.call_sheet_future_slot_reader.v1
  emitted_flags:
    - crew_lane.runner.overtime_covered
    - slot.state.airs_with_debt
    - future_route.debt_due
child:
  materialized_exact_card_count: 7
  future_reader: route.broadcast_reality.acceptance_table
  rite: storyteller.rite.call_sheet_addendum_afteruse_review.v1
  selected_branch: certify_historical_staffing_scope_only | equivalent tested branch
assertions:
  - child_unreachable_before_parent_pay_overtime
  - exact_cards_are_in_hand_and_exactly_assigned
  - all_seven_child_branches_are_reachable
  - clean_branches_do_not_arm_default
  - false_branch_event_resolves_and_clears_pending_state
  - authority_matrix_denies_universal_current_authority

The bound oracle is call-sheet-addendum-afteruse-receipt.lens. The state machine is specified by call-sheet-addendum-afteruse-receipt.