Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3563 commits
Select commit Hold shift + click to select a range
7678e47
ca: docs — correct the GC round's LIST count in the walkthrough
filimonov Jul 29, 2026
a1f59e4
ca: stage A RESULTS — review fix round (evidence citations + correcti…
filimonov Jul 29, 2026
eedd55a
ca: user directives — GC full time accounting (track B); relink Unkno…
filimonov Jul 29, 2026
f7c048a
ca: worklog — directives folded; T14 fix landed; re-review running
filimonov Jul 29, 2026
3ec6735
ca: worklog — T14 closed; T15 review dispatched
filimonov Jul 29, 2026
0495d68
ca: docs — the relink handshake is three phases, two round trips
filimonov Jul 29, 2026
a6f96d1
ca: worklog — T15 approved; merge sequence set
filimonov Jul 29, 2026
84aee64
ca: worklog — watchdog, woke a16 (2nd monitor miss)
filimonov Jul 29, 2026
d45d868
ca: gc — pin the whole coverage row a quiet namespace carries
filimonov Jul 29, 2026
714d7a2
ca: BACKLOG — folded_token has no producer (T15 polish finding)
filimonov Jul 29, 2026
46495ae
ca: fold-seal strict decode + every-attempt verdict aggregation (code…
filimonov Jul 29, 2026
563f3f8
ca: relink redesign DECIDED — (ii) re-offer, (i) retired; constraints…
filimonov Jul 29, 2026
0d385f0
ca: worklog — redesign decided; T16 done + review; stop-check clean
filimonov Jul 29, 2026
53fc654
ca: worklog — watchdog 15:40, T16 review mid-write
filimonov Jul 29, 2026
7a38fed
ca: merge Task 15 — bounded fold walk (frozen round-start work-set + …
filimonov Jul 29, 2026
993dad3
ca: merge Task 16 — fold-seal strict decode + every-attempt verdict a…
filimonov Jul 29, 2026
a57ec26
ca: worklog — T15+T16 merged clean; merged gate running
filimonov Jul 29, 2026
6176afd
ca: BACKLOG — folded_token ruled DELETE (origin traced to discover to…
filimonov Jul 29, 2026
c4ca53c
ca: worklog — merged gate 1565 green; folded_token delete dispatched
filimonov Jul 29, 2026
e61437f
ca: worklog — relink-redesign spec agent dispatched
filimonov Jul 29, 2026
256504d
ca: worklog — merged gates green; re-validation soak ordered
filimonov Jul 29, 2026
218305e
ca: spec — relink re-offer redesign (confirm endpoint retired)
filimonov Jul 29, 2026
3769848
ca: worklog — relink spec committed; codex review launched
filimonov Jul 29, 2026
45850d2
ca: worklog — watchdog, codex review + soak in flight
filimonov Jul 29, 2026
ccf16cd
ca: spec — relink confirm as an HTTP conditional request (ETag/If-Non…
filimonov Jul 29, 2026
937ea74
ca: worklog — relink spec v2 reconciled (conditional form adopted)
filimonov Jul 29, 2026
5edd13b
ca: spec v2 — relink re-offer: conditional-GET reconciliation + delet…
filimonov Jul 29, 2026
10dc9f6
ca: spec v3 — relink re-offer: codex round 1 (namespace-qualified val…
filimonov Jul 29, 2026
3dd693b
ca: worklog — relink v3 + v4 ordered; soak in capture phase
filimonov Jul 29, 2026
02b4d8d
ca: worklog — re-validation green; ruled stop-capture-flip
filimonov Jul 29, 2026
ad59a72
ca: worklog — user closed relink questions; minimal budget ruled
filimonov Jul 29, 2026
6d11afc
ca: worklog — watchdog 17:00, flip executing
filimonov Jul 29, 2026
2f92628
ca: spec v3.1 — relink confirm: private headers, standard conditional…
filimonov Jul 29, 2026
835ddfc
ca: worklog — v3.1 in; a14 nudged on the flip
filimonov Jul 29, 2026
070fc08
ca: spec v4 — relink confirm: final rulings (minimal recovery guard, …
filimonov Jul 29, 2026
3e57d3e
ca: worklog — relink v4-final; codex r2 launched
filimonov Jul 29, 2026
d0de2c3
ca: worklog — flip re-ruled (a) with t+120m deadline
filimonov Jul 29, 2026
0584fca
ca: worklog — watchdog 17:21, r2 + bounded wait
filimonov Jul 29, 2026
4b8e610
ca: BACKLOG — lease-blip part-check collapse (stage-gating, criterion…
filimonov Jul 29, 2026
d344ec0
ca: worklog — criterion-4 catch; verdict held; RCA in flight
filimonov Jul 29, 2026
568c767
ca: worklog — codex r2 verdict; v5 round; RCA three-table trace ordered
filimonov Jul 29, 2026
48b4349
ca: worklog — watchdog 17:40, RCA + v5 in flight
filimonov Jul 29, 2026
a02c237
ca: spec v5 — relink confirm: codex round 2 (guarded release, retenti…
filimonov Jul 29, 2026
428a0ae
ca: spec v5 — S0 states the retention obligation and its entry guard
filimonov Jul 29, 2026
3624ea7
ca: worklog — relink v5 closed; §6-targeted r3; memory updated
filimonov Jul 29, 2026
453492a
ca: worklog — r3 found 2 blockers in §6; v6 round
filimonov Jul 29, 2026
95d99c1
ca: spec v6 — relink confirm: release-incomplete as an exit attribute…
filimonov Jul 29, 2026
a42f5ff
ca: worklog — v6 in, r4 launched, soak returned
filimonov Jul 29, 2026
eded474
ca: T15 re-validation — liveness fixed and re-validated; a new findin…
filimonov Jul 29, 2026
9a9421f
ca: worklog — cluster loss consequences; RCA path + induced-blip repr…
filimonov Jul 29, 2026
fec36da
ca: the predown dump was missing the two tables an RCA needed
filimonov Jul 29, 2026
02d7478
ca: gc — delete the folded_token vestige (user-ruled; discover-era to…
filimonov Jul 29, 2026
1db312f
ca: RCA — the lease-blip/part-check collapse is pre-existing, and it …
filimonov Jul 29, 2026
7e2ae81
ca: BACKLOG — lease-blip RCA complete: pre-existing, fix chartered (r…
filimonov Jul 29, 2026
ef6e483
ca: row 12d — pre-existence proven by behaviour, not just by blame
filimonov Jul 29, 2026
3f7b35c
ca: stage A verdict — PASS; row 12d ruled pre-existing documented exc…
filimonov Jul 29, 2026
25ce1d3
ca: merge T16b — folded_token vestige deletion (user-ruled)
filimonov Jul 29, 2026
eeb3ac7
ca: worklog — watchdog 18:4x: STAGE A PASS, T16b merged, induced-blip…
filimonov Jul 29, 2026
1efc110
ca: worklog — watchdog 18:27, all lanes in flight
filimonov Jul 29, 2026
25ca4cf
ca: induced-blip run — the remove-broken path is ref-neutral and neve…
filimonov Jul 29, 2026
d3a2f02
ca: spec v7 — relink confirm: release observation re-derived to the h…
filimonov Jul 29, 2026
af6277e
ca: row 12d evidence complete — induced blip: ref-neutral, detach sel…
filimonov Jul 29, 2026
cfaa711
ca: worklog — watchdog 18:35: induced-blip done (PASS stands), relink…
filimonov Jul 29, 2026
cb11e6e
ca: gc perf audit addendum — T15 re-validation before/after
filimonov Jul 29, 2026
52f110e
ca: soak — trace dump label column shadowed the WHERE filter (alias-w…
filimonov Jul 29, 2026
539584a
ca: BACKLOG — defer_decision LIST cost headline (79% of GC time); tim…
filimonov Jul 29, 2026
f5e4fb5
ca: worklog — watchdog 18:47: audit addendum landed, trace-dump alias…
filimonov Jul 29, 2026
62837a5
ca: gc perf audit addendum — trace dumps are a mixed population, not …
filimonov Jul 29, 2026
e8499b6
ca: stage A RESULTS — final-head gate addendum (review finding I2)
filimonov Jul 29, 2026
a59eb0b
ca: register R9 + BACKLOG ckpt-debris — final-review residuals M3/M4 …
filimonov Jul 29, 2026
b976085
ca: stage B Task 0 — verdict-flip note updated, final-head baselines,…
filimonov Jul 29, 2026
c9d974c
ca: worklog — watchdog 19:05: final review 'With fixes', I2 fixed, I1…
filimonov Jul 29, 2026
c0eac52
ca: worklog — watchdog 19:00: r5 convergent (v8 directed), I1 fixer m…
filimonov Jul 29, 2026
dcdf68a
ca: spec v8 — relink confirm: stale-plumbing sweep + pre-attempt Unce…
filimonov Jul 29, 2026
7626f85
ca: worklog — relink v8 landed, r6 launched
filimonov Jul 29, 2026
e337bb2
ca: gc — a corrupt `_ckpt` holds its own namespace, not the whole pool
filimonov Jul 29, 2026
3815235
ca: BACKLOG — damaged _ckpt: no repair path, round-wide destructive g…
filimonov Jul 29, 2026
66ecce0
ca: worklog — I1 fix delivered (per-ns hold), phantom-arm test ordere…
filimonov Jul 29, 2026
a949f5d
ca: BACKLOG — part-write release seam extracted to its own story (use…
filimonov Jul 29, 2026
5b72e82
ca: worklog — watchdog 19:25: r6 done, seam extraction directed (user…
filimonov Jul 29, 2026
a5dc9f8
ca: spec v9 — relink confirm: mark the transmission point, demote int…
filimonov Jul 29, 2026
56e3089
ca: spec v9 — say process death, not crash, for the mark-to-send window
filimonov Jul 29, 2026
23cb3c1
ca: worklog — v9 accepted (crossed redirect), extraction re-ordered a…
filimonov Jul 29, 2026
579ac16
ca: gc — pin the no-walk-position arm of the corrupt-`_ckpt` hold
filimonov Jul 29, 2026
5ba2684
ca: spec v9 — extract the part-write release seam into its own contract
filimonov Jul 29, 2026
d66f07e
ca: worklog — I1 fix r2 done, scoped re-review dispatched
filimonov Jul 29, 2026
4970136
ca: worklog — seam extraction landed, r7 launched over both docs
filimonov Jul 29, 2026
4390716
ca: spec v10 — label the seam extraction as v10 and record its proven…
filimonov Jul 29, 2026
3dfffa3
ca: worklog — v10 relabel accepted, argument/fix split ruled KEEP
filimonov Jul 29, 2026
369c041
ca: worklog — watchdog 19:42, three lanes live, audit tables relayed
filimonov Jul 29, 2026
bb502fb
ca: gc — comment corrections from the scoped re-review (no behavior c…
filimonov Jul 29, 2026
d4ddc73
ca: merge final-review fixes — corrupt _ckpt per-namespace hold + ano…
filimonov Jul 29, 2026
f522edd
ca: worklog — final-review fixes merged, ASan gate dispatched
filimonov Jul 29, 2026
1fa1aaf
ca: transient-classifier audit report + BACKLOG update (plane separat…
filimonov Jul 29, 2026
0132072
ca: worklog — transient-classifier audit synthesis persisted
filimonov Jul 29, 2026
90d9344
ca: stage A RESULTS — final-head addendum updated to d4ddc736949 (156…
filimonov Jul 29, 2026
331140c
ca: worklog — STAGE A CLOSED (ASan 1570/256 green, workspace cleaned)
filimonov Jul 29, 2026
af0b282
ca: worklog — watchdog 20:00: r7 done (residue-class), v11 directed
filimonov Jul 29, 2026
13625ab
ca: spec v11 — transaction-level emitter, cross-product rows, citatio…
filimonov Jul 29, 2026
bf74028
ca: worklog — v11 landed, r8 launched (list-driven)
filimonov Jul 29, 2026
bbb0962
ca: BACKLOG — lease-blip fix direction (ii) user-approved, implementa…
filimonov Jul 29, 2026
c7a0755
ca: worklog — direction (ii) approved and dispatched
filimonov Jul 29, 2026
6ce07c0
ca: worklog — stage B opened in lane-g, Task 0 dispatched
filimonov Jul 29, 2026
3d383be
ca: worklog — watchdog 20:20: r8 done (3 point fixes), v12 directed; …
filimonov Jul 29, 2026
af3be50
ca: spec v12 — chunk invariant per item class, exact sync cost, handl…
filimonov Jul 29, 2026
11fb837
ca: spec v12 — add the missing v11 and v12 changelog entries
filimonov Jul 29, 2026
13ecb98
ca: worklog — v12 landed, r9 micro launched
filimonov Jul 29, 2026
13afd8d
ca: stage B plan — Task 0 baseline line updated to the true final hea…
filimonov Jul 29, 2026
ff4d4dd
ca: worklog — stage B Task 0 PASS, Task 1 dispatched to lane-g
filimonov Jul 29, 2026
36d30f2
ca: spec — v12 changelog count: six spots, not five (codex r9 sole fi…
filimonov Jul 29, 2026
9abaca8
ca: worklog — watchdog 20:40: relink/seam series converged, agent rel…
filimonov Jul 29, 2026
58578af
ca: mint CA transient unavailability as retryable, not as an error of…
filimonov Jul 29, 2026
2b40ad5
ca: worklog — lease-blip fix done, scoped review dispatched
filimonov Jul 29, 2026
897fcde
ca: worklog — transient fix review APPROVED, polish round dispatched
filimonov Jul 29, 2026
8dbbf3d
ca: worklog — watchdog 21:00, two lanes mid-flight
filimonov Jul 29, 2026
f769b19
ca: the transient suffix must not promise a recovery the site cannot …
filimonov Jul 29, 2026
294a3ef
ca: BACKLOG — tmp scratch-leak (inode exhaustion) filed; lease-blip f…
filimonov Jul 29, 2026
43e6b96
ca: worklog — polish landed, a14 validation resumed, scratch-leak filed
filimonov Jul 29, 2026
34d607e
ca: ref — RefNamespaceId{ns, incarnation}; namespace-only key helpers…
filimonov Jul 29, 2026
4c236ea
ca: the lease blip no longer reads as damage — live-validated
filimonov Jul 29, 2026
f4be9de
ca: stage B plan — Task 1 path deviation accepted; Task 5 needs refsA…
filimonov Jul 29, 2026
239a66f
ca: BACKLOG — CHECK TABLE-during-blip behaviour ruled acceptable (uni…
filimonov Jul 29, 2026
e4f2164
ca: worklog — lease-blip class closed (live-validated), a14 released
filimonov Jul 29, 2026
76370c3
ca: worklog — watchdog 21:23, TLA-gate plan writer dispatched
filimonov Jul 29, 2026
4a93812
ca: stage B plan — Constraint 12 enumeration completed with _cleanup …
filimonov Jul 29, 2026
c231ab1
ca: worklog — Task 1 review rejected (GC-wedge critical), fix round 1…
filimonov Jul 29, 2026
ea11b84
ca: worklog — watchdog 21:40, fix round red phase
filimonov Jul 29, 2026
4fbbca4
ca: plan — relink/seam TLA gate phase (CaRelinkReofferCore refinement…
filimonov Jul 29, 2026
8927714
ca: worklog — TLA-gate plan landed, codex plan review launched
filimonov Jul 29, 2026
67dd266
ca: gc — absorb the life-less ref-key refusal in the global enumerations
filimonov Jul 29, 2026
3a755cc
ca: spec — Stage B namespace-life amendments (authoritative user dire…
filimonov Jul 29, 2026
6b0653d
ca: worklog — crash recovery: all threads restarted, user amendment r…
filimonov Jul 29, 2026
5e8745c
ca: worklog — watchdog 23:48, three agents in flight
filimonov Jul 29, 2026
f633cf9
ca: stage B plan — namespace-life amendments applied (NamespaceLifeId…
filimonov Jul 29, 2026
934e18c
ca: plan — TLA gate v2 after codex r1: wedge lifecycle modeled, per-t…
filimonov Jul 29, 2026
57e0573
ca: spec — GC destructive-baseline directive (user, verbatim): probe-…
filimonov Jul 29, 2026
cde9968
ca: worklog — Task 1 closed, amendment accepted, GC directive dispatc…
filimonov Jul 29, 2026
943bc8a
ca: stage B plan — GC destructive-baseline tail (probe A deleted, cat…
filimonov Jul 29, 2026
30d9643
ca: worklog — watchdog 00:20, GC tail committed, r2 mid-run
filimonov Jul 29, 2026
b596217
ca: stage B plan — Task 7a/7b/11 corrections from the probe-A surface…
filimonov Jul 29, 2026
53f3658
ca: worklog — Task 1b dispatched, amendment closed
filimonov Jul 29, 2026
3c54cf6
ca: worklog — watchdog 00:45: r2 done (B1 narrowed), v3 directed; 1b …
filimonov Jul 29, 2026
4457812
ca: worklog — 1b baseline corrected to 1578/244, design points approved
filimonov Jul 29, 2026
125ebfd
ca: BACKLOG — lane state-machine restatement design pass chartered (u…
filimonov Jul 29, 2026
aa5ad17
ca: worklog — lane restatement pass approved and sequenced
filimonov Jul 29, 2026
8b1a49f
ca: plan — TLA gate v3 after codex r2: two-step stale resolution mode…
filimonov Jul 29, 2026
3910299
ca: worklog — TLA v3 committed, r3 launched
filimonov Jul 29, 2026
fbad34b
ca: worklog — watchdog 01:00, r3 mid-run, 1b in final gate
filimonov Jul 29, 2026
95d9740
ca: BACKLOG orphaned-adjudication-comment + worklog: 1b delivered, TL…
filimonov Jul 29, 2026
dbd9ea8
ca: worklog — 1b ruling-2 self-correction (INV-2 grammar has two enfo…
filimonov Jul 29, 2026
1d10c5a
ca: stage B plan — Task 1c gains listNamespaces' two parse hazards an…
filimonov Jul 29, 2026
5e8bb2b
ca: worklog — 1c scouting answered, listNamespaces gap closed in the …
filimonov Jul 29, 2026
60e4af7
ca: worklog — TLA v4 Task 1: exhaustive wedge mapping, retry-that-cre…
filimonov Jul 29, 2026
82e269d
ca: stage B plan — listNamespaces fix shape (producer surfaces, consu…
filimonov Jul 29, 2026
9bfc7ca
ca: worklog — dismissal-needs-evidence / deferral-needs-placement les…
filimonov Jul 29, 2026
8fadaff
ca: worklog — TLA v4 Tasks 2-3 received, final piece requested
filimonov Jul 29, 2026
8e2281a
ca: worklog — watchdog 01:20, 1b fix gate running, v4 tail in progress
filimonov Jul 29, 2026
950a967
ca: plan — TLA gate v4: exhaustive resolveWedgeOnce mapping (12 paths…
filimonov Jul 29, 2026
97eabdb
ca: worklog — v4 committed, r4 launched (last fidelity round)
filimonov Jul 29, 2026
d0fe371
ca: BACKLOG — the CA gate's CWD debris is reproduced, not assumed; ob…
filimonov Jul 29, 2026
9806eeb
ca: worklog — 1b fix round done, re-review dispatched, boundary-audit…
filimonov Jul 29, 2026
bc3eafc
ca: worklog — placement sweep dispatched; 'tracked is not a dispositi…
filimonov Jul 29, 2026
d83b6f9
ca: worklog — 1b re-review: remainder verified in full, two false com…
filimonov Jul 29, 2026
f334f52
ca: stage B plan — place the eight unplaced deferrals the sweep found…
filimonov Jul 29, 2026
668c9a6
ca: worklog — placement sweep acted on in full; DDL ruling re-opened;…
filimonov Jul 29, 2026
842362d
ca: stop TLA gate planning per the pre-committed rule; escalate the l…
filimonov Jul 29, 2026
3e8a700
ca: worklog — gate planning stopped, restatement pass escalated to ac…
filimonov Jul 29, 2026
9c13374
ca: plan — the stopped gate carries its author's post-mortem, incl. t…
filimonov Jul 29, 2026
0dd5c77
ca: worklog — 1b round 2 delivered, re-review dispatched with a raise…
filimonov Jul 29, 2026
eaee1d4
ca: BACKLOG — the restatement pass gets its method note from an indep…
filimonov Jul 29, 2026
189cb76
ca: worklog — cardinality rule promoted to memory; pass told to end i…
filimonov Jul 29, 2026
837e7bb
ca: worklog — prose is the unchecked surface: measured, memorized, an…
filimonov Jul 29, 2026
bb4dd51
ca: ref lane — model explicit ownership states
filimonov Jul 30, 2026
de9bfab
ca: worklog — lane restatement verified inline; round-2 re-review lef…
filimonov Jul 30, 2026
16d52ad
ca: worklog — r4-paths recheck and the 1b round-2 debt dispatched in …
filimonov Jul 30, 2026
51d09aa
ca: the stopped gate's blocker is dissolved, verified path by path; t…
filimonov Jul 30, 2026
48d177f
ca: worklog — r4-paths recheck: blocker dissolved, two residues filed
filimonov Jul 30, 2026
74d7f51
ca: stage B — Task 1b is redone on top of the restatement, not merged…
filimonov Jul 30, 2026
d88ebdb
ca: worklog — 1b debt discharged (rejected), redo decided, prose rule…
filimonov Jul 30, 2026
99d579b
ca: stage B — measure the Task 1 merge: two hunks, and the one silent…
filimonov Jul 30, 2026
9f9514a
ca: merge Task 1 — RefNamespaceId key grammar onto the restated lane
filimonov Jul 30, 2026
6c33bf8
ca: stage B plan — Task 1 merged, built clean, gate 1577/244 with the…
filimonov Jul 30, 2026
fc19d8d
ca: worklog — Task 1b redo dispatched on the restated lane
filimonov Jul 30, 2026
3e22827
ca: ref — equivalence fences for the prepareRefChunk extraction, capt…
filimonov Jul 30, 2026
8d53602
ca: ref — extract pure prepareRefChunk from commitRefChunk
filimonov Jul 30, 2026
dfd9f0f
ca: worklog — Task 1b redo delivered and under review
filimonov Jul 30, 2026
bf4284a
ca: worklog — redo review rejected on prose alone; disclosure-traded-…
filimonov Jul 30, 2026
ec3a736
ca: ref — correct seven prose claims from the prepareRefChunk review
filimonov Jul 30, 2026
6f77433
ca: worklog — redo fix round done; the reviewer's own sentence refute…
filimonov Jul 30, 2026
c3c7dbc
ca: worklog — five prose rounds diagnosed: attributions to other loca…
filimonov Jul 30, 2026
eeb194a
ca: ref — delete the attribution claims from the prepareRefChunk comm…
filimonov Jul 30, 2026
a6d468c
ca: stage B — Task 1b redo complete: gate 1585/245, zero code defects…
filimonov Jul 30, 2026
6fa8a0c
ca: worklog — Task 1c dispatched with the prose rules as hard constra…
filimonov Jul 30, 2026
90221e6
ca: ref — namespace-file request-count goldens, captured before any k…
filimonov Jul 30, 2026
e0d3338
ca: ref — rename RefNamespaceId to NamespaceLifeId (mechanical, no be…
filimonov Jul 30, 2026
147875b
ca: ref — NamespaceLifeId over namespace files; namespace-only file o…
filimonov Jul 30, 2026
86616e9
ca: ref — listNamespaces surfaces unattributable keys; each consumer …
filimonov Jul 30, 2026
8301b3e
ca: gc — the rebuild command survives a key that names no namespace life
filimonov Jul 30, 2026
307a022
ca: ref — back the DDL disposition's reason with the test that holds it
filimonov Jul 30, 2026
5b81cb3
ca: stage B plan — record what the lane restatement changed for the l…
filimonov Jul 30, 2026
1520615
ca: worklog — Task 1c landed; two disclosed departures from the brief…
filimonov Jul 30, 2026
3a90bff
ca: BACKLOG — numbered doc set still shows pre-Stage-A ref and namesp…
filimonov Jul 30, 2026
49f2f2c
ca: fsck — lifeless_keys exits nonzero, so a gate can fail on it
filimonov Jul 30, 2026
4629c2b
ca: ref — the request-profile goldens state what they pin, and name t…
filimonov Jul 30, 2026
d772bbe
ca: ref — the shadow-scope probe logs the key it cannot attribute
filimonov Jul 30, 2026
b9cdf4c
ca: gc — the MINOR-B guards' arguments, with the unbounded claim gone
filimonov Jul 30, 2026
6bdd04a
ca: fsck — say why a lifeless-key row carries ObjectKind::Blob
filimonov Jul 30, 2026
2807fa9
ca: worklog — a rule written twice in strong prose failed a fourth ti…
filimonov Jul 30, 2026
79eb9a4
ca: place the three lane residues into tasks that execute them, not i…
filimonov Jul 30, 2026
aca7b9b
ca: fsck — lifeless_keys reaches the SQL row
filimonov Jul 30, 2026
6ea7cbc
ca: fsck — make the hard-finding rule EXECUTE instead of asking to be…
filimonov Jul 30, 2026
9b38afc
ca: BACKLOG — the fsck exit set and SQL row have no failable test; cl…
filimonov Jul 30, 2026
f961891
ca: fsck — the tripwire stops overstating its own rule
filimonov Jul 30, 2026
bddd4da
ca: fsck — the SQL row's comment stops attributing content to the ass…
filimonov Jul 30, 2026
9fcffc1
ca: docs+soak — the prose restatements of the fsck exit-code rule wer…
filimonov Jul 30, 2026
f836fd8
ca: BACKLOG — the exit-code rule is restated in prose no build can re…
filimonov Jul 30, 2026
d0f195f
ca: batch non-code fixes into one pass; split the three that were nev…
filimonov Jul 30, 2026
3af5042
ca: stage B plan — record the batched-prose review policy where dispa…
filimonov Jul 30, 2026
56c0d17
ca: close a BACKLOG item that was done but still read as open; file r…
filimonov Jul 30, 2026
87a7fd7
ca: ref — ref_catalog object: states, incarnations, additive capacity…
filimonov Jul 30, 2026
b668d6c
ca: settle the Task 2 review's three escalations; file its prose find…
filimonov Jul 30, 2026
5150a1c
ca: ref — ref_catalog fix round 1: empty ns, line-cap code, vanish-re…
filimonov Jul 30, 2026
15de762
ca: ref — split LOGICAL_ERROR-expecting tests into DeathTest counterp…
filimonov Jul 30, 2026
84eca08
ca: 05007 — the fold's regrouping phase is `fold_ref_group`, not `fol…
filimonov Jul 30, 2026
c4fe50f
ca: 05007 — the ProfileEvents assertion belongs to `defer_decision`, …
filimonov Jul 30, 2026
90eff49
ca: ref — explicit base/defines.h in the two DeathTest-split test files
filimonov Jul 30, 2026
76ee70d
ca: gc — restate the three stateless-lane tests c60911eecd7 missed
filimonov Jul 30, 2026
7b7a9a8
ca: worklog — prose batched out of fix rounds; the abort class gets a…
filimonov Jul 30, 2026
9eb1f74
ca: BACKLOG — the stateless drain tests' PENDING gauge double-counts
filimonov Jul 30, 2026
0cf1135
ca: stage B plan — Task 4 owns closing the Creating-forbids-publicati…
filimonov Jul 30, 2026
a8b1aeb
ca: stage B plan — Task 7b must restore and re-run the five tests wea…
filimonov Jul 30, 2026
5a98ef5
ca: ref — namespace creation lifecycle; token-exact reconciliation; t…
filimonov Jul 30, 2026
3f4c218
ca: gc — reclaim a birth's orphaned _ckpt when its ref-log PUT is con…
filimonov Jul 30, 2026
01ddf28
ca: stage B plan — Task 4 owns wiring the reconciler and re-deriving …
filimonov Jul 30, 2026
a4e60c5
ca: correct the ckpt-cleanup site count in the plan; file Task 3's fi…
filimonov Jul 30, 2026
3e1b635
ca: ref — Task 3 fix round 1: drop the fourth _ckpt delete site, narr…
filimonov Jul 30, 2026
c04e2b6
ca: stop carrying a count that keeps changing; record the one arm lef…
filimonov Jul 30, 2026
76d4576
ca: D1 - parseNamespaceFileKey's refusal contract no longer overclaims
filimonov Jul 30, 2026
5f25fc9
ca: D2 - scope removeRecursive's GC-round citation to the family it c…
filimonov Jul 30, 2026
57c4cb3
ca: D3 - fix the interconversion fence's rationale, at its origin too
filimonov Jul 30, 2026
65d8053
ca: D4 - drop the stale restatement count in the fsck tripwire's own …
filimonov Jul 30, 2026
4bb1490
ca: D6 - the fsck exit-code caveat applies to --detail too, not just …
filimonov Jul 30, 2026
b0a0525
ca: D7+D9 - fix two over-claims in the fold-seal reservation docs
filimonov Jul 30, 2026
0cd2098
ca: D8 - describe the shipped line-cap overflow behaviour, not "impos…
filimonov Jul 30, 2026
aedde58
ca: D13 - narrow the probeNonTerminalMountSlots precedent to the case…
filimonov Jul 30, 2026
e38f589
ca: D14 - delete the misdirected "nothing is lost" clause
filimonov Jul 30, 2026
94bd8de
ca: close D1-D10, D12-D15 in the deferred-docs-fixes ledger
filimonov Jul 30, 2026
9107cef
ca: BACKLOG — TLA runners share a static metadir, producing false reds
filimonov Jul 30, 2026
e4e0ff8
ca: gc — revert the stateless-lane assertion weakening, register know…
filimonov Jul 30, 2026
ec1ee97
ca: Stage B catalog — Task 7b Step 4 no longer restores weakened stat…
filimonov Jul 30, 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
  •  
  •  
  •  
522 changes: 521 additions & 1 deletion .github/workflows/master.yml

Large diffs are not rendered by default.

502 changes: 501 additions & 1 deletion .github/workflows/pull_request.yml

Large diffs are not rendered by default.

480 changes: 480 additions & 0 deletions .github/workflows/pull_request_community.yml

Large diffs are not rendered by default.

158 changes: 157 additions & 1 deletion .github/workflows/release_builds.yml
Original file line number Diff line number Diff line change
Expand Up @@ -1334,9 +1334,162 @@ jobs:
. ./ci/tmp/praktika_setup_env.sh
PYTHONUNBUFFERED=1 python3 -m praktika run 'Stateless tests (arm_binary, sequential)' --workflow "Release Builds" --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, config_workflow, dockers_build_amd, dockers_build_arm, dockers_build_multiplatform_manifest]
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_inputs.json << 'EOF'
${{ toJson(github.event.inputs) }}
EOF
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_GH
uses: actions/download-artifact@v8
continue-on-error: true
with:
name: CH_AMD_BINARY_GH
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 "Release Builds" --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_arm_binary, config_workflow, dockers_build_amd, dockers_build_arm, dockers_build_multiplatform_manifest]
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_inputs.json << 'EOF'
${{ toJson(github.event.inputs) }}
EOF
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_GH
uses: actions/download-artifact@v8
continue-on-error: true
with:
name: CH_ARM_BIN_GH
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 "Release Builds" --ci --timestamp

stateless_tests_amd_binary_content_addressed_storage_parallel:
runs-on: [self-hosted, altinity-on-demand, altinity-builder, 16c]
needs: [build_amd_binary, config_workflow, dockers_build_amd, dockers_build_arm, dockers_build_multiplatform_manifest]
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_inputs.json << 'EOF'
${{ toJson(github.event.inputs) }}
EOF
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_GH
uses: actions/download-artifact@v8
continue-on-error: true
with:
name: CH_AMD_BINARY_GH
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 "Release Builds" --ci --timestamp

finish_workflow:
runs-on: [self-hosted, altinity-on-demand, altinity-style-checker]
needs: [build_amd_asan_ubsan, build_amd_binary, build_amd_debug, build_amd_msan, build_amd_release, build_amd_tsan, build_arm_asan_ubsan, build_arm_binary, build_arm_debug, build_arm_msan, build_arm_release, build_arm_tsan, build_arm_ubsan, config_workflow, docker_keeper_image, docker_server_image, dockers_build_amd, dockers_build_arm, dockers_build_multiplatform_manifest, install_packages_amd_release, install_packages_arm_release, sign_release_amd_release, sign_release_arm_release, source_upload, stateless_tests_arm_binary_parallel, stateless_tests_arm_binary_sequential]
needs: [build_amd_asan_ubsan, build_amd_binary, build_amd_debug, build_amd_msan, build_amd_release, build_amd_tsan, build_arm_asan_ubsan, build_arm_binary, build_arm_debug, build_arm_msan, build_arm_release, build_arm_tsan, build_arm_ubsan, config_workflow, docker_keeper_image, docker_server_image, dockers_build_amd, dockers_build_arm, dockers_build_multiplatform_manifest, install_packages_amd_release, install_packages_arm_release, sign_release_amd_release, sign_release_arm_release, source_upload, stateless_tests_amd_binary_content_addressed_s3_storage_parallel, stateless_tests_amd_binary_content_addressed_storage_parallel, stateless_tests_arm_binary_content_addressed_s3_storage_parallel, stateless_tests_arm_binary_parallel, stateless_tests_arm_binary_sequential]
if: ${{ !cancelled() && needs.config_workflow.outputs.pipeline_status != '' }}
name: "Finish Workflow"
outputs:
Expand Down Expand Up @@ -1433,6 +1586,9 @@ jobs:
- source_upload
- stateless_tests_arm_binary_parallel
- stateless_tests_arm_binary_sequential
- stateless_tests_amd_binary_content_addressed_s3_storage_parallel
- stateless_tests_arm_binary_content_addressed_s3_storage_parallel
- stateless_tests_amd_binary_content_addressed_storage_parallel
- finish_workflow
- GrypeScanServer
- GrypeScanKeeper
Expand Down
11 changes: 11 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -198,3 +198,14 @@ tests/casa_del_dolor/_instances*
ci/praktika/json_test.html
ci/praktika/json_test.html.gz
ci/praktika/json.html.gz

# SDD scratch (briefs, reports, review diffs, progress ledger) — never committed
.superpowers/

# ca-soak run artifacts: per-scenario container log archives, sometimes hundreds of MB each.
# `git add -A utils/ca-soak` swept 380 of these into a commit on 2026-07-26 and the push was
# rejected with "pack exceeds maximum allowed size (2.00 GiB)". They are run output, never source.
utils/ca-soak/scenarios/_archive_*.tgz
utils/ca-soak/logs/
utils/ca-soak/logs_*/
utils/ca-soak/tmp/
Loading
Loading