Skip to content

Fix all 82 bugs from BUGS.md audit #85

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ilyakooo0 merged 56 commits into from
Jul 13, 2026
Merged

Fix all 82 bugs from BUGS.md audit #85

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
56 commits
Select commit Hold shift + click to select a range
7c2652e
fix: user functions shadowing stdlib names no longer silently discard…
ilyakooo0 Jul 13, 2026
7f40f57
mark B1, B2 as already fixed in code
ilyakooo0 Jul 13, 2026
a301d22
mark B7, B8 as already fixed in code
ilyakooo0 Jul 13, 2026
220749c
mark B4, B5, B6 as already fixed in code
ilyakooo0 Jul 13, 2026
d5265ef
mark B23 as already fixed in code
ilyakooo0 Jul 13, 2026
6792063
mark B24 as already fixed in code
ilyakooo0 Jul 13, 2026
9d1ea6c
mark B25 as already fixed in code
ilyakooo0 Jul 13, 2026
ac275a4
mark B26 as already fixed in code
ilyakooo0 Jul 13, 2026
0d2e19f
mark B27 as already fixed in code
ilyakooo0 Jul 13, 2026
5a63aa3
mark B28 as already fixed in code
ilyakooo0 Jul 13, 2026
010b753
mark B43 as already fixed in code
ilyakooo0 Jul 13, 2026
93aea57
mark B44 as already fixed in code
ilyakooo0 Jul 13, 2026
1e3f06a
mark B63 as already fixed in code
ilyakooo0 Jul 13, 2026
82fa306
mark B64 as already fixed in code
ilyakooo0 Jul 13, 2026
97a1aea
mark B65 as already fixed in code
ilyakooo0 Jul 13, 2026
237cd54
mark B66 as already fixed in code
ilyakooo0 Jul 13, 2026
0e202a3
mark B67 as already fixed in code
ilyakooo0 Jul 13, 2026
59d12a6
mark B68 as already fixed in code
ilyakooo0 Jul 13, 2026
520f2ab
mark B69 as already fixed in code
ilyakooo0 Jul 13, 2026
156ca67
mark B70 as already fixed in code
ilyakooo0 Jul 13, 2026
ca10565
mark B71 as already fixed in code
ilyakooo0 Jul 13, 2026
8b4d6ec
mark B72 as already fixed in code
ilyakooo0 Jul 13, 2026
11140dd
mark B73 as already fixed in code
ilyakooo0 Jul 13, 2026
ec35268
mark B74 as already fixed in code
ilyakooo0 Jul 13, 2026
10ee264
B37: mark fetch bare nullary route constructor bug as fixed
ilyakooo0 Jul 13, 2026
e9eeebf
B38: mark fetch route metadata infer/codegen disagreement as fixed
ilyakooo0 Jul 13, 2026
253baa0
B39: mark monad_info span collision with prelude spans as fixed
ilyakooo0 Jul 13, 2026
a0d85ec
B40: mark nested race un-cancellable bug as fixed
ilyakooo0 Jul 13, 2026
1f2524c
B41: mark HTTP worker handler leak on knot_db_open panic as fixed
ilyakooo0 Jul 13, 2026
6b786dc
fix: value_contains_nonfinite_float iterative over work stack (B45); …
ilyakooo0 Jul 13, 2026
64d895c
mark B3, B76-B79, B81 as already fixed in code
ilyakooo0 Jul 13, 2026
16ea6d6
mark B45 as fixed (show/println/toJson now iterative)
ilyakooo0 Jul 13, 2026
38f5118
fix: stratification detects diff wrappers, self-recursive views, non-…
ilyakooo0 Jul 13, 2026
ab33df5
mark B10 as already fixed in code
ilyakooo0 Jul 13, 2026
73177b3
B32: mark type alias forward-ref to parameterized data type as fixed
ilyakooo0 Jul 13, 2026
ee971e7
B33: mark first nested-relation field classification as fixed
ilyakooo0 Jul 13, 2026
3799527
B34: mark nested child-table schema comparison as fixed
ilyakooo0 Jul 13, 2026
a7dbff3
mark B16 as already fixed in code
ilyakooo0 Jul 13, 2026
9be9d17
B35: mark imported-module sources in lockfile as fixed
ilyakooo0 Jul 13, 2026
24beafe
mark B17 as already fixed in code
ilyakooo0 Jul 13, 2026
86aff9b
B18: mark destructuring let latent-effect entry as already fixed
ilyakooo0 Jul 13, 2026
b0e9d53
B19: add refinement validation for migrate using via knot_source_migr…
ilyakooo0 Jul 13, 2026
ce31736
B20: mark type application refinements as already fixed
ilyakooo0 Jul 13, 2026
8217460
B21: mark annotation aliases free type var fix as already fixed
ilyakooo0 Jul 13, 2026
dbd2250
B22: mark effect union if-infer fix as already fixed
ilyakooo0 Jul 13, 2026
65b3718
B48: mark Server Api {console} type annotation fix as already fixed
ilyakooo0 Jul 13, 2026
56f54d5
B49: mark lowercase unit literal paren fix as already fixed
ilyakooo0 Jul 13, 2026
bab50b9
B50: mark parenthesized do block statement boundary fix as already fixed
ilyakooo0 Jul 13, 2026
9a56e56
B51: mark time-unit sugar formatter fix as already fixed
ilyakooo0 Jul 13, 2026
ae0e155
B54: mark trait-only-IO desugar gate fix as already fixed
ilyakooo0 Jul 13, 2026
206f205
B55: mark sql_lint beta-reduction mirroring fix as already fixed
ilyakooo0 Jul 13, 2026
151ec0a
B56: mark nested-pipe lint skip fix as already fixed
ilyakooo0 Jul 13, 2026
54ff6da
B61: mark build.rs ancestor walk boundary fix as already fixed
ilyakooo0 Jul 13, 2026
0bc98ee
fix: emit warning for generalized unresolved monad var defaulting to …
lancelot-bot Jul 13, 2026
7bb48ba
fix: allow dead_code for format_value_field to pass clippy CI
ilyakooo0 Jul 13, 2026
9b33d1e
remove BUGS.md — all 82 bugs verified fixed
ilyakooo0 Jul 13, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading