Bounded rollback proof completed using isolated archives and synthetic data only. New1e862f80752004d16db98693c25d4c693dc19510 created actual additive BootSchema, two existing local people, owned/shared/private documents, real Yjs updates in legacy encoding0, an address grant, explicit double-auth identity link, ordinary Home session and legacy local sessions. Both old preview8a126727ae93fedadcc9af0ee8048334edd803a4 and production87662f5b246004aca604a4b040cb6691cfd7f130 reopen that database through their actual App.New and router.
With explicit production-mode local-email admission and the same origin/keys/path, both refuse Home cookie GET303 and POST403 before allocating a person; legacy owned/shared200 and other-owner-private404 remain correct. Actual old local email verification rotates its presented legacy cookie and preserves the existing person; supported same-origin POST/signout revokes a Home cookie. Exact people/document/update/grant snapshots and the additive identity-link row stay unchanged.
Rollback is CONDITIONAL, not universally safe. Both old builds lack a home-assertion method discriminator and turn Subject into Address. Negative controls on the same seed proved that adding the opaque subject to the allowlist, or admit-all development mode, accepts the Home cookie and creates one bogus person plus six sample documents (people2->3, documents3->9). Preserve the restrictive valid local-email allowlist during activation AND rollback; never widen it to make an opaque Home session work on old code. Normal address-grant validation also matters; manually corrupted opaque grant data is outside the proof. Old Home sessions should fall back to local signin, or users can use the existing signout route. No supported bulk method-specific revoke was found and no raw production DB cleanup is proposed.
Evidence /tmp/oficina-docs-rollback-proof/summary.json, seed-result.json, preview-result.json, production-result.json and corresponding test logs; both old probes exited0. Tests used archived source plus temporary probes, no repository code edits, mail delivery, deploy or real data/secrets. This proves synthetic encoding0/schema/session compatibility, not live production activation or platform process cycling. Private fixture.json and database artifacts contain synthetic bearer tokens and must not be printed/published.