Skip to content

docs: document combined cross-sink production proof - #308

Merged
Joncallim merged 1 commit into
codex/pr198-cross-sink-production-prooffrom
codex/pr198-cross-sink-proof-docs
Jul 30, 2026
Merged

docs: document combined cross-sink production proof#308
Joncallim merged 1 commit into
codex/pr198-cross-sink-production-prooffrom
codex/pr198-cross-sink-proof-docs

Conversation

@Joncallim

@Joncallim Joncallim commented Jul 29, 2026

Copy link
Copy Markdown
Owner

Source Issue

Issue: #179

Summary

This documentation child closes the wording gap left by PR #307. It explains that the PostgreSQL scrub, Redis purge, and Redis ACL checks are necessary individual gates, while the combined production sentinel is the proof that the supported sink set is checked together.

Stack

Scope

Exactly three files:

  • docs/operator-guide.md
  • docs/operators/legacy-leakage-scrub-v1.md
  • web/__tests__/legacy-leakage-scrub.test.ts

The docs name the mandatory cross-sink-production-sentinel.postgres-redis.test.ts proof, exact 1/1 result, marker S4_CROSS_SINK_PRODUCTION_SENTINEL_OK, and the collectively checked sink set. They preserve the disposable-hosted-evidence, future-sink, and not-proof-of-correctness limitations and do not imply that specialist, ACP, or three-lease execution is implemented.

Validation

  • Focused legacy leakage contract suite: 25/25 passed
  • Changed-file ESLint: passed
  • TypeScript: passed
  • git diff --check: passed
  • Hosted Web run 30505356708 / job 90753816459: green (117 files / 1,739 tests; PostgreSQL 14/14, Redis scrub 3/3, Redis ACL 3/3, combined cross-sink 1/1 with S4_CROSS_SINK_PRODUCTION_SENTINEL_OK once, S3 16/16, disabled ingress 1/1, build 39/39, E2E 17 passed / 59 expected skips)
  • PR Contract run 30505373593 / job 90753891922: green
  • GitGuardian check 90753813388: green

Draft child only; do not mark ready or merge until PR #307 and the combined proof are reviewed.

@Joncallim
Joncallim force-pushed the codex/pr198-cross-sink-production-proof branch from 1cedf75 to f28e975 Compare July 29, 2026 23:38
@Joncallim
Joncallim force-pushed the codex/pr198-cross-sink-proof-docs branch from b0501a7 to d0f42c1 Compare July 30, 2026 00:30
@Joncallim
Joncallim force-pushed the codex/pr198-cross-sink-proof-docs branch from d0f42c1 to b51f050 Compare July 30, 2026 01:20
@Joncallim
Joncallim marked this pull request as ready for review July 30, 2026 01:35
@Joncallim
Joncallim merged commit e49a3b4 into codex/pr198-cross-sink-production-proof Jul 30, 2026
5 of 6 checks passed

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: b51f0502b1

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

}
expect(runbook).toContain('Redis credential-revocation/namespace proof')
expect(runbook).toContain('complete cross-sink production proof')
expect(runbook).not.toContain(['deferred complete', 'cross-sink production proof'].join(' '))

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Keep the stale-claim check whitespace-tolerant

When Markdown wraps any part of the prohibited phrase onto another line, this exact not.toContain check passes even though the runbook again describes the cross-sink proof as deferred. The previous assertion tolerated whitespace, so normalize the prose or use a \s+-based negative match to preserve the intended regression coverage.

Useful? React with 👍 / 👎.

Comment on lines +204 to +206
The mandatory combined CI proof is
`cross-sink-production-sentinel.postgres-redis.test.ts`. It must pass exactly
1/1 and emit `S4_CROSS_SINK_PRODUCTION_SENTINEL_OK`. It composes the supported

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Add an executable path for the combined-proof gate

When an operator tries to reproduce this newly mandatory gate, the documented filename is insufficient: a direct Vitest run exits successfully with the only test skipped unless destructive mode and three dedicated service URLs are configured, while the disposable database setup and exact 1/1/marker validation exist only inside .github/workflows/web-ci.yml. Include the safe setup and checked invocation, add a wrapper command, or link directly to the relevant workflow step so this release gate is operable from the runbook.

AGENTS.md reference: AGENTS.md:L155-L165

Useful? React with 👍 / 👎.

@Joncallim
Joncallim deleted the codex/pr198-cross-sink-proof-docs branch August 2, 2026 18:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant