oxe-cc 0.9.3 → 1.2.1

package/lib/runtime/index.js

@@ -0,0 +1,44 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.summarizeSuite = exports.runSuite = exports.runCheck = exports.compileVerification = void 0;
+// R1 Public ABI — OXE Runtime Foundation
+__exportStar(require("./models/index"), exports);
+__exportStar(require("./events/index"), exports);
+__exportStar(require("./reducers/index"), exports);
+__exportStar(require("./compiler/index"), exports);
+__exportStar(require("./scheduler/index"), exports);
+__exportStar(require("./workspace/index"), exports);
+// R2 Public ABI — OXE Evidence & Verification
+__exportStar(require("./evidence/index"), exports);
+// verification exports compile as compileVerification to avoid conflict with compiler/compile
+var verification_compiler_1 = require("./verification/verification-compiler");
+Object.defineProperty(exports, "compileVerification", { enumerable: true, get: function () { return verification_compiler_1.compile; } });
+Object.defineProperty(exports, "runCheck", { enumerable: true, get: function () { return verification_compiler_1.runCheck; } });
+Object.defineProperty(exports, "runSuite", { enumerable: true, get: function () { return verification_compiler_1.runSuite; } });
+Object.defineProperty(exports, "summarizeSuite", { enumerable: true, get: function () { return verification_compiler_1.summarizeSuite; } });
+__exportStar(require("./verification/verification-manifest"), exports);
+__exportStar(require("./policy/index"), exports);
+__exportStar(require("./gate/index"), exports);
+__exportStar(require("./projection/index"), exports);
+// R3 Public ABI — OXE Delivery & Extensibility
+__exportStar(require("./plugins/index"), exports);
+__exportStar(require("./delivery/index"), exports);
+__exportStar(require("./context/index"), exports);
+__exportStar(require("./scheduler/multi-agent-coordinator"), exports);
+// R4 Public ABI — Decision, Audit & Enterprise
+__exportStar(require("./decision/index"), exports);
+__exportStar(require("./audit/index"), exports);

package/lib/runtime/models/attempt.d.ts

@@ -0,0 +1,12 @@
+export type AttemptOutcome = 'success' | 'failure_env' | 'failure_policy' | 'failure_test' | 'failure_timeout' | 'cancelled';
+export interface Attempt {
+    attempt_id: string;
+    work_item_id: string;
+    attempt_number: number;
+    workspace_id: string | null;
+    agent_profile: string | null;
+    model: string | null;
+    started_at: string;
+    ended_at: string | null;
+    outcome: AttemptOutcome | null;
+}

package/lib/runtime/models/attempt.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/runtime/models/evidence.d.ts

@@ -0,0 +1,9 @@
+export type EvidenceType = 'diff' | 'stdout' | 'stderr' | 'junit_xml' | 'coverage' | 'screenshot' | 'trace' | 'log' | 'security_report' | 'api_output' | 'summary';
+export interface Evidence {
+    evidence_id: string;
+    attempt_id: string;
+    type: EvidenceType;
+    path: string;
+    checksum: string | null;
+    created_at: string;
+}

package/lib/runtime/models/evidence.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/runtime/models/gate-decision.d.ts

@@ -0,0 +1,10 @@
+export type GateDecisionValue = 'approved' | 'rejected' | 'approved_with_caveats' | 'needs_more_evidence';
+export type GateScope = 'plan_approval' | 'critical_mutation' | 'security' | 'pr_promotion' | 'merge';
+export interface GateDecision {
+    gate_id: string;
+    scope: GateScope;
+    decision: GateDecisionValue;
+    actor: string;
+    reason: string | null;
+    timestamp: string;
+}

package/lib/runtime/models/gate-decision.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/runtime/models/index.d.ts

@@ -0,0 +1,8 @@
+export * from './session';
+export * from './run';
+export * from './work-item';
+export * from './attempt';
+export * from './workspace';
+export * from './evidence';
+export * from './gate-decision';
+export * from './verification-result';

package/lib/runtime/models/index.js

@@ -0,0 +1,24 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./session"), exports);
+__exportStar(require("./run"), exports);
+__exportStar(require("./work-item"), exports);
+__exportStar(require("./attempt"), exports);
+__exportStar(require("./workspace"), exports);
+__exportStar(require("./evidence"), exports);
+__exportStar(require("./gate-decision"), exports);
+__exportStar(require("./verification-result"), exports);

package/lib/runtime/models/run.d.ts

@@ -0,0 +1,13 @@
+export type RunStatus = 'planned' | 'running' | 'paused' | 'waiting_approval' | 'failed' | 'completed' | 'replaying' | 'aborted' | 'cancelled';
+export type RunMode = 'completo' | 'por_onda' | 'por_tarefa';
+export type RunInitiator = 'user' | 'scheduler' | 'retry' | 'replay';
+export interface Run {
+    run_id: string;
+    session_id: string | null;
+    graph_version: string;
+    started_at: string;
+    ended_at: string | null;
+    status: RunStatus;
+    initiator: RunInitiator;
+    mode: RunMode;
+}

package/lib/runtime/models/run.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/runtime/models/session.d.ts

@@ -0,0 +1,10 @@
+export type SessionStatus = 'active' | 'archived' | 'closed';
+export interface Session {
+    session_id: string;
+    title: string;
+    created_at: string;
+    status: SessionStatus;
+    repo_root: string;
+    baseline_commit: string | null;
+    active_run_id: string | null;
+}

package/lib/runtime/models/session.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/runtime/models/verification-result.d.ts

@@ -0,0 +1,9 @@
+export type VerificationStatus = 'pass' | 'fail' | 'skip' | 'error';
+export interface VerificationResult {
+    verification_id: string;
+    work_item_id: string;
+    check_id: string;
+    status: VerificationStatus;
+    evidence_refs: string[];
+    summary: string | null;
+}

package/lib/runtime/models/verification-result.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/runtime/models/work-item.d.ts

@@ -0,0 +1,15 @@
+import type { WorkspaceStrategy } from './workspace';
+export type WorkItemStatus = 'pending' | 'ready' | 'running' | 'completed' | 'failed' | 'blocked' | 'skipped';
+export type WorkItemType = 'task' | 'checkpoint' | 'gate' | 'verification';
+export interface WorkItem {
+    work_item_id: string;
+    run_id: string;
+    title: string;
+    type: WorkItemType;
+    depends_on: string[];
+    mutation_scope: string[];
+    policy_ref: string | null;
+    verify_ref: string[];
+    status: WorkItemStatus;
+    workspace_strategy: WorkspaceStrategy;
+}

package/lib/runtime/models/work-item.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/runtime/models/workspace.d.ts

@@ -0,0 +1,25 @@
+export type WorkspaceStrategy = 'inplace' | 'git_worktree' | 'ephemeral_container';
+export type WorkspaceStatus = 'allocating' | 'ready' | 'dirty' | 'disposed' | 'error';
+export interface Workspace {
+    workspace_id: string;
+    strategy: WorkspaceStrategy;
+    base_commit: string | null;
+    branch: string | null;
+    container_ref: string | null;
+    status: WorkspaceStatus;
+    root_path: string;
+}
+export interface WorkspaceLease {
+    workspace_id: string;
+    strategy: WorkspaceStrategy;
+    branch: string | null;
+    base_commit: string | null;
+    root_path: string;
+    ttl_minutes: number;
+}
+export interface SnapshotRef {
+    snapshot_id: string;
+    workspace_id: string;
+    commit: string;
+    created_at: string;
+}

package/lib/runtime/models/workspace.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/runtime/plugins/capability-matrix.d.ts

@@ -0,0 +1,20 @@
+import type { PluginRegistry } from './plugin-registry';
+export type ApiStability = 'stable' | 'experimental' | 'deprecated';
+export interface ProviderCapabilityEntry {
+    name: string;
+    provider_type: 'tool' | 'workspace' | 'verifier' | 'context';
+    stability: ApiStability;
+    since_abi_version: string;
+    deprecated_in?: string;
+    replacement?: string;
+}
+export interface CapabilityMatrix {
+    abi_version: string;
+    entries: ProviderCapabilityEntry[];
+}
+export declare function buildMatrix(registry: PluginRegistry): CapabilityMatrix;
+export declare function getStableEntries(matrix: CapabilityMatrix): ProviderCapabilityEntry[];
+export declare function getExperimentalEntries(matrix: CapabilityMatrix): ProviderCapabilityEntry[];
+export declare function getDeprecatedEntries(matrix: CapabilityMatrix): ProviderCapabilityEntry[];
+export declare function markDeprecated(matrix: CapabilityMatrix, name: string, deprecatedIn: string, replacement?: string): CapabilityMatrix;
+export declare function addEntry(matrix: CapabilityMatrix, entry: ProviderCapabilityEntry): CapabilityMatrix;

package/lib/runtime/plugins/capability-matrix.js

@@ -0,0 +1,59 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildMatrix = buildMatrix;
+exports.getStableEntries = getStableEntries;
+exports.getExperimentalEntries = getExperimentalEntries;
+exports.getDeprecatedEntries = getDeprecatedEntries;
+exports.markDeprecated = markDeprecated;
+exports.addEntry = addEntry;
+const plugin_manifest_1 = require("./plugin-manifest");
+function buildMatrix(registry) {
+    const entries = [];
+    for (const plugin of registry.list()) {
+        const providers = plugin.providers ?? [];
+        for (const prov of providers) {
+            let provider_type;
+            if (prov.startsWith('tool:'))
+                provider_type = 'tool';
+            else if (prov.startsWith('workspace:'))
+                provider_type = 'workspace';
+            else if (prov.startsWith('verifier:'))
+                provider_type = 'verifier';
+            else if (prov.startsWith('context:'))
+                provider_type = 'context';
+            else
+                continue;
+            const name = prov.slice(prov.indexOf(':') + 1);
+            entries.push({
+                name,
+                provider_type,
+                stability: 'stable',
+                since_abi_version: plugin_manifest_1.CURRENT_ABI_VERSION,
+            });
+        }
+    }
+    return { abi_version: plugin_manifest_1.CURRENT_ABI_VERSION, entries };
+}
+function getStableEntries(matrix) {
+    return matrix.entries.filter((e) => e.stability === 'stable');
+}
+function getExperimentalEntries(matrix) {
+    return matrix.entries.filter((e) => e.stability === 'experimental');
+}
+function getDeprecatedEntries(matrix) {
+    return matrix.entries.filter((e) => e.stability === 'deprecated');
+}
+function markDeprecated(matrix, name, deprecatedIn, replacement) {
+    return {
+        ...matrix,
+        entries: matrix.entries.map((e) => e.name === name
+            ? { ...e, stability: 'deprecated', deprecated_in: deprecatedIn, replacement }
+            : e),
+    };
+}
+function addEntry(matrix, entry) {
+    if (matrix.entries.some((e) => e.name === entry.name && e.provider_type === entry.provider_type)) {
+        return matrix;
+    }
+    return { ...matrix, entries: [...matrix.entries, entry] };
+}

package/lib/runtime/plugins/index.d.ts

@@ -0,0 +1,4 @@
+export * from './plugin-abi';
+export * from './plugin-registry';
+export * from './plugin-manifest';
+export * from './capability-matrix';

package/lib/runtime/plugins/index.js

@@ -0,0 +1,20 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./plugin-abi"), exports);
+__exportStar(require("./plugin-registry"), exports);
+__exportStar(require("./plugin-manifest"), exports);
+__exportStar(require("./capability-matrix"), exports);

package/lib/runtime/plugins/plugin-abi.d.ts

@@ -0,0 +1,76 @@
+import type { WorkspaceManager } from '../workspace/workspace-manager';
+import type { VerificationResult } from '../models/verification-result';
+export interface ToolInvocationInput {
+    action_type: string;
+    work_item_id: string;
+    run_id: string;
+    attempt_id: string;
+    params: Record<string, unknown>;
+    workspace_root: string;
+}
+export interface ToolInvocationResult {
+    success: boolean;
+    output: string;
+    evidence_paths: string[];
+    side_effects_applied: string[];
+    error?: string;
+}
+export interface ToolProvider {
+    readonly name: string;
+    readonly kind: 'read' | 'mutation' | 'verification' | 'analysis' | 'external_operation';
+    readonly idempotent: boolean;
+    supports(actionType: string): boolean;
+    invoke(input: ToolInvocationInput): Promise<ToolInvocationResult>;
+}
+export interface WorkspaceProvider extends WorkspaceManager {
+    readonly name: string;
+    supportsStrategy(strategy: string): boolean;
+}
+export interface VerificationInput {
+    check_id: string;
+    check_type: string;
+    command: string | null;
+    work_item_id: string;
+    workspace_root: string;
+    evidence_dir: string;
+}
+export interface VerifierProvider {
+    readonly name: string;
+    supports(checkType: string): boolean;
+    execute(input: VerificationInput): Promise<VerificationResult>;
+}
+export interface ContextRequest {
+    work_item_id: string;
+    run_id: string;
+    decision_type: 'execute' | 'verify' | 'plan' | 'review';
+    artifact_paths: string[];
+    project_root: string;
+}
+export interface PluginContextArtifact {
+    source: string;
+    weight: number;
+    reason: string;
+    content?: string;
+}
+export interface PluginContextArtifacts {
+    included: PluginContextArtifact[];
+    excluded: Array<{
+        source: string;
+        reason: string;
+    }>;
+    total_weight: number;
+}
+export interface ContextProvider {
+    readonly name: string;
+    collect(input: ContextRequest): Promise<PluginContextArtifacts>;
+}
+export interface OxePlugin {
+    readonly name: string;
+    readonly version?: string;
+    toolProviders?: ToolProvider[];
+    workspaceProviders?: WorkspaceProvider[];
+    verifierProviders?: VerifierProvider[];
+    contextProviders?: ContextProvider[];
+    /** Legacy lifecycle hooks (compatible with oxe-plugins.cjs) */
+    hooks?: Record<string, (ctx: Record<string, unknown>) => Promise<void> | void>;
+}

package/lib/runtime/plugins/plugin-abi.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/runtime/plugins/plugin-manifest.d.ts

@@ -0,0 +1,22 @@
+import type { OxePlugin } from './plugin-abi';
+export declare const CURRENT_ABI_VERSION = "1.0.0";
+export interface PluginManifest {
+    name: string;
+    version: string;
+    abi_version: string;
+    capabilities: Array<'tool' | 'workspace' | 'verifier' | 'context' | 'hooks'>;
+    tool_action_types?: string[];
+    workspace_strategies?: string[];
+    verifier_check_types?: string[];
+    context_provider_names?: string[];
+    hook_names?: string[];
+}
+export interface PluginValidationResult {
+    valid: boolean;
+    errors: string[];
+    warnings: string[];
+}
+export declare function extractManifest(plugin: OxePlugin): PluginManifest;
+export declare function validatePlugin(plugin: OxePlugin): PluginValidationResult;
+export declare function isAbiCompatible(pluginAbiVersion: string): boolean;
+export declare function sandboxInvoke<T>(fn: () => Promise<T>, timeoutMs?: number): Promise<T>;

package/lib/runtime/plugins/plugin-manifest.js

@@ -0,0 +1,91 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CURRENT_ABI_VERSION = void 0;
+exports.extractManifest = extractManifest;
+exports.validatePlugin = validatePlugin;
+exports.isAbiCompatible = isAbiCompatible;
+exports.sandboxInvoke = sandboxInvoke;
+exports.CURRENT_ABI_VERSION = '1.0.0';
+function extractManifest(plugin) {
+    const capabilities = [];
+    if (plugin.toolProviders?.length)
+        capabilities.push('tool');
+    if (plugin.workspaceProviders?.length)
+        capabilities.push('workspace');
+    if (plugin.verifierProviders?.length)
+        capabilities.push('verifier');
+    if (plugin.contextProviders?.length)
+        capabilities.push('context');
+    if (plugin.hooks && Object.keys(plugin.hooks).length > 0)
+        capabilities.push('hooks');
+    return {
+        name: plugin.name,
+        version: plugin.version ?? '0.0.0',
+        abi_version: exports.CURRENT_ABI_VERSION,
+        capabilities,
+        tool_action_types: plugin.toolProviders?.flatMap((p) => ['read_code', 'generate_patch', 'run_tests', 'collect_evidence', 'custom'].filter((t) => p.supports(t))) ?? [],
+        workspace_strategies: plugin.workspaceProviders?.map((p) => p.name) ?? [],
+        verifier_check_types: plugin.verifierProviders?.flatMap((p) => ['unit', 'integration', 'smoke', 'policy', 'security', 'custom'].filter((t) => p.supports(t))) ?? [],
+        context_provider_names: plugin.contextProviders?.map((p) => p.name) ?? [],
+        hook_names: plugin.hooks ? Object.keys(plugin.hooks) : [],
+    };
+}
+function validatePlugin(plugin) {
+    const errors = [];
+    const warnings = [];
+    if (!plugin.name || typeof plugin.name !== 'string') {
+        errors.push('Plugin must have a non-empty string name');
+    }
+    if (plugin.version && !/^\d+\.\d+\.\d+/.test(plugin.version)) {
+        warnings.push(`Plugin version "${plugin.version}" does not follow semver`);
+    }
+    if (!plugin.toolProviders?.length &&
+        !plugin.workspaceProviders?.length &&
+        !plugin.verifierProviders?.length &&
+        !plugin.contextProviders?.length &&
+        !plugin.hooks) {
+        warnings.push('Plugin declares no providers or hooks — it has no effect');
+    }
+    // Validate each tool provider
+    for (const tp of plugin.toolProviders ?? []) {
+        if (!tp.name)
+            errors.push('ToolProvider missing name');
+        if (typeof tp.supports !== 'function')
+            errors.push(`ToolProvider "${tp.name}" missing supports() method`);
+        if (typeof tp.invoke !== 'function')
+            errors.push(`ToolProvider "${tp.name}" missing invoke() method`);
+    }
+    // Validate each workspace provider
+    for (const wp of plugin.workspaceProviders ?? []) {
+        if (!wp.name)
+            errors.push('WorkspaceProvider missing name');
+        if (typeof wp.supportsStrategy !== 'function')
+            errors.push(`WorkspaceProvider "${wp.name}" missing supportsStrategy()`);
+        if (typeof wp.allocate !== 'function')
+            errors.push(`WorkspaceProvider "${wp.name}" missing allocate()`);
+    }
+    // Validate each verifier provider
+    for (const vp of plugin.verifierProviders ?? []) {
+        if (!vp.name)
+            errors.push('VerifierProvider missing name');
+        if (typeof vp.supports !== 'function')
+            errors.push(`VerifierProvider "${vp.name}" missing supports()`);
+        if (typeof vp.execute !== 'function')
+            errors.push(`VerifierProvider "${vp.name}" missing execute()`);
+    }
+    return { valid: errors.length === 0, errors, warnings };
+}
+function isAbiCompatible(pluginAbiVersion) {
+    // Major version must match; minor/patch are backwards-compatible
+    const [currMajor] = exports.CURRENT_ABI_VERSION.split('.').map(Number);
+    const [plugMajor] = pluginAbiVersion.split('.').map(Number);
+    return currMajor === plugMajor;
+}
+function sandboxInvoke(fn, timeoutMs = 10000) {
+    return new Promise((resolve, reject) => {
+        const timer = setTimeout(() => {
+            reject(new Error(`Plugin invocation timed out after ${timeoutMs}ms`));
+        }, timeoutMs);
+        fn().then((result) => { clearTimeout(timer); resolve(result); }, (err) => { clearTimeout(timer); reject(err instanceof Error ? err : new Error(String(err))); });
+    });
+}

package/lib/runtime/plugins/plugin-registry.d.ts

@@ -0,0 +1,21 @@
+import type { OxePlugin, ToolProvider, WorkspaceProvider, VerifierProvider, ContextProvider } from './plugin-abi';
+export declare class PluginRegistry {
+    private plugins;
+    register(plugin: OxePlugin): void;
+    unregister(name: string): void;
+    loadFromDirectory(dir: string): string[];
+    toolProviderFor(actionType: string): ToolProvider | null;
+    workspaceProviderFor(strategy: string): WorkspaceProvider | null;
+    verifierProviderFor(checkType: string): VerifierProvider | null;
+    contextProviderFor(name: string): ContextProvider | null;
+    allContextProviders(): ContextProvider[];
+    allToolProviders(): ToolProvider[];
+    runHook(hookName: string, ctx: Record<string, unknown>): Promise<void>;
+    list(): Array<{
+        name: string;
+        version?: string;
+        providers: string[];
+    }>;
+}
+export declare function globalRegistry(): PluginRegistry;
+export declare function resetGlobalRegistry(): void;