Call-Sheet Addendum Afteruse Receipt Lens

This lens observes a concrete second hop from Live Floor Crew Load. The parent rite.call_sheet_reassignment decides whether a pressured runner lane is staffed for one operation. This child begins only after pay_overtime covers Lin Qiao’s runner lane at slot.live.memorial_correction_floor_01, then tests whether that historical receipt is later promoted into current availability, fresh overtime consent, cleared pay, sponsor delivery, or broadcast authority.

The lens must preserve the difference between a true past staffing fact and a false present-authority inference.

1. Parent-edge oracle

entry_state:
  trigger_kind: state_pressure
  parent_rite: rite.call_sheet_reassignment
  parent_option_required: pay_overtime
  parent_choice_index: 1
  parent_assignment:
    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
    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
  source_slot_id: slot.live.memorial_correction_floor_01
  selected_lane_id: runner
  branch_cost_semantics: selected_pay_overtime_cost_not_universal_overtime_proof
  worker_source: card.lin_qiao_chain_runner
  parent_flags_required:
    - crew_lane.runner.overtime_covered
    - slot.state.airs_with_debt
    - future_route.debt_due
  future_reader: route.broadcast_reality.acceptance_table
  current_authority_inference_visible: true
  child_review_unresolved: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_card_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The child fails reachability if it opens before the parent pay_overtime result, from any other parent branch, without all eleven exact parent assignments, from generic starter cards, or without the acceptance table’s changed claim. The captain assignment must be the actual Du Mian card; the board row remains scope-only.

2. Producer and materialization oracle

The runtime parent input packet is game-content/storyteller/cards/call-sheet-reassignment-pay-overtime-inputs.json5. The parent rite is game-content/storyteller/rites/call-sheet-reassignment.json5. The chosen parent option must materially produce the child packet in:

• game-content/storyteller/cards/call-sheet-addendum-docket.json5;
• game-content/storyteller/cards/call-sheet-addendum-afteruse-slot-cards.json5.

Metadata-only links, preloaded starter cards, or a test that injects child rows without the parent action do not satisfy the producer edge.

3. Exact seven-card oracle

#	Slot	Exact card
1	docket	storyteller.card.call_sheet_addendum_docket.v1
2	overtime_receipt	storyteller.card.call_sheet_overtime_receipt_source_row.v1
3	original_slot	storyteller.card.call_sheet_memorial_correction_slot.v1
4	call_sheet_captain	storyteller.card.call_sheet_du_mian_captain_row.v1
5	worker_claim	storyteller.card.call_sheet_lin_qiao_worker_claim.v1
6	authority_gap	storyteller.card.call_sheet_fresh_authority_gap.v1
7	future_reader	storyteller.card.call_sheet_acceptance_table_route.v1

All slots are required and each accepts exactly one card ID. The assignments must be in hand, in order, and contain no extras. Same-type cards, tag-only aliases, virtual assignments, explicit-absence tags without the exact row, and cards created before the parent handoff fail.

The authority_gap row records an explicit gap and names card.storyteller.stability_package_proof_bridge.v1 as the only acceptable later bridge for the relevant columns. It does not place that bridge in hand or fabricate it from the overtime receipt.

4. Grounding and identity oracle

The docket and child rows must keep these existing Storyteller identities visible:

• card.call_sheet_load_ledger as parent source;
• slot.live.memorial_correction_floor_01 as the bounded historical operation;
• Du Mian / card.du_mian_call_sheet_captain as captain-row witness;
• Lin Qiao / card.lin_qiao_chain_runner as the worker, claimant, or explicit absence;
• route.broadcast_reality.acceptance_table as requester and future reader;
• optional card.storyteller.stability_package_proof_bridge.v1 as a separately earned, locally scoped bridge.

Opaque production aliases, invented workers, unnamed schedule revisions, or a generic sponsor pickup route do not satisfy the lens.

5. Branch reachability oracle

The focused runtime test must independently resolve all seven ordered branches:

1. certify_historical_staffing_scope_only — certifies only the past runner/slot fact;
2. honor_accrued_pay_without_current_availability — preserves or pays debt without renewing availability;
3. attach_fresh_consent_and_broadcast_bridge — requires a separately earned bridge, keeps the route waiting, and preserves every unstated gap;
4. reopen_harmed_worker_claim — makes Lin Qiao’s pay, fatigue, notice, coercion, or absence claim visible;
5. issue_schedule_pay_consent_broadcast_matrix — splits schedule, pay, consent, sponsor delivery, and broadcast authority;
6. quarantine_addendum_afteruse — retains evidence while blocking downstream spending;
7. false_addendum_default — alone arms the false-default event.

Each branch needs one exclusive branch flag, a durable after-state, executable relief and cost, and a future-reader effect. Every clean branch clears review-open state and leaves all default-pending flags false. Testing only the first or false branch is insufficient.

6. Local authority-matrix oracle

Authority	Historical receipt may establish	Fresh requirement
schedule/staffing	Lin Qiao staffed one runner lane for the named slot	another slot needs a new assignment
pay	accrued overtime debt exists or was honored	future pay clearance must be recorded separately
availability/consent	nothing current	a fresh worker ask and overtime consent
sponsor delivery	nothing	named delivery permission
broadcast	nothing	named, scoped broadcast authority

Du Mian’s captain role cannot fill Lin Qiao’s consent column. Lin Qiao’s past service cannot fill her current availability column. The acceptance table cannot create any column by reading it. A proof bridge can fill only the columns it explicitly names.

7. Default-event and cleanup oracle

Only option false_addendum_default may arm all three pending flags:

• call_sheet_afteruse.default_pending;
• event.false_call_sheet_addendum_default.armed;
• future_route.false_call_sheet_addendum_default_pending.

It must also preserve historical scar call_sheet_afteruse.history.false_authority_recorded. storyteller.event.false_call_sheet_addendum_default.v1 then exposes exactly three outcomes:

Event option	Durable terminal state
retain_false_authority_record	false_current_authority remains an explicitly unsafe scar
force_fresh_authority_matrix	fresh_authority_matrix_required blocks inferred columns
restore_worker_schedule_boundary	recovery_only restores the historical/current boundary at visible cost

Every outcome clears all three pending flags, writes event_resolved.storyteller.event.false_call_sheet_addendum_default.v1, preserves one durable state plus the historical scar, and cannot retrigger.

8. Missability and recovery oracle

The runtime and prose must make these misses observable:

• the acceptance table consumed the row before review;
• Lin Qiao’s worker claim or explicit absence was hidden;
• Du Mian’s captain record was treated as worker consent;
• accrued pay was treated as proof of current availability;
• a missing fresh bridge was silently assumed.

Recovery must pay or expose a real cost: accrued debt, route delay/narrowing, a fresh consent and broadcast bridge, worker-claim reopening, a public authority matrix, or recovery-only status. Removing flags without a durable readback is not recovery.

9. Non-duplication oracle

Lane	Owned question
Call Sheet Amendment Collision	which official/amended schedule version is operative after a late change
Call Sheet Margin Note Afteruse	whether a handwritten reroute note may be spent beyond its instructional scope
Call Sheet Watermark Afteruse	which copy and reader custody are trustworthy
this child	whether a true historical overtime/staffing receipt carries current worker, pay, delivery, or broadcast authority

The child may consume a perfectly versioned, legible, and watermarked receipt and still reject the future inference.

10. Replay oracle

The branch contract is proved by lens/storyteller-call-sheet-addendum-afteruse.runtime.test.ts. Durable gameplay evidence is proved by lens/replays/call-sheet-addendum-afteruse-receipt.certify-scope.replay.json and must show:

1. parent rite.call_sheet_reassignment choice index 1 / pay_overtime;
2. all eleven exact parent inputs, selected-runner semantics, scope-only board semantics, and all three parent flags;
3. materialization of the seven non-starter child cards;
4. exact child assignment and selected option;
5. a bounded clean result or the false event plus cleanup;
6. Storyteller source, replay integrity, and committed session evidence.

A replay beginning with unconditional child starter cards, skipping the parent action, or retaining call_sheet_afteruse.review_open after resolution fails this lens.