From 388dcc5fe4b475a3de1d6b81c30539e1b8b5abb7 Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 14 Jul 2026 19:11:31 +0000 Subject: [PATCH] Expand language palette: add Prolog, Haskell, Zig, fill in Octave Hub now lists Julia, Octave, Fortran, R, Solidity, Haskell, Prolog, Zig. Per sub-spec placement: - Prolog: M3b (logic-based behavioral rules), M3f (consensus logic) - Haskell: M3a, M3b, M3c, M3e, M3f (type-safe pure math) - Zig: M3d, M3g (memory-safe performance, replaces C++) - Octave: filled in where missing (M3b, M3d, M3f, M3g) --- core/docs/plans/M3-sims-hub.md | 2 +- core/docs/plans/M3a-statistical-sims.md | 2 +- core/docs/plans/M3b-sociological-sims.md | 3 ++- core/docs/plans/M3c-amm-liquidity-sims.md | 4 ++-- core/docs/plans/M3d-mev-adversarial-sims.md | 2 +- core/docs/plans/M3e-tokenomics-macro-sims.md | 2 +- core/docs/plans/M3f-consensus-staking-sims.md | 2 +- core/docs/plans/M3g-market-microstructure-sims.md | 2 +- 8 files changed, 10 insertions(+), 9 deletions(-) diff --git a/core/docs/plans/M3-sims-hub.md b/core/docs/plans/M3-sims-hub.md index 67de9b6..9466dfa 100644 --- a/core/docs/plans/M3-sims-hub.md +++ b/core/docs/plans/M3-sims-hub.md @@ -15,7 +15,7 @@ DESIGN-FIRST · ABSENT. Role C3; implementation C1. Mathematical foundations C4 established); specific model parameters C1. ## 3. Language & location -TBD · `src/economy/sims/`. Numerical computing (Julia, Octave, Fortran, R, or Solidity) +TBD · `src/economy/sims/`. Numerical computing (Julia, Octave, Fortran, R, Solidity, Haskell, Prolog, or Zig) for the simulation cores. A query facade accessible to Traders. Each sim type (M3a–M3g) may use a different runtime suited to its math. diff --git a/core/docs/plans/M3a-statistical-sims.md b/core/docs/plans/M3a-statistical-sims.md index d54c0e2..6213a7d 100644 --- a/core/docs/plans/M3a-statistical-sims.md +++ b/core/docs/plans/M3a-statistical-sims.md @@ -16,7 +16,7 @@ execution C5 (industry standard since 2001). Jump-diffusion C5 (Merton 1976). Pa for crypto markets C1. ## 3. Language & location -TBD · `src/economy/sims/statistical/`. Julia, R, Fortran, or Octave for numerical computing. +TBD · `src/economy/sims/statistical/`. Julia, R, Fortran, Octave, or Haskell for numerical computing. Needs efficient matrix operations, SDE solvers, and distribution sampling. Fractional Brownian motion generation uses spectral methods (Hosking 1984, Wood & Chan 1994) or Cholesky decomposition of the covariance matrix. diff --git a/core/docs/plans/M3b-sociological-sims.md b/core/docs/plans/M3b-sociological-sims.md index f2e17c8..e92c32b 100644 --- a/core/docs/plans/M3b-sociological-sims.md +++ b/core/docs/plans/M3b-sociological-sims.md @@ -19,7 +19,8 @@ Pop behavioral models C1. ## 3. Language & location TBD · `src/economy/sims/sociological/`. Agent-based modeling frameworks (NetLogo, or custom). Needs efficient population iteration, strategy mutation, PDE solvers for MFG (HJB + -Fokker-Planck), and bandit algorithms (UCB/Thompson). Julia, R, or Fortran. +Fokker-Planck), and bandit algorithms (UCB/Thompson). Julia, R, Fortran, Octave, Prolog, +or Haskell. ## 4. Does / does-not - **Does:** simulate populations of behavioral archetypes competing in a market; apply diff --git a/core/docs/plans/M3c-amm-liquidity-sims.md b/core/docs/plans/M3c-amm-liquidity-sims.md index e91701b..16086bd 100644 --- a/core/docs/plans/M3c-amm-liquidity-sims.md +++ b/core/docs/plans/M3c-amm-liquidity-sims.md @@ -13,8 +13,8 @@ simulation parameterization C1. ## 3. Language & location TBD · `src/economy/sims/amm/`. Needs precise fixed-point or arbitrary-precision arithmetic for -invariant calculations. Solidity for on-chain-equivalent precision; Julia or Octave for -analytical models. +invariant calculations. Solidity for on-chain-equivalent precision; Julia, Octave, or +Haskell for analytical models. ## 4. Does / does-not - **Does:** simulate constant-product pools with fee parameter $\gamma$: diff --git a/core/docs/plans/M3d-mev-adversarial-sims.md b/core/docs/plans/M3d-mev-adversarial-sims.md index 08c395c..7f6348c 100644 --- a/core/docs/plans/M3d-mev-adversarial-sims.md +++ b/core/docs/plans/M3d-mev-adversarial-sims.md @@ -21,7 +21,7 @@ WENO discretization established but crypto application novel). Parameterization ## 3. Language & location TBD · `src/economy/sims/mev/`. Needs combinatorial optimization (OR-Tools for knapsack), continuous-time auction modeling, PDE solvers (WENO for shock-capturing in adversarial dynamics), -and bilevel optimization (DSMFG). Julia or Fortran. +and bilevel optimization (DSMFG). Julia, Fortran, Octave, or Zig. ## 4. Does / does-not - **Does:** simulate Priority Gas Auctions where multiple searcher bots compete for the same diff --git a/core/docs/plans/M3e-tokenomics-macro-sims.md b/core/docs/plans/M3e-tokenomics-macro-sims.md index 35e80f6..685f247 100644 --- a/core/docs/plans/M3e-tokenomics-macro-sims.md +++ b/core/docs/plans/M3e-tokenomics-macro-sims.md @@ -21,7 +21,7 @@ composable yield optimization C4 (Yearn v3, Beefy, production-validated). Specif ## 3. Language & location TBD · `src/economy/sims/tokenomics/`. Needs SDE solvers (Euler-Maruyama, Milstein), state-space estimation, and VAR (vector autoregression) for credit exposure impulse responses. -Julia (DifferentialEquations.jl) or Octave. +Julia (DifferentialEquations.jl), Octave, or Haskell. ## 4. Does / does-not - **Does:** simulate token state dynamics via the SDE framework: diff --git a/core/docs/plans/M3f-consensus-staking-sims.md b/core/docs/plans/M3f-consensus-staking-sims.md index 4836ccb..9c8c005 100644 --- a/core/docs/plans/M3f-consensus-staking-sims.md +++ b/core/docs/plans/M3f-consensus-staking-sims.md @@ -15,7 +15,7 @@ simulation parameterization C1. ## 3. Language & location TBD · `src/economy/sims/consensus/`. Needs Markov chain solvers and game-theoretic equilibrium -computation. Julia, R, or Fortran. +computation. Julia, R, Fortran, Octave, Prolog, or Haskell. ## 4. Does / does-not - **Does:** simulate validator populations where honesty evolves via **evolutionary game theory** diff --git a/core/docs/plans/M3g-market-microstructure-sims.md b/core/docs/plans/M3g-market-microstructure-sims.md index 469c842..0f66033 100644 --- a/core/docs/plans/M3g-market-microstructure-sims.md +++ b/core/docs/plans/M3g-market-microstructure-sims.md @@ -16,7 +16,7 @@ Kurz CMC thesis). DEX-specific microstructure C2 (emerging). Implementation C1. ## 3. Language & location TBD · `src/economy/sims/microstructure/`. Needs high-frequency data handling, event-driven -simulation, and Riccati equation solvers for optimal execution trajectories. Fortran or Julia. +simulation, and Riccati equation solvers for optimal execution trajectories. Fortran, Julia, Octave, or Zig. ## 4. Does / does-not - **Does:** simulate order flow across venues (DEXs and CEXs); model bid-ask spread dynamics as a