Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2603 commits
Select commit Hold shift + click to select a range
aa1055d
cas: deferred register — mark items 9-11, 14-15 executed
filimonov Jul 20, 2026
e716007
cas: fail-close read-only guard for SYSTEM CONTENT ADDRESSED DROP POO…
filimonov Jul 20, 2026
dc1e5f8
cas: decommission admin claim always renews its lease (force backgrou…
filimonov Jul 20, 2026
e932c38
cas: reject explicit use_fake_transaction on content_addressed/Keeper…
filimonov Jul 20, 2026
d26ac5c
cas: RefCowMap::find keeps the merge iterator valid for overlay-only …
filimonov Jul 20, 2026
f554f30
cas: outcome-log decode fails closed with CORRUPTED_DATA on digest wi…
filimonov Jul 20, 2026
8ae30ee
cas: fix stale assertion in decommission heal test (tombstoned re-run…
filimonov Jul 20, 2026
4208f11
cas: abandon() audit emission guarded + retryable precommit removal (…
filimonov Jul 20, 2026
1376968
cas: publishEntries abandons its build on exception (no leaked live-e…
filimonov Jul 20, 2026
aaf1e23
cas: transaction destructor logs failed abandon instead of silently s…
filimonov Jul 20, 2026
0d25ada
cas: system.content_addressed_mounts scopes GC health to the local mo…
filimonov Jul 20, 2026
e3d7b8d
cas: GC round-engine logs carry the disk/srid-scoped logger
filimonov Jul 20, 2026
1353f7f
cas: part-manifest decode rejects malformed entry paths (fail-close o…
filimonov Jul 20, 2026
e785d96
cas: PartPathParser anchors only on real hex-prefix/UUID pairs (revie…
filimonov Jul 20, 2026
0a65e22
cas: deduplicate content-addressed disk detection into tryFromDisk
filimonov Jul 20, 2026
2c0ef80
cas: hygiene — dead includes, renewOnce lock invariant note, GC prune…
filimonov Jul 20, 2026
5e422b0
cas: prepareRead casts to the narrow IContentAddressedExchange seam, …
filimonov Jul 20, 2026
9a1b476
cas: existence probes use hasAnyRefWithPrefix instead of materializin…
filimonov Jul 20, 2026
afef625
cas: rename lowercase-Ca* gtest suites to Cas* so the CI gate covers …
filimonov Jul 20, 2026
a5d2ae2
cas: access-control negative tests for GC and DROP POOL MEMBER verbs
filimonov Jul 20, 2026
c7133bd
cas: mock-S3 unit tests for conditional remove/copy and copyS3File fa…
filimonov Jul 20, 2026
2fa99ef
tests: dedup-log null-writer fails with an exception, not a crash (B3…
filimonov Jul 20, 2026
2b4e67c
docs: sync CAS system tables, SYSTEM verbs, and disk config keys with…
filimonov Jul 20, 2026
6fa9550
cas: rewrite ProfileEvents descriptions for operators (remove interna…
filimonov Jul 20, 2026
a60bfde
cas: one ForceFresh body proof per (transaction, ref) on the fast-rem…
filimonov Jul 20, 2026
9dc41f0
cas: RefResolve audit fires on real resolve work, not on warm view-ca…
filimonov Jul 20, 2026
73a9448
cas: spec — incremental byte-budget accounting for ref-ledger admits()
filimonov Jul 20, 2026
12428c2
cas: implementation plan for incremental admits() budget accounting
filimonov Jul 20, 2026
d29d314
cas: route adoptPartFromManifest read-only rejection through checkNot…
filimonov Jul 20, 2026
5474f70
cas: snapshot per-row + framing size helpers (byte-exact vs full encode)
filimonov Jul 20, 2026
e8b67c2
cas: re-verify stuck-table-load plan/spec against current tip after u…
filimonov Jul 20, 2026
c2794b7
cas: removal-op + removal-framing size helpers (byte-exact vs full en…
filimonov Jul 20, 2026
13ab814
cas: maintain incremental body-byte counters on RefTableState (debug …
filimonov Jul 20, 2026
26840d6
cas: guard admits() drift-check with DEBUG_OR_SANITIZER_BUILD (was ND…
filimonov Jul 20, 2026
b5f448e
cas: rewrite admits() to O(1) via incremental budget-size accessors
filimonov Jul 20, 2026
fcc6531
cas: record admits() after-benchmark and mark backlog finding resolved
filimonov Jul 20, 2026
d351dcf
cas: tighten admits() header comment on where the drift-check reasserts
filimonov Jul 20, 2026
fb0963c
cas: retry ref-table recovery on transient object-store errors before…
filimonov Jul 20, 2026
7060959
ca-soak: host the CAS stress table in a lazy_load_tables database
filimonov Jul 20, 2026
e1ae53c
docs: draft upstream issue for the AsyncLoader stuck-FAILED-table / D…
filimonov Jul 20, 2026
ea12e86
ca-soak: integration test — lazy CAS table self-heals after a transie…
filimonov Jul 20, 2026
71b9722
ca-soak: note lazy CAS first-access build blocks for the whole S3 out…
filimonov Jul 20, 2026
ad6c0ca
cas: harden Layer 1 recovery retry — cover LIST/GET transients, guard…
filimonov Jul 20, 2026
0b1adcb
ca-soak: correct block-until-recovered note — the wait is the ref-LIS…
filimonov Jul 20, 2026
8ff2500
ca-soak: harden lazy-load integration test — assert the probe hit the…
filimonov Jul 20, 2026
908a148
cas: design spec for CasJsonWriter bulk-append text encoding (near-me…
filimonov Jul 20, 2026
90e3c22
cas: implementation plan for CasJsonWriter bulk-append encoding
filimonov Jul 20, 2026
2362311
cas: pin canonical encoder bytes for ref log / ref snapshot / source-…
filimonov Jul 20, 2026
eb2fa2a
cas: assert full-byte identity in SourceEdgeRunLines pin (single EXPE…
filimonov Jul 20, 2026
1f9ed91
cas: CasJsonWriter bulk-append core (keys, numbers, hex128, bool, fra…
filimonov Jul 20, 2026
05b2f57
cas: CasJsonWriter bulk-run string escaping, differential-fuzzed agai…
filimonov Jul 20, 2026
7651f70
cas: scalar bulk-run JSON scan (drop hand-rolled SIMD; SIMD deferred …
filimonov Jul 20, 2026
24d9c2a
cas: CasJsonWriter overloads of the shared JSON vocabulary, different…
filimonov Jul 20, 2026
1f2c667
cas: ref log + ref snapshot encoders on CasJsonWriter (hotpath, zero …
filimonov Jul 20, 2026
586ebf4
cas: part manifest + gc state + gc outcomes + fold seal encoders on C…
filimonov Jul 20, 2026
f5ee8bd
cas: pool meta + blob meta + blob envelope + server-root encoders on …
filimonov Jul 20, 2026
3d9e4e3
cas: cas_run writer assembles each NDJSON line in a reused scratch, o…
filimonov Jul 20, 2026
8471ca5
cas: retire the WriteBuffer JSON vocabulary; CasJsonWriter is the onl…
filimonov Jul 20, 2026
843d8eb
cas: BM_MemcpyTxnBytes floor benchmark + post-CasJsonWriter encode nu…
filimonov Jul 20, 2026
a3005ab
cas: mark the byte-by-byte ref-ledger encoding BACKLOG item RESOLVED …
filimonov Jul 20, 2026
18c74c4
cas: post-review cleanup — drop dead WriteHelpers include (11 files),…
filimonov Jul 20, 2026
63ea202
ci: content-addressed stateless tests on amd + sanitizers (s3)
filimonov Jul 20, 2026
c1cf699
cas: design spec for consistency-review fixes F1-F11 (GC RUN rename, …
filimonov Jul 20, 2026
81eaea9
cas: implementation plan for consistency findings F1-F11 (14 tasks, p…
filimonov Jul 20, 2026
0f70a96
worklog: close r5-r6 unattended round (rotation)
filimonov Jul 20, 2026
3ff9893
backlog: log CAS-on-S3 INSERT ~7.6x slowness — write-path serializati…
filimonov Jul 20, 2026
f839203
cas: rename SYSTEM CONTENT ADDRESSED GARBAGE COLLECTION -> GC RUN (F1…
filimonov Jul 20, 2026
5060c14
cas: sweep SYSTEM CONTENT ADDRESSED GC RUN spelling through tests, do…
filimonov Jul 20, 2026
e1c83a4
cas: CasGC* -> CasGc* asynchronous metrics (F2: one casing for the CA…
filimonov Jul 20, 2026
794104d
cas: spell out system.content_addressed_mounts columns (F3: server_ro…
filimonov Jul 20, 2026
73f4969
cas: ContentAddressedSettings — declarative BaseSettings table with u…
filimonov Jul 20, 2026
6bcecb7
cas: backlog the dead legacy config-key cleanup (from F4a review)
filimonov Jul 20, 2026
f572182
cas: factory + constructor on ContentAddressedSettings; 25 positional…
filimonov Jul 21, 2026
0c76bd8
cas: fix scratch_path relative-override anchor (review Critical, F4b …
filimonov Jul 21, 2026
a578303
cas: generic ObjectStorageRetryProfile + S3 single-attempt client own…
filimonov Jul 21, 2026
58ac1af
cas: fix ABA hazard on single-attempt client cache key, avoid eager c…
filimonov Jul 21, 2026
c66a2bd
cas: conditional writes select the retry profile; WriteSettings loses…
filimonov Jul 21, 2026
1daa274
cas: setThreadName for GC scheduler/heartbeat/remount/lease-keeper/sn…
filimonov Jul 21, 2026
3f5e899
cas: ProfileEvents descriptions to 'Number of ... / Total ...' hybrid…
filimonov Jul 21, 2026
3fb925a
cas: content_addressed_log config section gets the standard key set; …
filimonov Jul 21, 2026
5cf71da
cas: s3_skip_check_objects_after_upload -> optional s3_check_objects_…
filimonov Jul 21, 2026
be8ba3f
cas: S3 error-name predicates shared via S3Common (F10: one list per …
filimonov Jul 21, 2026
d515041
cas: CurrentMetrics for the manifest-decode and dedup caches (F11) — …
filimonov Jul 21, 2026
1155665
cas: skip generic local-disk `path` (+ full tests/config enumeration)…
filimonov Jul 21, 2026
41fffc1
cas: close the non_cas_keys enumeration gap — scan 04278-04300 statel…
filimonov Jul 21, 2026
354b1df
cas: final-review polish — truthful S3 predicate comment, CasProbe te…
filimonov Jul 21, 2026
0257ffb
ca-soak: recovery gate waits for the workload table to load as Replic…
filimonov Jul 21, 2026
48246f2
cas: clamp CAS write-buffer size so an extreme compress-block-size ca…
filimonov Jul 21, 2026
de3faca
ca-soak: 900s phase-3 recovery gate (slow post-churn CA table load, m…
filimonov Jul 21, 2026
2ba28ac
SYSTEM SYNC REPLICA (and sibling per-table SYSTEM verbs) materialize …
filimonov Jul 21, 2026
d2d5957
ca-soak: revert 900s recovery bound; recovery gate probes with a mate…
filimonov Jul 21, 2026
6f45d11
cas: backlog — lazy-proxy misdiagnosis resolved (fix 2ba28ac4b6f), T1…
filimonov Jul 21, 2026
6cffeef
cas: spec — mount-lease abort hardening + operator-driven disk lifecy…
filimonov Jul 21, 2026
33a45ad
cas: spec rev.2 — explicit idempotent MOUNT/UNMOUNT/FSCK lifecycle (p…
filimonov Jul 21, 2026
f61cac9
cas: implementation plan for mount-lease hardening + explicit disk li…
filimonov Jul 21, 2026
980c198
worklog + soak backlog: f1f11 unattended round record — health snapsh…
filimonov Jul 21, 2026
8742d74
cas: vanished mount slot stops renewal without LOGICAL_ERROR (STID 39…
filimonov Jul 21, 2026
cafb646
cas: absent mount lease at clean release is a no-op, not a LOGICAL_ER…
filimonov Jul 21, 2026
f63a905
cas: startup publishes the pool atomically as its last step
filimonov Jul 21, 2026
ccfb546
cas: mount-state gate + single coherent pool/facade snapshot accessor
filimonov Jul 21, 2026
4cbd8d3
cas: synchronous draining unmount + idempotent explicit mount on the …
filimonov Jul 21, 2026
ac4c02c
cas: SYSTEM CONTENT ADDRESSED UNMOUNT/MOUNT verbs with live-table guard
filimonov Jul 21, 2026
b335f78
cas: dormant-only SYSTEM CONTENT ADDRESSED FSCK + GC RUN pending_* dr…
filimonov Jul 21, 2026
dbeb254
cas: spec+plan amend — Part 6 / Task 8a (dormant disk existence probe…
filimonov Jul 21, 2026
1a2a01f
cas: a dormant CA disk answers existence/enumeration probes as absent…
filimonov Jul 21, 2026
183c2c2
cas: no-leftovers tests tear down via GC RUN -> UNMOUNT -> FSCK -> rm…
filimonov Jul 21, 2026
a7a9590
cas: rename offline disks applet fsck -> ca-fsck, keep deprecated alias
filimonov Jul 21, 2026
d780fa7
cas: em-dash house-style in new operator-visible strings + align ca-f…
filimonov Jul 21, 2026
d7bd8a6
cas: design spec for RefTableState closed class + experiment-driven o…
filimonov Jul 21, 2026
52b7338
cas: implementation plan for RefTableState closed-class experiment round
filimonov Jul 21, 2026
d72ca26
cas: bench RefTableState critical ops; expose add-precommit O(N) hots…
filimonov Jul 21, 2026
fb3aca0
cas: RefTableState is a closed class -- invariants by construction (P…
filimonov Jul 21, 2026
0f1ec41
cas: E1 relaxed replay -- trusted history skips the O(N) cross-owner …
filimonov Jul 21, 2026
d796842
cas: add SYSTEM CONTENT ADDRESSED FSCK to 01271_show_privileges.refer…
filimonov Jul 21, 2026
073d530
cas: E2 COW owned-manifest index -- add-precommit uniqueness O(1)
filimonov Jul 21, 2026
aa3f63a
cas: E2 report -- append full-suite benchmark confirmation + disabled…
filimonov Jul 21, 2026
c82e1b7
cas: E3 experiment -- in-place replay apply replaces scratch copy
filimonov Jul 21, 2026
65ebbdd
cas: rename TxnValidation -> ApplyMode{LiveAppend,TrustedReplay} (pos…
filimonov Jul 21, 2026
09d7616
cas: ApplyMode doc -- cross-owner check is O(1) since E2, drop stale …
filimonov Jul 21, 2026
93eb995
cas: E4 experiment -- flat sorted-vector base inside RefCowMap
filimonov Jul 21, 2026
274265f
Revert "cas: E4 experiment -- flat sorted-vector base inside RefCowMap"
filimonov Jul 21, 2026
1383caa
cas: RefTableState experiments -- final comparison table + verdicts (t7)
filimonov Jul 21, 2026
eb8d435
cas: final-review nits M1-M5 -- bench-header final numbers, report ac…
filimonov Jul 21, 2026
cf79e86
cas: backlog -- three deferred ref-ledger items from the two-model ad…
filimonov Jul 21, 2026
0c0e5cb
cas: RefTableState fail-closed restore + privatize trusted-replay (tw…
filimonov Jul 21, 2026
3e88f4b
cas: recovery materialize + BM_FlushInstall + consult-fix report (two…
filimonov Jul 21, 2026
e65ab73
cas: round-2 consult outcomes -- wedge-resolved txns join tail counte…
filimonov Jul 21, 2026
f5d77cd
cas: backlog -- disk-error (ENOSPC/inode) audit follow-ups
filimonov Jul 21, 2026
3b96172
cas: StorageProxy forwarding audit (consult) + lazy_load_tables decis…
filimonov Jul 21, 2026
e2778b5
cas: TLA+ models directory README -- full index with per-model code-c…
filimonov Jul 21, 2026
492be61
cas: remove TLA+ Toolbox pretty-print artifacts for CaIncarnationCore
filimonov Jul 21, 2026
c93b743
cas: remove obsolete TLA+ model CaGcCore (superseded EBR GC design)
filimonov Jul 21, 2026
9c5d7e8
cas: remove obsolete TLA+ model CaB140Dangle (superseded producer model)
filimonov Jul 21, 2026
72d6c31
cas: remove stale TLA+ model CaResurrectLiveness (guard never impleme…
filimonov Jul 21, 2026
b0fa403
cas: remove stale TLA+ model CaBuildWatermark (blob-guard removed by …
filimonov Jul 21, 2026
e87995c
cas: remove stale TLA+ model CaBuildWatermarkNum (blob-guard removed …
filimonov Jul 21, 2026
308dd89
cas: remove rejected TLA+ model CaMetaDescriptorRaw (raw-body tombsto…
filimonov Jul 21, 2026
9577543
cas: remove rejected TLA+ model CaMetaIncarnationKey (generation-in-k…
filimonov Jul 21, 2026
e825270
cas: remove TLA+ model CaMetaAbsenceClean (gated design blocked; mode…
filimonov Jul 21, 2026
9852df5
cas: models README -- replace internal ticket codes and doc links wit…
filimonov Jul 21, 2026
0c09ad3
cas: remove historical TLA+ model CaB140DangleFaithful (dead-mechanis…
filimonov Jul 21, 2026
621acf9
cas: remove TLA+ model CaManifestSweepWindow (gtest fully covers the …
filimonov Jul 21, 2026
70e274a
cas: remove TLA+ model CaGcResurrectReuploadOrphan (gtests fully cove…
filimonov Jul 21, 2026
8c64d9e
docs: design spec for CAS parallel write path (concurrent per-part co…
filimonov Jul 21, 2026
6f34a41
cas: shared owner-transition shape classifier -- illegal shapes fail …
filimonov Jul 21, 2026
7ab1fc1
Fix mutations on lazy_load_tables tables: forward checkMutationIsPoss…
filimonov Jul 21, 2026
663c413
ca-soak: run the stress DB without lazy_load_tables while the proxy i…
filimonov Jul 21, 2026
5f3b315
cas: remove stale unverifiable TLA+ model CaIncarnationProofCore + Ap…
filimonov Jul 21, 2026
7d6f506
cas: remove stale TLA+ model CaGcIndegRefoldCore (superseded integer …
filimonov Jul 21, 2026
e947191
cas: remove stale TLA+ model CaMetaDescriptor (INV-META-BODY false vs…
filimonov Jul 21, 2026
5974131
cas: remove 4 broken stale configs of CaB140DangleMerge
filimonov Jul 21, 2026
c64ec60
cas: implementation plan for PR#2073 sanitizer aborts (GCS + dedup-lo…
filimonov Jul 21, 2026
adafa03
cas: rewrite 06-tla-models.md Area 4 (mount) to the rev.6 observation…
filimonov Jul 21, 2026
de85d59
docs: revise CAS parallel-write-path spec to bounded-concurrency per-…
filimonov Jul 21, 2026
d5a40b7
cas: correct 06-tla-models.md currency notes for STALE-drifted GC/wri…
filimonov Jul 21, 2026
9a099e2
cas: README audit note + STALE-drift statuses (2026-07-22 model audit)
filimonov Jul 21, 2026
b0500f3
cas: record CaGcRootLocalPartManifestCore EnableSharding-arm crash (a…
filimonov Jul 21, 2026
d38d8b8
cas: E5 experiment -- COW materialize mutates uniquely-owned base in …
filimonov Jul 21, 2026
aded0bd
cas: fix two stale code-comment drifts surfaced by the model audit
filimonov Jul 21, 2026
5edd987
docs: amend CAS parallel-write-path spec with round-2 review hardening
filimonov Jul 21, 2026
a516a4e
docs: implementation plan for CAS parallel write path (6 tasks, harde…
filimonov Jul 21, 2026
bf62881
cas: make E5 in-place materialize reachable, race-free, and coherent-…
filimonov Jul 21, 2026
8009d6e
Revert lazy-table checkTableCanBeRenamed forward (self-deadlock)
filimonov Jul 21, 2026
7ac3a90
ca-soak: single deterministic eager-DB setup for every phase
filimonov Jul 21, 2026
49f50fe
ca-soak: unreachable tripwire is a convergence assertion, not a mid-c…
filimonov Jul 22, 2026
5173ca2
cas: death-test the GCS conditional-dialect LOGICAL_ERROR guards (PR#…
filimonov Jul 22, 2026
d2ee04c
cas: death-test the dedup-log null-writer LOGICAL_ERROR guards (PR#20…
filimonov Jul 22, 2026
d6f5b85
cas: guard empty-file memcpy in ReadBufferFromMemory to avoid UBSan n…
filimonov Jul 22, 2026
cca162d
cas: unattended worklog -- reftablestate round + xhigh reviews + soak…
filimonov Jul 22, 2026
ab6821e
Merge remote-tracking branch 'altinity/antalya-26.6' into cas-gc-rebuild
filimonov Jul 22, 2026
79c07d6
cas: make the ref-lane exception-safe (no stranded pending item on le…
filimonov Jul 22, 2026
a97100c
cas: promoteBuild/repointRef return an exact CommitOutcome; add dropR…
filimonov Jul 22, 2026
04ee963
cas: exact-manifest rollback via dropRefIfMatches + per-part outcome …
filimonov Jul 22, 2026
681d563
cas: revert unnecessary part-ordering change; make rollback test dete…
filimonov Jul 22, 2026
8affa60
cas: cas_commit_concurrency setting + dedicated CAS commit thread poo…
filimonov Jul 22, 2026
b1ea327
cas: CAS commit pool fails loud on missing/double init + shutdown hoo…
filimonov Jul 22, 2026
05dbaa8
cas: parallel per-part commit on a dedicated bounded pool (engages re…
filimonov Jul 22, 2026
62cf144
cas: reject zero-size commit pool + no-throw outcome slot after durab…
filimonov Jul 22, 2026
b7b9709
cas: revert Task 4+5 (dedicated commit pool + inner-loop parallelism)…
filimonov Jul 22, 2026
993991b
cas: spec — self-healing auto-mount CA disk lifecycle (full-quiesce U…
filimonov Jul 22, 2026
db2e2fe
cas: spec — precise auto-mount trigger (createTransaction, CREATE TAB…
filimonov Jul 22, 2026
f6d3212
cas: design spec for phased multi-commit at the renameParts seam
filimonov Jul 22, 2026
0238000
cas: spec — auto-mount via an explicit MergeTree table-bind hook (opt…
filimonov Jul 22, 2026
cc9a8e6
ca-soak: backlog known-issue — bulk partition ops get no CAS commit b…
filimonov Jul 22, 2026
81a3d55
cas: design spec v2 for batched part-commit; mark v1 superseded
filimonov Jul 22, 2026
df9810c
cas: stage-1 write-path spec (CAS-internal only); mark v2 superseded
filimonov Jul 22, 2026
26c8950
cas: spec B — self-quiesce on vanished backing; drop the runtime moun…
filimonov Jul 22, 2026
875106d
cas: stage-1 spec rev.2 — fold in all nine Codex round-3 findings
filimonov Jul 22, 2026
37247fc
cas: stage-1 spec rev.3 — fold in Codex round-4 findings
filimonov Jul 22, 2026
eccf36a
ca-soak: new lifecycle design — lease-loss=throw, keep-threads-runnin…
filimonov Jul 22, 2026
805b17b
cas: stage-1 spec rev.4 — Codex round-5 convergence fixes
filimonov Jul 22, 2026
8155790
ca-soak: lifecycle design rev.2 — identity-validated recovery + hones…
filimonov Jul 22, 2026
24ef9c8
ca-soak: lifecycle design rev.3 — Vanished truth-state dissolves the …
filimonov Jul 22, 2026
be75863
ca-soak: lifecycle design rev.4 — fold codex rev.3 amendments; design…
filimonov Jul 22, 2026
94322fb
ca-soak: lifecycle design rev.5 — IdentityLost/Vanished split; fix th…
filimonov Jul 22, 2026
a519fb8
ca-soak: lifecycle design rev.6 — close the five rev.5 verification f…
filimonov Jul 22, 2026
f703920
ca-soak: rev.6 spec — restore the explicit Task 4-8 rollback list in …
filimonov Jul 22, 2026
52a8afc
ca-soak: consolidate the lifecycle design into rev.6 + companion; del…
filimonov Jul 22, 2026
ee7a92e
ca-soak: lifecycle design rev.7 (final) — fold the four closing-verif…
filimonov Jul 22, 2026
41596eb
ca-soak: rev.7 spec [D5] — Vanished error messages name the actual su…
filimonov Jul 22, 2026
ed3dffb
ca-soak: implementation plan for the rev.7 disk lifecycle (Phase A CI…
filimonov Jul 22, 2026
42ebf94
ca: 05020 — unique per-invocation disk name and pool path
filimonov Jul 22, 2026
6cb7a33
ca: 04290/04295 — unique per-invocation disk names
filimonov Jul 22, 2026
da5c249
ca: typed sentinel probe — KeyAbsent vs ContainerAbsent vs AccessDeni…
filimonov Jul 22, 2026
5695fa7
ca: sentinel probe fixes — RESOURCE_NOT_FOUND, InstrumentedBackend fo…
filimonov Jul 22, 2026
8b1df0c
ca: fence-generation check on every durable-effect path + outstanding…
filimonov Jul 22, 2026
64135f5
ca: count part-write durable lanes (manifest, blob body, blob meta) i…
filimonov Jul 22, 2026
bf617b1
ca: backlog — [C2] defense-in-depth fence check on resurrectStaged/pu…
filimonov Jul 22, 2026
be51653
ca: hoist uploadFromSource durable-request guard to operation scope
filimonov Jul 22, 2026
33657cc
ca: pool lifecycle condition + identity gate as step 0 of tryRemountOnce
filimonov Jul 22, 2026
a1e5a28
ca: spec rev.7 — note IdentityLost->Vanished(replaced) reachability (…
filimonov Jul 22, 2026
d000571
ca: check terminal-intent alongside lifecycle in the remount loop and…
filimonov Jul 22, 2026
d6e2686
ca: Vanished(erased) proof — strong-LIST capability + full durable-la…
filimonov Jul 23, 2026
c6c99aa
ca: backlog — erased-capability operator assertion + gc_quiescent_fn …
filimonov Jul 23, 2026
3808fa2
ca: erasure-proof test — established-streak reset by counter and erro…
filimonov Jul 23, 2026
105f6f5
ca: zero-write residual check before the probe battery; exclusive poo…
filimonov Jul 23, 2026
5dc58c9
ca: gate _pool_meta minting on the verified bootstrap path (observe/d…
filimonov Jul 23, 2026
3530063
ca: allow_mint defaults to false — the mint gate fails closed when un…
filimonov Jul 23, 2026
d47ca81
ca: central operation-class gate; Vanished truth semantics; typed per…
filimonov Jul 23, 2026
768015b
ca: spec rev.7 — IdentityLost does not stop the GC thread; name the r…
filimonov Jul 23, 2026
3f87abd
ca: gate doc-fix — name the real erasure-proof backstops; IdentityLos…
filimonov Jul 23, 2026
753e6b4
ca: empty-proof rule — empty data-root answers require an authoritati…
filimonov Jul 23, 2026
503b7bb
ca: SYSTEM CONTENT ADDRESSED FORGET — operator force-Vanish with fenc…
filimonov Jul 23, 2026
dee4893
ca: FORGET race regression guard; vacuous GC-leadership assert replac…
filimonov Jul 23, 2026
e79a109
ca: GC STOP/START verbs — restartable scheduler, leadership cleared o…
filimonov Jul 23, 2026
21d2077
ca: GC START message guidance; GC RUN-vs-STOP operator note
filimonov Jul 23, 2026
6c4c05c
ca: spec §2 as-built GC wording (I1); rewrite stale erased-capability…
filimonov Jul 23, 2026
380fa73
ca: content_addressed_mounts shows not-live and vanished disks via a …
filimonov Jul 23, 2026
32a4993
ca: plan T14 teardown check adapted to T12's as-built column schema
filimonov Jul 23, 2026
e2a4356
ca: keep content_addressed_mounts.lifecycle_reason enum-clean; move […
filimonov Jul 23, 2026
b705f92
ca: plan T14 — exact equality teardown check restored (T12 final spli…
filimonov Jul 23, 2026
0fdaef2
ca: snapshot review polish — comment mechanism, typed catch, since-or…
filimonov Jul 23, 2026
5f405d3
ca: spec rev.8 — FORGET-only; erasure asserted, never proven (owner d…
filimonov Jul 23, 2026
fc14294
ca: companion — living-spec pointer updated to rev.8
filimonov Jul 23, 2026
b683013
ca: TLA+ models — erasure-proof soundness + disk lifecycle/FORGET pro…
filimonov Jul 23, 2026
82df65c
ca: TLA+ lifecycle model reworked for FORGET-only v1 — C1 self-exit +…
filimonov Jul 23, 2026
1fe585e
ca: GC self-exit on Vanished (C1); observer bails on FORGET intent (M…
filimonov Jul 23, 2026
434f321
ca: excise the natural Vanished(erased) proof stack — FORGET-only (sp…
filimonov Jul 23, 2026
f540085
ca: drop stale 'erased' from two comments (excision review nits)
filimonov Jul 23, 2026
a4eca5f
ca: fsck — runs on a running disk; manifest revalidation; meta_withou…
filimonov Jul 23, 2026
947c9c3
ca: 05020 — drop the fsck-refused-while-mounted step (FSCK now runs o…
filimonov Jul 23, 2026
08b9c8f
ca: tests — fail-closed DROP SYNC -> FORGET -> verify -> rm teardown
filimonov Jul 23, 2026
1dc57a8
ca: roll back the Dormant/UNMOUNT reuse lifecycle (spec rev.8 §9)
filimonov Jul 23, 2026
f6a8950
ca: dispose the orphaned UNMOUNT/MOUNT stateless tests (T15 follow-up)
filimonov Jul 23, 2026
336955c
ca: acceptance-matrix closure — adjudicated test-debt from the review…
filimonov Jul 23, 2026
87aeefa
ca: T17 — comment relics + stale IdentityLost/Vanished wording + back…
filimonov Jul 23, 2026
f3c8528
ca: spec rev.8 — final as-built alignment (T17)
filimonov Jul 23, 2026
baf291f
ca: T17 fix — rev.8 wording for system-table column comments and Iden…
filimonov Jul 23, 2026
4baddb7
ca: final-review fixes — lock-then-gate for manual GC verbs (I-1, I-2)
filimonov Jul 23, 2026
0ff1cbf
ca: final-review fixes — comment relics + fence message truthfulness …
filimonov Jul 23, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
314 changes: 313 additions & 1 deletion .github/workflows/master.yml

Large diffs are not rendered by default.

302 changes: 301 additions & 1 deletion .github/workflows/pull_request.yml

Large diffs are not rendered by default.

288 changes: 288 additions & 0 deletions .github/workflows/pull_request_community.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2073,6 +2073,294 @@ jobs:
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (arm_binary, sequential)' --workflow "Community PR" --ci --timestamp

stateless_tests_amd_binary_content_addressed_s3_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-builder, 16c]
needs: [build_amd_binary, build_amd_debug, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhbWRfYmluYXJ5LCBjb250ZW50X2FkZHJlc3NlZCBzMyBzdG9yYWdlLCBwYXJhbGxlbCk=') }}
name: "Stateless tests (amd_binary, content_addressed s3 storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (amd_binary, content_addressed s3 storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_AMD_BINARY
uses: actions/download-artifact@v8
with:
name: CH_AMD_BINARY
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (amd_binary, content_addressed s3 storage, parallel)' --workflow "Community PR" --ci --timestamp

stateless_tests_amd_asan_ubsan_content_addressed_s3_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-builder, 16c]
needs: [build_amd_asan_ubsan, build_amd_debug, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhbWRfYXNhbl91YnNhbiwgY29udGVudF9hZGRyZXNzZWQgczMgc3RvcmFnZSwgcGFyYWxsZWwp') }}
name: "Stateless tests (amd_asan_ubsan, content_addressed s3 storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (amd_asan_ubsan, content_addressed s3 storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_AMD_ASAN_UBSAN
uses: actions/download-artifact@v8
with:
name: CH_AMD_ASAN_UBSAN
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (amd_asan_ubsan, content_addressed s3 storage, parallel)' --workflow "Community PR" --ci --timestamp

stateless_tests_amd_tsan_content_addressed_s3_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-func-tester, 16c]
needs: [build_amd_debug, build_amd_tsan, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhbWRfdHNhbiwgY29udGVudF9hZGRyZXNzZWQgczMgc3RvcmFnZSwgcGFyYWxsZWwp') }}
name: "Stateless tests (amd_tsan, content_addressed s3 storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (amd_tsan, content_addressed s3 storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_AMD_TSAN
uses: actions/download-artifact@v8
with:
name: CH_AMD_TSAN
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (amd_tsan, content_addressed s3 storage, parallel)' --workflow "Community PR" --ci --timestamp

stateless_tests_amd_msan_content_addressed_s3_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-func-tester]
needs: [build_amd_debug, build_amd_msan, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhbWRfbXNhbiwgY29udGVudF9hZGRyZXNzZWQgczMgc3RvcmFnZSwgcGFyYWxsZWwp') }}
name: "Stateless tests (amd_msan, content_addressed s3 storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (amd_msan, content_addressed s3 storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_AMD_MSAN
uses: actions/download-artifact@v8
with:
name: CH_AMD_MSAN
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (amd_msan, content_addressed s3 storage, parallel)' --workflow "Community PR" --ci --timestamp

stateless_tests_arm_binary_content_addressed_s3_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-func-tester-aarch64, 16c]
needs: [build_amd_debug, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhcm1fYmluYXJ5LCBjb250ZW50X2FkZHJlc3NlZCBzMyBzdG9yYWdlLCBwYXJhbGxlbCk=') }}
name: "Stateless tests (arm_binary, content_addressed s3 storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (arm_binary, content_addressed s3 storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_ARM_BIN
uses: actions/download-artifact@v8
with:
name: CH_ARM_BIN
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (arm_binary, content_addressed s3 storage, parallel)' --workflow "Community PR" --ci --timestamp

stateless_tests_amd_binary_content_addressed_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-builder, 16c]
needs: [build_amd_binary, build_amd_debug, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
if: ${{ !cancelled() && !contains(needs.*.outputs.pipeline_status, 'failure') && !contains(needs.*.outputs.pipeline_status, 'undefined') && !contains(fromJson(needs.config_workflow.outputs.data).workflow_config.cache_success_base64, 'U3RhdGVsZXNzIHRlc3RzIChhbWRfYmluYXJ5LCBjb250ZW50X2FkZHJlc3NlZCBzdG9yYWdlLCBwYXJhbGxlbCk=') }}
name: "Stateless tests (amd_binary, content_addressed storage, parallel)"
outputs:
data: ${{ steps.run.outputs.DATA }}
pipeline_status: ${{ steps.run.outputs.pipeline_status || 'undefined' }}
steps:
- name: Checkout code
uses: actions/checkout@v6
with:
ref: ${{ env.CHECKOUT_REF }}

- name: Setup
uses: ./.github/actions/runner_setup
- name: Docker setup
uses: ./.github/actions/docker_setup
with:
test_name: "Stateless tests (amd_binary, content_addressed storage, parallel)"

- name: Prepare env script
run: |
rm -rf ./ci/tmp
mkdir -p ./ci/tmp
cat > ./ci/tmp/praktika_setup_env.sh << 'ENV_SETUP_SCRIPT_EOF'
export PYTHONPATH=./ci:.:

cat > ./ci/tmp/workflow_job.json << 'EOF'
${{ toJson(job) }}
EOF
cat > ./ci/tmp/workflow_status.json << 'EOF'
${{ toJson(needs) }}
EOF
ENV_SETUP_SCRIPT_EOF

- name: Download artifact CH_AMD_BINARY
uses: actions/download-artifact@v8
with:
name: CH_AMD_BINARY
path: ./ci/tmp

- name: Run
id: run
run: |
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (amd_binary, content_addressed storage, parallel)' --workflow "Community PR" --ci --timestamp

integration_tests_amd_asan_ubsan_db_disk_old_analyzer_1_8:
runs-on: [self-hosted, altinity-on-demand, altinity-func-tester, 16c]
needs: [build_amd_asan_ubsan, build_amd_debug, build_arm_binary, config_workflow, fast_test, stateless_tests_amd_debug_parallel, stateless_tests_arm_binary_parallel]
Expand Down
Loading
Loading