Riverbraid-Memory-Gold/protocol.steps at main · Riverbraid/Riverbraid-Memory-Gold · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
{
  "schema": "riverbraid.gold.protocol.steps",
  "version": "1.0.0",
  "repo": "Riverbraid-Memory-Gold",
  "ring": 1,
  "petal": "Memory-Gold",
  "invariant": "MEMORY_STATIONARY",
  "claim_boundary": "declared-conditions-only",
  "canonical_input": {
    "repo": "Riverbraid-Memory-Gold",
    "petal": "Memory-Gold",
    "ring": 1,
    "invariant": "MEMORY_STATIONARY"
  },
  "expected_result": true,
  "steps": [
    "receive canonical stationarity object",
    "require repo to equal Riverbraid-Memory-Gold",
    "require petal to equal Memory-Gold",
    "require ring to equal 1",
    "require invariant to equal MEMORY_STATIONARY",
    "emit deterministic verification output"
  ],
  "forbidden": [
    "Date",
    "Math.random",
    "randomUUID",
    "timestamps",
    "absolute paths",
    "environment dependent values",
    "external lookups"
  ]
}