Append-only scientific ledger for the automata and WFST work: dated evaluations,
completion audits, and hypothesis/result records produced while investigating
the Levenshtein, MSM, and weighted-finite-state-transducer pipelines. These
entries capture what was measured and concluded at a point in time and are
preserved verbatim as the project's experimental record.
- operation-set-binary-persistence-2026-08-02.md —
complete bincode/protobuf semantics and optional-gzip size/latency gate (2026-08-02)
- automata-wfst-completion-audit.md — Automata WFST Completion Audit
- automata-wfst-evaluation.md — Automata and WFST Scientific Evaluation Ledger
- class-a-presets-2026-08-01.md —
Hamming, indel, bounded-skip, validation, corpus, and specialization gates (2026-08-01)
- degenerate-metric-walkers-2026-07-31.md —
rejected specialized Hamming/indel walker shipping gate (2026-07-31)
- elastic-kernel-extraction-2026-07-31.md —
accepted MSM compatibility, second-kernel integration, and K1–K4 formal gate (2026-07-31)
- elastic-ucr-harness-2026-08-01.md —
shared five-kernel UCR classification and pruning-economics preregistration (2026-08-01)
- position-kind-zero-cost-2026-08-01.md —
pre-registered
PositionKind compatibility, code-generation, and zero-cost gate (2026-08-01) - dtw-kernel-2026-08-01.md —
banded DTW, LB_Keogh, metric-label, and pruning hypotheses (2026-08-01)
- downstream-query-surfaces-2026-08-02.md —
accepted DFS/BFS separation,
MatchMode, binary operation persistence, exact multi-kind Dyck correction, and cross-tool verification (2026-08-02) - f64-family-collapse-gate-2026-08-02.md —
rejected whole-representation collapse and accepted shared-subsumption fallback (2026-08-02)
- phase-12-fzf-cross-repo.md —
prefix-shared fzf correctness, work-count, runtime, and optional-reachability gates (2026-08-02)
- erp-kernel-2026-07-31.md —
pre-registered ERP correctness, quotient, pruning, and performance hypotheses (2026-07-31)
- frechet-kernel-2026-08-01.md —
pre-registered discrete Fréchet correctness, bottleneck, quotient, pruning, and performance hypotheses (2026-08-01)
- generalized-automaton-exact-repair-correctness-cost-2026-07-31.md —
exact generalized-automaton repair and preregistered correctness-cost evaluation (2026-07-31)
- generalized-automaton-fractional-cost-correctness-performance-2026-07-31.md —
fractional-cost boundary correctness and performance evaluation (2026-07-31)
- language-product-cost-indexed-frontier-2026-07-31.md —
accepted cost-indexed language-frontier runtime hypothesis (2026-07-31)
- msm-automata-evaluation-2026-06-19.md — MSM Automata Scientific Evaluation (2026-06-19)
- parallel-batch-fuzzy-query-evaluation-over-a-shared-transducer-2026-07-05.md —
parallel shared-transducer query evaluation (2026-07-05)
- twed-kernel-2026-08-01.md —
TWED correctness, metric-domain, and shared pruning hypotheses (2026-08-01)
- true-damerau-2026-08-01.md —
true Damerau correctness, state-growth, formal, and Birkbeck divergence gate (2026-08-01)
- version-tied-cross-query-result-cache-for-the-levenshtein-transducer-2026-07-05.md —
version-tied result-cache evaluation (2026-07-05)
Status: Historical — append-only scientific record; indexed, not edited.
← Documentation Index