Skip to content

feat(pinballmap): persist checked location candidates - #2085

Open
timothyfroehlich wants to merge 4 commits into
mainfrom
codex/PP-o355-51-6-2-1-checked-candidates
Open

feat(pinballmap): persist checked location candidates#2085
timothyfroehlich wants to merge 4 commits into
mainfrom
codex/PP-o355-51-6-2-1-checked-candidates

Conversation

@timothyfroehlich

@timothyfroehlich timothyfroehlich commented Sep 8, 2026

Copy link
Copy Markdown
Owner

Summary

  • persist ten-minute, administrator-bound Pinball Map location candidates in an RLS-protected server-only table
  • split Check ID from commit so Save reuses the checked snapshot without another request or allowance token
  • preserve configuration generation, mutation-lease, sync-health, and dormant-state race protections with typed outcomes

Test Plan

  • pnpm run check
  • pnpm run test (2,709 tests)
  • Crabbox PGlite integration suite (728 tests)
  • real-Supabase integration suite (117 tests), including candidate RLS coverage (3 tests)
  • fresh local pnpm run db:reset through migration 0075 and all seeds
  • pnpm run db:generate reports no schema changes
  • preflight static checks, build, unit, PGlite, and real-Supabase stages
  • local smoke stage was blocked by host EMFILE exhaustion and a stale shared GNU Parallel semaphore; exact-head CI will provide the clean-host browser result

Dependencies

PR #2054 — docs(pinballmap): reconcile §10 + region alerts with Check-ID config-card design — and PR #2064 — feat(pinballmap): announce region removals (PP-o355.51.9) — are merged. This branch merged updated main after PR #2064 and regenerated the candidate migration as 0075 per the Drizzle conflict protocol.

Related Issues

Bead PP-o355.51.6.2.1

—Codex-PBMConfigCard

@timothyfroehlich timothyfroehlich added the Codex Pull requests implemented by Codex label Sep 8, 2026
@vercel

vercel Bot commented Sep 8, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
pin-point Ready Ready Preview Sep 10, 2026 1:58pm UTC

Request Review

@timothyfroehlich

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 8, 2026

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review Completed 2026-09-10T14:25:01.098139Z 62509e6 Manual request
ℹ️ 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" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Delightful!

Reviewed commit: 1cbb95dd0f

ℹ️ 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".

…1-checked-candidates

# Conflicts:
#	drizzle/meta/0072_snapshot.json
#	drizzle/meta/_journal.json
@timothyfroehlich

Copy link
Copy Markdown
Owner Author

@codex review

@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: 65b2ea5d36

ℹ️ 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".

Comment thread src/lib/pinballmap/state.ts
@timothyfroehlich

Copy link
Copy Markdown
Owner Author

@codex review

@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: 62509e6faf

ℹ️ 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".

Comment on lines +704 to +705
expectedGeneration,
snapshotJson: snapshot,

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 Invalidate checked snapshots after outbound lineup writes

When an admin checks the currently tracked location and another authorized user completes an add/remove before Save, the outbound action updates snapshotJson but does not increment configurationGeneration; this candidate therefore remains valid and Save replaces the updated snapshot with the pre-mutation copy. That temporarily loses the new lineup state and can surface incorrect Missing/Lingering controls until the next sync, contrary to spec §10.9's freshly fetched snapshot requirement. Bind candidates to a state/snapshot revision changed by outbound writes and verify it transactionally at commit, or invalidate them when those writes complete. —Codex

AGENTS.md reference: AGENTS.md:L43-L46

Useful? React with 👍 / 👎.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Codex Pull requests implemented by Codex

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant