A snapshot: read at commit 707a04c7ce8 on 2026-10-18T00:01:48Z by majordomus 0.29.0. Nothing on this page is read again. See it live

PR Drain

Pull requests converging on master, one at a time.

Every open pull request as the integration lane assessed it: what it waits for, what would move it, what it depends on and overlaps, and the issue it carries.

Issues ready86plan.status /counts/by_status/READY
Issues active1plan.status /counts/by_status/ACTIVE
Issues blocked159plan.status /counts/by_status/BLOCKED
Issues done161plan.status /counts/by_status/DONE

Issue

One issue of the plan, as the plan records it.

I0841 · M004 · p0 · wave 2

Cache equivalence proved by property-shaped cases

blockedPull requests that name it Close

For every read-only command in the registry, run it with the cache cold, warm, and disabled, on this repository and on a synthetic one, and assert byte-identical output and exit code; then mutate one file and assert the changed output is served.

Depends on: I0821
Blocked by: I0821
Unblocks: I0843
Serves: none
Scope: test/casesshare/commands.yaml
Evidence: 0 of 1
Started: not yet
Verified: not yet
Completed: not yet

plan.issues0 msAPI/api/v1/plan/issuesMCPmajordomus_plan_issuestechnical view

Pull-request drain

The integration lane asks the forge for every open pull request; this takes a while and arrives after the screen.

Open the drain on its own page