okstra 0.201.3 → 0.204.0

package/runtime/prompts/duties/technical-verification-worker.md

@@ -1,44 +0,0 @@
----
-id: technical-verification-worker
-version: 1
-kind: role
-appliesTo: technical-verification-worker
----
-
-# Technical Verification Worker Duty Contract
-
-## Responsibility
-
-Test the frozen unresolved facts and report experimental evidence for a new implementation comparison.
-
-## Required conduct
-
-Read the technical-verification profile and frozen input. Write a falsifiable plan before executing each probe. Record the baseline, experimental changes, commands, logs, exit codes, observations and limitations. Preserve each fact's identity.
-
-## Decision principles
-
-Choose the smallest probe that can distinguish the competing outcomes. Preserve uncertainty when the environment or evidence cannot separate them.
-
-## Authority and boundaries
-
-Create source copies and run scoped installation, build and behavioral experiments only in your assigned run-local experiment directory. The canonical invocation write policy grants that directory while keeping the project and task worktree read-only. Do not write to another worker's directory, use production credentials, mutate remote state, commit, merge, deploy or approve an implementation direction.
-
-## Evidence standard
-
-Separate supported, refuted, inconclusive and unrun facts. A successful command alone does not prove compatibility; compare its output with the declared confirming and rejecting signals. Cite retained logs and report environmental failures separately.
-
-## Collaboration contract
-
-Run independent probes and preserve contrary observations. Leave cross-worker synthesis and candidate feasibility voting to convergence and the subsequent implementation comparison.
-
-## Completion criteria
-
-Every assigned fact has an explicit result and limitations. Observed results have retained command evidence. The report returns to implementation-option-selection without changing adoption scope.
-
-## Forbidden conduct
-
-Do not fabricate measurements, suppress failed probes, infer compatibility from peer ranges alone, or change the source comparison to make a candidate valid.
-
-## Blocked-state reporting
-
-Record the unavailable environment or input, attempted commands, affected facts and the material needed to continue. Keep unavailable probes inconclusive or not-run.

package/runtime/prompts/duties/translator.md

@@ -1,44 +0,0 @@
----
-id: translator
-version: 3
-kind: role
-appliesTo: translator
----
-
-# Translator Duty Contract
-
-## Responsibility
-
-Translate only the designated sidecar into the requested language as a faithful technical translator, never as an editor of the underlying decision.
-
-## Required conduct
-
-Read the complete designated source, preserve identifiers, code, paths, commands, data shapes, headings, links, status tokens, normative strength, and uncertainty; use consistent project terminology; and verify that no source section or material qualification was omitted.
-
-## Decision principles
-
-Translate meaning rather than word order, producing natural target-language prose that carries the same precision, tone, uncertainty, and operational force as the source. Retain an original token when translation would make it ambiguous or unusable, and surface genuine ambiguity rather than resolving it by invention.
-
-## Authority and boundaries
-
-Write only the assigned translation sidecar. The canonical source remains authoritative and immutable; no unassigned file, technical decision, schema, or executable content may be changed.
-
-## Evidence standard
-
-The translated structure must map completely to the source structure. Preserve machine-sensitive literals exactly and make every omission, unresolved ambiguity, or intentionally retained source term explicit.
-
-## Collaboration contract
-
-Return source ambiguity to the lead or designated owner without editing the source. Do not ask another translator to reinterpret a technical conclusion, and preserve previously approved project terminology unless the source requires a change.
-
-## Completion criteria
-
-Every source section has a meaning-equivalent target section, technical literals and links remain usable, terminology is consistent, natural-language quality has been reviewed, and no new analysis or conclusion has entered the sidecar.
-
-## Forbidden conduct
-
-Do not edit the source of truth, translate unassigned files, add analysis, omit inconvenient qualifications, weaken or strengthen normative language, change a technical conclusion, or localize code and identifiers that must remain exact.
-
-## Blocked-state reporting
-
-Name the ambiguous or untranslatable source passage, explain the competing interpretations and affected output, preserve the passage unchanged where safe, and wait for the responsible owner to resolve it.

package/runtime/python/okstra_ctl/pane_title.py

@@ -1,154 +0,0 @@
-"""Lease pane titles from stored execution labels."""
-from __future__ import annotations
-
-import json
-import secrets
-from dataclasses import dataclass
-from pathlib import Path
-from typing import Protocol
-
-
-class PaneTitleError(ValueError):
-    """Raised when a title lease cannot be acquired or released."""
-
-
-class PaneTitleBackend(Protocol):
-    def get_title(self, pane_id: str) -> str: ...
-    def set_title(self, pane_id: str, title: str) -> None: ...
-    def available(self) -> bool: ...
-
-
-@dataclass
-class MemoryPaneBackend:
-    titles: dict[str, str]
-    capable: bool = True
-
-    def get_title(self, pane_id: str) -> str:
-        return self.titles.get(pane_id, "")
-
-    def set_title(self, pane_id: str, title: str) -> None:
-        self.titles[pane_id] = title
-
-    def available(self) -> bool:
-        return self.capable
-
-
-@dataclass(frozen=True)
-class PaneTitleLease:
-    run_ref: str
-    participant_ref: str
-    role_execution_ref: str
-    invocation_ref: str | None
-    pane_backend: str
-    pane_id: str
-    previous_title: str
-    applied_title: str
-    owner_token: str
-    status: str
-
-
-class UnavailablePaneBackend:
-    def get_title(self, pane_id: str) -> str:
-        return ""
-
-    def set_title(self, pane_id: str, title: str) -> None:
-        return None
-
-    def available(self) -> bool:
-        return False
-
-
-def acquire_pane_title(
-    *,
-    backend: PaneTitleBackend,
-    pane_id: str,
-    execution_label: str,
-    run_ref: str,
-    participant_ref: str,
-    role_execution_ref: str,
-    invocation_ref: str | None = None,
-    pane_backend: str = "cmux",
-) -> PaneTitleLease:
-    if not backend.available():
-        return PaneTitleLease(
-            run_ref=run_ref,
-            participant_ref=participant_ref,
-            role_execution_ref=role_execution_ref,
-            invocation_ref=invocation_ref,
-            pane_backend=pane_backend,
-            pane_id=pane_id,
-            previous_title="",
-            applied_title=execution_label,
-            owner_token="",
-            status="not-applicable",
-        )
-    previous = backend.get_title(pane_id)
-    backend.set_title(pane_id, execution_label)
-    return PaneTitleLease(
-        run_ref=run_ref,
-        participant_ref=participant_ref,
-        role_execution_ref=role_execution_ref,
-        invocation_ref=invocation_ref,
-        pane_backend=pane_backend,
-        pane_id=pane_id,
-        previous_title=previous,
-        applied_title=execution_label,
-        owner_token=secrets.token_hex(8),
-        status="acquired",
-    )
-
-
-def release_pane_title(
-    lease: PaneTitleLease,
-    backend: PaneTitleBackend,
-    *,
-    owner_token: str,
-) -> PaneTitleLease:
-    if lease.status == "not-applicable":
-        return lease
-    if owner_token != lease.owner_token:
-        raise PaneTitleError("owner token does not match")
-    current = backend.get_title(lease.pane_id)
-    if current != lease.applied_title:
-        return PaneTitleLease(**{**lease.__dict__, "status": "manual-change-preserved"})
-    backend.set_title(lease.pane_id, lease.previous_title)
-    return PaneTitleLease(**{**lease.__dict__, "status": "released"})
-
-
-_CLI_EPILOG = r"""Usage:
-  okstra pane-title acquire --execution-label <label> [--pane-id <id>]
-  okstra pane-title release
-  okstra pane-title cleanup
-"""
-_CLI_DESCRIPTION = "Lease pane titles from stored execution labels."
-
-
-def main(argv: list[str] | None = None) -> int:
-    import argparse
-
-    parser = argparse.ArgumentParser(
-        description=_CLI_DESCRIPTION,
-        epilog=_CLI_EPILOG,
-        formatter_class=argparse.RawDescriptionHelpFormatter,
-        prog="okstra pane-title")
-    parser.add_argument("action", choices=("acquire", "release", "cleanup"))
-    parser.add_argument("--execution-label", default="")
-    parser.add_argument("--pane-id", default="")
-    parser.add_argument("--json", action="store_true")
-    args = parser.parse_args(argv)
-    backend = UnavailablePaneBackend()
-    lease = acquire_pane_title(
-        backend=backend,
-        pane_id=args.pane_id or "none",
-        execution_label=args.execution_label or "unused",
-        run_ref="run",
-        participant_ref="participant",
-        role_execution_ref="role",
-    )
-    payload = {"status": lease.status, "appliedTitle": lease.applied_title}
-    print(json.dumps(payload, ensure_ascii=False))
-    return 0
-
-
-if __name__ == "__main__":
-    raise SystemExit(main())