Skip to content

Actions: psvensson/lagrange

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
221 workflow runs
221 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
repo-health: solve bookkeeping: record the final-head G2 certification failure on release-0-2-five-node-convergence Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WQYgmQosGzTsbBkY3PFCjK repository-health #47: Commit 14df53c pushed by psvensson
12m 3s main
main
12m 3s
change-gate: solve bookkeeping: record the final-head G2 certification failure on release-0-2-five-node-convergence Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WQYgmQosGzTsbBkY3PFCjK ci #133: Commit 14df53c pushed by psvensson
2m 45s main
main
2m 45s
repo-health: docs(epic): keep release-0-2 under the 150-line planning bound after the supersession note The ledger test refused the landed head (162 lines); the supersession is now a four-line note in the Release exit section plus a one-line decision-log entry. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WQYgmQosGzTsbBkY3PFCjK repository-health #46: Commit 0af4b7e pushed by psvensson
12m 33s main
main
12m 33s
change-gate: docs(epic): keep release-0-2 under the 150-line planning bound after the supersession note The ledger test refused the landed head (162 lines); the supersession is now a four-line note in the Release exit section plus a one-line decision-log entry. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WQYgmQosGzTsbBkY3PFCjK ci #132: Commit 0af4b7e pushed by psvensson
6m 58s main
main
6m 58s
change-gate: docs(changelog): refresh the 0.2.0 section for the work landed since the 30 August freeze Re-dates the section to 2026-09-05, states the certification status honestly (formation streak passed on 2026-08-30; the full MovieLens certification, topology safety, snapshot catch-up and the memory soak replay on the frozen digest before the tag), and adds the readiness-planning owner, node-liveness owner, membership-epoch binding, critical-placement, tooling and fix entries. Co-Authored-By: Claude... ci #131: Commit 103786e pushed by psvensson
2m 55s main
main
2m 55s
repo-health: docs(changelog): refresh the 0.2.0 section for the work landed since the 30 August freeze Re-dates the section to 2026-09-05, states the certification status honestly (formation streak passed on 2026-08-30; the full MovieLens certification, topology safety, snapshot catch-up and the memory soak replay on the frozen digest before the tag), and adds the readiness-planning owner, node-liveness owner, membership-epoch binding, critical-placement, tooling and fix entries. Co-Authored-By: Claude... repository-health #45: Commit 103786e pushed by psvensson
12m 33s main
main
12m 33s
change-gate: chore(ratchet): tighten test duplication baseline 30745 -> 30731 The checker has printed the tighten hint since Quest 2 moved the integration double clone into test/integration/rebalancer-integration-doubles.js. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WQYgmQosGzTsbBkY3PFCjK ci #130: Commit 0a7f8a4 pushed by psvensson
4m 57s main
main
4m 57s
repo-health: chore(ratchet): tighten test duplication baseline 30745 -> 30731 The checker has printed the tighten hint since Quest 2 moved the integration double clone into test/integration/rebalancer-integration-doubles.js. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WQYgmQosGzTsbBkY3PFCjK repository-health #44: Commit 0a7f8a4 pushed by psvensson
11m 31s main
main
11m 31s
repo-health: solver-streamlining-2026-09: The Solver workflow implements the verifie… The Solver workflow implements the verified streamlining specification: the attempt capture excludes and names another quest's bookkeeping and scope refusals name their paths; the stall theory gate excludes verifier-demanded replacement attempts; one recorded override covers one logical run and is charged only when that run records its attempt, with every blocked commit gate reported in one pass; findings carry a fai... repository-health #43: Commit b2212dd pushed by psvensson
12m 3s main
main
12m 3s
change-gate: solver-streamlining-2026-09: The Solver workflow implements the verifie… The Solver workflow implements the verified streamlining specification: the attempt capture excludes and names another quest's bookkeeping and scope refusals name their paths; the stall theory gate excludes verifier-demanded replacement attempts; one recorded override covers one logical run and is charged only when that run records its attempt, with every blocked commit gate reported in one pass; findings carry a fai... ci #129: Commit b2212dd pushed by psvensson
8m 23s main
main
8m 23s
repo-health: readiness-routing-bridge-liveness-veto: The stored readiness evidence p… The stored readiness evidence persistence guard protects fresher stored evidence only against pure heartbeat and lease lag: a node row whose status or connection state changed replaces the stored evidence at once, so the liveness identity vetoes stale-positive last-known-good reuse immediately, while a lagged row with unchanged status keeps bridging until its ready lease expires; every routed-read bridge witness stay... repository-health #42: Commit 0d749c1 pushed by psvensson
13m 26s main
main
13m 26s
change-gate: readiness-routing-bridge-liveness-veto: The stored readiness evidence p… The stored readiness evidence persistence guard protects fresher stored evidence only against pure heartbeat and lease lag: a node row whose status or connection state changed replaces the stored evidence at once, so the liveness identity vetoes stale-positive last-known-good reuse immediately, while a lagged row with unchanged status keeps bridging until its ready lease expires; every routed-read bridge witness stay... ci #128: Commit 0d749c1 pushed by psvensson
23m 54s main
main
23m 54s
change-gate: test(integration): give the always-ready readiness double projectNodeLiveness The follow-up-move planner landed by the node-liveness semantic projection owner (Quest P, a6d99aa3d) calls controlPlaneReadinessService .projectNodeLiveness(nodeId); the always-ready readiness doubles in cross-node-replica-placement and three-node-partition-rebalance lacked it, so rebalance() returned success:false and both files were red. CI on a6d99aa3d never selected them (124-file proof cone); the full-suite ... ci #127: Commit 0ecb498 pushed by psvensson
11m 51s main
main
11m 51s
repo-health: test(integration): give the always-ready readiness double projectNodeLiveness The follow-up-move planner landed by the node-liveness semantic projection owner (Quest P, a6d99aa3d) calls controlPlaneReadinessService .projectNodeLiveness(nodeId); the always-ready readiness doubles in cross-node-replica-placement and three-node-partition-rebalance lacked it, so rebalance() returned success:false and both files were red. CI on a6d99aa3d never selected them (124-file proof cone); the full-suite ... repository-health #41: Commit 0ecb498 pushed by psvensson
11m 49s main
main
11m 49s
change-gate: membership-epoch-null-rehydration: The replica-operation repository dec… The replica-operation repository decodes the durable membership_publication_epoch column through one binding owner: SQL NULL or an absent column rehydrates as an unbound operation that dispatches under the existing unbound rule, a persisted non-negative integer (including zero) rehydrates as exactly that bound epoch and keeps the stale-bound rejection and current-bound acceptance, malformed durable values fail closed... ci #126: Commit b2f732d pushed by psvensson
14m 49s main
main
14m 49s
repo-health: membership-epoch-null-rehydration: The replica-operation repository dec… The replica-operation repository decodes the durable membership_publication_epoch column through one binding owner: SQL NULL or an absent column rehydrates as an unbound operation that dispatches under the existing unbound rule, a persisted non-negative integer (including zero) rehydrates as exactly that bound epoch and keeps the stale-bound rejection and current-bound acceptance, malformed durable values fail closed... repository-health #40: Commit b2f732d pushed by psvensson
11m 38s main
main
11m 38s
repo-health: node-liveness-semantic-projection-owner-bootstrap-readiness-fixture-repair: The exact landed node-l… The exact landed node-liveness semantic owner passes GitHub CI because bootstrap readiness fixtures supply canonical owner-produced readiness evidence for every node their assertions require, while absent owner evidence never falls back to raw time-derived node fields. repository-health #39: Commit a6d99aa pushed by psvensson
12m 16s main
main
12m 16s
change-gate: node-liveness-semantic-projection-owner-bootstrap-readiness-fixture-repair: The exact landed node-l… The exact landed node-liveness semantic owner passes GitHub CI because bootstrap readiness fixtures supply canonical owner-produced readiness evidence for every node their assertions require, while absent owner evidence never falls back to raw time-derived node fields. ci #125: Commit a6d99aa pushed by psvensson
5m 27s main
main
5m 27s
change-gate: test: de-export readiness snapshot helper ci #124: Commit addd77b pushed by psvensson
16m 46s main
main
16m 46s
repo-health: test: de-export readiness snapshot helper repository-health #38: Commit addd77b pushed by psvensson
12m 31s main
main
12m 31s
repo-health: ci: export TAP_TIMEOUT_FLOOR, not TAP_TIMEOUT - a lane floor never caps a declared budget ci.yml/release.yml exported TAP_TIMEOUT='120'; run-test-files.js honours an explicit caller TAP_TIMEOUT outright, so it clobbered every file's own larger {timeout} declaration: critical-replica-placement-causal-trace declares 300s, runs ~150s, and died at 120s on main 8fe278fe5 (twice, retry included). The runner already distinguishes a floor (TAP_TIMEOUT_FLOOR: max(declared, floor)) from a cap; both l... repository-health #37: Commit 5fc691e pushed by psvensson
15m 11s main
main
15m 11s
change-gate: ci: export TAP_TIMEOUT_FLOOR, not TAP_TIMEOUT - a lane floor never caps a declared budget ci.yml/release.yml exported TAP_TIMEOUT='120'; run-test-files.js honours an explicit caller TAP_TIMEOUT outright, so it clobbered every file's own larger {timeout} declaration: critical-replica-placement-causal-trace declares 300s, runs ~150s, and died at 120s on main 8fe278fe5 (twice, retry included). The runner already distinguishes a floor (TAP_TIMEOUT_FLOOR: max(declared, floor)) from a cap; both l... ci #123: Commit 5fc691e pushed by psvensson
10m 59s main
main
10m 59s
repo-health: planning(epics): graduate the live-query candidate Quest ladder to a spec (E3 planning bound) The version-2 epic was 200 lines at merge (a346a24e3), over the 150-line planning bound the ledger-consistency ERROR E3 enforces in CI's fast-tests lane. The six-quest ladder moves byte-for-byte to solve/specs/generic-live-query-data-plane/tasks.md; the epic keeps the decision memo and a pointer (138 lines). Second half of the a346a24e3 red-main repair alongside 95f1f92a3. Co-Authored-By: Claude C... repository-health #36: Commit 8fe278f pushed by psvensson
14m 29s main
main
14m 29s
change-gate: planning(epics): graduate the live-query candidate Quest ladder to a spec (E3 planning bound) The version-2 epic was 200 lines at merge (a346a24e3), over the 150-line planning bound the ledger-consistency ERROR E3 enforces in CI's fast-tests lane. The six-quest ladder moves byte-for-byte to solve/specs/generic-live-query-data-plane/tasks.md; the epic keeps the decision memo and a pointer (138 lines). Second half of the a346a24e3 red-main repair alongside 95f1f92a3. Co-Authored-By: Claude C... ci #122: Commit 8fe278f pushed by psvensson
25m 32s main
main
25m 32s
change-gate: Docs/generic live query data plane (#23) * docs: define generic live query data plane * planning: add generic live query data plane epic * roadmap: add generic push-backed live queries to 0.3 * docs: link live query data plane from architecture index ci #121: Commit a346a24 pushed by psvensson
7m 54s main
main
7m 54s