@kungfu-tech/buildchain 4.0.2-alpha.30 → 4.0.2-alpha.33

package/architecture/agent-change-map.md

@@ -54,7 +54,6 @@ Safe change route: Reduce one owned responsibility behind the stable facade, run
 - sources: `packages/core/readme-badges.js`
 - sources: `packages/core/release-candidate.js`
 - sources: `packages/core/release-passport.js`
-- sources: `packages/core/release-tail-provider-plane.js`
 - sources: `packages/core/release-train.js`
 - sources: `packages/core/stable-release-gate.js`
 - sources: `packages/core/v4-runtime-ref-resume-authority.js`
@@ -93,6 +92,9 @@ Safe change route: Reduce one owned responsibility behind the stable facade, run
 - sources: `actions/promote-buildchain-ref/internal/promotion-operations.js`
 - rust: `crates/buildchain-v4-bridge/src/main.rs`
 - rust: `crates/buildchain-v4-contracts/src/main.rs`
+- rust: `crates/buildchain-v4-contracts/src/product_publication.rs`
+- rust: `crates/buildchain-v4-contracts/src/release_tail.rs`
+- rust: `crates/buildchain-v4-contracts/src/wasm.rs`
 - rust: `crates/buildchain-v4-contracts/src/provider_operation_journal.rs`
 - rust: `crates/buildchain-v4-contracts/src/provider_operation_journal/fold.rs`
 - rust: `crates/buildchain-v4-contracts/src/warrant.rs`
@@ -162,6 +164,7 @@ Safe change route: Reduce one owned responsibility behind the stable facade, run
 - `tests/v4-publication-qualification.test.mjs`
 - `.github/workflows/v4-adopter-delivery.yml`
 - `.github/workflows/buildchain-ref-promotion.yml`
+- `.github/workflows/dev-pr-auto-merge.yml`
 - `tests/release-candidate-recovery.test.mjs`
 - `tests/buildchain-ref-promotion-recovery-entry.test.mjs`
 - `.github/workflows/.release-candidate-promote.yml`

package/architecture/maintainability-debt.json

@@ -7,8 +7,8 @@
   },
   "totalExcessLedger": {
     "metric": "calibrated-full-dimensional-excess-v1",
-    "measuredExcess": 64421,
-    "current": 56360
+    "measuredExcess": 64779,
+    "current": 56718
   },
   "defaults": {
     "owner": "Buildchain architecture maintainers",
@@ -1090,62 +1090,6 @@
           }
         }
       },
-      "packages/core/release-tail-provider-plane.js": {
-        "baseline": {
-          "lines": 1228,
-          "functions": {
-            "normalizeCapability@235": {
-              "lines": 255
-            },
-            "validateReleaseTailEffectPlan@602": {
-              "complexity": 30
-            },
-            "validateReleaseTailTransaction@744": {
-              "complexity": 33
-            },
-            "executeReleaseTailTransaction@1016": {
-              "lines": 190,
-              "complexity": 27
-            }
-          }
-        },
-        "current": {
-          "lines": 1228,
-          "functions": {
-            "normalizeCapability@235": {
-              "lines": 255
-            },
-            "validateReleaseTailEffectPlan@602": {
-              "complexity": 30
-            },
-            "validateReleaseTailTransaction@744": {
-              "complexity": 33
-            },
-            "executeReleaseTailTransaction@1016": {
-              "lines": 190,
-              "complexity": 26
-            }
-          }
-        },
-        "target": {
-          "lines": 600,
-          "functions": {
-            "normalizeCapability@235": {
-              "lines": 180
-            },
-            "validateReleaseTailEffectPlan@602": {
-              "complexity": 25
-            },
-            "validateReleaseTailTransaction@744": {
-              "complexity": 25
-            },
-            "executeReleaseTailTransaction@1016": {
-              "lines": 180,
-              "complexity": 25
-            }
-          }
-        }
-      },
       "packages/core/release-train.js": {
         "baseline": {
           "lines": 740
@@ -2058,6 +2002,93 @@
           }
         }
       },
+      "crates/buildchain-v4-contracts/src/product_publication.rs": {
+        "baseline": {
+          "functions": {
+            "select_product_publication_intent@156": {
+              "complexity": 38
+            }
+          }
+        },
+        "current": {
+          "functions": {
+            "select_product_publication_intent@156": {
+              "complexity": 31
+            }
+          }
+        },
+        "target": {
+          "functions": {
+            "select_product_publication_intent@156": {
+              "complexity": 30
+            }
+          }
+        }
+      },
+      "crates/buildchain-v4-contracts/src/release_tail.rs": {
+        "baseline": {
+          "lines": 1399,
+          "functions": {
+            "normalize_capability@228": {
+              "lines": 245,
+              "complexity": 51
+            },
+            "advance_release_tail_execution@1205": {
+              "lines": 193
+            }
+          }
+        },
+        "current": {
+          "lines": 1397,
+          "functions": {
+            "normalize_capability@228": {
+              "lines": 245,
+              "complexity": 51
+            },
+            "advance_release_tail_execution@1205": {
+              "lines": 193
+            }
+          }
+        },
+        "target": {
+          "lines": 600,
+          "functions": {
+            "normalize_capability@228": {
+              "lines": 140,
+              "complexity": 30
+            },
+            "advance_release_tail_execution@1205": {
+              "lines": 140
+            }
+          }
+        }
+      },
+      "crates/buildchain-v4-contracts/src/wasm.rs": {
+        "baseline": {
+          "functions": {
+            "dispatch@61": {
+              "lines": 214,
+              "complexity": 64
+            }
+          }
+        },
+        "current": {
+          "functions": {
+            "dispatch@61": {
+              "lines": 214,
+              "complexity": 64
+            }
+          }
+        },
+        "target": {
+          "functions": {
+            "dispatch@61": {
+              "lines": 140,
+              "complexity": 30
+            }
+          }
+        }
+      },
       "crates/buildchain-v4-contracts/src/provider_operation_journal.rs": {
         "baseline": {
           "functions": {
@@ -3105,6 +3136,7 @@
     "tests/v4-publication-qualification.test.mjs",
     ".github/workflows/v4-adopter-delivery.yml",
     ".github/workflows/buildchain-ref-promotion.yml",
+    ".github/workflows/dev-pr-auto-merge.yml",
     "tests/release-candidate-recovery.test.mjs",
     "tests/buildchain-ref-promotion-recovery-entry.test.mjs",
     ".github/workflows/.release-candidate-promote.yml",

package/architecture/maintainability-policy.json

@@ -25,13 +25,13 @@
     "rationale": "Wave 4 freezes both the aggregate exception inventory and every exception class at the exact protected baseline; reductions may ratchet these ceilings downward, but entries cannot be moved between classes to create hidden headroom."
   },
   "repositoryBudgets": {
-    "baselineRevision": "2dd9950ec84795bba2f9c15d1ca91e8f1244259e",
-    "maxHandMaintainedSourceFiles": 464,
-    "maxHandMaintainedSourceLines": 170655,
+    "baselineRevision": "9569f69c2cb609372b8a3d65ce5dec8fb7b34a84",
+    "maxHandMaintainedSourceFiles": 472,
+    "maxHandMaintainedSourceLines": 170850,
     "maxWorkflowFiles": 80,
     "maxWorkflowLines": 26791,
-    "latestTransition": "GitHub Output serialization preserves multiline release asset paths.",
-    "latestTransitionRationale": "The shared writer now uses GitHub's delimiter form only when an output contains line breaks, while retaining the existing single-line form and public re-export. A focused regression test proves that the release asset list remains one output instead of being parsed as malformed file commands. Extracting the bounded serializer lowers the oversized build-contract core from 1229 to 1216 lines; the exact inventory grows by one hand-maintained source file and 18 lines to 464 files and 170655 lines, without adding workflow, credential, provider permission, merge authority, capability, or publication target.",
+    "latestTransition": "Alpha publishes the reviewed version and advances Dev afterward.",
+    "latestTransitionRationale": "The Rust/WASM publication authority now uses the exact reviewed Alpha candidate version and sealed npm tarball, keeps Dev outside release-ref convergence, and reuses the existing next-development transition to create and enqueue one successor-version Dev pull request only after publication succeeds. Candidate-input discovery remains inside the existing product provider, preserving the privileged module topology and adding no workflow, credential, provider permission, merge authority, capability, or publication scope.",
     "rationale": "Bounded modules separate candidate, evidence, native proof and execution, canonical failure verification, closed-set execution transfer, process-boundary verification, Warrant state and qualification, authority state, qualification, Landing acquisition, verified-attempt admission, Landing settlement and fence validation, provider attempt and heartbeat readback, sealed terminal evidence, hosted heartbeat, resume, store, options, command-specific adapters, and CLI orchestration responsibilities. The protected delivery workflow gives candidate and seal jobs no provider write credential, recursively rejects transfer drift, scopes every transfer artifact to the exact provider run attempt, chains every durable heartbeat state and receipt root on a distinct hosted runner domain, and permits qualification or exact failure settlement only after the finalizer verifies live jobs and the latest durable authority state. Public Landing admission and heartbeat always perform non-injectable fresh exact-attempt provider readback, tolerate only a not-yet-materialized seal job while retaining exact native and duplicate-job rejection, and heartbeat-loss coordination never invokes GitHub's run-scoped cancellation API where a successor rerun could race. The hosted process boundary anchors trust in the kernel-resolved versioned Runner.Worker path while accepting an equivalent argv-zero spelling with the same basename; its public boundary marker is allowed only at the one exact non-secret value, so a forged value under the same credential-like name still fails closed. The credentialless transfer seal validates the rooted native reuse decision against the Warrant-bound source, closure, dependency, toolchain, environment and command inputs; qualifiedBase stays in the proof and decision where it is rooted and later independently rechecked, rather than being assumed on the Warrant schema. V2 mutation cannot initialize a second empty authority beside a legacy ref: migration reads and roots the canonical live v1 ref, rechecks it, applies the explicit configured v2 policy, and atomically replaces its bytes through one expected-old non-force update, so old v1 controllers fail closed while the prior commit remains immutable history. Candidate ancestry classifies the GitHub artifact runtime token as credential authority. Every Landing settlement, including an unexpired fence, requires product-owned terminal readback. Terminal cleanup reads the immutable historical attempt, derives workflow and hosted Landing job identity from live run data, reads the exact protected ref head and compares containment against that immutable SHA, and seals merged only when the admitted merge-group head is contained by that protected base; a later different-head merge settles the old attempt as dequeued. Terminal normalization preserves transfer, finalizer boundary, native and seal job, admitted provider attempt, protected-base head, containment result, and terminal readback coordinates. The public reusable workflow truthfully retains its single-flight v1 authority without advertising v2 migration, while bounded v2 remains a separate opt-in CLI, Node API, and schema contract; the tracked self-caller stays on public v4-alpha with matching stable and alpha locks, and transient train selection is dispatch-only. Next-development parity adds one versioned transition authority, one durable controller, one bounded reservation adapter, and pure public-contract recovery evidence while retaining the existing thin floating-channel callers byte-for-byte. The floating-consumer gate reuses the existing contract-world evaluator so SHA drift passes only under the selected lock's compatibility policy, breaking surface drift still fails closed, and external certification reconstructs the receipt from the observed workflow SHA rather than the lock's historical evidence SHA. Tail reseal adds no Stage Capsule effect or general rebuild authority: it verifies the exact retained four-platform bytes, admits one known macOS tail failure through live provider readback, fences signing and finalization to explicit credentials and Warrant identity, and requires standard candidate Passport plus provider and protected readback. Compatibility Facts parity isolates canonical encoding, temporal verification, lifecycle validation, fixture projection, public authority projection, and CLI adaptation into bounded modules; legacy digest and proof arrays are derived only from exact current Fact lineage. Publication Rehearsal adds no production release authority: the content-addressed capsule contract binds source, candidate, manifest, config, canonical data-only provider bindings, provider policy, observations and core version separately from filesystem, runtime and rehearsal-only provider authority; simulate, replay and explicitly authorized provider rehearsal all reuse the release-tail planner, while same-commit local dogfood resolves the new reusable contract and exact current runtime before external callers remain on floating v4-alpha. Cross-runtime candidate recovery preserves original runtime and provider roots and creates resume lineage only after exact public ref, tag, ancestry, npm version and integrity readback. Adopter Delivery restores the reviewed public v3 gate, drivers, Passport binding, N-1 bootstrap and exact archive loader through one public v4 surface while keeping provider and release authority explicit non-claims. Floating Alpha bootstrap uses only the existing exact resolver and protected Alpha private shell to move an otherwise stale floating shell, retains public v4 stable promotion, and removes itself after protected readback. CI lane change-budget enforcement adds a bounded parser, evaluator, guard, and tests without creating another merge authority.",
     "governance": "legacy-debt-sunset-2026q4"
   },
@@ -127,11 +127,9 @@
       "rationale": "The bounded GitHub engine keeps complete pagination, repository-wide protected-mainline discovery, one batched closed-PR inventory, exact association-only target selection, and fixed eight-way ancestry concurrency. Unassociated heads are retained without fallback comparisons; exact source and target revalidation, stale-PR labeling, provider receipts, and replay behavior remain in one public provider surface. This exact reviewed ceiling cannot grow implicitly.",
       "governance": "legacy-debt-sunset-2026q4"
     },
-    "packages/core/release-tail-provider-plane.js": {
-      "maxLines": 1228,
-      "maxFunctionLines": 255,
-      "maxFunctionComplexity": 33,
-      "rationale": "The one versioned transaction authority keeps strict declaration normalization, deterministic effect planning, atomic checkpoints, rooted observations and receipts, and bounded recovery in one independently tested audit surface; this exact preview ceiling cannot grow implicitly.",
+    "crates/buildchain-v4-contracts/src/release_tail.rs": {
+      "maxLines": 1397,
+      "rationale": "The single provider-neutral Rust release-tail authority replaces the retired 1,228-line JavaScript state machine and keeps strict declaration normalization, deterministic effect planning, rooted observations and receipts, and bounded retry/readback transitions behind the checked WASM ABI. Node retains only provider effects; this exact Rust ceiling cannot grow implicitly.",
       "governance": "legacy-debt-sunset-2026q4"
     },
     "packages/core/v4-runtime-ref-resume-authority.js": {
@@ -1654,25 +1652,26 @@
       "rationale": "The validator adds one conjunctive terminal assertion that separates retained v3 comparison evidence from the live v4 writer and retired migration phase. This exact reviewed ceiling cannot grow implicitly.",
       "governance": "legacy-debt-sunset-2026q4"
     },
-    "packages/core/release-tail-provider-plane.js#normalizeCapability": {
-      "maxLines": 255,
-      "rationale": "The frozen capability normalizer keeps the four closed-world provider declarations, identity constraints and capability-specific target validation in one audited authority; this reviewed v3 implementation is forward-ported byte-for-byte and cannot grow implicitly.",
+    "crates/buildchain-v4-contracts/src/product_publication.rs#select_product_publication_intent": {
+      "maxComplexity": 38,
+      "rationale": "The Rust publication selector jointly validates the closed channel, source, artifact, semantic-version, recovery, and observed-version coordinates before rooting one immutable intent. This exact complexity replaces the prior JavaScript decision tree and cannot grow implicitly.",
       "governance": "legacy-debt-sunset-2026q4"
     },
-    "packages/core/release-tail-provider-plane.js#validateReleaseTailEffectPlan": {
-      "maxComplexity": 30,
-      "rationale": "The rooted effect-plan validator preserves the reviewed v3 ordering, declaration binding and post-compilation tamper checks in one fail-closed function; this exact complexity ceiling cannot grow implicitly.",
+    "crates/buildchain-v4-contracts/src/release_tail.rs#normalize_capability": {
+      "maxLines": 245,
+      "maxComplexity": 51,
+      "rationale": "The Rust normalizer keeps the closed capability registry, exact fields, regex tag binding, operation identity, idempotency, retry, and evidence validation in one fail-closed audit surface. It replaces the retired JavaScript normalizer and this exact ceiling cannot grow implicitly.",
       "governance": "legacy-debt-sunset-2026q4"
     },
-    "packages/core/release-tail-provider-plane.js#validateReleaseTailTransaction": {
-      "maxComplexity": 33,
-      "rationale": "The transaction validator preserves the reviewed v3 state, observation, receipt, failure and checkpoint invariants in one audit surface; this exact complexity ceiling cannot grow implicitly.",
+    "crates/buildchain-v4-contracts/src/release_tail.rs#advance_release_tail_execution": {
+      "maxLines": 193,
+      "rationale": "The Rust transition dispatcher owns the bounded readback-before-mutation, apply, reconciliation, retry exhaustion, terminal fault, and next-operation decisions. It performs no provider effect and this exact line ceiling cannot grow implicitly.",
       "governance": "legacy-debt-sunset-2026q4"
     },
-    "packages/core/release-tail-provider-plane.js#executeReleaseTailTransaction": {
-      "maxLines": 190,
-      "maxComplexity": 26,
-      "rationale": "The single transaction executor preserves bounded retry, pre-effect and post-effect readback, atomic checkpoints and provider non-authority while reconciling every attempted external effect without repeating its mutation; these exact ceilings cannot grow implicitly.",
+    "crates/buildchain-v4-contracts/src/wasm.rs#dispatch": {
+      "maxLines": 214,
+      "maxComplexity": 64,
+      "rationale": "The closed WASM ABI dispatcher maps a fixed operation vocabulary onto existing Rust domain functions and typed faults without adding provider, IO, credential, or fallback authority. This exact routing-only ceiling cannot grow implicitly.",
       "governance": "legacy-debt-sunset-2026q4"
     },
     "actions/promote-buildchain-ref/internal/promotion-operations.js#updateBranch": {

package/architecture/v4-architecture-constitution.md

@@ -43,8 +43,8 @@ ledger.
 Dependencies point inward only:
 
 ```text
-workflows -> TypeScript adapters -> libnode host -> Rust domain -> contracts
-legacy compatibility -> TypeScript adapters / contracts
+workflows -> Node provider/IO adapters -> tracked Rust/WASM domain -> contracts
+legacy compatibility -> Node facades / contracts
 ```
 
 Contracts contain serialization and compatibility facts, not provider SDK
@@ -55,12 +55,12 @@ or Rust domain are hard-zero violations. Cycles are forbidden.
 ## 3. Single-writer rule
 
 Every state machine has exactly one authoritative writer. The v4 cutover marks
-the TypeScript v4 control and provider plane authoritative and the legacy v3
-writer retired. Rust v4 owns the deterministic release-activation, journal,
-stable-fence, and recovery domain semantics while the TypeScript v4 adapter
-remains byte-equivalent at that boundary. A second writer, permanent dual
-write, cross-machine mutable file, or implicit compatibility authority has a
-hard-zero budget.
+the Rust/WASM domain authoritative and the legacy v3 and duplicate TypeScript
+semantic writers retired. Node owns provider and IO effects and exposes
+compatibility facades, but every deterministic release plan, fold, root, retry,
+and receipt decision crosses the checked WASM ABI. A second writer, permanent
+dual write, semantic fallback, cross-machine mutable file, or implicit
+compatibility authority has a hard-zero budget.
 
 ## 4. Explicit complexity budgets
 
@@ -85,10 +85,14 @@ second hand-maintained architecture list is authoritative.
 ## 6. Production cutover boundary
 
 The v4 line owns Delivery Warrant, Release Transaction, activation,
-publication, propagation, and release-tail state. This does not introduce a
-daemon, a service database, provider SDKs in contracts or Rust domain code, or
-a second writer. The retained `release/v3/v3.0` coordinate is rollback evidence
-only and cannot regain production authority without a new reviewed cutover.
+publication, propagation, and release-tail state. Its production domain is the
+tracked artifact governed by
+[`v4-rust-wasm-production-authority.json`](v4-rust-wasm-production-authority.json):
+Node verifies the artifact digest and ABI before use and fails closed without a
+JavaScript semantic fallback. This does not introduce a daemon, a service
+database, provider SDKs in contracts or Rust domain code, or a second writer.
+The retained `release/v3/v3.0` coordinate is rollback evidence only and cannot
+regain production authority without a new reviewed cutover.
 
 ## 7. Wave 0 host boundary
 
@@ -133,9 +137,8 @@ The executable provider operation journal contract is
 [`v4-provider-operation-journal-contract.json`](v4-provider-operation-journal-contract.json).
 It freezes one closed schema authority and one Rust v4 state-fold authority
 for append-only intent, attempt, rooted observation, confirmation, and
-reconciliation records. The TypeScript v4 plane performs provider adaptation
-and conformance projection against the same fixtures; v4 is the sole
-production writer.
+reconciliation records. The Node v4 plane performs provider adaptation and
+calls the tracked Rust/WASM authority; it contains no second state fold.
 
 Logical operation identity excludes attempt ordinals and mutable provider or
 runner facts. Every retry preserves `operationRoot`, while every attempt and
@@ -161,9 +164,9 @@ The executable release activation boundary is
 [`v4-release-activation-shadow-domain.json`](v4-release-activation-shadow-domain.json).
 It consumes an explicit qualification root, dependency graph, compensation
 boundaries, provider-operation identities, and append-only journal facts to
-derive one deterministic activation plan and resume state. Rust is the sole v4
-plan-and-fold authority; TypeScript must remain byte-equivalent against
-the same closed schema and fixture.
+derive one deterministic activation plan and resume state. Rust/WASM is the
+sole v4 plan-and-fold authority; the Node facade delegates through the checked
+ABI and retains only provider adaptation.
 
 Confirmed operations are never eligible for replay. Attempting, observed, and
 confirmable operations require provider-neutral readback before any retry,
@@ -203,8 +206,8 @@ Every nonterminal operation maps deterministically to `retry`, `wait`,
 `terminal-noop` facts and never re-enter the next-operation set. Missing,
 expired, corrupt, conflicting, cross-boundary, or attempt-budget-exhausted
 evidence fails closed at an exact Stage Capsule or provider-operation
-checkpoint. The Rust domain is the sole v4 planner and TypeScript is a
-byte-equivalent projection. Both are pure: they perform zero provider,
+checkpoint. The Rust/WASM domain is the sole v4 planner and the Node facade
+delegates to it. The planner is pure: it performs zero provider,
 filesystem, network, credential, ref, package, image, or release mutation.
 Their exact plan is the only recovery authority consumed by the TypeScript v4
 provider adapter.

package/architecture/v4-partial-mutation-recovery-qualification.json

@@ -39,7 +39,10 @@
   ],
   "implementations": {
     "rustDomain": "crates/buildchain-v4-contracts/src/partial_mutation_recovery.rs",
-    "typescript": "packages/core/v4-partial-mutation-recovery-qualification.js"
+    "typescript": "packages/core/v4-partial-mutation-recovery-qualification.js",
+    "wasmRuntime": "packages/core/v4-domain-wasm.js",
+    "wasmArtifact": "packages/core/buildchain-v4-domain.wasm",
+    "artifactMetadata": "packages/core/v4-domain-wasm-artifact.js"
   },
   "roots": [
     "partial-mutation-recovery-checkpoint",

package/architecture/v4-provider-operation-journal-contract.json

@@ -9,7 +9,7 @@
     "productionWriterCount": 1,
     "stateFoldAuthority": "rust-v4-core",
     "stateFoldWriterCount": 1,
-    "typescript": "provider-adapter-and-conformance-plane",
+    "typescript": "wasm-calling-provider-adapter-and-conformance-plane",
     "productionWriteChange": true
   },
   "implementations": {
@@ -17,7 +17,10 @@
     "rustFold": "crates/buildchain-v4-contracts/src/provider_operation_journal/fold.rs",
     "rustReadback": "crates/buildchain-v4-contracts/src/provider_readback_idempotency.rs",
     "typescript": "packages/core/v4-provider-operation-journal.js",
-    "typescriptReadback": "packages/core/v4-provider-readback-idempotency.js"
+    "typescriptReadback": "packages/core/v4-provider-readback-idempotency.js",
+    "wasmRuntime": "packages/core/v4-domain-wasm.js",
+    "wasmArtifact": "packages/core/buildchain-v4-domain.wasm",
+    "artifactMetadata": "packages/core/v4-domain-wasm-artifact.js"
   },
   "activationDomain": {
     "architecture": "architecture/v4-release-activation-shadow-domain.json",

package/architecture/v4-release-activation-shadow-domain.json

@@ -10,14 +10,17 @@
     "productionWriterCount": 1,
     "planAndFoldAuthority": "rust-v4-core",
     "planAndFoldWriterCount": 1,
-    "typescript": "byte-equivalent-provider-adapter",
+    "typescript": "wasm-calling-provider-adapter",
     "productionWriteChange": true
   },
   "implementations": {
     "rustDomain": "crates/buildchain-v4-contracts/src/release_activation_shadow.rs",
     "rustModel": "crates/buildchain-v4-contracts/src/release_activation_shadow/model.rs",
     "rustJournalMaterializer": "crates/buildchain-v4-contracts/src/release_activation_shadow/journal.rs",
-    "typescript": "packages/core/v4-release-activation-shadow.js"
+    "typescript": "packages/core/v4-release-activation-shadow.js",
+    "wasmRuntime": "packages/core/v4-domain-wasm.js",
+    "wasmArtifact": "packages/core/buildchain-v4-domain.wasm",
+    "artifactMetadata": "packages/core/v4-domain-wasm-artifact.js"
   },
   "roots": [
     "release-activation-step",

package/architecture/v4-release-topology.json

@@ -74,7 +74,6 @@
       "packages/core/publication-rehearsal-runtime.js",
       "packages/core/release-tail-provider-adapters.js",
       "packages/core/release-tail-provider-plane.js",
-      "packages/core/v4-product-publication.js",
       "packages/core/v4-publication-rehearsal-capsule.js",
       "packages/core/v4-publication-rehearsal.js"
     ],
@@ -141,6 +140,7 @@
         "packages/core/kfd-gate.js",
         "packages/core/kfd-product-gates.js",
         "packages/core/kungfu-temporal-fact.js",
+        "packages/core/next-development-transition.js",
         "packages/core/package-manager.js",
         "packages/core/public-surface-audit.js",
         "packages/core/public-surface-cli.js",
@@ -158,6 +158,8 @@
         "packages/core/spawn-command.js",
         "packages/core/surface-manifest.js",
         "packages/core/v4-canonical-contracts.js",
+        "packages/core/v4-domain-wasm-artifact.js",
+        "packages/core/v4-domain-wasm.js",
         "packages/core/v4-floating-consumer-evidence.js",
         "packages/core/v4-floating-consumer-policy.js",
         "packages/core/v4-floating-consumer-release-passport.js",
@@ -171,7 +173,20 @@
         "packages/core/workflow-yaml-contract.js",
         "scripts/ensure-github-release.mjs"
       ],
-      "root": "sha256:31d13d74b8b3dadbfe4b5061c99f6f6711be6c3b06449114f2708427374f9c85"
+      "root": "sha256:288290a0da4e608869026688fc4981ded81cbc97b9e7bd7c031b9b8369653a39"
+    },
+    "rustWasmAuthority": {
+      "loader": "packages/core/v4-domain-wasm.js",
+      "metadata": "packages/core/v4-domain-wasm-artifact.js",
+      "artifact": "packages/core/buildchain-v4-domain.wasm",
+      "artifactRoot": "sha256:32a808ba9b749d1297c0ce4b7be1586afdae3d849e44f3f7ffb1742e572f5627",
+      "distributedArtifacts": [
+        "actions/promote-buildchain-ref/dist/buildchain-v4-domain.wasm",
+        "actions/release-tail/dist/buildchain-v4-domain.wasm",
+        "actions/v4-release-candidate-promote/dist/buildchain-v4-domain.wasm"
+      ],
+      "byteIdenticalDistributions": true,
+      "fallbackWriterCount": 0
     },
     "legacyEngineModules": [
       "actions/promote-buildchain-ref/internal/durable-transaction-operations.js",

package/architecture/v4-rust-wasm-production-authority.json

@@ -0,0 +1,57 @@
+{
+  "schemaVersion": 1,
+  "contract": "kungfu-buildchain-v4-rust-wasm-production-authority/v1",
+  "mode": "production",
+  "sourceAuthority": {
+    "crate": "crates/buildchain-v4-contracts",
+    "toolchain": "crates/buildchain-v4-contracts/rust-toolchain.toml",
+    "build": "scripts/build-v4-domain-wasm.mjs",
+    "reproducibilityCheck": "pnpm run check:v4-wasm"
+  },
+  "runtimeAuthority": {
+    "loader": "packages/core/v4-domain-wasm.js",
+    "metadata": "packages/core/v4-domain-wasm-artifact.js",
+    "artifact": "packages/core/buildchain-v4-domain.wasm",
+    "abiVersion": 1,
+    "fallbackWriterCount": 0,
+    "failurePolicy": "fail-closed"
+  },
+  "rustOwnedSemantics": [
+    "canonical-json-and-content-roots",
+    "release-invocation-plan-transaction-and-receipt",
+    "product-publication-plan-and-version-intent",
+    "provider-operation-journal-and-readback-fold",
+    "release-activation-plan-and-fold",
+    "stable-publication-fence",
+    "partial-mutation-recovery-plan",
+    "release-tail-plan-transaction-retry-readback-and-receipt"
+  ],
+  "nodeOwnedEffects": [
+    "provider-sdk-calls",
+    "filesystem-io",
+    "credential-and-environment-access",
+    "workflow-input-and-output-transport",
+    "provider-error-classification"
+  ],
+  "distribution": {
+    "npmPackage": "packages/core/buildchain-v4-domain.wasm",
+    "actionArtifacts": [
+      "actions/promote-buildchain-ref/dist/buildchain-v4-domain.wasm",
+      "actions/release-tail/dist/buildchain-v4-domain.wasm",
+      "actions/v4-release-candidate-promote/dist/buildchain-v4-domain.wasm"
+    ],
+    "artifactBinding": "sha256-metadata-before-instantiation",
+    "runtimeCompilation": false
+  },
+  "qualification": {
+    "platforms": ["linux-x64", "macos-arm64", "windows-x64"],
+    "productionRuntime": "node-24",
+    "checks": [
+      "tracked-artifact-reproducibility",
+      "abi-and-digest-binding",
+      "clean-process-loading-without-rust",
+      "missing-or-tampered-artifact-fails-closed",
+      "action-artifact-byte-identity"
+    ]
+  }
+}

package/architecture/v4-stable-publication-fence.json

@@ -10,7 +10,7 @@
     "productionWriterCount": 1,
     "fenceAuthority": "rust-v4-core",
     "fenceWriterCount": 1,
-    "typescript": "byte-equivalent-provider-adapter",
+    "typescript": "wasm-calling-provider-adapter",
     "candidateSelfQualification": false,
     "productionWriteChange": true
   },
@@ -29,7 +29,10 @@
   "publicationTargets": ["stable-ref", "npm-tag", "oci-tag", "github-release"],
   "implementations": {
     "rustDomain": "crates/buildchain-v4-contracts/src/stable_publication_fence.rs",
-    "typescript": "packages/core/v4-stable-publication-fence.js"
+    "typescript": "packages/core/v4-stable-publication-fence.js",
+    "wasmRuntime": "packages/core/v4-domain-wasm.js",
+    "wasmArtifact": "packages/core/buildchain-v4-domain.wasm",
+    "artifactMetadata": "packages/core/v4-domain-wasm-artifact.js"
   },
   "roots": [
     "stable-publication-candidate",

package/dist/site/buildchain-contract.json

@@ -4,7 +4,7 @@
   "product": {
     "name": "Buildchain",
     "package": "@kungfu-tech/buildchain",
-    "version": "4.0.2-alpha.30",
+    "version": "4.0.2-alpha.33",
     "repository": "https://github.com/kungfu-systems/buildchain"
   },
   "majorLine": "v4",
@@ -1361,7 +1361,7 @@
         "retryable GitHub fallback fetches use a bounded attempt budget before exact source SHA and tree verification"
       ],
       "breakingDigest": "sha256:dfbedd543ae0c067982b5c8c02d98dd2f7f7df88752be97fb330da6b0ba30faa",
-      "auditDigest": "sha256:ce4fbf96de5b45c8b9e64645401175bef6f0d2dc96dc3d656615e6e44b92f1c0",
+      "auditDigest": "sha256:20549663f5459414dcfb00aa9a3a549003bbc09159eeab6cea211db96ed0eab2",
       "compatibleBreakingDigests": [
         "sha256:a6a35370d6b0d0f46e1b2712dcc01961fe53c2febde95409a27a485c10a36650"
       ],
@@ -1492,7 +1492,7 @@
         "durable consumers call the public floating workflow and may route a train or exact runtime only through trusted non-persistent dispatch input"
       ],
       "breakingDigest": "sha256:21b65d0746d2e8b3e8a7df4c6fab295a85c8fd42cc405ec3bc5df5cdab0421f0",
-      "auditDigest": "sha256:88b3ff463686ee6dffc604886205f66d5f5f6fc445cd98c46623f0e6cc308839"
+      "auditDigest": "sha256:d86830e186b6ec56816e875adfebd33d705ae309983cc37106717ce05ec9ccca"
     },
     {
       "contractVersion": 1,
@@ -2257,7 +2257,7 @@
         "manual entries carry source file digests so downstream sites and agents can detect stale hand-written documentation"
       ],
       "breakingDigest": "sha256:7d0d2819e3a3e72989d9c57b5efe9d0bc0a79bc0f2c82a0c7b9d6c5a211a91f2",
-      "auditDigest": "sha256:078a652a180550b349e37dfa2ae5389c384f7118541ffefaf43a3df9a28b5074"
+      "auditDigest": "sha256:1a6a84869fc898263bb531ccfd6ec77260b618d16f0927f41d0da5ede708fab5"
     },
     {
       "contractVersion": 1,
@@ -2279,7 +2279,7 @@
         "agents can discover supported Node APIs without importing internal file paths"
       ],
       "breakingDigest": "sha256:48f925608d3e2131d90936b07dc2a30341204cae3e6e785c0f77d61ad755c945",
-      "auditDigest": "sha256:b64ca3023b9088ad5e7d77cd3e9c6a3e1a1c1861c1ee8d006354c77a1afb3ef5"
+      "auditDigest": "sha256:318ce9c5c5ada815227a11e89418ab72854860cb61fd46ec58c6a69cd3dea58e"
     },
     {
       "contractVersion": 1,
@@ -2974,7 +2974,7 @@
         "missing receipts are non-qualifying and must not be represented as a successful controller run"
       ],
       "breakingDigest": "sha256:6b8d38e92b2c67b5bc83fae0a3fd95bfa47582fbc176e6cdeebe7630a57534cb",
-      "auditDigest": "sha256:ce4fbf96de5b45c8b9e64645401175bef6f0d2dc96dc3d656615e6e44b92f1c0",
+      "auditDigest": "sha256:20549663f5459414dcfb00aa9a3a549003bbc09159eeab6cea211db96ed0eab2",
       "compatibleBreakingDigests": [
         "sha256:30745921541e9b0f70475bb2178c2559f6aef248f6680670ccd44d8c5a69a6b1",
         "sha256:e264a79f9f399038c2fcfd21e4168c68c2e1485ee5c651c02242a02b622ac2be"
@@ -5444,5 +5444,5 @@
   "compatibilityFactCutRoot": "sha256:f61b975d4a96c921cc4bd37fb3ed9a0596b47004fe34dc7219979d697e3707f9",
   "compatibilityProofRegistryRoot": "sha256:b7194b811e4d3af2df4390bc4d1731e16a86215bd64ee18cb630dd5492f4fb63",
   "compatibilityDigest": "sha256:20411029d83211dff426fb6535a608902129844a5ccb4788db77d3f81becb839",
-  "contractDigest": "sha256:5a76cf045e2f9e7b14967526ce646d20e5e6d75ffca92e190313c0267bda852a"
+  "contractDigest": "sha256:5627d46646cf2a5cfdbe86604e16938b108edb9a37a23b289695daa8d6a86fca"
 }