Document Felt drop-in roadmap and Phase 10 bootstrap

[alexanderlhicks]

Summary:

• add the VeIR-side Felt drop-in replacement roadmap and Phase 9/10 planning docs
• document the C++ parity profile versus enhanced VEIR profile split
• correct the proof-boundary wording and mark Felt operations pure for DCE so the Phase 10 smoke path preserves folded-output parity

Verification:

• lake build veir-opt
• lake build Veir.Passes.Felt.Proofs
• scripts/harness/check-doc-freshness.sh
• git diff --check

[github-actions]

VeIR Benchmarks

Details

Benchmark suite	Current: 6f4c068	Previous: 45d31a2	Ratio
add-fold-worklist/create	2246000 ns (± 93693)	1874000 ns (± 37703)	1.20
add-fold-worklist/rewrite	3824000 ns (± 49348)	3461000 ns (± 42939)	1.10
add-fold-worklist-local/create	2267000 ns (± 91216)	1875000 ns (± 9910)	1.21
add-fold-worklist-local/rewrite	3109000 ns (± 60740)	2819000 ns (± 58704)	1.10
add-zero-worklist/create	2269000 ns (± 127080)	1908000 ns (± 72950)	1.19
add-zero-worklist/rewrite	2413500 ns (± 68611)	2221000 ns (± 45620)	1.09
add-zero-reuse-worklist/create	1835000 ns (± 27808)	1568000 ns (± 19604)	1.17
add-zero-reuse-worklist/rewrite	1958000 ns (± 19287)	1761000 ns (± 22825)	1.11
mul-two-worklist/create	2264000 ns (± 71840)	1874000 ns (± 62792)	1.21
mul-two-worklist/rewrite	5222000 ns (± 259645)	4752000 ns (± 82646)	1.10
add-fold-forwards/create	2289000 ns (± 53374)	1872000 ns (± 78560)	1.22
add-fold-forwards/rewrite	3046000 ns (± 69193)	2694000 ns (± 16047)	1.13
add-zero-forwards/create	2293000 ns (± 52653)	1882000 ns (± 80030)	1.22
add-zero-forwards/rewrite	1982000 ns (± 43764)	1771000 ns (± 47131)	1.12
add-zero-reuse-forwards/create	1845000 ns (± 90155)	1610000 ns (± 50386)	1.15
add-zero-reuse-forwards/rewrite	1554000 ns (± 27733)	1441000 ns (± 56225)	1.08
mul-two-forwards/create	2241000 ns (± 48073)	1957000 ns (± 65738)	1.15
mul-two-forwards/rewrite	3733000 ns (± 72252)	3391000 ns (± 64844)	1.10
add-zero-reuse-first/create	1878000 ns (± 95478)	1570500 ns (± 43405)	1.20
add-zero-reuse-first/rewrite	9500 ns (± 1895)	9000 ns (± 2144)	1.06
add-zero-lots-of-reuse-first/create	1888000 ns (± 92519)	1550000 ns (± 20550)	1.22
add-zero-lots-of-reuse-first/rewrite	796000 ns (± 33975)	774000 ns (± 34268)	1.03

This comment was automatically generated by workflow using github-action-benchmark.