feat/1326-typed-diagnostic-and-a-stable-diagnostic
1 month, 2 weeks ago
Widen _diagnostics element type instead of casting custom lint dicts
No dependencies with known security vulnerabilities.
feat/1326-typed-diagnostic-and-a-stable-diagnostic
1 month, 2 weeks ago
Type build_diagnostic's return as Diagnostic and sort AST-scan hits deterministically
No dependencies with known security vulnerabilities.
work/1354-applicability-charter
1 month, 2 weeks ago
Wrap the guarantees Related reading bullets to match the file's style
No dependencies with known security vulnerabilities.
work/1354-applicability-charter
1 month, 2 weeks ago
Enrich the charter for skeptics and evaluators, and name "ambitious systems"
Rework the Applicabili
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Add end-to-end gate verifying generated projects pass verify (#1395)
* Add end-to-end gate verifyin
No dependencies with known security vulnerabilities.
feat/1326-typed-diagnostic-and-a-stable-diagnostic
1 month, 2 weeks ago
Clarify CodeMeta docstring: rationale is a default, not constant per code
No dependencies with known security vulnerabilities.
feat/1326-typed-diagnostic-and-a-stable-diagnostic
1 month, 2 weeks ago
Clarify Diagnostic TypedDict docstring scope for custom lint rules
No dependencies with known security vulnerabilities.
feat/1326-typed-diagnostic-and-a-stable-diagnostic
1 month, 2 weeks ago
Freeze registry metadata text and scope the diagnostics docstring
Address the red-team's two findin
No dependencies with known security vulnerabilities.
work/1354-applicability-charter
1 month, 2 weeks ago
Use 'shapes of systems' in the charter and its cross-links
Address the review nit that the plural r
No dependencies with known security vulnerabilities.
feat/1324-end-to-end-gate-a-generated-project-pass
1 month, 2 weeks ago
Consolidate the two end-to-end verify gates into one, and harden JSON parsing
protean verify --json
No dependencies with known security vulnerabilities.
work/1354-applicability-charter
1 month, 2 weeks ago
Add an Applicability Charter to the docs
State plainly what Protean is a good fit for and, just as
No dependencies with known security vulnerabilities.
feat/1324-end-to-end-gate-a-generated-project-pass
1 month, 2 weeks ago
Tolerate trailing stdout noise when parsing verify JSON envelope in tests
No dependencies with known security vulnerabilities.
feat/1324-end-to-end-gate-a-generated-project-pass
1 month, 2 weeks ago
Harden verify end-to-end test against decoding and docstring overclaim
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Add protean verify: one command for init + check + tests (#1388)
* Add `protean verify`: one comman
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Replace Werkzeug LocalProxy/LocalStack with stdlib contextvars (#1386)
* Replace Werkzeug LocalProx
No dependencies with known security vulnerabilities.
