Add the Living Market AMM

[rozgo]

What changed

• adds exact state-evaluated quantity expressions, named exchange parameters, authoritative conditions, and checked floor division to the Axionomy kernel
• adds The Living Market, a closed energy/credit constant-product AMM with eight actors, real needs and obligations, liquidity shares, three replayable realities, direct attribution, and exact 128-coalition Shapley attribution
• adds the dedicated Studio market surface with reserve vessels, actor flows, price history, bonding curve, rule inspection, rejected slippage probes, and responsive layouts
• regenerates OpenAPI, browser artifacts, and documentation as the 14th canonical problem
• upgrades CI and Pages from wasm-pack 0.13.1 to 0.15.0

Why

Axionomy could previously express only fixed linear rate effects. A genuine AMM requires settlement quantities computed from authoritative pre-state reserves, plus atomic minimum-output enforcement. The new expression law keeps those semantics serializable, replayable, and kernel-owned without opaque callbacks.

The browser engine also had to be rebuilt to expose the new problem; Chrome DevTools caught that a stale WASM catalog could otherwise fall back to Maze.

User impact

Studio now demonstrates endogenous price discovery in a genuinely closed economy. Users can step through heterogeneous exchange activity, compare no-whale and thin-liquidity counterfactuals, inspect exact causal contribution, and trace every visual value back to replayed accounts and receipts.

Validation

• cargo test --workspace
• cargo clippy --workspace --all-targets -- -D warnings
• deterministic contract regeneration
• pnpm test:ui
• pnpm build with wasm-pack 0.15.0
• Chrome DevTools desktop and 390px interaction/layout audit
• Chrome Lighthouse snapshot: accessibility 100, best practices 100
• canonical CLI AMM smoke run