proof-burrower/coordination.k9 at main · hyperpolymath/proof-burrower · 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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
K9!
# SPDX-License-Identifier: MPL-2.0
# Declarative session policy data; this file does not execute checks.
{
  pedigree = {
    name = "proof-burrower-coordination",
    version = "0.1.0",
    leash = 'Kennel,
  },
  session_management = {
    source_of_truth = "standards/session-management-standards",
    canonical_commands = [
      "intake repo <path>",
      "checkpoint change <path>",
      "verify maintenance <path>",
      "verify substantial <path>",
      "verify release <path>",
      "close planned <path>",
      "close urgent <path>",
      "recover repo <path>",
      "handover full <path>",
      "handover split <path>",
      "handover model <path>",
      "handover human <path>",
    ],
  },
  signals = [
    {
      name = "session.intake",
      command = "intake repo <path>",
    },
    {
      name = "session.checkpoint",
      command = "checkpoint change <path>",
    },
    {
      name = "session.verify.maintenance",
      command = "verify maintenance <path>",
    },
    {
      name = "session.verify.substantial",
      command = "verify substantial <path>",
    },
    {
      name = "session.verify.release",
      command = "verify release <path>",
    },
    {
      name = "session.close.planned",
      command = "close planned <path>",
    },
    {
      name = "session.close.urgent",
      command = "close urgent <path>",
    },
    {
      name = "session.recover",
      command = "recover repo <path>",
    },
    {
      name = "session.handover.full",
      command = "handover full <path>",
    },
    {
      name = "session.handover.split",
      command = "handover split <path>",
    },
    {
      name = "session.handover.model",
      command = "handover model <path>",
    },
    {
      name = "session.handover.human",
      command = "handover human <path>",
    },
  ],
}