Lab #2863: Tests: serve pollers make a peer's writes, deletes and grants visible with a real catalog (before Phase 5)

Deferred: needed before Phase 5 (serve leader and commit feed), not before Phase 1.

Background (read this first)

swamp is about to rework its datastore layer. The design proposal is design/enablers/datastore-commit-log.md on the datastore-rework branch. It is not merged; §2 of it is a write-path inventory.

How the datastore works today.

Repositories write files into the repo's .swamp/ directory, or into the datastore cache dir for a custom datastore. They then call a mark hook, markDirty(relPath?), which reaches DatastoreSyncService (src/domain/datastore/datastore_sync_service.ts, interface at :168, the eight-rule markDirty contract at :199-257).
A caller then flushes, through one of four paths:
- acquireModelLocks().flush (src/cli/repo_context.ts:1723);
- the global coordinator flushDatastoreSync (src/cli/mod.ts:2251);
- pushManagedConfigChanges (src/cli/managed_config_sync.ts:45/153);
- serve's pushChangedToRemote (src/serve/handlers/shared.ts:83-97) under the sync gate.
The S3 and GCS sync implementations live in swamp-extensions, not here. They own the dirty set, the .datastore-sync-state.json sidecar, _index shards and _meta.json.
A filesystem datastore has no sync service at all (repo_context.ts:1170-1178).
Each repo has a SQLite catalog, .swamp/data/_catalog.db, that DataQueryService reads.
Serve runs pollers that pull peers' changes: Config, AccessData, RuntimeData.

What changes. The refactor lands on main in phases:

Phase 1: a UnitOfWork port with a legacy adapter, so repositories stage writes instead of calling the hook directly.
Phase 2: libswamp use cases own the unit of work, and CLI commands and serve stop calling markDirty/pushChanged themselves.
Later phases: a new commit-log engine behind an opt-in format.

Phases 1 and 2 must not change any behaviour.

Why this issue exists. Before any of that lands, this repo's own tests have to pin today's behaviour, so a dropped mark, a lost delete or a missed catalog refresh fails a test instead of reaching users. An audit in September 2026 found:

no in-memory remote to test sync against;
no test that every file a repository changes gets marked, and several real unmarked paths;
no two-repo propagation test;
no ratchet on the write seams Phase 1 will move;
the sync-service conformance suite only checks method shapes.

This issue is one of a set. The tracking issue is listed under Related. End-to-end CLI tests for the same risks are in swamp-club/swamp-uat #481-#485, #487, #490 and #492.

Rules (from AGENTS.md)

Unit tests are in-process only: no subprocesses, no process-global mutation; use withMockedEnv.
Integration tests in integration/ wire real components on a temp filesystem and must not spawn the CLI.
Registry-registered test types use a per-run name built with crypto.randomUUID(), or invalidateType in a finally.
No fixed sleeps (use waitFor from @swamp-club/swamp-testing), no wall-clock assertions, and Deno.utime for mtimes.
Use @std/path for paths and assertPathEquals for path comparisons, since tests run on Windows too.
New files need the AGPLv3 header (deno run license-headers).
Pin today's behaviour, including known gaps. When today's behaviour is a bug, assert it as it is, with a comment naming the bug. Prefer an explicit pinned list checked with assertPinnedSet, so a later fix forces the test to be updated on purpose. Do not fix production code in these issues unless the issue says so.

Goal

Pin serve's pollers against a real catalog and a peer's writes. A poll that pulls a peer's change must make it visible to queries and reload access policy. The later serve-leader phase replaces these pollers with a commit feed, and it has to match this behaviour.

Priority: needed before the serve-leader phase (Phase 5), not before Phase 1. It is filed now so the full baseline is tracked in one place.

Current state

ConfigPoller (src/serve/config_poller.ts) pulls config, invalidates when the pull returns >0 or void (:178-187), then checks the lockfile hash (:196-221).
AccessDataPoller (grant and group subdirs, :35-40) invalidates and reloads policy on >0; void counts as 0 (:127).
RuntimeDataPoller (data) invalidates on >0; void counts as 0 (:113-118). That is inconsistent with ConfigPoller and hydrateLocalCache.
Wiring: src/cli/commands/serve.ts:2747-2792 (config) and :3470-3489 (access and runtime, only if (syncService)).
Sync gate (src/serve/sync_gate.ts):
- withSyncGate (:224) is exclusive for SYNC_GATED_REQUESTS (:166-196);
- withSharedSyncGate (:240) is for run pushes;
- gatedPull (:334-370) escalates after 3 skips.
Unit tests use a mock sync service and a spy catalogInvalidate with no real CatalogStore: config_poller_test.ts, access_data_poller_test.ts, runtime_data_poller_test.ts, and sync_gate_test.ts, which includes a resurrection test at :439/:464 for swamp-club#2247.
integration/serve_request_harness.ts createServeCtx wires no sync service, gate or pollers.

Needs

The in-memory remote from the fake-remote issue. The optional syncService / syncGate parameters on createServeCtx are added in the use-case characterisation issue; add them here if that issue hasn't landed.

Test

integration/serve_poller_catalog_test.ts

Runtime data. Serve context S on the in-memory remote with a real repoContext.catalogStore. Its catalog is populated. A peer repo P writes data and pushes. After one RuntimeDataPoller tick on S, DataQueryService.query and getLatestRecord on S return P's row.
Delete. P deletes it and pushes. After one tick, S no longer returns it. Then a handler write on S, under the gate, followed by a push does not bring it back.
Access. P adds a grant and pushes. After one AccessDataPoller tick, S's policy allows the new access. P revokes it, and after one tick S denies it.
Config. P changes a definition and pushes. After one ConfigPoller tick, S returns the new definition. A lockfile change triggers the extension reload path.
Void results. When the fake's pull returns void, pin today's inconsistency: Config invalidates, Access and Runtime do not.
Gate. A poll that overlaps a gated write request waits or is skipped as gatedPull specifies, and after 3 skips it escalates.

Done when

The scenarios pass with real catalogs and policy objects, and the void inconsistency is pinned with a comment.

Dependencies

Blocked by: swamp-club#2854, swamp-club#2860
Blocks: nothing
Full dependency graph and waves: swamp-club#2865.

Tracking issue: swamp-club#2865 (https://swamp-club.com/lab/2865).
Reuses the createServeCtx sync parameters added in swamp-club#2860.
End-to-end counterpart: swamp-uat#491 (deferred).

Session-start 'swamp model search --json' in the AGENTS.md template is unfulfillable - wire it to a hook or drop it

Flaky property test: analyzeExpression dot/bracket agreement fails when the generated model name is a CEL keyword

Accept usernames for user subjects in grant files

Docs: enable-managed-config should say to re-run config migrate when its push fails

datastore config migrate checks the sentinel in the stale local cache and re-runs a full migration over a shared S3 datastore

datastore config migrate writes its sentinel before pushing; after a failed push a re-run reports 'already completed' and never publishes

extension quality, fmt --check and push disagree: bare-specifier severity, cache hit skips gates, gate failure hides the rubric, fmt ignores project config

Docs: grant file reference shows a stale format and omits resources and subjects

Docs: extension push dry-run reference and how-to need the registry checks, API-call list and content hash from Lab #3016

Flaky property test: analyzeExpression hyphenated dot access fails when modelName generates a CEL keyword ("in")

extension quality and push crash with IsADirectory when additionalFiles lists a directory

extension push: a required global argument renders with a stray "" ("text": "string""")

Resolve non-admin actors in dashboard audit logs

A nested structural swamp still waits on its run's lock when the lock holder is not a same-host ancestor (cross-host worker, --server into a non-ancestor serve)

Docs: extension publishing reference is stale on bare specifiers, quality output and fmt config (swamp-club#3022)

Docs: serve authorization page should cover expression-reference checks and the vault.get trust boundary

swamp-extensions: replace bare import specifiers with npm:/jsr: specifiers in first-party extensions

Docs: channel-aware extension push prompts and promote with a manifest (follow-up to #2939)

extension push: 'Requested visibility' line prints to stdout without the logger prefix, twice per run

A nested structural swamp that outlives the run that started it keeps skipping that run's lock while the holder writes

Show signal waits to remote clients and the dashboard

Settle expired signal waits from swamp serve

Resume signalled workflow runs automatically under swamp serve

extension push/quality: structured acceptances for agents, a clearer title than For next time, and an optional reason

Deliver workflow signals through a write-once outcome record instead of writing the run record

Shell steps: a vault.get on a continuation line of a multi-line double-quoted string inside a here-doc is wrapped in quotes

extension push: testing-completeness warns once per generated model (262 warnings in 25 extensions) with no way to mark a package generated

extension push: declare accepted lint warnings where the finding is (inline swamp-review-ignore comments, a sidecar review file beside the manifest), reported in quality, push and the registry

Docs: manual describes the old extension push path resolution (manifest argument, --extensions-dir scope, global skill fallback) after swamp-club#3018

extension push: --extensions-dir is ignored for bundled workflows

extension push: sub-directory extensions cannot be found from outside their directory (manifest path, directory argument, --extensions-dir for workflows and skills)

GCP bigquery datasets update cannot target the dataset: reads the id from a name field datasets do not have

extension push: the undecided private-entitlement verdict still says the registry may start a trial at publish

seed:collective cannot produce a superseded personal trial or a returned trial, so the UAT cannot cover them

Replayable state fragments: Git-reviewable desired state for resources changed by model methods

Extension bundler rewrites zod import text inside string/template literals, breaking code-generating extensions

s3-datastore: pull never removes files deleted on the remote, so a peer's next push re-uploads them and undoes `swamp data gc`

swamp-testing withMockedCommand: record env and cwd in CapturedCommandCall

Forward held-lock identity over --server so a loopback nested swamp does not wait on its caller's lock

extension push: registry metadata and content hash label files relative to the repo dir, so a push with --extensions-dir records ../ paths

Share dashboard authentication across tabs for deep links

Docs: vault.get shell references are placed per occurrence, and every single-quoted use is warned about

A nested structural swamp on a same-host remote worker waits on its own step's lock held by swamp serve

Scheduled flaky-test detection is failing

Docs: declared acceptances for extension push warnings (quality.yaml sidecar, swamp-quality-ignore comments, For next time report)

Docs: describe the private-entitlement registry check and the refusal wording in the extension publishing reference

Fail fast when nested structural commands under parallel runs wait on each other's locks

Use whoami entitlement to explain private-extension push refusals

registry: store and show declared acceptances sent in contentMetadata.acceptances at confirm (swamp-club#3021)

@swamp/digitalocean/space-key: update and sync call /v2/spaces/keys/undefined

knowledge-base retrieve persists query output into the state resource, with lifetime infinite and the query text in the instance name

Docs: remove followUpActions from the MethodResult reference in the extension model manual

signal_test: already-settled test fails by chance when a random UUID spells the sender name

Add a wait_for_signal workflow step that pauses a run for a JSON message

Deliver workflow signals through swamp serve

Docs: serve authorization of expression references, env and direct-type runs (swamp-club#2786)

run doctor through serve interrupts a live run of another serve instance when no heartbeats are recorded

extension push --dry-run: authentication verdict prints 'Signed in as .' when the credential is an API key with no username

Docs: dispatch-env-allow and how remote shell steps receive secrets (swamp-club#2760, swamp-club#2791)

Flaky test: WalSink replayed segments are delivered before events written after replay leaves one WAL segment

Remove followUpActions: no model or extension can produce them

Workflow schedule watcher and workflow edit symlink lookup ignore the managed config workflows dir

main is red: repository_dirty_coverage_test fails for UnifiedData.collectGarbage(orphaned deferred write)

isProcessGone always reports alive on Linux under the test task permissions, failing 9 tests on main

Flaky test: WalSink replayed segments are delivered before events written after replay

serve: relative tls cert-file/key-file and --config resolve against the working directory, not the repository

serve --remote-only: step output from workers is never persisted to the run log (history logs always empty)

findBySpec/findByTag lose a workflow step's output after a version is deleted, pruned or rolled back

extension push --dry-run skips auth, collective and version-exists checks, and prints 'No API calls were made' while calling the registry

serve: a failed pull in acquireModelLocks leaves the per-model lock held until serve exits

serve HA: worker enrollment on a replica that lacks the enrollment token's definition may create a second definition (unverified)

serve HA: pull a token's definition on an auth miss so a peer accepts a new token at once

serve HA: a server token minted on one replica is rejected by the other replicas until they restart (auto-definitions/ is only pulled at boot)

data_query_stale_limit_test fails on Linux: a limited page returns names in b, a order

extension push: version-drift check reports 'no previously published version found' when the registry call failed

Run tracker keeps some interrupted workflow rows forever: retention waits for markSettled, which several paths never call

run doctor reads every run record on each run to rebuild the run indexes

Search and list output follows directory iteration order in the definition, workflow, vault and output repositories

extension push: accept attestation-backed adversarial-review evidence (lookup by extension and content hash), generated provenance, and carry the evidence to the registry at confirm (design: Lab #3023)

verify-reviews: whole-extension rubric review for changed hand-written extensions, carried in the attestation and read by publish (design: Lab #3023)