quantmodel — Prove two-user isolation and backup restore

Objective

Prove two-user isolation and backup restore.

Notes: Real ephemeral PostgreSQL proves anon denial, two-user RLS isolation, owner CRUD/dedup, and data-only backup restore; documented operator restore drill in research/findings/account-isolation-backup-t290.md.

Approach

Reuses existing report research/findings/account-isolation-backup-t290.md — tables/metrics preserved verbatim via source_report pointer. Body below summarizes grounded evidence from that report and adjacent artifacts.

Files / code / data changed

No commit SHA confidently associated with t290 in sampled log [reconstructed — uncertain].
Source report: research/findings/account-isolation-backup-t290.md
Task-history entry: research/findings/task-history.json#t290

Results

Conclusions and metrics are in research/findings/account-isolation-backup-t290.md; see detail page for preserved tables/metrics.

Conclusions

[reconstructed — uncertain] Outcome inferred from status done and task note.

Problems / follow-ups

See source report or PR discussion for follow-ups. No unsupported follow-ups fabricated.