7.0 KiB
Truthtrance grouped native Revival promises
Whole AND/OR prototype — 26 October 2026
Prototyped / Partial. A current-turn question can combine ordinary physical
force minima and named personal native leader/Kwisatz returns in AND/OR groups.
The packet is {kind:'revivalExpression',target,turn,claim}. Registered bare
native Basic/Advanced tables use quiet phases0–4 and the same remaining Revival
opportunities as the force and
leader questions. No start gate opens.
Authority and meaning
The recorded nonbattle source audit identifies publisher FAQp8 authority for combined AND/OR questions and current- turn compliance. Supplied Advanced physical39 supplies general compliance, later impossibility and unknown/save authority. Neither gives a complete online solver. The existing cumulative ordinary-return interval, native source and accepted-order release composition remain explicitly provisional under the standing14October choose-recommended instruction.
Every force leaf describes cumulative future ordinary physical returns after this answer. Each elite counts once; normal is total minus elites. A leader leaf means at least one actual future personal native return of that exact identity. Existing priced negotiations may count when accepted and completed; unaccepted quotes, requests, prior returns, Ghola/cards, special returns and foreign gholas do not count. Native cost, custody, cohort, slots and order remain.
AND requires every child; OR at least one. No negates the whole expression.
No to (force1 AND leader) can permit either first return while forbidding
completing both. No to (force1 OR leader) forbids either qualifying return.
A Yes becomes fulfilled only when actual future progress makes the complete
positive expression true. No stays live through the actual opportunity deadline:
Basic phase close, or the stamped Advanced participant's close.
Dynamic alternatives and controls
game/revival-expression-promises.ts validates the entire tree, evaluates typed
progress, records immutable actual returns and lazily generates signed native
constraints. No invalid leaf can hide under a decisive branch. The existing
shipment software bounds of16 leaves/depth4 apply; these are input limits, not
printed restrictions on game questions.
The engine tries compatible alternatives through its existing native quote and shared force/leader planner. It stores the expression and observed progress, never a selected branch. Every later action rebuilds alternatives, so a prior guide does not force one OR route or one reason for keeping an AND false. Several questions and earlier scalar commitments share the actual purse, native slots and accepted order. Existing bid/bribe/shipment/movement funding and owned preparation remain. No future foreign choice or unknown resource is invented; completed opposing impossibility may release an impossible Yes.
Only completed normal force and personal native leader events update this ledger. Actual and detached quote paths use the same typed accounting. Own spending, requests, Ghola disposal of a needed native return, or Finish cannot erase every legal completion. Rejected choices leave the original state intact.
The full controlled editor adds/wraps/removes/collapses groups and changes AND/OR, force counter/minimum or public printed leader identity. Invalid numeric drafts remain editable; the whole question must validate before Ask. Private answers, own full expression/progress and exact event/phase guides connect to the actual table and all four minimal policies. A persistent panel explains whole No and remaining alternatives. AI strategy/calibration remain deferred.
Evidence and remaining gates
Pure, controlled UI and inherited original battle/death runtime evidence lives
in tests/revival-expression-promises.test.ts,
tests/truth-revival-expression-controls.test.tsx,
tests/fixture-truth-revival-expression.ts and
tests/truth-revival-expression-runtime.test.ts; native funding cases are in
tests/truth-revival-expression-funding.test.ts. Twelve pure,14 native,six
controlled UI and five native funding cases are included in the frozen
17-file,165/165 union. npm run check:quick, npm run build and eight
native runtime paths pass on the same unchanged source. Actual GameTable SSR
renders29 times;11 hook-free guide callbacks submit native packets. One actual
editor meaning-change callback retains the complete tree through native Ask.
| Inherited original source | Prefix actions | Further actions | Actual result |
|---|---|---|---|
| Basic H/A/T Ix47 AND | 102 | 13 | Free force1/bank1 is partial; native leader2 completes AND at T3 |
| Advanced H/A/T Ix47 AND | 108 | 12 | Same actual progress under native ordered Revival |
| Basic edited OR | 102 | 12 | Real AND→OR editor callback, actual Ask, manual leader return instead of suggested force route |
| Basic No AND, forces first | 102 | 12 | Force return allowed; completing named return rejects; No settles at phase close |
| Basic No AND, leader first | 102 | 12 | Leader return allowed; completing force return rejects; No settles at phase close |
| Basic No OR | 102 | 11 | Either qualifying return rejects; actual Finish closes the No |
| Advanced post-Storm AND | 83 | 34 | Whole claim remains pending through actual Spice/Charity/Bidding and owned Revival |
| Basic owned-income AND | 102 | 14 | Actual bribe3 leaves T1; force bank1 then native leader2 fulfills AND at T0 |
The wrapper adds no deal/lottery selections or installed clock, purse, death or promise to the inherited genuine projectile source. Both original Truths and all47 original cards retain physical inventory. Four minimal policies complete the AND in both source modes. Cases also retain same-turn prior/Ghola exclusions, nested whole No, joint scalar obligations, stale/foreign packets, typed partial progress and bribe/shipment funding in both answer orders. Controlled projections remain UI evidence, not original acquisition histories. The explicit leader/group narrowing repair precedes the passing v2 proof.
Frozen v2 report/verified manifest:
/home/quintine/.local/share/dune/checkpoints/20261026-truth-revival-expression-proof-v2/.
report.json records exact commands/logs; native journeys, SSR HTML and harness
are in adjacent 20261026-truth-revival-expression-runtime/. Final evidence
prose is a separately recorded three-document overlay. Editor/guide callbacks
and SSR are local engine/control evidence, not browser clicks or hydration.
Other future-action/fact families, cross-opportunity expressions, card/special revival, optional compositions, dedicated normal-cohort/Auditor/Duke/KH and opposing-release journeys remain required. Local SSR/callbacks do not establish browser/mobile/deployed acceptance. No complete mode or final assurance is certified. No saved-game/database/server/reset/restart/deployment operation is performed; full rules and publication gates remain open.