# Content temporarily unavailable
# Convex integration with main's replay helpers

This record accompanies the merge of main `7e46f81adb3734ba77f209858ffdd8951731a937` into PR head `8be0438c3982fccf5b32a2f1945a359a9bc87c31`.

The two conflicts were in the shared offline test configuration and serializer test imports. Existing serializer properties keep main's registered property selectors. The new opt-in codec property keeps its separate fixed/random reach campaigns and direct `OFFLINE_CODEC_ORACLE_SEED`/`PATH` replay. It stands aside during another property's shared path replay.

No product law, reference model, generated history, production driver, or value comparison changed. Convex campaign budgets now call `oracleRuns`, as main's new lint rule requires. The codec budget uses the same multiplier. The campaign helper carries its validated shrink path as `counterexamplePath`, identifying the recorded history for the lint rule; direct replay still runs once.

## Validation

- All 64 adapter checks, 302 offline tests, and 18 isolated local backend tests passed.
- Both packages passed typecheck. Changed-file lint, targeted ESLint, the oracle run-count checker, and frozen offline lockfile installation passed.
- Seven campaign/reach helper tests passed, including missing random reach rejection and one-history direct replay.
- With `TANSTACK_DB_ORACLE_RUNS_MULTIPLIER=2`, ownership's fixed and random campaigns each reached all 15 declared states in 120 histories, compared with 60 at the default budget.
- Shared serializer replay with property `offline.serializer.mutation-wire`, seed `20260914`, path `0` passed. The fixed campaign and unrelated property campaigns stood aside.
- Direct codec replay with seed `20261022`, path `0` passed. Its reach record reported one replay history without campaign minima.

Commands use `pnpm --filter @tanstack/convex-db-collection test`, `test:e2e`, and `typecheck`; `pnpm --filter @tanstack/offline-transactions test --run` and `typecheck`; and `pnpm --filter @tanstack/db exec vitest run tests/oracle-campaign.test.ts tests/oracle-reach.test.ts`.

## Limits

This is test-runner integration, not a new behavioral repair or expanded product claim. Existing hostile-mutant and behavioral evidence remains in the October 26 review record. The codec and Convex properties retain their named direct replay interfaces; this merge does not claim they are registered in main's shared replay manifest. Backend evidence uses pinned application functions and isolated local backends, not cloud infrastructure. CI must be checked on the resulting merge commit before declaring readiness.