niceeval 0.12.2-canary.31 → 0.13.0

package/dist/report/host/view-session.cjs

@@ -2,75 +2,92 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.openReportViewSession = openReportViewSession;
 const effect_1 = require("effect");
-const model_ts_1 = require("../execution/model.cjs");
-const theme_ts_1 = require("./theme.cjs");
 const closedError = Object.freeze({
     code: "report-view-session-closed",
 });
 /**
- * Builds the immutable-revision state machine used by a Node watcher/server.
- * A successful refresh atomically publishes a new fixed execution and the next
- * recoverable watch set; a typed failed refresh only updates the bounded
- * last-good problem and leaves the prior watch set intact. Defects and
- * interruption intentionally remain in the Effect cause and do not masquerade
- * as a recoverable rebuild result.
+ * Latest-intent-wins state machine. A candidate has no authority to publish
+ * until it proves that its intent token is still current while holding the
+ * small publication mutex. Failed, superseded, and interrupted candidates
+ * retain the last-good revision and its watcher closure.
  */
 function openReportViewSession(input) {
     return effect_1.Effect.gen(function* () {
+        const sessionScope = yield* effect_1.Effect.scope;
         const initial = yield* input.initial;
-        const initialState = Object.freeze({
-            current: revision(0, initial, input.theme ?? theme_ts_1.basalt, freezeWatchInputs(input.watchInputs)),
-        });
-        const cell = yield* effect_1.Ref.make(Object.freeze({ state: "open", value: initialState }));
+        const cell = yield* effect_1.Ref.make(Object.freeze({
+            state: "open",
+            value: Object.freeze({
+                current: makeRevision(0, initial, freezeWatchInputs(input.watchInputs)),
+            }),
+        }));
+        const intent = yield* effect_1.Ref.make(0);
+        const active = yield* effect_1.Ref.make(undefined);
         const mutex = yield* effect_1.Effect.makeSemaphore(1);
         const snapshot = effect_1.Effect.flatMap(effect_1.Ref.get(cell), (current) => current.state === "open"
             ? effect_1.Effect.succeed(current.value)
             : effect_1.Effect.fail(closedError));
-        const refresh = mutex.withPermits(1)(effect_1.Effect.flatMap(effect_1.Ref.get(cell), (before) => {
-            if (before.state === "closed")
-                return effect_1.Effect.fail(closedError);
-            return input.rebuild().pipe(effect_1.Effect.flatMap((rebuilt) => {
-                const next = Object.freeze({
-                    current: revisionFromRebuild(before.value.current, rebuilt),
-                });
-                return effect_1.Ref.set(cell, Object.freeze({ state: "open", value: next }));
-            }), effect_1.Effect.catchAll((failure) => {
-                // Keep last-good execution, theme, and recoverable watch set.
-                const next = Object.freeze({
-                    current: before.value.current,
-                    lastProblem: boundedProblem(failure),
-                });
-                return effect_1.Ref.set(cell, Object.freeze({ state: "open", value: next }));
-            }));
+        const refresh = mutex.withPermits(1)(effect_1.Effect.gen(function* () {
+            const current = yield* effect_1.Ref.get(cell);
+            if (current.state === "closed")
+                return yield* effect_1.Effect.fail(closedError);
+            const nextIntent = yield* effect_1.Ref.updateAndGet(intent, (value) => value + 1);
+            const prior = yield* effect_1.Ref.get(active);
+            // Do not wait for arbitrary author Promise cleanup. The token below
+            // still prevents a late completion from publishing if interruption is
+            // not observed by an external callback.
+            if (prior !== undefined) {
+                yield* effect_1.Deferred.succeed(prior.outcome, Object.freeze({ state: "superseded" }));
+                yield* effect_1.Fiber.interruptFork(prior.fiber);
+            }
+            const outcome = yield* effect_1.Deferred.make();
+            const candidate = yield* effect_1.Effect.forkIn(closeCandidate({ input, cell, intent, mutex, token: nextIntent, outcome }), sessionScope);
+            yield* effect_1.Ref.set(active, Object.freeze({ token: nextIntent, fiber: candidate, outcome }));
+            return Object.freeze({ token: nextIntent, outcome });
         }));
         const session = Object.freeze({ url: input.url, snapshot, refresh });
-        return yield* effect_1.Effect.acquireRelease(effect_1.Effect.succeed(session), 
-        // Closing participates in the same critical section as refresh. Without
-        // this, a refresh could observe `open`, the enclosing Scope could close,
-        // and the refresh could publish a new open value after the finalizer.
-        () => mutex.withPermits(1)(effect_1.Ref.set(cell, Object.freeze({ state: "closed" }))));
+        return yield* effect_1.Effect.acquireRelease(effect_1.Effect.succeed(session), () => mutex.withPermits(1)(effect_1.Effect.gen(function* () {
+            const prior = yield* effect_1.Ref.get(active);
+            if (prior !== undefined) {
+                yield* effect_1.Deferred.succeed(prior.outcome, Object.freeze({ state: "interrupted" }));
+                yield* effect_1.Fiber.interruptFork(prior.fiber);
+            }
+            yield* effect_1.Ref.set(cell, Object.freeze({ state: "closed" }));
+        })));
     });
 }
-function revision(revisionNumber, execution, theme, watchInputs) {
-    if (!(0, theme_ts_1.isThemeDefinition)(theme)) {
-        throw new TypeError("a Report view revision requires a ThemeDefinition from defineTheme");
-    }
-    return Object.freeze({
-        revision: revisionNumber,
-        execution,
-        theme,
-        watchInputs: freezeWatchInputs(watchInputs),
+function closeCandidate(input) {
+    return effect_1.Effect.exit(input.input.rebuild()).pipe(effect_1.Effect.flatMap((exit) => input.mutex.withPermits(1)(publishCandidate({ ...input, exit }))));
+}
+function publishCandidate(input) {
+    return effect_1.Effect.gen(function* () {
+        const currentIntent = yield* effect_1.Ref.get(input.intent);
+        const current = yield* effect_1.Ref.get(input.cell);
+        if (current.state === "closed" || currentIntent !== input.token) {
+            return yield* effect_1.Deferred.succeed(input.outcome, Object.freeze({ state: "superseded" }));
+        }
+        if (effect_1.Exit.isSuccess(input.exit)) {
+            const revision = makeRevision(current.value.current.revision + 1, input.exit.value.site, input.exit.value.watchInputs ?? current.value.current.watchInputs);
+            const next = Object.freeze({ current: revision });
+            yield* effect_1.Ref.set(input.cell, Object.freeze({ state: "open", value: next }));
+            return yield* effect_1.Deferred.succeed(input.outcome, Object.freeze({ state: "published", revision }));
+        }
+        // Intentional cancellation has no user-visible error. A typed failure or
+        // defect merely annotates last-good; neither can replace its bytes/watch set.
+        if (effect_1.Cause.isInterruptedOnly(input.exit.cause)) {
+            return yield* effect_1.Deferred.succeed(input.outcome, Object.freeze({ state: "interrupted" }));
+        }
+        const typed = effect_1.Option.getOrUndefined(effect_1.Cause.failureOption(input.exit.cause));
+        const next = Object.freeze({
+            current: current.value.current,
+            lastProblem: boundedProblem(typed ?? { summary: "Report rebuild failed" }),
+        });
+        yield* effect_1.Ref.set(input.cell, Object.freeze({ state: "open", value: next }));
+        return yield* effect_1.Deferred.succeed(input.outcome, Object.freeze({ state: "failed" }));
     });
 }
-function revisionFromRebuild(previous, rebuilt) {
-    if ((0, model_ts_1.isReportExecution)(rebuilt)) {
-        // Legacy bare execution rebuilds keep the prior recoverable watch set.
-        return revision(previous.revision + 1, rebuilt, previous.theme, previous.watchInputs);
-    }
-    if (rebuilt.kind === "execution") {
-        return revision(previous.revision + 1, rebuilt.execution, rebuilt.theme ?? previous.theme, rebuilt.watchInputs ?? previous.watchInputs);
-    }
-    return revision(previous.revision + 1, previous.execution, rebuilt.theme, rebuilt.watchInputs ?? previous.watchInputs);
+function makeRevision(revision, site, watchInputs) {
+    return Object.freeze({ revision, site, watchInputs: freezeWatchInputs(watchInputs) });
 }
 function freezeWatchInputs(inputs) {
     return Object.freeze([...(inputs ?? [])]);

package/dist/report/host/view-session.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"view-session.js","sourceRoot":"","sources":["view-session.ts"],"names":[],"mappings":";;AA0FA,sDAmCC;AA7HD,mCAAqC;AAErC,oDAAgF;AAChF,yCAA6E;AA4E7E,MAAM,WAAW,GAA4B,MAAM,CAAC,MAAM,CAAC;IACvD,IAAI,EAAE,4BAA4B;CACrC,CAAC,CAAC;AACH;;;;;;;GAOG;AACH,SAAgB,qBAAqB,CAAe,KAA+C;IAC/F,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;QACrC,MAAM,YAAY,GAAoB,MAAM,CAAC,MAAM,CAAC;YAChD,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,IAAI,iBAAM,EAAE,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;SAC7F,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,YAAG,CAAC,IAAI,CAAc,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;QACjG,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,eAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAA4D,eAAM,CAAC,OAAO,CAAC,YAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM;YACzI,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;YAC/B,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;QAChC,MAAM,OAAO,GAA+D,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,YAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE;YACtI,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ;gBACzB,OAAO,eAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACpC,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;gBACnD,MAAM,IAAI,GAAoB,MAAM,CAAC,MAAM,CAAC;oBACxC,OAAO,EAAE,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;iBAC9D,CAAC,CAAC;gBACH,OAAO,YAAG,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACxE,CAAC,CAAC,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC5B,8DAA8D;gBAC9D,MAAM,IAAI,GAAoB,MAAM,CAAC,MAAM,CAAC;oBACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO;oBAC7B,WAAW,EAAE,cAAc,CAAC,OAAO,CAAC;iBACvC,CAAC,CAAC;gBACH,OAAO,YAAG,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACxE,CAAC,CAAC,CAAC,CAAC;QACR,CAAC,CAAC,CAAC,CAAC;QACJ,MAAM,OAAO,GAAoC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACtG,OAAO,KAAK,CAAC,CAAC,eAAM,CAAC,cAAc,CAAC,eAAM,CAAC,OAAO,CAAC,OAAO,CAAC;QAC3D,wEAAwE;QACxE,yEAAyE;QACzE,sEAAsE;QACtE,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,YAAG,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;AACP,CAAC;AACD,SAAS,QAAQ,CAAC,cAAsB,EAAE,SAA0B,EAAE,KAAsB,EAAE,WAA8B;IACxH,IAAI,CAAC,IAAA,4BAAiB,EAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,SAAS,CAAC,oEAAoE,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,QAAQ,EAAE,cAAc;QACxB,SAAS;QACT,KAAK;QACL,WAAW,EAAE,iBAAiB,CAAC,WAAW,CAAC;KAC9C,CAAC,CAAC;AACP,CAAC;AACD,SAAS,mBAAmB,CAAC,QAA4B,EAAE,OAA0B;IACjF,IAAI,IAAA,4BAAiB,EAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,uEAAuE;QACvE,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,GAAG,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC/B,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,GAAG,CAAC,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,WAAW,IAAI,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC5I,CAAC;IACD,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,GAAG,CAAC,EAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,WAAW,IAAI,QAAQ,CAAC,WAAW,CAAC,CAAC;AAC3H,CAAC;AACD,SAAS,iBAAiB,CAAC,MAAqC;IAC5D,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC;AACD,SAAS,cAAc,CAAC,OAAiC;IACrD,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,+BAA+B,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAChG,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,UAAU,IAAI,uBAAuB,EAAE,CAAC,CAAC;AAC7E,CAAC","sourcesContent":["import { Effect, Ref } from \"effect\";\nimport type * as Scope from \"effect/Scope\";\nimport { isReportExecution, type ReportExecution } from \"../execution/model.ts\";\nimport { basalt, isThemeDefinition, type ThemeDefinition } from \"./theme.ts\";\nexport interface ReportViewRevision {\n    readonly revision: number;\n    readonly execution: ReportExecution;\n    /** Theme snapshot for this view revision; it never becomes Report author data. */\n    readonly theme: ThemeDefinition;\n    /**\n     * Recoverable Node watch set published with this revision. `fs.watch` is only\n     * a hint; the next rebuild re-reads its own loader closure. Failure keeps the\n     * last-good set so the entry (and prior static edges) remain recoverable.\n     */\n    readonly watchInputs: readonly string[];\n}\nexport interface ReportViewProblem {\n    readonly summary: string;\n}\nexport interface ReportViewState {\n    readonly current: ReportViewRevision;\n    readonly lastProblem?: ReportViewProblem;\n}\nexport interface ReportViewSessionClosed {\n    readonly code: \"report-view-session-closed\";\n}\nexport interface ReportViewOpenError {\n    readonly code: \"report-view-open-failed\";\n    readonly reason: string;\n}\n/** A rebuild failure is deliberately bounded before it becomes visible in a view. */\nexport interface ReportViewRebuildFailure {\n    readonly summary: string;\n}\n/** A successful rebuild that also replaced the fixed ReportExecution. */\nexport interface ReportViewExecutionRebuild {\n    readonly kind: \"execution\";\n    readonly execution: ReportExecution;\n    /** Omit when the previous Theme source snapshot remains current. */\n    readonly theme?: ThemeDefinition;\n    /**\n     * On success, atomically replaces the next-round watch set. Omit to keep the\n     * last-good recoverable set (at least the prior entry edges).\n     */\n    readonly watchInputs?: readonly string[];\n}\n/** A Theme-only rebuild keeps the exact immutable execution and changes presentation only. */\nexport interface ReportViewThemeRebuild {\n    readonly kind: \"theme-only\";\n    readonly theme: ThemeDefinition;\n    /** Same atomic watch-set rule as an execution rebuild. */\n    readonly watchInputs?: readonly string[];\n}\nexport type ReportViewRebuild = ReportExecution | ReportViewExecutionRebuild | ReportViewThemeRebuild;\nexport interface ReportViewSession<Requirements = never> {\n    readonly url: string;\n    readonly snapshot: Effect.Effect<ReportViewState, ReportViewSessionClosed>;\n    readonly refresh: Effect.Effect<void, ReportViewSessionClosed, Requirements>;\n}\nexport interface OpenReportViewSessionInput<Requirements = never> {\n    readonly url: string;\n    /** The initial Theme source snapshot; basalt is the host default. */\n    readonly theme?: ThemeDefinition;\n    /**\n     * Initial recoverable watch set for the opening revision. A successful\n     * rebuild may replace it atomically with the next loader closure.\n     */\n    readonly watchInputs?: readonly string[];\n    /** The opening execution must be complete; no last-good revision exists yet. */\n    readonly initial: Effect.Effect<ReportExecution, ReportViewOpenError, Requirements>;\n    /** Each invocation publishes a new execution or a Theme-only revision. */\n    readonly rebuild: () => Effect.Effect<ReportViewRebuild, ReportViewRebuildFailure, Requirements>;\n}\ntype SessionCell = {\n    readonly state: \"open\";\n    readonly value: ReportViewState;\n} | {\n    readonly state: \"closed\";\n};\nconst closedError: ReportViewSessionClosed = Object.freeze({\n    code: \"report-view-session-closed\",\n});\n/**\n * Builds the immutable-revision state machine used by a Node watcher/server.\n * A successful refresh atomically publishes a new fixed execution and the next\n * recoverable watch set; a typed failed refresh only updates the bounded\n * last-good problem and leaves the prior watch set intact. Defects and\n * interruption intentionally remain in the Effect cause and do not masquerade\n * as a recoverable rebuild result.\n */\nexport function openReportViewSession<Requirements>(input: OpenReportViewSessionInput<Requirements>): Effect.Effect<ReportViewSession<Requirements>, ReportViewOpenError, Scope.Scope | Requirements> {\n    return Effect.gen(function* () {\n        const initial = yield* input.initial;\n        const initialState: ReportViewState = Object.freeze({\n            current: revision(0, initial, input.theme ?? basalt, freezeWatchInputs(input.watchInputs)),\n        });\n        const cell = yield* Ref.make<SessionCell>(Object.freeze({ state: \"open\", value: initialState }));\n        const mutex = yield* Effect.makeSemaphore(1);\n        const snapshot: Effect.Effect<ReportViewState, ReportViewSessionClosed> = Effect.flatMap(Ref.get(cell), (current) => current.state === \"open\"\n            ? Effect.succeed(current.value)\n            : Effect.fail(closedError));\n        const refresh: Effect.Effect<void, ReportViewSessionClosed, Requirements> = mutex.withPermits(1)(Effect.flatMap(Ref.get(cell), (before) => {\n            if (before.state === \"closed\")\n                return Effect.fail(closedError);\n            return input.rebuild().pipe(Effect.flatMap((rebuilt) => {\n                const next: ReportViewState = Object.freeze({\n                    current: revisionFromRebuild(before.value.current, rebuilt),\n                });\n                return Ref.set(cell, Object.freeze({ state: \"open\", value: next }));\n            }), Effect.catchAll((failure) => {\n                // Keep last-good execution, theme, and recoverable watch set.\n                const next: ReportViewState = Object.freeze({\n                    current: before.value.current,\n                    lastProblem: boundedProblem(failure),\n                });\n                return Ref.set(cell, Object.freeze({ state: \"open\", value: next }));\n            }));\n        }));\n        const session: ReportViewSession<Requirements> = Object.freeze({ url: input.url, snapshot, refresh });\n        return yield* Effect.acquireRelease(Effect.succeed(session), \n        // Closing participates in the same critical section as refresh. Without\n        // this, a refresh could observe `open`, the enclosing Scope could close,\n        // and the refresh could publish a new open value after the finalizer.\n        () => mutex.withPermits(1)(Ref.set(cell, Object.freeze({ state: \"closed\" }))));\n    });\n}\nfunction revision(revisionNumber: number, execution: ReportExecution, theme: ThemeDefinition, watchInputs: readonly string[]): ReportViewRevision {\n    if (!isThemeDefinition(theme)) {\n        throw new TypeError(\"a Report view revision requires a ThemeDefinition from defineTheme\");\n    }\n    return Object.freeze({\n        revision: revisionNumber,\n        execution,\n        theme,\n        watchInputs: freezeWatchInputs(watchInputs),\n    });\n}\nfunction revisionFromRebuild(previous: ReportViewRevision, rebuilt: ReportViewRebuild): ReportViewRevision {\n    if (isReportExecution(rebuilt)) {\n        // Legacy bare execution rebuilds keep the prior recoverable watch set.\n        return revision(previous.revision + 1, rebuilt, previous.theme, previous.watchInputs);\n    }\n    if (rebuilt.kind === \"execution\") {\n        return revision(previous.revision + 1, rebuilt.execution, rebuilt.theme ?? previous.theme, rebuilt.watchInputs ?? previous.watchInputs);\n    }\n    return revision(previous.revision + 1, previous.execution, rebuilt.theme, rebuilt.watchInputs ?? previous.watchInputs);\n}\nfunction freezeWatchInputs(inputs: readonly string[] | undefined): readonly string[] {\n    return Object.freeze([...(inputs ?? [])]);\n}\nfunction boundedProblem(failure: ReportViewRebuildFailure): ReportViewProblem {\n    const normalized = failure.summary.replace(/[\\u0000-\\u001f\\u007f-\\u009f]/g, \" \").slice(0, 1024);\n    return Object.freeze({ summary: normalized || \"Report rebuild failed\" });\n}\n"]}
+{"version":3,"file":"view-session.js","sourceRoot":"","sources":["view-session.ts"],"names":[],"mappings":";;AAoFA,sDA4CC;AAhID,mCAA2E;AA2E3E,MAAM,WAAW,GAA4B,MAAM,CAAC,MAAM,CAAC;IACvD,IAAI,EAAE,4BAA4B;CACrC,CAAC,CAAC;AACH;;;;;GAKG;AACH,SAAgB,qBAAqB,CAAe,KAA+C;IAC/F,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC;QACzC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,YAAG,CAAC,IAAI,CAAc,MAAM,CAAC,MAAM,CAAC;YACpD,KAAK,EAAE,MAAM;YACb,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;gBACjB,OAAO,EAAE,YAAY,CAAC,CAAC,EAAE,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;aAC1E,CAAC;SACL,CAAC,CAAC,CAAC;QACJ,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,YAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,YAAG,CAAC,IAAI,CAA8B,SAAS,CAAC,CAAC;QACvE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,eAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAA4D,eAAM,CAAC,OAAO,CAAC,YAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM;YACzI,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;YAC/B,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;QAChC,MAAM,OAAO,GAAkF,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACpI,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAC1B,OAAO,KAAK,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC3C,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,YAAG,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,YAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrC,oEAAoE;YACpE,sEAAsE;YACtE,wCAAwC;YACxC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACtB,KAAK,CAAC,CAAC,iBAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC,CAAC,CAAC;gBACxF,KAAK,CAAC,CAAC,cAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAgC,CAAC;YACrE,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,eAAM,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC;YACjI,KAAK,CAAC,CAAC,YAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YACxF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC,CAAC;QACJ,MAAM,OAAO,GAAoC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACtG,OAAO,KAAK,CAAC,CAAC,eAAM,CAAC,cAAc,CAAC,eAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACxG,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,YAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACtB,KAAK,CAAC,CAAC,iBAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,CAAC,CAAC,CAAC;gBACzF,KAAK,CAAC,CAAC,cAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5C,CAAC;YACD,KAAK,CAAC,CAAC,YAAG,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC,CAAC,CAAC;IACT,CAAC,CAAC,CAAC;AACP,CAAC;AACD,SAAS,cAAc,CAAe,KAOrC;IACG,OAAO,eAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/I,CAAC;AACD,SAAS,gBAAgB,CAAe,KAMvC;IACG,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvB,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,YAAG,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ,IAAI,aAAa,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;YAC9D,OAAO,KAAK,CAAC,CAAC,iBAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,aAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,GAAG,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,IAAI,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAC5J,MAAM,IAAI,GAAoB,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;YACnE,KAAK,CAAC,CAAC,YAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAC1E,OAAO,KAAK,CAAC,CAAC,iBAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAoB,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC5G,CAAC;QACD,yEAAyE;QACzE,8EAA8E;QAC9E,IAAI,cAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5C,OAAO,KAAK,CAAC,CAAC,iBAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,CAAC,CAAC,CAAC;QACpG,CAAC;QACD,MAAM,KAAK,GAAG,eAAM,CAAC,cAAc,CAAC,cAAK,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAoB,MAAM,CAAC,MAAM,CAAC;YACxC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO;YAC9B,WAAW,EAAE,cAAc,CAAC,KAAK,IAAI,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC;SAC7E,CAAC,CAAC;QACH,KAAK,CAAC,CAAC,YAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1E,OAAO,KAAK,CAAC,CAAC,iBAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAiB,EAAE,CAAC,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;AACP,CAAC;AAMD,SAAS,YAAY,CAAC,QAAgB,EAAE,IAAwB,EAAE,WAA8B;IAC5F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;AAC1F,CAAC;AACD,SAAS,iBAAiB,CAAC,MAAqC;IAC5D,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC;AACD,SAAS,cAAc,CAAC,OAAiC;IACrD,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,+BAA+B,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAChG,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,UAAU,IAAI,uBAAuB,EAAE,CAAC,CAAC;AAC7E,CAAC","sourcesContent":["import { Cause, Deferred, Effect, Exit, Fiber, Option, Ref } from \"effect\";\nimport type * as Scope from \"effect/Scope\";\nimport type { ClosedSiteRevision } from \"../execution/model.ts\";\n/** One immutable byte-complete site published by the live transport. */\nexport interface ReportViewRevision {\n    readonly revision: number;\n    readonly site: ClosedSiteRevision;\n    /** The successful candidate's next recoverable watcher closure. */\n    readonly watchInputs: readonly string[];\n}\nexport interface ReportViewProblem {\n    readonly summary: string;\n}\nexport interface ReportViewState {\n    readonly current: ReportViewRevision;\n    readonly lastProblem?: ReportViewProblem;\n}\nexport interface ReportViewSessionClosed {\n    readonly code: \"report-view-session-closed\";\n}\nexport interface ReportViewOpenError {\n    readonly code: \"report-view-open-failed\";\n    readonly reason: string;\n}\n/** A rebuild failure is deliberately bounded before it becomes visible in a view. */\nexport interface ReportViewRebuildFailure {\n    readonly summary: string;\n}\n/** A successful candidate always contains a new SSG-complete revision. */\nexport interface ReportViewSiteRebuild {\n    readonly kind: \"site\";\n    readonly site: ClosedSiteRevision;\n    /** Omit to keep the prior recoverable set after a host-only rebuild. */\n    readonly watchInputs?: readonly string[];\n}\nexport type ReportViewRebuild = ReportViewSiteRebuild;\nexport interface ReportViewSession<Requirements = never> {\n    readonly url: string;\n    readonly snapshot: Effect.Effect<ReportViewState, ReportViewSessionClosed>;\n    /**\n     * Records a new user/watch intent and starts its candidate immediately.\n     * A later intent interrupts or abandons any earlier candidate; callers do\n     * not wait for author callbacks before the latest intent is registered.\n     */\n    readonly refresh: Effect.Effect<ReportViewRefreshIntent, ReportViewSessionClosed, Requirements>;\n}\nexport type ReportViewPublicationOutcome = {\n    readonly state: \"published\";\n    readonly revision: ReportViewRevision;\n} | {\n    readonly state: \"failed\";\n} | {\n    readonly state: \"superseded\";\n} | {\n    readonly state: \"interrupted\";\n};\n/** A registered intent returns promptly; its outcome completes exactly once. */\nexport interface ReportViewRefreshIntent {\n    readonly token: number;\n    readonly outcome: Effect.Effect<ReportViewPublicationOutcome>;\n}\nexport interface OpenReportViewSessionInput<Requirements = never> {\n    readonly url: string;\n    readonly watchInputs?: readonly string[];\n    /** The opening revision is already a complete byte map. */\n    readonly initial: Effect.Effect<ClosedSiteRevision, ReportViewOpenError, Requirements>;\n    /** Each invocation captures one complete Sample/Report/Theme intent. */\n    readonly rebuild: () => Effect.Effect<ReportViewRebuild, ReportViewRebuildFailure, Requirements>;\n}\ntype SessionCell = {\n    readonly state: \"open\";\n    readonly value: ReportViewState;\n} | {\n    readonly state: \"closed\";\n};\nconst closedError: ReportViewSessionClosed = Object.freeze({\n    code: \"report-view-session-closed\",\n});\n/**\n * Latest-intent-wins state machine. A candidate has no authority to publish\n * until it proves that its intent token is still current while holding the\n * small publication mutex. Failed, superseded, and interrupted candidates\n * retain the last-good revision and its watcher closure.\n */\nexport function openReportViewSession<Requirements>(input: OpenReportViewSessionInput<Requirements>): Effect.Effect<ReportViewSession<Requirements>, ReportViewOpenError, Scope.Scope | Requirements> {\n    return Effect.gen(function* () {\n        const sessionScope = yield* Effect.scope;\n        const initial = yield* input.initial;\n        const cell = yield* Ref.make<SessionCell>(Object.freeze({\n            state: \"open\",\n            value: Object.freeze({\n                current: makeRevision(0, initial, freezeWatchInputs(input.watchInputs)),\n            }),\n        }));\n        const intent = yield* Ref.make(0);\n        const active = yield* Ref.make<ActiveCandidate | undefined>(undefined);\n        const mutex = yield* Effect.makeSemaphore(1);\n        const snapshot: Effect.Effect<ReportViewState, ReportViewSessionClosed> = Effect.flatMap(Ref.get(cell), (current) => current.state === \"open\"\n            ? Effect.succeed(current.value)\n            : Effect.fail(closedError));\n        const refresh: Effect.Effect<ReportViewRefreshIntent, ReportViewSessionClosed, Requirements> = mutex.withPermits(1)(Effect.gen(function* () {\n            const current = yield* Ref.get(cell);\n            if (current.state === \"closed\")\n                return yield* Effect.fail(closedError);\n            const nextIntent = yield* Ref.updateAndGet(intent, (value) => value + 1);\n            const prior = yield* Ref.get(active);\n            // Do not wait for arbitrary author Promise cleanup. The token below\n            // still prevents a late completion from publishing if interruption is\n            // not observed by an external callback.\n            if (prior !== undefined) {\n                yield* Deferred.succeed(prior.outcome, Object.freeze({ state: \"superseded\" as const }));\n                yield* Fiber.interruptFork(prior.fiber);\n            }\n            const outcome = yield* Deferred.make<ReportViewPublicationOutcome>();\n            const candidate = yield* Effect.forkIn(closeCandidate({ input, cell, intent, mutex, token: nextIntent, outcome }), sessionScope);\n            yield* Ref.set(active, Object.freeze({ token: nextIntent, fiber: candidate, outcome }));\n            return Object.freeze({ token: nextIntent, outcome });\n        }));\n        const session: ReportViewSession<Requirements> = Object.freeze({ url: input.url, snapshot, refresh });\n        return yield* Effect.acquireRelease(Effect.succeed(session), () => mutex.withPermits(1)(Effect.gen(function* () {\n            const prior = yield* Ref.get(active);\n            if (prior !== undefined) {\n                yield* Deferred.succeed(prior.outcome, Object.freeze({ state: \"interrupted\" as const }));\n                yield* Fiber.interruptFork(prior.fiber);\n            }\n            yield* Ref.set(cell, Object.freeze({ state: \"closed\" }));\n        })));\n    });\n}\nfunction closeCandidate<Requirements>(input: {\n    readonly input: OpenReportViewSessionInput<Requirements>;\n    readonly cell: Ref.Ref<SessionCell>;\n    readonly intent: Ref.Ref<number>;\n    readonly mutex: Effect.Semaphore;\n    readonly token: number;\n    readonly outcome: Deferred.Deferred<ReportViewPublicationOutcome>;\n}): Effect.Effect<void, never, Requirements> {\n    return Effect.exit(input.input.rebuild()).pipe(Effect.flatMap((exit) => input.mutex.withPermits(1)(publishCandidate({ ...input, exit }))));\n}\nfunction publishCandidate<Requirements>(input: {\n    readonly cell: Ref.Ref<SessionCell>;\n    readonly intent: Ref.Ref<number>;\n    readonly token: number;\n    readonly exit: Exit.Exit<ReportViewRebuild, ReportViewRebuildFailure>;\n    readonly outcome: Deferred.Deferred<ReportViewPublicationOutcome>;\n}): Effect.Effect<void> {\n    return Effect.gen(function* () {\n        const currentIntent = yield* Ref.get(input.intent);\n        const current = yield* Ref.get(input.cell);\n        if (current.state === \"closed\" || currentIntent !== input.token) {\n            return yield* Deferred.succeed(input.outcome, Object.freeze({ state: \"superseded\" as const }));\n        }\n        if (Exit.isSuccess(input.exit)) {\n            const revision = makeRevision(current.value.current.revision + 1, input.exit.value.site, input.exit.value.watchInputs ?? current.value.current.watchInputs);\n            const next: ReportViewState = Object.freeze({ current: revision });\n            yield* Ref.set(input.cell, Object.freeze({ state: \"open\", value: next }));\n            return yield* Deferred.succeed(input.outcome, Object.freeze({ state: \"published\" as const, revision }));\n        }\n        // Intentional cancellation has no user-visible error. A typed failure or\n        // defect merely annotates last-good; neither can replace its bytes/watch set.\n        if (Cause.isInterruptedOnly(input.exit.cause)) {\n            return yield* Deferred.succeed(input.outcome, Object.freeze({ state: \"interrupted\" as const }));\n        }\n        const typed = Option.getOrUndefined(Cause.failureOption(input.exit.cause));\n        const next: ReportViewState = Object.freeze({\n            current: current.value.current,\n            lastProblem: boundedProblem(typed ?? { summary: \"Report rebuild failed\" }),\n        });\n        yield* Ref.set(input.cell, Object.freeze({ state: \"open\", value: next }));\n        return yield* Deferred.succeed(input.outcome, Object.freeze({ state: \"failed\" as const }));\n    });\n}\ninterface ActiveCandidate {\n    readonly token: number;\n    readonly fiber: Fiber.RuntimeFiber<void, never>;\n    readonly outcome: Deferred.Deferred<ReportViewPublicationOutcome>;\n}\nfunction makeRevision(revision: number, site: ClosedSiteRevision, watchInputs: readonly string[]): ReportViewRevision {\n    return Object.freeze({ revision, site, watchInputs: freezeWatchInputs(watchInputs) });\n}\nfunction freezeWatchInputs(inputs: readonly string[] | undefined): readonly string[] {\n    return Object.freeze([...(inputs ?? [])]);\n}\nfunction boundedProblem(failure: ReportViewRebuildFailure): ReportViewProblem {\n    const normalized = failure.summary.replace(/[\\u0000-\\u001f\\u007f-\\u009f]/g, \" \").slice(0, 1024);\n    return Object.freeze({ summary: normalized || \"Report rebuild failed\" });\n}\n"]}

package/dist/report/host/view-session.d.cts

@@ -1,17 +1,11 @@
 import { Effect } from "effect";
 import type * as Scope from "effect/Scope";
-import { type ReportExecution } from "../execution/model.cjs";
-import { type ThemeDefinition } from "./theme.cjs";
+import type { ClosedSiteRevision } from "../execution/model.cjs";
+/** One immutable byte-complete site published by the live transport. */
 export interface ReportViewRevision {
     readonly revision: number;
-    readonly execution: ReportExecution;
-    /** Theme snapshot for this view revision; it never becomes Report author data. */
-    readonly theme: ThemeDefinition;
-    /**
-     * Recoverable Node watch set published with this revision. `fs.watch` is only
-     * a hint; the next rebuild re-reads its own loader closure. Failure keeps the
-     * last-good set so the entry (and prior static edges) remain recoverable.
-     */
+    readonly site: ClosedSiteRevision;
+    /** The successful candidate's next recoverable watcher closure. */
     readonly watchInputs: readonly string[];
 }
 export interface ReportViewProblem {
@@ -32,51 +26,51 @@ export interface ReportViewOpenError {
 export interface ReportViewRebuildFailure {
     readonly summary: string;
 }
-/** A successful rebuild that also replaced the fixed ReportExecution. */
-export interface ReportViewExecutionRebuild {
-    readonly kind: "execution";
-    readonly execution: ReportExecution;
-    /** Omit when the previous Theme source snapshot remains current. */
-    readonly theme?: ThemeDefinition;
-    /**
-     * On success, atomically replaces the next-round watch set. Omit to keep the
-     * last-good recoverable set (at least the prior entry edges).
-     */
-    readonly watchInputs?: readonly string[];
-}
-/** A Theme-only rebuild keeps the exact immutable execution and changes presentation only. */
-export interface ReportViewThemeRebuild {
-    readonly kind: "theme-only";
-    readonly theme: ThemeDefinition;
-    /** Same atomic watch-set rule as an execution rebuild. */
+/** A successful candidate always contains a new SSG-complete revision. */
+export interface ReportViewSiteRebuild {
+    readonly kind: "site";
+    readonly site: ClosedSiteRevision;
+    /** Omit to keep the prior recoverable set after a host-only rebuild. */
     readonly watchInputs?: readonly string[];
 }
-export type ReportViewRebuild = ReportExecution | ReportViewExecutionRebuild | ReportViewThemeRebuild;
+export type ReportViewRebuild = ReportViewSiteRebuild;
 export interface ReportViewSession<Requirements = never> {
     readonly url: string;
     readonly snapshot: Effect.Effect<ReportViewState, ReportViewSessionClosed>;
-    readonly refresh: Effect.Effect<void, ReportViewSessionClosed, Requirements>;
+    /**
+     * Records a new user/watch intent and starts its candidate immediately.
+     * A later intent interrupts or abandons any earlier candidate; callers do
+     * not wait for author callbacks before the latest intent is registered.
+     */
+    readonly refresh: Effect.Effect<ReportViewRefreshIntent, ReportViewSessionClosed, Requirements>;
+}
+export type ReportViewPublicationOutcome = {
+    readonly state: "published";
+    readonly revision: ReportViewRevision;
+} | {
+    readonly state: "failed";
+} | {
+    readonly state: "superseded";
+} | {
+    readonly state: "interrupted";
+};
+/** A registered intent returns promptly; its outcome completes exactly once. */
+export interface ReportViewRefreshIntent {
+    readonly token: number;
+    readonly outcome: Effect.Effect<ReportViewPublicationOutcome>;
 }
 export interface OpenReportViewSessionInput<Requirements = never> {
     readonly url: string;
-    /** The initial Theme source snapshot; basalt is the host default. */
-    readonly theme?: ThemeDefinition;
-    /**
-     * Initial recoverable watch set for the opening revision. A successful
-     * rebuild may replace it atomically with the next loader closure.
-     */
     readonly watchInputs?: readonly string[];
-    /** The opening execution must be complete; no last-good revision exists yet. */
-    readonly initial: Effect.Effect<ReportExecution, ReportViewOpenError, Requirements>;
-    /** Each invocation publishes a new execution or a Theme-only revision. */
+    /** The opening revision is already a complete byte map. */
+    readonly initial: Effect.Effect<ClosedSiteRevision, ReportViewOpenError, Requirements>;
+    /** Each invocation captures one complete Sample/Report/Theme intent. */
     readonly rebuild: () => Effect.Effect<ReportViewRebuild, ReportViewRebuildFailure, Requirements>;
 }
 /**
- * Builds the immutable-revision state machine used by a Node watcher/server.
- * A successful refresh atomically publishes a new fixed execution and the next
- * recoverable watch set; a typed failed refresh only updates the bounded
- * last-good problem and leaves the prior watch set intact. Defects and
- * interruption intentionally remain in the Effect cause and do not masquerade
- * as a recoverable rebuild result.
+ * Latest-intent-wins state machine. A candidate has no authority to publish
+ * until it proves that its intent token is still current while holding the
+ * small publication mutex. Failed, superseded, and interrupted candidates
+ * retain the last-good revision and its watcher closure.
  */
 export declare function openReportViewSession<Requirements>(input: OpenReportViewSessionInput<Requirements>): Effect.Effect<ReportViewSession<Requirements>, ReportViewOpenError, Scope.Scope | Requirements>;

package/dist/report/host/view-session.d.mts

@@ -1,17 +1,11 @@
 import { Effect } from "effect";
 import type * as Scope from "effect/Scope";
-import { type ReportExecution } from "../execution/model.mjs";
-import { type ThemeDefinition } from "./theme.mjs";
+import type { ClosedSiteRevision } from "../execution/model.mjs";
+/** One immutable byte-complete site published by the live transport. */
 export interface ReportViewRevision {
     readonly revision: number;
-    readonly execution: ReportExecution;
-    /** Theme snapshot for this view revision; it never becomes Report author data. */
-    readonly theme: ThemeDefinition;
-    /**
-     * Recoverable Node watch set published with this revision. `fs.watch` is only
-     * a hint; the next rebuild re-reads its own loader closure. Failure keeps the
-     * last-good set so the entry (and prior static edges) remain recoverable.
-     */
+    readonly site: ClosedSiteRevision;
+    /** The successful candidate's next recoverable watcher closure. */
     readonly watchInputs: readonly string[];
 }
 export interface ReportViewProblem {
@@ -32,51 +26,51 @@ export interface ReportViewOpenError {
 export interface ReportViewRebuildFailure {
     readonly summary: string;
 }
-/** A successful rebuild that also replaced the fixed ReportExecution. */
-export interface ReportViewExecutionRebuild {
-    readonly kind: "execution";
-    readonly execution: ReportExecution;
-    /** Omit when the previous Theme source snapshot remains current. */
-    readonly theme?: ThemeDefinition;
-    /**
-     * On success, atomically replaces the next-round watch set. Omit to keep the
-     * last-good recoverable set (at least the prior entry edges).
-     */
-    readonly watchInputs?: readonly string[];
-}
-/** A Theme-only rebuild keeps the exact immutable execution and changes presentation only. */
-export interface ReportViewThemeRebuild {
-    readonly kind: "theme-only";
-    readonly theme: ThemeDefinition;
-    /** Same atomic watch-set rule as an execution rebuild. */
+/** A successful candidate always contains a new SSG-complete revision. */
+export interface ReportViewSiteRebuild {
+    readonly kind: "site";
+    readonly site: ClosedSiteRevision;
+    /** Omit to keep the prior recoverable set after a host-only rebuild. */
     readonly watchInputs?: readonly string[];
 }
-export type ReportViewRebuild = ReportExecution | ReportViewExecutionRebuild | ReportViewThemeRebuild;
+export type ReportViewRebuild = ReportViewSiteRebuild;
 export interface ReportViewSession<Requirements = never> {
     readonly url: string;
     readonly snapshot: Effect.Effect<ReportViewState, ReportViewSessionClosed>;
-    readonly refresh: Effect.Effect<void, ReportViewSessionClosed, Requirements>;
+    /**
+     * Records a new user/watch intent and starts its candidate immediately.
+     * A later intent interrupts or abandons any earlier candidate; callers do
+     * not wait for author callbacks before the latest intent is registered.
+     */
+    readonly refresh: Effect.Effect<ReportViewRefreshIntent, ReportViewSessionClosed, Requirements>;
+}
+export type ReportViewPublicationOutcome = {
+    readonly state: "published";
+    readonly revision: ReportViewRevision;
+} | {
+    readonly state: "failed";
+} | {
+    readonly state: "superseded";
+} | {
+    readonly state: "interrupted";
+};
+/** A registered intent returns promptly; its outcome completes exactly once. */
+export interface ReportViewRefreshIntent {
+    readonly token: number;
+    readonly outcome: Effect.Effect<ReportViewPublicationOutcome>;
 }
 export interface OpenReportViewSessionInput<Requirements = never> {
     readonly url: string;
-    /** The initial Theme source snapshot; basalt is the host default. */
-    readonly theme?: ThemeDefinition;
-    /**
-     * Initial recoverable watch set for the opening revision. A successful
-     * rebuild may replace it atomically with the next loader closure.
-     */
     readonly watchInputs?: readonly string[];
-    /** The opening execution must be complete; no last-good revision exists yet. */
-    readonly initial: Effect.Effect<ReportExecution, ReportViewOpenError, Requirements>;
-    /** Each invocation publishes a new execution or a Theme-only revision. */
+    /** The opening revision is already a complete byte map. */
+    readonly initial: Effect.Effect<ClosedSiteRevision, ReportViewOpenError, Requirements>;
+    /** Each invocation captures one complete Sample/Report/Theme intent. */
     readonly rebuild: () => Effect.Effect<ReportViewRebuild, ReportViewRebuildFailure, Requirements>;
 }
 /**
- * Builds the immutable-revision state machine used by a Node watcher/server.
- * A successful refresh atomically publishes a new fixed execution and the next
- * recoverable watch set; a typed failed refresh only updates the bounded
- * last-good problem and leaves the prior watch set intact. Defects and
- * interruption intentionally remain in the Effect cause and do not masquerade
- * as a recoverable rebuild result.
+ * Latest-intent-wins state machine. A candidate has no authority to publish
+ * until it proves that its intent token is still current while holding the
+ * small publication mutex. Failed, superseded, and interrupted candidates
+ * retain the last-good revision and its watcher closure.
  */
 export declare function openReportViewSession<Requirements>(input: OpenReportViewSessionInput<Requirements>): Effect.Effect<ReportViewSession<Requirements>, ReportViewOpenError, Scope.Scope | Requirements>;

package/dist/report/host/view-session.d.ts

@@ -1,17 +1,11 @@
 import { Effect } from "effect";
 import type * as Scope from "effect/Scope";
-import { type ReportExecution } from "../execution/model.js";
-import { type ThemeDefinition } from "./theme.js";
+import type { ClosedSiteRevision } from "../execution/model.js";
+/** One immutable byte-complete site published by the live transport. */
 export interface ReportViewRevision {
     readonly revision: number;
-    readonly execution: ReportExecution;
-    /** Theme snapshot for this view revision; it never becomes Report author data. */
-    readonly theme: ThemeDefinition;
-    /**
-     * Recoverable Node watch set published with this revision. `fs.watch` is only
-     * a hint; the next rebuild re-reads its own loader closure. Failure keeps the
-     * last-good set so the entry (and prior static edges) remain recoverable.
-     */
+    readonly site: ClosedSiteRevision;
+    /** The successful candidate's next recoverable watcher closure. */
     readonly watchInputs: readonly string[];
 }
 export interface ReportViewProblem {
@@ -32,51 +26,51 @@ export interface ReportViewOpenError {
 export interface ReportViewRebuildFailure {
     readonly summary: string;
 }
-/** A successful rebuild that also replaced the fixed ReportExecution. */
-export interface ReportViewExecutionRebuild {
-    readonly kind: "execution";
-    readonly execution: ReportExecution;
-    /** Omit when the previous Theme source snapshot remains current. */
-    readonly theme?: ThemeDefinition;
-    /**
-     * On success, atomically replaces the next-round watch set. Omit to keep the
-     * last-good recoverable set (at least the prior entry edges).
-     */
-    readonly watchInputs?: readonly string[];
-}
-/** A Theme-only rebuild keeps the exact immutable execution and changes presentation only. */
-export interface ReportViewThemeRebuild {
-    readonly kind: "theme-only";
-    readonly theme: ThemeDefinition;
-    /** Same atomic watch-set rule as an execution rebuild. */
+/** A successful candidate always contains a new SSG-complete revision. */
+export interface ReportViewSiteRebuild {
+    readonly kind: "site";
+    readonly site: ClosedSiteRevision;
+    /** Omit to keep the prior recoverable set after a host-only rebuild. */
     readonly watchInputs?: readonly string[];
 }
-export type ReportViewRebuild = ReportExecution | ReportViewExecutionRebuild | ReportViewThemeRebuild;
+export type ReportViewRebuild = ReportViewSiteRebuild;
 export interface ReportViewSession<Requirements = never> {
     readonly url: string;
     readonly snapshot: Effect.Effect<ReportViewState, ReportViewSessionClosed>;
-    readonly refresh: Effect.Effect<void, ReportViewSessionClosed, Requirements>;
+    /**
+     * Records a new user/watch intent and starts its candidate immediately.
+     * A later intent interrupts or abandons any earlier candidate; callers do
+     * not wait for author callbacks before the latest intent is registered.
+     */
+    readonly refresh: Effect.Effect<ReportViewRefreshIntent, ReportViewSessionClosed, Requirements>;
+}
+export type ReportViewPublicationOutcome = {
+    readonly state: "published";
+    readonly revision: ReportViewRevision;
+} | {
+    readonly state: "failed";
+} | {
+    readonly state: "superseded";
+} | {
+    readonly state: "interrupted";
+};
+/** A registered intent returns promptly; its outcome completes exactly once. */
+export interface ReportViewRefreshIntent {
+    readonly token: number;
+    readonly outcome: Effect.Effect<ReportViewPublicationOutcome>;
 }
 export interface OpenReportViewSessionInput<Requirements = never> {
     readonly url: string;
-    /** The initial Theme source snapshot; basalt is the host default. */
-    readonly theme?: ThemeDefinition;
-    /**
-     * Initial recoverable watch set for the opening revision. A successful
-     * rebuild may replace it atomically with the next loader closure.
-     */
     readonly watchInputs?: readonly string[];
-    /** The opening execution must be complete; no last-good revision exists yet. */
-    readonly initial: Effect.Effect<ReportExecution, ReportViewOpenError, Requirements>;
-    /** Each invocation publishes a new execution or a Theme-only revision. */
+    /** The opening revision is already a complete byte map. */
+    readonly initial: Effect.Effect<ClosedSiteRevision, ReportViewOpenError, Requirements>;
+    /** Each invocation captures one complete Sample/Report/Theme intent. */
     readonly rebuild: () => Effect.Effect<ReportViewRebuild, ReportViewRebuildFailure, Requirements>;
 }
 /**
- * Builds the immutable-revision state machine used by a Node watcher/server.
- * A successful refresh atomically publishes a new fixed execution and the next
- * recoverable watch set; a typed failed refresh only updates the bounded
- * last-good problem and leaves the prior watch set intact. Defects and
- * interruption intentionally remain in the Effect cause and do not masquerade
- * as a recoverable rebuild result.
+ * Latest-intent-wins state machine. A candidate has no authority to publish
+ * until it proves that its intent token is still current while holding the
+ * small publication mutex. Failed, superseded, and interrupted candidates
+ * retain the last-good revision and its watcher closure.
  */
 export declare function openReportViewSession<Requirements>(input: OpenReportViewSessionInput<Requirements>): Effect.Effect<ReportViewSession<Requirements>, ReportViewOpenError, Scope.Scope | Requirements>;