forgeos 0.1.0-alpha.7 → 0.1.0-alpha.71

package/examples/java-billing/src/main/java/dev/forgeos/examples/billing/Main.java

@@ -0,0 +1,127 @@
+package dev.forgeos.examples.billing;
+
+import com.sun.net.httpserver.HttpServer;
+import dev.forgeos.adapter.Forge;
+import dev.forgeos.adapter.ForgeContext;
+import dev.forgeos.adapter.ForgeHttpHandler;
+import dev.forgeos.adapter.ForgeRegistry;
+import dev.forgeos.adapter.Risk;
+import dev.forgeos.adapter.Schemas;
+import dev.forgeos.adapter.TransactionMode;
+import java.util.Map;
+
+public final class Main {
+  private Main() {
+  }
+
+  public static void main(String[] args) throws Exception {
+    Options options = Options.parse(args);
+    ForgeRegistry app = newBillingApp(options.baseUrl());
+
+    if (options.manifest()) {
+      app.writeManifest(System.out, options.baseUrl());
+      return;
+    }
+
+    String[] addressParts = options.addr().split(":", 2);
+    String host = addressParts[0];
+    int port = Integer.parseInt(addressParts.length > 1 ? addressParts[1] : "8788");
+    HttpServer server = ForgeHttpHandler.listen(app, host, port);
+    System.err.printf("java billing external service listening on http://%s%n", options.addr());
+    Runtime.getRuntime().addShutdownHook(new Thread(() -> server.stop(0)));
+  }
+
+  static ForgeRegistry newBillingApp(String baseUrl) {
+    ForgeRegistry app = Forge.service("billing",
+        Forge.framework("java/jdk-http"),
+        Forge.baseUrl(baseUrl),
+        Forge.health("/health")
+    );
+
+    app.command("createInvoice", Forge.handle(CreateInvoiceInput.class, Main::createInvoice),
+        Forge.description("Create an invoice in the external Java billing service."),
+        Forge.policy("billing.manage"),
+        Forge.tenantScoped(true),
+        Forge.transaction(TransactionMode.EXTERNAL_MANAGED),
+        Forge.risk(Risk.WRITE),
+        Forge.needsApproval(true),
+        Forge.effects("invoice.created"),
+        Forge.inputSchema(Schemas.object(Map.of("title", Schemas.string()), "title")),
+        Forge.outputSchema(invoiceSchema())
+    );
+
+    app.query("listInvoices", Forge.handle(EmptyInput.class, Main::listInvoices),
+        Forge.description("List invoices visible to the current tenant."),
+        Forge.policy("billing.manage"),
+        Forge.tenantScoped(true),
+        Forge.readOnly(),
+        Forge.outputSchema(Schemas.array(invoiceSchema()))
+    );
+
+    return app;
+  }
+
+  static Invoice createInvoice(ForgeContext context, CreateInvoiceInput input) {
+    if (input.title() == null || input.title().isBlank()) {
+      throw new IllegalArgumentException("title is required");
+    }
+    if (context.auth().tenantId() == null || context.auth().tenantId().isBlank()) {
+      throw new IllegalArgumentException("tenant id is required");
+    }
+    return new Invoice(
+        "inv_java_1",
+        input.title(),
+        context.auth().tenantId(),
+        context.forge().traceId(),
+        context.auth().kind(),
+        context.auth().userId()
+    );
+  }
+
+  static Invoice[] listInvoices(ForgeContext context, EmptyInput input) {
+    if (context.auth().tenantId() == null || context.auth().tenantId().isBlank()) {
+      throw new IllegalArgumentException("tenant id is required");
+    }
+    return new Invoice[] {
+        new Invoice("inv_java_1", "Java adapter invoice", context.auth().tenantId(), null, null, null)
+    };
+  }
+
+  static Map<String, Object> invoiceSchema() {
+    return Schemas.object(Map.of(
+        "id", Schemas.string(),
+        "title", Schemas.string(),
+        "tenant", Schemas.string(),
+        "traceId", Schemas.string(),
+        "authKind", Schemas.string(),
+        "userId", Schemas.string()
+    ), "id", "tenant");
+  }
+
+  record EmptyInput() {
+  }
+
+  record Options(String addr, String baseUrl, boolean manifest) {
+    static Options parse(String[] args) {
+      String addr = "127.0.0.1:8788";
+      String baseUrl = null;
+      boolean manifest = false;
+
+      for (int index = 0; index < args.length; index += 1) {
+        String arg = args[index];
+        if ("--manifest".equals(arg)) {
+          manifest = true;
+        } else if ("--addr".equals(arg) && index + 1 < args.length) {
+          addr = args[++index];
+        } else if ("--base-url".equals(arg) && index + 1 < args.length) {
+          baseUrl = args[++index];
+        }
+      }
+
+      if (baseUrl == null || baseUrl.isBlank()) {
+        baseUrl = "http://" + addr;
+      }
+      return new Options(addr, baseUrl, manifest);
+    }
+  }
+}

package/package.json

@@ -1,14 +1,48 @@
 {
   "name": "forgeos",
-  "version": "0.1.0-alpha.7",
+  "version": "0.1.0-alpha.71",
   "description": "Agent-native application framework and compiler for building Forge apps without a mandatory dashboard.",
   "type": "module",
+  "license": "MIT",
   "files": [
+    "adapters/",
+    "!adapters/**/target/**",
+    "!adapters/**/*.class",
+    "!adapters/**/*.jar",
     "bin/",
+    "scripts/field-test-forgeos.mjs",
+    "scripts/install-agent-fabric-skill.mjs",
+    ".agents/skills/forge-agent-fabric/",
+    "docs/cair-protocol.md",
+    "docs/forge-protocol.md",
+    "docs/agent-fabric.md",
+    "docs/agent-fabric-programs.md",
+    "docs/repository-analysis.md",
+    "docs/repository-context-quality.md",
+    "docs/repository-agent-benchmark.md",
+    "docs/repository-runtime-observation.md",
+    "docs/architecture/agent-fabric/REPOSITORY_MANIFEST_PLAN.md",
+    "docs/architecture/agent-fabric/PORTABLE_PROJECTS_PLAN.md",
+    "docs/architecture/agent-fabric/WORKFLOW_PROGRAM_V2_PLAN.md",
+    "docs/architecture/agent-fabric/WORKFLOW_PROGRAM_V2_ADR.md",
+    "docs/architecture/agent-fabric/WORKFLOW_PROGRAM_V2_EVIDENCE.md",
+    "docs/architecture/agent-fabric/WORKFLOW_PROGRAM_V2_CORRECTIONS.md",
+    "docs/architecture/agent-fabric/WORKFLOW_PROGRAM_V2_CORRECTIONS_EVIDENCE.md",
+    "examples/go-billing/",
+    "examples/agent-fabric-v2/",
+    "examples/java-billing/",
+    "!examples/**/target/**",
+    "!examples/**/*.class",
+    "!examples/**/*.jar",
     "packages/eslint-plugin-forge/",
+    "schemas/",
     "src/",
+    "!src/forge/_generated/**",
+    "src/forge/_generated/releaseManifest.json",
+    "src/forge/_generated/releaseManifest.ts",
     "templates/",
     "README.md",
+    "LICENSE",
     "CHANGELOG.md",
     "CONTRIBUTING.md",
     "AGENTS.md",
@@ -19,13 +53,21 @@
       "src"
     ]
   },
+  "workspaces": [
+    ".",
+    "packages/*"
+  ],
   "bin": {
     "forge": "bin/forge.mjs"
   },
   "exports": {
     "./react": "./src/forge/react/index.ts",
+    "./vue": "./src/forge/vue/index.ts",
     "./server": "./src/forge/server.ts",
-    "./policy": "./src/forge/policy.ts"
+    "./policy": "./src/forge/policy.ts",
+    "./agent-fabric": "./src/forge/agent-fabric/index.ts",
+    "./agent-fabric/workflows": "./src/forge/agent-fabric/program-dsl.ts",
+    "./repository-analysis": "./src/forge/repository-analysis/index.ts"
   },
   "scripts": {
     "test": "node ./bin/forge-bun.mjs test --timeout 120000",
@@ -43,6 +85,7 @@
     "release:publish-alpha": "node scripts/publish-trusted-alpha.mjs",
     "release:publish-local-alpha": "node scripts/publish-local-alpha.mjs",
     "field:test": "node scripts/field-test-forgeos.mjs",
+    "fabric:install-skill": "node scripts/install-agent-fabric-skill.mjs",
     "forge": "node ./bin/forge.mjs",
     "forge:node": "node ./bin/forge.mjs",
     "forge:bun": "node ./bin/forge-bun.mjs src/forge/cli/main.ts",
@@ -80,6 +123,9 @@
     "@ai-sdk/anthropic": "^3.0.84",
     "@ai-sdk/openai": "^3.0.71",
     "@electric-sql/pglite": "^0.2.17",
+    "@openai/codex-sdk": "0.160.0",
+    "@types/react": "^19.2.17",
+    "@vue/compiler-sfc": "3.5.38",
     "ai": "^6.0.205",
     "jose": "^6.2.3",
     "postgres": "^3.4.5",
@@ -88,16 +134,25 @@
     "tree-sitter-typescript": "^0.23.2",
     "tsx": "^4.20.6",
     "typescript": "^5.7.3",
+    "vue": "^3.5.38",
+    "yaml": "2.9.1",
     "zod": "^3.25.76"
   },
   "devDependencies": {
-    "@changesets/changelog-github": "^0.7.0",
-    "@changesets/cli": "^2.31.0",
+    "@changesets/changelog-github": "^1.0.1",
+    "@changesets/cli": "^3.0.3",
     "@types/bun": "1.3.14",
     "@types/node": "^24.0.0",
-    "@types/react": "^19.2.17",
     "@types/react-test-renderer": "^19.1.0",
+    "ajv": "8.20.0",
     "fast-check": "^3.23.2",
     "react-test-renderer": "^19.2.7"
+  },
+  "overrides": {
+    "@ai-sdk/provider-utils": "4.0.33",
+    "fast-uri": "3.1.8",
+    "nanoid": "3.3.18",
+    "postcss": "8.5.29",
+    "read-yaml-file": "^3.0.0"
   }
 }

package/schemas/agent-fabric/v0.1/control-event.schema.json

@@ -0,0 +1,281 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "urn:forgeos:agent-fabric:control-event:v0.1",
+  "title": "Forge Agent Fabric P0a Control Event",
+  "type": "object",
+  "properties": {
+    "eventId": { "type": "string", "minLength": 1 },
+    "rootExecutionId": { "type": "string", "minLength": 1 },
+    "occurredAt": { "type": "number", "minimum": 0 },
+    "idempotencyKey": { "type": "string", "minLength": 1 },
+    "payload": {
+      "oneOf": [
+        { "type": "object", "properties": { "type": { "const": "owner_authorization_registered" }, "authorization": { "$ref": "#/$defs/ownerAuthorization" }, "verification": { "$ref": "#/$defs/ownerAuthorizationVerification" } }, "required": ["type", "authorization", "verification"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "owner_authorization_revoked" }, "authorizationId": { "type": "string", "minLength": 1 }, "reason": { "type": "string", "minLength": 1 } }, "required": ["type", "authorizationId", "reason"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "resource_ledger_initialized" }, "definitions": { "type": "array", "items": { "$ref": "#/$defs/resourceDefinition" } } }, "required": ["type", "definitions"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "resource_reservation_consumed" }, "reservationId": { "type": "string", "minLength": 1 } }, "required": ["type", "reservationId"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "resource_reservation_released" }, "reservationId": { "type": "string", "minLength": 1 } }, "required": ["type", "reservationId"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "goal_registered" }, "goal": { "$ref": "#/$defs/goal" } }, "required": ["type", "goal"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "grant_registered" }, "grant": { "$ref": "#/$defs/grant" }, "reservation": { "oneOf": [{ "$ref": "#/$defs/resourceReservation" }, { "type": "null" }] } }, "required": ["type", "grant", "reservation"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "grant_revoked" }, "grantId": { "type": "string", "minLength": 1 }, "reason": { "type": "string", "minLength": 1 } }, "required": ["type", "grantId", "reason"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "plan_delta_registered" }, "delta": { "$ref": "#/$defs/planDelta" } }, "required": ["type", "delta"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "plan_revision_activated" }, "revision": { "$ref": "#/$defs/runPlanRevision" } }, "required": ["type", "revision"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "dispatch_intent_committed" }, "intent": { "$ref": "#/$defs/dispatchIntent" } }, "required": ["type", "intent"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "scheduling_claim_committed" }, "claim": { "$ref": "#/$defs/schedulingClaim" } }, "required": ["type", "claim"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "attempt_execution_permit_issued" }, "permit": { "$ref": "#/$defs/attemptExecutionPermit" } }, "required": ["type", "permit"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "attempt_started" }, "attemptId": { "type": "string", "minLength": 1 }, "permitId": { "type": "string", "minLength": 1 }, "startupReportId": { "type": "string", "minLength": 1 }, "startedAt": { "type": "number", "minimum": 0 } }, "required": ["type", "attemptId", "permitId", "startupReportId", "startedAt"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "attempt_uncertainty_observed" }, "observation": { "$ref": "#/$defs/attemptUncertaintyObservation" } }, "required": ["type", "observation"], "additionalProperties": false },
+        { "type": "object", "properties": { "type": { "const": "attempt_outcome_committed" }, "outcome": { "$ref": "#/$defs/authoritativeOutcomeCommit" } }, "required": ["type", "outcome"], "additionalProperties": false }
+      ]
+    },
+    "sequence": { "type": "integer", "minimum": 1 },
+    "predecessorEventId": { "oneOf": [{ "type": "string", "minLength": 1 }, { "type": "null" }] },
+    "predecessorEventDigest": { "oneOf": [{ "$ref": "#/$defs/digest" }, { "type": "null" }] },
+    "eventDigest": { "$ref": "#/$defs/digest" }
+  },
+  "required": ["eventId", "rootExecutionId", "occurredAt", "payload", "sequence", "predecessorEventId", "predecessorEventDigest", "eventDigest"],
+  "additionalProperties": false,
+  "$defs": {
+    "digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "effectClass": { "type": "string", "enum": ["read", "internal_write", "bounded_external_inference", "consequential"] },
+    "resourceDefinition": {
+      "type": "object",
+      "properties": {
+        "resource": { "type": "string", "minLength": 1 },
+        "semantics": { "type": "string", "enum": ["consumable", "capacity", "counter"] },
+        "limit": { "type": "number", "minimum": 0 }
+      },
+      "required": ["resource", "semantics", "limit"],
+      "additionalProperties": false
+    },
+    "workflowNode": {
+      "type": "object",
+      "properties": {
+        "nodeId": { "type": "string", "minLength": 1 },
+        "kind": { "type": "string", "enum": ["activity", "verification", "join"] },
+        "dependsOn": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "agentSpecId": { "type": "string", "minLength": 1 },
+        "harnessSpecId": { "type": "string", "minLength": 1 },
+        "executionProfileId": { "type": "string", "minLength": 1 },
+        "outputContractId": { "type": "string", "minLength": 1 }
+      },
+      "required": ["nodeId", "kind", "dependsOn"],
+      "additionalProperties": false
+    },
+    "ownerAuthorization": {
+      "type": "object",
+      "properties": {
+        "authorizationId": { "type": "string", "minLength": 1 },
+        "principalId": { "type": "string", "minLength": 1 },
+        "rootExecutionId": { "type": "string", "minLength": 1 },
+        "goalIds": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "subjectIds": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "capabilities": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "sourceIds": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "targetIds": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "effectClasses": { "type": "array", "items": { "$ref": "#/$defs/effectClass" } },
+        "notBefore": { "type": "number", "minimum": 0 },
+        "expiresAt": { "type": "number", "minimum": 0 },
+        "maximumAttempts": { "type": "integer", "minimum": 1 },
+        "maximumDelegationDepth": { "type": "integer", "minimum": 0 },
+        "resourceCeilings": { "type": "object", "additionalProperties": { "type": "number", "exclusiveMinimum": 0 } }
+      },
+      "required": ["authorizationId", "principalId", "rootExecutionId", "goalIds", "subjectIds", "capabilities", "sourceIds", "targetIds", "effectClasses", "notBefore", "expiresAt", "maximumAttempts", "maximumDelegationDepth", "resourceCeilings"],
+      "additionalProperties": false
+    },
+    "ownerAuthorizationVerification": {
+      "type": "object",
+      "properties": {
+        "verifierId": { "type": "string", "minLength": 1 },
+        "authorizationDigest": { "$ref": "#/$defs/digest" },
+        "evidenceDigest": { "$ref": "#/$defs/digest" }
+      },
+      "required": ["verifierId", "authorizationDigest", "evidenceDigest"],
+      "additionalProperties": false
+    },
+    "goal": {
+      "type": "object",
+      "properties": {
+        "goalId": { "type": "string", "minLength": 1 },
+        "revision": { "type": "integer", "minimum": 1 },
+        "authorityInvocationId": { "type": "string", "minLength": 1 },
+        "objectives": { "type": "array", "items": { "type": "string" } },
+        "nonObjectives": { "type": "array", "items": { "type": "string" } },
+        "acceptanceCriteria": { "type": "array", "items": { "type": "string" } },
+        "allowedEffectClasses": { "type": "array", "items": { "$ref": "#/$defs/effectClass" } },
+        "prohibitedEffectClasses": { "type": "array", "items": { "$ref": "#/$defs/effectClass" } },
+        "sourceBoundary": { "type": "object", "properties": { "sourceIds": { "type": "array", "items": { "type": "string", "minLength": 1 } }, "allowExpansion": { "type": "boolean" } }, "required": ["sourceIds", "allowExpansion"], "additionalProperties": false }
+      },
+      "required": ["goalId", "revision", "authorityInvocationId", "objectives", "nonObjectives", "acceptanceCriteria", "allowedEffectClasses", "prohibitedEffectClasses", "sourceBoundary"],
+      "additionalProperties": false
+    },
+    "grant": {
+      "type": "object",
+      "properties": {
+        "grantId": { "type": "string", "minLength": 1 },
+        "rootAuthorizationId": { "type": "string", "minLength": 1 },
+        "subjectId": { "type": "string", "minLength": 1 },
+        "parentGrantId": { "oneOf": [{ "type": "string", "minLength": 1 }, { "type": "null" }] },
+        "capabilities": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "sourceIds": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "targetIds": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "effectClasses": { "type": "array", "items": { "$ref": "#/$defs/effectClass" } },
+        "notBefore": { "type": "number", "minimum": 0 },
+        "expiresAt": { "type": "number", "minimum": 0 },
+        "maximumAttempts": { "type": "integer", "minimum": 1 },
+        "delegationDepthRemaining": { "type": "integer", "minimum": 0 },
+        "resourceCeilings": { "type": "object", "additionalProperties": { "type": "number", "exclusiveMinimum": 0 } },
+        "reservationId": { "type": "string", "minLength": 1 }
+      },
+      "required": ["grantId", "rootAuthorizationId", "subjectId", "parentGrantId", "capabilities", "sourceIds", "targetIds", "effectClasses", "notBefore", "expiresAt", "maximumAttempts", "delegationDepthRemaining", "resourceCeilings"],
+      "additionalProperties": false
+    },
+    "resourceReservation": {
+      "type": "object",
+      "properties": {
+        "reservationId": { "type": "string", "minLength": 1 },
+        "ownerId": { "type": "string", "minLength": 1 },
+        "requests": { "type": "array", "items": { "type": "object", "properties": { "resource": { "type": "string", "minLength": 1 }, "amount": { "type": "number", "exclusiveMinimum": 0 } }, "required": ["resource", "amount"], "additionalProperties": false } },
+        "status": { "type": "string", "enum": ["active", "consumed", "released"] }
+      },
+      "required": ["reservationId", "ownerId", "requests", "status"],
+      "additionalProperties": false
+    },
+    "planDeltaOperation": {
+      "oneOf": [
+        { "type": "object", "properties": { "kind": { "const": "add_node" }, "node": { "$ref": "#/$defs/workflowNode" } }, "required": ["kind", "node"], "additionalProperties": false },
+        { "type": "object", "properties": { "kind": { "const": "replace_node" }, "node": { "$ref": "#/$defs/workflowNode" } }, "required": ["kind", "node"], "additionalProperties": false },
+        { "type": "object", "properties": { "kind": { "const": "remove_node" }, "nodeId": { "type": "string", "minLength": 1 } }, "required": ["kind", "nodeId"], "additionalProperties": false }
+      ]
+    },
+    "planDelta": {
+      "type": "object",
+      "properties": {
+        "deltaId": { "type": "string", "minLength": 1 },
+        "rootExecutionId": { "type": "string", "minLength": 1 },
+        "baseRevisionId": { "type": "string", "minLength": 1 },
+        "nextRevisionId": { "type": "string", "minLength": 1 },
+        "operations": { "type": "array", "items": { "$ref": "#/$defs/planDeltaOperation" } }
+      },
+      "required": ["deltaId", "rootExecutionId", "baseRevisionId", "nextRevisionId", "operations"],
+      "additionalProperties": false
+    },
+    "runPlanRevision": {
+      "type": "object",
+      "properties": {
+        "revisionId": { "type": "string", "minLength": 1 },
+        "rootExecutionId": { "type": "string", "minLength": 1 },
+        "goalId": { "type": "string", "minLength": 1 },
+        "programVersionId": { "type": "string", "minLength": 1 },
+        "revisionNumber": { "type": "integer", "minimum": 1 },
+        "parentRevisionId": { "oneOf": [{ "type": "string", "minLength": 1 }, { "type": "null" }] },
+        "sourcePlanDeltaId": { "oneOf": [{ "type": "string", "minLength": 1 }, { "type": "null" }] },
+        "nodes": { "type": "array", "items": { "$ref": "#/$defs/workflowNode" } },
+        "contentDigest": { "$ref": "#/$defs/digest" }
+      },
+      "required": ["revisionId", "rootExecutionId", "goalId", "programVersionId", "revisionNumber", "parentRevisionId", "sourcePlanDeltaId", "nodes", "contentDigest"],
+      "additionalProperties": false
+    },
+    "dispatchIntent": {
+      "type": "object",
+      "properties": {
+        "intentId": { "type": "string", "minLength": 1 },
+        "rootExecutionId": { "type": "string", "minLength": 1 },
+        "planRevisionId": { "type": "string", "minLength": 1 },
+        "taskNodeId": { "type": "string", "minLength": 1 },
+        "effectiveRunSpecDigest": { "$ref": "#/$defs/digest" },
+        "sourceIds": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+        "targetId": { "type": "string", "minLength": 1 },
+        "requiredCapability": { "type": "string", "minLength": 1 },
+        "effectClass": { "$ref": "#/$defs/effectClass" },
+        "createdAt": { "type": "number", "minimum": 0 }
+      },
+      "required": ["intentId", "rootExecutionId", "planRevisionId", "taskNodeId", "effectiveRunSpecDigest", "sourceIds", "targetId", "requiredCapability", "effectClass", "createdAt"],
+      "additionalProperties": false
+    },
+    "schedulingClaim": {
+      "type": "object",
+      "properties": {
+        "claimId": { "type": "string", "minLength": 1 },
+        "intentId": { "type": "string", "minLength": 1 },
+        "workerId": { "type": "string", "minLength": 1 },
+        "attemptId": { "type": "string", "minLength": 1 },
+        "leaseExpiresAt": { "type": "number", "minimum": 0 },
+        "fencingToken": { "type": "integer", "minimum": 1 },
+        "committedAt": { "type": "number", "minimum": 0 }
+      },
+      "required": ["claimId", "intentId", "workerId", "attemptId", "leaseExpiresAt", "fencingToken", "committedAt"],
+      "additionalProperties": false
+    },
+    "attemptExecutionPermit": {
+      "type": "object",
+      "properties": {
+        "permitId": { "type": "string", "minLength": 1 },
+        "intentId": { "type": "string", "minLength": 1 },
+        "claimId": { "type": "string", "minLength": 1 },
+        "attemptId": { "type": "string", "minLength": 1 },
+        "workerId": { "type": "string", "minLength": 1 },
+        "planRevisionId": { "type": "string", "minLength": 1 },
+        "effectiveRunSpecDigest": { "$ref": "#/$defs/digest" },
+        "grantId": { "type": "string", "minLength": 1 },
+        "fencingToken": { "type": "integer", "minimum": 1 },
+        "notBefore": { "type": "number", "minimum": 0 },
+        "expiresAt": { "type": "number", "minimum": 0 }
+      },
+      "required": ["permitId", "intentId", "claimId", "attemptId", "workerId", "planRevisionId", "effectiveRunSpecDigest", "grantId", "fencingToken", "notBefore", "expiresAt"],
+      "additionalProperties": false
+    },
+    "attemptUncertaintyObservation": {
+      "type": "object",
+      "properties": {
+        "observationId": { "type": "string", "minLength": 1 },
+        "attemptId": { "type": "string", "minLength": 1 },
+        "permitId": { "type": "string", "minLength": 1 },
+        "phase": { "type": "string", "enum": ["startup", "outcome"] },
+        "reason": { "type": "string", "minLength": 1 },
+        "observedAt": { "type": "number", "minimum": 0 }
+      },
+      "required": ["observationId", "attemptId", "permitId", "phase", "reason", "observedAt"],
+      "additionalProperties": false
+    },
+    "workerResultReport": {
+      "type": "object",
+      "properties": {
+        "reportId": { "type": "string", "minLength": 1 },
+        "attemptId": { "type": "string", "minLength": 1 },
+        "permitId": { "type": "string", "minLength": 1 },
+        "intentId": { "type": "string", "minLength": 1 },
+        "planRevisionId": { "type": "string", "minLength": 1 },
+        "effectiveRunSpecDigest": { "$ref": "#/$defs/digest" },
+        "fencingToken": { "type": "integer", "minimum": 1 },
+        "status": { "type": "string", "enum": ["succeeded", "failed"] },
+        "resultDigest": { "$ref": "#/$defs/digest" },
+        "evidenceDigests": { "type": "array", "items": { "$ref": "#/$defs/digest" } },
+        "reportedAt": { "type": "number", "minimum": 0 }
+      },
+      "required": ["reportId", "attemptId", "permitId", "intentId", "planRevisionId", "effectiveRunSpecDigest", "fencingToken", "status", "resultDigest", "evidenceDigests", "reportedAt"],
+      "additionalProperties": false
+    },
+    "authoritativeOutcomeCommit": {
+      "type": "object",
+      "properties": {
+        "outcomeId": { "type": "string", "minLength": 1 },
+        "attemptId": { "type": "string", "minLength": 1 },
+        "permitId": { "type": "string", "minLength": 1 },
+        "intentId": { "type": "string", "minLength": 1 },
+        "planRevisionId": { "type": "string", "minLength": 1 },
+        "effectiveRunSpecDigest": { "$ref": "#/$defs/digest" },
+        "fencingToken": { "type": "integer", "minimum": 1 },
+        "status": { "type": "string", "enum": ["succeeded", "failed"] },
+        "resultDigest": { "$ref": "#/$defs/digest" },
+        "reportId": { "type": "string", "minLength": 1 },
+        "reportDigest": { "$ref": "#/$defs/digest" },
+        "evidenceDigests": { "type": "array", "items": { "$ref": "#/$defs/digest" } },
+        "reportedAt": { "type": "number", "minimum": 0 },
+        "committedAt": { "type": "number", "minimum": 0 }
+      },
+      "required": ["outcomeId", "attemptId", "permitId", "intentId", "planRevisionId", "effectiveRunSpecDigest", "fencingToken", "status", "resultDigest", "reportId", "reportDigest", "evidenceDigests", "reportedAt", "committedAt"],
+      "additionalProperties": false
+    }
+  }
+}