@deepseek-harness-tui/dsh-tui 0.10.0 → 0.10.1

package/lib/types/adapter/kernel/kernel-runtime.d.ts

@@ -0,0 +1,138 @@
+/**
+ * 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 type { HostDescriptorPort, HostDescriptorSnapshot } from '../ports/descriptor.js';
+import type { CapabilityLifecycle } from './lifecycle.js';
+import { type AdapterMode } from './runtime.js';
+import type { UpstreamDriver } from '../upstream/driver.js';
+import type { Detection } from '../upstream/detection.js';
+import type { HostDescriptorBuild } from '../standard/descriptor.js';
+import { type HostFacade } from './host-facade.js';
+import type { KernelSlice } from './slices/types.js';
+export interface KernelRuntimeOptions {
+    readonly context: unknown;
+    readonly mode: AdapterMode;
+    readonly slices?: readonly string[];
+    readonly generationId: string;
+    readonly drivers?: readonly UpstreamDriver[];
+    /** P3 vertical slice definitions. Their drivers are mounted in addition to
+     * any explicit `drivers` and their mounted Ports are exposed by facade(). */
+    readonly kernelSlices?: readonly KernelSlice[];
+    readonly hostId?: string;
+    readonly hostVersion?: string;
+    readonly headless?: boolean;
+    /** Freshness window for live lifecycle evidence, in milliseconds. */
+    readonly refreshTtlMs?: number;
+}
+/** Real ports handed to mounted upstream drivers. Drivers may consume the
+ * read-only descriptor port; mutation/authorization stays in Kernel/Standard. */
+export interface KernelRuntimeDriverPorts {
+    readonly descriptor: HostDescriptorPort;
+}
+export interface KernelDriverDiagnostic {
+    readonly id: string;
+    readonly capability: string;
+    readonly mounted: boolean;
+    readonly portMounted: boolean;
+}
+export interface KernelDiagnosticSnapshot {
+    readonly mode: AdapterMode;
+    readonly generationId: string;
+    readonly lifecycles: readonly CapabilityLifecycle[];
+    readonly drivers: readonly KernelDriverDiagnostic[];
+    readonly detections: readonly {
+        readonly id: string;
+        readonly detection: Detection;
+    }[];
+    readonly descriptor: HostDescriptorSnapshot;
+    readonly lastRefresh: 'pending' | 'completed' | 'failed' | 'skipped';
+    readonly refreshError?: string;
+}
+export interface KernelRefreshOptions {
+    /** Allow reversible live verification while mode is replay-shadow. This is
+     * only safe on an isolated replay/mock context, not on a real host. */
+    readonly allowReplay?: boolean;
+}
+export declare class KernelRuntime {
+    readonly mode: AdapterMode;
+    readonly generationId: string;
+    private readonly context;
+    private readonly drivers;
+    private readonly kernelSlices;
+    private readonly slices;
+    private readonly hostId;
+    private readonly hostVersion;
+    private readonly headless;
+    private lifecycles;
+    private descriptorCache;
+    private readonly mountDisposers;
+    private readonly mountedPorts;
+    private readonly mountedDriverIds;
+    private readonly driverDetections;
+    private readonly liveVerifiedAt;
+    private readonly lastVerifiedLifecycles;
+    private readonly refreshTtlMs;
+    private lastRefreshAt;
+    private refreshState;
+    private refreshError;
+    private refreshTimer;
+    private refreshInFlight;
+    private refreshRerunRequested;
+    private mountPromise;
+    private unsubscribeChannelListener;
+    private disposed;
+    constructor(options: KernelRuntimeOptions);
+    /** 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(): readonly CapabilityLifecycle[];
+    private hasFreshVerification;
+    private preserveFreshVerifiedLifecycles;
+    private lifecycleKey;
+    private replaceLifecycles;
+    private sameCriticalMethodEvidence;
+    /**
+     * 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.
+     */
+    refresh(options?: KernelRefreshOptions): Promise<readonly CapabilityLifecycle[]>;
+    private refreshInternal;
+    currentLifecycles(): readonly CapabilityLifecycle[];
+    /** Whether async live verification has completed successfully. */
+    isRefreshCompleted(): boolean;
+    /** Diagnostic refresh state. */
+    refreshStatus(): 'pending' | 'completed' | 'failed' | 'skipped';
+    descriptorBuild(): HostDescriptorBuild;
+    descriptorPort(): HostDescriptorPort;
+    /** The internal thin HostFacade backed by this Kernel runtime's snapshot. */
+    facade(): HostFacade;
+    diagnosticSnapshot(): KernelDiagnosticSnapshot;
+    /** Mount all drivers that have not been mounted yet. */
+    mount(): Promise<void>;
+    private mountInternal;
+    private rollbackNewMounts;
+    private needsAutoRefresh;
+    private startAutoRefreshTimer;
+    dispose(): void;
+    private invalidateDescriptor;
+}
+/** Convenience constructor. */
+export declare function createKernelRuntime(options: KernelRuntimeOptions): KernelRuntime;
+//# sourceMappingURL=kernel-runtime.d.ts.map

package/lib/types/adapter/kernel/kernel-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel-runtime.d.ts","sourceRoot":"","sources":["../../../../src/adapter/kernel/kernel-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAA;AACxF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAGzD,OAAO,EAAsE,KAAK,WAAW,EAAE,MAAM,cAAc,CAAA;AACnH,OAAO,KAAK,EAAE,cAAc,EAAuB,MAAM,uBAAuB,CAAA;AAChF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAA;AAEpE,OAAO,EAAiC,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAA;AACjF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAGpD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,cAAc,EAAE,CAAA;IAC5C;iFAC6E;IAC7E,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,WAAW,EAAE,CAAA;IAC9C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAC/B;AAED;iFACiF;AACjF,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAA;CACxC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;CAC9B;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAA;IACnD,QAAQ,CAAC,OAAO,EAAE,SAAS,sBAAsB,EAAE,CAAA;IACnD,QAAQ,CAAC,UAAU,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;KAAE,EAAE,CAAA;IACtF,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAA;IAC3C,QAAQ,CAAC,WAAW,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAA;IACpE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAC/B;AAED,MAAM,WAAW,oBAAoB;IACnC;2EACuE;IACvE,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAA;CAC/B;AASD,qBAAa,aAAa;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA2B;IACnD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAoC;IACjE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA+B;IACtD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAoB;IAC3C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAoB;IAChD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;IAC9C,OAAO,CAAC,UAAU,CAAgC;IAClD,OAAO,CAAC,eAAe,CAAiC;IACxD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAyC;IACxE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAuD;IACpF,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAoB;IACrD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAA+B;IAChE,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA4B;IAC3D,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAoD;IAC3F,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAQ;IACrC,OAAO,CAAC,aAAa,CAAoB;IACzC,OAAO,CAAC,YAAY,CAA4D;IAChF,OAAO,CAAC,YAAY,CAAoB;IACxC,OAAO,CAAC,YAAY,CAA2C;IAC/D,OAAO,CAAC,eAAe,CAAqD;IAC5E,OAAO,CAAC,qBAAqB,CAAQ;IACrC,OAAO,CAAC,YAAY,CAA2B;IAC/C,OAAO,CAAC,0BAA0B,CAA0B;IAC5D,OAAO,CAAC,QAAQ,CAAQ;gBAEZ,OAAO,EAAE,oBAAoB;IAoCzC;;+EAE2E;IAC3E,MAAM,IAAI,SAAS,mBAAmB,EAAE;IA8CxC,OAAO,CAAC,oBAAoB;IAO5B,OAAO,CAAC,+BAA+B;IAsBvC,OAAO,CAAC,YAAY;IAcpB,OAAO,CAAC,iBAAiB;IAQzB,OAAO,CAAC,0BAA0B;IAelC;;;;;;OAMG;IACG,OAAO,CAAC,OAAO,GAAE,oBAAyB,GAAG,OAAO,CAAC,SAAS,mBAAmB,EAAE,CAAC;YAsB5E,eAAe;IAoF7B,iBAAiB,IAAI,SAAS,mBAAmB,EAAE;IAInD,kEAAkE;IAClE,kBAAkB,IAAI,OAAO;IAI7B,gCAAgC;IAChC,aAAa,IAAI,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS;IAI/D,eAAe,IAAI,mBAAmB;IAoCtC,cAAc,IAAI,kBAAkB;IAoBpC,6EAA6E;IAC7E,MAAM,IAAI,UAAU;IAUpB,kBAAkB,IAAI,wBAAwB;IAyB9C,wDAAwD;IAClD,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAYd,aAAa;IA+C3B,OAAO,CAAC,iBAAiB;IAezB,OAAO,CAAC,gBAAgB;IAWxB,OAAO,CAAC,qBAAqB;IAc7B,OAAO,IAAI,IAAI;IA8Bf,OAAO,CAAC,oBAAoB;CAG7B;AAED,+BAA+B;AAC/B,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,oBAAoB,GAAG,aAAa,CAEhF"}