Dune/docs/TRUTHTRANCE_LEADER_REVIVAL_PROMISES.md

Truthtrance named leader revival promises

The grouped follow-up combines these named returns and ordinary force minima with whole AND/OR, preserving dynamic choices and the shared native planner. Scalar questions keep their existing meaning.

Native future-return prototype — 26 October 2026

Prototyped / Partial. Registered bare native Basic/Advanced tables support {kind:'leaderRevival',target,turn,leader} in quiet phases0–4 with a remaining ordinary Revival opportunity. Name an original own leader, Ecaz's shared Duke where present, or the Advanced Atreides kwisatz token. Printed public names support authoring; private answers and own records/guide stay respondent-only.

Only an actual future personal native leader/KH return after the answer counts. Direct requests and actually accepted native early negotiations share real return accounting. A request, quote, unaccepted negotiation, prevented return, card/special revival or foreign ghola does not fulfill Yes. Prior returns and the separate force ledger do not count. No prevents that named ordinary return.

Authority and interpretation

General current-turn Truthtrance authority is recorded in the nonbattle audit and force-return contract. Supplied Advanced physical39 was read for this slice. Its Leader Revival passage, physical9/ printed7, retains cohort, one-leader allowance, fighting-strength payment and faction exceptions. Native rules remain in game/revival.ts, Ecaz revival and Advanced opportunity order.

Under standing14October choose-recommended authority, bind the named future native return until the respondent's actual Revival opportunity closes. Basic No persists to phase close because readiness may reopen; stamped Advanced No ends with the native opportunity. Source/interval/owned-completion/release meaning is provisional software composition, not a dedicated publisher ruling. Basic keeps its original native protocol.

Connected behavior

game/leader-revival-promises.ts owns canonical claims, required/forbidden identities, immutable actual-return recording and validation. Same-identity Yes answers can share one real return; distinct Yes identities need actual native slots. The question grants no extra allowance. A matching No rejects before a voluntary native request opens its responses.

The original leader quote and physical/cohort/slot accounting serve actual returns and private witnesses. One completion planner pays required leaders and reserves their native slots before aggregate force search. Force and leader answers share accepted order, with existing unstamped records first. Voluntary invoices, spending and Finish cannot erase the last completion. Completed opposing impossibility releases only incompatible Yes in that order. Original responses and their actual outcomes remain authoritative.

Earlier phases retain current dead/captured/foreign custody and use existing owned Charity, opening-income and known auction-payment witnesses, with only the real future normal ledgers reset. No future death, foreign agreement/price, unknown income or future draw is assumed. Earlier bid/bribe/shipment/movement funding is retained. Actual accepted personal negotiations count when returned; an already-priced, not-declined request has an owned acceptance guide. The planner never invents a future negotiation, foreign agreement or price. Private witnesses execute no foreign income, skills or continuations. An actual Tleilaxu self free-return receipt may prepare a needed leader payment; the real return and its response must complete before the live income exists.

Public-name fields, preview, target-only answers and a persistent own panel connect to the table. Exact event-bound guides prepare, make a jointly required force return, return a leader/KH or finish at the actual owned opportunity. Pending decisions and room controls remain. All four minimal policies use the same feasible answers/native guide; strategy and calibration stay deferred.

Evidence and remaining gates

Pure and controlled UI cases plus original battle/death sources are in tests/leader-revival-promises.test.ts, tests/truth-leader-revival-controls.test.tsx, tests/fixture-truth-leader-revival.ts and tests/truth-leader-revival-runtime.test.ts; native shared-purse cases are in tests/truth-leader-revival-funding.test.ts. Ten pure,16 native,six controlled UI and two native funding cases are part of the frozen 19-file,208/208 union. npm run check:quick, npm run build and six native runtime paths pass on the same unchanged source. The actual GameTable renders23 times and nine real hook-free guide callbacks submit their original packets.

Original source	Prefix actions	Further actions	Actual result
Basic H/A/T Ix47	102	12	Projectile kills Hidar; future native return costs2, T4→2
Advanced H/A/T Ix47	108	11	Same real death/return under actual ordered Revival
Basic named No	102	12	Exact ordinary return rejects; free force/bank1 remains independent, No ends at actual phase close
Basic owned income	102	14	Bribe3 leaves T1; actual free force earns bank1; ordinary leader then costs2, ending T0
Advanced post-Storm	83	33	Early question remains pending through actual phases and returns the leader at its own opportunity
Basic projectile/Tooth	103	15	Both leaders actually die; A requests, T quotes3, Yes binds, T reprices4, old guide rejects, real acceptance pays4

Both original Truths and all47 original cards retain physical inventory. Only still-unopened original deal/Spice positions and scalar lotteries are selected. Native sources install no played hand, purse, clock, death, question or promise. Four minimal profiles submit legal actual returns in both source modes. Cases also cover prior-return exclusion, Ghola/ordinary separation, same/conflicting clauses, native ordered waiting, free-income preparation blocked by Force No, and actual already-priced negotiations for Yes and No. Controlled projections remain UI evidence, not native acquisition/death/payment.

Feedback repairs voluntary Ghola evasion: its physical return cannot erase the last ordinary-return Yes by opening a later income response owned elsewhere. The funding assertion retains a turn-wide bribe No after Revival. Optional negotiation-record reads are guarded. A transient direct quick-check process ended143; the final source-bound v4 types/lint and all remaining steps completed successfully. Earlier failed proof directories remain diagnostic data.

Frozen v4 report/verified manifest: /home/quintine/.local/share/dune/checkpoints/20261026-truth-leader-revival-proof-v4/. Exact commands/logs are in report.json; journeys, SSR HTML and native harness are in adjacent 20261026-truth-leader-revival-runtime/. Final evidence prose is a separately recorded three-document overlay. SSR/callbacks are local engine/control evidence, not browser clicks.

The native source targets Tleilaxu's own early return, not a five-disc cohort opening. Dedicated original normal-cohort, Auditor, Duke and KH commitment journeys, native opposing-prevention/release histories, wider negotiated/card preparation, optional modules and grouped revival expressions remain due. No complete faction/mode, all combinations, browser/ mobile/deployed or final assurance is certified. No saved-game/database/server, reset/restart/deployment operation is performed; no start/publication gate opens.