Uh oh!
There was an error while loading. Please reload this page.
Add Basilisk to conformance results - #2316
Conversation
Uh oh!
There was an error while loading. Please reload this page.
MelbourneDeveloper
commented
Jul 5, 2026
CLA is now signed. Could a maintainer please approve the GitHub Actions workflows for this fork PR so the For context, the submitted results were regenerated from the public |
JelleZijlstra
commented
Jul 5, 2026
I let CI run. Congratulations on building this tool! |
MelbourneDeveloper
commented
Jul 5, 2026
🙏 Thanks. Happy to contribute to the Python community and glad to be part of the process that brings the ecosystem forward |
Uh oh!
There was an error while loading. Please reload this page.
… 100% Basilisk is now listed in the official python/typing conformance results (python/typing#2316). Surface that across the site and READMEs, and re-stamp the graded commit to the current upstream tip. - Comparison tables (EN + zh homepage) and the /docs/comparison leaderboard now show every graded checker's official score, including pycroscope (92.2%), the 7th tool previously omitted. Basilisk tops the board as the only tool at a perfect 100%; each score links to that tool's live results folder. - READMEs (EN + zh): restore the "only Python type checker with a perfect 100%" claim now that it is substantiated by the official results.html and link it there (Documentation Honesty: comparative claim carries its source). - Re-stamp conformance references c94dfce -> f051625 (still 141/141, 0 FP) in conformance_report.json, README, and CHECKER-ARCHITECTURE-SPEC to match the fixtures the gate now scores against. - Expand vscode-extension/NOTICES to the full third-party notice set. pycroscope facts (Python, Apache-2.0, no LSP/debugger/editor extension) verified against its repository; all conformance figures verified against the live python/typing results.html at f051625.
Adds Basilisk to the typing conformance report.
Basilisk is published as
basilisk-pythonon PyPI and installs abasiliskconsole script, matching the conformance suite's lockeduvdependency model.Local verification run from this branch:
cd conformance uv sync --python 3.12 --frozen uv run --python 3.12 --frozen python src/main.py uv run --python 3.12 --frozen python src/validate_results.pyThe run validated 987 conformance result files with no invariant violations and left
conformance/resultsclean. Basilisk reports 141/141 manual Pass, automated Pass, and zeroerrors_diffentries withbasilisk-python==0.27.0.