Borrowed Generator Claim Maturity Lens / 借用发电机认领到期 Lens

This lens observes whether 借用发电机认领到期线 correctly handles the afterlife of borrowed emergency power.

A passing implementation proves that the branch borrow_generator does not become clean restored capacity. The game must expose the source power row, borrowed source claim, lender or explicit absence, powered surface that benefited, claim maturity or release request, harmed reader, selected posture, claim state after, and future reader effect.

Entry oracle

entry_state_required:
  trigger_kind: state_pressure
  borrowed_generator_claim_present: true
  source_power_priority_row_visible: true
  source_switch_or_explicit_absence_visible: true
  lender_or_explicit_absence_visible: true
  powered_surface_benefited_visible: true
  claim_maturity_or_release_request_visible: true
  harmed_reader_or_explicit_absence_visible: true
  future_reader_or_route_consumes_generator_claim_state: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_power_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry opens from fixed chronology, raw power count, dashboard state, lens health, or generic debt cleanup without a borrowed claim and future reader.

Bound packet

The lens expects these pages:

Docket oracle

借用发电机认领案卷 or equivalent must record:

borrowed_generator_claim_docket:
  source_power_row:
    source_card: storyteller.card.emergency_power_ledger.v1 | explicit_absence
    powered_surface_benefited: <surface>
  source_switch_or_absence:
    switch_row: storyteller.card.manual_transfer_switch_ledger.v1 | explicit_absence
  borrowed_source_claim:
    claim_id: <stable claim id>
    source_kind: sponsor_meter | security_backup | ward_reserve | fan_relay | pirate_relay | archive_battery | emergency_generator | route_asset_battery | equivalent
  lender_or_absence:
    lender: <lender or explicit_absence>
  claim_maturity:
    maturity_trigger: <trigger>
    maturity_reader: <reader>
  release_request_or_future_use:
    requested_use: <use>
  harmed_reader_or_absence:
    harmed_reader: <reader or explicit_absence>
  claim_state_after:
    state: repaid_with_receipt | public_settled | converted_to_wear | lawful_annexed | split_required | quarantined | refused_with_scar | captured_default | recovery_only
  future_reader_or_route_effect:
    effect: <effect>

The lens fails if the docket only records borrowed generator used, power restored, battery spent, priority allocated, or release clean.

Hearing oracle

借用发电机认领听证 must require source power row, borrowed source claim, lender, powered surface, maturity trigger, requested future use, harmed reader, selected posture, support or explicit absence, and future reader.

Accepted branch families:

  • repay_lender;
  • settle_with_public_receipt;
  • convert_to_route_asset_wear;
  • lawful_maturity_annex;
  • split_lender_claim;
  • quarantine_generator_claim;
  • refuse_with_scar;
  • generator_claim_capture_default;
  • future_effect_any.

Every constructive branch must include relief, cost, and future route effect.

Default oracle

发电机认领捕获默认 must fire or arm when borrowed power is cited as clean while claim state is hidden.

generator_claim_capture_default:
  false_clean_power_claim: true
  hidden_or_unpaid_claim: <gap>
  capturing_lender: <lender or explicit_absence>
  harmed_or_omitted_reader: <reader or explicit_absence>
  claim_state_after: <state>
  future_reader_effect: <effect>
  counter_deltas_min: 3
  durable_mutation: true

The default fails if it changes only flavor, tension, or generic debt.

Progress metric

borrowedGeneratorClaimMaturityProgress = 0..8:

  • 0: no borrowed power claim row.
  • 1: source power priority row exists.
  • 2: borrowed source claim and lender or explicit absence are visible.
  • 3: claim maturity or release request is visible.
  • 4: harmed reader and future reader are visible.
  • 5: docket separates source, lender, maturity, release, state after, and future effect.
  • 6: hearing exposes at least four constructive branches with relief, cost, and future effect.
  • 7: default capture records false clean borrowed power, capturing lender, harmed reader, and future mutation.
  • 8: downstream release, route asset, insolvency, remedy, public, sponsor, archive, oxygen, or broadcast-reality reader consumes claim state.

Non-goals

  • Not emergency power allocation.
  • Not manual switch custody.
  • Not generic debt collection.
  • Not a clean blackout survival reward.
  • Not valid if borrowed power releases every future reader as clean.