Connect Guild Nexus Betrayal receipt to Bureaucrat per ruling

docs/BUREAUCRAT_PAYMENTS.md

@@ -126,8 +126,15 @@ change, not a silent extension.
 shipment fee to the Nexus holder, while Bureaucrat says the recipient receives
 two less. The user ruled that **Bureaucrat applies**: the holder receives
 price−2 and exactly two goes to the Bank. Neither printed card addresses the
-other, so this is an explicit user ruling, not a source derivation. The Betrayal
-preview still excludes Leader Skills until that composition is implemented.
+other, so this is an explicit user ruling, not a source derivation. It is now
+connected through a bounded classic Nexus + Leader Skills Betrayal composition
+(`initializeGuildBetrayalLeaderSkillsGameForAudit`): the accepted Use completes
+the original native shipment and records the full-fee receipt unchanged, then
+offers Bureaucrat from the invoice's own payment legs with the holder as payee.
+A redirect subtracts exactly two from the holder's receipt; a decline leaves the
+full fee. The offer is skipped when the holder is the shipper, no individual leg
+reaches five, or the skill was already used this phase. No other Betrayal or
+preview composition is admitted.
 
 ### Payment families deliberately left unconnected — 13 October 2026
 
@@ -143,10 +150,8 @@ qualifying gap:
   payer and correctly carry no stamp. Moritani Robbery is theft, not a payment.
 - **Emperor gifts** remain excluded by the explicit 11 October ruling.
 - **Guild Nexus Betrayal full-fee receipt** is ruled to carry Bureaucrat (holder
-  receives price−2; see the 13 October ruling above). It remains unconnected
-  because the recorded Betrayal preview contract expressly excludes Leader
-  Skills, so implementing it requires deliberately widening that preview
-  envelope; it is not a silent omission.
+  receives price−2; see the 13 October ruling above) and is now connected
+  through the bounded classic Nexus + Leader Skills Betrayal composition.
 - **Homeworld allied/split-recipient income** is now connected under the ruled
   gross-first ordering above. Only the ruling makes the ordering authoritative;
   it must not be attributed to the printed source, which is silent.

docs/CURRENT_STATUS.md

@@ -29,6 +29,26 @@ optional skill bands, combinations and public expansion starts remain open.
 Rules implementation continues; comprehensive assurance and administration
 remain deferred until all rules are implemented.
 
+**Bureaucrat / Guild Nexus Betrayal receipt — 13 October.**
+Per the user ruling, a Betrayal receipt now carries Bureaucrat: the holder
+receives the fee minus two. A new bounded composition
+(`initializeGuildBetrayalLeaderSkillsGameForAudit`, `guildBetrayalNexusLeaderSkillsProfile`)
+admits classic Nexus + Leader Skills with the Betrayal preview, and the accepted
+Use completes the original native shipment and records the unchanged full-fee
+receipt before offering Bureaucrat from the invoice's own payment legs with the
+holder as payee. Redirect subtracts exactly two from the holder; decline leaves
+the full fee; no offer when the holder is the shipper, no leg reaches five, or
+the skill was already used. No other Betrayal or preview composition is admitted.
+35 consumer cases cover both modes and 5+0/5+3/3+5/5+5/0+5 legs, redirect and
+decline, unchanged invoice/payer/donor debits/escrow/physical shipment/receipt,
+single Nexus discard, no-offer boundaries, private projection with payer null,
+stale/tampered rejection and all four bots. Two actual390px flows redirect2:
+single-leg5 (holder14→12, shipper still pays5) and allied5+3 (holder17→15,
+private payer null, donor escrow consumed). The shared betrayal fixture gained
+distinct conserved Nexus faces for additional unallied seats; existing
+single-extra expectations are unchanged. Union462/462 across twenty-four files,
+types/lint and build pass. No deployed, save/recovery or full-mode claim follows.
+
 **Bureaucrat / Homeworld allied income and two 13 October rulings — 13 October.**
 Homeworlds + Leader Skills games now connect qualifying allied-funded ordinary
 auction and Guild-shipment income (`bureaucratAlliedFundingModeSupported` returns

docs/IMPLEMENTATION_STATUS.md

@@ -1,5 +1,54 @@
 # Dune implementation status
 
+## 13 October 2026 — Guild Nexus Betrayal Bureaucrat receipt
+
+The user ruled that a Betrayal receipt still carries Bureaucrat: the holder
+receives the fee minus two and exactly two goes to the Bank. Neither printed card
+addresses the other, so this is an explicit ruling rather than a source
+derivation. A new bounded composition implements it:
+`guildBetrayalNexusLeaderSkillsProfile` (classic Nexus plus Leader Skills plus
+the Betrayal preview) is admitted by `bureaucratPaymentModeSupported`,
+`bureaucratAlliedFundingModeSupported` and `guildBetrayalModeSupported`, and
+`initializeGuildBetrayalLeaderSkillsGameForAudit` deals the composition from a
+fresh classic native-Guild lobby. No other Betrayal or preview composition is
+admitted, and existing no-skills Betrayal behavior is unchanged.
+
+On an accepted Use the engine completes the original native shipment and records
+the unchanged full-fee receipt first, then stamps a `shipment` Bureaucrat source
+from the invoice's own payment legs (shipper `ownPayment`, donor `allyPayment`
+only when a donor exists) with the holder as payee, and offers a new signed
+`guildBetrayal` continuation. Redirect subtracts exactly two from the holder's
+already-credited receipt; decline leaves the full fee. No offer when the holder
+is the shipper, no individual leg reaches five, or the skill was already used
+this phase. The continuation integrity check requires the completed receipt with
+the same event, recipient and full price.
+
+The new fixture composes the bounded setup (Bene Gesserit prediction then the
+real leader-skill choices, Bureaucrat trained on a seat distinct from shipper
+and holder) and reuses the shared betrayal fixture for the genuine funded
+shipment. Thirty-five consumer cases cover both modes and 5+0/5+3/3+5/5+5/0+5
+invoice legs with redirect and decline, unchanged invoice/payer/donor debits,
+escrow consumption, physical shipment, receipt/history and single Nexus discard,
+replay and double-completion rejection, the no-offer boundaries, private
+projection (gross and holder only, payer null), stale/cross-actor and re-signed
+malformed-continuation rejection, and all four owner bots. The shared fixture
+`holdGuildFixtureFace` now assigns distinct conserved Nexus faces to each
+additional unallied seat; the first extra keeps the established `fremen`
+assignment, so existing expectations are unchanged.
+
+Two actual390px GameTable flows redirect two: a single-leg five (holder 14→12
+while the shipper still pays five, one use, original continuation resumed) and an
+allied 5+3 (holder 17→15 with a private payer-null prompt and the donor's escrow
+consumed once). One click was retried after a stale accessibility node; no
+action was applied twice. Artifact outside Git
+`/tmp/dune-betrayal-bureaucrat-3230.json`.
+
+The affected union462/462 across twenty-four files, types/lint and the app build
+pass with unchanged build warnings. A guidance string initially used a plain
+apostrophe inside a single-quoted literal and broke the parse; it was corrected
+to the file's typographic apostrophe. No source rule, strategy, public-start,
+save/deployed or full-mode claim is opened by this bounded proof.
+
 ## 13 October 2026 — Homeworld allied income and two Bureaucrat rulings
 
 `bureaucratAlliedFundingModeSupported` now returns `homeworldLeaderSkillsProfile`

docs/RULE_DECISIONS.md

@@ -400,7 +400,7 @@ dedicated retrieved worked FAQs. [Contract and remaining limits](HOMEWORLD_OCCUP
 | Smuggler shipping | Optional free companion is included in the actual total; apply Guild rounding to the reduced priced count. Ordinary Fremen reserves are on planet. The officially permitted owned No-Field plus a separate free force is now prototyped at the unchanged one-marker price. Legacy unstamped ordinary declarations keep their quoted full price. | [Ordinary contract](SMUGGLER_SHIPMENT.md), [No-Field combination](SMUGGLER_NO_FIELD.md) |
 | Sandmaster movement | One optional board spice per distinct entered territory; source-only repositioning earns none. Per-movement Hajr reset is a documented grammatical inference. Canceled moves earn nothing. Native Fremen worm rides and physical Fremen Ambassador relocations collect optionally at the destination before arrival reactions, without an invented intermediate route. Owned one-pile-per-territory allocation now covers ground, direct destinations and native HMS relocation; sector allocation remains provisional and concealed No-Field movement stays separate. | [Ground/direct/HMS relocation](SANDMASTER_MOVEMENT.md), [worm rides](SANDMASTER_WORM.md) |
 | Diplomat defense | A committed Worthless copies the opponent's canonical printed defensive role: base/Ix Shield/Snooper, hybrid, defensive Weirding/Chemistry or sealed Portable. Named combat distinctions remain. Copying the used role, not activation or own-slot prerequisites, is a visibly qualified first version. Reveal-before-traitor timing and mandatory disposal remain implementation interpretations; existing base-only battle windows are not reopened. Late/mirror/numeric modifications remain separate. | [Source and connected prototype](DIPLOMAT_DEFENSE.md) |
-| Bureaucrat payments | Once per phase, optionally divert two when one third-party payer pays at least five; payer cost is unchanged. Different below-five allied shares never pool. Supported classic/E1/E2/E3 no-Homeworlds and Homeworlds+Leader Skills ordinary, Richese-source and Guild auctions/shipment funding, including a fully qualifying ally, offer one gross-receipt redirection; private shares and selected qualifying payer remain withheld. Owner/payee contributions cannot qualify but do not mask a different eligible payer. Bribes trigger at transfer to the shield, not later collection. Existing Guild/Emperor/revival income follows Karama allowance as an outcome-based inference; canceled gross creates no offer/use. Richese uses its original seller-credit callback, not an invented income cancellation. By user ruling, the two comes off the gross before any Homeworld occupation split, and a Guild Nexus Betrayal receipt still carries Bureaucrat (holder receives the fee minus two); both compositions are fenced from Leader Skills today. Remaining payment families need further integration. | [Source and connected boundary](BUREAUCRAT_PAYMENTS.md) |
+| Bureaucrat payments | Once per phase, optionally divert two when one third-party payer pays at least five; payer cost is unchanged. Different below-five allied shares never pool. Supported classic/E1/E2/E3 no-Homeworlds and Homeworlds+Leader Skills ordinary, Richese-source and Guild auctions/shipment funding, including a fully qualifying ally, offer one gross-receipt redirection; private shares and selected qualifying payer remain withheld. Owner/payee contributions cannot qualify but do not mask a different eligible payer. Bribes trigger at transfer to the shield, not later collection. Existing Guild/Emperor/revival income follows Karama allowance as an outcome-based inference; canceled gross creates no offer/use. Richese uses its original seller-credit callback, not an invented income cancellation. By user ruling, the two comes off the gross before any Homeworld occupation split (that split-recipient composition stays fenced from Leader Skills), and a Guild Nexus Betrayal receipt still carries Bureaucrat so the holder receives the fee minus two; the bounded classic Nexus plus Leader Skills Betrayal composition now connects that offer from the invoice's own legs. Remaining payment families need further integration. | [Source and connected boundary](BUREAUCRAT_PAYMENTS.md) |
 | Leader battle effects | Rihani normal peek and reshuffle precede a separate committed optional draw; ordering is an explicit printed-order inference. Unused excludes actual calls, not mere disclosure. Mentat/Bureaucrat change scores; Sandmaster adds board spice. Owned multi-pile Smuggler debits and Sandmaster victory placement are connected under provisional allocation policies; modifier and exceptional Face Dancer composition remain separate. | [Source contract and prototype](LEADER_BATTLE_EFFECTS.md), [Smuggler allocation](SMUGGLER_BATTLE.md) |
 | Source and readiness | Separate published rules, explicit implementation choices and unfinished interpretations; Advanced/expansion gates stay closed. | [Base/Advanced audit](BASE_ADVANCED_READINESS_20260907.md), [checklist](../game/reference.ts) |
 | Setup and Fremen movement | Preserve source-ordered setup and the distinct declared-movement cancellation; do not recreate fixed historical gaps. | [Setup contract](ADVANCED_SETUP_TEST_SEAM.md), [Fremen Karama](FREMEN_MOVEMENT_KARAMA_RULES.md) |