Skip to content

Content audit: label the A* admissibility correction - #14

Merged
rNLKJA merged 1 commit into
mainfrom
fix/content-audit
Oct 9, 2026
Merged

Content audit: label the A* admissibility correction#14
rNLKJA merged 1 commit into
mainfrom
fix/content-audit

fix(content): label the A* admissibility claim as corrected in 2026

337e0ce
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar