Iris Vale Probate Afteruse Citation Lens / Iris Vale 验讫后用引证 Lens

This lens observes whether Iris Vale 验讫后用引证线 and 验讫后用引证机制 correctly make downstream reuse of a previous Iris voice probate row playable.

A passing implementation proves that Iris Vale 纪念声权验讫线 is durable without becoming a universal license. Later uses must cite a specific row, compare original boundary against new reader and requested use, pay a rider or scar when needed, and mutate future route state when the row is over-cited.

The lens fails if probated silently becomes voice_allowed, if sponsor/public/cutroom/archive readers all accept the same row for free, or if a later route consumes the voice without naming the citation surface.

Primary observation link

This lens observes:

• Iris Vale 验讫后用引证线;
• 验讫后用引证机制;
• Iris Vale 纪念声权验讫线;
• 纪念声权验讫机制;
• Route Assets and Custody;
• Broadcast Reality.

It is observed through:

• Iris Vale 验讫后用引证账本;
• Iris Vale 验讫后用引证复核;
• Iris 验讫引证越界.

Observable promise

Iris’s first probate result must remain scoped when the world reuses it. A lawful memorial row, public vigil row, sponsor legacy row, checksum row, pirate echo row, quarantine row, or default row must change what later readers can do, but none may erase its own boundary.

A valid implementation shows that downstream actors can ask to reuse the row, that the producer can review the citation, and that overuse creates a durable breach event or route scar.

Scope

This lens covers:

• a prior Iris memorial voice probate row;
• a later requested use of the same row;
• comparison between original reader and new reader;
• acknowledgement, rider, checksum, recall, dual acknowledgement, quarantine, or explicit absence;
• strict citation, public rider, sponsor afteruse, cutroom afteruse, recall/rebuttal bridge, quarantine, and breach default;
• future route, reader, correction, or custody effects.

This lens does not cover first-use voice probate, living consent, resurrection, or a new recruit path for Iris.

State-triggered entry oracle

A valid replay or state inspection must show:

entry_state:
  trigger_kind: state_pressure
  bound_character: char.iris_vale
  memorial_voice_asset_present: true
  source_probate_row_present: true
  source_probate_row_is_scoped: true
  prior_boundary_known: true
  new_requested_use_present: true
  new_reader_or_route_asset_present: true
  boundary_match_known_or_testable: true
  future_route_or_reader_would_change: true
  player_can_review_citation_or_record_breach: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens must fail if entry is triggered by fixed turn, day/week, chapter quota, raw page count, dashboard state, lens health, or generic production trouble.

Required observable content

Afteruse citation ledger

Iris Vale 验讫后用引证账本 or equivalent must record:

• source probate row id;
• probate state before;
• accepted prior boundary;
• original reader;
• requested new use;
• requesting actor;
• new reader or route asset;
• boundary match state;
• stale dispatch pressure;
• rebuttal pressure;
• affected party or explicit absence;
• acknowledgement surface or explicit absence.

The lens fails if the ledger only records voice_allowed: true, probate_done: true, or reuse_ok: true.

Afteruse citation review

Iris Vale 验讫后用引证复核 or equivalent must assign:

• source probate row;
• prior boundary;
• requested use;
• requesting actor;
• new reader;
• acknowledgement surface or explicit absence;
• accepted cost or explicit absence;
• selected branch.

Missing inputs are valid only when the rite records explicit absence and routes to breach, quarantine, or recovery-only.

Citation breach event

Iris 验讫引证越界 or equivalent must fire, arm, or log when:

• a reader mismatch is not acknowledged;
• a use mismatch is not acknowledged;
• sponsor repackaging converts a scoped row into clean legacy copy;
• public quote treats lawful or sponsor row as public consent;
• checksum reuse hides chain absence;
• stale copy carries an obsolete boundary;
• quarantine is consumed as permission;
• false probate is cited as a route unlock;
• affected party or absence is hidden.

The event must mutate future play.

Branch divergence oracle

A satisfying implementation must expose at least five branch families, including one breach/default family.

Branch family	Required relief	Required cost	Required future effect
Strict citation	proof burden, archive debt, or route uncertainty improves	use scope remains narrow, schedule pressure, or reader exclusion persists	original boundary remains binding
Public acknowledgement rider	fan oxygen or public receipt legitimacy improves	sponsor pressure, inspection heat, or witness exposure rises	public line required for future citations
Sponsor repackaging	immediate slot or stop-loss improves	contract capture, public distrust, or false-probate risk rises	sponsor unwind or public/lawful rider required
Cutroom checksum rider	continuity or broadcast legibility improves	edit debt, source ambiguity, or archive distrust rises	checksum annotation or lawful annex required
Recall / rebuttal bridge	stale execution risk or future-reader ambiguity improves	dual acknowledgement, handler burden, or route narrowing rises	split correction surface or route scope narrowing
Quarantine continued	voice integrity or infringement risk improves	fan resentment, sponsor pressure, or route pressure rises	stronger chain, public acknowledgement, or recovery-only required
Citation breach default	no clean relief required	archive debt, distrust, pressure, capture, ambiguity, or infringement worsens	blocked, costlier, rider-required, dual-ack-required, narrowed, or recovery-only

No branch may produce clean acceptance across archive, fan public, sponsor, cutroom, pirate relay, route asset custody, and broadcast reality.

Oracle assertions

A binding check should fail unless all assertions below are true.

1. Primary links exist — observes and observed_through arrays are populated with concrete wiki pages.
2. Prior scoped row exists — afteruse cannot happen without a source probate row.
3. Prior boundary is visible — the implementation records exactly what the first row allowed.
4. New use is visible — the later requested use and requesting actor are recorded.
5. New reader is visible — the implementation names the new reader or route asset custody surface.
6. Boundary comparison exists — exact match, rider required, mismatch, stale copy, quarantine, or breach is visible.
7. Review assigns acknowledgement — acknowledgement surface or explicit absence is recorded.
8. At least five branch families diverge — branch families differ by relief, cost, actor set, and future route effect.
9. Successful branches have relief and cost — every non-default success has at least one of each plus a future effect.
10. Breach is durable — over-citation mutates future reader, correction, route, custody, or counter state.
11. Recall/rebuttal bridge is not free sync — stale recipients and future readers require split or dual acknowledgement when both are live.
12. No universal permission — no source row becomes clean reusable permission for every reader.
13. No fixed trigger — entry does not depend on turn count, day/week count, raw count, dashboard state, or lens health.

Progress metric

irisValeProbateAfteruseCitationProgress = 0..9:

• 0: no source Iris probate row exists.
• 1: source row exists and is scoped.
• 2: prior boundary and original reader are visible.
• 3: new requested use and new reader or route asset are visible.
• 4: Iris Vale Probate Afteruse Citation Ledger enters play.
• 5: Iris Vale Probate Afteruse Citation Review exposes acknowledgement and cost slots.
• 6: at least two successful branches produce distinct relief/cost/future effects.
• 7: at least five branch families are playable or explicitly blocked by state.
• 8: Iris Probate Citation Breach creates durable afteruse scar.
• 9: later route, reader, correction, broadcast reality, or custody content consumes the resulting citation state.

Evidence shape

lens_id: storyteller.lens.character.iris_vale_probate_afteruse_citation.v1
session_id: lens-iris-vale-probate-afteruse-citation-v1-<timestamp>
seed: <deterministic-seed>
entry_state:
  trigger_kind: state_pressure
  bound_character: char.iris_vale
  memorial_voice_asset_present: true
  source_probate_row_present: true
  source_probate_row_is_scoped: true
  prior_boundary_known: true
  new_requested_use_present: true
  new_reader_or_route_asset_present: true
  future_route_or_reader_would_change: true
  no_fixed_turn_trigger: true
offered:
  card: storyteller.card.iris_vale_probate_afteruse_citation_ledger.v1
  rite: storyteller.rite.iris_vale_probate_afteruse_citation_review.v1
branch_runs:
  successful_branch:
    selected_branch: strict_citation | public_acknowledgement_rider | sponsor_repackage | cutroom_checksum_rider | recall_rebuttal_bridge | quarantine_continued
    source_probate_row: <row id>
    prior_boundary: <boundary>
    requested_use: <use>
    requesting_actor: <actor or explicit_absence>
    new_reader: <reader>
    boundary_match: exact_match | rider_required | reader_mismatch | use_mismatch | stale_copy | quarantined | breach
    acknowledgement_surface_or_absence: <surface or explicit_absence>
    citation_state_after: <state>
    counter_deltas:
      relief: []
      cost: []
      future: []
  default_branch:
    event_seen_or_armed: storyteller.event.iris_probate_citation_breach.v1
    breach_kind: reader_mismatch | use_mismatch | stale_copy | sponsor_repackage | public_overcite | checksum_overcite | quarantine_breach | false_probate_citation | hidden_affected_party | equivalent
    future_reader_effect: <effect>
assertions:
  - primary_links_exist
  - source_probate_row_visible
  - prior_boundary_visible
  - new_use_visible
  - new_reader_visible
  - boundary_comparison_visible
  - acknowledgement_or_explicit_absence_recorded
  - branch_families_diverge
  - citation_breach_is_durable
  - no_universal_permission
  - no_fixed_turn_trigger

Integration expectations

• Iris Vale 纪念声权验讫线 should produce the source row consumed here.
• 读者反驳通知线 should be able to consume reader mismatch and affected-party acknowledgement states.
• 过期派发召回线 should be able to consume stale copy boundary states.
• 反驳召回撞锁线 should be able to consume recall/rebuttal bridge states when stale recipients and future readers are both live.
• Route Assets and Custody should narrow, block, or scar route access when citation breach is logged.
• Broadcast Reality should treat false afteruse as memory becoming ownership.

Non-goals

• Not first-use voice probate.
• Not resurrection.
• Not a living recruit path for Iris.
• Not a generic copyright license.
• Not a fixed-turn consequence sequence.
• Not valid if first probate becomes universal permission.
• Not valid unless afteruse affects future route, reader, correction, custody, or broadcast reality state.