Privacy for received mail

What an app's watched mailboxes hold about a person, as Osysharp.Privacy's holder — the mail they sent, as it arrived (ReceivedMail and its original), in their copy of their data, and erased when they ask.

app Desk {
  use Osysharp.Mail.Receiving@0;
  use Osysharp.Privacy@0;
  // Osysharp.Privacy.MailReceiving is not written: it arrives by itself, because the app uses what it completes (`osy lock` says so)
}

• One category, mail.received (contract, portable), found by the exact sender address (EraseMailFrom).
• An adapter, so neither kit forces the other on an app.

Its test app (tests/app.osy) and tests/received.test.osy show a request reaching received mail.

Get it

Add the kit to your app’s manifest:

app MyApp {
  use Osysharp.Privacy.MailReceiving@0;
}

Then run osy lock: it downloads the release, verifies it by its content address and pins that version in osyrin.lock. osy kits Osysharp.Privacy.MailReceiving shows what the kit is for, from inside your app.

Reference: osy docs security-privacy-kit.