Source
This app’s code and revision history are public. Download a copy or explore the files below.
Public
The app’s code and revision history are public.
Run it yourself
Take the whole tree and run it on your own machine. The download needs no account. Cloning needs a sign-in.
Download .zip
bounded clone 381bd6356d4b794ac2a7c1b8
A copy you download is not bounded. The guarantees this app runs under - declared egress, proven invariants, writes that fail closed - live in the runtime serving this page, not in the files. What you get is auditable source you can read and run, with no runtime guarantees attached.
policy-tests/family.json
{
"version": "1",
"name": "creating a family, joining with the family key, logging, and what strangers cannot do",
"actors": { "Mom": "mom_guest", "Dad": "dad_guest", "Eve": "eve_guest" },
"steps": [
{ "op": "setTime", "epoch": 1800000000 },
{ "op": "as", "who": "Eve" },
{ "op": "setMany", "writes": [
{ "path": "households/famAAAAAAAAAAAAAAAAA", "data": { "name": "Ada's family", "tz": "UTC", "createdBy": "$Eve", "createdAt": 1800000000 } },
{ "path": "households/famAAAAAAAAAAAAAAAAA/members/eve_guest", "data": { "name": "Eve", "at": 1800000000 } }
], "shouldFail": true },
{ "op": "as", "who": "Mom" },
{ "op": "setMany", "writes": [
{ "path": "households/famAAAAAAAAAAAAAAAAA", "data": { "name": "Ada's family", "createdBy": "$Dad", "createdAt": 1800000000 } },
{ "path": "households/famAAAAAAAAAAAAAAAAA/members/mom_guest", "data": { "name": "Mom", "at": 1800000000 } },
{ "path": "households/famAAAAAAAAAAAAAAAAA/owners/mom_guest", "data": { "at": 1800000000 } },
{ "path": "householdkeys/famAAAAAAAAAAAAAAAAA", "data": { "key": "secretsecretsecretsecret" } },
{ "path": "ownerkeys/famAAAAAAAAAAAAAAAAA", "data": { "key": "ownerkeyownerkeyownerkey" } }
], "shouldFail": true },
{ "op": "setMany", "writes": [
{ "path": "households/famAAAAAAAAAAAAAAAAA", "data": { "name": "Ada's family", "tz": "UTC", "createdBy": "$Mom", "createdAt": 1800000000 } },
{ "path": "households/famAAAAAAAAAAAAAAAAA/members/mom_guest", "data": { "name": "Mom", "at": 1800000000 } },
{ "path": "households/famAAAAAAAAAAAAAAAAA/owners/mom_guest", "data": { "at": 1800000000 } },
{ "path": "householdkeys/famAAAAAAAAAAAAAAAAA", "data": { "key": "secretsecretsecretsecret" } }
], "shouldFail": true },
{ "op": "setMany", "writes": [
{ "path": "households/famAAAAAAAAAAAAAAAAA", "data": { "name": "Ada's family", "tz": "UTC", "createdBy": "$Mom", "createdAt": 1800000000 } },
{ "path": "households/famAAAAAAAAAAAAAAAAA/members/mom_guest", "data": { "name": "Mom", "at": 1800000000 } },
{ "path": "households/famAAAAAAAAAAAAAAAAA/owners/mom_guest", "data": { "at": 1800000000 } },
{ "path": "householdkeys/famAAAAAAAAAAAAAAAAA", "data": { "key": "secretsecretsecretsecret" } },
{ "path": "ownerkeys/famAAAAAAAAAAAAAAAAA", "data": { "key": "ownerkeyownerkeyownerkey" } },
{ "path": "households/famAAAAAAAAAAAAAAAAA/babies/babyAda", "data": { "name": "Ada", "birth": "2026-09-01", "createdAt": 1800000000 } },
{ "path": "users/mom_guest/households/famAAAAAAAAAAAAAAAAA", "data": { "name": "Ada's family", "at": 1800000000 } }
] },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev1", "data": { "baby": "babyAda", "type": "sleep", "start": 1799999000, "data": "{}", "by": "$Mom", "createdAt": 1800000000 } },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev1", "data": { "end": 1800000000 } },
{ "op": "expect", "expr": "get(/households/famAAAAAAAAAAAAAAAAA/events/ev1).end == 1800000000" },
{ "op": "as", "who": "Eve" },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA", "data": { "name": "Mine now" }, "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/members/eve_guest", "data": { "name": "Eve", "at": 1800000000 }, "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/claims/eve_guest", "data": { "key": "wrongwrongwrongwrongwron", "n": "a" }, "shouldFail": true },
{ "op": "setMany", "writes": [
{ "path": "households/famAAAAAAAAAAAAAAAAA/claims/eve_guest", "data": { "key": "wrongwrongwrongwrongwron", "n": "a" } },
{ "path": "households/famAAAAAAAAAAAAAAAAA/members/eve_guest", "data": { "name": "Eve", "at": 1800000000 } }
], "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev2", "data": { "baby": "babyAda", "type": "diaper", "start": 1800000000, "data": "{}", "by": "$Eve", "createdAt": 1800000000 }, "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev1", "data": { "deleted": true }, "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/babies/babyEve", "data": { "name": "X", "birth": "", "createdAt": 1800000000 }, "shouldFail": true },
{ "op": "set", "path": "householdkeys/famAAAAAAAAAAAAAAAAA", "data": { "key": "evilevilevilevilevilevil" }, "shouldFail": true },
{ "op": "set", "path": "ownerkeys/famAAAAAAAAAAAAAAAAA", "data": { "key": "evilevilevilevilevilevil" }, "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/owners/eve_guest", "data": { "at": 1800000000 }, "shouldFail": true },
{ "op": "set", "path": "users/eve_guest/households/famAAAAAAAAAAAAAAAAA", "data": { "name": "x", "at": 1800000000 }, "shouldFail": true },
{ "op": "set", "path": "users/mom_guest/households/other", "data": { "name": "x", "at": 1800000000 }, "shouldFail": true },
{ "op": "delete", "path": "households/famAAAAAAAAAAAAAAAAA/members/mom_guest", "shouldFail": true },
{ "op": "as", "who": "Dad" },
{ "op": "setMany", "writes": [
{ "path": "households/famAAAAAAAAAAAAAAAAA/claims/dad_guest", "data": { "key": "secretsecretsecretsecret", "n": "a" } },
{ "path": "households/famAAAAAAAAAAAAAAAAA/members/dad_guest", "data": { "name": "Dad", "at": 1800000000 } },
{ "path": "users/dad_guest/households/famAAAAAAAAAAAAAAAAA", "data": { "name": "", "at": 1800000000 } }
] },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev3", "data": { "baby": "babyAda", "type": "bottle", "start": 1800000000, "data": "{\"milk\":\"formula\",\"ml\":120}", "by": "$Dad", "createdAt": 1800000000 } },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev4", "data": { "baby": "babyAda", "type": "bottle", "start": 1800000000, "data": "{}", "by": "$Mom", "createdAt": 1800000000 }, "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev5", "data": { "baby": "babyAda", "type": "party", "start": 1800000000, "data": "{}", "by": "$Dad", "createdAt": 1800000000 }, "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev6", "data": { "baby": "nobody", "type": "diaper", "start": 1800000000, "data": "{}", "by": "$Dad", "createdAt": 1800000000 }, "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev7", "data": { "baby": "babyAda", "type": "diaper", "start": 1800007201, "data": "{}", "by": "$Dad", "createdAt": 1800000000 }, "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev1", "data": { "type": "party" }, "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev1", "data": { "deleted": true } },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/babies/babyBen", "data": { "name": "Ben", "birth": "", "createdAt": 1800000000 } },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/babies/babyBen", "data": { "name": "Benjamin", "archived": true } },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA", "data": { "name": "The Smiths" } },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/members/dad_guest", "data": { "name": "Papa" } },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/members/mom_guest", "data": { "name": "Not mom" }, "shouldFail": true },
{ "op": "delete", "path": "households/famAAAAAAAAAAAAAAAAA/members/mom_guest", "shouldFail": true },
{ "op": "set", "path": "householdkeys/famAAAAAAAAAAAAAAAAA", "data": { "key": "dadkeydadkeydadkeydadkey" }, "shouldFail": true },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/owners/dad_guest", "data": { "at": 1800000000 }, "shouldFail": true },
{ "op": "setMany", "writes": [
{ "path": "households/famAAAAAAAAAAAAAAAAA/ownerclaims/dad_guest", "data": { "key": "guessguessguessguessgues", "n": "a" } },
{ "path": "households/famAAAAAAAAAAAAAAAAA/owners/dad_guest", "data": { "at": 1800000000 } }
], "shouldFail": true },
{ "op": "expect", "expr": "get(/households/famAAAAAAAAAAAAAAAAA/members/dad_guest).name == 'Papa'" },
{ "op": "expect", "expr": "get(/households/famAAAAAAAAAAAAAAAAA/events/ev1).deleted == true" },
{ "op": "expect", "expr": "get(/households/famAAAAAAAAAAAAAAAAA/owners/dad_guest) == null" },
{ "op": "delete", "path": "households/famAAAAAAAAAAAAAAAAA/members/dad_guest" },
{ "op": "set", "path": "households/famAAAAAAAAAAAAAAAAA/events/ev8", "data": { "baby": "babyAda", "type": "diaper", "start": 1800000000, "data": "{}", "by": "$Dad", "createdAt": 1800000000 }, "shouldFail": true }
]
}
Change history
Quality pass: undo on timers, sleep by hour chart, diaper color, fixes
Bounded source sync
Bounded source sync
Bounded source sync