@vidact/runtime 0.2.0-beta.0 → 0.2.0-beta.5

package/dist/state-slot.d.ts

@@ -1,18 +1,21 @@
-import type { SourceMask } from './source-mask.js';
-export type StateUpdate<T> = T | ((previous: T) => T);
-export interface DeferredStateWrite<T> {
-    readonly slot: object;
-    readonly revision: number;
-    readonly update: StateUpdate<T>;
-    readonly commit: (update: StateUpdate<T>) => void;
-    readonly currentRevision: () => number;
+import { SourceMask } from "./source-mask.js";
+//#region src/state-slot.d.ts
+type StateUpdate<T> = T | ((previous: T) => T);
+interface DeferredStateWrite<T> {
+  readonly slot: object;
+  readonly revision: number;
+  readonly update: StateUpdate<T>;
+  readonly commit: (update: StateUpdate<T>) => void;
+  readonly currentRevision: () => number;
 }
-export type StateWriteInterceptor = <T>(write: DeferredStateWrite<T>) => boolean;
-export declare function installStateWriteInterceptor(interceptor: StateWriteInterceptor): void;
-export interface StateSlot<T> {
-    readonly get: () => T;
-    readonly set: (update: StateUpdate<T>) => void;
-    readonly replace: (value: T) => void;
+type StateWriteInterceptor = <T>(write: DeferredStateWrite<T>) => boolean;
+declare function installStateWriteInterceptor(interceptor: StateWriteInterceptor): void;
+interface StateSlot<T> {
+  readonly get: () => T;
+  readonly set: (update: StateUpdate<T>) => void;
+  readonly replace: (value: T) => void;
 }
-export declare function createStateSlot<T>(invalidate: (sources: SourceMask) => void, source: SourceMask, initialValue: T, assertWritable?: () => void): StateSlot<T>;
+declare function createStateSlot<T>(invalidate: (sources: SourceMask) => void, source: SourceMask, initialValue: T, assertWritable?: () => void): StateSlot<T>;
+//#endregion
+export { DeferredStateWrite, StateSlot, StateUpdate, StateWriteInterceptor, createStateSlot, installStateWriteInterceptor };
 //# sourceMappingURL=state-slot.d.ts.map

package/dist/state-slot.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"state-slot.d.ts","sourceRoot":"","sources":["../src/state-slot.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAElD,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;AAErD,MAAM,WAAW,kBAAkB,CAAC,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,IAAI,CAAA;IACjD,QAAQ,CAAC,eAAe,EAAE,MAAM,MAAM,CAAA;CACvC;AAED,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,KAAK,OAAO,CAAA;AAIhF,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,qBAAqB,GAAG,IAAI,CAErF;AAED,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IACrB,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,IAAI,CAAA;IAC9C,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,CAAA;CACrC;AAED,wBAAgB,eAAe,CAAC,CAAC,EAC/B,UAAU,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,IAAI,EACzC,MAAM,EAAE,UAAU,EAClB,YAAY,EAAE,CAAC,EACf,cAAc,CAAC,EAAE,MAAM,IAAI,GAC1B,SAAS,CAAC,CAAC,CAAC,CA4Cd"}
+{"version":3,"file":"state-slot.d.ts","names":[],"sources":["../src/state-slot.ts"],"mappings":";;KAEY,YAAY,KAAK,MAAM,UAAU,MAAM;UAElC,mBAAmB;WACzB;WACA;WACA,QAAQ,YAAY;WACpB,SAAS,QAAQ,YAAY;WAC7B;;KAGC,yBAAyB,GAAG,OAAO,mBAAmB;iBAIlD,6BAA6B,aAAa;UAIzC,UAAU;WAChB,WAAW;WACX,MAAM,QAAQ,YAAY;WAC1B,UAAU,OAAO;;iBAGZ,gBAAgB,GAC9B,aAAa,SAAS,qBACtB,QAAQ,YACR,cAAc,GACd,8BACC,UAAU"}

package/dist/state-slot.js

@@ -1,46 +1,47 @@
+//#region src/state-slot.ts
 let stateWriteInterceptor;
-export function installStateWriteInterceptor(interceptor) {
-    stateWriteInterceptor = interceptor;
+function installStateWriteInterceptor(interceptor) {
+	stateWriteInterceptor = interceptor;
 }
-export function createStateSlot(invalidate, source, initialValue, assertWritable) {
-    let value = initialValue;
-    let revision = 0;
-    const token = {};
-    const commit = (next) => {
-        if (Object.is(value, next))
-            return;
-        value = next;
-        revision += 1;
-        invalidate(source);
-    };
-    const commitUpdate = (update) => {
-        const next = typeof update === 'function' ? update(value) : update;
-        commit(next);
-    };
-    const commitReplacement = (replacement) => commit(replacement);
-    const write = (update, commitWrite) => {
-        if (stateWriteInterceptor?.({
-            slot: token,
-            revision,
-            update,
-            commit: commitWrite,
-            currentRevision: () => revision,
-        })) {
-            return;
-        }
-        commitWrite(update);
-    };
-    const replace = (next) => {
-        assertWritable?.();
-        write(next, commitReplacement);
-    };
-    return {
-        get: () => value,
-        set: (update) => {
-            assertWritable?.();
-            write(update, commitUpdate);
-        },
-        replace,
-    };
+function createStateSlot(invalidate, source, initialValue, assertWritable) {
+	let value = initialValue;
+	let revision = 0;
+	const token = {};
+	const commit = (next) => {
+		if (Object.is(value, next)) return;
+		value = next;
+		revision += 1;
+		invalidate(source);
+	};
+	const commitUpdate = (update) => {
+		const next = typeof update === "function" ? update(value) : update;
+		commit(next);
+	};
+	const commitReplacement = (replacement) => commit(replacement);
+	const write = (update, commitWrite) => {
+		if (stateWriteInterceptor?.({
+			slot: token,
+			revision,
+			update,
+			commit: commitWrite,
+			currentRevision: () => revision
+		})) return;
+		commitWrite(update);
+	};
+	const replace = (next) => {
+		assertWritable?.();
+		write(next, commitReplacement);
+	};
+	return {
+		get: () => value,
+		set: (update) => {
+			assertWritable?.();
+			write(update, commitUpdate);
+		},
+		replace
+	};
 }
+//#endregion
+export { createStateSlot, installStateWriteInterceptor };
+
 //# sourceMappingURL=state-slot.js.map

package/dist/state-slot.js.map

@@ -1 +1 @@
-{"version":3,"file":"state-slot.js","sourceRoot":"","sources":["../src/state-slot.ts"],"names":[],"mappings":"AAcA,IAAI,qBAAwD,CAAA;AAE5D,MAAM,UAAU,4BAA4B,CAAC,WAAkC;IAC7E,qBAAqB,GAAG,WAAW,CAAA;AACrC,CAAC;AAQD,MAAM,UAAU,eAAe,CAC7B,UAAyC,EACzC,MAAkB,EAClB,YAAe,EACf,cAA2B;IAE3B,IAAI,KAAK,GAAG,YAAY,CAAA;IACxB,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,MAAM,KAAK,GAAG,EAAE,CAAA;IAEhB,MAAM,MAAM,GAAG,CAAC,IAAO,EAAQ,EAAE;QAC/B,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,OAAM;QAElC,KAAK,GAAG,IAAI,CAAA;QACZ,QAAQ,IAAI,CAAC,CAAA;QACb,UAAU,CAAC,MAAM,CAAC,CAAA;IACpB,CAAC,CAAA;IACD,MAAM,YAAY,GAAG,CAAC,MAAsB,EAAQ,EAAE;QACpD,MAAM,IAAI,GAAG,OAAO,MAAM,KAAK,UAAU,CAAC,CAAC,CAAE,MAA6B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;QAC1F,MAAM,CAAC,IAAI,CAAC,CAAA;IACd,CAAC,CAAA;IACD,MAAM,iBAAiB,GAAG,CAAC,WAA2B,EAAQ,EAAE,CAAC,MAAM,CAAC,WAAgB,CAAC,CAAA;IACzF,MAAM,KAAK,GAAG,CAAC,MAAsB,EAAE,WAA6C,EAAQ,EAAE;QAC5F,IACE,qBAAqB,EAAE,CAAC;YACtB,IAAI,EAAE,KAAK;YACX,QAAQ;YACR,MAAM;YACN,MAAM,EAAE,WAAW;YACnB,eAAe,EAAE,GAAG,EAAE,CAAC,QAAQ;SAChC,CAAC,EACF,CAAC;YACD,OAAM;QACR,CAAC;QACD,WAAW,CAAC,MAAM,CAAC,CAAA;IACrB,CAAC,CAAA;IACD,MAAM,OAAO,GAAG,CAAC,IAAO,EAAQ,EAAE;QAChC,cAAc,EAAE,EAAE,CAAA;QAClB,KAAK,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAA;IAChC,CAAC,CAAA;IAED,OAAO;QACL,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK;QAChB,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE;YACd,cAAc,EAAE,EAAE,CAAA;YAClB,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAC7B,CAAC;QACD,OAAO;KACR,CAAA;AACH,CAAC"}
+{"version":3,"file":"state-slot.js","names":[],"sources":["../src/state-slot.ts"],"mappings":";AAcA,IAAI;AAEJ,SAAgB,6BAA6B,aAA0C;CACrF,wBAAwB;AAC1B;AAQA,SAAgB,gBACd,YACA,QACA,cACA,gBACc;CACd,IAAI,QAAQ;CACZ,IAAI,WAAW;CACf,MAAM,QAAQ,CAAC;CAEf,MAAM,UAAU,SAAkB;EAChC,IAAI,OAAO,GAAG,OAAO,IAAI,GAAG;EAE5B,QAAQ;EACR,YAAY;EACZ,WAAW,MAAM;CACnB;CACA,MAAM,gBAAgB,WAAiC;EACrD,MAAM,OAAO,OAAO,WAAW,aAAc,OAA8B,KAAK,IAAI;EACpF,OAAO,IAAI;CACb;CACA,MAAM,qBAAqB,gBAAsC,OAAO,WAAgB;CACxF,MAAM,SAAS,QAAwB,gBAAwD;EAC7F,IACE,wBAAwB;GACtB,MAAM;GACN;GACA;GACA,QAAQ;GACR,uBAAuB;EACzB,CAAC,GAED;EAEF,YAAY,MAAM;CACpB;CACA,MAAM,WAAW,SAAkB;EACjC,iBAAiB;EACjB,MAAM,MAAM,iBAAiB;CAC/B;CAEA,OAAO;EACL,WAAW;EACX,MAAM,WAAW;GACf,iBAAiB;GACjB,MAAM,QAAQ,YAAY;EAC5B;EACA;CACF;AACF"}

package/dist/testing.d.ts

@@ -1,7 +1,10 @@
-import { readCompiledOwnerMetrics as readOwnerMetrics } from './compiled/core.js';
-export declare function beginActScope(): void;
-export declare function endActScope(): void;
-export declare function flushScheduledTasks(): number;
-export declare function hasScheduledTasks(): boolean;
-export declare function readCompiledOwnerMetrics(): ReturnType<typeof readOwnerMetrics>;
+import { readCompiledOwnerMetrics as readCompiledOwnerMetrics$1 } from "./compiled/core.js";
+//#region src/testing.d.ts
+declare function beginActScope(): void;
+declare function endActScope(): void;
+declare function flushScheduledTasks(): number;
+declare function hasScheduledTasks(): boolean;
+declare function readCompiledOwnerMetrics(): ReturnType<typeof readCompiledOwnerMetrics$1>;
+//#endregion
+export { beginActScope, endActScope, flushScheduledTasks, hasScheduledTasks, readCompiledOwnerMetrics };
 //# sourceMappingURL=testing.d.ts.map

package/dist/testing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,IAAI,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AAQjF,wBAAgB,aAAa,IAAI,IAAI,CAEpC;AAED,wBAAgB,WAAW,IAAI,IAAI,CAElC;AAED,wBAAgB,mBAAmB,IAAI,MAAM,CAE5C;AAED,wBAAgB,iBAAiB,IAAI,OAAO,CAE3C;AAED,wBAAgB,wBAAwB,IAAI,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAE9E"}
+{"version":3,"file":"testing.d.ts","names":[],"sources":["../src/testing.ts"],"mappings":";;iBAQgB;iBAIA;iBAIA;iBAIA;iBAIA,4BAA4B,kBAAkB"}

package/dist/testing.js

@@ -1,18 +1,22 @@
-import { readCompiledOwnerMetrics as readOwnerMetrics } from './compiled/core.js';
-import { beginActScope as beginSchedulerActScope, endActScope as endSchedulerActScope, flushScheduledTasks as flushSchedulerTasks, hasScheduledTasks as schedulerHasTasks, } from './scheduler.js';
-export function beginActScope() {
-    beginSchedulerActScope();
+import { beginActScope as beginActScope$1, endActScope as endActScope$1, flushScheduledTasks as flushScheduledTasks$1, hasScheduledTasks as hasScheduledTasks$1 } from "./scheduler.js";
+import { readCompiledOwnerMetrics as readCompiledOwnerMetrics$1 } from "./compiled/core.js";
+//#region src/testing.ts
+function beginActScope() {
+	beginActScope$1();
 }
-export function endActScope() {
-    endSchedulerActScope();
+function endActScope() {
+	endActScope$1();
 }
-export function flushScheduledTasks() {
-    return flushSchedulerTasks();
+function flushScheduledTasks() {
+	return flushScheduledTasks$1();
 }
-export function hasScheduledTasks() {
-    return schedulerHasTasks();
+function hasScheduledTasks() {
+	return hasScheduledTasks$1();
 }
-export function readCompiledOwnerMetrics() {
-    return readOwnerMetrics();
+function readCompiledOwnerMetrics() {
+	return readCompiledOwnerMetrics$1();
 }
+//#endregion
+export { beginActScope, endActScope, flushScheduledTasks, hasScheduledTasks, readCompiledOwnerMetrics };
+
 //# sourceMappingURL=testing.js.map

package/dist/testing.js.map

@@ -1 +1 @@
-{"version":3,"file":"testing.js","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,IAAI,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AACjF,OAAO,EACL,aAAa,IAAI,sBAAsB,EACvC,WAAW,IAAI,oBAAoB,EACnC,mBAAmB,IAAI,mBAAmB,EAC1C,iBAAiB,IAAI,iBAAiB,GACvC,MAAM,gBAAgB,CAAA;AAEvB,MAAM,UAAU,aAAa;IAC3B,sBAAsB,EAAE,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,WAAW;IACzB,oBAAoB,EAAE,CAAA;AACxB,CAAC;AAED,MAAM,UAAU,mBAAmB;IACjC,OAAO,mBAAmB,EAAE,CAAA;AAC9B,CAAC;AAED,MAAM,UAAU,iBAAiB;IAC/B,OAAO,iBAAiB,EAAE,CAAA;AAC5B,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,OAAO,gBAAgB,EAAE,CAAA;AAC3B,CAAC"}
+{"version":3,"file":"testing.js","names":["flushSchedulerTasks","schedulerHasTasks","readOwnerMetrics"],"sources":["../src/testing.ts"],"mappings":";;;AAQA,SAAgB,gBAAsB;CACpC,gBAAuB;AACzB;AAEA,SAAgB,cAAoB;CAClC,cAAqB;AACvB;AAEA,SAAgB,sBAA8B;CAC5C,OAAOA,sBAAoB;AAC7B;AAEA,SAAgB,oBAA6B;CAC3C,OAAOC,oBAAkB;AAC3B;AAEA,SAAgB,2BAAgE;CAC9E,OAAOC,2BAAiB;AAC1B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vidact/runtime",
-  "version": "0.2.0-beta.0",
+  "version": "0.2.0-beta.5",
   "description": "Fine-grained direct-DOM runtime for compiled Vidact applications",
   "keywords": [
     "compiler",
@@ -21,7 +21,8 @@
     "CHANGELOG.md",
     "dist",
     "LICENSE",
-    "README.md"
+    "README.md",
+    "src"
   ],
   "type": "module",
   "sideEffects": [
@@ -126,16 +127,16 @@
     }
   },
   "publishConfig": {
-    "access": "public",
-    "provenance": true
+    "access": "public"
   },
   "devDependencies": {
     "@types/react": "^19.2.18",
     "@vitest/browser-playwright": "4.1.11",
+    "tsdown": "0.22.14",
     "typescript": "7.0.2",
     "vitest": "4.1.11",
-    "@vidact/test-support": "0.2.0-beta.0",
-    "@vidact/react-types": "0.2.0-beta.0"
+    "@vidact/test-support": "0.2.0-beta.5",
+    "@vidact/react-types": "0.2.0-beta.5"
   },
   "peerDependencies": {
     "@types/react": "^19.2.18"
@@ -144,7 +145,7 @@
     "node": ">=24"
   },
   "scripts": {
-    "build": "node ../../scripts/clean-typescript-package.mjs dist && tsc -p tsconfig.build.json && node ../../scripts/finalize-typescript-package.mjs dist src/env.d.ts",
+    "build": "tsdown",
     "test": "vitest run && vitest run --config vitest.retained-ui.config.ts && vitest run --config vitest.server.config.ts",
     "typecheck": "tsc -p tsconfig.json"
   }

package/src/actions.ts

@@ -0,0 +1,415 @@
+import {
+  captureCompiledTask,
+  createContext,
+  createCompiledExternalStore,
+  createCompiledState,
+  registerCompiledCleanup,
+  runWithCompiledContext,
+  useContext,
+} from './compiled/core.ts'
+import type { CompiledScope } from './compiled/types.ts'
+import {
+  registerTransitionAborter,
+  registerTransitionFinalizer,
+  registerTransitionSettlement,
+  runUrgentUpdate,
+  startIndependentTransition,
+} from './concurrent.ts'
+import { h, type DirectChild, type DirectProps } from './direct-dom.ts'
+import { resetActionForm } from './dom/forms.ts'
+import { installDomPropHandler } from './dom/properties.ts'
+import type { SourceMask } from './source-mask.ts'
+import type { StateSlot } from './state-slot.ts'
+
+const DEV = typeof __VIDACT_DEV__ === 'undefined' || __VIDACT_DEV__
+const FORM_ACTION_EXECUTE = Symbol(DEV ? 'Vidact.FormActionExecute' : undefined)
+
+export interface FormStatus {
+  readonly pending: boolean
+  readonly data: FormData | null
+  readonly method: 'get' | 'post'
+  readonly action: FunctionFormAction | null
+}
+
+export type FunctionFormAction = (data: FormData) => unknown | PromiseLike<unknown>
+
+type FormStatusStore = {
+  current: FormStatus
+  readonly listeners: Set<() => void>
+}
+
+type ActionFrame = {
+  readonly settlements: Set<() => void>
+}
+
+type ActionDispatch<Payload> = {
+  (payload: Payload): void
+  readonly permalink?: string
+  readonly [FORM_ACTION_EXECUTE]: (payload: Payload) => Promise<void>
+}
+
+type ActionQueueEntry<Payload> = {
+  readonly payload: Payload
+  readonly reportError: boolean
+  readonly resolve: () => void
+  readonly reject: (error: unknown) => void
+}
+
+type OptimisticLayer<Update> = {
+  readonly frame: object
+  readonly update: Update
+  settling: boolean
+}
+
+export interface OptimisticSlot<Value, Update> {
+  readonly get: () => Value
+  readonly set: (update: Update) => void
+}
+
+const defaultFormStatus: FormStatus = {
+  pending: false,
+  data: null,
+  method: 'get',
+  action: null,
+}
+const functionActions = new WeakMap<Element, FunctionFormAction>()
+const formStatusContext = createContext<FormStatusStore | undefined>(undefined)
+let actionDomInstalled = false
+let activeActionFrame: ActionFrame | undefined
+
+export function createCompiledActionState<State, Payload>(
+  scope: CompiledScope,
+  stateSource: SourceMask,
+  pendingSource: SourceMask,
+  action: (previousState: State, payload: Payload) => State | PromiseLike<State>,
+  initialState: State,
+  permalink?: string,
+): {
+  readonly get: () => { readonly value: State; readonly pending: boolean }
+  readonly set: ActionDispatch<Payload>
+} {
+  const state = createCompiledState(scope, stateSource, () => initialState)
+  const pending = createCompiledState(scope, pendingSource, false)
+  const task = captureCompiledTask(scope)
+  const queue: ActionQueueEntry<Payload>[] = []
+  let running = false
+
+  const enqueue = (payload: Payload, reportError: boolean): Promise<void> => {
+    runUrgentUpdate(() => pending.replace(true))
+    return new Promise<void>((resolve, reject) => {
+      queue.push({ payload, reportError, resolve, reject })
+      processNext()
+    })
+  }
+
+  const dispatch = ((payload: Payload): void => {
+    void enqueue(payload, true)
+  }) as ActionDispatch<Payload>
+  Object.defineProperty(dispatch, FORM_ACTION_EXECUTE, {
+    value: (payload: Payload) => enqueue(payload, false),
+  })
+  if (permalink !== undefined) Object.defineProperty(dispatch, 'permalink', { value: permalink })
+
+  const processNext = (): void => {
+    if (running) return
+    const entry = queue.shift()
+    if (entry === undefined) {
+      runUrgentUpdate(() => pending.replace(false))
+      return
+    }
+    running = true
+    const frame = createActionFrame()
+    let result: State | PromiseLike<State>
+    const previousFrame = activeActionFrame
+    activeActionFrame = frame
+    try {
+      result = action(state.get(), entry.payload)
+    } catch (error) {
+      activeActionFrame = previousFrame
+      finishFailure(entry, frame, error)
+      return
+    }
+    activeActionFrame = previousFrame
+    void Promise.resolve(result).then(
+      (nextState) => {
+        if (task.disposed()) {
+          entry.resolve()
+          running = false
+          return
+        }
+        runActionTransition(
+          () => {
+            state.replace(nextState)
+            settleActionFrame(frame)
+          },
+          () => {
+            entry.resolve()
+            running = false
+            processNext()
+          },
+        )
+      },
+      (error: unknown) => finishFailure(entry, frame, error),
+    )
+  }
+
+  const finishFailure = (
+    entry: ActionQueueEntry<Payload>,
+    frame: ActionFrame,
+    error: unknown,
+  ): void => {
+    if (task.disposed()) {
+      entry.resolve()
+      running = false
+      return
+    }
+    runActionTransition(
+      () => settleActionFrame(frame),
+      () => {
+        running = false
+        if (entry.reportError) {
+          entry.resolve()
+          task.report(error)
+        } else {
+          entry.reject(error)
+        }
+        processNext()
+      },
+    )
+  }
+
+  return {
+    get: () => ({ value: state.get(), pending: pending.get() }),
+    set: dispatch,
+  }
+}
+
+export function createCompiledOptimistic<Value, Update = Value>(
+  scope: CompiledScope,
+  reads: SourceMask,
+  writes: SourceMask,
+  evaluate: () => Value,
+  reducer: (current: Value, update: Update) => Value = (_current, update) =>
+    update as unknown as Value,
+): OptimisticSlot<Value, Update> {
+  const slot = createCompiledState(scope, writes, () => evaluate())
+  let layers: OptimisticLayer<Update>[] = []
+  const compute = (items = layers): Value =>
+    items.reduce(
+      (value, layer) => (layer.settling ? value : reducer(value, layer.update)),
+      evaluate(),
+    )
+  scope[0](reads, () => slot.replace(compute()))
+
+  const add = (update: Update): void => {
+    const frame = activeActionFrame ?? {}
+    const layer: OptimisticLayer<Update> = { frame, update, settling: false }
+    layers.push(layer)
+    try {
+      runUrgentUpdate(() => slot.replace(compute()))
+    } catch (error) {
+      layers = layers.filter((item) => item !== layer)
+      throw error
+    }
+    const settle = (): void => settleOptimisticFrame(frame)
+    if (activeActionFrame !== undefined) {
+      activeActionFrame.settlements.add(settle)
+      return
+    }
+    if (registerTransitionSettlement(() => startIndependentTransition(settle))) return
+    layers = layers.filter((item) => item !== layer)
+    runUrgentUpdate(() => slot.replace(compute()))
+    throw new Error(DEV ? 'optimistic updates must run inside an Action or transition' : 'V035')
+  }
+
+  const settleOptimisticFrame = (frame: object): void => {
+    const settling = layers.filter((layer) => layer.frame === frame)
+    if (settling.length === 0) return
+    for (const layer of settling) layer.settling = true
+    slot.replace(compute())
+    if (
+      registerTransitionFinalizer(() => {
+        layers = layers.filter((layer) => layer.frame !== frame)
+      })
+    ) {
+      registerTransitionAborter(() => {
+        for (const layer of settling) layer.settling = false
+      })
+      return
+    }
+    layers = layers.filter((layer) => layer.frame !== frame)
+  }
+
+  return { get: slot.get, set: add }
+}
+
+export function createCompiledFormStatus(
+  scope: CompiledScope,
+  sourceMask: SourceMask,
+): StateSlot<FormStatus> {
+  const store = useContext(formStatusContext)
+  if (store === undefined) return createCompiledState(scope, sourceMask, () => defaultFormStatus)
+  return createCompiledExternalStore(
+    scope,
+    sourceMask,
+    (notify) => {
+      store.listeners.add(notify)
+      return () => store.listeners.delete(notify)
+    },
+    () => store.current,
+  )
+}
+
+export function ActionForm(props: DirectProps): DirectChild {
+  ensureActionDom()
+  const task = captureCompiledTask()
+  const store: FormStatusStore = { current: defaultFormStatus, listeners: new Set() }
+  const children = normalizeChildren(props?.children)
+  const form = runWithCompiledContext(formStatusContext, store, () =>
+    h('form', props, ...children),
+  ) as HTMLFormElement
+  let activeSubmissions = 0
+  let latestSubmission = 0
+  let latestSucceeded = false
+  const submit = (event: SubmitEvent): void => {
+    const submitter = event.submitter
+    const hasSubmitterOverride =
+      submitter instanceof Element &&
+      (functionActions.has(submitter) || submitter.hasAttribute('formaction'))
+    const action = hasSubmitterOverride
+      ? functionActions.get(submitter as Element)
+      : functionActions.get(form)
+    if (action === undefined) return
+    event.preventDefault()
+    const submission = latestSubmission + 1
+    latestSubmission = submission
+    activeSubmissions += 1
+    const data = createFormData(form, submitter)
+    publishFormStatus(store, {
+      pending: true,
+      data,
+      method: 'post',
+      action,
+    })
+    const frame = createActionFrame()
+    let result: unknown
+    const previousFrame = activeActionFrame
+    activeActionFrame = frame
+    try {
+      result = executeFormAction(action, data)
+    } catch (error) {
+      activeActionFrame = previousFrame
+      finishFormAction(submission, false, frame, error)
+      return
+    }
+    activeActionFrame = previousFrame
+    void Promise.resolve(result).then(
+      () => finishFormAction(submission, true, frame),
+      (error: unknown) => finishFormAction(submission, false, frame, error),
+    )
+  }
+  const finishFormAction = (
+    submission: number,
+    succeeded: boolean,
+    frame: ActionFrame,
+    error?: unknown,
+  ): void => {
+    if (task.disposed()) return
+    runActionTransition(
+      () => settleActionFrame(frame),
+      () => {
+        activeSubmissions -= 1
+        if (submission === latestSubmission) latestSucceeded = succeeded
+        if (activeSubmissions === 0) {
+          if (latestSucceeded) resetActionForm(form)
+          publishFormStatus(store, defaultFormStatus)
+        }
+        if (!succeeded) task.report(error)
+      },
+    )
+  }
+  form.addEventListener('submit', submit)
+  registerCompiledCleanup(() => form.removeEventListener('submit', submit))
+  return form
+}
+
+export function compiledFormAction<Value>(value: Value): Value {
+  ensureActionDom()
+  return value
+}
+
+export function useActionState(): never {
+  throw new Error(DEV ? 'useActionState requires compiler lowering' : 'V036')
+}
+
+export function useOptimistic(): never {
+  throw new Error(DEV ? 'useOptimistic requires compiler lowering' : 'V037')
+}
+
+export function useFormStatus(): never {
+  throw new Error(DEV ? 'useFormStatus requires compiler lowering' : 'V038')
+}
+
+function createActionFrame(): ActionFrame {
+  return { settlements: new Set() }
+}
+
+function settleActionFrame(frame: ActionFrame): void {
+  for (const settle of frame.settlements) settle()
+  if (!registerTransitionFinalizer(() => frame.settlements.clear())) frame.settlements.clear()
+}
+
+function runActionTransition(stage: () => void, complete: () => void): void {
+  let committed = false
+  startIndependentTransition(() => {
+    stage()
+    registerTransitionFinalizer(() => {
+      committed = true
+    })
+    registerTransitionSettlement(() => {
+      if (committed) {
+        complete()
+      } else {
+        queueMicrotask(() => runActionTransition(stage, complete))
+      }
+    })
+  })
+}
+
+function ensureActionDom(): void {
+  if (actionDomInstalled) return
+  actionDomInstalled = true
+  installDomPropHandler((element, name, value) => {
+    const valid =
+      (name === 'action' && element instanceof HTMLFormElement) ||
+      (name === 'formAction' &&
+        (element instanceof HTMLButtonElement || element instanceof HTMLInputElement))
+    if (!valid) return false
+    if (typeof value !== 'function') {
+      functionActions.delete(element)
+      return false
+    }
+    functionActions.set(element, value as FunctionFormAction)
+    element.removeAttribute(name === 'action' ? 'action' : 'formaction')
+    return true
+  })
+}
+
+function executeFormAction(action: FunctionFormAction, data: FormData): unknown {
+  const specialized = (action as Partial<ActionDispatch<FormData>>)[FORM_ACTION_EXECUTE]
+  return specialized === undefined ? action(data) : specialized(data)
+}
+
+function createFormData(form: HTMLFormElement, submitter: HTMLElement | null): FormData {
+  return submitter === null ? new FormData(form) : new FormData(form, submitter)
+}
+
+function publishFormStatus(store: FormStatusStore, status: FormStatus): void {
+  store.current = status
+  for (const listener of store.listeners) listener()
+}
+
+function normalizeChildren(value: unknown): DirectChild[] {
+  if (value === undefined) return []
+  return (Array.isArray(value) ? value : [value]) as DirectChild[]
+}