Lux Partners Limited is not the entity behind this work. Every place the
old name stood — copyright lines, site footers, brand config, legal and
compliance text — now names the company that actually holds it.
lux.fund is the exception and is not renamed to match: that site belongs
to Lux Assets Management LLC, a different company, and it says so.
Two kinds of line were left for a person rather than rewritten. A dated
news item recording that Lux Partners Limited was established in the Isle
of Man is a historical fact, and renaming it would falsify the record. And
a sentence asserting that the company is domiciled in the Isle of Man is a
claim about a jurisdiction, not a name — an Inc or an LLC is not an Isle
of Man company, so swapping the name there would assert something untrue.
Co-authored-by: Hanzo Dev <[email protected]>
Track the warp ZAP rename (SignedCore->Core, WarpEnvelope->Envelope).
WarpMessageWriter.AddMessage now takes *warp.Core. Doc comment rewritten to
drop the deleted RLP UnsignedMessage reference — one and one way only.
Both are one-shot bring-up drivers that send real signed C-Chain txs to the
0x9010 PoolManager precompile on localnet — neither is referenced by any
Makefile, Dockerfile, CI workflow, or k8s manifest. The custody and ZAP
settlement logic they exercised is covered by the dex package's 338 tests
(custody_*_test.go, erc20_*_test.go, pool_manager_test.go, engine_zap_*_test.go,
integration_test.go). Keep cmd/blue (the inference CLI).
Removed settleNativeLegs (the AMM-style native reserve). Native LUX is now lock/mint: real LUX
locked in 0x9010 vault, canonical balance minted in D-Chain available[caller][LUX]; withdraw burns
+ releases (refuses over-release). Added deposit/withdraw/balanceOf selectors + txHash-keyed
idempotency. Swap now BINDS caller identity into the submit frame (was zero → settlement fell back
to C-Chain) + InitializePool calls clob_open_market (markets were unbound → no-custody fallback).
ERC-20 deposit/withdraw return ErrERC20DepositUnsupported (explicit revert, NO fake reserve) pending
a real lock/mint Call() seam. Invariant balanceOf(0x9010)==Σavailable[LUX]+Σlocked[LUX].
getPool/getPoolState now read the StateDB sqrtPrice slot FIRST (revert-safe authority) and drop
any in-memory cache entry StateDB contradicts — fixes a speculative-exec cache poisoning where a
reverted exec left a stale 'pool already initialized' entry that reverted re-execs (the EVM runs
a tx ~5x; only canonical exec commits). modifyLiquidity now replay-idempotent via modifyBindKey
(mirrors swapBindKey). cmd/evme2e = the V4-calldata EVM e2e driver. Proven live: real C-Chain tx
→ 0x9010 → ZAP → D-Chain → fills → native LUX settle.
Captures the validated path from the toy fixture to a real on-chain LLM (zen-nano /
Qwen3-0.6B = Beluga's brain 'blue'):
- ZEN_NANO_PORT.md: architecture (GQA 16/8, head_dim 128, q/k-norm, RoPE θ1e6, SwiGLU,
tied embed, vocab 151936), the validated quantization recipe (per-channel int8 weights;
dynamic-integer or static activation scales; gemmlowp requant; integer norm/softmax/silu/
rope LUTs), coherence results (float/dynamic/static int8 all coherent on real weights ->
deterministic on-chain inference is VIABLE), and the Go-port blueprint + provisioning via
the model-registry precompile.
- cmd/blue: CLI that invokes the inference precompile (token-id prompt -> generated tokens),
the same code path an on-chain tx hits. Talks to the toy fixture today; to real zen-nano
once the port lands.
Research validated this session against ~/work/zen/models/zen-nano-0.6b; remaining work is
the Go engine port (generalize tiny_llm -> Qwen3) + a quant exporter, no unknowns.
Co-authored-by: Hanzo Dev <[email protected]>