# Living-doc allow-list for scripts/doc-mathlint.sh (Campaign 2). Auto-generated 2026-07-13.
# Bucket A (living/explanatory/reference) only; append-only records (Bucket B) are excluded.
docs/algorithms/01-dictionary-layer/implementations/double-array-trie-char.md
docs/algorithms/01-dictionary-layer/implementations/double-array-trie.md
docs/algorithms/01-dictionary-layer/implementations/dynamic-dawg-char.md
docs/algorithms/01-dictionary-layer/implementations/dynamic-dawg.md
docs/algorithms/01-dictionary-layer/implementations/pathmap-dictionary.md
docs/algorithms/01-dictionary-layer/implementations/README.md
docs/algorithms/01-dictionary-layer/implementations/suffix-automaton.md
docs/algorithms/01-dictionary-layer/README.md
docs/algorithms/02-levenshtein-automata/README.md
docs/algorithms/03-intersection-traversal/README.md
docs/algorithms/04-distance-calculation/algorithms/iterative-dp.md
docs/algorithms/04-distance-calculation/algorithms/optimizations.md
docs/algorithms/04-distance-calculation/algorithms/README.md
docs/algorithms/04-distance-calculation/algorithms/recursive-memoization.md
docs/algorithms/04-distance-calculation/README.md
docs/algorithms/05-simd-optimization/README.md
docs/algorithms/06-zipper-navigation/README.md
docs/algorithms/07-contextual-completion/formal-verification-requirements.md
docs/algorithms/07-contextual-completion/implementation/checkpoint-system.md
docs/algorithms/07-contextual-completion/implementation/completion-engine.md
docs/algorithms/07-contextual-completion/implementation/context-tree.md
docs/algorithms/07-contextual-completion/implementation/draft-buffer.md
docs/algorithms/07-contextual-completion/implementation/README.md
docs/algorithms/07-contextual-completion/patterns/parallel-workspace-indexing.md
docs/algorithms/07-contextual-completion/patterns/README.md
docs/algorithms/07-contextual-completion/README.md
docs/algorithms/07-contextual-completion/use-cases/code-completion.md
docs/algorithms/07-contextual-completion/use-cases/incremental-editing.md
docs/algorithms/07-contextual-completion/use-cases/README.md
docs/algorithms/08-caching-layer/eviction-policies/age.md
docs/algorithms/08-caching-layer/eviction-policies/cost-aware.md
docs/algorithms/08-caching-layer/eviction-policies/lfu.md
docs/algorithms/08-caching-layer/eviction-policies/lru.md
docs/algorithms/08-caching-layer/eviction-policies/memory-pressure.md
docs/algorithms/08-caching-layer/eviction-policies/README.md
docs/algorithms/08-caching-layer/eviction-policies/ttl.md
docs/algorithms/08-caching-layer/README.md
docs/algorithms/09-value-storage/README.md
docs/algorithms/10-affine-gap/README.md
docs/algorithms/13-language-products/README.md
docs/algorithms/DOCUMENTATION_INDEX.md
docs/algorithms/README.md
docs/architecture/overview.md
docs/architecture/README.md
docs/benchmarks/README.md
docs/benchmarks/cross-language/RESULTS.md
docs/benchmarks/cross-language/cpp-comparison.md
docs/benchmarks/cross-language/java-comparison.md
docs/benchmarks/cross-language/methodology.md
docs/bug-reports/README.md
docs/completion-reports/README.md
docs/concepts/LAZY_VS_EAGER_AUTOMATA.md
docs/concepts/README.md
docs/design/contextual-completion-api.md
docs/design/contextual-completion-zipper.md
docs/design/dynamic-dawg.md
docs/design/generalized-automaton.md
docs/design/generalized-operations.md
docs/design/grammar-correction/benchmark_specification.md
docs/design/grammar-correction/dyck-projection-lower-bound.md
docs/design/grammar-correction/MAIN_DESIGN.md
docs/design/grammar-correction/README.md
docs/design/grammar-correction/theoretical-analysis/complete-analysis.md
docs/design/grammar-correction/theoretical-analysis/executive-summary.md
docs/design/grammar-correction/theoretical-analysis/index.md
docs/design/grammar-correction/theoretical-analysis/quick-reference.md
docs/design/grammar-correction/theoretical-analysis/README.md
docs/design/grammar-correction/theoretical-analysis/visual-guide.md
docs/design/grammar-correction/wfst_programming_language_extensions.md
docs/design/hierarchical-correction.md
docs/design/numeric-and-weighted-cost-hardening.md
docs/design/pathmap-trieref-rework.md
docs/design/prefix-matching.md
docs/design/prefix-zipper.md
docs/design/protobuf-serialization.md
docs/design/README.md
docs/design/suffix-automaton.md
docs/design/zipper-vs-node-performance.md
docs/design/language-product.md
docs/design/cost-monoid.md
docs/design/crate-boundary-and-prune-duality.md
docs/design/downstream-query-surfaces.md
docs/design/affine-gap-automaton.md
docs/design/generalized-automaton-repair.md
docs/algorithms/14-generalized-operation-grid/README.md
docs/algorithms/16-downstream-query-surfaces/README.md
docs/developer-guide/architecture.md
docs/developer-guide/building.md
docs/developer-guide/contributing.md
docs/developer-guide/performance.md
docs/developer-guide/publishing.md
docs/developer-guide/README.md
docs/developer-guide/workspace-layout.md
docs/diagrams/README.md
docs/examples/01-getting-started/README.md
docs/examples/02-dictionaries/README.md
docs/examples/03-algorithms/README.md
docs/examples/04-queries/README.md
docs/examples/05-values/README.md
docs/examples/06-contextual/README.md
docs/examples/07-performance/README.md
docs/examples/08-real-world/README.md
docs/examples/README.md
docs/formal-verification/03_standard_operations.md
docs/formal-verification/04_phonetic_operations.md
docs/formal-verification/proofs/01_subsumption_properties.md
docs/formal-verification/proofs/02_position_invariants.md
docs/formal-verification/proofs/06_contextual_completion/01_context_visibility.md
docs/formal-verification/proofs/06_contextual_completion/02_draft_consistency.md
docs/formal-verification/proofs/06_contextual_completion/03_checkpoint_stack.md
docs/formal-verification/proofs/06_contextual_completion/04_query_fusion.md
docs/formal-verification/proofs/06_contextual_completion/05_distance_correctness.md
docs/formal-verification/proofs/06_contextual_completion/06_hierarchical_visibility.md
docs/formal-verification/proofs/06_contextual_completion/07_finalization.md
docs/formal-verification/proofs/06_contextual_completion/README.md
docs/formal-verification/proofs/README.md
docs/formal-verification/README.md
docs/GLOSSARY.md
docs/grammar/README.md
docs/guides/articulatory-distance.md
docs/guides/compositional-phonetic-levenshtein.md
docs/guides/grammar-correction/implementing-guarantees.md
docs/guides/grammar-correction/README.md
docs/guides/HIERARCHICAL_SCOPE_COMPLETION.md
docs/guides/phonetic-rules-developer-guide.md
docs/guides/README.md
docs/guides/RESTRICTED_SUBSTITUTIONS_GUIDE.md
docs/security/resource-exhaustion.md
docs/research/gotoh/PAPER_SUMMARY.md
docs/implementation-status/README.md
docs/integration/mork/fuzzy_source.md
docs/integration/mork/grammar_correction.md
docs/integration/mork/lattice_integration.md
docs/integration/mork/README.md
docs/integration/mork/structural_repair.md
docs/integration/mork/wfst_composition.md
docs/integration/pathmap/README.md
docs/llre/README.md
docs/mettail/agent-learning/01-feedback-collection.md
docs/mettail/agent-learning/02-pattern-learning.md
docs/mettail/agent-learning/03-user-preferences.md
docs/mettail/agent-learning/04-online-learning.md
docs/mettail/agent-learning/README.md
docs/mettail/correction-wfst/01-architecture-overview.md
docs/mettail/correction-wfst/02-tier1-lexical-correction.md
docs/mettail/correction-wfst/03-tier2-syntactic-validation.md
docs/mettail/correction-wfst/04-tier3-semantic-type-checking.md
docs/mettail/correction-wfst/05-data-flow.md
docs/mettail/correction-wfst/06-integration-possibilities.md
docs/mettail/correction-wfst/README.md
docs/mettail/dialogue/01-discourse-semantics.md
docs/mettail/dialogue/02-coreference-resolution.md
docs/mettail/dialogue/03-topic-management.md
docs/mettail/dialogue/04-pragmatic-reasoning.md
docs/mettail/dialogue/README.md
docs/mettail/implementation/01-mettail-scala-prototype.md
docs/mettail/implementation/02-mettail-rust-prototype.md
docs/mettail/implementation/03-rholang-integration.md
docs/mettail/implementation/README.md
docs/mettail/llm-integration/01-prompt-preprocessing.md
docs/mettail/llm-integration/02-output-postprocessing.md
docs/mettail/llm-integration/03-hallucination-detection.md
docs/mettail/llm-integration/04-context-injection.md
docs/mettail/llm-integration/README.md
docs/mettail/metta-ecosystem/01-opencog-hyperon.md
docs/mettail/metta-ecosystem/02-hyperon-experimental.md
docs/mettail/metta-ecosystem/03-mettatron.md
docs/mettail/metta-ecosystem/04-mork-pathmap-integration.md
docs/mettail/metta-ecosystem/README.md
docs/mettail/README.md
docs/mettail/reference/bibliography.md
docs/mettail/reference/gap-analysis.md
docs/mettail/reference/README.md
docs/mettail/reference/use-cases.md
docs/mettail/simplification/01-architecture.md
docs/mettail/simplification/02-analysis-layer.md
docs/mettail/simplification/03-rule-application.md
docs/mettail/simplification/04-strategy-selection.md
docs/mettail/simplification/05-verification.md
docs/mettail/simplification/06-rholang-congruence.md
docs/mettail/simplification/07-termination-proof.md
docs/mettail/simplification/08-performance-targets.md
docs/mettail/simplification/09-rpo-congruence-proofs.md
docs/mettail/simplification/10-transparency-guarantees.md
docs/mettail/simplification/11-optimization-strategies.md
docs/mettail/simplification/12-up-to-verification.md
docs/mettail/simplification/README.md
docs/mettail/theoretical-foundations/01-metta-operational-semantics.md
docs/mettail/theoretical-foundations/02-native-type-theory-oslf.md
docs/mettail/theoretical-foundations/03-gph-enriched-lawvere.md
docs/mettail/theoretical-foundations/04-rho-calculus.md
docs/mettail/theoretical-foundations/05-type-lifting.md
docs/mettail/theoretical-foundations/06-inference-rules.md
docs/mettail/theoretical-foundations/README.md
docs/migration/LAZY_EAGER_TERMINOLOGY.md
docs/migration/README.md
docs/optimization/README.md
docs/phonetic-extraction/BEIDER-MORSE.md
docs/phonetic-extraction/CAVERPHONE.md
docs/phonetic-extraction/COLOGNE.md
docs/phonetic-extraction/DAITCH-MOKOTOFF.md
docs/phonetic-extraction/METAPHONE.md
docs/phonetic-extraction/NYSIIS.md
docs/phonetic-extraction/README.md
docs/phonetic-extraction/SOUNDEX.md
docs/README.md
docs/research/bimachines/README.md
docs/research/comparative-analysis/benchmark-analysis.md
docs/research/comparative-analysis/formal-verification.md
docs/research/comparative-analysis/gpu-acceleration.md
docs/research/comparative-analysis/java-rust-comparison.md
docs/research/comparative-analysis/rayon-evaluation.md
docs/research/comparative-analysis/README.md
docs/research/evaluation-methodology/README.md
docs/research/future-enhancements.md
docs/research/grammar-correction/README.md
docs/research/levenshtein-automata/glossary.md
docs/research/levenshtein-automata/implementation-mapping.md
docs/research/levenshtein-automata/PAPER_SUMMARY.md
docs/research/levenshtein-automata/README.md
docs/research/README.md
docs/research/universal-levenshtein/ALGORITHMS.md
docs/research/universal-levenshtein/architectural-sketches.md
docs/research/universal-levenshtein/decision-matrix.md
docs/research/universal-levenshtein/GLOSSARY.md
docs/research/universal-levenshtein/IMPLEMENTATION_MAPPING.md
docs/research/universal-levenshtein/PAPER_SUMMARY.md
docs/research/universal-levenshtein/PARAMETERIZED_SUBSUMPTION_DECISION.md
docs/research/universal-levenshtein/README.md
docs/research/universal-levenshtein/SUBSUMPTION_COMPARISON_JAVA_VS_RUST.md
docs/research/universal-levenshtein/SUBSUMPTION_OPTIMIZATION_COMPLETE.md
docs/research/universal-levenshtein/SUBSUMPTION_OPTIMIZATION.md
docs/research/universal-levenshtein/TCS_2011_IMPLEMENTATION_MAPPING.md
docs/research/universal-levenshtein/TCS_2011_LAZY_APPLICABILITY.md
docs/research/universal-levenshtein/TCS_2011_PAPER_ANALYSIS.md
docs/research/universal-levenshtein/technical-analysis.md
docs/research/universal-levenshtein/THEORETICAL_FOUNDATIONS.md
docs/research/universal-levenshtein/use-cases.md
docs/research/weighted-levenshtein-automata/README.md
docs/research/weighted-levenshtein-automata/WEIGHT_LEARNING.md
docs/scientific-ledger/generalized-automaton-exact-repair-correctness-cost-2026-07-31.md
docs/scientific-ledger/generalized-automaton-fractional-cost-correctness-performance-2026-07-31.md
docs/SECURITY.md
docs/theory/disk-tries/README.md
docs/theory/scdawg/README.md
docs/theory/edit-distance-classification.md
docs/user-guide/algorithms.md
docs/user-guide/backends.md
docs/user-guide/code-completion.md
docs/user-guide/features.md
docs/user-guide/getting-started.md
docs/user-guide/prefix-zipper-usage.md
docs/user-guide/README.md
docs/user-guide/serialization.md
docs/user-guide/thread-safety.md
docs/verification/ARCHITECTURE.md
docs/verification/core/README.md
docs/verification/core/theories/README.md
docs/verification/grammar/README.md
docs/verification/INDEX.md
docs/verification/msm/README.md
docs/verification/phonetic/README.md
docs/verification/phonetic/theories/README.md
docs/verification/PROOF_INDEX.md
docs/verification/README_FORMAL_GATES.md
docs/verification/README.md
docs/verification/SUMMARY.md
docs/verification/tla/README.md
docs/design/elastic-kernels.md
docs/design/automaton-variant-seam.md
docs/algorithms/12-elastic-measures/README.md
docs/scientific-ledger/elastic-kernel-extraction-2026-07-31.md
docs/scientific-ledger/erp-kernel-2026-07-31.md
docs/research/erp/PAPER_SUMMARY.md
docs/research/frechet/PAPER_SUMMARY.md
docs/research/dtw/PAPER_SUMMARY.md
docs/scientific-ledger/frechet-kernel-2026-08-01.md
docs/scientific-ledger/dtw-kernel-2026-08-01.md
docs/research/twed/PAPER_SUMMARY.md
docs/scientific-ledger/twed-kernel-2026-08-01.md
docs/scientific-ledger/elastic-ucr-harness-2026-08-01.md
docs/scientific-ledger/position-kind-zero-cost-2026-08-01.md
docs/scientific-ledger/true-damerau-2026-08-01.md
docs/scientific-ledger/phase-12-fzf-cross-repo.md
docs/scientific-ledger/f64-family-collapse-gate-2026-08-02.md
docs/security/automaton-variants.md
docs/algorithms/11-true-damerau/README.md
docs/design/true-damerau-streaming.md
docs/research/lowrance-wagner/PAPER_SUMMARY.md
docs/design/class-a-presets.md
docs/algorithms/15-class-a-presets/README.md
README.md
vinary-tree-interop/README.md
vinary-tree-interop/docs/abi-reference.md
vinary-tree-interop/docs/abi-evolution.md
vinary-tree-interop/docs/security-model.md
docs/language-bindings.md
docs/releasing-language-bindings.md
docs/bindings/README.md
docs/bindings/c-abi-reference.md
docs/bindings/resource-consumer.md
docs/bindings/wasm-topology.md
docs/theory/snapshot-semantics.md
docs/security/binding-trust-model.md
docs/bindings/PERFORMANCE_EXPERIMENTS.md