fix/1375
1 month, 2 weeks ago
Address Copilot review: delegate __bool__, match unbound repr to None, tighten warning-location test
No dependencies with known security vulnerabilities.
fix/1375
1 month, 2 weeks ago
Add warning-location assertion for outside-domain-context access
No dependencies with known security vulnerabilities.
work/1322-canonical-project-layout
1 month, 2 weeks ago
Fix two awkward relative clauses in ADR-0030 prose
No dependencies with known security vulnerabilities.
work/1322-canonical-project-layout
1 month, 2 weeks ago
Add ADR-0030 recording the canonical generated project layout
Write down the directory shape that e
No dependencies with known security vulnerabilities.
fix/1375
1 month, 2 weeks ago
Replace Werkzeug LocalProxy/LocalStack with stdlib contextvars (#1375)
Replace Werkzeug's LocalProx
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Trim the scaffold example to a minimal walking skeleton with tests (#1381)
* Trim the scaffold exam
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Add a TLA+ model-checked spec of the OCC no-lost-update protocol (#1379)
* Add a TLA+ model-checked
No dependencies with known security vulnerabilities.
feat/1321-replace-the-example-with-a-minimal-walki
1 month, 2 weeks ago
Merge remote-tracking branch 'origin/main' into feat/1321-replace-the-example-with-a-minimal-walki
No dependencies with known security vulnerabilities.
feat/1321-replace-the-example-with-a-minimal-walki
1 month, 2 weeks ago
Address third round of review feedback on PR #1381
Delete the dead non-jinja example __init__.py th
No dependencies with known security vulnerabilities.
feat/1321-replace-the-example-with-a-minimal-walki
1 month, 2 weeks ago
Address second round of review feedback on PR #1381
Rename the aggregate-level test so its name doe
No dependencies with known security vulnerabilities.
feat/1321-replace-the-example-with-a-minimal-walki
1 month, 2 weeks ago
Address review feedback on PR #1381
Remove issue-number references from test comments and docstring
No dependencies with known security vulnerabilities.
feat/1321-replace-the-example-with-a-minimal-walki
1 month, 2 weeks ago
Fix red-team findings: schema setup, custom domain_name, non-vacuous tests
Address the loop red-tea
No dependencies with known security vulnerabilities.
feat/1373-model-check-the-optimistic-concurrency-n
1 month, 2 weeks ago
Scope ConflictImpliesStale to the checked bound; align wording
- ConflictImpliesStale is a model-tr
No dependencies with known security vulnerabilities.
feat/1373-model-check-the-optimistic-concurrency-n
1 month, 2 weeks ago
Align specs/README title with the body: correctness protocols
The directory now holds both delivery
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Remove orphaned logging.toml scaffold, fix stranded LOG_LEVEL env vars (#1380)
* Remove orphaned lo
No dependencies with known security vulnerabilities.
