Skip to content

Commit 362b068

Browse files
committed
refresh README project status
1 parent 67a24ac commit 362b068

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

README.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,9 @@ AdicFlux is a correctness-first implementation of an experimental integer sortin
1818
- Stable target resolution inside each block.
1919
- Transport moves that are accepted only when they strictly reduce local energy.
2020
- Exact odd-even cleanup that guarantees eventual sorting.
21-
- Unit tests, deterministic edge cases, and randomized reference comparisons.
21+
- Unit tests, deterministic edge cases, randomized reference comparisons, and stats/invariant checks.
22+
- Tagged-identity stability checks that provide test-supported evidence without claiming a formal proof.
23+
- A source-backed literature review log that keeps positioning and novelty language conservative.
2224

2325
## What is not implemented yet
2426

0 commit comments

Comments
 (0)