Issues

• Implement Collateral Substitution and Rebalancing Requests

  Zenith-options/backend#279 · Filter by author dami-005 opened on Oct 16, 2026

• Implement Isolated Margin Mode with Per-Series Collateral Segregation

  Zenith-options/backend#278 · Filter by author dami-005 opened on Oct 16, 2026

• Implement Volatility Surface Calibration from Indexed Trade Prints

  Zenith-options/backend#277 · Filter by author dami-005 opened on Oct 16, 2026

• Implement a Sealed-Bid Liquidation Auction Venue for Illiquid Collateral

  Zenith-options/backend#276 · Filter by author dami-005 opened on Oct 16, 2026

• Implement Underlying Asset Migration and Contract Adjustment Handling

  Zenith-options/backend#275 · Filter by author dami-005 opened on Oct 16, 2026

• Implement Trigger Order Support (Stop-Loss and Take-Profit) with Oracle-Monitored Execution

  Zenith-options/backend#274 · Filter by author dami-005 opened on Oct 16, 2026

• Implement Margin Call Lifecycle with Cure Deadlines and Escalation

  Zenith-options/backend#273 · Filter by author dami-005 opened on Oct 16, 2026

• Implement Multi-Provider Soroban RPC Read Quorum with Divergence Detection

  Zenith-options/backend#272 · Filter by author dami-005 opened on Oct 16, 2026

• Publish Soroban Contract Specs and Detect ABI Drift Against Generated Bindings

  Zenith-options/backend#271 · Filter by author dami-005 opened on Oct 16, 2026

• Implement Reentrancy and Cross-Contract Call Safety Guards in Settlement Contracts

  Zenith-options/backend#270 · Filter by author dami-005 opened on Oct 16, 2026

• Extend Kani Formal Verification to On-Chain Settlement Contract Entry Points

  Zenith-options/backend#269 · Filter by author dami-005 opened on Oct 16, 2026