Price native Once Around and Silent funding in early movement forecasts, retaining full sealed donor locks and exact paid-sale boundaries. Add current zero/pass guidance, fixed non-CHOAM preopening Charity entitlement and shared owned normal-revival projection while actual counters remain pending. Preserve the mandatory Ix phase-opening continuation. Validation: affected rules/control tests, types/lint, production build and six gameplay/control/table-rendering programmes with eight existing-profile native runs. Wider preparations, CHOAM own unresolved opening, modules/Advanced, full rules and deployed acceptance remain open. No saved-room, database, restart or deployment operation.
471 lines
30 KiB
Markdown
471 lines
30 KiB
Markdown
# Truthtrance ground-movement promises
|
||
|
||
The [native early Basic follow-up](#native-early-basic-funding--24-october-2026)
|
||
supersedes preceding timing boundaries. Previous checkpoint counts remain dated
|
||
evidence, not complete rules or final acceptance.
|
||
|
||
## Basic prototype — 24 October 2026
|
||
|
||
**Prototyped / Partial.** The structured question asks whether the respondent
|
||
will make **one ground movement of at least N physical forces to a printed
|
||
territory before their current Shipment and Movement turn ends**. It concerns
|
||
future events after the answer, not earlier moves or sums of smaller groups.
|
||
Shipment, HMS relocation, free accompaniment and Ambassador relocation do not
|
||
count. A concealed No-Field marker itself is not a physical on-board force;
|
||
ordinary counters moving with it retain their actual count.
|
||
|
||
The general binding-while-possible/current-turn authority is the GF9 November
|
||
2020 FAQ printed p8, recorded in the [shipment source contract](TRUTHTRANCE_SHIPMENT_PROMISES.md#authority-and-supported-meaning).
|
||
Its worked example concerns shipment. Applying that rule to this existential
|
||
movement statement, the owned-action witness and accepted-order release policy
|
||
below are explicit software compositions, not a publisher movement-specific FAQ
|
||
or Basic adoption of the unofficial Advanced revision.
|
||
|
||
Basic tables with the declared native families can also ask in clean earlier
|
||
phases0–4 of the current round, with the owned preparations below. During
|
||
Movement, ask at a clean **active or still-unused
|
||
waiting turn in the current Shipment and Movement queue**, before or after the
|
||
active respondent's shipment, including selected E1/E2/E3 factions. No optional modules or Advanced
|
||
inherit this entry. The actual native roster, physical inventory and route
|
||
validation remain authoritative; no mode or publication gate opens.
|
||
Later-round movement questions, compound movement/fact questions and wider
|
||
owned preparations/interactions remain unfinished. Existing saves are not
|
||
reconfigured and absent promise fields remain absent until a real answer binds.
|
||
|
||
## Behavior and controls
|
||
|
||
- **Yes** stays pending across nonmatching moves while a legal owned completion
|
||
remains. One matching physical commitment fulfills it permanently, before card
|
||
disposal, Intrusion, Ambassador/Terror or other later arrival effects. It is
|
||
not a promise to keep those forces alive afterward.
|
||
- **No** forbids every matching ordinary/card ground movement until the actual
|
||
turn ends, including later Hajr and both Ornithopter groups. A first nonmatch
|
||
or card-disposal pause does not fulfill it. Ending early cannot evade Yes.
|
||
- Feasible answers use actual board/typed groups and the shared human movement
|
||
declaration validator, not the strategic bot shortlist. The finite search
|
||
considers ordinary moves, held Hajr, both held/active Ornithopter modes and
|
||
their original cohort, current city access, current native bonuses, held
|
||
CHOAM Kulon and the owned Box recovery described below. Preparations use
|
||
private detached execution; actual cards retain
|
||
their ordinary effects, counters, discard/response and arrival continuations.
|
||
Unknown future draws/gifts and unresolved opposing outcomes are not invented.
|
||
- Voluntary moves/actions cannot remove the last legal completion. A declared
|
||
native movement waits for its real counter response before fulfillment or
|
||
impossibility. Opposing impossibility releases only the answers that cannot
|
||
remain compatible: retain every No and still-feasible Yes in accepted order.
|
||
An impossible large promise does not erase an independent smaller one.
|
||
- Authoring has dedicated movement labels, an exact public preview and a
|
||
one-to-twenty input. Only the respondent sees feasible answers and the next
|
||
owned completion action. Persistent promise/answer controls have no timer;
|
||
busy controls submit nothing. Four existing profiles follow those same legal
|
||
views without strategy changes or calibration.
|
||
|
||
This is bounded reachability, not complete arbitrary Truthtrance enforcement.
|
||
Other owned preparation families (including native relocation preparation),
|
||
later rounds, optional/Advanced profiles and comprehensive
|
||
combination/recovery/privacy/custody acceptance remain due.
|
||
|
||
## Native early Basic funding — 24 October 2026
|
||
|
||
Clean earlier Basic entry now includes declared E1/E2/E3 native factions without
|
||
optional modules. The existing [native auction contract](RICHESE_AUCTION_RULES.md)
|
||
and `richeseOwnCommitment` / `richeseAllyCommitment` price real pending invoices.
|
||
Subtract the current leading Once Around offer or an owned submitted Silent
|
||
split; losing and unsubmitted offers spend nothing. Native cache invoices have
|
||
no ordinary Karama payment alternative. A current paid sale is not charged
|
||
again. Clear only the detached auction/funding controls before the phase5
|
||
forecast, so reserved own spice is not deducted twice. No unknown purchased
|
||
card or future seller/Emperor income supplies a route.
|
||
|
||
During unfinished Silent bidding, a submitted ally locks the **entire outgoing
|
||
pledge**, using public submission status rather than exposing its private split
|
||
through feasibility. Only the actual revealed winner determines the final
|
||
donated cost/refund. Foreign auction/income controls finish before release.
|
||
Positive owner bids and card gifts cannot voluntarily erase the route. Current
|
||
guidance passes a live Once Around bid or submits Silent zero with its original
|
||
event; it does so even while foreign escrow temporarily prevents a witness.
|
||
A zero/pass is not a voluntary promise-breaking spend. Original cache choices,
|
||
native setup and post-auction decisions retain their own controls.
|
||
The mandatory Ix-enabled phase5 opening is also a forecast boundary: retain the
|
||
owned future turn with its normal reset until real opening readiness initializes
|
||
Movement. It cannot veto the owner's preceding Ready or expose movement early.
|
||
|
||
Before CHOAM's opening response, another faction may quote its fixed ordinary
|
||
Charity entitlement using current Inflation. This detached credit creates no
|
||
CHOAM income, payment or fictional receipt; the actual phase2 claim still waits
|
||
for the real allowed/canceled payer receipt and affordability. CHOAM's own
|
||
unresolved opening income/claim is not precredited and remains a wider forecast
|
||
boundary. A declared owned ordinary force revival projects only its quoted
|
||
allowed physical return/cost through the same accounting as real revival.
|
||
CHOAM/Tleilaxu decisions, benefit checks and income remain real unresolved
|
||
controls; no quote executes their choices or awards a future receipt. A real
|
||
denial can release impossibility, or leave an affordable paid route intact.
|
||
This continues the explicit provisional owned-outcome policy above, not a new
|
||
publisher Truthtrance clarification.
|
||
|
||
`tests/fixture-truth-movement-native-early.ts` supplies genuine original public
|
||
Basic Atreides/Emperor plus Richese/CHOAM, Ixians/Tleilaxu or Ecaz/Moritani.
|
||
Actual Ixian card selection/mobile placement and Ecaz/Moritani placement retain
|
||
their original counters; Atreides genuinely receives Truth and Emperor Baliset,
|
||
ten spice and twenty reserves. Actual questions, native first/last Once Around
|
||
or Silent invoices, shipment8 and ground8 are caller actions. Controlled prior
|
||
losses, original-card transfers, alliance escrow and preopening Charity cases
|
||
are separately disclosed.
|
||
|
||
The final **29-file union passes244/244**, types/lint and production build.
|
||
Six actual gameplay/guidance-handler/GameTable programmes cover first/last
|
||
Once Around/Silent cache purchase2, shipment8 and ground8, plus original E1/E3
|
||
early continuations. E2/E1/E3 source prefixes have25/36/25 actual actions. Eight
|
||
existing-profile runs make56 accepted guided proposals plus148 separate native
|
||
continuations, without tuning. Actual native zero/pass handlers and busy
|
||
protection also pass their two original-source control tests. Controlled tests
|
||
retain a real pending free revival before CHOAM's decision, then distinguish an
|
||
unaffordable denial from a retained paid route. Source corrections use actual
|
||
Silent submission status and Ix/Ecaz setup fields. Initial integrated feedback
|
||
exposed the Ix Movement opening; the narrow repair and final frozen union pass.
|
||
|
||
Frozen base `f995b6f4cd9008954893f2d646ecb861986a43de`, tree
|
||
`5c366c0cd7200c61e4461ac148a3a15a98f53ef1dec5fd661d425cced6c1f675`,
|
||
2653 files. Private source-bound logs, actual-state HTML and receipts:
|
||
`/home/quintine/.local/share/dune/checkpoints/20261024-movement-native-early/`,
|
||
`frozen-integrated-2/report.json`. Only final checkpoint/reference prose overlays
|
||
follow proof. Framework aliases/CSS stubbing establish server rendering, not
|
||
browser/visual/deployed acceptance. No saved-room/D1/reset/restart/deployment.
|
||
|
||
Wider owned preparations, CHOAM's unresolved own opening, later rounds,
|
||
optional/Advanced and mixed questions, full modes, comprehensive assurance and
|
||
browser/deployed acceptance remain unfinished. Native shipment-promise entry
|
||
is unchanged; this does not certify all promise families or faction rules.
|
||
|
||
## Earlier classic Basic phases — 24 October 2026
|
||
|
||
The current-round question now includes classic Basic Storm, Spice Blow,
|
||
Charity, Bidding and Revival. This is the same provisional owned-stage forecast
|
||
used by early shipment promises, not a new printed payment or future-income
|
||
rule. Use current board/resources plus available owned Charity and ordinary
|
||
Revival. Price a currently leading ordinary bid against cash or one held
|
||
physical Karama; do not invent the purchased card, future income, gifts,
|
||
cooperation or a favorable Storm outcome. Bidding aid retains its committed
|
||
floor and refunds only its uncommitted remainder; incoming Bidding aid expires
|
||
before Movement. Actual foreign invoices/income responses finish before an
|
||
impossible promise releases. Native early auction/funding liabilities remain
|
||
unfinished; selected native phase5 entries are unchanged.
|
||
|
||
A new answer reopens its owner's Charity/Revival readiness. Claim or revive
|
||
before Ready when needed; a bid, payment or optional revival cannot spend the
|
||
last route. Mandatory Storm dials/readiness and forced casualties can release
|
||
impossible answers rather than trapping their owner. Forecasts reset old Hajr
|
||
and Ornithopter allowances exactly as real Movement entry does. Joint shipment
|
||
predicates remain in the same completion search. Ground preparation also
|
||
enumerates held Karama for its actual Guild shipment rate, with a distinct card
|
||
when another Karama pays the auction; only the actual shipment consumes that
|
||
rate. Pending owned Worthless conversion projects its allowed result without
|
||
settling its real response.
|
||
|
||
Persistent guidance offers only the current Charity, ordinary Revival, Ready,
|
||
bid-pass or owned invoice control. It never exposes future shipment/movement
|
||
before phase5. Existing paid Box decisions retain their original phase before
|
||
forecast promotion; no genuine classic Box source is claimed. Positive movement
|
||
guidance owns the combined route before independent shipment suggestions;
|
||
all-No answers keep normal auction-payment choices. All four profiles retain
|
||
minimal legal participation; strategic refinement remains deferred.
|
||
|
||
`tests/fixture-truth-movement-early.ts` retains genuine original classic Basic
|
||
Storm/Charity prefixes with Atreides Truth, Emperor Baliset, Harkonnen
|
||
Karama/Shield and Guild Snooper. Emperor keeps printed10 spice,20 reserves and
|
||
zero board/Tanks. The caller performs its later normal purchase2, city
|
||
shipment8 and ground8. Controlled prior losses, conserved Karama/second-Truth
|
||
transfers, ally escrow and stale allowance cases are explicitly separate from
|
||
that natural source. The storm-loss case stages prior resources/position, then
|
||
uses actual dials and last owner Ready over exposed Oh Gap; Imperial Basin's
|
||
printed storm protection is retained.
|
||
|
||
The frozen **21-file union passes155/155**, types/lint and production build.
|
||
Four actual guidance-handler/GameTable programmes cover genuine Storm8 and
|
||
Charity22 sources with actual purchase2/city shipment8/ground8, original Charity
|
||
No, and an explicitly controlled Charity/Revival1 preparation. Busy handlers
|
||
submit nothing. Four existing profiles make24 accepted current-phase/later-turn
|
||
proposals plus76 separate native pass/readiness continuations. No strategy
|
||
refinement or relative-difficulty calibration is claimed. Focused feedback
|
||
repaired missing held Karama shipment preparation; fixture corrections retained
|
||
actual geometry, current-sector blocking and Imperial Basin storm protection.
|
||
|
||
Frozen base `49586efd2fffcf2ba990693fedc9307a5b522150`, tree
|
||
`e56b10d3a3c602078451d125b55aeaabc7acff1b348f8f682e04149e3831382d`,
|
||
2648 files. Private source-bound logs, actual-state control HTML and receipts:
|
||
`/home/quintine/.local/share/dune/checkpoints/20261024-movement-early/`,
|
||
`frozen-integrated/report.json`. Only final checkpoint/reference prose overlays
|
||
follow proof. Framework aliases/CSS stubbing establish server rendering, not
|
||
browser/visual/deployed acceptance. No saved-room/D1/reset/restart/deployment.
|
||
|
||
Full native early phases, later rounds, other preparations/modules, complete
|
||
modes, comprehensive assurance and browser/deployed acceptance remain open.
|
||
|
||
## Same-phase waiting respondents — 24 October 2026
|
||
|
||
The general current-round FAQ contract now includes a respondent whose unused
|
||
turn remains in the original Movement queue. This extends the provisional owned
|
||
forecast used by shipment promises; it introduces no future-income, cooperation
|
||
or vacated-destination assumption. Keep the current board, owned resources and
|
||
native per-player Hajr history. The detached forecast selects that owner's turn
|
||
and isolates foreign declarations, prices, Ornithopter controls and private
|
||
searches without resolving them or awarding a hypothetical discarded card.
|
||
The live active player, queues, cards and pending decisions remain unchanged.
|
||
|
||
A matching move by another player neither fulfills Yes nor violates No. Another
|
||
player's end cannot close the respondent's promise. Ordinary action guidance
|
||
appears only on the actual owned turn. The exception is the owner's **already
|
||
paid** Box selection: its current private decision can finish while waiting,
|
||
using the original event and full entitled choice. Once paid, even an ordinary
|
||
nonmovement card may preserve an existing route; do not falsely restrict that
|
||
search to movement cards. Pre-payment known-discard planning is unchanged.
|
||
|
||
Owner-declared Emperor gift and Spiritual Advisor costs are checked on their
|
||
allowed outcome before opening the deferred response, so a foreign responder
|
||
cannot convert voluntary loss into an opposing release. A pending native move
|
||
defers reconciliation for its own moving player, while a different waiting
|
||
owner still preserves required resources when voluntarily interrupting with Box.
|
||
All four minimal profiles may conservatively decline optional accompaniment
|
||
under a positive promise; strategic refinement remains deferred. Persistent
|
||
waiting/paid guidance has no timer and retains busy handling.
|
||
|
||
Earlier phases/later rounds, additional preparation families, No-Field/modules,
|
||
full modes and comprehensive acceptance remain unfinished.
|
||
|
||
### Current waiting-turn evidence
|
||
|
||
`tests/fixture-truth-movement-waiting.ts` reverses two original unopened deal
|
||
positions, then performs real setup and phase continuations. Its19-action public
|
||
Basic source leaves active Atreides10 at Arrakeen and waiting Emperor0/20 with
|
||
native wallets. Another player's actual matching move/end leaves Yes/No pending;
|
||
the respondent then ships and moves or honors No through its own real ending.
|
||
|
||
`tests/fixture-truth-movement-waiting-box.ts` uses actual public native purchases
|
||
Box1/Hajr1, stops at Richese's first movement turn and genuinely spends its dealt
|
||
Truth on a current fact. Guild's original distinct Truth then asks the waiting
|
||
Emperor. The44-action source retains cash8, all20 reserves and zero board forces;
|
||
actual payment leaves6, with two ordinary Truth choices. Paid Yes/No selection
|
||
retains the original event and one fee, returns to waiting and later finishes
|
||
the owned turn. Only unopened positions and native scalar lotteries are selected.
|
||
No hand, wallet, force, queue, clock or receipt is installed in these sources.
|
||
|
||
Separate controlled tests label the modeled pact/gift and past BG losses,
|
||
conserved original Ornithopter acquisition and native Fremen-response/Box
|
||
timing. The last checks both unaffordable and affordable payment: reject the
|
||
former without changing its original frame, and restore the latter's exact
|
||
foreign movement response with one spice left. No foreign flight is discarded
|
||
or reassigned by the waiting forecast. All four profiles can decline optional
|
||
accompaniment instead of repeatedly proposing an illegal acceptance.
|
||
|
||
The final eighteen-file union passes **125/125**, types/lint and four actual
|
||
guidance/ordinary paid-choice-handler/GameTable programmes. Eight existing-profile
|
||
runs make32 accepted owned proposals, with12 separate neutral acknowledgements;
|
||
there is no strategy tuning. Bounded review repaired active-only policy with
|
||
the paid exception, both deferred-cost preflights and native-owner deferral.
|
||
The production build passes at the initial freeze; a test-only affordable
|
||
counterpart follows. `build-identity.json` proves all application/build/dependency
|
||
and other source files identical while the final tests/types/runtime run again.
|
||
|
||
Frozen base `f0b2ac82d924ca8568bb7b58b5c290ad75cd04be`, final proof tree
|
||
`0156db54c6165d6b64c612ad15b984c953395f7659e6314894d8317491e64714`,
|
||
2645 files. Private logs, original-state control HTML, build identity and receipts:
|
||
`/home/quintine/.local/share/dune/checkpoints/20261024-movement-waiting/`,
|
||
`frozen-integrated-2/report.json`; the original build is in `frozen-integrated/`.
|
||
Only final checkpoint/reference prose overlays follow proof. Framework aliases/
|
||
CSS stubbing establish server rendering, not browser/visual/deployed acceptance.
|
||
Earlier phases/later rounds, remaining preparation families/modules, complete
|
||
modes and comprehensive assurance remain open. No saved-room/D1/reset/restart/
|
||
deployment operation.
|
||
|
||
## Before-shipment movement promises — 24 October 2026
|
||
|
||
The same existential ground-movement question now includes the active player's
|
||
unused ordinary reserve shipment. This is a software reachability extension of
|
||
the general FAQ contract above; it introduces no new shipment price, force or
|
||
fulfillment rule. A shipment may create or reinforce a later ground group; it
|
||
does not fulfill Yes or violate No by itself. Both existing shipment answers and
|
||
movement answers constrain the same remaining owned turn. No-only movement
|
||
guidance first honors a required shipment instead of incorrectly suggesting End.
|
||
|
||
Ordinary preparation enumerates physical amounts, native special allocations,
|
||
destinations/sectors and explicit pledged ally-payment splits. The actual
|
||
declaration, shared tariff/funding validation and physical commit primitive
|
||
decide legality. Its detached mode stops after payment, typed withdrawal,
|
||
placement, stance, shipment-promise settlement and consuming the current price
|
||
benefit. It invents no income, draws, opponent choices or arrival effects.
|
||
Actual actions keep their original response and entry continuations.
|
||
|
||
A pending ordinary reserve shipment or native Guild cross/return projects its
|
||
**exact** declaration before later movement is checked. A player cannot declare
|
||
a bad destination/force split and then use an opponent's pass to release Yes.
|
||
Unsupported Ambassador/No-Field/module sources retain their boundary rather
|
||
than executing a full speculative continuation. Native cross/return preparation
|
||
is not enumerated yet, though actual legal choices preserve the existing promise.
|
||
Other preparation families, earlier phases/later rounds, optional/Advanced and
|
||
comprehensive acceptance remain unfinished.
|
||
|
||
### Preceding before-shipment evidence
|
||
|
||
`tests/fixture-truth-movement-shipment.ts` retains actual source prefixes before
|
||
their original shipment. Classic19 has Arrakeen10 plus10 reserves: a one-spice
|
||
reinforcement permits a later eleven-force ground move. Native Emperor37 has
|
||
the real bought Box/Hajr and no board forces; CHOAM24 has its actually dealt
|
||
Kulon and no board forces. Fresh public Guild19 preserves original Tuek5,
|
||
reserves15 and spice5, with actual reserve and cross transport. Only unopened
|
||
deals/Spice and native scalar lotteries are selected. No hand, wallet, force,
|
||
clock or receipt is installed. Separate second-Truth and Karama acquisition
|
||
edges explicitly transfer conserved originals; actual rate cancellation and
|
||
joint answers then use their original controls.
|
||
|
||
The current nineteen-file union passes **165/165**, types/lint and production
|
||
build. Six actual guidance-handler/GameTable programmes cover classic Yes/No,
|
||
Emperor, CHOAM with actual Kulon and Guild reserve/cross transport; busy handlers
|
||
submit nothing. Four existing profiles make16 accepted answer/ship/move/end
|
||
actions without tuning. Bounded review repaired ordinary-source guarding,
|
||
pledged-share enumeration, exact pending declarations and joint completion.
|
||
One expensive search run was stopped; all candidates remain after ordering by
|
||
reinforcement and useful nearby routes. Conservative last-move pruning retains
|
||
owned movement cards. The twelve new engine cases subsequently pass in3.2s.
|
||
A display-template lint issue was repaired.
|
||
|
||
Frozen base `b5a53da7126f2be5066db0723536aea3b2fa91a6`, tree
|
||
`05a19569eee3e40f07c1be2f5c4cdcb51b4772a720bafd203a9ab0acadb02d26`,
|
||
2641 files. Private logs, original-state control HTML and receipts:
|
||
`/home/quintine/.local/share/dune/checkpoints/20261024-movement-before-shipment/`,
|
||
`frozen-integrated-3/report.json`. Only final checkpoint/reference prose overlays
|
||
follow proof. Framework aliases/CSS stubbing establish server rendering, not
|
||
browser/visual/deployed acceptance. Full modes, wider timing/preparations and
|
||
comprehensive assurance remain open. No saved-room/D1/reset/restart/deployment.
|
||
|
||
## Owned Box and Kulon preparation — 24 October 2026
|
||
|
||
The same bare Basic predicate now considers a held native CHOAM Kulon and an
|
||
owned Nullentropy Box with its printed **two uncommitted spice** fee. Box
|
||
authority and the existing provisional atomic full-hand exchange are unchanged;
|
||
see [the Box source contract](NULLENTROPY_BOX_ENGINE_AUDIT.md). This extends
|
||
bounded owned reachability, not the supported mode/timing profile.
|
||
|
||
Before payment, only a relevant physical card known still to be in the discard
|
||
may supply a Box witness. Public disposals teach all actual seats; private
|
||
disposals teach their former holder. Hajr, canonical Ornithopter and Kulon are
|
||
the only remembered faces needed here. A private Box choice or mixed Semuta
|
||
claim invalidates other seats' certainty of those candidates' **current
|
||
location**; its entitled inspector knows the remaining faces. Rebuilding the
|
||
deck removes current-discard certainty. This bookkeeping does not erase anyone's
|
||
historical memory, reveal discard names/counts before payment or retroactively
|
||
inspect unconfirmed old piles. Unknown/private preparation possibilities outside
|
||
that provable knowledge remain unfinished. The metadata is server-only; the
|
||
ordinary owner sees only the next legal action.
|
||
|
||
After actual payment, the original private search still shows every eligible
|
||
card, retains its event and charges once. A live Yes supplies a compliant
|
||
selection in the persistent promise control: a required movement card, or an
|
||
ordinary card when an existing route needs no new movement card. A selection that
|
||
would destroy the last route rejects **before** the real shuffle and leaves the
|
||
paid decision available; its fee is neither repeated nor refunded. No-only
|
||
promises keep the ordinary paid choice and do not offer End movement until that
|
||
choice finishes. Minimal policies use the same guided paid selection rather
|
||
than repeatedly choosing an incompatible high-value card.
|
||
|
||
Speculation uses detached copies and deterministic pile order; it never pays,
|
||
shuffles or samples the live game. Actual Box settlement retains its one server
|
||
shuffle, physical exchange and native discard continuation. Held Kulon uses its
|
||
original native legality/cost/bonus; actual counters keep it held and blocked
|
||
when canceled. Opposing loss can release an impossible answer, while voluntary
|
||
spending cannot remove the only remaining fee-funded route. Broader preparation
|
||
through native relocation, counter mitigation, earlier timing and optional or
|
||
Advanced rules remains unfinished.
|
||
|
||
### Preceding card-preparation evidence
|
||
|
||
`tests/fixture-truth-movement-box.ts` selects one original unopened Guild
|
||
Truthtrance deal, then uses actual public Basic Richese/Emperor/Guild setup,
|
||
Box1/Hajr1 purchases, three-force desert shipment6 and real Hajr plus two
|
||
one-force moves. Its44-action source leaves the original Hajr in discard, held
|
||
Box and exactly two owned spice. The actual definite Truthtrance answer adds
|
||
the second paid-search candidate. Yes recovers that same Hajr and makes the
|
||
third move; No uses the original ordinary paid-selection control. Native
|
||
CHOAM source25 stops before actual Kulon, then the question, held Kulon and
|
||
city-enabled route4 execute normally. Only unopened positions and native scalar
|
||
lotteries are selected; no dealt hand, wallet, force, clock or receipt is installed.
|
||
Separate full-hand, unknown legacy certainty, opposing fee-loss and acquired
|
||
Karama-counter tests explicitly stage conserved original outcomes.
|
||
|
||
The preceding seventeen-file union passed **231/231**, types/lint and production
|
||
build. Three actual-control/GameTable-rendering programmes retain full paid
|
||
inspection, original event, single fee, rejected selection and busy no-submit.
|
||
Four existing profiles make40 accepted paid-selection/Hajr/move/end/neutral-pass
|
||
actions and finish legally without strategy refinement. Two older Box/Auditor
|
||
fixtures failed identically on the previous engine and now acknowledge the
|
||
actual battle result; a test-only const lint issue was repaired. Bounded review
|
||
checked printed search entitlement, full-hand policy, original paid continuation,
|
||
primitive disposal knowledge, memoized preparation state and paid-choice priority.
|
||
|
||
Frozen base `edbcbe28de2128c1b59ab7b17bdf7328bddc7416`, tree
|
||
`fd900a863da9cbc9826c22ca7627c26123d1cad04915d059735cb32471c7ba00`,
|
||
2636 files. Private logs, original-state control HTML and receipts:
|
||
`/home/quintine/.local/share/dune/checkpoints/20261024-movement-card-preparation/`,
|
||
`frozen-integrated-3/report.json`. Only final checkpoint/reference prose overlays
|
||
follow that proof. Framework aliases/CSS stubbing establish server rendering,
|
||
not browser/visual/deployed acceptance. Other timing/preparations/counter
|
||
mitigation, unknown private possibilities, optional/Advanced, full modes and
|
||
comprehensive assurance remain open. No saved-room/D1/reset/restart/deployment.
|
||
|
||
## Preceding movement checkpoint
|
||
|
||
`tests/fixture-truth-movement.ts` uses genuine public Basic Atreides/Emperor
|
||
setup, original33-card inventory and actual dealt Truthtrance/Hajr. Only unopened
|
||
deal/Spice positions and native scalar lotteries are selected. Actual readiness,
|
||
setup, phases and a **two-spice** one-force Polar Sink shipment precede the
|
||
question; ten original Arrakeen forces, wallets and allowances are unchanged.
|
||
|
||
The original public Ecaz/CHOAM/Richese/Guild source also buys physical
|
||
Ornithopter for one in the native cache auction, deals original Truthtrance to
|
||
Ecaz, buys one normal card, pays for placement and Guild shipment, then finishes
|
||
an actual empty CHOAM Ambassador grant. Two-group Yes/No and range-three paths
|
||
use those real cards/forces. Its existing native Ecaz final-move Semuta boundary
|
||
remains; ending disposal and the earlier Truthtrance cost still use their actual
|
||
neutral continuation. No force, wallet, clock, bonus or played card is installed.
|
||
|
||
`tests/fixture-truth-movement-choam.ts` uses public native CHOAM/Emperor setup,
|
||
actual dealt Kulon/Truthtrance, one-spice Arrakeen shipment and actual allowed
|
||
Kulon. City access plus its current bonus proves a four-territory route.
|
||
|
||
Separate multiple-question and impossibility edges explicitly stage a conserved
|
||
second original Truthtrance acquisition and conserved force-loss outcomes. They
|
||
are not natural second-purchase or native Atomics/Terror source evidence.
|
||
|
||
The preceding seventeen-file affected union passed **218/218**, with types/lint and the
|
||
production build passing. Seven actual gameplay/control/table-rendering
|
||
programmes cover direct Yes, later Hajr Yes, No surviving Hajr, both actual
|
||
Ornithopter groups, its range-three option and native current-Kulon route4.
|
||
Source programmes use20/58/26 accepted actions. Actual persistent promise
|
||
handlers execute the private witness and submit nothing when busy; actual
|
||
GameTable rendering covers question, answer, remaining promise, Truthtrance/
|
||
ending-disposal pauses and original turn completion. Authoring/answer states
|
||
are rendered and submitted as real actions, not browser clicks. Four existing
|
||
profiles make12 legal answer/move/end actions, without tuning or calibration.
|
||
|
||
Bounded review found current CHOAM range must include Kulon rather than a
|
||
three-territory cap, and an opposing loss must release only incompatible answers.
|
||
Both have regressions, including genuine Kulon play. Multiple-promise feedback
|
||
keeps detached settlement coherent; deterministic owned preparation does not
|
||
invent extra fresh-discard events while a real cost is suspended. Initial fixture
|
||
feedback corrected the actual two-spice Polar Sink tariff and automatically
|
||
allowed Kulon. Three representative older failures reproduced against the prior
|
||
committed engine: shared native fixtures now acknowledge neutral Semuta, two
|
||
battle fixtures acknowledge the actual result, and the broad pre-movement Hajr
|
||
case correctly uses Basic. Native Advanced Hajr still requires its genuine
|
||
post-movement opportunity. A notice-label scalar lint issue was repaired.
|
||
|
||
Frozen base `b4a556d5d345c9ff3056b01af0076ae86bdf5579`, tree
|
||
`990c92fd368f07e1be91dcc0c677a7c029ecfcd6f747b99943e07cae28f8cfc3`,
|
||
2631 files. Private logs, original-state/control HTML and receipts:
|
||
`/home/quintine/.local/share/dune/checkpoints/20261024-truth-movement/`,
|
||
`frozen-integrated-3/report.json`. Final checkpoint/reference prose overlays
|
||
are separately recorded; engine, controls, helpers and tests match the proof.
|
||
Framework aliases/CSS stubbing make this server-rendered evidence, not browser,
|
||
visual or deployed acceptance. Full modes, wider preparations/timing/modules,
|
||
comprehensive assurance and deployed acceptance remain open. No saved-room/D1
|
||
operation, reset, restart or deployment.
|