|
1 | | -;;; STATE.scm --- conative-gating conversation checkpoint |
2 | | -;;; Format: Guile Scheme S-expressions |
3 | | -;;; Schema: RSR STATE v2.0 |
4 | | -;;; |
5 | | -;;; SLM-as-Cerebellum for LLM Policy Enforcement |
6 | | -;;; with inhibitory antagonist consensus mechanism. |
| 1 | +;;; STATE.scm — conative-gating |
| 2 | +;; SPDX-License-Identifier: AGPL-3.0-or-later |
| 3 | +;; SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell |
7 | 4 |
|
8 | | -(define state |
9 | | - `((metadata |
10 | | - (format-version . "2.0") |
11 | | - (schema-version . "2025-12-10") |
12 | | - (project . "conative-gating") |
13 | | - (created . "2025-12-09") |
14 | | - (updated . "2025-12-10T21:00:00Z")) |
| 5 | +(define metadata |
| 6 | + '((version . "0.1.0") (updated . "2025-12-15") (project . "conative-gating"))) |
15 | 7 |
|
16 | | - (position |
17 | | - (summary . "SLM-as-Cerebellum for LLM Policy Enforcement") |
18 | | - (phase . research-design) |
19 | | - (maturity . alpha) |
20 | | - (rsr-tier . 1) |
21 | | - (primary-language . "rust") |
22 | | - (domain . "AI Safety")) |
| 8 | +(define current-position |
| 9 | + '((phase . "v0.1 - Initial Setup") |
| 10 | + (overall-completion . 25) |
| 11 | + (components ((rsr-compliance ((status . "complete") (completion . 100))))))) |
23 | 12 |
|
24 | | - (context |
25 | | - (last-session . "2025-12-10") |
26 | | - (focus-area . "MAAF ecosystem integration") |
27 | | - (blockers . ()) |
28 | | - (decisions-pending |
29 | | - ("SLM model selection" |
30 | | - "Consensus threshold tuning"))) |
| 13 | +(define blockers-and-issues '((critical ()) (high-priority ()))) |
31 | 14 |
|
32 | | - (architecture |
33 | | - (pattern . "inhibitory-antagonist") |
34 | | - (consensus . "modified-pbft") |
35 | | - (asymmetry . 1.5) |
36 | | - (components |
37 | | - ((name . "Policy Oracle") |
38 | | - (language . "rust") |
39 | | - (status . planned) |
40 | | - (files . ("src/oracle/"))) |
41 | | - ((name . "SLM Bindings") |
42 | | - (language . "rust") |
43 | | - (status . planned) |
44 | | - (files . ("src/slm/"))) |
45 | | - ((name . "Arbiter") |
46 | | - (language . "elixir") |
47 | | - (status . planned) |
48 | | - (files . ("arbiter/"))) |
49 | | - ((name . "Policy Config") |
50 | | - (language . "nickel") |
51 | | - (status . planned) |
52 | | - (files . ("policy/"))))) |
| 15 | +(define critical-next-actions |
| 16 | + '((immediate (("Verify CI/CD" . high))) (this-week (("Expand tests" . medium))))) |
53 | 17 |
|
54 | | - (predecessors |
55 | | - (echomesh . archived) |
56 | | - (upm . archived) |
57 | | - (rhodibot . partial-archived) |
58 | | - (elegant-state . simplified)) |
| 18 | +(define session-history |
| 19 | + '((snapshots ((date . "2025-12-15") (session . "initial") (notes . "SCM files added"))))) |
59 | 20 |
|
60 | | - (ecosystem |
61 | | - (part-of . ("RSR Framework" "MAAF")) |
62 | | - (depends-on . ("consent-aware-http" "wharf" "kith")) |
63 | | - (integrates-with |
64 | | - . ("indieweb2-bastion" |
65 | | - "cadre-router" |
66 | | - "zotero-nsai" |
67 | | - "echidna" |
68 | | - "fogbinder" |
69 | | - "vext"))) |
70 | | - |
71 | | - (issues |
72 | | - (active . ("Initial implementation" "MAAF integration")) |
73 | | - (resolved . ("Architecture design" "RSR standardization")) |
74 | | - (known-limitations . ("SLM model not selected")) |
75 | | - (technical-debt . ())) |
76 | | - |
77 | | - (roadmap |
78 | | - (current-version . "0.0.1") |
79 | | - (next-milestone . "Policy Oracle MVP") |
80 | | - (version-plan |
81 | | - ((version . "0.1.0") |
82 | | - (features . ("Policy Oracle" "Nickel schema" "Basic consensus"))) |
83 | | - ((version . "0.2.0") |
84 | | - (features . ("SLM integration" "Elixir arbiter" "AIBDP enforcement"))))) |
85 | | - |
86 | | - (session-files |
87 | | - ("STATE.scm" |
88 | | - "docs/MAAF_INTEGRATION.adoc" |
89 | | - "README.adoc")) |
90 | | - |
91 | | - (notes |
92 | | - "Core policy enforcement for RSR ecosystem. Uses inhibitory antagonist |
93 | | - pattern where SLM acts as cerebellum providing fast policy checks while |
94 | | - larger models handle complex reasoning. Integrates with MAAF for consent |
95 | | - enforcement and indieweb2-bastion for identity/provenance. |
96 | | -
|
97 | | - Key MAAF integrations: |
98 | | - - kith for .well-known/ management |
99 | | - - consent-aware-http for HTTP 430 |
100 | | - - echidna for proof provenance |
101 | | - - vext for IRC notifications"))) |
102 | | - |
103 | | -state |
| 21 | +(define state-summary |
| 22 | + '((project . "conative-gating") (completion . 25) (blockers . 0) (updated . "2025-12-15"))) |
0 commit comments