Lexicon Garden

pet.trezy.preferences

Repository @trezy.pet did:plc:ollch4g7tes2reb5eceiwuol namespace authority
Details · record, key literal:self
Kindrecord
Record keyliteral:self
Authoritytrezy.pet
Indexed
Compare Edit in builder → Fork →

Record

record · key literal:self

Properties

featureOffered

boolean

Whether this player has been asked if their pets may be Pet of the Week. ⚠ ACCOUNT ROW ONLY, like typeOffered: being asked is a fact about a person, and asking again on every new device would turn a one-time question into a nag.

typeMode

string

The typeface for any device that has no opinion of its own. Optional, and a client MUST fall back to its own default rather than trusting an unrecognised value.

  • knownValues: pixel | softer | system

typeOffered

boolean

Whether this player has been told the game uses pixel type and shown how to change it. ⚠ IT LIVES ON THE ACCOUNT ROW AND NEVER ON A DEVICE ROW. Having been asked is a fact about a person, not about a browser — per-device, the accessibility notice fires again on every new phone, tablet and laptop, which turns an accommodation into a nag.

updatedAt

requiredstring · datetime

Similar lexicons

semantic match

Lexicons whose schemas describe something close to this one. Check them before publishing a new one that overlaps.

  • pet.trezy.getPreferences

    query

    Everything the caller's account knows about how to present the game: the account-wide default, and every device that has been given its own text style. Takes no DID — it answers for whoever is authenticated and nobody else. ⚠ IT RETURNS THE WHOLE PICTURE RATHER THAN AN ANSWER, deliberately: which of these applies depends on which device is asking and what its browser still remembers, and that reconciliation lives in one tested place on the client (src/lib/preferences.ts) instead of being half he

  • pet.trezy.devicePreference

    record

  • pet.trezy.setPreferences

    procedure

    Save a text style, either for the whole account or for one device. ⚠ `scope` IS REQUIRED AND HAS NO DEFAULT. Guessing it is the one mistake that cannot be undone by guessing again: silently defaulting to `account` changes the typeface on every device somebody owns when they meant to change one, and silently defaulting to `device` leaves them wondering why their laptop never followed. The client always knows which the player asked for, because the player was asked.