@askdkc/dsh-cli 0.11.3

package/lib/types/adapter/kernel/kernel-runtime.js

@@ -0,0 +1,572 @@
+/**
+ * Minimal real Adapter Kernel runtime (P2).
+ *
+ * Responsibility:
+ * - register/mount upstream driver objects,
+ * - run structured detection and the `declared → staged → live` lifecycle,
+ * - run reversible live verification outside passive/replay production modes,
+ * - keep a unified evidence snapshot used by Host Descriptor / HostFacade /
+ *   diagnostics,
+ * - support passive-shadow (read-only detect only) and replay-shadow
+ *   (isolated mock/replay contexts; the harness calls refresh with
+ *   `allowReplay` on mock data only).
+ *
+ * This is intentionally small: business translation, protocol semantics and
+ * plugin admission remain in upstream/standard layers. The Kernel only owns
+ * composition, lifecycle promotion and diagnostics.
+ */
+import { verifyAndPromote } from './lifecycle.js';
+import { isReplayIsolationActive } from './replay-isolation.js';
+import { normalizeAdapterSliceList, shadowPolicyAllowed, sliceForCapability } from './runtime.js';
+import { buildHostDescriptorFromLifecycles } from '../standard/descriptor.js';
+import { createShadowGuardedHostFacade } from './host-facade.js';
+import { onTuiChannelRegistered } from '../channel/host-registry.js';
+function deepFreeze(value, seen = new WeakSet()) {
+    if (value === null || typeof value !== 'object' || seen.has(value))
+        return value;
+    seen.add(value);
+    for (const child of Object.values(value))
+        deepFreeze(child, seen);
+    return Object.freeze(value);
+}
+export class KernelRuntime {
+    mode;
+    generationId;
+    context;
+    drivers;
+    kernelSlices;
+    slices;
+    hostId;
+    hostVersion;
+    headless;
+    lifecycles;
+    descriptorCache;
+    mountDisposers = new Map();
+    mountedPorts = new Map();
+    mountedDriverIds = new Set();
+    driverDetections = new Map();
+    liveVerifiedAt = new Map();
+    lastVerifiedLifecycles = new Map();
+    refreshTtlMs;
+    lastRefreshAt;
+    refreshState = 'pending';
+    refreshError;
+    refreshTimer;
+    refreshInFlight;
+    refreshRerunRequested = false;
+    mountPromise;
+    unsubscribeChannelListener;
+    disposed = false;
+    constructor(options) {
+        this.context = options.context;
+        this.mode = options.mode;
+        this.generationId = options.generationId;
+        this.kernelSlices = options.kernelSlices;
+        const selectedSlices = normalizeAdapterSliceList(options.slices ?? []);
+        this.slices = selectedSlices;
+        const requestedKernelSlices = selectedSlices.length === 0
+            ? (options.kernelSlices ?? [])
+            : (options.kernelSlices ?? []).filter(slice => selectedSlices.includes(slice.id)
+                || selectedSlices.includes(slice.capability)
+                || slice.standardDeclarations.some(declaration => {
+                    const mapped = sliceForCapability(declaration);
+                    return mapped !== undefined && selectedSlices.includes(mapped);
+                }));
+        this.drivers = Object.freeze([
+            ...requestedKernelSlices.map(slice => slice.driver),
+            ...(options.drivers ?? []),
+        ]);
+        this.hostId = options.hostId;
+        this.hostVersion = options.hostVersion;
+        this.headless = options.headless;
+        this.refreshTtlMs = options.refreshTtlMs ?? 30_000;
+        this.lifecycles = Object.freeze([]);
+        this.detect();
+        // The TUI plugin can create/register its live Channel after this Kernel has
+        // already started. Re-run refresh/mount on registration so a late Channel
+        // is picked up without requiring a host restart.
+        this.unsubscribeChannelListener = onTuiChannelRegistered(this.context, () => {
+            if (this.disposed)
+                return;
+            void this.refresh().catch(() => undefined);
+            void this.mount().catch(() => undefined);
+        });
+    }
+    /** Synchronous detection: never performs reversible/side-effectful probes.
+     * It consumes each driver's structured `detect()` for diagnostics and, for
+     * drivers with a lifecycle projection, builds the publication evidence. */
+    detect() {
+        const detected = [];
+        for (const driver of this.drivers) {
+            // Structured driver detection is consumed here (not in a parallel
+            // path); it feeds diagnostics and remains available for doctor output.
+            try {
+                this.driverDetections.set(driver.id, driver.detect(this.context));
+            }
+            catch (error) {
+                this.driverDetections.set(driver.id, {
+                    state: 'unsupported',
+                    reason: `driver.detect() threw: ${error instanceof Error ? error.message : String(error)}`,
+                });
+            }
+            if (driver.lifecycles !== undefined) {
+                const projected = driver.lifecycles(this.context);
+                detected.push(...projected.map(verifyAndPromote));
+            }
+            else {
+                // P3 slices often expose only detect()/verifyLive(). Their cached
+                // verified features are only a *current* fact inside a fresh,
+                // successful verification window; outside that window (failed
+                // refresh, expired TTL, unsupported detect, or dispose) the cache must
+                // not be treated as live/detected state anymore.
+                const detection = this.driverDetections.get(driver.id);
+                if (this.hasFreshVerification()
+                    && detection?.state !== 'unsupported'
+                    && !this.disposed) {
+                    const cached = this.lastVerifiedLifecycles.get(driver.id);
+                    if (cached !== undefined)
+                        detected.push(...cached);
+                }
+            }
+            // A driver without a lifecycle projection is not yet part of the P2
+            // publication path; it remains a diagnostic-only driver.
+        }
+        // Preserve a live capability only while its last successful reversible
+        // verification is still fresh. Detection alone is no longer a permanent
+        // live claim: when probe evidence is missing, refresh has failed, or the
+        // freshness TTL has expired, the lifecycle falls back to the current sync
+        // (staged/degraded) projection. DecisionEvents is deliberately re-derived
+        // on every detect so removing the dispatch marker removes publication
+        // immediately.
+        this.replaceLifecycles(this.preserveFreshVerifiedLifecycles(detected));
+        return this.lifecycles;
+    }
+    hasFreshVerification() {
+        return !this.disposed
+            && this.refreshState === 'completed'
+            && this.lastRefreshAt !== undefined
+            && (Date.now() - this.lastRefreshAt) <= this.refreshTtlMs;
+    }
+    preserveFreshVerifiedLifecycles(detected) {
+        const previous = new Map(this.lifecycles.map(lifecycle => [lifecycle.capability, lifecycle]));
+        const now = Date.now();
+        const next = [];
+        for (const lifecycle of detected) {
+            const prior = previous.get(lifecycle.capability);
+            const decisionLifecycle = lifecycle.capability.includes('#DecisionEvents')
+                || lifecycle.coordinate?.kind === 'DecisionEvents';
+            const verifiedAt = this.liveVerifiedAt.get(lifecycle.capability);
+            const fresh = verifiedAt !== undefined && (now - verifiedAt) <= this.refreshTtlMs;
+            if (!decisionLifecycle && prior?.state === 'live'
+                && this.refreshState === 'completed'
+                && fresh
+                && this.sameCriticalMethodEvidence(prior, lifecycle)) {
+                next.push(prior);
+            }
+            else {
+                next.push(lifecycle);
+            }
+        }
+        return next;
+    }
+    lifecycleKey(lifecycles) {
+        return lifecycles
+            .map(lifecycle => [
+            lifecycle.capability,
+            lifecycle.state,
+            lifecycle.coordinate?.apiVersion ?? '',
+            lifecycle.coordinate?.kind ?? '',
+            JSON.stringify(lifecycle.detection),
+            JSON.stringify(lifecycle.liveFeatures ?? []),
+        ].join('::'))
+            .sort()
+            .join('||');
+    }
+    replaceLifecycles(next) {
+        const previousKey = this.lifecycleKey(this.lifecycles);
+        this.lifecycles = Object.freeze(next.map(lifecycle => deepFreeze(lifecycle)));
+        if (this.lifecycleKey(this.lifecycles) !== previousKey) {
+            this.invalidateDescriptor();
+        }
+    }
+    sameCriticalMethodEvidence(previous, current) {
+        if (current.detection.state === 'unsupported')
+            return false;
+        const priorMethods = new Set((previous.detection.state === 'supported' || previous.detection.state === 'degraded'
+            ? (previous.detection.evidence ?? []).filter(item => item.kind === 'method').map(item => item.id)
+            : []));
+        if (priorMethods.size === 0)
+            return false;
+        const currentMethods = new Set((current.detection.state === 'supported' || current.detection.state === 'degraded'
+            ? (current.detection.evidence ?? []).filter(item => item.kind === 'method').map(item => item.id)
+            : []));
+        for (const id of priorMethods) {
+            if (!currentMethods.has(id))
+                return false;
+        }
+        return true;
+    }
+    /**
+     * Run reversible live verification.
+     *
+     * In passive-shadow production mode this is skipped (read-only only). In
+     * replay-shadow production mode this is also skipped unless the caller
+     * explicitly passes `allowReplay: true` for an isolated replay/mock context.
+     */
+    async refresh(options = {}) {
+        if (this.refreshInFlight !== undefined) {
+            // A refresh is already running. If the live Channel registers (or any
+            // other state changes) while it is in flight, ask for a background rerun
+            // after the current pass completes so late registrations are not only
+            // observed on the next TTL.
+            this.refreshRerunRequested = true;
+            return this.refreshInFlight;
+        }
+        const run = this.refreshInternal(options);
+        this.refreshInFlight = run;
+        try {
+            return await run;
+        }
+        finally {
+            if (this.refreshInFlight === run)
+                this.refreshInFlight = undefined;
+            if (this.refreshRerunRequested && !this.disposed) {
+                this.refreshRerunRequested = false;
+                void this.refresh(options).catch(() => undefined);
+            }
+        }
+    }
+    async refreshInternal(options = {}) {
+        if (this.disposed) {
+            this.refreshState = 'skipped';
+            this.refreshError = 'kernel disposed while refresh was in flight';
+            return this.lifecycles;
+        }
+        const isReplayIsolated = this.mode === 'replay-shadow'
+            && options.allowReplay === true
+            && isReplayIsolationActive();
+        if (this.mode === 'passive-shadow') {
+            this.refreshState = 'skipped';
+            this.refreshError = 'passive-shadow: reversible live probes are not run on a real host';
+            return this.lifecycles;
+        }
+        if (this.mode === 'replay-shadow' && !isReplayIsolated) {
+            this.refreshState = 'skipped';
+            this.refreshError = 'replay-shadow: run through the replay harness with an isolated replay context, not real-host live refresh';
+            return this.lifecycles;
+        }
+        try {
+            if (this.disposed) {
+                this.refreshState = 'skipped';
+                this.refreshError = 'kernel disposed while refresh was in flight';
+                return this.lifecycles;
+            }
+            const lifecycles = [];
+            for (const driver of this.drivers) {
+                if (this.disposed) {
+                    this.refreshState = 'skipped';
+                    this.refreshError = 'kernel disposed while refresh was in flight';
+                    return this.lifecycles;
+                }
+                // Mutate-class drivers must never run their live verifier under a
+                // shadow/replay mode: their probes write real host state (status,
+                // toasts) even when the Kernel runs on an isolated replay context.
+                // In legacy/new modes the runtime is not a shadow, so the live path is
+                // allowed.
+                if (driver.mountEffectClass === 'mutate' && this.mode !== 'new' && this.mode !== 'legacy') {
+                    continue;
+                }
+                let verified;
+                if (driver.verifyLive !== undefined) {
+                    verified = (await driver.verifyLive(this.context)).map(verifyAndPromote);
+                    if (this.disposed) {
+                        this.refreshState = 'skipped';
+                        this.refreshError = 'kernel disposed while refresh was in flight';
+                        return this.lifecycles;
+                    }
+                }
+                else {
+                    // Keep the sync projection for drivers with no live verifier.
+                    verified = (driver.lifecycles?.(this.context) ?? []).map(verifyAndPromote);
+                }
+                this.lastVerifiedLifecycles.set(driver.id, Object.freeze([...verified]));
+                lifecycles.push(...verified);
+            }
+            if (this.disposed) {
+                this.refreshState = 'skipped';
+                this.refreshError = 'kernel disposed while refresh was in flight';
+                return this.lifecycles;
+            }
+            this.replaceLifecycles(lifecycles);
+            this.refreshState = 'completed';
+            this.refreshError = undefined;
+            this.lastRefreshAt = Date.now();
+            this.liveVerifiedAt.clear();
+            for (const lifecycle of this.lifecycles) {
+                if (lifecycle.state === 'live')
+                    this.liveVerifiedAt.set(lifecycle.capability, this.lastRefreshAt);
+            }
+        }
+        catch (error) {
+            this.refreshState = 'failed';
+            this.refreshError = error instanceof Error ? error.message : String(error);
+            this.lastRefreshAt = Date.now();
+            // A failed refresh must not leave a stale live claim. Downgrade to the
+            // current synchronous detection (staged/degraded/unsupported).
+            this.liveVerifiedAt.clear();
+            try {
+                this.detect();
+            }
+            catch {
+                // Detection errors are diagnostics-only; keep this.lifecycles honest.
+            }
+        }
+        return this.lifecycles;
+    }
+    currentLifecycles() {
+        return this.lifecycles;
+    }
+    /** Whether async live verification has completed successfully. */
+    isRefreshCompleted() {
+        return this.refreshState === 'completed';
+    }
+    /** Diagnostic refresh state. */
+    refreshStatus() {
+        return this.refreshState;
+    }
+    descriptorBuild() {
+        // Re-applying the synchronous projection before publication enforces live
+        // freshness: stale/failed live claims are downgraded before any host
+        // descriptor/hostDescriptor read returns. When the evidence is stale,
+        // kick a real refresh in the background so a long-running process can
+        // recover live support without a manual restart.
+        if (this.needsAutoRefresh()) {
+            this.startAutoRefreshTimer();
+            void this.refresh().catch(() => undefined);
+        }
+        this.detect();
+        if (this.descriptorCache === undefined) {
+            // P3 feature lifecycles are internal Host Port facts (e.g.
+            // `host.workspaces.list`) and intentionally have no protocol
+            // coordinate. Keep them for Kernel diagnostics, but do not pass them
+            // into the public Host Descriptor builder: they are not negotiated
+            // protocol contracts and must not appear as descriptor noise or
+            // publication claims.
+            const publicLifecycles = this.lifecycles.filter(lifecycle => {
+                if (lifecycle.coordinate !== undefined)
+                    return true;
+                const hash = lifecycle.capability.indexOf('#');
+                return hash > 0 && hash < lifecycle.capability.length - 1;
+            });
+            this.descriptorCache = buildHostDescriptorFromLifecycles(publicLifecycles, {
+                generationId: this.generationId,
+                hostId: this.hostId,
+                hostVersion: this.hostVersion,
+                headless: this.headless,
+            });
+        }
+        return this.descriptorCache;
+    }
+    descriptorPort() {
+        const runtime = this;
+        return Object.freeze({
+            get generationId() {
+                return runtime.generationId;
+            },
+            snapshot() {
+                const build = runtime.descriptorBuild();
+                return Object.freeze({
+                    hostId: build.descriptor.hostId,
+                    hostVersion: build.descriptor.hostVersion,
+                    generationId: build.descriptor.runtime.generationId,
+                    contracts: Object.freeze(build.descriptor.contracts.map(contract => `${contract.apiVersion}#${contract.kind}`)),
+                    dropped: Object.freeze([...build.dropped]),
+                    warnings: Object.freeze([...build.warnings]),
+                });
+            },
+        });
+    }
+    /** The internal thin HostFacade backed by this Kernel runtime's snapshot. */
+    facade() {
+        const mounted = {
+            descriptor: this.descriptorPort(),
+        };
+        for (const record of this.mountedPorts.values()) {
+            Object.assign(mounted, record);
+        }
+        return createShadowGuardedHostFacade(mounted, this.mode);
+    }
+    diagnosticSnapshot() {
+        const build = this.descriptorBuild();
+        return Object.freeze({
+            mode: this.mode,
+            generationId: this.generationId,
+            lifecycles: this.lifecycles,
+            drivers: Object.freeze(this.drivers.map(driver => Object.freeze({
+                id: driver.id,
+                capability: driver.capability,
+                mounted: this.mountedDriverIds.has(driver.id),
+                portMounted: this.mountedPorts.has(driver.id),
+            }))),
+            detections: Object.freeze(this.drivers.map(driver => Object.freeze({
+                id: driver.id,
+                detection: this.driverDetections.get(driver.id) ?? {
+                    state: 'unsupported',
+                    reason: 'driver.detect() was not consumed',
+                },
+            }))),
+            descriptor: this.descriptorPort().snapshot(),
+            lastRefresh: this.refreshState,
+            ...(this.refreshError === undefined ? {} : { refreshError: this.refreshError }),
+        });
+    }
+    /** Mount all drivers that have not been mounted yet. */
+    async mount() {
+        if (this.disposed)
+            return;
+        if (this.mountPromise !== undefined)
+            return this.mountPromise;
+        const run = this.mountInternal();
+        this.mountPromise = run;
+        try {
+            await run;
+        }
+        finally {
+            if (this.mountPromise === run)
+                this.mountPromise = undefined;
+        }
+    }
+    async mountInternal() {
+        const ports = Object.freeze({
+            descriptor: this.descriptorPort(),
+        });
+        const newlyMounted = [];
+        try {
+            for (const driver of this.drivers) {
+                if (this.disposed) {
+                    this.rollbackNewMounts(newlyMounted);
+                    return;
+                }
+                if (this.mountedDriverIds.has(driver.id))
+                    continue;
+                if (driver.mountEffectClass === undefined) {
+                    throw new Error(`dsh-tui: driver "${driver.id}" must declare mountEffectClass`);
+                }
+                // Shadow modes must not abort the whole mount transaction because the
+                // first selected driver is non-read-only. Skip disallowed drivers and
+                // continue mounting the read-only/replay-safe slices that remain.
+                if (!shadowPolicyAllowed(driver.mountEffectClass, this.mode))
+                    continue;
+                const mount = await driver.mount(this.context, ports);
+                if (this.disposed) {
+                    // The whole runtime was disposed while this asynchronous mount was
+                    // in flight. Dispose the mount that just completed and stop; any
+                    // earlier mounts from this call were already removed by dispose().
+                    try {
+                        mount.disposer();
+                    }
+                    catch {
+                        // Best-effort async teardown.
+                    }
+                    this.rollbackNewMounts(newlyMounted);
+                    return;
+                }
+                this.mountDisposers.set(driver.id, mount);
+                if (mount.ports !== undefined)
+                    this.mountedPorts.set(driver.id, mount.ports);
+                this.mountedDriverIds.add(driver.id);
+                newlyMounted.push(driver.id);
+            }
+        }
+        catch (error) {
+            // Transactional mount: if one driver fails, roll back every driver
+            // mounted by this call in reverse order before rethrow.
+            this.rollbackNewMounts(newlyMounted);
+            throw error;
+        }
+        this.detect();
+        this.startAutoRefreshTimer();
+    }
+    rollbackNewMounts(ids) {
+        for (const id of [...ids].reverse()) {
+            const mount = this.mountDisposers.get(id);
+            if (mount === undefined)
+                continue;
+            try {
+                mount.disposer();
+            }
+            catch {
+                // Best-effort rollback; each driver owns its own fault isolation.
+            }
+            this.mountDisposers.delete(id);
+            this.mountedPorts.delete(id);
+            this.mountedDriverIds.delete(id);
+        }
+    }
+    needsAutoRefresh() {
+        if (this.disposed || this.mode !== 'new')
+            return false;
+        if (this.refreshState === 'failed') {
+            return this.lastRefreshAt === undefined
+                || (Date.now() - this.lastRefreshAt) >= this.refreshTtlMs;
+        }
+        return this.refreshState === 'completed'
+            && this.lastRefreshAt !== undefined
+            && (Date.now() - this.lastRefreshAt) >= this.refreshTtlMs;
+    }
+    startAutoRefreshTimer() {
+        if (this.disposed || this.mode !== 'new' || this.refreshTimer !== undefined)
+            return;
+        this.refreshTimer = setTimeout(() => {
+            this.refreshTimer = undefined;
+            if (this.disposed || this.mode !== 'new')
+                return;
+            void this.refresh()
+                .catch(() => undefined)
+                .finally(() => {
+                if (!this.disposed && this.mode === 'new')
+                    this.startAutoRefreshTimer();
+            });
+        }, Math.max(this.refreshTtlMs, 1_000));
+        if (typeof this.refreshTimer.unref === 'function')
+            this.refreshTimer.unref();
+    }
+    dispose() {
+        this.disposed = true;
+        if (this.refreshTimer !== undefined) {
+            clearTimeout(this.refreshTimer);
+            this.refreshTimer = undefined;
+        }
+        if (this.unsubscribeChannelListener !== undefined) {
+            this.unsubscribeChannelListener();
+            this.unsubscribeChannelListener = undefined;
+        }
+        // A disposed Kernel must not continue to expose previously live P3
+        // feature facts.
+        this.lifecycles = Object.freeze([]);
+        this.lastVerifiedLifecycles.clear();
+        this.liveVerifiedAt.clear();
+        for (const driver of this.drivers) {
+            const mount = this.mountDisposers.get(driver.id);
+            if (mount === undefined)
+                continue;
+            try {
+                mount.disposer();
+            }
+            catch {
+                // Kernel teardown must be best-effort; every driver is responsible for
+                // its own fault isolation.
+            }
+            this.mountDisposers.delete(driver.id);
+            this.mountedPorts.delete(driver.id);
+            this.mountedDriverIds.delete(driver.id);
+        }
+    }
+    invalidateDescriptor() {
+        this.descriptorCache = undefined;
+    }
+}
+/** Convenience constructor. */
+export function createKernelRuntime(options) {
+    return new KernelRuntime(options);
+}

package/lib/types/adapter/kernel/ledger.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Kernel-internal effect ledger entry.
+ *
+ * This is the internal write channel for the legacy `ctx.tuiEffectLedger`
+ * after P1 wiring: `TuiEffectLedgerRuntime` routes every public write through
+ * `createKernelLedger()`, which enforces shadow policy and owner derivation
+ * before the existing JSONL writer serializes the record. It is NOT an
+ * unwired experimental block.
+ *
+ * The effect ledger is a Kernel cross-cutting concern. This module is NOT a
+ * Host Port: callers cannot pass a forged owner, and the Kernel recorder must
+ * derive ownership from the current Cordis activation before recording.
+ * Use this only inside Kernel/Standard internal services.
+ *
+ * The public record() method therefore accepts the current Context and lets an
+ * injected owner resolver map it to the verified HostOwnerRef. There is no
+ * caller-facing path that accepts an owner/principal/activationId.
+ */
+import type { HostOwnerRef } from '../ports/owner.js';
+import { type AdapterMode } from './runtime.js';
+export type KernelLedgerOperation = 'create' | 'bind' | 'replace' | 'release' | 'cleanup-failed';
+export type KernelLedgerResult = 'applied' | 'pending' | 'failed';
+export interface KernelLedgerEntry {
+    readonly operation: KernelLedgerOperation;
+    readonly resource: {
+        readonly kind: string;
+        readonly id: string;
+    };
+    readonly result: KernelLedgerResult;
+    readonly errorCode?: string;
+    readonly replaces?: {
+        readonly resourceId?: string;
+        readonly activationInstance?: string;
+    };
+    readonly valueDigest?: string;
+}
+export interface KernelLedgerRecord {
+    readonly entry: KernelLedgerEntry;
+    /** Owner is assigned by the Kernel from the current Cordis activation. */
+    readonly owner: HostOwnerRef;
+}
+export type KernelLedgerSink = (record: KernelLedgerRecord) => void;
+/** Maps a Cordis Context (or test stub) to a Kernel-owned HostOwnerRef. */
+export type KernelOwnerResolver = (context: unknown) => HostOwnerRef;
+/** Conservative fallback for contexts without a verified component identity. */
+export declare const baseOwnerResolver: KernelOwnerResolver;
+export interface KernelLedger {
+    readonly record: (entry: KernelLedgerEntry, context: unknown) => void;
+}
+/** Build an internal Kernel ledger recorder. The sink receives a complete
+ * owner-resolved record; no public Host Port can bypass owner derivation.
+ * Every write entry is guarded by the active shadow policy (mutate cannot run
+ * in passive or replay shadow). */
+export declare function createKernelLedger(sink: KernelLedgerSink, mode?: AdapterMode, resolveOwner?: KernelOwnerResolver, slices?: readonly string[]): KernelLedger;
+//# sourceMappingURL=ledger.d.ts.map

package/lib/types/adapter/kernel/ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.d.ts","sourceRoot":"","sources":["../../../../src/adapter/kernel/ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,EAAoD,KAAK,WAAW,EAAE,MAAM,cAAc,CAAA;AAEjG,MAAM,MAAM,qBAAqB,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,gBAAgB,CAAA;AAChG,MAAM,MAAM,kBAAkB,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAA;AAEjE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAA;IACzC,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAA;IACjE,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAA;IACnC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IAC1F,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAA;IACjC,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;CAC7B;AAED,MAAM,MAAM,gBAAgB,GAAG,CAAC,MAAM,EAAE,kBAAkB,KAAK,IAAI,CAAA;AAEnE,2EAA2E;AAC3E,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,YAAY,CAAA;AAEpE,gFAAgF;AAChF,eAAO,MAAM,iBAAiB,EAAE,mBAAqD,CAAA;AAErF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,KAAK,IAAI,CAAA;CACtE;AAED;;;mCAGmC;AACnC,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,gBAAgB,EACtB,IAAI,GAAE,WAAmB,EACzB,YAAY,GAAE,mBAAuC,EACrD,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,GACzB,YAAY,CAOd"}

package/lib/types/adapter/kernel/ledger.js

@@ -0,0 +1,33 @@
+/**
+ * Kernel-internal effect ledger entry.
+ *
+ * This is the internal write channel for the legacy `ctx.tuiEffectLedger`
+ * after P1 wiring: `TuiEffectLedgerRuntime` routes every public write through
+ * `createKernelLedger()`, which enforces shadow policy and owner derivation
+ * before the existing JSONL writer serializes the record. It is NOT an
+ * unwired experimental block.
+ *
+ * The effect ledger is a Kernel cross-cutting concern. This module is NOT a
+ * Host Port: callers cannot pass a forged owner, and the Kernel recorder must
+ * derive ownership from the current Cordis activation before recording.
+ * Use this only inside Kernel/Standard internal services.
+ *
+ * The public record() method therefore accepts the current Context and lets an
+ * injected owner resolver map it to the verified HostOwnerRef. There is no
+ * caller-facing path that accepts an owner/principal/activationId.
+ */
+import { assertCapabilityShadowPolicy } from './runtime.js';
+/** Conservative fallback for contexts without a verified component identity. */
+export const baseOwnerResolver = () => ({ componentId: 'host' });
+/** Build an internal Kernel ledger recorder. The sink receives a complete
+ * owner-resolved record; no public Host Port can bypass owner derivation.
+ * Every write entry is guarded by the active shadow policy (mutate cannot run
+ * in passive or replay shadow). */
+export function createKernelLedger(sink, mode = 'new', resolveOwner = baseOwnerResolver, slices) {
+    return Object.freeze({
+        record(entry, context) {
+            assertCapabilityShadowPolicy('host.ledger.record', mode, slices);
+            sink({ entry, owner: resolveOwner(context) });
+        },
+    });
+}