feat/1323-add-protean-verify-one-command-for-init
1 month, 2 weeks ago
Cover verify's defensive branches so codecov/patch clears 96%
The patch left eight lines in src/pro
No dependencies with known security vulnerabilities.
fix/1375
1 month, 2 weeks ago
Fix pyright __class__ override and drop stale LocalProxy comments
The new _ContextLocalProxy overri
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Add a TLA+ model-checked spec of the subscription failure-recovery protocol (#1390)
* Add a TLA+ mo
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Widen mutation testing to the transaction, dispatch, and checkpoint paths (#1389)
* Widen mutation
No dependencies with known security vulnerabilities.
main
1 month, 2 weeks ago
Add ADR-0030 recording the canonical generated project layout (#1387)
* Add ADR-0030 recording the
No dependencies with known security vulnerabilities.
work/1322-canonical-project-layout
1 month, 2 weeks ago
Add missing article in ADR-0030 (a layout that ...)
No dependencies with known security vulnerabilities.
feat/1372-model-check-the-subscription-failure-rec
1 month, 2 weeks ago
Name the bug config explicitly in the reachability probe comment
No dependencies with known security vulnerabilities.
feat/1372-model-check-the-subscription-failure-rec
1 month, 2 weeks ago
Document the recovery pass's abstracted retry machinery in the spec
No dependencies with known security vulnerabilities.
work/1322-canonical-project-layout
1 month, 2 weeks ago
Clarify the include_example flag and tracked test dirs in ADR-0030
Note in the layout tree that the
No dependencies with known security vulnerabilities.
feat/1323-add-protean-verify-one-command-for-init
1 month, 2 weeks ago
Truncate the init-stage table detail to its first line
The init error message can span multiple lin
No dependencies with known security vulnerabilities.
feat/1353-widen-mutation-testing-to-the-transactio
1 month, 2 weeks ago
Correct MUT_FILTER claims and assert the async event actually persists
Red-team fixes for the mutat
No dependencies with known security vulnerabilities.
feat/1323-add-protean-verify-one-command-for-init
1 month, 2 weeks ago
Map nested import errors in verify's init stage to exit 2, not 1
locate_domain wraps two different
No dependencies with known security vulnerabilities.
feat/1323-add-protean-verify-one-command-for-init
1 month, 2 weeks ago
Address review feedback on protean verify: catch non-ImportError domain-load failures, escape rich m
No dependencies with known security vulnerabilities.
feat/1323-add-protean-verify-one-command-for-init
1 month, 2 weeks ago
Isolate the empty-domain verify test from leaked cwd/sys.path state
No dependencies with known security vulnerabilities.
fix/1375
1 month, 2 weeks ago
Clarify ADR-0029: original decision kept werkzeug/cffi/greenlet in core, later amendments moved them
No dependencies with known security vulnerabilities.
