work/1331-coded-init-diagnostics
1 month, 1 week ago
Narrow the location docstring to core IR/check producers
A test exercises build_diagnostic(..., loc
No dependencies with known security vulnerabilities.
work/1331-coded-init-diagnostics
1 month, 1 week ago
Carry coded diagnostics on init-time and runtime raises
Init-time and runtime raises from the domai
No dependencies with known security vulnerabilities.
main
1 month, 1 week ago
Add recovery trace validation: check the real code against Recovery.tla (#1424)
* Add recovery trac
No dependencies with known security vulnerabilities.
feat/1385-9-1-13-recovery-trace-validation-conform
1 month, 1 week ago
Merge remote-tracking branch 'origin/main' into feat/1385-9-1-13-recovery-trace-validation-conform
No dependencies with known security vulnerabilities.
main
1 month, 1 week ago
Check the real $all checkpoint advance against Checkpoint.tla (#1423)
* Add checkpoint trace valida
No dependencies with known security vulnerabilities.
main
1 month, 1 week ago
Make cache get_all a private, unpaginated utility (_get_all) (#1421)
* Give cache get_all one pagin
No dependencies with known security vulnerabilities.
feat/1385-9-1-13-recovery-trace-validation-conform
1 month, 1 week ago
Fix a stale docstring and tighten the changelog wording
is_active()'s docstring said the subscripti
No dependencies with known security vulnerabilities.
feat/1401-cache-get-all-pagination-means-something
1 month, 1 week ago
Cap _get_all at a fixed 1000 entries and warn on truncation
_get_all returned the whole match set,
No dependencies with known security vulnerabilities.
feat/1384-9-1-12-checkpoint-trace-validation-confo
1 month, 1 week ago
Clamp the recorded checkpoint watermarks to the 0 floor
A fresh subscription starts current_positio
No dependencies with known security vulnerabilities.
feat/1401-cache-get-all-pagination-means-something
1 month, 1 week ago
Cover RedisCache._get_all signature and fix the 1393 fragment
The port-contract consistency test on
No dependencies with known security vulnerabilities.
feat/1401-cache-get-all-pagination-means-something
1 month, 1 week ago
Guard the cross-adapter key order for non-ASCII keys
Review worried the Redis adapter's `bytes` sor
No dependencies with known security vulnerabilities.
feat/1401-cache-get-all-pagination-means-something
1 month, 1 week ago
Fix the glob section's Before example to use the 0.17 method name
The "Before" snippet in the glob
No dependencies with known security vulnerabilities.
feat/1401-cache-get-all-pagination-means-something
1 month, 1 week ago
Name the _get_all tests after the private method
Copilot flagged that these test names still said `
No dependencies with known security vulnerabilities.
feat/1384-9-1-12-checkpoint-trace-validation-confo
1 month, 1 week ago
Tighten the checkpoint changelog fragment and fix the stale check.sh header
The header still said t
No dependencies with known security vulnerabilities.
feat/1401-cache-get-all-pagination-means-something
1 month, 1 week ago
Make cache get_all a private, unpaginated utility (_get_all)
A cache is for point reads by key, not
No dependencies with known security vulnerabilities.
