Rewrite wiki to mirror docs/methodology
Replace the old pipeline-based structure (Linear/Semilinear/Polynomial/Mixed
Pipeline) with the current methodology docs: Orchestrator Architecture, AST
Processing, Signature Techniques, Semilinear Techniques, Decomposition, and
Lifting. Update Home and Sidebar navigation to match.
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
05940d9
docs: update semilinear pipeline, add new technique entries
Rewrite semilinear pipeline page to document the full 10-stage pipeline
including constant lowering, structure recovery, term refinement,
coalescing, post-rewrite verification, and atom table compaction.
Add 7 new technique index entries: Atom Table Compaction, Constant
Lowering, Linear Shortcut Detection, Mask Elimination, Structure
Recovery, Term Coalescing, Term Refinement.
Update Home page dataset count and semilinear description.
088c2b3
docs: update mixed pipeline for early decomposition (384 -> 406 QSynthEA)
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
ce19503
docs: update pipeline documentation for decomposition engine
Update Mixed Pipeline with multi-step MixedRewrite architecture,
decomposition engine (extract-solve loop), and ghost residual solving.
Add degree escalation and evaluator-based recovery to Polynomial
Pipeline. Add new technique entries: Boolean-Null Residual, Decomposition
Engine, Degree Escalation, Evaluator-Based Recovery, Ghost Residual
Solving, WeightedPolyFit. Remove stale Bitwise/Hybrid Decomposition
entries. Update QSynth EA benchmark to 384/500.
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
4c63785
Add methodology documentation with paper attributions
94f07b0