// Package aviso is rastrillo's Web Push addon: the subscriptions a
// signed-in person enrols from their browsers, the VAPID key that
// signs for them, and a sender that moves an app's payload to those
// devices through the browser vendors' push services.
//
// Two rulings bind everything here, both from rastrillo's addons
// doctrine. The arrow points one way: aviso depends on rastrillo,
// rastrillo never learns aviso exists. The app owns policy: aviso
// moves bytes to devices a subject enrolled and never decides who
// should be told what — recipient selection, payload meaning and the
// service worker's lifecycle are the app's.
//
// Design: docs/superpowers/specs/2026-09-07-aviso-web-push-design.md.
package aviso