diff --git a/OPSLE_EXTRACTION_MAP.md b/OPSLE_EXTRACTION_MAP.md deleted file mode 100644 index e52eea6..0000000 --- a/OPSLE_EXTRACTION_MAP.md +++ /dev/null @@ -1,125 +0,0 @@ -# Opsle extraction map - -> Historical extraction record. The 16 candidates below preserve what was -> isolated from the predecessor snapshot; they are not the canonical future -> repository/product topology. See -> [`program/THEORY_MAP.md`](program/THEORY_MAP.md) for the 2026-08-29 source -> reconciliation, the restored Agent Gearbox definition, and recommended -> dispositions. No repository action occurred inside that reconciliation run; -> the subsequent separately authorized Gearbox extraction is recorded below. - -## Subsequent Gearbox extraction - -On 2026-08-29, the canonical portable Gearbox core was adapted into public -`opsle/gearbox` from Taslos Tasks revision -`7734caf208366a0515cf4d78efc17a86363f2238`. Public PR #1 records an AGPL -provider-free core, tests, provenance, and release evidence. It excludes product -state, credentials, private evidence, host paths, services, provider -configuration, and Durable Supervisor machinery. Taslos Tasks remained -unchanged. This later extraction does not alter the historical 2026-08-25 -candidate snapshot below. - -## Read-only snapshot - -- Source: Taslos Tasks, active predecessor of future Opsle Tasks. -- Repository: `sneakocom/taslos-tasks` (private; unchanged). -- Commit inspected: `e2b061dd4ee1404ef59b27a9a76bf97a8fbbde1c`. -- Inspection timestamp: `2026-08-25T03:15:01Z`. -- History: 148 commits enumerated; latest 40 subjects and failure/correction sequence reviewed. -- Corpus: 260 supported files — 217 code and 43 documents; 44 test files identified. -- Graphify: deterministic AST extraction plus two bounded, read-only Antigravity subscription CLI semantic passes. No Gemini/Google API key or separately metered Google API was used. -- Graph: 1,839 nodes, 3,673 retained edges, 207 communities. Health warning: 395 dangling extraction edges and 169 same-endpoint collapses; retrieval support, not source truth. - -## Areas inspected - -README, PROJECT_STATE, architecture/decisions, migration/readiness evidence, recent commit history, relational schema/migrations, worker/lease supervisor, backends/broker/sealed-result store, routing/provider availability, authorization/redaction, recovery, discovery/planning, provider adapters/result parser, result envelopes, independent review, verification runner, resource catalog/claim sets/fencing, schedules/Global Pause, target/config snapshots, operational metrics, and tests. - -No live database, provider state, schedule, Pause control, worker, broker, Incus object, service, nginx, DNS, TLS, deployment, or active checkout file was modified or used as a semantic-write target. - -## Classification - -- **A** standalone public project candidate. -- **B** subordinate mechanism. -- **C** ordinary Taslos Tasks product feature. -- **D** implementation detail. -- **E** promising but insufficiently understood. - -## A — standalone candidates created - -| Candidate | Source observation | Generalized invariant | Extraction | -|---|---|---|---| -| agent-trajectory-profiler | observable execution/session artifacts and metrics | correctness gates efficiency | sanitized prototype + tests | -| semantic-edit-protocol | editing/transport research question | bounded preconditioned transactions | theory/spec | -| durable-supervisor | objectives/jobs/events/reconstruction | decisions separate from runner lifecycle | theory/spec | -| event-driven-agent-wakeup | jobs/events/schedules | ordinary waiting uses zero model inference | sanitized prototype + tests | -| context-firewall | bounded context/redaction/evidence | decision evidence with raw escalation | theory/spec | -| decision-evidence-protocol | structured result/verification/metrics envelopes | minimal vendor-neutral facts | sanitized prototype + tests | -| agent-state-ledger | relational state/append-only events/runs | work survives conversation loss | theory/spec | -| agent-scheduler-runtime | queues/dependencies/schedules/leases/Pause | mechanical orchestration is runtime work | theory/spec | -| verifiable-agent-handoff | broker/seals/handoff evidence | seal before cleanup; reconstruct after destruction | sanitized prototype + tests | -| agent-routing-policy | provider pool/roles/strict routes | routes are purpose-bound and explained | theory/spec | -| agent-resource-claims | catalog/claim sets/renewal/takeover | stale processes lose authority | theory/spec | -| agent-discovery-control | admission/storm limits/already_satisfied | proposals converge without churn | theory/spec | -| agent-execution-authorization | worker subject/authorization service | source and current authority differ | theory/spec | -| controlled-agent-acceptance | versioned controller/one-shot CAS | non-reusable exact authority | theory/spec | -| agent-recovery-policy | typed failures/bounded ladder | every failure path shares budgets | theory/spec | -| ephemeral-agent-workers | broker/workers/destruction state | seal, terminate, destroy, prove | theory/spec | - -## B — subordinate mechanisms - -Mutation Amplification, Edit Payload Amplification, Semantic Region Revisit Rate, Change Intent Graph, failure-only test reporting, semantic Git/shell adapters, provider result envelope, evidence-gated completion, already-satisfied proof, Global Pause, provider cooldown registry, execution-target and project-configuration snapshots, independent reviewer routing, fresh-worker remediation, objective graph planner, multi-agent write-region coordination, PLAN/DESIGN/BUILD/REVIEW/TEST pipeline, universal redaction, provider availability countdown, and durable route-reason UI. - -## C — ordinary product features - -Objective/task/project CRUD, dashboard views, schedule editing UI, user/security administration surfaces, maintenance schedule definitions, application-specific bootstrap records, and Taslos Tasks operator workflows. - -## D — implementation details - -Fastify route layout, React components, Drizzle migration filenames, PGlite/native PostgreSQL harness wiring, Incus command syntax, systemd/nginx names, concrete tables, broker paths, and package identities. - -## E — promising but insufficiently understood - -| Finding | Why E | Next evidence | -|---|---|---| -| Verified-knowledge promotion boundary | optimal trust/relevance policy unknown | adversarial contamination benchmark | -| Revisioned objective-graph replanning | value versus simpler graphs unmeasured | planning fixtures + churn metrics | -| Release interruption model | exact-SHA rollback/restart evidence may not port | cross-runtime study | -| Reviewer independence strength | enforceable but correctness impact unmeasured | blinded same/different-provider review | -| Source-destruction correlation effect | reconstruction works; correlated-error effect unknown | controlled verifier experiment | - -## Failure-derived narratives - -### Fenced claim-set transition - -Original assumption → successful lease renewal was sufficient. -Observed failure → a client-side exact-claim query failed after provider success. -Violated invariant → job/owner/lease/task/project/target/execution/stage/claims/catalog/access/fence were not one stable binding. -Corrected invariant → server-time predicates, complete typed binding, safe failure class. -Regression evidence → native PostgreSQL, replay, drift, and redaction tests. -Remaining uncertainty → portable store semantics. - -### Result lost during correct cleanup - -Original assumption → credential removal before destruction preserved enough evidence. -Observed failure → the only result commit lived in the disposable worker and was garbage-collected. -Corrected invariant → authenticated atomic manifest + thin bundle before cleanup, with exact commit/tree/delta/result binding and restart rehydration. -Regression evidence → source deletion/restoration and tamper/missing-object/unsafe-path rejection. -Remaining uncertainty → non-Git formats and byte ceilings. - -### Immutable source versus current continuation - -Original assumption → continuation could reuse/rewrite source authority. -Observed failure → takeover needed a new fence while preserving old source seal/fence identity. -Corrected invariant → immutable source authority and current continuation authority are jointly revalidated, separate capabilities. -Remaining uncertainty → smallest portable contract. - -### Purpose-specific independent review - -Original assumption → broad controlled execution routing covered review. -Observed failure → review needed its own purpose, provider/profile/default model/availability revision, source seal, and one-shot pre-launch CAS. -Corrected invariant → authorize exact review before workspace, credential, or provider process. -Remaining uncertainty → measured quality benefit. - -## Snapshot caution - -The active repository may evolve after `2026-08-25T03:15:01Z`. Implementation-detail claims are scoped to `e2b061dd4ee1404ef59b27a9a76bf97a8fbbde1c`. diff --git a/OPSLE_PUBLIC_ARCHITECTURE.md b/OPSLE_PUBLIC_ARCHITECTURE.md index 1da7a9e..3c54a5e 100644 --- a/OPSLE_PUBLIC_ARCHITECTURE.md +++ b/OPSLE_PUBLIC_ARCHITECTURE.md @@ -18,21 +18,18 @@ github.com/opsle │ ├── research ├── concept repositories -├── gearbox ← CURRENT public narrow prototype +├── gearbox ← public narrow prototype ├── site -└── tasks ← FUTURE migration, not current +└── tasks ← current integrated reference implementation │ ▼ -tasks.opsle.com ← FUTURE canonical host, not current +tasks.opsle.com ← current operator host ``` -The active repository remains `sneakocom/taslos-tasks`; the active path remains -`apps/taslos-tasks`. Gearbox provenance points to that source, but the active -product does not depend on the public research runtime. +The active repository is `opsle/tasks`. The product does not depend on the +public research runtime. Opsle Research → independent primitives/experiments → future integration where supported → Opsle Tasks → working integrated reference implementation. The product should prove ideas together, not be their only home. The intended dependency direction is public Opsle mechanisms and protocols → -future Opsle Tasks and other products through versioned adapters. Private Taslos -Tasks implementation complexity is historical provenance and feasibility -evidence, not the canonical home for general mechanisms. +Opsle Tasks and other products through versioned adapters. diff --git a/OPSLE_TASKS_MIGRATION_PLAN.md b/OPSLE_TASKS_MIGRATION_PLAN.md deleted file mode 100644 index f3c4bd9..0000000 --- a/OPSLE_TASKS_MIGRATION_PLAN.md +++ /dev/null @@ -1,61 +0,0 @@ -# Future Taslos Tasks → Opsle Tasks migration plan - -> **NOT AUTHORIZED FOR EXECUTION DURING THIS RUN. PLANNING ONLY.** - -Opsle Tasks is the NEXT primary real-world workload after Durable Supervisor -v0.1 is declared and feature-frozen. That workload role does not authorize any -identity, repository, runtime, schema, service, DNS, TLS, provider, or release -migration. The machine-readable program priority remains -`program/registry.json`. - -## Intended future identities - -- repository: `sneakocom/taslos-tasks` → `opsle/tasks`; -- VPS path: `apps/taslos-tasks` → `apps/opsle-tasks`; -- product: Taslos Tasks → Opsle Tasks; -- host: `tasks.taslos.com` → `tasks.opsle.com`. - -Prefer GitHub transfer preserving history, branches, tags, releases, issues/PRs, and redirects. Do not create a fresh repo and copy HEAD. Use `opsle/tasks`, not `opsle/opsle-tasks`. - -## Controlled-release classification - -Classify every match as Taslos Tasks product reference, Opsle Tasks runtime identity, historical Taslos Tasks evidence, migration compatibility reference, unrelated Taslos product, or unclear. Never globally replace “taslos.” Never rewrite history merely to remove the old name. - -## Future inventory - -### Repository and GitHub - -- transfer, remotes, branches/tags/releases, settings, permissions, rules, Actions, environments, secrets, webhooks, deploy keys, packages, security settings; -- preserve full history and redirects; -- update automation/local remotes only after transfer proof. - -### Code and compatibility - -- package names and `@taslos/*` → `@opsle/*` where applicable; -- UI/API branding, page titles, source identifiers, documentation, fixtures; -- environment-variable compatibility and deprecation; -- historical and migration-compatible identifiers; -- self-host upgrade/versioning. - -### Runtime and infrastructure - -- application/release/broker paths, worker names, systemd, Incus projects/profiles/images/networks; -- database names/roles/schema references/migration identities; -- nginx, TLS, DNS, hosted URL, backups, restore, monitoring, alerts, logs, health; -- provider/credential profiles and authorization bindings. - -### Release evidence - -- exact starting/deployed SHA parity, backup + isolated restore, Global Pause, zero-conflict and queue/lease/schedule/provider census; -- controlled deploy, authenticated smoke, backup/restore, rollback/roll-forward; -- final exact-SHA parity, clean worktrees, historical evidence retention. - -## Rename safety and rollback - -Define point-of-no-return gates separately for transfer, runtime path, database identity, and DNS. Avoid partial mechanisms that make two identities authoritative. Test restore and rollback at each irreversible boundary. - -## Current prohibition - -No transfer, visibility change, branch, PR, schema migration, package rename, source edit, service rename, path move, symlink, parallel production copy, Incus rename, nginx/DNS/TLS change, deployment, database/backups/monitoring change, or active branding change is authorized now. - -> **NOT AUTHORIZED FOR EXECUTION DURING THIS RUN. A SEPARATE EXPLICIT PROJECT IS REQUIRED.** diff --git a/PROGRAM_STATUS.md b/PROGRAM_STATUS.md index 6cdd43a..6713754 100644 --- a/PROGRAM_STATUS.md +++ b/PROGRAM_STATUS.md @@ -19,7 +19,7 @@ Full generated priority view: `program/PRIORITY.md`. | Lane | Objective | Repositories | Entry gate | |---|---|---|---| | **NOW** | Finish Durable Supervisor v0.1 as a bounded measured system, then freeze feature work. | `durable-supervisor`, `research` | Current program lane. | -| **NEXT** | Use Opsle Tasks as the primary real-world workload and collect integrated measurements without performing the deferred Taslos-to-Opsle migration. | `gearbox`, `context-firewall`, `decision-evidence-protocol`, `agent-trajectory-profiler`, `affected-verification` | Durable Supervisor v0.1 is declared and feature-frozen. | +| **NEXT** | Use Opsle Tasks as the primary real-world workload and collect integrated measurements from the current implementation. | `gearbox`, `context-firewall`, `decision-evidence-protocol`, `agent-trajectory-profiler`, `affected-verification` | Durable Supervisor v0.1 is declared and feature-frozen. | | **THEN** | Advance an individual concept only when Durable Supervisor or Opsle Tasks evidence demonstrates a concrete need. | `semantic-edit-protocol`, `event-driven-agent-wakeup`, `agent-state-ledger`, `agent-scheduler-runtime`, `verifiable-agent-handoff`, `agent-routing-policy`, `agent-resource-claims`, `agent-discovery-control`, `agent-execution-authorization`, `controlled-agent-acceptance`, `agent-recovery-policy`, `ephemeral-agent-workers` | A qualifying work-item reason and real workload evidence identify the smallest relevant concept boundary. | | **LATER** | Run controlled experiments, freeze a real-workload benchmark corpus, seek independent replication, and only then consider public product and research-site releases. | `site` | NOW, NEXT, and evidence-triggered THEN work establish a defensible need and release prerequisites are separately authorized. | | **PARKED** | Retain useful non-priority ideas without turning them into active work. | `.github` | The idea is useful but lacks a qualifying reason to compete with the current objective. | diff --git a/README.md b/README.md index 6c2c184..10dcd28 100644 --- a/README.md +++ b/README.md @@ -45,7 +45,6 @@ Important mechanisms should remain understandable, falsifiable, benchmarkable, r - [METHODOLOGY.md](METHODOLOGY.md) — evidence and experiment rules. - [MATURITY.md](MATURITY.md) — legacy bootstrap maturity labels. - [ARCHITECTURE.md](ARCHITECTURE.md) — cross-repository system map. -- [OPSLE_EXTRACTION_MAP.md](OPSLE_EXTRACTION_MAP.md) — read-only source audit and provenance. - [OPEN_QUESTIONS.md](OPEN_QUESTIONS.md) — what remains unanswered. - [OPSLE_SITE_PLAN.md](OPSLE_SITE_PLAN.md) — future opsle.com content architecture. @@ -54,10 +53,9 @@ dashboard and priority view with `python3 tools/render_program_status.py`. ## Product relationship -Opsle Tasks is the future public name of the integrated reference implementation currently under active development as Taslos Tasks. Its repository transfer, runtime rename, publication, and hosting migration are intentionally deferred. - -The public Gearbox core was adapted with exact provenance from Taslos Tasks, but -the active product has no runtime dependency edge on the public repositories. +Opsle Tasks is the current integrated reference implementation in +`opsle/tasks`. Its control plane and project execution targets are independently +deployed and do not depend on this research repository at runtime. ## Integrity diff --git a/program/PRIORITY.md b/program/PRIORITY.md index 9cdabb6..6a938fc 100644 --- a/program/PRIORITY.md +++ b/program/PRIORITY.md @@ -34,7 +34,7 @@ Park by default: | Lane | Objective | Repositories | Entry gate | |---|---|---|---| | **NOW** | Finish Durable Supervisor v0.1 as a bounded measured system, then freeze feature work. | `durable-supervisor`, `research` | Current program lane. | -| **NEXT** | Use Opsle Tasks as the primary real-world workload and collect integrated measurements without performing the deferred Taslos-to-Opsle migration. | `gearbox`, `context-firewall`, `decision-evidence-protocol`, `agent-trajectory-profiler`, `affected-verification` | Durable Supervisor v0.1 is declared and feature-frozen. | +| **NEXT** | Use Opsle Tasks as the primary real-world workload and collect integrated measurements from the current implementation. | `gearbox`, `context-firewall`, `decision-evidence-protocol`, `agent-trajectory-profiler`, `affected-verification` | Durable Supervisor v0.1 is declared and feature-frozen. | | **THEN** | Advance an individual concept only when Durable Supervisor or Opsle Tasks evidence demonstrates a concrete need. | `semantic-edit-protocol`, `event-driven-agent-wakeup`, `agent-state-ledger`, `agent-scheduler-runtime`, `verifiable-agent-handoff`, `agent-routing-policy`, `agent-resource-claims`, `agent-discovery-control`, `agent-execution-authorization`, `controlled-agent-acceptance`, `agent-recovery-policy`, `ephemeral-agent-workers` | A qualifying work-item reason and real workload evidence identify the smallest relevant concept boundary. | | **LATER** | Run controlled experiments, freeze a real-workload benchmark corpus, seek independent replication, and only then consider public product and research-site releases. | `site` | NOW, NEXT, and evidence-triggered THEN work establish a defensible need and release prerequisites are separately authorized. | | **PARKED** | Retain useful non-priority ideas without turning them into active work. | `.github` | The idea is useful but lacks a qualifying reason to compete with the current objective. | @@ -45,7 +45,7 @@ Entry: Current program lane. Exit: Every Durable Supervisor v0.1 stopping criterion is satisfied and the release is explicitly declared and frozen. -### NEXT — Use Opsle Tasks as the primary real-world workload and collect integrated measurements without performing the deferred Taslos-to-Opsle migration. +### NEXT — Use Opsle Tasks as the primary real-world workload and collect integrated measurements from the current implementation. Entry: Durable Supervisor v0.1 is declared and feature-frozen. @@ -88,16 +88,12 @@ Verified main: `1b5ab7631ba651a32592bbbdab8001865a3baf3d`. Runtime: `PAUSED_NO_A ## Opsle Tasks boundary -Opsle Tasks is the NEXT primary real-world workload after Durable Supervisor v0.1. Its current repository remains `sneakocom/taslos-tasks`. +Opsle Tasks is the NEXT primary real-world workload after Durable Supervisor v0.1. Its current repository remains `opsle/tasks`. Measure: Gearbox, Context Firewall, Decision Evidence Protocol, Agent Trajectory Profiler, Affected Verification. Without separate authorization, do not: -- move apps/taslos-tasks -- transfer sneakocom/taslos-tasks -- rename production services -- change schemas merely for rebranding - public release - DNS or TLS changes - launch provider work diff --git a/program/THEORY_MAP.md b/program/THEORY_MAP.md index 8b2a01e..5c0016e 100644 --- a/program/THEORY_MAP.md +++ b/program/THEORY_MAP.md @@ -7,7 +7,7 @@ Consolidation and disposition operations remain recommendations only. Machine source: [`theory-registry.json`](theory-registry.json). Theory registry canonical SHA-256: -`7cdc866ada723f24fd16af005bb54b9a60873e0623effb70df691a7a58fcdc47`. +`2538ad9b59ebb0cbd34735df8ae3e49ae2f24a1cc98d8f55ac7ee426e6c69e6d`. This map corrects an extraction-boundary error. The original 16 concept repositories were useful hypotheses isolated from one production system, but diff --git a/program/experiments.json b/program/experiments.json index deb8d03..5e6b982 100644 --- a/program/experiments.json +++ b/program/experiments.json @@ -596,13 +596,10 @@ "same-endpoint collapse", "provider failure" ], - "dataset_fixture_identity": "Taslos Tasks read-only snapshot at e2b061dd4ee1404ef59b27a9a76bf97a8fbbde1c, as already documented publicly in OPSLE_EXTRACTION_MAP.md.", + "dataset_fixture_identity": "Retired predecessor read-only snapshot at e2b061dd4ee1404ef59b27a9a76bf97a8fbbde1c.", "model_provider_configuration": "Antigravity subscription CLI; exact model identity and configuration were not recorded and remain UNVERIFIED.", "run_identities": [], - "result_artifacts": [ - "experiments/graphify-antigravity/README.md", - "OPSLE_EXTRACTION_MAP.md" - ], + "result_artifacts": ["experiments/graphify-antigravity/README.md"], "replication_status": "NOT_REPLICATED", "verdict": "An integration path was observed; completeness and comparative benefit were not established.", "blockers": [ diff --git a/program/registry.json b/program/registry.json index c43e0f9..cfdc129 100644 --- a/program/registry.json +++ b/program/registry.json @@ -17,8 +17,7 @@ "lifecycle_changes_executed": true, "existing_repository_lifecycle_changes_executed": false, "existing_repository_dispositions_executed": false, - "model_provider_runs_added": 0, - "taslos_tasks_source_modified": false + "model_provider_runs_added": 0 }, "gearbox_publication": { "status": "RELEASED", @@ -30,9 +29,6 @@ "ci_status": "SUCCESS", "final_main_sha": "f3fab9f292cf4eabd7200615d444f98881f57d55", "implementation_revision": "6005b340a6f6fb3f8683439d6b5fd154e1fd253f", - "source_repository": "sneakocom/taslos-tasks", - "source_revision": "7734caf208366a0515cf4d78efc17a86363f2238", - "source_modified": false, "provider_model_runs": 0, "repository_consolidations": 0 }, @@ -57,7 +53,7 @@ }, { "name": "NEXT", - "objective": "Use Opsle Tasks as the primary real-world workload and collect integrated measurements without performing the deferred Taslos-to-Opsle migration.", + "objective": "Use Opsle Tasks as the primary real-world workload and collect integrated measurements from the current implementation.", "repositories": ["gearbox", "context-firewall", "decision-evidence-protocol", "agent-trajectory-profiler", "affected-verification"], "entry_condition": "Durable Supervisor v0.1 is declared and feature-frozen.", "exit_condition": "Durable Supervisor has driven the remaining authorized Opsle Tasks readiness work and produced defensible integrated measurements." @@ -105,11 +101,11 @@ ] }, "opsle_tasks": { - "current_repository": "sneakocom/taslos-tasks", + "current_repository": "opsle/tasks", "future_name": "Opsle Tasks", "role": "NEXT primary real-world workload after Durable Supervisor v0.1", "measurements": ["Gearbox", "Context Firewall", "Decision Evidence Protocol", "Agent Trajectory Profiler", "Affected Verification"], - "prohibited_without_separate_authorization": ["move apps/taslos-tasks", "transfer sneakocom/taslos-tasks", "rename production services", "change schemas merely for rebranding", "public release", "DNS or TLS changes", "launch provider work"] + "prohibited_without_separate_authorization": ["public release", "DNS or TLS changes", "launch provider work"] }, "concept_activation": [ {"deficiency": "routing", "repositories": ["agent-routing-policy"]}, diff --git a/program/theory-registry.json b/program/theory-registry.json index d6e968b..dd58e53 100644 --- a/program/theory-registry.json +++ b/program/theory-registry.json @@ -417,8 +417,7 @@ "current_name_accuracy": "Accurate for the theory; current code is a seal subcomponent.", "evidence_references": [ "https://github.com/opsle/verifiable-agent-handoff/blob/399e5cfae94345affa3f087f0f6eb9e77669d33c/README.md", - "https://github.com/opsle/verifiable-agent-handoff/blob/399e5cfae94345affa3f087f0f6eb9e77669d33c/src/seal.js", - "OPSLE_EXTRACTION_MAP.md" + "https://github.com/opsle/verifiable-agent-handoff/blob/399e5cfae94345affa3f087f0f6eb9e77669d33c/src/seal.js" ], "confidence": "HIGH", "unresolved_questions": [ @@ -495,8 +494,7 @@ "current_name_accuracy": "Substantially accurate; the mechanism is generic concurrency authority rather than intrinsically agent-specific.", "evidence_references": [ "https://github.com/opsle/agent-resource-claims/blob/dfe0fbc90c67ce5ef4256354bb62f1d511b1304c/README.md", - "https://github.com/opsle/agent-resource-claims/blob/dfe0fbc90c67ce5ef4256354bb62f1d511b1304c/THEORY.md", - "OPSLE_EXTRACTION_MAP.md" + "https://github.com/opsle/agent-resource-claims/blob/dfe0fbc90c67ce5ef4256354bb62f1d511b1304c/THEORY.md" ], "confidence": "MEDIUM", "unresolved_questions": [ @@ -575,8 +573,7 @@ "current_name_accuracy": "Accurate.", "evidence_references": [ "https://github.com/opsle/agent-execution-authorization/blob/8fb02e943c83fae121c63185d2f0d0dde8c4260a/README.md", - "https://github.com/opsle/agent-execution-authorization/blob/8fb02e943c83fae121c63185d2f0d0dde8c4260a/THEORY.md", - "OPSLE_EXTRACTION_MAP.md" + "https://github.com/opsle/agent-execution-authorization/blob/8fb02e943c83fae121c63185d2f0d0dde8c4260a/THEORY.md" ], "confidence": "HIGH", "unresolved_questions": [ @@ -693,8 +690,7 @@ "current_name_accuracy": "Reasonably accurate, though the isolation primitive is not inherently agent-specific.", "evidence_references": [ "https://github.com/opsle/ephemeral-agent-workers/blob/ad96fcfdfac06d340b5e96d369634980cee78ef4/README.md", - "https://github.com/opsle/ephemeral-agent-workers/blob/ad96fcfdfac06d340b5e96d369634980cee78ef4/ARCHITECTURE.md", - "OPSLE_EXTRACTION_MAP.md" + "https://github.com/opsle/ephemeral-agent-workers/blob/ad96fcfdfac06d340b5e96d369634980cee78ef4/ARCHITECTURE.md" ], "confidence": "HIGH", "unresolved_questions": [ diff --git a/tools/validate_program.py b/tools/validate_program.py index 66c494d..9f7df6e 100644 --- a/tools/validate_program.py +++ b/tools/validate_program.py @@ -118,10 +118,6 @@ OPSLE_TASKS_PROHIBITIONS = frozenset( { - "move apps/taslos-tasks", - "transfer sneakocom/taslos-tasks", - "rename production services", - "change schemas merely for rebranding", "public release", "DNS or TLS changes", "launch provider work", @@ -592,7 +588,7 @@ def validate( if not isinstance(opsle_tasks, dict): errors.append("program_control.opsle_tasks must be an object") else: - if opsle_tasks.get("current_repository") != "sneakocom/taslos-tasks": + if opsle_tasks.get("current_repository") != "opsle/tasks": errors.append("Opsle Tasks current repository identity drifted") if "NEXT primary real-world workload" not in str(opsle_tasks.get("role")): errors.append("Opsle Tasks must remain the NEXT primary real-world workload") @@ -1360,9 +1356,6 @@ def validate_theory( errors.append("registry must record no executed existing-repository dispositions") if reconciliation.get("model_provider_runs_added") != 0: errors.append("registry must record zero model/provider runs for Gearbox publication") - if reconciliation.get("taslos_tasks_source_modified") is not False: - errors.append("registry must record Taslos Tasks as unmodified") - publication = registry.get("gearbox_publication") if not isinstance(publication, dict): errors.append("registry.gearbox_publication must be an object") @@ -1393,15 +1386,11 @@ def validate_theory( errors.append("registry Gearbox publication SHA must match repository HEAD") if gearbox_repository.get("lifecycle_stage") != "PROTOTYPED": errors.append("registered Gearbox lifecycle stage must be PROTOTYPED") - for field in ("final_main_sha", "implementation_revision", "source_revision"): + for field in ("final_main_sha", "implementation_revision"): if not isinstance(publication.get(field), str) or not SHA_RE.fullmatch( publication[field] ): errors.append(f"registry Gearbox publication {field} must be a Git SHA") - if publication.get("source_repository") != "sneakocom/taslos-tasks": - errors.append("registry Gearbox publication source repository is invalid") - if publication.get("source_modified") is not False: - errors.append("registry Gearbox publication must record an unchanged source") if publication.get("provider_model_runs") != 0: errors.append("registry Gearbox publication must record zero provider/model runs") if publication.get("repository_consolidations") != 0: