Unknown means keep
Models cannot authorize closure of unknown or risky state. A user must deliberately override the warning for that exact tab.
Security & safety
Tab closure is destructive enough to deserve a transaction boundary. A saved snapshot and receipt are prerequisites—not cleanup after the fact.
Safety invariants
Models cannot authorize closure of unknown or risky state. A user must deliberately override the warning for that exact tab.
The lifecycle requires snapshot persistence, analysis completion, and receipt persistence before closure starts.
The reviewed plan names concrete tab IDs. Restore data never grants permission to close a different future tab.
Separate SHA-256 values are recomputed for the snapshot and receipt payload. They catch corruption or edits whose values were not recomputed; they are not signatures or tamper evidence.
After strict parsing, portable verification rejects receipts or snapshots above 10 million JavaScript characters or 5,000 tabs; relay schemas apply tighter field limits. This is not a pre-parse byte limit.
When remote analysis is selected, known secret patterns are removed before transmission.
Threat boundary
Titles, URLs, page text, favicons, and model output can be misleading or malicious. They are data, never instructions. Deterministic policy remains outside the model.
A receipt can reopen URLs in a useful order. It cannot reconstruct every volatile application state. Authentication, forms, carts, live media, scroll positions, POST requests, expired signed URLs, and content changed by a site may be gone.
That limitation is why potentially stateful tabs should remain open. A restore button is not permission to close a risky tab.
Reporting
This is a pre-release codebase. Use the contact route for responsible disclosure; include the affected version, browser, minimal reproduction, and impact.
Use the repository’s private vulnerability-reporting route. Configure NEXT_PUBLIC_CONTACT_EMAIL before public deployment.
Receipt first. Close second.
Inspect the demo receipt, lifecycle, and limitations before relying on closure.