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: trueThe 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:
- Borrowed Generator Claim Maturity;
- Borrowed Generator Claim Maturity;
- Borrowed Generator Claim Docket;
- Borrowed Generator Claim Hearing;
- Generator Claim Capture Default;
- executable sibling
borrowed-generator-claim-maturity.lens.ts; - evaluator registration
storyteller.lens.borrowed_generator_claim_maturity.v1.
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: trueThe 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.