@agentikos/omega-os 0.19.38 → 0.19.39

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (31) hide show
  1. package/omega/Agentik_Engine/omega_engine/__init__.py +1 -1
  2. package/omega/Agentik_Engine/omega_engine/__pycache__/cli.cpython-313.pyc +0 -0
  3. package/omega/Agentik_Engine/omega_engine/__pycache__/paperclip_bridge.cpython-313.pyc +0 -0
  4. package/omega/Agentik_Engine/omega_engine/__pycache__/prompt_audit.cpython-313.pyc +0 -0
  5. package/omega/Agentik_Engine/omega_engine/__pycache__/tmux.cpython-313.pyc +0 -0
  6. package/omega/Agentik_Engine/omega_engine/__pycache__/tui.cpython-313.pyc +0 -0
  7. package/omega/Agentik_Engine/omega_engine/cli.py +39 -0
  8. package/omega/Agentik_Engine/omega_engine/paperclip_bridge.py +110 -0
  9. package/omega/Agentik_Engine/omega_engine/prompt_audit.py +395 -0
  10. package/omega/Agentik_Engine/omega_engine/tmux.py +16 -0
  11. package/omega/Agentik_Engine/omega_engine/tui.py +269 -67
  12. package/omega/Agentik_Engine/pyproject.toml +1 -1
  13. package/omega/Agentik_Engine/tests/__pycache__/test_paperclip_status.cpython-313-pytest-8.4.2.pyc +0 -0
  14. package/omega/Agentik_Engine/tests/__pycache__/test_paperclip_status.cpython-313.pyc +0 -0
  15. package/omega/Agentik_Engine/tests/__pycache__/test_prompt_audit.cpython-313-pytest-8.4.2.pyc +0 -0
  16. package/omega/Agentik_Engine/tests/__pycache__/test_prompt_audit.cpython-313.pyc +0 -0
  17. package/omega/Agentik_Engine/tests/__pycache__/test_tui_runtime.cpython-313-pytest-8.4.2.pyc +0 -0
  18. package/omega/Agentik_Engine/tests/__pycache__/test_tui_runtime.cpython-313.pyc +0 -0
  19. package/omega/Agentik_Engine/tests/test_paperclip_status.py +142 -0
  20. package/omega/Agentik_Engine/tests/test_prompt_audit.py +199 -0
  21. package/omega/Agentik_Engine/tests/test_tui_runtime.py +106 -0
  22. package/omega/Agentik_SSOT/VERSION +1 -1
  23. package/omega/Agentik_SSOT/docs/AUDIT-V0.19.39.md +161 -0
  24. package/omega/Agentik_SSOT/rules/audit-gates.md +189 -0
  25. package/omega/Agentik_SSOT/rules/constitution.md +7 -0
  26. package/omega/Agentik_SSOT/rules/orchestration.md +215 -0
  27. package/omega/Agentik_SSOT/rules/prompt-protocols.md +219 -0
  28. package/omega/Agentik_SSOT/rules/scope-safety.md +197 -0
  29. package/omega/Agentik_SSOT/rules/three-laws.md +214 -0
  30. package/omega/Agentik_SSOT/rules/verified-completion.md +216 -0
  31. package/package.json +1 -1
@@ -1,3 +1,10 @@
1
+ ---
2
+ id: constitution
3
+ layer: L0-governance
4
+ applies_to: [aisb, oracle, worker, hermes]
5
+ priority: 1
6
+ ---
7
+
1
8
  # The Omega OS Constitution
2
9
 
3
10
  > The rules every agent at every level inherits. Provider-neutral. Compiled into
@@ -0,0 +1,215 @@
1
+ ---
2
+ id: orchestration
3
+ layer: L0-governance
4
+ applies_to: [aisb, oracle, worker, hermes]
5
+ priority: 3
6
+ ---
7
+
8
+ # Orchestration — Who Dispatches What
9
+
10
+ > OmegaOS is a five-layer agentic OS with one optional governance roof
11
+ > (L0/Paperclip). This file fixes the dispatch hierarchy, the decisions
12
+ > log discipline, and the fresh-context template every layer uses when
13
+ > handing work down. The architecture itself is defined in
14
+ > `../docs/LAYERS.md`; this file makes it *operational*.
15
+
16
+ ## The hierarchy
17
+
18
+ ```
19
+ L0 Paperclip (optional governance roof — budget, org chart, approvals)
20
+ L1 Human (Telegram, CLI, web — three doors into the system)
21
+ L2 Hermès (meta-companion — Anthropic API, separate budget)
22
+ L3 AISB (intake / orchestrator — Claude Max OAuth)
23
+ L4 Oracle (per-project planner — persistent tmux session)
24
+ L5 Workers (executors — one per subtask, .done.json verified)
25
+ ```
26
+
27
+ Each layer is *independently usable*. Skip L0 and L2 and OmegaOS is
28
+ still a complete agentic OS: a human writes intent, AISB classifies,
29
+ Oracle plans, Workers execute, the engine verifies.
30
+
31
+ ## Dispatch rules
32
+
33
+ The arrows below define *who is permitted to dispatch to whom*. Any
34
+ other dispatch is a violation and the receiving layer must refuse.
35
+
36
+ | From | May dispatch to | Notes |
37
+ |---|---|---|
38
+ | L1 Human | L2 Hermès, L3 AISB | Three doors: Telegram-to-Hermès, Telegram-to-AISB, CLI/tmux. |
39
+ | L0 Paperclip | L2 Hermès, L3 AISB | Approval gates; never bypasses the lower layers. |
40
+ | L2 Hermès | L3 AISB | Hermès cannot reach Oracle or Worker directly. Missions go through AISB. |
41
+ | L3 AISB | L4 Oracle | One Oracle per project. AISB never spawns a Worker directly. |
42
+ | L4 Oracle | L5 Workers | One Worker per subtask, with a verify command. |
43
+ | L5 Worker | — | A Worker never dispatches. If more work is needed, it returns `status: pending` and lets Oracle decide. |
44
+
45
+ **Why no skipping.** Each step adds a layer of intent translation. AISB
46
+ turns a freeform human prompt into a typed mission. Oracle turns a
47
+ mission into a DAG of subtasks with verify commands. A Worker that
48
+ receives a freeform human prompt has no scope, no verify command, and
49
+ no way to call itself done — the verified-completion contract breaks.
50
+
51
+ ## Roles in one line
52
+
53
+ - **L0 Paperclip.** Approvals + budget + org chart. Read-only over L1–L5
54
+ unless a budget guard fires.
55
+ - **L1 Human.** Author of intent. Reads final reports. Approves
56
+ destructive ops.
57
+ - **L2 Hermès.** Meta-reasoning, scheduling, learning. Watches
58
+ observations, proposes missions, dispatches them down to L3.
59
+ - **L3 AISB.** Intake. Classifies a mission (simple / medium / complex /
60
+ epic), picks a topology, hands to L4.
61
+ - **L4 Oracle.** Per-project planner. Reads the mission, builds the
62
+ outcome rubric (see `audit-gates.md`), dispatches Workers, polices
63
+ their `done.json`, runs the close-coherence audit.
64
+ - **L5 Worker.** Executor. Owns a strict file scope
65
+ (`spec.scope.files_owned`), writes `done.json` when the verify
66
+ command passes.
67
+
68
+ ## The decisions log
69
+
70
+ Every layer that makes a non-trivial routing or design choice **MUST**
71
+ append to `.orchestrator/decisions.md` in the project root:
72
+
73
+ ```markdown
74
+ ### [ISO-8601 timestamp] Decision title
75
+ - **Task:** what was asked
76
+ - **Classification:** SIMPLE / MEDIUM / COMPLEX / EPIC
77
+ - **Decision:** what was chosen (agent, topology, audit set, scope)
78
+ - **Rationale:** why (one line)
79
+ - **Falsifier:** the runtime check that would prove this wrong
80
+ ```
81
+
82
+ The log is append-only. Past entries are never edited — only superseded
83
+ by a new entry that cites the old one. AISB and Oracle both write to
84
+ the same file; Workers write only if they exercise the Third Law and
85
+ correct a premise inside a dispatched session.
86
+
87
+ Reason: when a mission is re-opened a week later, the *why* is in the
88
+ log. Without it the next agent has to reverse-engineer past intent from
89
+ diffs.
90
+
91
+ ## The fresh-context template (mandatory at every dispatch)
92
+
93
+ When *any* layer dispatches to the one below it, the brief MUST contain
94
+ the following sections. Empty sections are allowed; missing sections
95
+ are a contract violation.
96
+
97
+ ```
98
+ ## Mission
99
+ <1-2 line summary of the goal>
100
+
101
+ ## Purpose
102
+ <why this matters — links the work to the human intent at L1>
103
+
104
+ ## Context
105
+ <project root, deployed URL, stack, relevant prior runs>
106
+
107
+ ## What's Done
108
+ <bullet list of completed work in this mission so far>
109
+
110
+ ## Current Task
111
+ <specific files, line numbers, exact changes — surgical scope>
112
+
113
+ ## Done Criteria
114
+ <measurable condition: a shell-checkable predicate, an audit verdict,
115
+ a screenshot diff, a passing test>
116
+
117
+ ## Verify Command
118
+ <exact command the receiver runs to prove it satisfied Done Criteria>
119
+
120
+ ## Key Decisions
121
+ <excerpts from .orchestrator/decisions.md relevant to this task>
122
+
123
+ ## Files in Scope
124
+ <the receiver's spec.scope.files_owned — files it may edit>
125
+
126
+ ## Relevant Memories
127
+ <pre-selected lessons-learned entries — NOT a full dump>
128
+ ```
129
+
130
+ **Why both Done Criteria and Verify Command.** Without `Done Criteria`
131
+ the receiver redefines "done" mid-stream. Without `Verify Command` the
132
+ dispatcher cannot independently confirm — and the verified-completion
133
+ contract demands an independent third party (see
134
+ `verified-completion.md`).
135
+
136
+ ## Fresh context vs context overlap
137
+
138
+ When a layer hands a sub-mission to a fresh agent, the dispatcher
139
+ decides between two patterns:
140
+
141
+ | Pattern | When | Cost |
142
+ |---|---|---|
143
+ | **Continue agent** | High overlap with prior subtask; the prior agent already holds the relevant files and state in working memory. | Cheap but risks context bloat past compaction thresholds. |
144
+ | **Spawn fresh** | New domain, new files, new specialist. The dispatcher pre-inlines a summary of prior results into the fresh brief. | Slightly more expensive, guarantees a clean slate. |
145
+
146
+ Default is *spawn fresh* for any subtask that crosses a layer or a
147
+ domain boundary. Continue only inside a single layer's working session.
148
+
149
+ ## Multi-Oracle on the same project
150
+
151
+ Multiple Oracles can run in parallel on the same project. The engine
152
+ serialises *file ownership*, not Oracle count.
153
+
154
+ - AISB checks the per-project Oracle registry before dispatching. If
155
+ an Oracle is *idle* (no Workers, at prompt, >5 min), AISB reuses
156
+ it. Otherwise AISB spawns Oracle #2 (`oracle-<Project>-2`).
157
+ - Each Oracle declares `files_owned` for its mission. Two Oracles
158
+ cannot claim overlapping files.
159
+ - The patrol auto-cleans dead Oracles every 5 minutes.
160
+ - A registry file at `Agentik_Runtime/oracles/<Project>-<id>.json`
161
+ records the Oracle's mission, scope, and heartbeat.
162
+
163
+ ## Worker batching (parallel-safe)
164
+
165
+ Inside a single Oracle, Workers may run *in parallel* if and only if
166
+ their file footprints are disjoint. The Oracle's plan groups subtasks
167
+ into batches:
168
+
169
+ - **Narrow** subtasks: identifiable file set, no overlap with other
170
+ narrow tasks → packable into a batch of up to N (typical N = 3 or 4).
171
+ - **Broad** subtasks: vague scope, no identifiable file footprint →
172
+ run alone, serially.
173
+ - **Terminal** subtasks: touch infrastructure (env files, package
174
+ manifests, migrations) → always run alone, after all batches.
175
+
176
+ Two Workers on the same file at the same time is a contract violation
177
+ even if their edits "wouldn't conflict" — the assertion of disjointness
178
+ itself is the contract.
179
+
180
+ ## Close-coherence (Oracle's final check)
181
+
182
+ When all Workers report `done_clean`, the Oracle runs a *close-
183
+ coherence* pass before reporting up to AISB:
184
+
185
+ 1. Re-read the mission brief.
186
+ 2. For each Worker, confirm its `done.json` matches the brief's slice.
187
+ 3. Run the audit set the brief requires (see `audit-gates.md`).
188
+ 4. Write the Oracle's own `done.json` with `consensus_score`,
189
+ `regressions`, and the final verdict.
190
+
191
+ An Oracle that skips close-coherence has not finished its job, even if
192
+ every Worker did.
193
+
194
+ ## The "no idle wait" invariant
195
+
196
+ The Third Law applies to *every* dispatched session in this hierarchy
197
+ (L2 ↔ L3 ↔ L4 ↔ L5). The only sessions where a question may be asked
198
+ of a human are sessions L1 owns directly — typically an interactive
199
+ shell or a Telegram DM the human is actively reading.
200
+
201
+ Practical detection rule for an agent: *"Am I attached to a tmux
202
+ session whose name starts with `oracle-`, `aisb-`, or contains
203
+ `-worker-`?"* If yes, no questions; decide and proceed
204
+ (`prompt-protocols.md` for the exact `blocked.json` fallback).
205
+
206
+ ## Cross-references
207
+
208
+ - `constitution.md` — Prime Principle, Three Laws.
209
+ - `three-laws.md` — expanded Third Law (no idle wait).
210
+ - `prompt-protocols.md` — brief / done.json / blocked.json schemas.
211
+ - `audit-gates.md` — which audits gate which dispatch transitions.
212
+ - `scope-safety.md` — `spec.scope.files_owned` discipline.
213
+ - `verified-completion.md` — terminal states an Oracle/Worker may report.
214
+ - `../docs/LAYERS.md` — formal L1–L5 architecture and credential model.
215
+ - `../personas/OMEGAOS-CONTEXT.md` — provider-neutral working context.
@@ -0,0 +1,219 @@
1
+ ---
2
+ id: prompt-protocols
3
+ layer: L0-governance
4
+ applies_to: [aisb, oracle, worker, hermes]
5
+ priority: 4
6
+ ---
7
+
8
+ # Prompt Protocols — Brief, Done, Blocked
9
+
10
+ > Every dispatch in OmegaOS is a contract: a brief in, a `done.json`
11
+ > out, with `blocked.json` as the escape valve. This file fixes the
12
+ > three schemas, the LMC (Lead-Manager-Checker) variant for grader
13
+ > agents, and the "no idle wait" rule that turns the Third Law into
14
+ > a protocol guarantee.
15
+ >
16
+ > See `../agents/aisb/lmc-protocol.md` for the in-agent LMC reference
17
+ > (when full LMC is used vs lite vs direct).
18
+
19
+ ## The three artefacts
20
+
21
+ | Artefact | Direction | Required keys | Lifecycle |
22
+ |---|---|---|---|
23
+ | `brief.json` (or inline prompt) | Down (dispatcher → receiver) | mission, purpose, files_owned, done_criteria, verify_command, ship | Created per dispatch, immutable. |
24
+ | `done.json` | Up (receiver → dispatcher) | status, started_at, finished_at, evidence, score (when audited), ship (when applicable) | Created exactly once per receiver, terminal. |
25
+ | `blocked.json` | Sideways (receiver → orchestrator state) | session, blocked_at, question, best_guess, fallback_action, can_resume_without_answer | May exist *in parallel* with `done.json` — surfaces the question to the human asynchronously. |
26
+
27
+ The schemas below are the contract. Engine and Telegram bridge both
28
+ parse them; deviations break notifications and audit replay.
29
+
30
+ ## brief.json schema
31
+
32
+ ```json
33
+ {
34
+ "id": "<uuid-v4>",
35
+ "mission": "<1-2 line goal>",
36
+ "purpose": "<why this matters at L1>",
37
+ "context": {
38
+ "project_root": "/absolute/path",
39
+ "deployed_url": "https://...",
40
+ "stack": "next.js | python | go | …",
41
+ "prior_runs": ["<done.json paths>"]
42
+ },
43
+ "whats_done": ["<bullet>", "<bullet>"],
44
+ "current_task": "<files, line numbers, exact changes>",
45
+ "done_criteria": "<measurable predicate>",
46
+ "verify_command": "<exact shell command>",
47
+ "key_decisions": ["<excerpt from decisions.md>"],
48
+ "spec": {
49
+ "scope": {
50
+ "files_owned": ["src/foo.ts", "tests/foo.test.ts"]
51
+ }
52
+ },
53
+ "relevant_memories": ["<lesson-id>"],
54
+ "ship": false,
55
+ "audit_gates": ["codeaudit"],
56
+ "lifecycle": "ephemeral | persistent"
57
+ }
58
+ ```
59
+
60
+ - `mission` ≤ 200 chars (longer = dispatcher failed to decompose).
61
+ - `files_owned` is a hard boundary; see `scope-safety.md`.
62
+ - `verify_command` MUST be a shell command, not prose; wrap sequences
63
+ in a script that exits 0 on success.
64
+ - `ship` defaults to `false`; set true only when the prompt contains a
65
+ ship/deploy/push directive or `ship-config.json` opts in.
66
+ - `audit_gates` lists Quality Arsenal audits that must pass before
67
+ `status: done_clean` (see `audit-gates.md`).
68
+ - `lifecycle: ephemeral` lets the dispatcher close the receiver on
69
+ `done_clean`; `persistent` keeps it alive for follow-up.
70
+
71
+ ## done.json schema
72
+
73
+ ```json
74
+ {
75
+ "agent": "<oracle-name | worker-name>",
76
+ "project": "<slug>",
77
+ "status": "done_clean | pending | failed",
78
+ "started_at": "<ISO-8601>",
79
+ "finished_at": "<ISO-8601>",
80
+ "duration_sec": 0,
81
+ "mission": "<copy of brief.mission>",
82
+ "evidence": {
83
+ "verify_command": "<command run>",
84
+ "verify_exit_code": 0,
85
+ "verify_stdout": "<captured>",
86
+ "verify_stderr": "<captured>",
87
+ "artefacts": ["path/to/screenshot.png", "path/to/log"]
88
+ },
89
+ "audit": {
90
+ "gates_required": ["codeaudit", "secaudit"],
91
+ "gates_passed": ["codeaudit", "secaudit"],
92
+ "scores": {"codeaudit": 92, "secaudit": 88},
93
+ "verdict": "satisfied | partial | unsatisfied"
94
+ },
95
+ "regressions": [],
96
+ "pending_actions": [],
97
+ "ship": {
98
+ "requested": false,
99
+ "result": "ok | failed | skipped | frozen",
100
+ "commit": "<sha or null>",
101
+ "deploy_url": "<url or null>",
102
+ "deploy_status": "READY | ERROR | TIMEOUT | null"
103
+ },
104
+ "report_path": "<path/to/report.md>"
105
+ }
106
+ ```
107
+
108
+ ### Status values + forbidden patterns
109
+
110
+ | Status | Meaning | Dispatcher action |
111
+ |---|---|---|
112
+ | `done_clean` | Verify passed, all audit gates passed, zero regressions. | Closes session (if ephemeral), forwards report up. |
113
+ | `pending` | Verify passed *for this slice*; `pending_actions[]` lists next slices. | Keeps session alive, decides continue vs hand off. |
114
+ | `failed` | Verify failed, audit gate refused, or regression detected. | Keeps session alive, reads evidence, re-dispatches. |
115
+
116
+ Forbidden: `done_clean` without `verify_exit_code == 0`; with
117
+ `regressions[]` non-empty; with any required gate missing from
118
+ `gates_passed`; after a ship that returned `failed` or `frozen`. Any
119
+ violation → dispatcher rejects the claim, re-opens the mission, logs
120
+ to `.orchestrator/decisions.md`. Absence of `done.json` is **not**
121
+ success — patrol waits.
122
+
123
+ ## blocked.json schema
124
+
125
+ ```json
126
+ {
127
+ "session": "<tmux session name>",
128
+ "blocked_at": "<ISO-8601>",
129
+ "question": "<what is ambiguous>",
130
+ "best_guess": "<the receiver's recommendation>",
131
+ "fallback_action": "<what the receiver is doing meanwhile>",
132
+ "can_resume_without_answer": true,
133
+ "human_required_for": "<credential | destructive op | scope expansion | null>"
134
+ }
135
+ ```
136
+
137
+ Lives at `Agentik_Runtime/state/blocked-<session>.json`. The patrol
138
+ polls this directory; when a file appears, the human is notified via
139
+ Telegram (Hermès or AISB, depending on routing).
140
+
141
+ ### Legal vs illegal blocks
142
+
143
+ A `blocked.json` is legal only when (a) the block is genuine
144
+ (credential missing, destructive op outside scope, true semantic
145
+ ambiguity with no safe default), (b) `fallback_action` is *executing
146
+ right now*, and (c) `can_resume_without_answer: true`.
147
+
148
+ Illegal blocks (these are *preferences*, not blocks — decide and
149
+ proceed per the Third Law):
150
+
151
+ - "I'd like to confirm before proceeding."
152
+ - "Three options exist, which would you prefer?"
153
+ - "I want the user to validate the approach before I code."
154
+
155
+ ## The LMC variant (Lead-Manager-Checker)
156
+
157
+ LMC is the *optional* grader topology used by audit-grade agents
158
+ (e.g. `seraph`). Most agents work direct — Lead alone — because
159
+ Manager/Checker overhead is wasted on routing or simple execution.
160
+ See `../agents/aisb/lmc-protocol.md` for the canonical table.
161
+
162
+ | Agent role | LMC mode | Why |
163
+ |---|---|---|
164
+ | Audit grader (seraph) | **Full LMC** (Lead + Manager + Checker) | Independent validation is the whole point of audit. |
165
+ | Planner (keymaker) | **Lite LMC** (Lead + Manager; Lead validates) | Plans benefit from structured generation. |
166
+ | Everyone else | **Direct** | Speed > ceremony for execution, research, routing. |
167
+
168
+ Manager output:
169
+
170
+ ```
171
+ BRIEF: <1-line> STATUS: DONE | PARTIAL | BLOCKED
172
+ CONFIDENCE: <0.0-1.0> ARTIFACTS: <files>
173
+ ```
174
+
175
+ Checker verdict (full LMC only):
176
+
177
+ ```
178
+ DECISION: PASS | FAIL CONFIDENCE: <0.0-1.0>
179
+ ISSUES: <list> FEEDBACK: <next-attempt guidance>
180
+ ```
181
+
182
+ Three FAIL verdicts in a row → escalate to dispatcher (do not loop).
183
+
184
+ ## The "no idle wait" rule
185
+
186
+ Sessions identified as *dispatched* (per `orchestration.md`) **MUST
187
+ NEVER** stop with an idle prompt. The only legal terminal states are:
188
+
189
+ 1. `done.json` with `status: done_clean`.
190
+ 2. `done.json` with `status: pending` and non-empty `pending_actions[]`.
191
+ 3. `done.json` with `status: failed` and non-empty
192
+ `evidence.verify_stderr`.
193
+ 4. `done.json` plus a `blocked.json` whose `fallback_action` is
194
+ currently executing.
195
+
196
+ Violation phrases a transcript audit will flag: *"Which path should I
197
+ take?"*, *"Should I proceed?"*, *"Awaiting confirmation"*, *"Confirm
198
+ before I continue"*. Replace any of them with a decision written to
199
+ `decisions.md` and immediate execution of the best path.
200
+
201
+ ## Idempotency
202
+
203
+ `done.json` is written exactly once per session; duplicate writes are
204
+ rejected by mtime. To *correct* a prior `done.json` (e.g. a regression
205
+ discovered after `done_clean`), write a new
206
+ `done-correction-<timestamp>.json` referencing the original and let
207
+ the dispatcher reconcile.
208
+
209
+ ## Cross-references
210
+
211
+ - `constitution.md` — Prime Principle, Three Laws.
212
+ - `three-laws.md` — Third Law (no idle wait) in detail.
213
+ - `orchestration.md` — dispatch hierarchy + decisions log.
214
+ - `audit-gates.md` — `audit_gates[]` semantics in brief / done.
215
+ - `scope-safety.md` — `files_owned` enforcement.
216
+ - `verified-completion.md` — the terminal contract done.json fulfils.
217
+ - `../agents/aisb/lmc-protocol.md` — LMC mode reference.
218
+ - `../docs/LAYERS.md` — which sessions are "dispatched".
219
+ - `../personas/OMEGAOS-CONTEXT.md` — provider-neutral working context.
@@ -0,0 +1,197 @@
1
+ ---
2
+ id: scope-safety
3
+ layer: L0-governance
4
+ applies_to: [aisb, oracle, worker, hermes]
5
+ priority: 6
6
+ ---
7
+
8
+ # Scope & Safety — The Hard Boundaries
9
+
10
+ > The Constitution states: *"An agent edits only the files in its
11
+ > declared scope. Destructive or irreversible actions require explicit
12
+ > authorization. Secrets never enter the git-tracked tree, logs, or
13
+ > prompts."* This file makes each clause operational, with the exact
14
+ > mechanism, the test for compliance, and the list of *Sacred Scopes*
15
+ > the engine refuses to touch under any circumstances.
16
+
17
+ ## The scope invariant
18
+
19
+ Every dispatched agent receives a brief whose `spec.scope.files_owned`
20
+ declares the *exact* file set the agent may edit. The engine enforces
21
+ this with a pre-write hook; the agent enforces it by self-policing.
22
+
23
+ ### Files in scope
24
+
25
+ An agent may:
26
+
27
+ - `Read` any file in the project root (read-only is always permitted).
28
+ - `Write` / `Edit` / `Bash` (write-mode) **only** to files listed in
29
+ `spec.scope.files_owned`.
30
+ - Create new files only when their target path matches a glob in
31
+ `spec.scope.files_owned` (e.g. `tests/foo/*.test.ts`).
32
+
33
+ ### Files out of scope
34
+
35
+ An agent must **never**:
36
+
37
+ - Edit a file outside `files_owned`, even to fix a typo, even to
38
+ reformat a single line, even with the user's verbal permission given
39
+ outside the brief.
40
+ - Delete a file outside `files_owned`.
41
+ - Move a file out of `files_owned` into a path that is not in
42
+ `files_owned`.
43
+ - Run a shell command that mutates filesystem state outside
44
+ `files_owned` (e.g. `git checkout -- other_file`).
45
+
46
+ ### When the scope is wrong
47
+
48
+ If the agent discovers it cannot complete the mission without editing
49
+ a file outside its scope (Karpathy: surgical changes — every edit
50
+ traces to the request), it has three choices:
51
+
52
+ 1. **Decompose.** If the out-of-scope edit is genuinely necessary,
53
+ write a `pending_actions[]` entry on its `done.json` describing
54
+ the file and the change. The dispatcher decides whether to widen
55
+ the scope or spawn a second Worker.
56
+ 2. **Re-scope.** If the boundary is wrong by a small amount, write
57
+ `blocked.json` (`human_required_for: "scope expansion"`) with a
58
+ `fallback_action` doing whatever work *is* in scope. The
59
+ dispatcher resolves asynchronously.
60
+ 3. **Refuse.** If the requested mission requires touching a Sacred
61
+ Scope (below), the agent **refuses** and writes `status: failed`
62
+ with the refusal reason.
63
+
64
+ The agent **never** silently widens its own scope. A diff that crosses
65
+ `files_owned` is a contract violation and is rejected by the engine's
66
+ pre-merge gate.
67
+
68
+ ## Sacred Scopes — never touched
69
+
70
+ Some paths are *sacred*: writes are refused at the engine level and at
71
+ the agent level. Even an explicit user instruction inside a dispatched
72
+ session does not unlock them — the user must operate them directly
73
+ through a non-dispatched shell.
74
+
75
+ | Sacred path | Why | Who may touch |
76
+ |---|---|---|
77
+ | `~/.<provider>/credentials.json` (Claude OAuth, etc.) | Auth tokens — leakage = total account compromise | The human directly, via the provider's official CLI. |
78
+ | `Agentik_Extra/etc/secrets/` (age-encrypted vault) | Project secrets at rest | The human via `omega vault read/write`. |
79
+ | `.env`, `.env.*` (any environment file) | Runtime secrets | The human directly. Agents read via the engine's vault interface. |
80
+ | OAuth callback scripts, billing webhook handlers, subscription state | A bad edit = revenue loss or account lockout | The human directly, with manual verification post-edit. |
81
+ | Authentication scripts (`auth/*`, `clerk/*`, `next-auth/*` config) | A bad edit = lock-out for all users | A Worker only if `brief.audit_gates` includes `secaudit` *and* the mission rubric explicitly authorises auth-surface edits. |
82
+ | Billing modules (Stripe, Lemon Squeezy, paddle integrations) | Money path — silent failures lose revenue | A Worker only with explicit `brief.spec.scope.allow_billing: true`. |
83
+ | `package.json` `dependencies` block | Supply-chain risk | A Worker only with `brief.spec.scope.allow_dependency_change: true`. |
84
+ | Git config (`~/.gitconfig`, project `.gitconfig`) | Identity / signing | Never edited by agents. |
85
+ | Database migrations once committed to a deployed branch | Forward-only history | Append-only; never modify a past migration. |
86
+
87
+ The engine maintains a glob-set of Sacred Scopes per project in
88
+ `Agentik_SSOT/sacred-scopes.yaml`. The pre-write hook fails closed —
89
+ if the glob set cannot be loaded, *all* writes outside the project's
90
+ declared `files_owned` are refused.
91
+
92
+ ## Destructive operation policy
93
+
94
+ A "destructive" operation is one that, if executed wrongly, produces a
95
+ state the engine cannot reconstruct from current artefacts. Examples:
96
+
97
+ - `rm -rf` of any directory not produced by the current mission.
98
+ - `git push --force`, `git reset --hard`, `git branch -D` of any
99
+ branch not created by the current mission.
100
+ - `DROP TABLE`, `DELETE FROM ... WHERE` without `LIMIT` (and even with
101
+ `LIMIT` if the predicate is dynamic).
102
+ - Sending real email/SMS/payment from a non-sandboxed credential.
103
+ - `kill -9` of a process the mission did not spawn.
104
+ - Disabling backups, retention policies, audit logging.
105
+
106
+ ### The pre-flight protocol
107
+
108
+ Before *any* destructive operation, the agent:
109
+
110
+ 1. **Writes a dry-run.** A version of the command that prints what
111
+ *would* happen without executing.
112
+ 2. **Captures the dry-run output** to the mission's evidence directory.
113
+ 3. **States the blast radius.** A one-line summary of what the command
114
+ touches and what it cannot undo.
115
+ 4. **Confirms authorization.** The brief's `spec.scope.destructive`
116
+ field must list the operation. Absent → refuse.
117
+ 5. **Captures a backup or snapshot.** Disk snapshot, git tag, database
118
+ dump — whichever applies. The backup path goes into
119
+ `done.json#evidence.backups[]`.
120
+ 6. **Executes.** Captures stdout, stderr, exit code.
121
+ 7. **Verifies post-state.** Runs the verify command from the brief.
122
+
123
+ A destructive operation that skipped any of these steps is a contract
124
+ violation; the mission is marked `failed` and the evidence directory
125
+ is preserved for forensic review.
126
+
127
+ ### Operations that are *not* destructive
128
+
129
+ These run without the pre-flight protocol (the engine still logs them
130
+ but does not gate):
131
+
132
+ - Reading any file.
133
+ - Writing inside `files_owned`.
134
+ - Spawning subprocess for compilation / test / lint / format.
135
+ - Network reads (GETs, public APIs).
136
+
137
+ ## Secrets policy
138
+
139
+ Secrets **never** enter:
140
+
141
+ | Surface | Why never | Required practice |
142
+ |---|---|---|
143
+ | Git-tracked tree | Public-by-default; rewriting history is unreliable | Read via vault at runtime; `.gitignore` covers every env file. |
144
+ | Log files (tmux capture, mission logs, audit reports) | Logs are often pasted into prompts, tickets, screenshots | Redact at write time: replace tokens with `***REDACTED***` *before* writing. |
145
+ | Prompts (any agent input) | LLM providers may retain prompts; transcript files persist on disk | Inject secrets only at the moment of use, via tool calls that reference vault entries by *name*, not value. |
146
+ | Screenshots | Pixels can leak in shares | Mask before saving — the screenshot helper supports `--redact-selectors`. |
147
+ | Notification payloads (Telegram, Slack, email) | Notification logs aggregate retention | Substitute `vault://name` references in payloads, resolve only on the receiving daemon. |
148
+
149
+ ### Detection (gates that catch leaks)
150
+
151
+ - Pre-commit hook runs a secret-scanner (`gitleaks` or equivalent)
152
+ against staged content. Match → commit refused.
153
+ - The ship pipeline (see `audit-gates.md`) runs the scanner again
154
+ against the staged diff. Match → ship aborted.
155
+ - The Telegram bridge runs a regex sweep against every outbound
156
+ message body. Match → message replaced with `[redacted by safety
157
+ layer]` and the original logged to a secure, retention-bounded
158
+ channel for the human's review.
159
+
160
+ ### Vault interface
161
+
162
+ Agents read secrets *only* via the vault interface:
163
+
164
+ ```bash
165
+ omega vault read STRIPE_SECRET_KEY # returns the value to stdout
166
+ omega vault refs # lists available names (not values)
167
+ ```
168
+
169
+ The engine ensures the vault subprocess writes nothing to stdout other
170
+ than the requested value, and that the value is never echoed in mission
171
+ logs.
172
+
173
+ ## File-ownership audit
174
+
175
+ After every mission, the engine runs a *file-ownership audit* that
176
+ compares the union of all `git diff --name-only` against the union of
177
+ all `spec.scope.files_owned` declared across the mission's Workers.
178
+
179
+ - Files modified but not owned → contract violation; mission marked
180
+ `failed`.
181
+ - Files owned but not modified → fine (planning allowed for headroom).
182
+ - Files in Sacred Scopes modified by any Worker → mission `failed` +
183
+ alert + the change is reverted automatically (the project's pre-write
184
+ hook should have refused, but the post-hoc audit catches escapes).
185
+
186
+ ## Cross-references
187
+
188
+ - `constitution.md` — Scope & Safety canonical clause.
189
+ - `three-laws.md` — Second Law (push back when scope is wrong).
190
+ - `orchestration.md` — `files_owned` propagates through every layer.
191
+ - `prompt-protocols.md` — `brief.spec.scope`, `blocked.json` fallback.
192
+ - `audit-gates.md` — `secaudit` is the gate that catches scope
193
+ drift in production.
194
+ - `verified-completion.md` — file-ownership audit gates `done_clean`.
195
+ - `../docs/LAYERS.md` — credential layout (`TELEGRAM_TOKEN_*`,
196
+ `ANTHROPIC_API_KEY_HERMES`, Claude Max OAuth).
197
+ - `../personas/OMEGAOS-CONTEXT.md` — provider-neutral working context.