zeekay c928fc49eb fix(dex): exact-integer settlement price floor — kill float64 >2^53 truncation on the 0x9999 money path ...

enforceProceedsPriceFloor reconstructed the realized fill price in float64
(float64(spent), float64(out)) before comparing against the taker's recorded
MEV floor. spent/out are uint256-domain token amounts that routinely exceed
2^53, so the conversion silently dropped their low bits: a fill strictly BELOW
the taker's floor compared EQUAL and was ACCEPTED — the exact sandwich the
floor exists to refuse. (Proven: float64(2^53+1)==float64(2^53), old SELL floor
returns no-reject where exact integer math rejects.)

Replace with exact arithmetic: the recorded limit is taken as its lossless
rational value (big.Rat.SetFloat64) and cross-multiplied with the amounts as
big.Ints. Every term is an exact integer, so the verdict is byte-identical on
every validator (no float on the money path) and never truncates a uint256.

Regression: TestPriceFloor_Exact_Above2Pow53 (the flip case, both sides),
TestPriceFloor_MatchesExactReferenceSweep (cross-check vs independent big.Rat
reference across the 2^53 boundary), TestPriceFloor_EdgeCasesPreserved.

2026-06-27 21:23:06 -07:00

..

testdata

decomplect: retire pqcrypto bundle (0x9003) — standalone mldsa/mlkem/slhdsa is the one way

2026-06-27 16:08:48 -07:00

access_observer.go

dex(0x9999): decentralize halt authority + commit the value-path proof tests

2026-06-22 22:50:00 -07:00

access_soundness_test.go

fix(dex): restore value-swap gate accessors; route soundness tests via DI01 native seam

2026-06-22 19:39:22 -07:00

asset_onchain_verifier.go

dex(0x9999): resolve genuine in-state vault, else live EVM Call surface

2026-06-23 00:57:42 -07:00

asset_resolver_testhelp_test.go

dex(0x9999): permissionless public value path — resolver proves identity, not allowlist

2026-06-22 21:21:56 -07:00

asset_resolver.go

dex(0x9999): permissionless public value path — resolver proves identity, not allowlist

2026-06-22 21:21:56 -07:00

asset.go

dex: native C<->D atomic settlement seam (0x9999) + Red fixes 2/3/4

2026-06-21 00:18:54 -07:00

core_store.go

refactor(precompileconfig)!: warp v1.21.0 decomplect — AddMessage takes *warp.Core

2026-06-26 22:23:21 -07:00

dchain_client.go

feat(dex): 0x9999 DEX V4 receipt-settlement precompile (D matches · C settles)

2026-06-20 12:29:12 -07:00

DEPLOY.md

precompile: PQ canonical terminology (FIPS 203/204/205 + Pulsar + Lamport)

2026-05-05 17:55:46 -07:00

dex_test.go

dex(0x9999): decentralize halt authority + commit the value-path proof tests

2026-06-22 22:50:00 -07:00

dexfill_event_test.go

feat(dex): 0x9999 settlement logs emit unconditionally (genesis-active, no dated fork)

2026-06-26 14:40:01 -07:00

engine.go

feat(dex): 0x9999 DEX V4 receipt-settlement precompile (D matches · C settles)

2026-06-20 12:29:12 -07:00

erc20_vault.go

precompile/dex: 0x9010 no-simulation + CLOB custody + ERC-20 atomic legs

2026-06-19 11:34:41 -07:00

events.go

feat(dex): 0x9999 settlement logs emit unconditionally (genesis-active, no dated fork)

2026-06-26 14:40:01 -07:00

fill_attestation_test.go

fix: gofmt -s across repo (CI format check)

2026-06-02 23:27:11 -07:00

fill_attestation.go

fix: gofmt -s across repo (CI format check)

2026-06-02 23:27:11 -07:00

full_math.go

refactor: clean precompile names — v4-aligned, no aliases

2026-03-02 16:54:55 +00:00

gatec_red_dos_test.go

refactor(precompileconfig)!: warp v1.21.0 decomplect — AddMessage takes *warp.Core

2026-06-26 22:23:21 -07:00

gatec_red_probe_test.go

dex(0x9999): decentralize halt authority + commit the value-path proof tests

2026-06-22 22:50:00 -07:00

halt9999.go

dex(0x9999): decentralize halt authority + commit the value-path proof tests

2026-06-22 22:50:00 -07:00

halt_governance_test.go

dex(0x9999): decentralize halt authority + commit the value-path proof tests

2026-06-22 22:50:00 -07:00

hooks_test.go

refactor: clean precompile names — v4-aligned, no aliases

2026-03-02 16:54:55 +00:00

hooks.go

feat: precompiles — anchor, babyjubjub EIP-2494, coverage, slug validation

2026-03-02 02:00:00 +00:00

integration_test.go

chore: use Lux-native naming for the DEX core/EVM-adapter model

2026-06-22 16:07:29 -07:00

interest_rate.go

chore: update deps, fix node/vms to vm/vms imports, remove stub files

2026-01-09 08:48:29 +00:00

lending_test.go

chore: update deps, fix node/vms to vm/vms imports, remove stub files

2026-01-09 08:48:29 +00:00

lending.go

chore: update deps, fix node/vms to vm/vms imports, remove stub files

2026-01-09 08:48:29 +00:00

liquid_test.go

chore: update deps, fix node/vms to vm/vms imports, remove stub files

2026-01-09 08:48:29 +00:00

liquid.go

refactor: LXAutoRepay → LXPay (LP-9060)

2026-03-02 17:01:56 +00:00

liquidation.go

feat: precompiles — anchor, babyjubjub EIP-2494, coverage, slug validation

2026-03-02 02:00:00 +00:00

liquidity_amounts.go

refactor: clean precompile names — v4-aligned, no aliases

2026-03-02 16:54:55 +00:00

margin.go

chore: update deps, fix node/vms to vm/vms imports, remove stub files

2026-01-09 08:48:29 +00:00

module_abi_test.go

feat: precompiles — anchor, babyjubjub EIP-2494, coverage, slug validation

2026-03-02 02:00:00 +00:00

module_erc20.go

deps: bump chains v1.3.18 + consensus v1.25.21 + crypto v1.19.22 (no stragglers); doc: clarify inStateVault live-bridge case

2026-06-23 09:26:07 -07:00

module.go

decomplect: retire pqcrypto bundle (0x9003) — standalone mldsa/mlkem/slhdsa is the one way

2026-06-27 16:08:48 -07:00

native_atomicity_test.go

dex/0x9999: chain-observable intent id + MEV price-limit carry (swap-seam)

2026-06-21 22:39:07 -07:00

native_callindex_test.go

dex/0x9999: chain-observable intent id + MEV price-limit carry (swap-seam)

2026-06-21 22:39:07 -07:00

native_conservation_test.go

refactor(precompileconfig)!: warp v1.21.0 decomplect — AddMessage takes *warp.Core

2026-06-26 22:23:21 -07:00

native_dchain_client.go

fix(dex): exact-integer settlement price floor — kill float64 >2^53 truncation on the 0x9999 money path

2026-06-27 21:23:06 -07:00

native_events.go

dex/0x9999: chain-observable intent id + MEV price-limit carry (swap-seam)

2026-06-21 22:39:07 -07:00

native_haltwindow_test.go

refactor(precompileconfig)!: warp v1.21.0 decomplect — AddMessage takes *warp.Core

2026-06-26 22:23:21 -07:00

native_harness_test.go

feat(dex): 0x9999 settlement logs emit unconditionally (genesis-active, no dated fork)

2026-06-26 14:40:01 -07:00

native_intentid_parity_test.go

dex/0x9999: cross-repo intent-id golden anchor (LOW/INFO swap-seam r2)

2026-06-21 22:42:25 -07:00

native_lp_test.go

dex/0x9999: taker-authenticated MEV floor + 69-byte seam wire lockstep (swap-seam r2)

2026-06-21 22:40:01 -07:00

native_pricefloor_precision_test.go

fix(dex): exact-integer settlement price floor — kill float64 >2^53 truncation on the 0x9999 money path

2026-06-27 21:23:06 -07:00

native_pricelimit_test.go

refactor(precompileconfig)!: warp v1.21.0 decomplect — AddMessage takes *warp.Core

2026-06-26 22:23:21 -07:00

native_rail_redteam_test.go

dex: close Red H1 cross-rail D->C consumption + per-object/owner collect bound (FIX 1-5)

2026-06-21 02:59:07 -07:00

native_seam_parity_test.go

dex/0x9999: taker-authenticated MEV floor + 69-byte seam wire lockstep (swap-seam r2)

2026-06-21 22:40:01 -07:00

native_seed_test.go

dex: close Red H1 cross-rail D->C consumption + per-object/owner collect bound (FIX 1-5)

2026-06-21 02:59:07 -07:00

native_settle_test.go

refactor(dex): decomplect 0x9999 value path to one live synchronous router + wire prod asset resolver

2026-06-22 20:55:13 -07:00

native_staging.go

dex/0x9999: taker-authenticated MEV floor + 69-byte seam wire lockstep (swap-seam r2)

2026-06-21 22:40:01 -07:00

native_state.go

dex/0x9999: taker-authenticated MEV floor + 69-byte seam wire lockstep (swap-seam r2)

2026-06-21 22:40:01 -07:00

native_swap_intent_redteam_test.go

Thinking Chains: precompile (#7)

2026-06-21 20:53:33 -07:00

native_swap_mevfloor_redteam_test.go

dex/0x9999: taker-authenticated MEV floor + 69-byte seam wire lockstep (swap-seam r2)

2026-06-21 22:40:01 -07:00

native_wire.go

dex/0x9999: taker-authenticated MEV floor + 69-byte seam wire lockstep (swap-seam r2)

2026-06-21 22:40:01 -07:00

native_zap_realstate_test.go

decomplect: retire pqcrypto bundle (0x9003) — standalone mldsa/mlkem/slhdsa is the one way

2026-06-27 16:08:48 -07:00

native_zap.go

decomplect: retire pqcrypto bundle (0x9003) — standalone mldsa/mlkem/slhdsa is the one way

2026-06-27 16:08:48 -07:00

pause_freeze_test.go

precompile: rename Corona → Corona; assign Ring-LWE threshold slot 0x012206

2026-05-13 14:23:53 -07:00

pausefreeze_test.go

precompile: rename Corona → Corona; assign Ring-LWE threshold slot 0x012206

2026-05-13 14:23:53 -07:00

perpetuals.go

chore: update deps, fix node/vms to vm/vms imports, remove stub files

2026-01-09 08:48:29 +00:00

pool_manager_test.go

dex(0x9999): restore A2 value-activation gate + wire L2 sync access-set soundness

2026-06-22 20:44:29 -07:00

pool_manager.go

dex(0x9999): gate new consensus logs on DexSettleActivationTime + emit native Initialize

2026-06-21 13:15:38 -07:00

position_commit.go

dex: close Red H1 cross-rail D->C consumption + per-object/owner collect bound (FIX 1-5)

2026-06-21 02:59:07 -07:00

position_module.go

decomplect: retire pqcrypto bundle (0x9003) — standalone mldsa/mlkem/slhdsa is the one way

2026-06-27 16:08:48 -07:00

quoter_module.go

dex: native V4 receipt-settlement precompile surface at 0x9999 (LP-9999)

2026-06-20 14:47:54 -07:00

redteam_fixes_test.go

refactor(precompileconfig)!: warp v1.21.0 decomplect — AddMessage takes *warp.Core

2026-06-26 22:23:21 -07:00

redteam_round2_test.go

dex(0x9999): timestamp-gated dated-fork activation + remove 0x9010 (v0.5.53)

2026-06-21 12:05:38 -07:00

router_module.go

refactor: clean precompile names — v4-aligned, no aliases

2026-03-02 16:54:55 +00:00

router_test.go

refactor: clean precompile names — v4-aligned, no aliases

2026-03-02 16:54:55 +00:00

router_v2_wire_test.go

precompile: native Uniswap-V3 concentrated-liquidity (0x90A1) + V2 router wire

2026-06-27 12:42:59 -07:00

router.go

precompile: native Uniswap-V3 concentrated-liquidity (0x90A1) + V2 router wire

2026-06-27 12:42:59 -07:00

settle9999.go

feat(dex): 0x9999 settlement logs emit unconditionally (genesis-active, no dated fork)

2026-06-26 14:40:01 -07:00

settle_addr.go

dex(0x9999): scrub stale 0x9010 comments — 0x9999 is the sole DEX precompile (v0.5.54)

2026-06-21 12:37:59 -07:00

settle_custody.go

decomplect: retire pqcrypto bundle (0x9003) — standalone mldsa/mlkem/slhdsa is the one way

2026-06-27 16:08:48 -07:00

settle_erc20_callseam_test.go

feat(dex): 0x9999 settlement logs emit unconditionally (genesis-active, no dated fork)

2026-06-26 14:40:01 -07:00

settle_hookdata.go

feat(0x9999): synchronous on-chain router — Gate B (joint C+D journal, real-asset settle, DEXFill event, full test suite)

2026-06-22 17:46:32 -07:00

settle_maker.go

dex: close Red H1 cross-rail D->C consumption + per-object/owner collect bound (FIX 1-5)

2026-06-21 02:59:07 -07:00

settle_market.go

feat(dex): 0x9999 settlement logs emit unconditionally (genesis-active, no dated fork)

2026-06-26 14:40:01 -07:00

settle_module.go

dex(0x9999): decentralize halt authority + commit the value-path proof tests

2026-06-22 22:50:00 -07:00

settle_seed.go

decomplect: retire pqcrypto bundle (0x9003) — standalone mldsa/mlkem/slhdsa is the one way

2026-06-27 16:08:48 -07:00

settle_stm_stateful.go

dex(0x9999): restore A2 value-activation gate + wire L2 sync access-set soundness

2026-06-22 20:44:29 -07:00

settle_stm.go

dex(0x9999): always-on settlement precompile, runtime params, zero per-net config

2026-06-21 09:03:37 -07:00

settle_surface_test.go

dex(0x9999): restore A2 value-activation gate + wire L2 sync access-set soundness

2026-06-22 20:44:29 -07:00

settle_views9999.go

dex: native V4 receipt-settlement precompile surface at 0x9999 (LP-9999)

2026-06-20 14:47:54 -07:00

sqrt_price_math.go

refactor: clean precompile names — v4-aligned, no aliases

2026-03-02 16:54:55 +00:00

state_export_test.go

refactor: clean precompile names — v4-aligned, no aliases

2026-03-02 16:54:55 +00:00

state_export.go

feat: precompiles — anchor, babyjubjub EIP-2494, coverage, slug validation

2026-03-02 02:00:00 +00:00

stateview_module.go

dex: native C<->D atomic settlement seam (0x9999) + Red fixes 2/3/4

2026-06-21 00:18:54 -07:00

swap_amm_pool.go

feat(0x9999): synchronous on-chain router — Gate B (joint C+D journal, real-asset settle, DEXFill event, full test suite)

2026-06-22 17:46:32 -07:00

swap_custody.go

decomplect: retire pqcrypto bundle (0x9003) — standalone mldsa/mlkem/slhdsa is the one way

2026-06-27 16:08:48 -07:00

swap_math.go

refactor: clean precompile names — v4-aligned, no aliases

2026-03-02 16:54:55 +00:00

swap_minout.go

dex(0x9999): restore A2 value-activation gate + wire L2 sync access-set soundness

2026-06-22 20:44:29 -07:00

swap_sync_access_rowsize_test.go

dex(0x9999): pin predictor order-row slot count to sizeof(DEXOrder) (anti-drift guard)

2026-06-22 20:51:12 -07:00

swap_sync_access_test.go

decomplect: retire pqcrypto bundle (0x9003) — standalone mldsa/mlkem/slhdsa is the one way

2026-06-27 16:08:48 -07:00

swap_sync_access.go

refactor(precompileconfig)!: warp v1.21.0 decomplect — AddMessage takes *warp.Core

2026-06-26 22:23:21 -07:00

swap_sync_c1_redteam_test.go

refactor(precompileconfig)!: warp v1.21.0 decomplect — AddMessage takes *warp.Core

2026-06-26 22:23:21 -07:00

swap_sync_decomplect_test.go

refactor(precompileconfig)!: warp v1.21.0 decomplect — AddMessage takes *warp.Core

2026-06-26 22:23:21 -07:00

swap_sync_e2e_test.go

refactor(dex): decomplect 0x9999 value path to one live synchronous router + wire prod asset resolver

2026-06-22 20:55:13 -07:00

swap_sync_fix1_registry_test.go

dex(0x9999): permissionless public value path — resolver proves identity, not allowlist

2026-06-22 21:21:56 -07:00

swap_sync_fix2_minout_test.go

dex(0x9999): restore A2 value-activation gate + wire L2 sync access-set soundness

2026-06-22 20:44:29 -07:00

swap_sync_fix3_deadlock_test.go

dex(0x9999): restore A2 value-activation gate + wire L2 sync access-set soundness

2026-06-22 20:44:29 -07:00

swap_sync_gateb_test.go

decomplect: retire pqcrypto bundle (0x9003) — standalone mldsa/mlkem/slhdsa is the one way

2026-06-27 16:08:48 -07:00

swap_sync_mevfloor_redteam_test.go

dex(0x9999): restore A2 value-activation gate + wire L2 sync access-set soundness

2026-06-22 20:44:29 -07:00

swap_sync_snapshot_test.go

feat(0x9999): synchronous on-chain router — Gate B (joint C+D journal, real-asset settle, DEXFill event, full test suite)

2026-06-22 17:46:32 -07:00

swap_sync.go

decomplect: retire pqcrypto bundle (0x9003) — standalone mldsa/mlkem/slhdsa is the one way

2026-06-27 16:08:48 -07:00

teleport.go

chore: update deps, fix node/vms to vm/vms imports, remove stub files

2026-01-09 08:48:29 +00:00

tick_bitmap_math.go

feat: precompiles — anchor, babyjubjub EIP-2494, coverage, slug validation

2026-03-02 02:00:00 +00:00

tick_math.go

fix: gofmt -s across repo (CI format check)

2026-06-02 23:27:11 -07:00

tick_types.go

refactor: clean precompile names — v4-aligned, no aliases

2026-03-02 16:54:55 +00:00

transmuter.go

refactor: clean precompile names — v4-aligned, no aliases

2026-03-02 16:54:55 +00:00

types.go

dex(0x9999): scrub stale 0x9010 comments — 0x9999 is the sole DEX precompile (v0.5.54)

2026-06-21 12:37:59 -07:00

vaults.go

chore: update deps, fix node/vms to vm/vms imports, remove stub files

2026-01-09 08:48:29 +00:00