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 11d38ef641b0

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 9383f719c9b37ff76411858f

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/codes.json

{
  "version": "1",
  "name": "pairing codes expire and tries are capped",
  "actors": { "Baby": "baby_device", "Other": "other_station", "Mom": "mom_device" },
  "steps": [
    { "op": "setTime", "epoch": 1800000000 },
    { "op": "as", "who": "Baby" },
    { "op": "set", "path": "codes/482913", "data": { "room": "aaaaaaaaaaaaaaaaaaaa", "by": "$Baby", "at": 1800000000 } },
    { "op": "set", "path": "codes/482914", "data": { "room": "short", "by": "$Baby", "at": 1800000000 }, "shouldFail": true },
    { "op": "set", "path": "codes/482915", "data": { "room": "aaaaaaaaaaaaaaaaaaaa", "by": "$Baby", "at": 1900000000 }, "shouldFail": true },
    { "op": "as", "who": "Other" },
    { "op": "set", "path": "codes/482913", "data": { "room": "cccccccccccccccccccc", "by": "$Other", "at": 1800000000 }, "shouldFail": true },
    { "op": "delete", "path": "codes/482913", "shouldFail": true },
    { "op": "advanceTime", "seconds": 601 },
    { "op": "set", "path": "codes/482913", "data": { "room": "cccccccccccccccccccc", "by": "$Other", "at": 1800000601 } },
    { "op": "delete", "path": "codes/482913" },

    { "op": "as", "who": "Mom" },
    { "op": "set", "path": "codetries/other_station/t/000001", "data": { "n": 1 }, "shouldFail": true },
    { "op": "set", "path": "codetries/mom_device/t/000001", "data": { "n": 5 }, "shouldFail": true },
    { "op": "set", "path": "codetries/mom_device/t/000001", "data": { "n": 1 } },
    { "op": "set", "path": "codetries/mom_device/t/000001", "data": { "n": 1 }, "shouldFail": true },
    { "op": "set", "path": "codetries/mom_device/t/000002", "data": { "n": 1 } },
    { "op": "set", "path": "codetries/mom_device/t/000003", "data": { "n": 1 } },
    { "op": "set", "path": "codetries/mom_device/t/000004", "data": { "n": 1 } },
    { "op": "set", "path": "codetries/mom_device/t/000005", "data": { "n": 1 } },
    { "op": "set", "path": "codetries/mom_device/t/000006", "data": { "n": 1 } },
    { "op": "set", "path": "codetries/mom_device/t/000007", "data": { "n": 1 } },
    { "op": "set", "path": "codetries/mom_device/t/000008", "data": { "n": 1 } },
    { "op": "set", "path": "codetries/mom_device/t/000009", "data": { "n": 1 } },
    { "op": "set", "path": "codetries/mom_device/t/000010", "data": { "n": 1 } },
    { "op": "set", "path": "codetries/mom_device/t/000011", "data": { "n": 1 }, "shouldFail": true },
    { "op": "advanceTime", "seconds": 601 },
    { "op": "set", "path": "codetries/mom_device/t/000011", "data": { "n": 1 } }
  ]
}

Change history

Move store links to openapps.free

11d38ef641 · 17 hours ago

Release with preview

41c8af3ee5 · 19 hours ago

Bind agent address in policy

5b2d792529 · 19 hours ago

Use OpenApps service URLs and add contribution strip (retry)

be4477dcb3 · 19 hours ago

Bounded source sync

5c9ec00c29 · 2 days ago

Bounded source sync

b33aa231f4 · 2 days ago

Bounded source sync

6cb67b3c8e · 2 days ago

Bounded source sync

e054acaa29 · 2 days ago