Lawful Annex Relay Receipt Lens / 法务附件传达回执 Lens

This lens observes whether Lawful Annex Relay Receipt and Lawful Annex Relay Receipt stop a useful source proof row from becoming lawful service just because a lawful reader wants to cite it.

It is a bridge lens. It does not re-decide channel legality, affected-party rebuttal, or appeal-stay scope. It proves that the annex relay object is visible before future lawful consumption.

Observable promise

A passing implementation must show:

• source proof;
• source reader scope;
• lawful reader request;
• annex carrier, or explicit absence;
• proof bridge or absence;
• served reader;
• omitted or delayed reader;
• selected relay posture;
• annex state after;
• future reader or route effect;
• durable default when public, editor, sponsor, archive, or pirate proof is consumed as lawful service without bridge.

The lens fails if implementation stores only proof_exists, receipt_served, annex_sent, lawful_ok, legal_reviewed, or reader_accepted.

Entry oracle

entry_state_required:
  trigger_kind: state_pressure
  source_public_or_editor_or_sponsor_proof_present: true
  lawful_reader_requests_annex: true
  source_reader_scope_visible: true
  annex_carrier_or_explicit_absence_visible: true
  proof_bridge_or_absence_visible: true
  future_reader_consumes_annex_state: true
  player_can_attach_split_escrow_return_checksum_reject_or_default: 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 fails if entry comes from a fixed turn, fixed day, raw source-proof count, generic legal pressure count, dashboard state, or lens health.

Ledger oracle

Lawful Annex Relay Ledger or equivalent must expose:

lawful_annex_relay_ledger_required:
  source_proof:
    proof_id: <source proof id>
    source_surface: public_receipt | fan_queue_receipt | editor_checksum | sponsor_sideletter | archive_stamp | pirate_timestamp | protected_witness | ruling_attachment | route_asset_receipt | private_copy | equivalent
    source_reader_scope: public | fan | editor | sponsor | archive | pirate | private | route_asset | split | explicit_absence | equivalent
    source_scope_limitation: <what the row cannot do alone>
  lawful_reader_request:
    reader_id: inspector | lawful_reader | archive_lawful_desk | appeal_body | compliance_table | owed_reader | equivalent
    intended_use: route_unlock | proof_bridge | service | release | appeal | audit | receipt_validation | contradiction_closure | equivalent
  annex_carrier:
    carrier_id: han_yanshuang | baiya | archive_clerk | editor_checksum | public_witness | sponsor_desk | route_asset | proxy_runner | explicit_absence | equivalent
    carrier_state: visible | protected | retained | captured | hostile | unavailable | explicit_absence
  proof_bridge_or_absence:
    bridge_kind: lawful_annex | split_record | archive_escrow | public_addendum | editor_checksum_annex | sponsor_unwind | explicit_absence | equivalent
    bridge_scope: lawful_only | public_addendum_required | split_required | checksum_required | archive_only | sponsor_rejected | recovery_only | explicit_absence
  readers:
    served_reader: <reader or explicit_absence>
    omitted_or_delayed_reader: <reader or explicit_absence>
    capturing_reader_or_absence: <reader or explicit_absence>
  result:
    annex_state_after: annex_attached | split_record | archive_escrowed | public_addendum_required | checksum_annexed | sideletter_rejected | false_annex | recovery_only
    future_reader_or_route_effect: lawful_only | public_addendum_required | split_required | checksum_required | archive_escrow_required | sponsor_unwind_required | blocked | hostile | costlier | recovery_only | equivalent

The ledger fails if source proof, source reader scope, lawful reader request, annex carrier, bridge, and future effect collapse into one boolean.

Review oracle

Lawful Annex Relay Review must expose these branch families:

• attach_lawful_annex
• split_public_and_lawful_record
• archive_escrow_annex
• return_for_public_addendum
• editor_checksum_annex
• sponsor_sideletter_reject
• false_lawful_annex_default

Each branch must include relief, cost, and future_effect_any. No branch may make one source proof satisfy public, lawful, sponsor, editor, archive, fan, pirate, route-asset, and management readers cleanly.

Default oracle

False Lawful Annex Default must record:

false_lawful_annex_default:
  event_id: storyteller.event.false_lawful_annex_default.v1
  source_proof: <proof row id or explicit_absence>
  false_annex_claim: <claim>
  source_scope_hidden_or_mismatched: <gap>
  capturing_reader: <reader or explicit_absence>
  annex_state_after: false_annex | lawful_challenge | public_addendum_required | split_required | checksum_required | sponsor_unwind_required | blocked | hostile | recovery_only
  future_reader_effect: blocked | hostile | costlier | lawful_only | public_addendum_required | split_required | checksum_required | sponsor_unwind_required | recovery_only
  counter_deltas_min: 3

The default fails if it is only a mood hit, generic legal warning, or non-durable compliance error.

Progress metric

lawfulAnnexRelayReceiptProgress = 0..8:

• 0: no source proof or explicit absence is visible.
• 1: source proof and source reader scope are visible.
• 2: lawful reader request and intended use are visible.
• 3: annex carrier or explicit absence is recorded.
• 4: proof bridge or explicit absence is recorded.
• 5: Lawful Annex Relay Ledger separates source proof, reader scope, request, carrier, bridge, and future locks.
• 6: Lawful Annex Relay Review resolves a branch with relief, cost, and future effect.
• 7: a future reader consumes annex state.
• 8: false, missing, or mismatched annex arms a durable default or recovery-only scar.

Non-goals

• Not a broadcast legality conversion lens.
• Not an affected-party rebuttal notice lens.
• Not an appeal-stay relay lens.
• Not valid when public, editor, or sponsor proof silently becomes lawful service.
• Not valid from fixed turn, fixed day, raw count, dashboard state, or lens health.