Search results

Add MPF exclusion proof generation and verification

featNew featureNew feature

Status: Open.

#148 In lambdasistemi/haskell-mts;

· paolino opened on Apr 22, 2026

Port MPF write path to WASM with browser demo (mirror of #144)

featNew featureNew feature

Status: Open.

#146 In lambdasistemi/haskell-mts;

· paolino opened on Apr 22, 2026

WASM verifier: split proof verification into a WASM-compilable sub-library

enhancementNew feature or requestNew feature or request

Status: Open.

#140 In lambdasistemi/haskell-mts;

· paolino opened on Apr 8, 2026

investigate: content-addressed vs path-indexed storage for MPF

Status: Open.

#126 In lambdasistemi/haskell-mts;

· paolino opened on Mar 31, 2026

feat: add replay progress logging to CLI app

Status: Open.

#125 In lambdasistemi/haskell-mts;

· paolino opened on Mar 27, 2026

feat: wire replay trace callback through rollbacks store

Status: Open.

#124 In lambdasistemi/haskell-mts;

· paolino opened on Mar 27, 2026

feat: wire replay trace callback through managed transitions

Status: Open.

#123 In lambdasistemi/haskell-mts;

· paolino opened on Mar 27, 2026

test: RocksDB crash recovery + multi-cycle with realistic generator

Status: Open.

#113 In lambdasistemi/haskell-mts;

· paolino opened on Mar 19, 2026

feat: add patchParallel for MPF

featNew featureNew feature

Status: Open.

#94 In lambdasistemi/haskell-mts;

· paolino opened on Mar 17, 2026

docs: add read-aloud support to MkDocs

Status: Open.

#91 In lambdasistemi/haskell-mts;

· paolino opened on Mar 14, 2026

Implement HTTP REST API service

featNew featureNew feature

Status: Open.

#18 In lambdasistemi/haskell-mts;

· paolino opened on Jan 28, 2026

·  

v0.5.0 - Complete Proof Suite