Skip to content

Opsle Task #21 #25

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
sneakocom merged 1 commit into from
Sep 9, 2026
Merged

Opsle Task #21 #25

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
106 changes: 35 additions & 71 deletions ARCHITECTURE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,73 +1,37 @@
# Cross-project architecture

The authoritative conceptual topology is
[`program/THEORY_MAP.md`](program/THEORY_MAP.md). The machine-readable mapping is
[`program/theory-registry.json`](program/theory-registry.json).

```text
PRIMARY DEVELOPER
|
v
AGENT GEARBOX
chooses WHERE work executes
/ | \
deterministic tool bounded helper optional isolated worker
\ | /
v
raw result/evidence
|
v
CONTEXT FIREWALL
chooses WHAT evidence returns
|
v
compact decision evidence
|
Decision Evidence conformance
|
Trajectory / Visible Value telemetry
|
v
PRIMARY DEVELOPER
```

Gearbox is a public narrow prototype with deterministic execution and an
injected bounded-helper transport contract. Context Firewall, Decision Evidence
Protocol, Agent Trajectory Profiler, Verifiable Agent Handoff, and Ephemeral
Agent Workers remain external, independently reusable mechanisms.

Durable orchestration is a separate family:

```text
Durable Supervisor (objective owner)
|
+-- Agent State Ledger (history/projection)
+-- Agent Scheduler Runtime (readiness/time/pause)
+-- Event-Driven Agent Wakeup (durable activation)
+-- Agent Discovery Control (new-work admission)
+-- Agent Recovery Policy (bounded recovery permission)
```

It can own autonomous progress across multiple activations without a
continuously active primary developer. Gearbox performs one bounded delegation
for a primary developer and returns one terminal result.

Supporting boundaries:

- Affected Verification independently decides which verification checks are
defensible for a change; humans, CI, or Gearbox may execute the plan, and
Context Firewall may subsequently reduce the resulting evidence.
- Gearbox admits deterministic versus cognitive work; Routing Policy selects an
eligible cognitive route after admission.
- Resource Claims establishes current concurrent ownership; Execution
Authorization validates permission for one exact action.
- Scheduler decides when durable work is ready; Routing decides where it may
run; Recovery decides whether another attempt is justified.
- Verifiable Handoff preserves exact result artifacts across source destruction;
Context Firewall determines which verified facts enter model context.
- Semantic Edit Protocol owns mutation semantics; Agent Trajectory Profiler
measures the resulting trajectory.

No core primitive depends on a Taslos Tasks database, worker, scheduler,
package, path, or service. Future host-specific adapters remain optional and
versioned.
Opsle Tasks (`opsle/tasks`) owns current workload, task lifecycle and remote
execution. Its control plane and Incus execution targets are independently
deployed. This research repository records evidence and program state; it has no
runtime task-management authority.

Tasks calls the versioned capability contract implemented for Task 15. Trusted
installed manifests declare hooks; operator grants bound repository selection at
the immutable task base. Capabilities supply independent public interfaces:

- Gearbox chooses deterministic or cognitive routes; model-backed capability work
requires an execution-scoped, single-use gateway authorization.
- Context Firewall reduces command evidence, retaining canonical audit packets
separately from semantic model evidence and actual delivery measurements.
- Affected Verification supplies verification plans and exact change capture.
Incomplete evidence broadens verification or stops; bounded manifest-backed
integration does not promote research beyond OBSERVE/SHADOW.
- Visible Value validates receipts and produces operator summaries without
inventing missing values or causal savings.

Decision Evidence Protocol remains standalone because independent consumers pin
its contract. Agent Trajectory Profiler and Semantic Edit Protocol retain their
independent evidence and research boundaries. Graphify is an optional standalone
CLI, not a Tasks capability.

The final consolidation places ten source concepts under Tasks contracts and
Routing Policy under Gearbox. Source repositories are historical and cannot be
active dependencies. Durable Supervisor, Taslos Tasks, Paperclip and historical
agent-run are retired. Findings, source attribution, licenses and experiment
artifacts remain evidence; none supplies a current execution prerequisite.

The [generated theory map](program/THEORY_MAP.md) maps each concept and records
its current home. The [historical architecture](program/history/pre-consolidation/ARCHITECTURE.md)
preserves the earlier hypotheses without reviving their repository boundaries.
`.github` housekeeping remains separate from workload eligibility. Deployment and
release authorization remain separate from implementation and research maturity.
102 changes: 25 additions & 77 deletions CONCEPTS.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,79 +1,27 @@
# Concept overview

This is the bootstrap narrative and subordinate-concept map. The authoritative
current repository inventory and lifecycle state are in
[`program/registry.json`](program/registry.json); the human-readable generated
view is [`PROGRAM_STATUS.md`](PROGRAM_STATUS.md).

The bootstrap extraction list is not the canonical product/repository map. The
2026-08-29 source reconciliation is in
[`program/THEORY_MAP.md`](program/THEORY_MAP.md), with machine-readable concept
state in [`program/theory-registry.json`](program/theory-registry.json). It
records Agent Gearbox in its restored public home, formally separates it from
Durable Supervisor, and recommends future consolidation for several
durable-orchestration hypotheses without executing those dispositions.

All current repositories are public, independently versioned, and part of Opsle
Research. That current versioning records provenance; it does not establish that
every hypothesis should remain a standalone implementation repository. Initial
SHA means the first public commit created during the 2026-08-25 bootstrap.

| Repository | Maturity | Initial SHA | Implementation | Benchmark |
|---|---:|---|---|---|
| [gearbox](https://github.com/opsle/gearbox) | PROTOTYPE | `4d2a7cf902b52f099638b02a4fdec34fd5705a75` | provider-free bounded execution core | one deterministic dogfood fixture and plan; no comparative result |
| [agent-trajectory-profiler](https://github.com/opsle/agent-trajectory-profiler) | PROTOTYPE | `ce2fd532731d9bf5a0b7a271289bfdcc404f57c1` | sanitized dependency-free prototype | plan and fixtures only; no measured result |
| [semantic-edit-protocol](https://github.com/opsle/semantic-edit-protocol) | THEORY | `29caad5c03827cde17aabd71c38bc25899413a33` | theory/specification only | plan and fixtures only; no measured result |
| [durable-supervisor](https://github.com/opsle/durable-supervisor) | THEORY | `555ebedb992ac74236bb7da8230b4d6b0489830b` | theory/specification only | plan and fixtures only; no measured result |
| [event-driven-agent-wakeup](https://github.com/opsle/event-driven-agent-wakeup) | PROTOTYPE | `a6209860c2151450cc28ed648bc8c2631c8db7ef` | sanitized dependency-free prototype | plan and fixtures only; no measured result |
| [context-firewall](https://github.com/opsle/context-firewall) | THEORY | `e865644e86a3f820a120548e91284c048e515671` | theory/specification only | plan and fixtures only; no measured result |
| [decision-evidence-protocol](https://github.com/opsle/decision-evidence-protocol) | PROTOTYPE | `7050f83406a709da84e4b4770556319f767bbeaf` | sanitized dependency-free prototype | plan and fixtures only; no measured result |
| [agent-state-ledger](https://github.com/opsle/agent-state-ledger) | THEORY | `acab03b1ff7168222552050e21e7553b07d00e7c` | theory/specification only | plan and fixtures only; no measured result |
| [agent-scheduler-runtime](https://github.com/opsle/agent-scheduler-runtime) | THEORY | `d97cd3c218b20e0b2b0e09873f6a3d15c396b3a0` | theory/specification only | plan and fixtures only; no measured result |
| [verifiable-agent-handoff](https://github.com/opsle/verifiable-agent-handoff) | PROTOTYPE | `399e5cfae94345affa3f087f0f6eb9e77669d33c` | sanitized dependency-free prototype | plan and fixtures only; no measured result |
| [agent-routing-policy](https://github.com/opsle/agent-routing-policy) | THEORY | `43fc2a72d2c8494b2dcdca7b5a209de61d8fe2d8` | theory/specification only | plan and fixtures only; no measured result |
| [agent-resource-claims](https://github.com/opsle/agent-resource-claims) | THEORY | `dfe0fbc90c67ce5ef4256354bb62f1d511b1304c` | theory/specification only | plan and fixtures only; no measured result |
| [agent-discovery-control](https://github.com/opsle/agent-discovery-control) | THEORY | `926547dd9fd713990b1d6f1f2e650aa6c0883564` | theory/specification only | plan and fixtures only; no measured result |
| [agent-execution-authorization](https://github.com/opsle/agent-execution-authorization) | THEORY | `8fb02e943c83fae121c63185d2f0d0dde8c4260a` | theory/specification only | plan and fixtures only; no measured result |
| [controlled-agent-acceptance](https://github.com/opsle/controlled-agent-acceptance) | THEORY | `2d652adf56e53953327d09b1ba9c4a9c3445f052` | theory/specification only | plan and fixtures only; no measured result |
| [agent-recovery-policy](https://github.com/opsle/agent-recovery-policy) | THEORY | `1b733a111e26e0a409fee3b96f627048531daefe` | theory/specification only | plan and fixtures only; no measured result |
| [ephemeral-agent-workers](https://github.com/opsle/ephemeral-agent-workers) | THEORY | `ad96fcfdfac06d340b5e96d369634980cee78ef4` | theory/specification only | plan and fixtures only; no measured result |

## Ecosystem repositories

| Repository | Purpose | Initial SHA |
|---|---|---|
| [opsle/site](https://github.com/opsle/site) | Source foundation for future opsle.com; not deployed | `85c3bc7c04f6a2774d589a65df008ad1f8837794` |
| [opsle/.github](https://github.com/opsle/.github) | Organization profile | Recorded in that repository |

## Subordinate concepts

These mechanisms remain inside parent projects until they show independent falsifiability, a reusable interface, and meaningful independent install/removal value.

| Concept | Parent / current role |
|---|---|
| Mutation Amplification | agent-trajectory-profiler metric |
| Edit Payload Amplification | agent-trajectory-profiler metric |
| Semantic Region Revisit Rate | agent-trajectory-profiler metric |
| Change Intent Graph | semantic-edit-protocol mechanism |
| failure-only test reporting | context-firewall reducer |
| semantic Git adapter | decision-evidence/context-firewall adapter |
| semantic shell adapter | decision-evidence/context-firewall adapter |
| provider result envelope | decision-evidence-protocol adapter |
| evidence-gated completion | decision-evidence + state-ledger policy |
| already-satisfied proof | agent-discovery-control mechanism |
| Global Pause | agent-scheduler-runtime safety gate |
| provider cooldown registry | routing/scheduler evidence source |
| execution-target snapshots | authorization/routing binding |
| project configuration snapshots | state-ledger/authorization binding |
| independent reviewer routing | routing/controlled-acceptance mechanism |
| fresh-worker remediation | ephemeral-workers/recovery mechanism |
| objective graph planner | durable-supervisor/discovery mechanism |
| multi-agent write-region coordination | semantic-edit/resource-claims bridge |
| PLAN/DESIGN/BUILD/REVIEW/TEST pipeline | historical scheduler experiment, not final architecture |
| universal redaction | subordinate defense; never a substitute for authorization |
| provider availability countdown | routing UI projection |
| durable route-reason UI | routing evidence presentation |

## Promotion rule

Promote only with independent falsifiability, an independent reusable interface, and meaningful independent install/removal value. Rejected and superseded concepts remain recorded.
The [theory registry](program/theory-registry.json) and generated
[theory map](program/THEORY_MAP.md) define current concept state. The
[program ledger](program/registry.json) distinguishes current repositories,
consolidated sources, retired concepts and workload eligibility.

There are 19 recorded concepts: seven active standalone concepts, eleven
consolidated concepts, and one retired concept. Eighteen live concepts share eight
current homes. Tasks is program infrastructure and the workload authority;
Visible Value is a standalone concept and receipt-validation CLI.

Ten source concepts now live in Tasks contracts: discovery, execution
authorization, recovery, resource claims, scheduler, state ledger, controlled
acceptance, ephemeral workers, event wakeup and verifiable handoff. Routing Policy
is consolidated into Gearbox. Durable Supervisor is retired, with findings
preserved in Tasks and no current conceptual home or activation gate.

Graphify's final role is an optional standalone CLI, not an Opsle Tasks capability.
Task 15's versioned capability contract integrates Gearbox, Context Firewall,
Affected Verification and Visible Value through independent public interfaces.

The [historical bootstrap overview](program/history/pre-consolidation/CONCEPTS.md)
preserves initial SHAs, subordinate concepts and extraction provenance. Its
repository inventory and architectural recommendations are historical, not current
work. Consolidation preserves licenses, experiment identities and negative results;
it does not combine maturity stages or prove comparative benefit.
2 changes: 1 addition & 1 deletion MATURITY.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,4 +18,4 @@ Only these exact states are valid:
| REJECTED | Evidence does not support the hypothesis or the cost/risk defeats it. |
| SUPERSEDED | A later concept/version replaces it while preserving history. |

Existence inside Taslos Tasks never qualifies a concept as PROVEN. Maturity can move backward when evidence or scope changes.
Historical existence inside the retired Taslos Tasks never qualifies a concept as PROVEN. Maturity can move backward when evidence or scope changes.
Loading