The next phase begins when the remaining Nexus card choices are finished.
) : g.truthtrance ? (
diff --git a/components/nexus-ixian-betrayal.tsx b/components/nexus-ixian-betrayal.tsx
new file mode 100644
index 00000000..09f2e516
--- /dev/null
+++ b/components/nexus-ixian-betrayal.tsx
@@ -0,0 +1,60 @@
+'use client';
+
+import type { Action, GameView } from '@/game/engine';
+import { nexusCardMode } from '@/game/nexus-cards';
+import { NexusCardFace } from './nexus-cards';
+import { Button } from './ui/button';
+
+export function NexusIxianBetrayal({ game, act, busy }: {
+ game: GameView;
+ act: (action: Action) => void;
+ busy: boolean;
+}) {
+ const reaction = game.nexusIxianBetrayalReaction;
+ if (!reaction) return null;
+ const own = game.players.find((player) => player.id === game.me);
+ const provider = game.players.find((player) => player.id === reaction.provider);
+ const canRespond = !!reaction.event && reaction.canPass && !reaction.hasPassed;
+ const canUse = canRespond && reaction.canUse && !reaction.blocked;
+ const priorityBlocked = game.automaticContinuationPending || !!game.truthtrance ||
+ !!game.response || !!game.decision || !!game.phaseOpening ||
+ !!game.nexusCards?.waiting.length || !!game.nexusTraitors?.pending;
+ const disabled = busy || game.status !== 'playing' || game.phase !== 3 || priorityBlocked ||
+ !!game.roomControl?.paused || !!game.roomControl?.closed || !!own?.autopilot;
+ const ownMode = game.nexusCards?.card === 'ixians' && own
+ ? nexusCardMode('ixians', own.faction, game.players.map((player) => player.faction))
+ : undefined;
+ const advantage = reaction.kind === 'bidding' ? 'Bidding' : 'Technology';
+
+ return (
+
+ Native Ixian advantage acknowledgement · {advantage}
+ {provider?.name ?? 'The Ixian player'} has a pending native {advantage} attempt.
+ {reaction.kind === 'bidding'
+ ? ' The extra-card draw and inspection have not happened.'
+ : ' The declared exchange has not happened.'}
+ Every publicly possible unallied responder acknowledges this boundary, regardless of their secret Nexus identity.
+ After all acknowledgements, the original advantage continues once. Preventing it closes only this attempt, not the whole phase.
+ The native Karama response finishes first; this acknowledgement is not another Karama counter window.
+ {game.nexusCards?.card === 'ixians' && <>
+
+ {ownMode === 'betrayal' && Spend your own Ixian Nexus to prevent this one native {advantage} advantage.
+ {' '}Betrayal timing and preview limits
+
}
+ }
+ {!canRespond ? (
+ {reaction.hasPassed ? 'You have passed. Waiting for the remaining acknowledgements.' : 'Waiting for the required acknowledgements.'}
+ ) : <>
+ {reaction.blocked && {reaction.blocked}
}
+
+ {canUse && }
+ }
+
+ );
+}
diff --git a/db/admin-directory.ts b/db/admin-directory.ts
index 6efe11b3..f80b884e 100644
--- a/db/admin-directory.ts
+++ b/db/admin-directory.ts
@@ -39,6 +39,13 @@ export function projectAdminRoom(row: DirectoryRow): AdminRoom {
else if (g.battle) pending = { label: 'Battle decisions', owners: [g.battle.attacker, g.battle.defender].filter(seated) };
else if (g.nexus) pending = { label: 'Nexus negotiations', owners: [] };
else if (g.phase === 0 && g.stormDialers?.length) pending = { label: 'Storm dials', owners: g.stormDialers.filter(id => g.stormDials?.[id] === undefined).filter(seated) };
+ else if (g.pendingNexusIxianBetrayal) {
+ const { required, passed } = g.pendingNexusIxianBetrayal;
+ const unfinished = Array.isArray(required) && Array.isArray(passed)
+ ? [...new Set(required.filter(seated).filter(id => !passed.includes(id)))]
+ : [];
+ pending = { label: 'Nexus acknowledgement', owners: unfinished.length === 1 ? unfinished : [] };
+ }
else if (g.auction) pending = { label: 'Auction decision', owners: seated(g.auction.active) ? [g.auction.active] : [] };
else if (seated(g.active)) pending = { label: 'Turn decision', owners: [g.active] };
return { ...base, status: g.status, host: seated(g.host) ? g.host : null, players,
diff --git a/docs/CURRENT_STATUS.md b/docs/CURRENT_STATUS.md
index bdaf20b4..a96a628f 100644
--- a/docs/CURRENT_STATUS.md
+++ b/docs/CURRENT_STATUS.md
@@ -16,6 +16,34 @@ open mode gates.
## Current checkpoint and work
+Ixian Nexus Betrayal now connects both actual native attempts: Bidding's
+extra-card inspection and Advanced Technology. Fresh local `ixian-betrayal`
+uses native Ix/allowed classic or Tleilaxu, the physical Ix deck and Nexus only.
+Native Karama counters resolve first; uniform public possible holders then
+acknowledge before the draw/exchange. Denial/allow uses the original transition
+once with exact Nexus cost, private controls, legal bots and saved continuation.
+This bounded ordering/privacy is an inference, not universal publisher priority.
+Original BG conversion and Harkonnen exchange suspensions retain native source
+ownership; legitimate pre-offer loss of a declared Technology card retains its
+spent attempt without a swap or fabricated Nexus gate. Public administrator
+progress follows the same unfinished acknowledgements as the player table.
+Final scoped native and privacy/administrator reviews have no finding.
+Types, lint, **6,315 offline tests**, **167 affected cases**, final guide
+**10/10** and build pass. Eight actual native scenarios plus both BG
+Worthless-Karama interruptions retain original stock and continuation.
+Four privately backed-up exact-version CLI/390px rooms prove Basic Bidding
+Use, Advanced Technology Use, wrong-face Bidding Pass and two-receiver
+Technology all-pass with partial refresh. Read-only proof retains all
+forty-seven Treachery/twelve Nexus cards and fourteen earlier QA games.
+The bounded path is **Partial development verified**, not full Ixian/Nexus
+completion, a public start or deployed acceptance.
+After the final isolated worker reload, all **55 original seats in eighteen
+rooms** reauthenticate; exact saved proof preserves all four outcomes and
+fourteen earlier games. The actual phone guide shows **Partial / Development:
+Verified** at 390px without horizontal overflow. Current HTTP integration is
+**52/55**, not green: three requests returned the known Wrangler proxy 503.
+No authorization weakening, automatic write retry, reset or deployment follows.
+
Five implementation lanes connected the missing Ixian Nexus Secret Ally
purchased-card replacement through fresh local `ixian-replacement`: exact
normal paid/printed-Karama source, own private controls, native discard/draw
diff --git a/docs/IMPLEMENTATION_STATUS.md b/docs/IMPLEMENTATION_STATUS.md
index 03b18b98..414166fc 100644
--- a/docs/IMPLEMENTATION_STATUS.md
+++ b/docs/IMPLEMENTATION_STATUS.md
@@ -1,5 +1,66 @@
# Dune implementation status
+## 1 October 2026 — Ixian Nexus Betrayal at original native attempts
+
+Fresh local `ixian-betrayal` integrates native Ixian Bidding inspection/draw in
+Basic/Advanced and Advanced Technology exchange before the native effect.
+It admits unique 2..6 seats with native Ixians and otherwise classic/Tleilaxu,
+the physical Ix47 Treachery Deck and Nexus alone. Natural alliance-qualified
+Nexus draw remains required; no initial deal, old-save retrofit or public
+start is enabled. Richese/special lots and wider modules remain excluded.
+
+Actual native printed/BG Karama counters resolve first. Native denial spends
+no Nexus and opens no new gate. After all native passes, every publicly possible
+unallied non-Ixian held-Nexus owner gets a face-neutral acknowledgement.
+Privately eligible Use spends the actual singleton Ixian Nexus and prevents
+only this attempt; all-pass allows the original native transition once.
+Exact source/context/canonical stock/history checks reject stale, foreign,
+orphaned or changed committed parents without mutation. Nonrecursive history
+retains bounded serialization and later physical card recycling. Bots consume
+only canonical private Use/Pass projections; strategy remains uncalibrated.
+
+Independent review repaired original BG Worthless-Karama response ownership,
+retained native Harkonnen hand-exchange suspension, and restored the existing
+Technology fizzle when a legal pre-offer exchange removes the declared card.
+The spent native attempt stays used; no swap, Nexus spend or fabricated gate
+follows. Already-open Nexus source corruption still rejects. Administrator
+progress now uses only public unfinished acknowledgements, matching the player
+table instead of the original ordinary bidder; independent autopilot controls
+remain available during reactive gates. Both final scoped reviews report no
+findings.
+
+Parent verification: types/lint and **6,315/6,315** offline tests pass; the
+affected nine-file union is **167/167**. Final reference **10/10** and build
+pass. Actual scripts exercise eight Basic/Advanced allow/prevent/partial-pass
+scenarios plus both genuine BG Worthless counter interruptions; public
+administrator ownership goes from two responders to the actual sole remainder.
+Four exact-version private-backed-up CLI rooms continue their actual undealt
+setup without redealing, then declare/respond through the real HTTP API:
+
+- `MVLVQHVB` v11: Basic Bidding human Use spends Nexus, draws only the normal
+ allocation and resumes the original auction without private Ix inspection.
+- `T2XSABT4` v11: Advanced Technology human Use retains the selected hand card
+ and unseen lot, keeps the attempt spent and resumes original inspection.
+- `QBVHGDD5` v13: wrong-face Bidding Pass retains Nexus, then human Ix returns
+ Shield from the genuine extra-card inspection and declines Technology.
+- `7NKT45P7` v14: two wrong-face receivers Pass; partial refresh preserves the
+ first acknowledgement and exposes only the sole public remaining owner.
+ All-pass performs the original physical Technology swap once.
+
+Actual 390px controls/own inspector/refresh/native suffix and final expanded
+**Partial / Development: Verified** guide are observed. Read-only saved proof
+retains all forty-seven Treachery/twelve Nexus cards, unchanged spice/force
+cost, exact native suffix/history and fourteen earlier QA games. After the
+necessary final isolated worker reload, all **55 original seats in eighteen
+rooms** reauthenticate and all saved outcomes remain unchanged.
+
+Current HTTP integration is **52/55**, not green: three admin/discussion
+requests returned the known Wrangler proxy 503. No unsafe write retry,
+authorization change, game reset or deployment workaround is introduced.
+Complete Ixian/Nexus games, wider modules, public starts, strategic calibration
+and live acceptance remain open. The user removed the five-agent minimum:
+future waves choose useful agent count for speed and integration cost.
+
## 1 October 2026 — exact Ixian Nexus purchased-card replacement
Five implementation lanes integrated runtime, pure source/custody/history,
diff --git a/docs/NEXUS_CARD_RULES.md b/docs/NEXUS_CARD_RULES.md
index 8c93df44..3fad64ff 100644
--- a/docs/NEXUS_CARD_RULES.md
+++ b/docs/NEXUS_CARD_RULES.md
@@ -1,6 +1,6 @@
# Nexus cards: primary-source contract
-Source audit, 10 September 2026. This document establishes the printed component inventory and implementation contract; it does not claim runtime support or lift expansion release gates. The ordinary worm-triggered alliance Nexus already in the engine is distinct from this optional card module.
+Original source audit, 10 September 2026, with dated bounded runtime follow-ups below. This document establishes the printed component inventory, source protocol and implementation boundaries; none lifts expansion release gates. The ordinary worm-triggered alliance Nexus already in the engine is distinct from this optional card module.
## Authority and acquisition
@@ -53,6 +53,97 @@ Every row below is a semantic transcription of the photographed face, not a repr
Source for the entire table: [the twelve original printed components](https://boardgamegeek.com/image/7767032/dune-ecaz-and-moritani). All card identities appear once; the photograph is arranged Moritani/Tleilaxu/Richese/Ixians, Atreides/Bene Gesserit/CHOAM/Emperor, Guild/Ecaz/Harkonnen/Fremen.
+## Bounded Ixian Betrayal source protocol — 1 October 2026
+
+**Both printed alternatives are connected in the fresh local `ixian-betrayal`
+prototype:** prevent the native Ixian Bidding advantage, or prevent the native
+Advanced Technology advantage. This is an original-attempt interception, not
+just an inspectable catalog entry. Verification is **Partial**, with development
+stage **Verified** for genuine native, private, recovery, CLI and phone proof;
+it does not certify complete Ixian/Nexus play or deployment.
+The [runtime contract](NEXUS_CARD_RUNTIME.md#bounded-ixian-betrayal-local-runtime--1-october-2026)
+and internal `nexus-ixian-betrayal` topic describe the usable controls.
+
+### Source order and authority
+
+- **Face:** the [photographed publisher-authored Ixian Nexus face](https://boardgamegeek.com/image/7767032/dune-ecaz-and-moritani)
+ grants either prevention alternative and expressly says one card cannot
+ prevent both. The photograph, not uploader commentary, supplies this panel.
+- **E3:** [Ecaz & Moritani rules, printed pp.11,16](https://www.gf9games.com/dune/wp-content/uploads/EcazMoritani-Rulebook-LOWRES.pdf#page=11)
+ supply the separate physical Nexus inventory, unallied custody, opposing
+ native faction mode, discard-on-use and qualifying closing-phase draw.
+- **E1:** [Ixians & Tleilaxu rules, printed pp.8–9,12](https://www.gf9games.com/dunegame/wp-content/uploads/2020/09/IxianAndTleilaxuRulebook.pdf#page=8)
+ supply native auction preparation, the extra inspection card and return,
+ Advanced Technology before bidding and Atreides inspection, and native
+ cancellation. The [existing auction audit](RICHESE_AUCTION_RULES.md#evidence-and-limits)
+ records the retrieved publisher text and its limits.
+- **FAQ:** [November 2020 FAQ, printed pp.6–7](https://www.gf9games.com/dune/wp-content/uploads/2020/11/Dune-FAQ-Nov-2020.pdf#page=6)
+ distinguishes cancelable native Ixian advantages from other acquisition
+ effects. **E2**, [CHOAM & Richese rules, printed pp.10–11](https://www.gf9games.com/dune/wp-content/uploads/2021/11/CHOAM-Rulebook-low-res.pdf#page=10),
+ does not settle Technology's substituted cache/Black Market custody;
+ its Ixian ally replacement answer is not a Technology prohibition.
+
+The adopted user-owned `UNOFFICIAL_Revised_Dune_Rulebook_v.2.3_web.pdf` remains
+the source for relevant Advanced core defaults, not this Nexus face. It supplies
+no Ixian Nexus alternative, duration or response-priority ruling and is not
+republished. Read the face with the native attempt's own source, rather than
+borrowing another Nexus family's ban, response or cost.
+
+### One current native attempt, one physical cost
+
+Use requires the actual unallied non-Ixian holder of the singleton Ixian Nexus
+while another seat is native Ixians. It discards that Nexus exactly once,
+spending no Treachery Card, Karama, activation spice or force. Pass retains the
+Nexus. The source fixes which alternative applies: the holder cannot choose
+another attempt, draw count, hand card, lot, price or provider.
+
+For **Bidding**, prevention takes the original native denied path before any
+auction draw: draw exactly the normal allocated pool count, without the extra
+inspection card, Ixian private inspection or return selector. All-pass takes
+the original allowed path, including the real extra draw, private return and
+normal auction continuation. Physical deck depletion remains the native
+allocation's responsibility; this adapter does not manufacture cards.
+
+For **Advanced Technology**, prevention occurs after the actual accepted native
+declaration but before its swap or Atreides peek. Keep the selected Ixian hand
+card and unseen lot in their original custody, preserve the declaration's
+already-spent once-per-turn attempt, then resume the normal Atreides/auction
+continuation once. All-pass performs the real declared exchange and its normal
+continuation once. Declining the native Technology offer before declaration
+still saves that option. Basic offers only the Bidding alternative.
+
+Neither alternative undoes completed draws, selections, exchanges, peeks or
+purchases, revokes other Ixian powers, or establishes a whole-phase ban.
+Later legally available native attempts can create new events, including after
+later physical Nexus recycling. General duration over other multiple-lot or
+combined-module situations remains unresolved outside this current-attempt
+profile; the word “advantage” is not an entire-phase ruling.
+
+### Native counters first, then neutral acknowledgement
+
+Resolve the existing native Karama window first, including its legal Advanced
+Bene Gesserit substitution protocol. A successful native counter completes
+the native denied transition once, with **no Nexus gate or Nexus cost**.
+Only after all native counter passes, before draw/exchange/Atreides peek,
+do publicly possible unallied non-Ixian seats with public held-Nexus presence
+receive a uniform neutral acknowledgement. Irrelevant concealed faces also
+receive Pass; only the canonical eligible owner's private view permits Use.
+No publicly possible seat means immediate native allowance. All required
+passes allow the original attempt once; accepted Use denies it once.
+
+**Native-counter-first and uniform acknowledgement are explicit bounded
+privacy/ordering inferences for this prototype, not publisher-prescribed
+universal priority or resolution of other pending stacks.** No additional
+Karama counter to the direct Nexus prevention is invented, and no blanket
+Nexus-immunity rule follows. The native counter's cost and the independent
+physical Nexus cost remain distinct.
+
+The public event names only the original publicly announced kind and native
+provider. It reveals no selected hand card, unseen lot, extra inspection
+faces, deck order, private source receipt, rival Nexus identity or private
+eligibility reason. Existing inspection of one's own actually held Nexus
+remains authorized; a neutral prompt grants no new inspection entitlement.
+
## Bounded CHOAM Betrayal runtime
The unallied holder of the CHOAM Nexus card may use its Betrayal panel when CHOAM is seated and holds at least one Treachery Card. The printed panel names no phase, so the current prototype offers it at a clean playing boundary, not during another decision, response or automatic continuation. The server samples one card uniformly from CHOAM's actual hand; neither the holder nor the bot chooses its identity. The physical Nexus card and sampled Treachery Card are discarded once. CHOAM receives no spice, and this panel does not create an additional Karama reaction. The ordinary fresh-discard continuation handles any applicable discard consequence.
diff --git a/docs/NEXUS_CARD_RUNTIME.md b/docs/NEXUS_CARD_RUNTIME.md
index 61c283b6..0e2a630a 100644
--- a/docs/NEXUS_CARD_RUNTIME.md
+++ b/docs/NEXUS_CARD_RUNTIME.md
@@ -1,5 +1,16 @@
# Nexus cards: common lifecycle checkpoint
+**Later Ixian Betrayal prototype:** the fresh local `ixian-betrayal` profile
+connects both printed alternatives to original native attempts: Bidding
+extra-card inspection/draw and Advanced Technology exchange. Native counters
+resolve first; a uniform neutral acknowledgement then precedes the native
+effect. These are explicit bounded privacy/ordering inferences, not publisher
+priority. Verification is **Partial**, with development stage **Verified** for
+the bounded native/private/recovery/CLI/phone path recorded below.
+See the [source protocol](NEXUS_CARD_RULES.md#bounded-ixian-betrayal-source-protocol--1-october-2026)
+and [current local contract](#bounded-ixian-betrayal-local-runtime--1-october-2026);
+the historical lifecycle counts below do not verify this later feature.
+
**Later Ixian Secret Ally replacement prototype:** [NEXUS_IXIAN_REPLACEMENT_RULES.md](NEXUS_IXIAN_REPLACEMENT_RULES.md#bounded-local-runtime-contract) records the fresh local `ixian-replacement` profile: exact just-purchased normal paid/printed Karama card, discard before private deck draw, full-hand and genuinely depleted-deck same-card behavior, unchanged original payment and native sale continuation once. Harkonnen buyers, cache/Black Market/special origins and combined modules remain guarded. The neutral buyer choice is an inferred development privacy convention, not publisher timing. Its bounded native/SQLite/four-bot/CLI/phone evidence is **Partial development verified**; this historical lifecycle checkpoint does not certify full effects or enable public/module starts.
The later [Emperor Secret Ally revival prototype](NEXUS_EMPEROR_SECRET_ALLY_RUNTIME.md) adds exactly three additional free force returns, separate ordinary allowances, private controls and saved continuation. Its purchase alternative and full module acceptance remain pending.
@@ -57,3 +68,115 @@ The panel also shows deck/discard/held counts and the names of players still cho
## Remaining release gates
Every effect family still needs its own original-action timing, cancellation, payment/discard/force or leader custody, hidden-information, bot, UI and recovery integration. Atreides' inspected elements are a distinct upcoming family; they are not enabled merely because the panel is displayed. Existing unresolved Homeworld, revival, No-Field and occupation interpretations remain isolated. Original-format saved games without this optional module are not retroactively dealt cards, and arbitrary saved JSON is not a substitute for a genuine setup/draw history.
+
+## Bounded Ixian Betrayal local runtime — 1 October 2026
+
+### Fresh local entry and natural card rights
+
+The `ixian-betrayal` profile admits a fresh ready two-to-six-seat Basic or
+Advanced lobby with unique factions, native Ixians and otherwise classic
+factions or Tleilaxu. It uses the actual forty-seven-card Ix Treachery Deck and
+the independent Nexus module. It excludes CHOAM, Richese, Ecaz and Moritani
+factions/decks/variants, Homeworlds, Leader Skills, Semuta, Discoveries, Tech
+Tokens, Stronghold Cards and other optional overlays. This is a private local
+development entry, not a public start, reset, saved-game retrofit or approval
+of complete Ixian/Nexus play.
+
+`initializeIxianNexusBetrayalGameForAudit` in `game/engine.ts` initializes that
+fresh boundary. `tools/prototype-room.ts` and `tools/start-prototype.ts` retain
+the exact-version and private-backup safeguards of other prototype entries.
+For an existing named fresh lobby, use the starter's `--profile ixian-betrayal
+--db PATH --room CODE --version NUMBER --out /private/new-directory` options;
+the output directory must satisfy the existing private backup contract.
+Original room IDs, seats, names, rules and setup custody are preserved.
+
+There is **no starting Nexus deal or automatic draw**. Complete genuine setup,
+then the normal qualifying Spice Blow and Nexus phase: a Nexus must have
+occurred, negotiations and earlier responses must finish, and at least one
+alliance must exist at the whole phase's close. An unallied seat may then draw
+through the normal private policy. Three actual seats are the minimum for
+one unallied receiver alongside a two-seat alliance; four are needed for two
+simultaneous unallied receivers. A two-seat profile can continue base play but
+does not fabricate an unreachable Betrayal card.
+
+### Original-source continuation and controls
+
+`game/nexus-ixian-betrayal.ts` supplies the bounded source/custody protocol;
+the original native engine callback owns the actual allow/deny continuation.
+The source distinguishes `bidding` from `technology`, binding the original
+provider, native window, turn/phase and required public responders. It does
+not replay a raw action, snapshot/undo the whole game, duplicate native draw
+algorithms or fabricate a Karama-cost card.
+
+1. Complete the original native Karama responses first. A successful printed
+ or legal Advanced BG counter takes the native denied path once without
+ opening a Nexus gate or spending Nexus.
+2. After native passes, pause before the original Bidding draw or declared
+ Technology swap/Atreides peek. Publicly possible unallied non-Ixian held-
+ Nexus seats acknowledge uniformly, regardless of their concealed face.
+ Native role and publicly impossible source/seat membership can omit an
+ impossible offer; the concealed Nexus identity cannot determine the pause.
+3. Pass retains Nexus and records that seat's acknowledgement for this event.
+ Only an actually eligible unallied rival Ixian-card holder receives private
+ Use. Use spends exactly one physical Nexus and denies the current native
+ attempt. All required passes allow it; no possible seats allow immediately.
+4. Bidding denial draws only the original normal allocated count, without
+ private Ixian inspection/return. Allowance retains the real native extra
+ draw and selection. Technology denial preserves both original card
+ locations and the declaration's used attempt; allowance swaps them.
+ Both branches resume the original normal auction/Atreides suffix once.
+
+The table uses `GameView.nexusIxianBetrayalReaction` and the preview marker.
+The reaction carries only the public event, kind and provider plus that
+viewer's own `canPass`, `hasPassed`, `canUse` and private `blocked` reason.
+`nexusIxianBetrayalPass` and `nexusIxianBetrayalUse` submit exactly the offered
+event, not client-selected source, draw count, card ID, price or provider.
+Multiple outstanding public responders have no fabricated sole owner; the
+last remaining public responder may own the acknowledgement.
+
+The controls explain the selected native alternative and distinguish Pass
+from private eligible Use. The holder's existing own-Nexus inspector shows
+their actually held face; an irrelevant-face prompt cannot grant an Ixian
+identity inspector. Neither the prompt nor the rival view reveals selected
+Ixian cards, unseen lots, inspection faces, deck order, private source or
+other seats' eligibility reasons. The bounded native-counter-first/neutral-
+acknowledgement policy is an application inference, not universal publisher
+priority, blanket Nexus immunity or an invented Karama response to Nexus.
+
+### Saved boundaries and remaining acceptance
+
+Refresh preserves the same pending source, passes and event. A completed
+event expires; it cannot reopen or replay the original declaration, counter
+cost, Nexus spend, draw, exchange or suffix. Closed history uses nonrecursive
+bounded source links, so later real card recycling does not require an old
+card to remain forever in discard or recursively copy prior signatures.
+These are consistency safeguards, not cryptographic authentication of
+arbitrarily fabricated saved JSON.
+
+The pending source blocks ordinary bids, draws, exchanges and competing card
+mutation while preserving existing response/decision/Truthtrance priority.
+A missing or orphaned source must reject, not silently allow or heal during
+a read. Independent own-seat `setAutopilot` remains available to every seat.
+Easy, Medium, Hard and Brutal use only their own projected legal Use/Pass
+choices: minimal continuation, not calibrated Nexus strategy.
+
+Verification is **Partial**, with development stage **Verified** for this bounded
+profile. The frozen parent check passed **6,315/6,315** offline tests, types and
+lint; the affected nine-file union passed **167/167**. Actual native scripts
+exercised eight allow/prevent/partial-pass cases and both original BG
+Worthless-Karama interruptions. Genuine Harkonnen exchange and public
+administrator acknowledgement ownership retain the original continuation.
+Four exact-version, backed-up CLI rooms exercised 390px human Use, wrong-face
+Pass, two-receiver partial refresh, original Ixian return and Technology
+exchange. Read-only saved-state proof retained all forty-seven Treachery and
+twelve Nexus cards, original wallets/forces and fourteen earlier QA games.
+Earlier checkpoints and image publication do not deploy this path or certify
+complete Ixian/Nexus play; wider and deployed acceptance remain open.
+
+Both alternatives concern **one current attempt**, not a whole-phase ban or
+retroactive undo of completed inspection, selection, exchange or purchase.
+Advanced Technology on Richese cache/Black Market lots remains outside the
+profile and unresolved; its special-lot decline continuation elsewhere is not
+an exchange ruling. General multiple-lot duration, competing effect priority,
+other modules/rosters, complete Ixian/Nexus games, strategy calibration,
+public release and live deployment remain separate open gates.
diff --git a/docs/RULE_DECISIONS.md b/docs/RULE_DECISIONS.md
index 7ce00e18..14b14464 100644
--- a/docs/RULE_DECISIONS.md
+++ b/docs/RULE_DECISIONS.md
@@ -110,6 +110,7 @@ independent decisions are not reconciled by this cutover.
| Richese Nexus Betrayal auctions | Pause at a valid original prepayment quote. Public self-cache veto discards the exact card without debit/acquisition; another buyer's positive cache/Black Market invoice keeps price/contributions/delivery and earned Harkonnen bonus while overriding the recipient to bank. All publicly possible unallied other-faction held-Nexus seats acknowledge uniformly; private identity controls only own Use. This neutral protocol is an application choice, not publisher timing. Normal hidden-family self-purchases, special-Karama veto and unsupported overlays remain excluded; no native Karama exception certifies them. Bounded engine/SQL/bot/phone scenarios are verified locally; broader verification remains Partial and public starts/full Nexus gates stay closed. | [Printed face, profile, API and saved continuation](NEXUS_RICHESE_RULES.md#bounded-betrayal-auction-contract--30-september-2026), [common privacy protocol](NEXUS_CARD_RULES.md#richese-betrayal-prepayment-protocol), [auction source boundaries](RICHESE_AUCTION_RULES.md) |
| Guild Nexus Betrayal shipment payment | Replace one original funded positive fee in full, including own pre-funded payment and the printed full occupied-Junction override; preserve original payer/contributions, consume already-debited donor escrow once and deliver the original physical shipment once. Native applicable stop/rate responses precede the bounded gate; zero/stopped shipments supply no award or Nexus cost. Public possible held-Nexus seats acknowledge uniformly; private Use changes no public price/source disclosure. Fresh classic/native-Guild/Nexus with optional genuinely seeded Homeworlds only; unsupported native Cunning/Richese shipment overlays block before card/parent commitment, and restored transport independently requires the native Guild grant. Bounded engine/SQL/bot/CLI/phone custody and refresh are locally verified; no new priority/immunity, ordinary occupation/rounding ruling or extra shipment. Broad/public/live gates remain closed. | [Printed source and bounded contract](NEXUS_GUILD_RULES.md#nexus-guild-betrayal), [common protocol](NEXUS_CARD_RULES.md#guild-betrayal-funded-payment-protocol), [internal checklist](../game/reference.ts) |
| Ixian Nexus Secret Ally replacement | Fresh classic/base-deck/Nexus-only Basic or Advanced local `ixian-replacement` profile binds one genuine normal paid/printed Karama purchase. Discard exactly that purchased physical card before privately drawing the actual deck top; full-hand and exhausted-deck same-card redraw are legal. Keep original payment, income and native auction suffix once; no refund, re-auction or new native Ixian Karama response. Every publicly possible supported unallied held-Nexus buyer gets the same neutral choice irrespective of hidden face; only the owner has Pass/entitled inspection and private eligible Use. This is an inferred development privacy convention, not publisher timing. Harkonnen buyers, Richese cache/Black Market/special origins, anytime overlays and combined modules stay guarded pending their independent source/priority questions. Existing native Ixian ally replacement is distinct. Verification Planned; no retrofit, public start or full-family certification. | [Photographed face and bounded runtime contract](NEXUS_IXIAN_REPLACEMENT_RULES.md#bounded-local-runtime-contract) |
+| Ixian Nexus Betrayal: Bidding or Technology | Fresh native-Ixian/classic-or-Tleilaxu Basic/Advanced local `ixian-betrayal` uses Ix47 Treachery and Nexus alone, with no initial Nexus deal or old-save retrofit. Resolve actual native Karama/BG counters first; a native denial opens no Nexus gate or cost. After all native passes, uniform publicly possible unallied non-Ixian held-Nexus seats acknowledge before the native effect; concealed face governs only private Use. These are bounded privacy/ordering inferences, not publisher universal priority. One physical Ixian Nexus denies one current Bidding attempt (normal count, no Ixian inspection/return) or one Advanced Technology declaration (both card locations preserved, attempt remains used); all-pass allows the original effect and suffix once. No whole-phase ban, completed undo, invented direct-Nexus Karama counter or blanket immunity. Richese special-lot exchange, wider priority/modules, complete games, strategy and public/live release remain open; verification is Planned pending frozen direct evidence. | [Photographed face and native source protocol](NEXUS_CARD_RULES.md#bounded-ixian-betrayal-source-protocol--1-october-2026), [fresh local runtime and acceptance](NEXUS_CARD_RUNTIME.md#bounded-ixian-betrayal-local-runtime--1-october-2026), [five-facet internal topic](../game/reference.ts) |
| CHOAM Secret Ally | Absent-faction Collection trade spends one actual Worthless card and the Nexus for two bank spice. It is separate from native Cunning and Auditor; the battle inspection alternative remains missing. | [Prototype contract](NEXUS_CHOAM_SECRET_ALLY.md) |
| Sapho movement | At a clean boundary, first reorders only remaining unstarted turns; completed turns stay completed. Advanced Guild must have finished or be absent. Last retains existing protection after Guild. | [Existing source contract](JUICE_OF_SAPHO_SOURCE_UPDATE.md#movement-firstlast), [runtime](JUICE_OF_SAPHO_RUNTIME.md) |
| Basic CHOAM / Leader Skills | Compose existing ordinary skills with native sales and own-leader Ghola revival. Finish the private optional replacement before the exact suspended sale resumes. The free revival remains completed if the resumed sale is canceled. Basic uses five ordinary leaders and 35 Treachery Cards; Auditor remains Advanced and ineligible for skills. | [Integration and source contracts](CHOAM_LEADER_SKILLS.md) |
diff --git a/game/bot-nexus-ixian-betrayal.ts b/game/bot-nexus-ixian-betrayal.ts
new file mode 100644
index 00000000..cf02ce48
--- /dev/null
+++ b/game/bot-nexus-ixian-betrayal.ts
@@ -0,0 +1,17 @@
+import type { Action, GameView } from './engine';
+
+/** All profiles consume only their own legal projection. No source card,
+ * rival hand or Nexus face is needed to acknowledge the native attempt. */
+export function botNexusIxianBetrayalActions(game: GameView): Action[] {
+ const reaction = game.nexusIxianBetrayalReaction;
+ if (game.status !== 'playing' || game.phase !== 3 || !reaction?.event ||
+ !reaction.canPass || reaction.hasPassed || game.roomControl?.paused || game.roomControl?.closed ||
+ game.automaticContinuationPending || game.truthtrance || game.response || game.decision ||
+ game.phaseOpening || game.nexusCards?.waiting.length || game.nexusTraitors?.pending) return [];
+ const own = game.players.find((player) => player.id === game.me);
+ if (!(own?.bot ?? own?.autopilot)) return [];
+ return [{
+ type: reaction.canUse && !reaction.blocked ? 'nexusIxianBetrayalUse' : 'nexusIxianBetrayalPass',
+ event: reaction.event,
+ }];
+}
diff --git a/game/bots.ts b/game/bots.ts
index 39ca4619..07035830 100644
--- a/game/bots.ts
+++ b/game/bots.ts
@@ -105,6 +105,7 @@ import { botSemutaActions } from './bot-semuta';
import { botChoamKullActions, botChoamKullCounterActions } from './bot-choam-kull';
import { botNexusRicheseBetrayalActions } from './bot-nexus-richese-betrayal';
import { botNexusGuildBetrayalActions } from './bot-nexus-guild-betrayal';
+import { botNexusIxianBetrayalActions } from './bot-nexus-ixian-betrayal';
import { validateCohortSelection, type OrnithopterMode } from './ornithopter';
import { fighterCount, isAdvisor } from './advisors';
import { casualtyOptions, maxCombatDial, maxCombatSupport, type CombatForces } from './combat';
@@ -3831,6 +3832,13 @@ function standaloneGholaAction(g: GameView, ordinary: Action[]): Action | null {
/** Obligations apply across policy branches, including choosing to move first. */
export function botActions(g: GameView): Action[] {
+ if (g.nexusIxianBetrayalReaction) {
+ if (g.status !== 'playing' || g.roomControl?.paused || g.roomControl?.closed ||
+ g.automaticContinuationPending) return [];
+ // Original native counters and existing private decisions retain priority.
+ if (g.response || g.truthtrance || g.decision) return policyActions(g);
+ return botNexusIxianBetrayalActions(g);
+ }
if (g.guildBetrayalReaction) return botNexusGuildBetrayalActions(g);
if (g.richeseBetrayalReaction) return botNexusRicheseBetrayalActions(g);
if (g.kullReaction) return botChoamKullActions(g);
diff --git a/game/engine.ts b/game/engine.ts
index bd8b0771..23069dbd 100644
--- a/game/engine.ts
+++ b/game/engine.ts
@@ -48,6 +48,7 @@ import { createNexusGuildSecretAlly, validateNexusGuildSecretAlly, quoteNexusGui
import { shipmentAvailable } from './shipment-opportunity';
import { createGuildBetrayalInvoice, createGuildBetrayalReceipt, guildBetrayalEligible, guildBetrayalResponders, validateGuildBetrayalInvoice, validateGuildBetrayalHistory, nexusGuildBetrayalSourceReceipt, type GuildBetrayalInvoice, type GuildBetrayalCursor, type GuildBetrayalReceipt, type GuildBetrayalAuthority } from './nexus-guild-betrayal';
import { createIxianReplacementSource, validateIxianReplacementSource, closeIxianReplacementSource, validateIxianReplacementHistory, initialIxianReplacementCursor, ixianReplacementEvent, type IxianReplacementSource, type IxianReplacementReceipt, type IxianReplacementCursor } from './nexus-ixian-replacement';
+import { createIxianBetrayalSource, validateIxianBetrayalFrame, initialIxianBetrayalCursor, closeIxianBetrayalSource, validateIxianBetrayalHistory, ixianBetrayalResponders, ixianBetrayalEligible, type IxianBetrayalSource, type IxianBetrayalCursor, type IxianBetrayalReceipt } from './nexus-ixian-betrayal';
import { createNexusGuildCunning, validateNexusGuildCunning, nexusGuildCunningMoves, type NexusGuildCunningReceipt } from './nexus-guild-cunning';
import { createNexusRichese, validateNexusRichese, quoteNexusRicheseShipment, type NexusRicheseReceipt } from './nexus-richese';
import { createNexusInspection, allowNexusInspection, answerNexusInspection, reopenNexusInspection, cancelNexusInspection, reopenNexusNative, answerNexusNative, validateNexusInspection, committedPlanElements, type NexusInspection, type BattleInspectionContext } from './battle-inspections';
@@ -1128,6 +1129,16 @@ export type Game = {
pendingNexusIxianReplacement?: IxianReplacementSource | null;
nexusIxianReplacementHistory?: IxianReplacementReceipt[];
nexusIxianReplacementCursor?: IxianReplacementCursor;
+ /** Fresh native Ixian attempt prevention; never inferred from held cards. */
+ nexusIxianBetrayalPreview?: true;
+ pendingNexusIxianBetrayal?: {
+ source: IxianBetrayalSource;
+ continuation: ResponseWindow;
+ required: string[];
+ passed: string[];
+ } | null;
+ nexusIxianBetrayalHistory?: IxianBetrayalReceipt[];
+ nexusIxianBetrayalCursor?: IxianBetrayalCursor;
kullSequence?: number;
kullRestrictions?: KullPhaseRestriction[];
pendingKull?: {
@@ -8114,6 +8125,159 @@ export function initializeNexusGameForAudit(state: Game): Game {
'Enable Nexus cards in a fresh audit lobby first.');
return initializeSetupGameForAudit(state, !!state.homeworlds, true);
}
+/** Offline-only, fresh native Ixian/Ix47 + Nexus profile. */
+export function initializeIxianNexusBetrayalGameForAudit(state: Game): Game {
+ requireRule(ixianNexusBetrayalModeSupported(state) &&
+ state.nexusIxianBetrayalPreview === undefined && state.pendingNexusIxianBetrayal === undefined &&
+ state.nexusIxianBetrayalHistory === undefined && state.nexusIxianBetrayalCursor === undefined &&
+ state.nexusCards?.cards === null && state.nexusCards.phase === null,
+ 'Ixian Nexus Betrayal needs a fresh native Ixian lobby with only Ix Treachery and Nexus Cards.');
+ requireFreshBaseRuntime(state);
+ const g = initializeSetupGameForAudit(state, false, true, false, false, false, false, true);
+ g.nexusIxianBetrayalPreview = true;
+ g.pendingNexusIxianBetrayal = null;
+ g.nexusIxianBetrayalHistory = [];
+ g.nexusIxianBetrayalCursor = initialIxianBetrayalCursor();
+ // This profile does not opt into the optional Sandtrout Spice card.
+ g.spiceDeck = shuffle(spiceDeck());
+ return g;
+}
+function ixianNexusBetrayalModeSupported(g: Game): boolean {
+ return typeof g.advanced === 'boolean' && !!g.nexusCards &&
+ g.expansions.length === 1 && g.expansions[0] === 'ix' &&
+ g.players.length >= 2 && g.players.length <= 6 &&
+ new Set(g.players.map(p => p.faction)).size === g.players.length &&
+ !!byFaction(g, 'ixians') &&
+ g.players.every(p => CLASSIC_FACTIONS[p.faction] || p.faction === 'ixians' || p.faction === 'tleilaxu') &&
+ !g.homeworlds && !g.leaderSkills && !g.discoveryEnabled && !g.discoveries &&
+ !g.discoveryStash && !g.greatMaker && !g.techTokens && !g.strongholdCards &&
+ !g.ecazTreachery && !g.semutaPreview && !g.kullPreview && !g.nexusKullPreview &&
+ !g.richeseBetrayalPreview && !g.guildBetrayalPreview && !g.nexusIxianReplacementPreview &&
+ !g.moritaniAssassinatePreview;
+}
+function ixianNexusBetrayalContext(g: Game) {
+ return {status:g.status,phase:g.phase,turn:g.turn,advanced:g.advanced,
+ sequence:g.nexusIxianBetrayalCursor!.sequence,players:g.players,
+ cards:g.nexusCards!.cards!,physicalCards:physicalTreacheryCards(g)};
+}
+function ixianNexusBetrayalAuthority(g: Game, response: ResponseWindow) {
+ requireRule(response.kind === 'ixAuction' || response.kind === 'ixTechnology',
+ 'The saved Nexus continuation is not an original native Ixian window.');
+ requireRule(Object.keys(response).sort().join(',') === 'kind,owner,passed',
+ 'The native Ixian continuation changed its original response shape.');
+ if (response.kind === 'ixAuction') currentIxAuctionDrawQuote(g,response,false);
+ else {
+ auctionTechnologyQuote(() => quoteIxTechnologyCancellation(g,response));
+ requireRule(getPlayer(g,response.owner).hand.filter(c => c.id === g.pendingIxTechnology!.card).length === 1,
+ 'The original Ixian Technology declaration lost its selected hand card.');
+ }
+ return {kind:response.kind === 'ixAuction' ? 'bidding' as const : 'technology' as const,
+ provider:response.owner,nativeWindow:response.kind,
+ nativeContext:JSON.stringify({ixAuction:g.ixAuction,pendingIxTechnology:g.pendingIxTechnology,
+ ixTechnologyTurn:g.ixTechnologyTurn,auction:g.auction}),
+ nativeRequired:g.players.filter(p => responseCancelCards(g,p,response).length > 0).map(p => p.id),
+ nativePassed:response.passed};
+}
+function ixianNexusBetrayalParent(g: Game, response: ResponseWindow): string {
+ return JSON.stringify({continuation:response,status:g.status,phase:g.phase,turn:g.turn,advanced:g.advanced,
+ active:g.active,order:g.order,auction:g.auction,sale:g.currentAuctionSale,ixAuction:g.ixAuction,
+ ixKnown:g.ixAuctionKnown,technology:g.pendingIxTechnology,technologyTurn:g.ixTechnologyTurn,
+ players:g.players.map(p => ({id:p.id,faction:p.faction,ally:p.ally,spice:p.spice,hand:p.hand,
+ forces:p.forces,reserves:p.reserves,tanks:p.tanks,elites:p.elites,advisors:p.advisors})),
+ deck:g.deck,discard:g.discard,aid:g.aid,nexus:g.nexusCards,decision:g.decision,response:g.response,
+ phaseOpening:g.phaseOpening,truthtrance:g.truthtrance,pendingKarama:g.pendingKarama,
+ pendingNullentropy:g.pendingNullentropy,pendingTreacheryDiscard:g.pendingTreacheryDiscard});
+}
+function ixianNexusBetrayalIntegrity(g: Game): void {
+ const frame = g.pendingNexusIxianBetrayal;
+ if (!g.nexusIxianBetrayalPreview) {
+ requireRule(g.nexusIxianBetrayalPreview === undefined && !frame &&
+ g.nexusIxianBetrayalHistory === undefined && g.nexusIxianBetrayalCursor === undefined,
+ 'Ixian Nexus Betrayal lost its explicit fresh profile.');
+ return;
+ }
+ requireRule(ixianNexusBetrayalModeSupported(g) && g.nexusIxianBetrayalCursor &&
+ Array.isArray(g.nexusIxianBetrayalHistory), 'The native Ixian Nexus profile lost its history or cursor.');
+ nexusCardsIntegrity(g);
+ nexusRule(() => validateIxianBetrayalHistory(g.nexusIxianBetrayalHistory!,
+ g.nexusIxianBetrayalCursor!,physicalTreacheryCards(g)));
+ if (!frame) {
+ if (g.ixAuction?.cards.length === 0 || g.pendingIxTechnology) {
+ const continuation = g.pendingTreacheryDiscard?.continuation;
+ const contexts = [g, g.pendingExchange, g.pendingNullentropy?.resume,
+ g.pendingRicheseGift?.resume, g.pendingRichesePurchaseIncome?.resume,
+ g.summonedWorm?.resume, continuation && 'resume' in continuation ? continuation.resume : null];
+ const provider = byFaction(g, 'ixians')!.id;
+ const ownsWindow = (kind: 'ixAuction' | 'ixTechnology') => contexts.some(context => {
+ const pending = context && 'pendingKarama' in context ? context.pendingKarama as Game['pendingKarama'] : null;
+ const original = pending?.use.kind === 'cancel' ? pending.use.response : null;
+ return (context?.response?.kind === kind && context.response.owner === provider) ||
+ (original?.kind === kind && original.owner === provider);
+ });
+ requireRule((!g.ixAuction || g.ixAuction.cards.length > 0 || ownsWindow('ixAuction')) &&
+ (!g.pendingIxTechnology || ownsWindow('ixTechnology')),
+ 'The native Ixian attempt lost its original counter or Nexus acknowledgement.');
+ }
+ return;
+ }
+ requireRule(Object.keys(frame).sort().join(',') === 'continuation,passed,required,source' &&
+ Array.isArray(frame.required) && Array.isArray(frame.passed) && frame.required.length > 0 &&
+ frame.required.some(id => !frame.passed.includes(id)) &&
+ !g.response && !g.decision && !g.phaseOpening && !g.truthtrance &&
+ !g.pendingKarama && !g.pendingNullentropy && !g.pendingTreacheryDiscard,
+ 'The Ixian Nexus acknowledgement lost its original native priority.');
+ nexusRule(() => validateIxianBetrayalFrame(ixianNexusBetrayalContext(g),frame.source,
+ ixianNexusBetrayalAuthority(g,frame.continuation),ixianNexusBetrayalParent(g,frame.continuation),
+ frame.required,frame.passed));
+}
+function offerIxianNexusBetrayal(g: Game,response: ResponseWindow): boolean {
+ if (!g.nexusIxianBetrayalPreview) return false;
+ if (response.kind === 'ixTechnology') {
+ auctionTechnologyQuote(() => quoteIxTechnologyCancellation(g, response));
+ // Native interruptions may legally move the declared card before counters
+ // finish. That spent attempt fizzles without exposing a Nexus offer.
+ if (!getPlayer(g, response.owner).hand.some(c => c.id === g.pendingIxTechnology!.card)) return false;
+ }
+ const required = nexusRule(() => ixianBetrayalResponders(g.nexusCards!.cards!,g.players));
+ if (!required.length) return false;
+ const source = nexusRule(() => createIxianBetrayalSource(ixianNexusBetrayalContext(g),
+ ixianNexusBetrayalAuthority(g,response),ixianNexusBetrayalParent(g,response)));
+ g.pendingNexusIxianBetrayal = {source,continuation:structuredClone(response),required,passed:[]};
+ return true;
+}
+function ixianNexusBetrayalView(g: Game,id: string) {
+ const frame = g.pendingNexusIxianBetrayal;
+ if (!frame) return null;
+ const hasPassed = frame.passed.includes(id), canPass = frame.required.includes(id) && !hasPassed;
+ const eligible = canPass && nexusRule(() => ixianBetrayalEligible(g.nexusCards!.cards!,g.players,id));
+ return {event:frame.source.event,kind:frame.source.kind,provider:frame.source.provider,
+ canPass,hasPassed,canUse:eligible,blocked:null as string | null};
+}
+function decideIxianNexusBetrayal(g: Game,id: string,action: Action): void {
+ ixianNexusBetrayalIntegrity(g);
+ const frame = g.pendingNexusIxianBetrayal!;
+ requireRule(['nexusIxianBetrayalPass','nexusIxianBetrayalUse'].includes(action?.type) &&
+ action.event === frame.source.event && Object.keys(action).length === 2 &&
+ Object.keys(action).every(key => key === 'type' || key === 'event') &&
+ frame.required.includes(id) && !frame.passed.includes(id),
+ 'A current required seat must acknowledge only the original Ixian event.');
+ const use = action.type === 'nexusIxianBetrayalUse';
+ if (use) requireRule(nexusRule(() => ixianBetrayalEligible(g.nexusCards!.cards!,g.players,id)),
+ 'You do not own an eligible unallied Ixian Nexus card.');
+ if (!use) {
+ frame.passed.push(id);
+ if (frame.required.some(seat => !frame.passed.includes(seat))) return;
+ }
+ // Validation above precedes the one physical Nexus cost and native RNG.
+ const closed = nexusRule(() => closeIxianBetrayalSource(frame.source,use ? 'use' : 'pass',
+ use ? id : null,g.nexusIxianBetrayalCursor!));
+ if (use) g.nexusCards!.cards = nexusRule(() => discardNexusCard(g.nexusCards!.cards!,id,g.players));
+ g.nexusIxianBetrayalHistory!.push(closed.receipt);
+ g.nexusIxianBetrayalCursor = closed.cursor;
+ g.pendingNexusIxianBetrayal = null;
+ if (use) log(g,`${getPlayer(g,id).name} spent Ixian Nexus Betrayal to prevent the original native ${frame.source.kind} attempt.`);
+ finishIxianNativeAttempt(g,frame.continuation,use);
+}
/** Fresh local classic profile only; no public start or existing-game retrofit. */
export function initializeIxianNexusReplacementGameForAudit(state: Game): Game {
requireRule(!state.nexusIxianReplacementPreview && !state.pendingNexusIxianReplacement &&
@@ -11504,6 +11668,50 @@ function currentIxAuctionDrawQuote(
throw error;
}
}
+/** The original native suffix, shared by native Karama and Nexus closure.
+ * It consumes the accepted attempt directly; no declaration is replayed. */
+function finishIxianNativeAttempt(g: Game, response: ResponseWindow, canceled: boolean): void {
+ if (response.kind === 'ixAuction') {
+ const request = currentIxAuctionDrawQuote(g, response, canceled)!;
+ const pending = g.ixAuction!;
+ const cards: Card[] = [];
+ for (let i = 0; i < request.drawCount; i++) {
+ const card = draw(g);
+ if (card) cards.push(card);
+ }
+ if (!canceled && cards.length > 1) {
+ pending.cards = cards;
+ g.decision = { kind: 'ixAuction', player: response.owner };
+ } else {
+ g.ixAuction = null;
+ setAuction(g, cards);
+ }
+ return;
+ }
+ requireRule(response.kind === 'ixTechnology', 'Only an original Ixian native attempt may resume.');
+ const cancellation = auctionTechnologyQuote(() => quoteIxTechnologyCancellation(g, response))!;
+ if (canceled) {
+ g.pendingIxTechnology = cancellation.pendingIxTechnology;
+ g.auction!.peekKnown = cancellation.peek.peekKnown;
+ g.response = cancellation.peek.response;
+ log(g, 'Ixian auction substitution did not occur.');
+ return;
+ }
+ const pending = g.pendingIxTechnology!;
+ const ixians = getPlayer(g, response.owner);
+ const replacement = ixians.hand.find(c => c.id === pending.card);
+ if (replacement) {
+ const a = g.auction!, taken = a.cards[a.index];
+ ixians.hand = ixians.hand.filter(c => c.id !== replacement.id);
+ ixians.hand.push(taken);
+ a.cards[a.index] = replacement;
+ if (g.ixAuctionKnown?.turn === g.turn)
+ g.ixAuctionKnown.cards = [...g.ixAuctionKnown.cards.filter(c => c.id !== taken.id && c.id !== replacement.id), replacement];
+ log(g, `${ixians.name} exchanged a hand card for the upcoming auction card.`);
+ }
+ g.pendingIxTechnology = null;
+ offerAuctionPeek(g);
+}
function ixSubstitutionCancellationQuote(
g: Game,
response: ResponseWindow,
@@ -21588,9 +21796,6 @@ function finishResponse(g: Game, canceled: boolean,bureaucratDiversion?:number)
const auctionCancellation = canceled
? validateAuctionContinuationCancellation(g, response)
: null;
- const technologyCancellation = canceled
- ? auctionTechnologyQuote(() => quoteIxTechnologyCancellation(g, response))
- : null;
const richeseCancellation = canceled
? currentRicheseCancellationQuote(g, response)
: null;
@@ -22044,52 +22249,9 @@ function finishResponse(g: Game, canceled: boolean,bureaucratDiversion?:number)
};
else settleRicheseLot(g);
}
- } else if (response.kind === 'ixAuction') {
- const request = currentIxAuctionDrawQuote(g, response, canceled)!;
- const pending = g.ixAuction!;
- const cards: Card[] = [];
- for (let i = 0; i < request.drawCount; i++) {
- const card = draw(g);
- if (card) cards.push(card);
- }
- if (!canceled && cards.length > 1) {
- pending.cards = cards;
- g.decision = { kind: 'ixAuction', player: response.owner };
- } else {
- g.ixAuction = null;
- setAuction(g, cards);
- }
- } else if (response.kind === 'ixTechnology') {
- if (technologyCancellation) {
- g.pendingIxTechnology = technologyCancellation.pendingIxTechnology;
- g.auction!.peekKnown = technologyCancellation.peek.peekKnown;
- g.response = technologyCancellation.peek.response;
- log(g, 'Ixian auction substitution did not occur.');
- return;
- }
- const pending = g.pendingIxTechnology!;
- const ixians = getPlayer(g, response.owner);
- const replacement = ixians.hand.find((c) => c.id === pending.card);
- if (!canceled && replacement) {
- const a = g.auction!,
- taken = a.cards[a.index];
- ixians.hand = ixians.hand.filter((c) => c.id !== replacement.id);
- ixians.hand.push(taken);
- a.cards[a.index] = replacement;
- if (g.ixAuctionKnown?.turn === g.turn)
- g.ixAuctionKnown.cards = [
- ...g.ixAuctionKnown.cards.filter(
- (c) => c.id !== taken.id && c.id !== replacement.id,
- ),
- replacement,
- ];
- log(
- g,
- `${ixians.name} exchanged a hand card for the upcoming auction card.`,
- );
- } else log(g, 'Ixian auction substitution did not occur.');
- g.pendingIxTechnology = null;
- offerAuctionPeek(g);
+ } else if (response.kind === 'ixAuction' || response.kind === 'ixTechnology') {
+ if (!canceled && offerIxianNexusBetrayal(g, response)) return;
+ finishIxianNativeAttempt(g, response, canceled);
} else if (response.kind === 'ixAllyCard') {
const pending = g.pendingIxAlly!;
const buyer = getPlayer(g, pending.player);
@@ -25302,6 +25464,7 @@ function normalizeCardNames(g: Game) {
]);
}
export function applyAction(state: Game, id: string, action: Action): Game {
+ ixianNexusBetrayalIntegrity(state);
ixianNexusReplacementIntegrity(state);
guildBetrayalIntegrity(state);
state = migratePrintedKullCounter(state);
@@ -25389,6 +25552,8 @@ export function applyAction(state: Game, id: string, action: Action): Game {
return normalizeAutomaticGame(state);
}
const g = applyActionInner(state, id, action);
+ ixianNexusBetrayalIntegrity(g);
+ if (g.pendingNexusIxianBetrayal) return g;
ixianNexusReplacementIntegrity(g);
if (g.pendingNexusIxianReplacement) return g;
if (g.pendingGuildBetrayal) {guildBetrayalIntegrity(g); return g;}
@@ -25524,6 +25689,7 @@ export function applyAction(state: Game, id: string, action: Action): Game {
return g;
}
function finishActionContinuations(g: Game) {
+ if (g.pendingNexusIxianBetrayal) return;
if (g.pendingGuildBetrayal) return;
if (g.pendingRicheseBetrayal) return;
if (g.pendingKull) return;
@@ -25588,6 +25754,7 @@ function finishActionContinuations(g: Game) {
finishMoritaniPlacement(g);
}
function settleAutomaticContinuations(g: Game) {
+ if (g.pendingNexusIxianBetrayal) return;
if (g.pendingNexusIxianReplacement) return;
if (g.pendingGuildBetrayal) return;
if (g.pendingRicheseBetrayal) return;
@@ -25595,6 +25762,7 @@ function settleAutomaticContinuations(g: Game) {
if (pendingNexusTraitors(g)) return;
if (g.pendingNullentropy) return;
for (let iteration = 0; iteration < 128; iteration++) {
+ if (g.pendingNexusIxianBetrayal) return;
if (g.pendingGuildBetrayal) return;
if (g.pendingNexusIxianReplacement) return;
if (g.pendingRicheseBetrayal) return;
@@ -25619,6 +25787,7 @@ function settleAutomaticContinuations(g: Game) {
finishResponse(g, false);
} else if (!finishAutomaticDecision(g)) return;
finishActionContinuations(g);
+ if (g.pendingNexusIxianBetrayal) return;
if (g.pendingGuildBetrayal) return;
if (g.pendingRicheseBetrayal) return;
// Opposing/automatic consequences can release a now-impossible promise;
@@ -25636,6 +25805,7 @@ function settleAutomaticContinuations(g: Game) {
}
/** Internal authoritative continuation. Callers must persist with their usual CAS fence. */
export function normalizeAutomaticGame(state: Game): Game {
+ ixianNexusBetrayalIntegrity(state);
ixianNexusReplacementIntegrity(state);
guildBetrayalIntegrity(state);
state = migratePrintedKullCounter(state);
@@ -25673,6 +25843,7 @@ export function normalizeAutomaticGame(state: Game): Game {
ecazCollectionIntegrity(state);
ecazAllianceIntegrity(state);
const g = structuredClone(state);
+ if (g.pendingNexusIxianBetrayal) return g;
if (g.pendingNexusIxianReplacement) return g;
if (g.pendingGuildBetrayal) return g;
if (g.pendingRicheseBetrayal) return g;
@@ -25726,6 +25897,12 @@ function applyActionInner(
): Game {
ecazTreacheryIntegrity(state);
const g = structuredClone(state);
+ if (g.pendingNexusIxianBetrayal) {
+ getPlayer(g,id);
+ if (action?.type === 'advanceBots') return g;
+ decideIxianNexusBetrayal(g,id,action);
+ return g;
+ }
if (g.pendingNexusIxianReplacement) {
getPlayer(g,id);
if (action?.type === 'advanceBots') return g;
@@ -29579,6 +29756,7 @@ function applyActionInner(
throw new RuleError('That action is not available.');
}
export function viewGame(state: Game, id: string) {
+ ixianNexusBetrayalIntegrity(state);
ixianNexusReplacementIntegrity(state);
guildBetrayalIntegrity(state);
state = migratePrintedKullCounter(state);
@@ -29953,6 +30131,8 @@ export function viewGame(state: Game, id: string) {
? {...nexusRule(() => quoteDiscoveryEntry({...g,discoveries:g.discoveries!},g.discoveryEntry!,id)),event:g.decision.event} : null,
greatMaker: g.greatMaker ? { event:g.greatMaker.event, turn:g.greatMaker.turn, stage:g.greatMaker.stage, votes:structuredClone(g.greatMaker.votes), order:[...g.greatMaker.order], ride:greatMakerRideOptions(g,id) } : null,
nexusCards: projectedNexusCards(g, id),
+ nexusIxianBetrayalPreview: !!g.nexusIxianBetrayalPreview,
+ nexusIxianBetrayalReaction: ixianNexusBetrayalView(g,id),
nexusIxianReplacementPreview: !!g.nexusIxianReplacementPreview,
nexusIxianReplacement: ixianNexusReplacementView(g,id),
nexusChoamTrade: currentNexusChoamTrade(g, id),
@@ -30022,7 +30202,9 @@ export function viewGame(state: Game, id: string) {
storm: g.status === 'lobby' ? STORM_START_SECTOR : g.storm,
playerPositions: normalizedPlayerPositions(g),
order: g.order,
- active: g.active,
+ active: g.pendingNexusIxianBetrayal
+ ? (() => {const remaining = g.pendingNexusIxianBetrayal.required.filter(seat => !g.pendingNexusIxianBetrayal!.passed.includes(seat)); return remaining.length === 1 ? remaining[0] : null;})()
+ : g.active,
movementRemaining: g.movementRemaining ?? null,
guildTimingLocked: g.guildTimingLocked ?? false,
ready: g.ready,
diff --git a/game/nexus-ixian-betrayal.ts b/game/nexus-ixian-betrayal.ts
new file mode 100644
index 00000000..5c747fa6
--- /dev/null
+++ b/game/nexus-ixian-betrayal.ts
@@ -0,0 +1,288 @@
+import { treacheryDeck, type Card } from './cards';
+import {
+ nexusCardMode, validateNexusCards, validateNexusPlayers,
+ type NexusPlayer, type NexusState,
+} from './nexus-cards';
+
+export type IxianBetrayalKind = 'bidding' | 'technology';
+/** Independently produced by the native adapter after its original counters.
+ * Native quotes, not the saved source, authorize draw/exchange continuations. */
+export type IxianBetrayalAuthority = {
+ kind: IxianBetrayalKind;
+ provider: string;
+ nativeWindow: 'ixAuction' | 'ixTechnology';
+ nativeContext: string;
+ nativeRequired: readonly string[];
+ nativePassed: readonly string[];
+};
+export type IxianBetrayalContext = {
+ status: string;
+ phase: number;
+ turn: number;
+ advanced: boolean;
+ sequence: number;
+ players: readonly NexusPlayer[];
+ cards: NexusState;
+ /** Every live physical Treachery location once; no auction receipt aliases. */
+ physicalCards: readonly Card[];
+};
+export type IxianBetrayalSource = IxianBetrayalAuthority & {
+ version: 1;
+ event: string;
+ turn: number;
+ phase: 3;
+ advanced: boolean;
+ sequence: number;
+ required: readonly string[];
+ eligible: string | null;
+ parent: string;
+ signature: string;
+};
+export type IxianBetrayalCursor = { sequence: number; signature: string };
+export type IxianBetrayalReceipt = {
+ source: IxianBetrayalSource;
+ outcome: 'pass' | 'use';
+ holder: string | null;
+ previous: string;
+ signature: string;
+};
+export class IxianBetrayalError extends Error {
+ constructor(message: string) {
+ super(message);
+ this.name = 'IxianBetrayalError';
+ }
+}
+const canonical = new Map(treacheryDeck(['ix']).map(card => [card.id, card]));
+const genesis = 'ixian-betrayal:0';
+const permitted: Readonly