All pull requests

Pull requests

• feat: Kani formal verification of collateral, payoff and fee arithmetic (#119)

  #160·Whiznificent opened Sep 30, 2026·

  ·
  1

• feat: pluggable secret management and remote signing-key custody (#120)

  #159·Whiznificent opened Sep 30, 2026·

  ·
  1

  1

• feat: property-based state-machine harness for ledger invariants (#118)

  #158·Whiznificent opened Sep 30, 2026·

  ·
  1

  1

• feat: cargo-fuzz targets for parsers, pricing & request handling (#117)

  #157·Whiznificent opened Sep 30, 2026·

  ·
  1

  1

• Validate strategy legs share the same underlying

  #156·augustinemartins opened Sep 29, 2026·

  ·
  4

• ci: automate releases, delivery, load tests and coverage

  #155·chukwujekwuchidinma24 opened Sep 29, 2026·

  ·
  4

  1

• Add distributed production hardening

  #154·agudajohn793 opened Sep 29, 2026·

  ·
  4

  1

• feat: add observability and readiness endpoints

  #153·Sundriveauto opened Sep 29, 2026·

  ·
  4

  1

• Add API time typing and admin tooling

  #152·Sundayabel222 opened Sep 28, 2026·

  ·
  4

  1

• Add GraphQL, advanced alerts, and event delivery

  #151·lekescrew22 opened Sep 28, 2026·

  ·
  4

  1

• Add feature flags, admin RBAC, jobs, and worker

  #150·petermuazu opened Sep 28, 2026·

  ·
  4

  1

• Add configuration, stable errors, API versioning, and SDKs

  #149·ngoziobidigwe212 opened Sep 28, 2026·

  ·
  4

  1

• Add batch pricing, API keys, caching, and validation

  #148·okonkwofreeman001 opened Sep 28, 2026·

  ·
  4

  1

• Feat/issues 69 72 backend infra

  #147·DevMusa001 opened Sep 28, 2026·

  ·
  4

  1

• Feature/issues 73 76 db foundation

  #146·MusaTheDev001 opened Sep 28, 2026·

  ·
  4

  1

• updates

  #145·Augusta105 opened Sep 27, 2026·

  ·
  4

  1

• updates

  #144·adeshi105 opened Sep 27, 2026·

  ·
  4

  1

• updates

  #143·williamsokperez-arch opened Sep 27, 2026·

  ·
  4

  1

• Feat/migration config

  #142·Ehonrie opened Sep 27, 2026·

  ·
  4

  1

• Add historical realized-volatility service and /api/v1/vol/realized endpoint

  #141·luka-berry opened Sep 26, 2026·

  ·
  4

  1

• Add two-sided option quote model (bid/ask/mid/mark)

  #140·Kaselchumfa opened Sep 26, 2026·

  ·
  4

  1

• Add golden-vector pricing parity suite with generator, tolerances, and CI artifact

  #139·joel-metal opened Sep 26, 2026·

  ·
  4

  1

• Safeguarded implied-volatility solver with typed errors and Criterion benchmark

  #138·job-soft opened Sep 26, 2026·

  ·
  4

  1

• fix: address #25, #26, #27, #28

  #137·jasmine874 opened Sep 26, 2026·

  ·
  4

  1

• Add fixed-point monetary arithmetic with Money/Qty newtype and lossless migration

  #136·197827 opened Sep 26, 2026·

  ·
  4

  1