forgeos 0.1.0-alpha.63 → 0.1.0-alpha.64

package/AGENTS.md

@@ -1,4 +1,4 @@
-// @forge-generated generator=0.1.0-alpha.63 input=6671cc4ce9f1aeab62768f037489379d8303a79d2681b1fae4cb42a84e818b30 content=721818a6f9a664aa898092d4aa5cd68cbbd8ad6e150c7d3ad3ef785a2e3fcf53
+// @forge-generated generator=0.1.0-alpha.64 input=5bea3de626e4a7db3a5bbe226a820619b19a6e1347922b0a4f97fedf6654c489 content=721818a6f9a664aa898092d4aa5cd68cbbd8ad6e150c7d3ad3ef785a2e3fcf53
 # AGENTS.md
 
 <!-- forge-generated:start -->

package/CHANGELOG.md

@@ -1,5 +1,24 @@
 # forgeos
 
+## 0.1.0-alpha.64
+
+### Minor Changes
+
+- [#9](https://github.com/Stahldavid/forge/pull/9) [`ea0e5b6`](https://github.com/Stahldavid/forge/commit/ea0e5b6067e520d40cca23b461ca53d057ef0aca) Thanks [@Stahldavid](https://github.com/Stahldavid)! - Add the experimental Forge Agent Fabric P0a protocol kernel with replay-prevalidated authoritative transitions, exact GoalContract/authorization binding, attenuated grants, journal-coupled resource accounting, globally unique attempt identities, fenced attempt-bound permits, non-terminal uncertainty observations, content-bound outcome provenance, deterministic replay, and adversarial conformance tests.
+
+- [#54](https://github.com/Stahldavid/forge/pull/54) [`8721bb5`](https://github.com/Stahldavid/forge/commit/8721bb5466b337ccac75d7212c6a6e597bc338ac) Thanks [@Stahldavid](https://github.com/Stahldavid)! - Add the experimental Agent Fabric P0b-A bounded model adapter behind the P0a authorization, permit, and result boundary. Model invocation binds the provider target, context, and materialization to one attempt; enforces finite request, response, token, and time limits; blocks hidden retries and redirects; and treats ambiguous execution as uncertainty. A fixed loopback Ollama path supports keyless local inference. Model output remains non-authoritative; tools, delegation, persistent recovery, and production readiness are outside this release.
+
+### Patch Changes
+
+- [#57](https://github.com/Stahldavid/forge/pull/57) [`98c3211`](https://github.com/Stahldavid/forge/commit/98c321103d7771a38dc27a5720b336ff8c817f83) Thanks [@Stahldavid](https://github.com/Stahldavid)! - Add an experimental local `forge fabric` coding task flow with durable proposal and
+  control records, visible owner review, a bounded Ollama attempt, isolated Git diff
+  materialization, and a separate result decision. Keep MCP task mutation disabled
+  and correct Codex hook trust reporting for synthetic smoke events.
+
+- [#58](https://github.com/Stahldavid/forge/pull/58) [`a4da2d0`](https://github.com/Stahldavid/forge/commit/a4da2d0eb5b84737bf56ae7ad5924ba16cee6669) Thanks [@Stahldavid](https://github.com/Stahldavid)! - Add a single local Agent Fabric owner process so CLI and MCP clients share the
+  same PGlite-backed task service. MCP can submit untrusted proposals and read
+  status while owner approval, execution, and diff acceptance remain outside MCP.
+
 ## 0.1.0-alpha.63
 
 ### Patch Changes

package/docs/agent-fabric.md

@@ -0,0 +1,252 @@
+# Forge Agent Fabric
+
+Forge Agent Fabric is an experimental protocol-oriented execution layer for dynamically materialized agents and workflows. It extends Forge's existing compiler, outbox, actions, workflows, policy, and agent runtime rather than replacing them.
+
+## Implementation status
+
+The deterministic P0a protocol kernel and the bounded P0b-A model adapter are implemented.
+P0b-A invokes one real model through the existing P0a permit and result boundary. Its
+accepted scope and exact adoption evidence are recorded in
+[`P0B_A_ADOPTION_RECORD.md`](./architecture/agent-fabric/P0B_A_ADOPTION_RECORD.md).
+
+The local coding pilot has bounded proposal validation, a single-process PGlite
+control journal, browser-based owner review, an isolated Ollama coding worker,
+and MCP proposal/status tools backed by a local owner process. It does not make
+a production persistence or security claim. Its scope and remaining gates are
+in [`P0B_B_LOCAL_CODING_SCOPE.md`](./architecture/agent-fabric/P0B_B_LOCAL_CODING_SCOPE.md).
+
+The following remain explicitly deferred and must not be inferred from architecture notes, historical handoffs, or local experiments:
+
+- model-selected tools, plugins or child delegation beyond P0b-A;
+- PGlite-backed production persistence/outbox integration for Agent Fabric;
+- consequential-effect brokers and reconciliation against real systems;
+- recovery epochs and integrity-unknown recovery;
+- adaptive model routing/harness compilation beyond the P0a contracts;
+- plugin promotion, persistent memory, and governed self-evolution;
+- production deployment or production security claims.
+
+## P0a scope
+
+The first vertical implements a deterministic control kernel with:
+
+- explicit `OwnerAuthorization`, `GoalContract`, `RunPlanRevision`, `PlanDelta`, `AgentSpec`, `HarnessSpec`, `ExecutionProfile`, and `EffectiveRunSpec` contracts;
+- an immutable-by-copy control journal with sequence, predecessor, digest chain, and deterministic reducer;
+- owner authorization ingress through an injected verifier, with content-bound verification evidence recorded in the journal and revalidated during replay;
+- root grants bound to an explicit verified owner authorization;
+- exact binding between a permit's grant/root authorization and the `GoalContract.authorityInvocationId` of its active plan;
+- child grants with monotonic attenuation and transitive revocation;
+- resource reservation plus child-grant registration as one in-memory transactional operation;
+- a Conductor-owned internal `ResourceLedger`, seeded from constructor definitions and hydrated from authoritative replay on resume;
+- replay-side reconstruction of consumable, capacity, and counter accounting from trusted resource definitions and journaled reservation transitions;
+- globally unique attempt identities, one claim lineage per attempt, and at most one execution permit per attempt;
+- durable dispatch intent, non-authoritative offers, atomic claims, leases, fencing, and attempt-bound permits;
+- deterministic adapter protocol behavior;
+- worker result reports bound to permit, intent, plan revision, `EffectiveRunSpec`, and fencing generation;
+- replay-side recomputation of the canonical `WorkerResultReport` digest from the persisted outcome fields;
+- authoritative `succeeded | failed` outcome commit that preserves result-report provenance and rejects stale or revoked ancestry;
+- late `AttemptUncertaintyObservation` evidence that does **not** become a terminal authoritative outcome and therefore does not by itself block retry;
+- plan revisions that preserve `GoalContract` and workflow program identity and are exactly derivable from a registered `PlanDelta`;
+- runtime event validation and a closed JSON Schema envelope/payload model;
+- crash/replay reconstruction without re-running a planner.
+
+P0a intentionally does not implement external effects, persistent memory, model routing, plugin promotion, or production deployment.
+
+## Live transition rule: replay-valid before append
+
+The public P0a `ForgeAgentConductor` wraps the underlying journal with replay prevalidation. Before a new authoritative event is appended, the candidate prefix is reconstructed with the same sequence/predecessor/digest rules and must be accepted by the hardened replay semantics.
+
+```text
+current trusted journal prefix
++ candidate event
+        ↓
+hardened replay validation
+        ↓
+accept → append with journal CAS
+reject → no append
+```
+
+This closes the class of bugs where a public Conductor method returns success but leaves an append-only journal that the same P0a implementation cannot replay.
+
+The Conductor also pins its clock once per synchronous state transition so payload timestamps and the enclosing authoritative event timestamp are derived from the same clock observation when equality is part of the protocol invariant.
+
+## Authority model
+
+A workflow may choose how to work, but it may not create authority. The reference Conductor requires an `OwnerAuthorizationVerifier` before it can admit an `OwnerAuthorization`. The verification result is content-bound to the authorization digest and the replay path requires a trust-bound verifier to validate the recorded evidence again.
+
+Root grants must remain within that authorization. Child grants must be strict subsets of their parent and remain invalid if:
+
+- any ancestor is revoked or expired;
+- the root authorization is revoked or expired;
+- the child reservation is missing or has been released.
+
+A grant is not sufficient merely because its capabilities/sources/targets fit an intent. Before permit issuance and during replay, P0a resolves:
+
+```text
+permit
+→ dispatch intent
+→ active RunPlanRevision
+→ GoalContract
+→ GoalContract.authorityInvocationId
+→ exact OwnerAuthorization
+```
+
+The grant's `rootAuthorizationId` must equal that goal authority invocation, the authorization must include the goal, and authorization/plan/intent must belong to the same root execution.
+
+```text
+authenticated owner authorization
+  -> trusted ingress verification
+  -> root execution grant
+  -> derived child grant + resource reservation
+  -> dispatch intent
+  -> dispatch offer (not authority)
+  -> scheduling claim + lease + fencing
+  -> attempt execution permit
+  -> executor startup report
+  -> worker result report
+  -> conditional authoritative succeeded|failed outcome commit
+```
+
+The concrete production identity provider, signature/trust-root mechanism, and credential lifecycle are deliberately outside P0a; the kernel only requires a verifier contract with deterministic/offline verification of recorded admission evidence.
+
+## Attempt identity and result binding
+
+`attemptId` is a stream-global identity, not merely a caller convenience. A second claim may not reuse an existing attempt ID, even for another intent, and an attempt may receive only one execution permit. Hardened replay independently checks the one-per-attempt permit invariant so a fabricated journal cannot bypass the live Conductor check.
+
+A `WorkerResultReport` is explicitly bound to:
+
+- `attemptId`;
+- `permitId`;
+- `intentId`;
+- `planRevisionId`;
+- `effectiveRunSpecDigest`;
+- `fencingToken`.
+
+The report digest covers those fields as well as status, result digest, evidence digests and report time. `commitOutcome()` runtime-validates the report and compares it against the persisted permit/claim/intent lineage before it can become authoritative. Hardened replay reconstructs the report representation from the persisted outcome fields and recomputes the digest; a journal cannot claim an unrelated `reportDigest` while keeping different report fields.
+
+## Resource atomicity and replay
+
+P0a uses `ResourceLedger.transaction()` to make reservation and child-grant journal registration atomic within the in-memory reference implementation. If journal registration fails, the ledger snapshot is restored, including consumable, capacity, and counter state.
+
+The public Conductor does **not** retain caller-owned mutable ledger state as authority. When resource definitions are supplied at construction, it clones those definitions into a Conductor-owned internal ledger. On resume from an existing journal, the internal ledger is hydrated from the authoritative replay projection before new resource transitions are allowed. An empty constructor seed therefore cannot erase prior usage, and later out-of-band mutations of the caller's seed cannot change authority state. A conflicting non-empty seed fails closed.
+
+The replay path does not accept a reservation merely because its shape matches a child grant. Resource definitions and limits are supplied through the replay trust context; reservation transitions are reapplied to reconstructed global/owner accounting. Duplicate resources, unknown resources, invalid transitions, or aggregate global overcommit fail closed.
+
+Reservation `consume` and `release` operations have journaled transitions when performed through the Conductor. Releasing the reservation backing a derived grant makes that grant lineage non-current for future permits/startups/outcomes.
+
+This remains an in-memory protocol proof. A later persistence slice must implement the same atomicity and journal coupling with a real transactional store/outbox.
+
+## Uncertainty is not an authoritative outcome
+
+P0a deliberately separates:
+
+```text
+AttemptUncertaintyObservation
+!=
+AuthoritativeOutcomeCommit
+```
+
+A late worker/adapter observation may say that startup or completion is uncertain even after a lease, permit, plan or grant has become stale. The observation is retained as evidence, but it does not make the intent terminal and cannot by itself block a later scheduling claim.
+
+`executeP0aActivity()` preserves uncertainty not only when an adapter throws or explicitly returns `unknown`, but also when a positive startup/result report arrives too late or otherwise fails authoritative admission. The stale positive report does not regain authority; the control plane stores only a non-terminal uncertainty observation describing the rejected report path.
+
+Only a currently authorized control path may commit a terminal P0a outcome, and P0a terminal outcomes are limited to `succeeded | failed`.
+
+## Replay model and trust boundary
+
+`MemoryControlJournal` stores cloned/frozen events and returns clones to callers. Every committed envelope carries:
+
+- monotonic sequence;
+- predecessor event ID;
+- predecessor event digest;
+- event digest;
+- monotonic authoritative timestamp.
+
+The public `replayControlState()` adds hardened protocol checks over the deterministic reducer and revalidates:
+
+- a single `rootExecutionId` for the control stream;
+- the digest chain and event shape;
+- trusted owner-authorization evidence;
+- exact GoalContract ↔ grant/root-authorization binding for execution permits;
+- grant ancestry, reservation currentness and revocation;
+- resource accounting against trust-bound definitions;
+- global attempt/resource budgets;
+- stream-unique event/idempotency/result identities;
+- globally unique attempt identity;
+- at most one permit per attempt;
+- exact plan-delta lineage;
+- claims, permits, startup and authoritative outcome bindings;
+- canonical `WorkerResultReport` digest consistency.
+
+Malformed replay input is normalized to `AgentFabricError(AF_INVALID_EVENT)` rather than leaking implementation-level exceptions such as `TypeError`.
+
+The event hash chain is an **integrity mechanism, not a signature or proof of storage origin**. P0a assumes the journal prefix supplied for authoritative replay comes from the trusted journal/storage boundary. The reducer determines whether that prefix is semantically admissible; production durable storage/authentication of journal bytes is intentionally deferred to the persistence slice.
+
+This distinction is important: arbitrary attacker-created bytes do not become authoritative merely because they form a self-consistent hash chain.
+
+## Canonicalization scope
+
+P0a currently uses `forge-canonical-json/v0.1`, a deterministic TypeScript/JavaScript reference profile with SHA-256. Canonicalization is defined over the JSON data model, not arbitrary JavaScript object behavior: objects must be plain or null-prototype data objects with own enumerable data properties, arrays must be dense and cannot carry extra/symbol properties, accessors are rejected, and an own property named `__proto__` is preserved as ordinary data and therefore participates in the canonical bytes and digest. This prevents different admitted in-memory values from collapsing to the same canonical representation through JavaScript prototype semantics.
+
+The profile is **not** claimed to be the final cross-language canonicalization standard. A future protocol revision must adopt a cross-language profile (for example RFC 8785/JCS or an equivalently specified profile) with shared test vectors before Java/Python/Rust implementations are expected to produce identical digests.
+
+## Public API
+
+The experimental package API is exported only through:
+
+```ts
+import {
+  ForgeAgentConductor,
+  MemoryControlJournal,
+  ResourceLedger,
+  DeterministicTestAdapter,
+  replayControlState,
+} from "forgeos/agent-fabric";
+```
+
+That public entry point exposes the hardened Conductor and hardened replay functions. The lower-level implementation modules remain internal implementation detail of the experimental P0a package surface.
+
+## Local coding pilot (experimental)
+
+The framework checkout also exposes a bounded single-owner CLI path. Run these commands
+from the root of a trusted Git repository with Ollama running and `qwen3:0.6b`
+installed. This pilot uses no hosted API key or Codex model turn.
+
+```text
+node bin/forge.mjs fabric capabilities --json
+node bin/forge.mjs fabric propose --file task.json --json
+node bin/forge.mjs fabric status <task-id> --json
+node bin/forge.mjs fabric review <task-id> --json
+node bin/forge.mjs fabric run <task-id> --json
+node bin/forge.mjs fabric review-result <task-id> --json
+node bin/forge.mjs fabric serve --json
+```
+
+`task.json` is an untrusted proposal. Its required fields are `schemaVersion: 1`,
+`repositoryId`, the full `baseCommit`, `goal`, `acceptanceCriteria`, `nonObjectives`,
+`sourcePaths`, `writablePaths`, `requestedModelTargetId: "target:ollama:local"`, and
+`limits` with `maximumAttempts`, `maximumWallClockMs`, `maximumOutputTokens`,
+`maximumContextBytes`, `maximumPatchBytes`, and a Unix millisecond `expiresAt`.
+`review` opens a local browser window showing the exact proposal and digest; `run`
+consumes one approved model attempt and writes a diff in an isolated Git worktree.
+`review-result` shows the recorded diff for a separate owner decision. Acceptance
+records a decision only; it does not alter the original checkout or merge code.
+
+The local store lives under `.forge/local/agent-fabric` and has one PGlite process
+owner. Start `forge fabric serve` to keep that owner running while separate CLI
+and MCP clients connect through a loopback endpoint. The endpoint token stays in
+the local repository store and is not printed. The MCP tools `fabric_propose` and
+`fabric_status` use that same owner; they cannot approve, run, or accept a task.
+Without a running owner, CLI commands open the store for a single operation and
+MCP task tools report that the owner is unavailable. A crashed model attempt with
+a committed permit and no outcome remains
+uncertain; a repeated `run` does not spend another attempt. A committed model result
+can be materialized after restart. The existing MCP server reports the boundary
+through `fabric_capabilities`. The popup is
+a cooperative same-account interaction, so it is not a security boundary against
+an agent with unrestricted shell or UI control. The model receives only approved
+source files and cannot run shell commands. The Git worktree confines patch
+materialization, but it is not a container or VM sandbox.
+
+Maintainers can run `bun scripts/agent-fabric-local-smoke.ts` for an opt-in real
+Ollama fixture. That script injects a synthetic test approval and confirms a diff;
+it does not prove the human popup flow or coding quality on real projects.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "forgeos",
-  "version": "0.1.0-alpha.63",
+  "version": "0.1.0-alpha.64",
   "description": "Agent-native application framework and compiler for building Forge apps without a mandatory dashboard.",
   "type": "module",
   "license": "MIT",
@@ -13,6 +13,7 @@
     "scripts/field-test-forgeos.mjs",
     "docs/cair-protocol.md",
     "docs/forge-protocol.md",
+    "docs/agent-fabric.md",
     "examples/go-billing/",
     "examples/java-billing/",
     "!examples/**/target/**",
@@ -48,7 +49,8 @@
     "./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"
   },
   "scripts": {
     "test": "node ./bin/forge-bun.mjs test --timeout 120000",
@@ -103,6 +105,7 @@
     "@ai-sdk/anthropic": "^3.0.84",
     "@ai-sdk/openai": "^3.0.71",
     "@electric-sql/pglite": "^0.2.17",
+    "@types/react": "^19.2.17",
     "ai": "^6.0.205",
     "jose": "^6.2.3",
     "postgres": "^3.4.5",
@@ -119,12 +122,12 @@
     "@changesets/cli": "^2.31.0",
     "@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": {
     "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
+    }
+  }
+}