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.

Owned app · rev bc888334fc51

Run it yourself

Take the whole tree and run it on your own machine. The download needs no account. Cloning needs a sign-in.

bounded clone e8a688fd21351d04b05468df

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.

← All files

policy-tests/personal.json

{
 "version": "1",
 "name": "habits and settings are private to their owner",
 "actors": {
  "Ann": "ann_user",
  "Ben": "ben_user"
 },
 "steps": [
  {
   "op": "set",
   "path": "people/ann_user/habits/habit1",
   "data": {
    "data": "{}"
   },
   "shouldFail": true
  },
  {
   "op": "as",
   "who": "Ann"
  },
  {
   "op": "set",
   "path": "people/ann_user",
   "data": {
    "data": "{\"name\":\"Ann\",\"weekStart\":1,\"at\":1}"
   }
  },
  {
   "op": "set",
   "path": "people/ann_user",
   "data": {
    "data": "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"
   },
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "people/ann_user/habits/habit1",
   "data": {
    "data": "{\"id\":\"habit1\",\"name\":\"Read\"}"
   }
  },
  {
   "op": "set",
   "path": "people/ann_user/habits/habit1",
   "data": {
    "data": "{\"id\":\"habit1\",\"name\":\"Read 10 pages\"}"
   }
  },
  {
   "op": "set",
   "path": "people/ann_user/habits/habit1",
   "data": {
    "data": "{}",
    "more": "x"
   },
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "people/ann_user/notes/n1",
   "data": {
    "data": "{}"
   },
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "people/ann_user/habits/abc",
   "data": {
    "data": "{}"
   },
   "shouldFail": true
  },
  {
   "op": "delete",
   "path": "people/ann_user/habits/habit1",
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "people/ben_user/habits/habit9",
   "data": {
    "data": "{}"
   },
   "shouldFail": true
  },
  {
   "op": "as",
   "who": "Ben"
  },
  {
   "op": "set",
   "path": "people/ann_user",
   "data": {
    "data": "{}"
   },
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "people/ann_user/habits/habit1",
   "data": {
    "data": "{}"
   },
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "people/ann_user/habits/habit2",
   "data": {
    "data": "{}"
   },
   "shouldFail": true
  },
  {
   "op": "delete",
   "path": "people/ann_user",
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "people/ben_user/habits/habit9",
   "data": {
    "data": "{}"
   }
  },
  {
   "op": "expect",
   "expr": "get(/people/ann_user/habits/habit1).data == '{\"id\":\"habit1\",\"name\":\"Read 10 pages\"}'"
  }
 ]
}

Change history

Point OpenApps links to openapps.free

bc888334fc · 18 hours ago

Bind agent address in policy

1f744a2b83 · 19 hours ago

Use OpenApp service URLs and add contribution strip

a9bb601ee0 · 19 hours ago

Bounded source sync

5646afc3a0 · 1 day ago

Bounded source sync

f1b1bac8d6 · 1 day ago

Bounded source sync

b1e14b41b0 · 1 day ago