@markii/host 0.17.0-next.4 → 0.17.0-next.5

package/README.md

@@ -25,4 +25,31 @@ Entries:
 - `@markii/host/conformance`: the host scenario corpus and its runner, to
   prove an adapter behaves like the reference apps.
 
-See `docs/integration.md` in the repository for how to write a host.
+A minimal browser host is one adapter and one call:
+
+```ts
+import { createMarkiiHost } from '@markii/host';
+import {
+  createBrowserHostIsolate,
+  createFetchNetProvider,
+} from '@markii/host/browser';
+
+const host = createMarkiiHost({
+  id: 'my-app',
+  labels,
+  readFile,
+  exists,
+  writeFile,
+  listFolder,
+  prompt: (request) => showDialog(request),
+  memento,
+  diagnostics: (line) => console.info(line),
+  now: () => Date.now(),
+  isolate: createBrowserHostIsolate({
+    netProvider: createFetchNetProvider({ allowedOrigins }),
+  }),
+});
+```
+
+See `docs/hosts.md` in the repository for the adapter fields, the host
+responsibilities and the reference hosts.

package/dist/conformance/host/17-export-linked-set/expected.json

@@ -0,0 +1,17 @@
+{
+  "outcomes": [
+    {
+      "kind": "exported",
+      "noteCount": 2,
+      "entries": ["index.html", "note.html", "second.html"]
+    }
+  ],
+  "diagnostics": [
+    "Cascade export wrote",
+    "Exported",
+    "Rendered with the static engine because no pack components are loaded",
+    "Exported",
+    "Rendered with the static engine because no pack components are loaded"
+  ],
+  "prompts": []
+}

package/dist/conformance/host/17-export-linked-set/files/second.mk.md

@@ -0,0 +1,3 @@
+# Second note
+
+A page that the root note links to.

package/dist/conformance/host/17-export-linked-set/note.mk.md

@@ -0,0 +1,4 @@
+# Linked set
+
+This note links to [a second note](files/second.mk.md) and to
+[a page outside the set](https://example.com/page).

package/dist/conformance/host/17-export-linked-set/scenario.json

@@ -0,0 +1,6 @@
+{
+  "id": "export-linked-set",
+  "invariant": "a note and the notes it links to export as one archive with an index page, and a host that does not offer the export reports it unsupported",
+  "clock": 1700000000000,
+  "actions": [{ "type": "exportLinkedSet" }]
+}

package/dist/conformance/host/README.md

@@ -49,6 +49,7 @@ needs, is the runner's own `ACTION_CAPABILITY` map:
 | `run` | `isolate` |
 | `exportHtml` | `export-format` (`html`) |
 | `exportAnsi` | `export-format` (`ansi`) |
+| `exportLinkedSet` | `linked-set-export` (a `resolveLinkedSetTarget`) |
 | `installPack` | `packs` (and an `installRoot`) |
 | `loadPacks` | `packs` |
 | `removePack` | `packs` (and an `installRoot` plus `removeFolder`) |
@@ -97,12 +98,12 @@ would have produced:
   and persists exactly what it always does. Only the isolate that would
   execute the script is faked.
 - `requiresManualTier`: the run reports `tier-blocked` under any trigger
-  but `'manual'`, regardless of grants — the same enforcement the real
+  but `'manual'`, regardless of grants, the same enforcement the real
   sandbox applies to an effectful call under a read-only trigger.
 
 Faking the isolate keeps this corpus fast and deterministic. It proves the
-HOST-LEVEL plumbing — grant prompts, wording, capability declarations,
-trigger forwarding — is identical across hosts. Real sandbox enforcement
+HOST-LEVEL plumbing, grant prompts, wording, capability declarations,
+trigger forwarding, is identical across hosts. Real sandbox enforcement
 (the tier gate, the net allowlist, the marshal boundary) is
 `conformance/executor/`'s job and is not duplicated here.
 
@@ -137,9 +138,11 @@ coarse, matching each `kind`:
   taxonomy only, never a raw message or a timing; an optional `traceOk`
   compares the recorded run trace's `ok` flag.
 - `exported`: `contains`/`excludes` are substrings checked against the
-  written file's content, never the whole document — the render corpora
+  written file's content, never the whole document, the render corpora
   already pin bytes. `valueCount` is how many last-run values were baked
   in, and `renderEngine` (`static` or `react`) is which engine drew the body.
+  A linked-set export is an `exported` outcome too: `noteCount` is how many
+  notes the archive holds, and `entries` is its sorted file names.
 - `installed`: `namespace` and `replaced`, and `installedDirName`, the name
   of the folder the pack was unzipped into.
 - `declined`: `step` (`'consent'`/`'replace'`, or absent for the
@@ -161,7 +164,7 @@ coarse, matching each `kind`:
 
 An action whose capability the adapter under test does not declare is
 never diffed against `expected.json` at all (see "Capability handling"
-below) — `expected.json` always describes the FULLY CAPABLE host's
+below), `expected.json` always describes the FULLY CAPABLE host's
 correct behavior, even for a scenario where one real host today has
 nothing to compare it to.
 
@@ -173,11 +176,11 @@ difference) without the corpus having to spell out three wordings for
 one behavior. Diagnostics lines written by a capability decline itself
 (`declined (<capability> unsupported on <host>): …`) are filtered out of
 the actual list before this comparison, since that line exists only
-because the capability was ABSENT — it is not part of what
+because the capability was ABSENT, it is not part of what
 `expected.json` describes.
 
 `prompts` is load-bearing: it proves all three hosts ask the same
-questions, worded the same way, in the same order — the single most
+questions, worded the same way, in the same order, the single most
 security-relevant parity property in this batch.
 
 ## Capability handling (the crux)
@@ -217,7 +220,7 @@ rather than a skipped test or a faked empty answer.
 | `14-remove-pack` | removing an installed pack deletes it; removing it again reports it is not installed |
 | `15-load-packs-engine-views` | loading packs reports every installed component and, as `unavailable`, the ones this host's engine has no view for |
 | `16-pack-trust` | a folder that arrives without consent is listed as present and never loaded; enable, disable, re-enable and remove move the device trust list; a host without the list reports the whole scenario `unsupported` |
+| `17-export-linked-set` | a note and the notes it links to export as one archive with an index page; a host with no linked-set target reports `unsupported` |
 
-See `tmp/W11-phase3.md` for which capabilities each of the three real
-adapters currently declares, and which scenarios are consequently
-`unsupported` on every host today (a reported gap, not a corpus defect).
+The capabilities an adapter declares decide which scenarios report
+`unsupported` on that host. That is a reported gap and not a corpus defect.

package/dist/diagnostics/render-diagnostics.d.ts

@@ -1,6 +1,6 @@
 /**
  * The one place a render-time diagnostic event becomes a line on a host's
- * diagnostics surface (docs/integration.md's host checklist, item 9).
+ * diagnostics surface (docs/hosts.md's host checklist, item 9).
  *
  * Both renderers report a quiet in-page marker through their `onDiagnostic`
  * render option (`@markii/stdlib`'s `DiagnosticEvent`). The marker alone

package/dist/host/adapter.d.ts

@@ -161,6 +161,14 @@ export interface HostExportCapabilities {
     resolveTarget(suggestedFileName: string, format: HostExportFormat): Promise<string | undefined>;
     /** Only present on a host declaring `'pdf'`. The one Electron-touching seam. */
     htmlToPdf?(html: string): Promise<Uint8Array>;
+    /**
+     * Names the zip archive of a linked-set export, or resolves `undefined`
+     * when the user cancels. Present only on a host that offers the
+     * linked-set export; a host can offer single-note export without it
+     * (the command line tool does), so it is a member of its own rather than
+     * a `HostExportFormat`.
+     */
+    resolveLinkedSetTarget?(suggestedFileName: string): Promise<string | undefined>;
 }
 /**
  * The wording nouns every shared behavior's message templates interpolate
@@ -210,7 +218,7 @@ export interface HostAdapter {
      * through with no adapter wrapper at all.
      */
     readonly memento: GrantMemento;
-    /** One diagnostics line on this host's designated surface (docs/integration.md). */
+    /** One diagnostics line on this host's designated surface (docs/hosts.md). */
     diagnostics(line: string): void;
     now(): number;
     readonly isolate?: HostIsolate;

package/dist/host/cascade-export-behavior.d.ts

@@ -5,11 +5,12 @@
  * produces. Written once so the hosts cannot drift on what a cascade is
  * or what it says.
  *
- * Deliberately outside `createMarkiiHost`: choosing where the archive goes
- * and writing it are each host's own picker and file-system business, so
- * this module builds the bytes and words the outcome, and the host writes
- * and displays. The per-host nouns (which surface holds the details) come
- * from `HostLabels`, never from a literal here.
+ * `createMarkiiHost`'s `exportLinkedSet` drives it: the host's picker
+ * names the archive's path (`adapter.exports.resolveLinkedSetTarget`), the
+ * notes are read through `adapter.readFile`, the archive is written through
+ * `adapter.writeFile`, and the diagnostics lines go to `adapter.diagnostics`.
+ * The per-host nouns (which surface holds the details) come from
+ * `HostLabels`, never from a literal here.
  *
  * BOUNDS ARE FIXED. The walk always uses `DEFAULT_CASCADE_MAX_DEPTH` and
  * `DEFAULT_CASCADE_MAX_NOTES`; nothing here lets a caller override them.
@@ -19,7 +20,8 @@ import type { OnDiagnostic, UnavailableComponent } from '@markii/stdlib';
 import type { CascadeLinkResolver, CascadeNoteReader, CascadeTruncation } from '../export/cascade.js';
 import type { HtmlExportEngine, ExportBodyRenderer, ExportPackStylesheet, ExportRenderInfo, StaticExportReason } from '../export/note-export.js';
 import type { EmbeddedImageReport, ExportImageReader } from '../export/image-embed.js';
-import type { HostLabels } from './adapter.js';
+import type { HostAdapter, HostLabels } from './adapter.js';
+import type { ExportLinkedSetOutcome } from './create-host.js';
 /** One note the cascade exported, for the diagnostics surface. */
 export interface CascadeExportedNote {
     /** The note's own path, in the same form the reader and resolver use. */
@@ -37,7 +39,7 @@ export interface UnreadableCascadeNote {
 }
 /** What one cascade export attempt did, for both the message and the diagnostics lines. */
 export type CascadeExportOutcome = {
-    readonly kind: 'written';
+    readonly kind: 'exported';
     /** The written archive's display path. */
     readonly path: string;
     readonly bytes: number;
@@ -109,7 +111,7 @@ export declare function buildCascadeArchive(request: CascadeArchiveRequest): Pro
  * failure says what failed and points at the same surface, never at a
  * stack trace.
  */
-export declare function cascadeResultMessage(outcome: CascadeExportOutcome, labels: HostLabels, where?: string): string;
+export declare function cascadeResultMessage(outcome: ExportLinkedSetOutcome, labels: HostLabels, where?: string): string;
 /**
  * The lines for the host's diagnostics surface for one cascade export:
  * every note reached named with the file it became, every note skipped
@@ -118,3 +120,17 @@ export declare function cascadeResultMessage(outcome: CascadeExportOutcome, labe
  * deliberately omits.
  */
 export declare function cascadeDiagnosticLines(outcome: CascadeExportOutcome): string[];
+/** What `exportLinkedSetViaAdapter` needs beyond the adapter: the static engine and the request's own seams. */
+export interface LinkedSetExportInputs extends Omit<CascadeArchiveRequest, 'readNote'> {
+    /** The suggested archive file name handed to the host's picker. */
+    readonly suggestedFileName: string;
+}
+/**
+ * Exports a note and the notes it links to as one archive: resolves the
+ * target through the adapter's picker, builds the archive reading every
+ * note through `adapter.readFile`, writes it through `adapter.writeFile`,
+ * and sends the diagnostics lines to `adapter.diagnostics`. Resolves
+ * `undefined` when the host has no linked-set target or its picker was
+ * cancelled. Never throws.
+ */
+export declare function exportLinkedSetViaAdapter(adapter: HostAdapter, inputs: LinkedSetExportInputs): Promise<CascadeExportOutcome | undefined>;

package/dist/host/cascade-export-behavior.js

@@ -109,7 +109,7 @@ export async function buildCascadeArchive(request) {
  * stack trace.
  */
 export function cascadeResultMessage(outcome, labels, where) {
-    if (outcome.kind === 'failed') {
+    if (outcome.kind !== 'exported') {
         return `Markii: could not export this cascade. Open ${labels.diagnosticsSurface} for details.`;
     }
     const name = fileNameOf(outcome.path);
@@ -149,3 +149,63 @@ export function cascadeDiagnosticLines(outcome) {
     }
     return lines;
 }
+/**
+ * Exports a note and the notes it links to as one archive: resolves the
+ * target through the adapter's picker, builds the archive reading every
+ * note through `adapter.readFile`, writes it through `adapter.writeFile`,
+ * and sends the diagnostics lines to `adapter.diagnostics`. Resolves
+ * `undefined` when the host has no linked-set target or its picker was
+ * cancelled. Never throws.
+ */
+export async function exportLinkedSetViaAdapter(adapter, inputs) {
+    const resolveTarget = adapter.exports?.resolveLinkedSetTarget;
+    if (resolveTarget === undefined)
+        return undefined;
+    const { suggestedFileName, ...archiveRequest } = inputs;
+    let path;
+    let outcome;
+    try {
+        path = await resolveTarget.call(adapter.exports, suggestedFileName);
+        if (path === undefined)
+            return undefined;
+        const target = path;
+        const archive = await buildCascadeArchive({
+            ...archiveRequest,
+            readNote: async (notePath) => {
+                try {
+                    return new TextDecoder().decode(await adapter.readFile(notePath));
+                }
+                catch {
+                    return undefined;
+                }
+            },
+        });
+        if (archive.kind === 'failed') {
+            outcome = { kind: 'failed', path: target, reason: archive.reason };
+        }
+        else {
+            await adapter.writeFile(target, archive.bytes);
+            outcome = {
+                kind: 'exported',
+                path: target,
+                bytes: archive.bytes.byteLength,
+                notes: archive.notes,
+                unreadable: archive.unreadable,
+                ...(archive.truncated !== undefined
+                    ? { truncated: archive.truncated }
+                    : {}),
+            };
+        }
+    }
+    catch (error) {
+        outcome = {
+            kind: 'failed',
+            ...(path !== undefined ? { path } : {}),
+            reason: cascadeReasonOf(error),
+        };
+    }
+    for (const line of cascadeDiagnosticLines(outcome)) {
+        adapter.diagnostics(line);
+    }
+    return outcome;
+}

package/dist/host/conformance-runner.d.ts

@@ -35,6 +35,8 @@ export type HostScenarioAction = {
     readonly type: 'exportHtml';
 } | {
     readonly type: 'exportAnsi';
+} | {
+    readonly type: 'exportLinkedSet';
 } | {
     readonly type: 'installPack';
     /** A directory under the scenario's own folder (e.g. `"files/ana-1.0.0"`), zipped into `.mkp` bytes by this module — never a committed binary. */
@@ -98,7 +100,7 @@ export interface LoadedHostScenario {
 export declare function loadHostScenario(name: string, baseDir?: string): LoadedHostScenario;
 /** Zips a scenario's `files/<name>` directory into `.mkp` archive bytes on the fly — this is how the corpus ships pack fixtures as plain files instead of a committed binary. */
 export declare function zipArchiveDirectory(archiveDir: string): Uint8Array;
-export type HostScenarioCapability = 'isolate' | 'editor' | 'packs' | 'pack-trust' | 'export-format';
+export type HostScenarioCapability = 'isolate' | 'editor' | 'packs' | 'pack-trust' | 'export-format' | 'linked-set-export';
 /** The one static map from an action's type to the capability it needs. `undefined` means every host supports it (there is nothing to decline). */
 export declare const ACTION_CAPABILITY: Readonly<Record<HostScenarioAction['type'], HostScenarioCapability | undefined>>;
 /** Whether `adapter` declares the capability `action` needs. Never consults the scenario or `expected.json` — only the adapter under test. */

package/dist/host/conformance-runner.js

@@ -37,12 +37,12 @@
  * Every OTHER action runs through the real, unmocked shared behavior code.
  */
 import { existsSync, readFileSync, readdirSync } from 'node:fs';
-import { dirname } from 'node:path';
+import { dirname, resolve } from 'node:path';
 import { fileURLToPath } from 'node:url';
 import { createHtmlExportEngine } from '../html-engine.js';
 import { usesPackTrust } from './pack-trust-behavior.js';
 import { join, relative, sep } from 'node:path';
-import { zipSync } from 'fflate';
+import { unzipSync, zipSync } from 'fflate';
 import { conformanceDir } from '@markii/core/corpus';
 import { createMarkiiHost, } from './create-host.js';
 import { scriptsDisabledDiagnosticLine, scriptsDisabledNotice, } from './script-execution.js';
@@ -101,6 +101,7 @@ export const ACTION_CAPABILITY = {
     run: 'isolate',
     exportHtml: 'export-format',
     exportAnsi: 'export-format',
+    exportLinkedSet: 'linked-set-export',
     installPack: 'packs',
     loadPacks: 'packs',
     removePack: 'packs',
@@ -136,6 +137,9 @@ export function hostDeclaresCapability(adapter, action) {
         return adapter.isolate !== undefined;
     if (capability === 'editor')
         return adapter.editor !== undefined;
+    if (capability === 'linked-set-export') {
+        return adapter.exports?.resolveLinkedSetTarget !== undefined;
+    }
     if (capability === 'packs') {
         if (adapter.packs === undefined)
             return false;
@@ -329,6 +333,24 @@ async function runOneAction(host, adapter, action, ctx) {
             });
             return augmentExportOutcome(outcome, ctx.writtenFiles);
         }
+        case 'exportLinkedSet': {
+            const outcome = await host.exportLinkedSet({
+                rootPath: ctx.notePath,
+                // A markdown link to a note file that exists beside the linking
+                // note: the same rule for every host, so the archive's contents
+                // do not depend on which host runs the scenario.
+                resolveLink: (link, fromNotePath) => {
+                    if (link.kind !== 'markdown')
+                        return undefined;
+                    const target = resolve(dirname(fromNotePath), link.path);
+                    return target.endsWith('.md') && existsSync(target)
+                        ? target
+                        : undefined;
+                },
+                readValues: () => ({}),
+            });
+            return augmentLinkedSetOutcome(outcome, ctx.writtenFiles);
+        }
         case 'installPack': {
             const archiveBytes = zipArchiveDirectory(join(ctx.scenarioDir, action.archive));
             return host.installPack({ archiveBytes, archivePath: action.archive });
@@ -361,6 +383,13 @@ async function runOneAction(host, adapter, action, ctx) {
             return host.insertComponent({ name: action.name });
     }
 }
+function augmentLinkedSetOutcome(outcome, writtenFiles) {
+    if (outcome.kind !== 'exported')
+        return outcome;
+    const bytes = writtenFiles.get(outcome.path);
+    const entries = bytes === undefined ? undefined : Object.keys(unzipSync(bytes)).sort();
+    return { ...outcome, noteCount: outcome.notes.length, entries };
+}
 function augmentExportOutcome(outcome, writtenFiles) {
     if (outcome.kind !== 'exported')
         return outcome;
@@ -457,6 +486,15 @@ export function outcomeMismatches(actual, expected) {
                     mismatches.push(`render engine: expected "${String(expected['renderEngine'])}", got "${String(render?.engine)}"`);
                 }
             }
+            if (expected['noteCount'] !== undefined &&
+                actualRecord['noteCount'] !== expected['noteCount']) {
+                mismatches.push(`noteCount: expected ${String(expected['noteCount'])}, got ${String(actualRecord['noteCount'])}`);
+            }
+            if (expected['entries'] !== undefined &&
+                JSON.stringify(actualRecord['entries']) !==
+                    JSON.stringify(expected['entries'])) {
+                mismatches.push(`archive entries: expected ${JSON.stringify(expected['entries'])}, got ${JSON.stringify(actualRecord['entries'])}`);
+            }
             const content = String(actualRecord['content'] ?? '');
             for (const needle of expected['contains'] ?? []) {
                 if (!content.includes(needle)) {

package/dist/host/create-host.d.ts

@@ -21,6 +21,8 @@ import { type RunViaAdapterRequest, type RunViaAdapterResult } from './run-behav
 import { type PackDiscoveryIo } from './pack-load.js';
 import type { ExportBodyRenderer, ExportPackStylesheet, ExportRenderInfo, HtmlExportEngine, StaticExportReason } from '../export/note-export.js';
 import type { EmbeddedImageReport, ExportImageReader } from '../export/image-embed.js';
+import type { CascadeLinkResolver } from '../export/cascade.js';
+import { type CascadeExportOutcome } from './cascade-export-behavior.js';
 import type { DiscoveredPack, SkippedPackFolder } from '../packs/discover.js';
 import { type TerminalPackScript } from './terminal-packs.js';
 import { type RemovePackOutcome } from './pack-remove.js';
@@ -28,7 +30,7 @@ import type { DisablePackOutcome, EnablePackOutcome, InstalledPacksListing } fro
 /** The shared decline shape every behavior returns when the adapter lacks the capability it needs. */
 export interface Unsupported {
     readonly kind: 'unsupported';
-    readonly capability: 'isolate' | 'editor' | 'packs' | 'pack-trust' | 'export-format';
+    readonly capability: 'isolate' | 'editor' | 'packs' | 'pack-trust' | 'export-format' | 'linked-set-export';
     readonly detail?: string;
 }
 export interface OpenRequest {
@@ -94,6 +96,41 @@ export type ExportOutcome = {
  | {
     readonly kind: 'cancelled';
 } | Unsupported;
+export interface ExportLinkedSetRequest {
+    /** The root note's path, in whatever form `adapter.readFile` and `resolveLink` understand. */
+    readonly rootPath: string;
+    /** Resolves one link in a note to the path of a note this host can export, or `undefined` to leave the link as written. */
+    readonly resolveLink: CascadeLinkResolver;
+    /** Reads one note's persisted last-run values, keyed by that note's own path. An empty object exports that note's standard empty states. */
+    readonly readValues: (notePath: string) => Record<string, StoredValue>;
+    /** The host's own render of each note's body. Omitted renders every note with the static engine, and `staticReason` says why. */
+    readonly renderBody?: ExportBodyRenderer;
+    /** Why the static engine renders when `renderBody` is omitted. Defaults to `no-packs`. */
+    readonly staticReason?: StaticExportReason;
+    /** The loaded packs' stylesheets, embedded only when `renderBody` ran. */
+    readonly packStylesheets?: readonly ExportPackStylesheet[];
+    /** How many loaded packs contributed to the render. Diagnostics only. */
+    readonly packCount?: number;
+    /** Installed pack components the static engine cannot draw. */
+    readonly unavailableComponents?: readonly UnavailableComponent[];
+    /** Receives the static engine's render diagnostics for every note. */
+    readonly onDiagnostic?: OnDiagnostic;
+    /** Builds the image reader for one note, bound to that note's own folder. Omitted embeds no images. */
+    readonly embedImagesFor?: (notePath: string) => ExportImageReader;
+    /** Hides the collapsed script marker in every exported note. Defaults to `false`. */
+    readonly hideScriptBlocks?: boolean;
+}
+export type ExportLinkedSetOutcome = Extract<CascadeExportOutcome, {
+    kind: 'exported';
+}> | {
+    readonly kind: 'failed';
+    readonly path?: string;
+    readonly reason: string;
+}
+/** The host's picker was cancelled, so nothing was written. */
+ | {
+    readonly kind: 'cancelled';
+} | Unsupported;
 export interface InstallPackRequest {
     readonly archiveBytes: Uint8Array;
     /** The archive's own path or display name, used only in wording. Defaults to a generic phrase when omitted. */
@@ -218,6 +255,8 @@ export interface MarkiiHost {
     open(request: OpenRequest): Promise<OpenOutcome>;
     run(request: RunRequest): Promise<RunOutcome>;
     exportNote(request: ExportRequest): Promise<ExportOutcome>;
+    /** Exports a note and the notes it links to as one zip archive of HTML files. */
+    exportLinkedSet(request: ExportLinkedSetRequest): Promise<ExportLinkedSetOutcome>;
     installPack(request: InstallPackRequest): Promise<InstallPackOutcome>;
     loadPacks(): Promise<LoadPacksOutcome>;
     /**
@@ -265,7 +304,5 @@ export interface MarkiiHostOptions {
     readonly packDiscoveryIo?: PackDiscoveryIo;
     /** `@markii/ansi`'s renderer, injected because this package never depends on `@markii/ansi` (a platform renderer, never a `@markii/host` dependency). A host declaring `'ansi'` in `adapter.exports.formats` without supplying this gets `Unsupported` at export time. */
     readonly renderAnsi?: (text: string) => Promise<string>;
-    /** Composes a pack-aware render registry (webview registration, in-process evaluation, ...). Reserved for a future slice that renders through `exportNote`'s `html` path with packs; unused today, since `buildExportDocument`'s default (no `renderBody`) already produces a correct, pack-free static export. */
-    readonly buildPackRegistration?: unknown;
 }
 export declare function createMarkiiHost(adapter: HostAdapter, options?: MarkiiHostOptions): MarkiiHost;

package/dist/host/create-host.js

@@ -1,6 +1,8 @@
 import { runViaAdapter, } from './run-behavior.js';
 import { installPackDiagnosticLines, installPackFromArchive, } from './pack-install.js';
 import { loadPacksViaAdapter, packDiscoveryIoFromAdapter, } from './pack-load.js';
+import { exportBaseName } from '../export/note-export.js';
+import { exportLinkedSetViaAdapter, } from './cascade-export-behavior.js';
 import { buildComponentCatalog } from '../insert/component-catalog.js';
 import { formatPackDiagnosticLines, skippedPackFolderLine, } from '../packs/pack-diagnostics.js';
 import { readTerminalPackScripts, } from './terminal-packs.js';
@@ -136,6 +138,24 @@ export function createMarkiiHost(adapter, options = {}) {
                 images: outcome.images,
             };
         },
+        async exportLinkedSet(request) {
+            if (adapter.exports?.resolveLinkedSetTarget === undefined) {
+                return unsupported(adapter, 'linked-set-export', `the linked-set export is not available on ${adapter.id}.`);
+            }
+            if (options.htmlEngine === undefined) {
+                return unsupported(adapter, 'linked-set-export', 'no HTML export engine was supplied, so the linked-set export cannot render.');
+            }
+            const outcome = await exportLinkedSetViaAdapter(adapter, {
+                ...request,
+                engine: options.htmlEngine,
+                suggestedFileName: `${exportBaseName(request.rootPath)}.zip`,
+            });
+            if (outcome === undefined) {
+                adapter.diagnostics(`linked-set export declined: no archive target was chosen on ${adapter.id}.`);
+                return { kind: 'cancelled' };
+            }
+            return outcome;
+        },
         async installPack(request) {
             if (!adapter.packs?.installRoot) {
                 return unsupported(adapter, 'packs', 'this host has no pack-install destination configured.');

package/dist/host/pack-trust-behavior.js

@@ -1,5 +1,5 @@
 /**
- * The shared pack-trust behavior (docs/packs.md, docs/integration.md's host
+ * The shared pack-trust behavior (docs/packs.md, docs/hosts.md's host
  * checklist). A host that declares `HostPackSource.trust: 'device-list'`
  * loads an installed pack only when this device's trust list names its
  * namespace. A folder that sits in the install root without being named

package/dist/host/run-behavior.d.ts

@@ -74,6 +74,10 @@ export interface RunViaAdapterRequest {
 /** A run's result plus the `RunTrace` it just recorded, so a host can show its in-note marker from the same value the shared path persisted. */
 export type RunViaAdapterResult = RunOnceResult & {
     readonly trace: RunTrace;
+    /** How many of this run's values came back with the value store's `fresh` status. */
+    readonly freshCount: number;
+    /** How many of this run's values came back with the value store's `error` status. */
+    readonly errorCount: number;
 };
 /**
  * Runs one manual, auto, or scheduled pass of `request.text`'s scripts,

package/dist/host/run-behavior.js

@@ -185,5 +185,13 @@ export async function runViaAdapter(adapter, request, overrideSpawnRun) {
     // must never turn a successful (or already-reported) run into a thrown
     // error.
     await writeLastRunTrace(adapter.memento, request.documentKey, trace).then(undefined, () => { });
-    return { ...result, trace };
+    let freshCount = 0;
+    let errorCount = 0;
+    for (const value of Object.values(result.values)) {
+        if (value.status === 'fresh')
+            freshCount += 1;
+        else if (value.status === 'error')
+            errorCount += 1;
+    }
+    return { ...result, trace, freshCount, errorCount };
 }

package/dist/host/terminal-packs.d.ts

@@ -6,7 +6,7 @@
  * discovers the authorized packs and reads each one's `terminal.js` text
  * through this module; the host then hands the text to the engine's own
  * `loadTerminalPackScript`. Everything here is the one home of the wording
- * for the failures in between (docs/integration.md's "clean is not silent":
+ * for the failures in between (docs/hosts.md's "clean is not silent":
  * a failure reaches the diagnostics surface and the note shows the pack's
  * components as a failed pack).
  *

package/dist/index.d.ts

@@ -25,6 +25,9 @@ export type { DisablePackOutcome, EnabledPack, EnablePackOutcome, InstalledPacks
 export { disablePackMessage, enablePackMessage, } from './host/pack-trust-behavior.js';
 export { removePackMessage } from './host/pack-remove.js';
 export { exportResultMessage } from './host/export-behavior.js';
+export { cascadeResultMessage } from './host/cascade-export-behavior.js';
+export type { CascadeLinkResolver, CascadeTruncation, } from './export/cascade.js';
+export type { CascadeExportedNote, UnreadableCascadeNote, } from './host/cascade-export-behavior.js';
 export { createMarkiiHost } from './host/create-host.js';
-export type { CompleteOutcome, EditorPositionRequest, ExportOutcome, ExportRequest, HoverOutcome, InsertComponentRequest, InstallPackOutcome, InstallPackRequest, LoadPacksOutcome, LoadTerminalPacksOutcome, MarkiiHost, MarkiiHostOptions, OpenOutcome, OpenRequest, RemovePackResult, DisablePackResult, EnablePackResult, InstalledPacksOutcome, RunOutcome, RunRequest, Unsupported, } from './host/create-host.js';
+export type { CompleteOutcome, EditorPositionRequest, ExportLinkedSetOutcome, ExportLinkedSetRequest, ExportOutcome, ExportRequest, HoverOutcome, InsertComponentRequest, InstallPackOutcome, InstallPackRequest, LoadPacksOutcome, LoadTerminalPacksOutcome, MarkiiHost, MarkiiHostOptions, OpenOutcome, OpenRequest, RemovePackResult, DisablePackResult, EnablePackResult, InstalledPacksOutcome, RunOutcome, RunRequest, Unsupported, } from './host/create-host.js';
 export { netRefusal } from './run/net-refusal.js';

package/dist/index.js

@@ -21,5 +21,6 @@ export { installPackMessage } from './host/pack-install.js';
 export { disablePackMessage, enablePackMessage, } from './host/pack-trust-behavior.js';
 export { removePackMessage } from './host/pack-remove.js';
 export { exportResultMessage } from './host/export-behavior.js';
+export { cascadeResultMessage } from './host/cascade-export-behavior.js';
 export { createMarkiiHost } from './host/create-host.js';
 export { netRefusal } from './run/net-refusal.js';

package/dist/internal.d.ts

@@ -10,9 +10,7 @@ export { readLastRunTrace } from './run/run-trace.js';
 export { staleValuesForRehydration } from './run/stale-values.js';
 export { MARK_EXTENSION, buildNoteHtmlExport, composeNoteHtmlExport, noteHasScripts, exportBaseName, exportedSiblingPath, } from './export/note-export.js';
 export { EMPTY_IMAGE_REPORT, MAX_EMBEDDED_IMAGE_BYTES, embedImagesInHtml, } from './export/image-embed.js';
-export type { CascadeLinkResolver, CascadeNoteReader, } from './export/cascade.js';
-export type { CascadeArchiveRequest, CascadeExportOutcome, } from './host/cascade-export-behavior.js';
-export { buildCascadeArchive, cascadeDiagnosticLines, cascadeReasonOf, cascadeResultMessage, } from './host/cascade-export-behavior.js';
+export { cascadeDiagnosticLines } from './host/cascade-export-behavior.js';
 export { componentsWithoutEngineView, declaredPackComponents, installedNamespaces, } from './packs/discover.js';
 export { loadPackModules } from './packs/pack-scripts.js';
 export { relativePackEntries, resolvePackPaths } from './packs/pack-paths.js';

package/dist/internal.js

@@ -14,7 +14,7 @@ export { readLastRunTrace } from './run/run-trace.js';
 export { staleValuesForRehydration } from './run/stale-values.js';
 export { MARK_EXTENSION, buildNoteHtmlExport, composeNoteHtmlExport, noteHasScripts, exportBaseName, exportedSiblingPath, } from './export/note-export.js';
 export { EMPTY_IMAGE_REPORT, MAX_EMBEDDED_IMAGE_BYTES, embedImagesInHtml, } from './export/image-embed.js';
-export { buildCascadeArchive, cascadeDiagnosticLines, cascadeReasonOf, cascadeResultMessage, } from './host/cascade-export-behavior.js';
+export { cascadeDiagnosticLines } from './host/cascade-export-behavior.js';
 export { componentsWithoutEngineView, declaredPackComponents, installedNamespaces, } from './packs/discover.js';
 export { loadPackModules } from './packs/pack-scripts.js';
 export { relativePackEntries, resolvePackPaths } from './packs/pack-paths.js';

package/dist/run/bundle-run.d.ts

@@ -141,7 +141,7 @@ export declare function manifestNetHosts(manifest: BundleManifest): string[];
  *
  * A mismatch between the two is not silently absorbed: this pure function
  * returns one diagnostics line per mismatched host, in both directions, for
- * the host's diagnostics surface (docs/integration.md) — never the rendered
+ * the host's diagnostics surface (docs/hosts.md) — never the rendered
  * page. Wording lives here, the one place both apps' adapters read it from,
  * so it can never drift between VS Code's output channel and Obsidian's
  * console/notice surface.

package/dist/run/bundle-run.js

@@ -142,7 +142,7 @@ export function manifestNetHosts(manifest) {
  *
  * A mismatch between the two is not silently absorbed: this pure function
  * returns one diagnostics line per mismatched host, in both directions, for
- * the host's diagnostics surface (docs/integration.md) — never the rendered
+ * the host's diagnostics surface (docs/hosts.md) — never the rendered
  * page. Wording lives here, the one place both apps' adapters read it from,
  * so it can never drift between VS Code's output channel and Obsidian's
  * console/notice surface.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@markii/host",
-  "version": "0.17.0-next.4",
+  "version": "0.17.0-next.5",
   "description": "Shared, host-neutral script-running layer for Markii hosts: tier gating, the grant model, address pinning, and the terminatable-isolate watchdog, plus the HostAdapter contract and createMarkiiHost. Entries: the neutral main entry, /internal (no semver promise), /node, /html-engine, /browser, /browser-worker-classic, /conformance.",
   "keywords": [
     "markdown",
@@ -71,20 +71,20 @@
     "build:dist": "rm -rf dist && tsc -p tsconfig.build.json && node scripts/build-dist-assets.mjs"
   },
   "dependencies": {
-    "@markii/bundle": "^0.17.0-next.4",
-    "@markii/core": "^0.17.0-next.4",
-    "@markii/lua": "^0.17.0-next.4",
-    "@markii/pack": "^0.17.0-next.4",
-    "@markii/runtime": "^0.17.0-next.4",
-    "@markii/stdlib": "^0.17.0-next.4",
+    "@markii/bundle": "^0.17.0-next.5",
+    "@markii/core": "^0.17.0-next.5",
+    "@markii/lua": "^0.17.0-next.5",
+    "@markii/pack": "^0.17.0-next.5",
+    "@markii/runtime": "^0.17.0-next.5",
+    "@markii/stdlib": "^0.17.0-next.5",
     "fflate": "^0.8.3"
   },
   "files": [
     "dist"
   ],
   "peerDependencies": {
-    "@markii/html": "^0.17.0-next.4",
-    "@markii/react": "^0.17.0-next.4"
+    "@markii/html": "^0.17.0-next.5",
+    "@markii/react": "^0.17.0-next.5"
   },
   "peerDependenciesMeta": {
     "@markii/html": {
@@ -95,8 +95,8 @@
     }
   },
   "devDependencies": {
-    "@markii/html": "^0.17.0-next.4",
-    "@markii/react": "^0.17.0-next.4",
+    "@markii/html": "^0.17.0-next.5",
+    "@markii/react": "^0.17.0-next.5",
     "esbuild": "^0.28.2"
   },
   "publishConfig": {