Release for v0.0.25

[wado-bot]

This pull request is for the next release as v0.0.25 created by tagpr. Merging it will tag v0.0.25 to the merge commit and create a GitHub release.

You can modify this branch "tagpr-from-v0.0.24" directly before merging if you want to change the next version number or other files for the release.

How to change the next version as you like

There are two ways to do it.

• Version file
  • Edit and commit the version file specified in the .tagpr configuration file to describe the next version
  • If you want to use another version file, edit the configuration file.
• Labels convention
  • Add labels to this pull request like "tagpr:minor" or "tagpr:major"
  • If no conventional labels are added, the patch version is incremented as is.

---

What's Changed

• chore(deps): bump js-yaml from 4.3.0 to 4.3.1 in /wado-vscode in the npm_and_yarn group across 1 directory by @dependabot[bot] in chore(deps): bump js-yaml from 4.3.0 to 4.3.1 in /wado-vscode in the npm_and_yarn group across 1 directory #1764
• feat(gale): oracle superClass grammars with --super by @gfx in feat(gale): oracle superClass grammars with --super #1765
• perf(optimizer): scalarize variant returns at NIR by @gfx in perf(optimizer): scalarize variant returns at NIR #1767
• feat(serde): derive struct Deserialize over ReflectStruct by @gfx in feat(serde): derive struct Deserialize over ReflectStruct #1773
• chore: update cargo deps by @gfx in chore: update cargo deps #1774
• feat(example): property-based testing and flags⇄text over the reflection API by @gfx in feat(example): property-based testing and flags⇄text over the reflection API #1775
• feat(emi): differential-test the optimizer with an unreachable guard by @gfx in feat(emi): differential-test the optimizer with an unreachable guard #1776
• perf(build): cache the test targets, and link them as one binary per crate by @gfx in perf(build): cache the test targets, and link them as one binary per crate #1777
• docs(stdlib): keep the test layout out of the module docs by @gfx in docs(stdlib): keep the test layout out of the module docs #1778
• feat(effect): ..forward rest clause, and optimizer remarks across the entry package by @gfx in feat(effect): ..forward rest clause, and optimizer remarks across the entry package #1779
• feat(kiln)!: retire the read-file host import, and design bundled ICU as a facade by @gfx in feat(kiln)!: retire the read-file host import, and design bundled ICU as a facade #1780
• feat(compiler): select overloads by synthesized argument types by @gfx in feat(compiler): select overloads by synthesized argument types #1781
• fix(nir): count the local reads that live in the value pool by @gfx in fix(nir): count the local reads that live in the value pool #1782
• fix(kiln): output reconciliation spares a staging temp by @gfx in fix(kiln): output reconciliation spares a staging temp #1783
• refactor(elaborator): dispatch queries answer from declaration facts by @gfx in refactor(elaborator): dispatch queries answer from declaration facts #1787
• docs(optimizer): consolidate the NIR optimizer WEPs, and promote values that read parameters by @gfx in docs(optimizer): consolidate the NIR optimizer WEPs, and promote values that read parameters #1786
• fix(elaborator): let a trait-qualified call name a bound's implied supertraits by @gfx in fix(elaborator): let a trait-qualified call name a bound's implied supertraits #1788
• perf(optimize): scope the promoted-read census to the engine session by @gfx in perf(optimize): scope the promoted-read census to the engine session #1790
• feat(gale): add dump --lexer for the per-rule lexer emit strategy by @gfx in feat(gale): add dump --lexer for the per-rule lexer emit strategy #1791
• chore(ci): publish the shared build cache, and test Wado at -O2 by @gfx in chore(ci): publish the shared build cache, and test Wado at -O2 #1792
• fix(elaborator): separate rigid type parameters from inference variables by @gfx in fix(elaborator): separate rigid type parameters from inference variables #1793
• feat(cli): negotiate HTTP/2 via ALPN on outbound HTTPS by @gfx in feat(cli): negotiate HTTP/2 via ALPN on outbound HTTPS #1794
• refactor(elaborator): resolve each reference site once, where it is written by @gfx in refactor(elaborator): resolve each reference site once, where it is written #1795
• fix(gale): a parser literal is an alias for the lexer rule it duplicates by @gfx in fix(gale): a parser literal is an alias for the lexer rule it duplicates #1797
• perf(optimizer): materialise shared field loads, and drop the per-application read census by @gfx in perf(optimizer): materialise shared field loads, and drop the per-application read census #1796
• fix(elaborate): type a closure by its return, wherever the return nests by @gfx in fix(elaborate): type a closure by its return, wherever the return nests #1798
• feat(cm): carry canonical intrinsics by identity, and catalog the named async payloads by @gfx in feat(cm): carry canonical intrinsics by identity, and catalog the named async payloads #1799
• fix(niri): refuse folds that outlive the write they depend on by @gfx in fix(niri): refuse folds that outlive the write they depend on #1800
• docs(compiler): condense long comments in wado-compiler/src by @gfx in docs(compiler): condense long comments in wado-compiler/src #1803
• refactor(gale): remove duplicated, dead, and speculative code in package-gale/src by @gfx in refactor(gale): remove duplicated, dead, and speculative code in package-gale/src #1804
• refactor(gale): separate the concerns that do not belong in parser_gen by @gfx in refactor(gale): separate the concerns that do not belong in parser_gen #1805
• feat(gale): structured diagnostic owners, one parse-error vocabulary, and the POSIX property surface by @gfx in feat(gale): structured diagnostic owners, one parse-error vocabulary, and the POSIX property surface #1806
• refactor(compiler): give every declaration a DefId and resolve references by it by @gfx in refactor(compiler): give every declaration a DefId and resolve references by it #1808
• chore(benchmark): refresh the results on wasi-sdk 33, and measure every row the same way by @gfx in chore(benchmark): refresh the results on wasi-sdk 33, and measure every row the same way #1809
• refactor(elaborator): read a module's visible type names off the resolution table by @gfx in refactor(elaborator): read a module's visible type names off the resolution table #1811
• perf(fpfmt): reserve each writer's whole output once and fill it in place by @gfx in perf(fpfmt): reserve each writer's whole output once and fill it in place #1810
• perf(cache): warm a session by unpacking target/, not by rebuilding it by @gfx in perf(cache): warm a session by unpacking target/, not by rebuilding it #1812
• fix(cache): decide the target restore on cargo's lock, and bound incremental state by @gfx in fix(cache): decide the target restore on cargo's lock, and bound incremental state #1813
• fix: stop the e2e suite failing tests for the machine's load by @gfx in fix: stop the e2e suite failing tests for the machine's load #1814
• docs: add a Principles section and document black_box for fixtures by @gfx in docs: add a Principles section and document black_box for fixtures #1815
• refactor(monomorphize): walk the TIR through the visitors, resolve return positions directly by @gfx in refactor(monomorphize): walk the TIR through the visitors, resolve return positions directly #1816
• fix(lsp): correct URI handling, diagnostic scoping, and hover resolution by @gfx in fix(lsp): correct URI handling, diagnostic scoping, and hover resolution #1817
• feat(gale): run superClass action ops from the lexer winner replay by @gfx in feat(gale): run superClass action ops from the lexer winner replay #1818
• refactor(compiler): key declarations by DefId, not by name by @gfx in refactor(compiler): key declarations by DefId, not by name #1820
• fix(codegen): ICE on an unresolvable index instead of emitting wrong code by @gfx in fix(codegen): ICE on an unresolvable index instead of emitting wrong code #1821
• perf(optimize): price the inline budget in emitted Wasm instructions by @gfx in perf(optimize): price the inline budget in emitted Wasm instructions #1822
• docs(skill): drop the recorded-score reference from wado-performance by @gfx in docs(skill): drop the recorded-score reference from wado-performance #1823
• refactor(reflect): one mechanism per concern across the four reflect kinds by @gfx in refactor(reflect): one mechanism per concern across the four reflect kinds #1824
• refactor(cli)!: give the shared build knobs one home by @gfx in refactor(cli)!: give the shared build knobs one home #1825
• feat(lang)!: parenthesize multi-effect with rows, make ; a statement separator, and hold Wado.g4 to the compiler by @gfx in feat(lang)!: parenthesize multi-effect with rows, make ; a statement separator, and hold Wado.g4 to the compiler #1826
• fix(elaborator): resolve declarations by reference site, not by spelling by @gfx in fix(elaborator): resolve declarations by reference site, not by spelling #1827
• refactor(cli): give each duplicated policy in wado-cli one home by @gfx in refactor(cli): give each duplicated policy in wado-cli one home #1828
• perf(optimizer): price inlining after the fold constant arguments cause by @gfx in perf(optimizer): price inlining after the fold constant arguments cause #1829
• feat(stdlib): core:log, on default implementations for interface operations by @gfx in feat(stdlib): core:log, on default implementations for interface operations #1830
• refactor(codegen): embed wasm assets with an in-house crate instead of walrus by @gfx in refactor(codegen): embed wasm assets with an in-house crate instead of walrus #1831
• chore(benchmark): refresh results, log perf dead ends by @gfx in chore(benchmark): refresh results, log perf dead ends #1832
• fix(template): close the format-specifier grammar and single-source the __tmpl contract by @gfx in fix(template): close the format-specifier grammar and single-source the __tmpl contract #1833
• feat(gale): answer ANTLR4's enumerated \p{Property=Value} names by @gfx in feat(gale): answer ANTLR4's enumerated \p{Property=Value} names #1834
• chore: add a skill cleanup-comments-and-docs by @gfx in chore: add a skill cleanup-comments-and-docs #1835
• refactor(lsp): walk the AST through AstVisitor, and move filesystem access into the filesystem host by @gfx in refactor(lsp): walk the AST through AstVisitor, and move filesystem access into the filesystem host #1837
• perf(gale): emit each parser decision once, and dispatch to rules that can match by @gfx in perf(gale): emit each parser decision once, and dispatch to rules that can match #1836
• fix: diagnose unresolved declared types, and validate every JSON string token by @gfx in fix: diagnose unresolved declared types, and validate every JSON string token #1838
• chore(benchmark): refresh results and size sieve below the TLB cliff by @gfx in chore(benchmark): refresh results and size sieve below the TLB cliff #1840
• fix(elaborator): reach declarations through reference sites, not spellings by @gfx in fix(elaborator): reach declarations through reference sites, not spellings #1839
• bench: make the rows in each table comparable, and refresh them by @gfx in bench: make the rows in each table comparable, and refresh them #1845
• bench(http-routing): equal core budgets, and recycle workers every 200 requests by @gfx in bench(http-routing): equal core budgets, and recycle workers every 200 requests #1842
• bench(http-routing): check which side ran out of CPU by @gfx in bench(http-routing): check which side ran out of CPU #1846
• perf(optimizer): keep alias-class work linear in the class size by @gfx in perf(optimizer): keep alias-class work linear in the class size #1847
• refactor(gale): emit only what the generated parser reads by @gfx in refactor(gale): emit only what the generated parser reads #1849
• fix(elaborator): classify as cast operands by their ultimate base type by @gfx in fix(elaborator): classify as cast operands by their ultimate base type #1848
• fix(skills): repair the skill frontmatter YAML and scope on-task-done to explicit requests by @gfx in fix(skills): repair the skill frontmatter YAML and scope on-task-done to explicit requests #1852
• fix(lower): identify a value-copy helper once, and ask ownership about the storage by @gfx in fix(lower): identify a value-copy helper once, and ask ownership about the storage #1853
• fix(elaborator): one reading of an impl target, one body for a struct literal by @gfx in fix(elaborator): one reading of an impl target, one body for a struct literal #1854
• test(emi): mutate the calibrated corpus, and fix the compiler bugs it found by @gfx in test(emi): mutate the calibrated corpus, and fix the compiler bugs it found #1857
• feat(prelude): one surface for Array, List, and Slice by @gfx in feat(prelude): one surface for Array, List, and Slice #1858
• chore(gale): refresh the recorded generator source hash by @gfx in chore(gale): refresh the recorded generator source hash #1859
• perf(lower): match a place where it lies, and unwrap the per-element box by @gfx in perf(lower): match a place where it lies, and unwrap the per-element box #1860
• perf(lower): decide ownership per local, not per frame by @gfx in perf(lower): decide ownership per local, not per frame #1861
• fix(elaborator): expand power-assert coverage by @gfx in fix(elaborator): expand power-assert coverage #1863
• fix(lower): read what a call writes, not that it writes by @gfx in fix(lower): read what a call writes, not that it writes #1864
• feat(emi): an opaque read payload, and the compiler fixes it found by @gfx in feat(emi): an opaque read payload, and the compiler fixes it found #1865
• docs(compiler): the rules, and a help list that follows them by @gfx in docs(compiler): the rules, and a help list that follows them #1866
• feat(stdlib)!: order core:uuid v7 sub-millisecond, and give it serde, byte access and a faster codec by @gfx in feat(stdlib)!: order core:uuid v7 sub-millisecond, and give it serde, byte access and a faster codec #1867
• feat(cloudflare): run a Wado service on Workers, on the released jco by @gfx in feat(cloudflare): run a Wado service on Workers, on the released jco #1868
• feat(gale): give a superClass action op the lexer command surface by @gfx in feat(gale): give a superClass action op the lexer command surface #1870
• feat(serde)!: reject duplicate keys and bound deserialization depth by @gfx in feat(serde)!: reject duplicate keys and bound deserialization depth #1869
• fix(compiler): identify an effect by its declaration, and add core:random by @gfx in fix(compiler): identify an effect by its declaration, and add core:random #1871
• feat(gale): add the superClass emit lifecycle hook by @gfx in feat(gale): add the superClass emit lifecycle hook #1872
• refactor(compiler): resolve a direct effect-op callee by declaration only by @gfx in refactor(compiler): resolve a direct effect-op callee by declaration only #1873
• fix(elaborator): render every assert operand without moving the condition by @gfx in fix(elaborator): render every assert operand without moving the condition #1874
• feat(compiler): identify a trait by its declaration and its instantiation by @gfx in feat(compiler): identify a trait by its declaration and its instantiation #1877
• fix(optimizer): follow a write that reaches storage through a derived handle by @gfx in fix(optimizer): follow a write that reaches storage through a derived handle #1876
• fix(compiler): reach an inherited impl wherever the chain hides it by @gfx in fix(compiler): reach an inherited impl wherever the chain hides it #1878
• fix(elaborator,tir): name a concrete impl by the newtype instantiation it owns by @gfx in fix(elaborator,tir): name a concrete impl by the newtype instantiation it owns #1881
• fix(compiler): compile a bundled stdlib module as its own entry point by @gfx in fix(compiler): compile a bundled stdlib module as its own entry point #1880
• docs(wep): a third handle kind — non-owning tokens by @gfx in docs(wep): a third handle kind — non-owning tokens #1879
• perf(optimizer): converge the NIR fixed-point loop and stop rebuilding whole-program tables by @gfx in perf(optimizer): converge the NIR fixed-point loop and stop rebuilding whole-program tables #1882
• chore(claude): add /distill, the branch reduction pass by @gfx in chore(claude): add /distill, the branch reduction pass #1883
• docs(wep): slice core:icu by locale, collect it by reachability by @gfx in docs(wep): slice core:icu by locale, collect it by reachability #1885
• feat(gale): wire the parser side of superClass by @gfx in feat(gale): wire the parser side of superClass #1886
• fix(visibility): enforce internal across package and impl-member boundaries by @gfx in fix(visibility): enforce internal across package and impl-member boundaries #1884
• perf(compiler): answer per-local NIR queries from one body walk by @gfx in perf(compiler): answer per-local NIR queries from one body walk #1887
• chore: upgrade to Rust 1.98 and adopt its stabilized std APIs by @gfx in chore: upgrade to Rust 1.98 and adopt its stabilized std APIs #1889
• fix(gale): balance a rule-argument [...], and expose a grammar's capture vocabulary by @gfx in fix(gale): balance a rule-argument [...], and expose a grammar's capture vocabulary #1888
• feat(compiler): extern-ref resource backing and resource extends by @gfx in feat(compiler): extern-ref resource backing and resource extends #1890
• Literal coercion as From<Array<…>> by @gfx in Literal coercion as From<Array<…>> #1891
• refactor(elaborator): identify every declaration by DefId by @gfx in refactor(elaborator): identify every declaration by DefId #1892
• feat(highlight): hold the Gale highlighter to the compiler's classification by @gfx in feat(highlight): hold the Gale highlighter to the compiler's classification #1893

Full Changelog: v0.0.24...tagpr-from-v0.0.24

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.50.

Benchmark suite	Current: d07d259	Previous: bce58ff	Ratio
sqlite_parse (-O1)	4.9 MB/s	7.68 MB/s	1.57
syntax_highlight (-O1)	3.65 MB/s	5.62 MB/s	1.54

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