Pei Huan Sponsor-Inheritance Counsel Lens / 裴环冠名遗产漏口律师 Lens

Observable promise

Rite 14 must materialize actual Pei Huan and make both authored choices playable:

  • sponsor return reaches a visible company-retainer miss;
  • the Yu Lan-readable leak reaches scoped recruitment;
  • both resolved dispositions continue into Rite 15.

Compatibility oracle

  • Rite 14 and Rite 15 IDs remain stable.
  • Historical option index 0 retains sponsor return.
  • Historical option index 1 retains the Yu Lan-readable leak.
  • Existing two-slot shapes remain stable and require in-hand assignments.

Recruit/miss oracle

Recruitment must retain actual Pei Huan, create exactly one bounded route asset, set contract trust to at least two, and never set the company-retainer miss.

The company path must trigger the retainer notice, remove actual Pei Huan, retain the miss notice, set recovery-only state, and never create the route asset.

Exactly one terminal Pei Huan state is allowed.

Continuation oracle

After either disposition:

  • Rite 15 conditions pass;
  • both Rite 15 choices resolve;
  • the upstream route and terminal character state remain true;
  • storyteller_white_glove_audit_inherits_sponsor_inheritance_path is written;
  • recruitment/loss, route-asset, and notice cardinality remain unchanged.

This produces four reachable Rite14→Rite15 combinations.

Replay oracle

  • pei-huan-sponsor-inheritance-counsel.recruit.replay.json proves the formerly dead leak branch reaches Rite 15 with Pei Huan retained and the sole route asset.
  • pei-huan-sponsor-inheritance-counsel.missed.replay.json proves sponsor return resolves the priority retainer notice, removes Pei Huan, retains the miss card, and then reaches Rite 15.

Authority oracle

No runtime or wiki object may promote branch provenance into memory ownership, breath allocation, mourning consent, archive truth, platform ownership, universal contract authority, or clean proof.