@milehimikey/em-portal 0.1.0

package/dist/em/exportDoc.d.ts

@@ -0,0 +1,135 @@
+export interface EmGenerator {
+    name: string;
+    version: string;
+}
+export interface EmDiagnostic {
+    severity: "error" | "warning" | string;
+    code: string | null;
+    message: string;
+    line: number | null;
+    refs: string[];
+}
+export interface DocLineageRef {
+    raw: string;
+    sliceKey: string | null;
+    version: number | null;
+}
+export interface SliceDocJoin {
+    found: boolean;
+    /** The conventional `slices/<key>.md` path (relative to the `.em` file's own
+     *  directory) this slice's doc binding resolves to — present even when
+     *  `found` is false, so a consumer can point at exactly where a doc is
+     *  expected. em export's `doc` field is frontmatter-only, never the
+     *  rendered markdown body (see docs/cli.md) — em-portal reads and renders
+     *  that body itself (src/em/docBody.ts) using this path, joined against
+     *  the model file's own directory, the same sibling-file convention every
+     *  other doc-aware em command uses. */
+    path: string;
+    reason: "no-doc-bound" | "binding-missing-file" | "frontmatter-invalid" | null;
+    status: string | null;
+    version: number | null;
+    implementedIn: string | null;
+    splitFrom: DocLineageRef[] | null;
+    mergedFrom: DocLineageRef[] | null;
+    supersededBy: DocLineageRef | DocLineageRef[] | null;
+    driftSignal: "in-sync" | "never-implemented" | "unpropagated-delta" | "implemented-without-link" | null;
+    ratifiedBy: string | null;
+    ratifiedOn: string | null;
+    /** `owner:`/`tracking:` frontmatter (added in schema 1.9, MIL-171) — who
+     *  holds this slice (a person or team, free text) and a link into an
+     *  external tracker mirroring it, respectively. Both hand-filled,
+     *  `null` when absent — declared here even though em-portal was written
+     *  against schema 1.8, per the "tolerate unknown fields" policy: a field
+     *  we don't yet know about would simply be ignored, but these are worth
+     *  surfacing once they exist. */
+    owner: string | null;
+    tracking: string | null;
+}
+export interface TypeRef {
+    name: string;
+    ref: string;
+    array: boolean;
+}
+export interface EmField {
+    name: string;
+    type: string | null;
+    typeRef: TypeRef | null;
+    tag: boolean;
+    renamedFrom: string[] | null;
+    assigned?: boolean;
+}
+export interface EmTag {
+    key: string;
+    kind: "identity" | "composite" | "external";
+    fields: string[] | null;
+    description: string | null;
+}
+export interface EmElement {
+    ref: string;
+    kind: string;
+    name: string;
+    line: number;
+    fields: EmField[] | null;
+    note: string | null;
+    issue: string | null;
+    divergence: string | null;
+    from: {
+        name: string;
+        ref: string;
+    }[] | null;
+    persona: string | null;
+    context: string | null;
+    again: boolean;
+    public: boolean;
+    tags: EmTag[] | null;
+    renamedFrom: string[] | null;
+    logicalRef: string | null;
+}
+export type SlicePattern = "state-change" | "state-view" | "automation" | "translation" | "unclassified";
+export interface EmSlice {
+    key: string;
+    name: string;
+    index: number;
+    line: number;
+    source: string | null;
+    elements: EmElement[];
+    pattern: SlicePattern;
+    doc: SliceDocJoin;
+}
+export interface EmArrow {
+    from: string;
+    to: string;
+    fromRef: string | null;
+    toRef: string | null;
+}
+export interface EmNamedType {
+    ref: string;
+    name: string;
+    line: number;
+    fields: EmField[];
+}
+export interface EmModel {
+    name: string | null;
+    personas: string[];
+    contexts: string[];
+    hasAutomation: boolean;
+    types: EmNamedType[];
+    slices: EmSlice[];
+    arrows: EmArrow[];
+}
+export interface ExportDoc {
+    schemaVersion: string;
+    generator: EmGenerator;
+    source: {
+        path: string;
+        sha256: string;
+    };
+    model: EmModel;
+    diagnostics: EmDiagnostic[];
+}
+/** `schemaVersion` is `"<major>.<minor>"`. em-portal was written against the
+ *  1.x line (docs/cli.md, 1.8 as of this writing) — this only checks the
+ *  major version, per em's own "renames/removals are a major bump" policy;
+ *  a minor bump (new optional field) is exactly what "tolerate unknown
+ *  fields" means and is never flagged. */
+export declare function checkExportSchemaCompatible(doc: ExportDoc): string | null;

package/dist/em/exportDoc.js

@@ -0,0 +1,22 @@
+// SPDX-License-Identifier: MIT
+// Types for `em export --json` (schemaVersion 1.8+, docs/cli.md in the em repo).
+// Deliberately loose, not zod-validated: em's own versioning policy says
+// "additive optional fields are a minor bump ... consumers must tolerate
+// unknown fields" (docs/cli.md), and MIL-171 is landing owner:/tracking:
+// fields on the doc join in parallel with this ticket. Plain `as` casts over
+// `JSON.parse` already tolerate unknown fields for free — a strict schema
+// validator (zod `.strict()`) would actively fight that contract, so this
+// file only declares the fields em-portal actually reads, nothing more.
+/** `schemaVersion` is `"<major>.<minor>"`. em-portal was written against the
+ *  1.x line (docs/cli.md, 1.8 as of this writing) — this only checks the
+ *  major version, per em's own "renames/removals are a major bump" policy;
+ *  a minor bump (new optional field) is exactly what "tolerate unknown
+ *  fields" means and is never flagged. */
+export function checkExportSchemaCompatible(doc) {
+    const major = doc.schemaVersion?.split(".")[0];
+    if (major !== "1") {
+        return `em export schemaVersion ${doc.schemaVersion} has a different major version than the 1.x line em-portal was built against — output may be incomplete or wrong.`;
+    }
+    return null;
+}
+//# sourceMappingURL=exportDoc.js.map

package/dist/em/exportDoc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exportDoc.js","sourceRoot":"","sources":["../../src/em/exportDoc.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,iFAAiF;AACjF,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,6EAA6E;AAC7E,0EAA0E;AAC1E,0EAA0E;AAC1E,wEAAwE;AA2IxE;;;;0CAI0C;AAC1C,MAAM,UAAU,2BAA2B,CAAC,GAAc;IACxD,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;QAClB,OAAO,2BAA2B,GAAG,CAAC,aAAa,mHAAmH,CAAC;IACzK,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/em/run.d.ts

@@ -0,0 +1,41 @@
+export interface EmRunResult {
+    stdout: string;
+    stderr: string;
+}
+export declare class EmCliError extends Error {
+    readonly args: string[];
+    readonly stdout: string;
+    readonly stderr: string;
+    readonly exitCode: number | null;
+    constructor(args: string[], stdout: string, stderr: string, exitCode: number | null);
+}
+/** Resolves the absolute path to the installed `em` CLI's entry point by reading
+ *  the resolved `@milehimikey/em` package's own `package.json` (`bin.em`), rather
+ *  than assuming a `node_modules/.bin/em` shim is on PATH — works the same way
+ *  whether em-portal is run via `npm test`, a global install, or `npx`. */
+export declare function resolveEmCliPath(fromDir?: string): string;
+/** Runs `node <em-cli> ...args` and returns stdout/stderr. Throws EmCliError on
+ *  a non-zero exit so callers don't have to remember to check `stderr`/exit
+ *  code themselves — every em command that can refuse (a model with errors)
+ *  does so via a non-zero exit, so this is the single choke point for that. */
+export declare function runEm(args: string[], opts?: {
+    cwd?: string;
+}): Promise<EmRunResult>;
+/** `em export <file>` — the command's stdout IS JSON by default (no `--json`
+ *  flag exists on `em export`; unlike most other em subcommands, JSON is its
+ *  only output shape). Parsed, untyped-at-this-layer; the schema shape lives
+ *  in exportDoc.ts, kept separate so run.ts stays a pure process boundary
+ *  with no knowledge of em's document shapes. */
+export declare function emExportJson(file: string): Promise<unknown>;
+export interface EmStatusOptions {
+    testsDir?: string;
+    repo?: string;
+}
+/** `em status <files...> --json`. */
+export declare function emStatusJson(files: string[], opts?: EmStatusOptions): Promise<unknown>;
+/** `em render <file> -o <outPath>` — the full model diagram. */
+export declare function emRenderModel(file: string, outPath: string): Promise<void>;
+/** `em render <file> --slice <name> -o <outPath>` — one slice's own canonical
+ *  pattern-shape diagram. `name` is the slice's display NAME (em render's
+ *  `--slice` matches by exact name, not export key — see docs/cli.md). */
+export declare function emRenderSlice(file: string, sliceName: string, outPath: string): Promise<void>;

package/dist/em/run.js

@@ -0,0 +1,99 @@
+// SPDX-License-Identifier: MIT
+// The only place em-portal talks to `em`. em-portal is a separate package/repo
+// from em (per docs/decisions/mil-162-teachable-navigator.md in the em repo) —
+// it never imports em's internal model/pipeline modules, only its published
+// CLI surface (`em export --json`, `em status --json`, `em render`). Every
+// call here shells out to the exact `em` binary resolved from this package's
+// own `@milehimikey/em` devDependency (a production install would add it as a
+// real dependency instead — see README), so a portal build always uses
+// whichever em version is actually installed, never a hardcoded path.
+//
+// This is also where MIL-162's unmeasured "process-spawn overhead" question
+// gets an answer: build.ts times every call it makes through here (see
+// BuildTiming) instead of assuming the in-process numbers the prototype
+// measured still apply.
+import { createRequire } from "node:module";
+import { execFile } from "node:child_process";
+import { promisify } from "node:util";
+import { dirname, join } from "node:path";
+const execFileAsync = promisify(execFile);
+export class EmCliError extends Error {
+    args;
+    stdout;
+    stderr;
+    exitCode;
+    constructor(args, stdout, stderr, exitCode) {
+        super(`em ${args.join(" ")} failed (exit ${exitCode}): ${stderr.trim() || stdout.trim()}`);
+        this.args = args;
+        this.stdout = stdout;
+        this.stderr = stderr;
+        this.exitCode = exitCode;
+        this.name = "EmCliError";
+    }
+}
+let cachedCliPath = null;
+/** Resolves the absolute path to the installed `em` CLI's entry point by reading
+ *  the resolved `@milehimikey/em` package's own `package.json` (`bin.em`), rather
+ *  than assuming a `node_modules/.bin/em` shim is on PATH — works the same way
+ *  whether em-portal is run via `npm test`, a global install, or `npx`. */
+export function resolveEmCliPath(fromDir = process.cwd()) {
+    if (cachedCliPath)
+        return cachedCliPath;
+    const require = createRequire(join(fromDir, "package.json"));
+    const pkgJsonPath = require.resolve("@milehimikey/em/package.json");
+    const pkg = require("@milehimikey/em/package.json");
+    const binRel = typeof pkg.bin === "string" ? pkg.bin : pkg.bin?.em;
+    if (!binRel) {
+        throw new Error(`@milehimikey/em's package.json (${pkgJsonPath}) declares no "em" bin entry`);
+    }
+    cachedCliPath = join(dirname(pkgJsonPath), binRel);
+    return cachedCliPath;
+}
+/** Runs `node <em-cli> ...args` and returns stdout/stderr. Throws EmCliError on
+ *  a non-zero exit so callers don't have to remember to check `stderr`/exit
+ *  code themselves — every em command that can refuse (a model with errors)
+ *  does so via a non-zero exit, so this is the single choke point for that. */
+export async function runEm(args, opts = {}) {
+    const cliPath = resolveEmCliPath(opts.cwd ?? process.cwd());
+    try {
+        const { stdout, stderr } = await execFileAsync(process.execPath, [cliPath, ...args], {
+            cwd: opts.cwd,
+            maxBuffer: 64 * 1024 * 1024,
+        });
+        return { stdout, stderr };
+    }
+    catch (err) {
+        const e = err;
+        throw new EmCliError(args, e.stdout ?? "", e.stderr ?? "", e.code ?? null);
+    }
+}
+/** `em export <file>` — the command's stdout IS JSON by default (no `--json`
+ *  flag exists on `em export`; unlike most other em subcommands, JSON is its
+ *  only output shape). Parsed, untyped-at-this-layer; the schema shape lives
+ *  in exportDoc.ts, kept separate so run.ts stays a pure process boundary
+ *  with no knowledge of em's document shapes. */
+export async function emExportJson(file) {
+    const { stdout } = await runEm(["export", file]);
+    return JSON.parse(stdout);
+}
+/** `em status <files...> --json`. */
+export async function emStatusJson(files, opts = {}) {
+    const args = ["status", ...files, "--json"];
+    if (opts.testsDir)
+        args.push("--tests", opts.testsDir);
+    if (opts.repo)
+        args.push("--repo", opts.repo);
+    const { stdout } = await runEm(args);
+    return JSON.parse(stdout);
+}
+/** `em render <file> -o <outPath>` — the full model diagram. */
+export async function emRenderModel(file, outPath) {
+    await runEm(["render", file, "-o", outPath]);
+}
+/** `em render <file> --slice <name> -o <outPath>` — one slice's own canonical
+ *  pattern-shape diagram. `name` is the slice's display NAME (em render's
+ *  `--slice` matches by exact name, not export key — see docs/cli.md). */
+export async function emRenderSlice(file, sliceName, outPath) {
+    await runEm(["render", file, "--slice", sliceName, "-o", outPath]);
+}
+//# sourceMappingURL=run.js.map

package/dist/em/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/em/run.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,+EAA+E;AAC/E,+EAA+E;AAC/E,4EAA4E;AAC5E,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,uEAAuE;AACvE,sEAAsE;AACtE,EAAE;AACF,4EAA4E;AAC5E,uEAAuE;AACvE,wEAAwE;AACxE,wBAAwB;AAExB,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE1C,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAO1C,MAAM,OAAO,UAAW,SAAQ,KAAK;IAEjB;IACA;IACA;IACA;IAJlB,YACkB,IAAc,EACd,MAAc,EACd,MAAc,EACd,QAAuB;QAEvC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,QAAQ,MAAM,MAAM,CAAC,IAAI,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAL3E,SAAI,GAAJ,IAAI,CAAU;QACd,WAAM,GAAN,MAAM,CAAQ;QACd,WAAM,GAAN,MAAM,CAAQ;QACd,aAAQ,GAAR,QAAQ,CAAe;QAGvC,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;IAC3B,CAAC;CACF;AAED,IAAI,aAAa,GAAkB,IAAI,CAAC;AAExC;;;2EAG2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,UAAkB,OAAO,CAAC,GAAG,EAAE;IAC9D,IAAI,aAAa;QAAE,OAAO,aAAa,CAAC;IACxC,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC;IAC7D,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC;IACpE,MAAM,GAAG,GAAG,OAAO,CAAC,8BAA8B,CAA8C,CAAC;IACjG,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC;IACnE,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CAAC,mCAAmC,WAAW,8BAA8B,CAAC,CAAC;IAChG,CAAC;IACD,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;IACnD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;;+EAG+E;AAC/E,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,IAAc,EAAE,OAAyB,EAAE;IACrE,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAC5D,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE;YACnF,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC5B,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC5B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,GAAiE,CAAC;QAC5E,MAAM,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC;AAED;;;;iDAIiD;AACjD,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAY;IAC7C,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IACjD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAOD,qCAAqC;AACrC,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAe,EAAE,OAAwB,EAAE;IAC5E,MAAM,IAAI,GAAG,CAAC,QAAQ,EAAE,GAAG,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC5C,IAAI,IAAI,CAAC,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvD,IAAI,IAAI,CAAC,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,gEAAgE;AAChE,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,OAAe;IAC/D,MAAM,KAAK,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED;;0EAE0E;AAC1E,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,SAAiB,EAAE,OAAe;IAClF,MAAM,KAAK,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AACrE,CAAC"}

package/dist/em/statusDoc.d.ts

@@ -0,0 +1,56 @@
+export interface StatusConformanceEntry {
+    file: string;
+    modelDir: string;
+    hasStateFile: boolean;
+    lastConformance: {
+        date: string;
+        revision: string;
+    } | null;
+    repo: string;
+    commitsBehindHead: number | null;
+    slicePRsBehindHead: number | null;
+    error: string | null;
+}
+export interface StatusInvariants {
+    testsDir: string;
+    total: number;
+    cited: number;
+    uncovered: number;
+}
+export interface StatusDoc {
+    statusSchemaVersion: string;
+    generator: {
+        name: string;
+        version: string;
+    };
+    files: string[];
+    slices: {
+        total: number;
+        byStatus: {
+            draft: number;
+            reviewed: number;
+            readyToImplement: number;
+            implemented: number;
+            noDoc: number;
+            frontmatterInvalid: number;
+            unknown: number;
+        };
+    };
+    driftSignal: {
+        inSync: number;
+        neverImplemented: number;
+        unpropagatedDelta: number;
+        implementedWithoutLink: number;
+        notApplicable: number;
+        frontmatterInvalid: number;
+    };
+    invariants: StatusInvariants | null;
+    issues: {
+        openIssues: number;
+        openQuestionsTotal: number;
+        openQuestionsUnchecked: number;
+    };
+    conformance: StatusConformanceEntry[];
+    diagnostics: unknown[];
+}
+export declare function checkStatusSchemaCompatible(doc: StatusDoc): string | null;

package/dist/em/statusDoc.js

@@ -0,0 +1,11 @@
+// SPDX-License-Identifier: MIT
+// Types for `em status --json` (statusSchemaVersion 1.1+, docs/cli.md in the
+// em repo). Same tolerant-of-unknown-fields posture as exportDoc.ts.
+export function checkStatusSchemaCompatible(doc) {
+    const major = doc.statusSchemaVersion?.split(".")[0];
+    if (major !== "1") {
+        return `em status statusSchemaVersion ${doc.statusSchemaVersion} has a different major version than the 1.x line em-portal was built against — output may be incomplete or wrong.`;
+    }
+    return null;
+}
+//# sourceMappingURL=statusDoc.js.map

package/dist/em/statusDoc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statusDoc.js","sourceRoot":"","sources":["../../src/em/statusDoc.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,6EAA6E;AAC7E,qEAAqE;AAsDrE,MAAM,UAAU,2BAA2B,CAAC,GAAc;IACxD,MAAM,KAAK,GAAG,GAAG,CAAC,mBAAmB,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;QAClB,OAAO,iCAAiC,GAAG,CAAC,mBAAmB,mHAAmH,CAAC;IACrL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/pages/html.d.ts

@@ -0,0 +1,11 @@
+export declare function escapeHtml(s: string): string;
+export interface Crumb {
+    label: string;
+    href: string;
+}
+/** `homeHref` is always relative to the page being built so the whole site
+ *  works opened straight off disk via `file://` or served from any subpath —
+ *  no absolute `href="/"` anywhere (that would jump to the filesystem/host
+ *  root instead of the site root when the portal is published under a
+ *  subpath, e.g. GitHub Pages project sites). */
+export declare function layout(title: string, bodyHtml: string, homeHref: string, crumbs?: Crumb[]): string;

package/dist/pages/html.js

@@ -0,0 +1,84 @@
+// SPDX-License-Identifier: MIT
+// Shared HTML-string helpers for every page builder. Hand-written template
+// literals, no templating library or client-side framework — every page is
+// plain, self-contained, static HTML (no external CDN, no build-time
+// dependency the reader's browser needs to fetch), per the fully-static
+// constraint in docs/decisions/mil-162-teachable-navigator.md.
+export function escapeHtml(s) {
+    return s
+        .replace(/&/g, "&")
+        .replace(/</g, "&lt;")
+        .replace(/>/g, "&gt;")
+        .replace(/"/g, "&quot;")
+        .replace(/'/g, "&#39;");
+}
+const STYLE = `
+  :root { color-scheme: light dark; }
+  * { box-sizing: border-box; }
+  body {
+    margin: 0; font-family: system-ui, -apple-system, "Segoe UI", sans-serif; line-height: 1.5;
+    background: #fafafa; color: #1f2933;
+  }
+  header {
+    padding: .75rem 1.25rem; background: #1f2933; color: #fff;
+    display: flex; align-items: baseline; gap: .75rem; flex-wrap: wrap;
+  }
+  header a { color: #fff; text-decoration: none; font-weight: 600; }
+  header .crumbs { color: #cbd2d9; font-size: 13px; }
+  header .crumbs a { color: #cbd2d9; font-weight: 400; text-decoration: underline; }
+  main { max-width: 1000px; margin: 0 auto; padding: 1.5rem 1.25rem 3rem; }
+  table { border-collapse: collapse; width: 100%; margin: 1rem 0; }
+  th, td { text-align: left; padding: .4rem .6rem; border-bottom: 1px solid #ddd; font-size: 14px; vertical-align: top; }
+  th { font-weight: 600; background: #f0f2f5; }
+  .badge { display: inline-block; padding: .1rem .5rem; border-radius: 999px; font-size: 12px; background: #e4e7eb; }
+  .badge.ok { background: #d3f3df; color: #10633c; }
+  .badge.warn { background: #fdecc8; color: #8a5a00; }
+  .badge.bad { background: #fbdbd6; color: #9c2b1d; }
+  .pattern { font-size: 12px; color: #52606d; }
+  .stat-row { display: flex; flex-wrap: wrap; gap: .75rem; margin: 1rem 0 1.5rem; }
+  .stat { background: #fff; border: 1px solid #ddd; border-radius: 8px; padding: .6rem .9rem; min-width: 9rem; }
+  .stat .n { font-size: 1.4rem; font-weight: 700; display: block; }
+  .stat .label { font-size: 12px; color: #52606d; }
+  .diagram-frame {
+    height: 420px; border: 1px solid #ddd; margin: 1rem 0; overflow: hidden; background: #fff;
+    display: flex; align-items: flex-start; justify-content: center;
+  }
+  object.diagram { width: auto; height: 100%; max-width: 100%; }
+  .full-diagram-link { margin: 0 0 1rem; font-size: 13px; }
+  .doc { margin-top: 1.5rem; padding-top: 1rem; border-top: 1px solid #ddd; }
+  .doc h1 { font-size: 1.3rem; }
+  .doc h2 { font-size: 1.05rem; }
+  .no-doc { color: #7b8794; font-style: italic; }
+  .permalink { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 12px; color: #52606d; }
+  .permalink a { color: inherit; }
+  code { background: #eee; padding: .05rem .3rem; border-radius: 3px; }
+  footer { max-width: 1000px; margin: 0 auto; padding: 0 1.25rem 2rem; font-size: 12px; color: #7b8794; }
+`;
+/** `homeHref` is always relative to the page being built so the whole site
+ *  works opened straight off disk via `file://` or served from any subpath —
+ *  no absolute `href="/"` anywhere (that would jump to the filesystem/host
+ *  root instead of the site root when the portal is published under a
+ *  subpath, e.g. GitHub Pages project sites). */
+export function layout(title, bodyHtml, homeHref, crumbs = []) {
+    const crumbHtml = crumbs.length
+        ? `<span class="crumbs">${crumbs.map((c) => `&rsaquo; <a href="${escapeHtml(c.href)}">${escapeHtml(c.label)}</a>`).join(" ")}</span>`
+        : "";
+    return `<!doctype html>
+<html lang="en">
+<head>
+  <meta charset="utf-8" />
+  <meta name="viewport" content="width=device-width, initial-scale=1" />
+  <title>${escapeHtml(title)}</title>
+  <style>${STYLE}</style>
+</head>
+<body>
+  <header><a href="${escapeHtml(homeHref)}">em portal</a>${crumbHtml}</header>
+  <main>
+${bodyHtml}
+  </main>
+  <footer>Generated by em-portal — a static, read-only view over <code>em export</code>/<code>em status</code>. No server, no storage of its own; git is the source of truth.</footer>
+</body>
+</html>
+`;
+}
+//# sourceMappingURL=html.js.map

package/dist/pages/html.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"html.js","sourceRoot":"","sources":["../../src/pages/html.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,2EAA2E;AAC3E,2EAA2E;AAC3E,qEAAqE;AACrE,wEAAwE;AACxE,+DAA+D;AAE/D,MAAM,UAAU,UAAU,CAAC,CAAS;IAClC,OAAO,CAAC;SACL,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC;SACvB,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,KAAK,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAyCb,CAAC;AAOF;;;;iDAIiD;AACjD,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,QAAgB,EAAE,QAAgB,EAAE,SAAkB,EAAE;IAC5F,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM;QAC7B,CAAC,CAAC,wBAAwB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS;QACrI,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;;;;;WAKE,UAAU,CAAC,KAAK,CAAC;WACjB,KAAK;;;qBAGK,UAAU,CAAC,QAAQ,CAAC,kBAAkB,SAAS;;EAElE,QAAQ;;;;;CAKT,CAAC;AACF,CAAC"}

package/dist/pages/index.d.ts

@@ -0,0 +1,3 @@
+import { StatusDoc } from "../em/statusDoc.js";
+import { PortalSummary } from "./types.js";
+export declare function renderIndexPage(status: StatusDoc, summary: PortalSummary): string;

package/dist/pages/index.js

@@ -0,0 +1,128 @@
+// SPDX-License-Identifier: MIT
+// The portal's landing page: `em status`'s rollup up front (MIL-162 property
+// #2, "state up front" — a reader's first question is "is this healthy," not
+// a slice list), then the multi-model index (property #3) and any resolved
+// cross-model links. Drill-down is model -> slice -> doc, in that order — this
+// page never lists individual slices itself.
+import { escapeHtml, layout } from "./html.js";
+import { elementDeepLink } from "../refs.js";
+function pct(numer, denom) {
+    if (denom === 0)
+        return "n/a";
+    return `${((numer / denom) * 100).toFixed(0)}%`;
+}
+function conformanceBadge(entry) {
+    if (entry.error)
+        return `<span class="badge warn">unverified</span>`;
+    if (!entry.hasStateFile)
+        return `<span class="badge">no conform history</span>`;
+    const behind = (entry.commitsBehindHead ?? 0) + (entry.slicePRsBehindHead ?? 0);
+    if (behind > 0)
+        return `<span class="badge warn">${behind} behind HEAD</span>`;
+    return `<span class="badge ok">up to date</span>`;
+}
+function renderStatusSection(status) {
+    const total = status.slices.total;
+    const s = status.slices.byStatus;
+    const documented = total - s.noDoc;
+    const d = status.driftSignal;
+    const stats = [
+        { n: `${s.implemented}/${total}`, label: "implemented" },
+        { n: `${documented}/${total}`, label: `documented (${pct(documented, total)})` },
+        { n: `${status.issues.openIssues}`, label: "open issues" },
+        {
+            n: status.invariants ? `${status.invariants.cited}/${status.invariants.total}` : "n/a",
+            label: "invariants covered",
+        },
+    ];
+    const statHtml = stats
+        .map((st) => `<div class="stat"><span class="n">${escapeHtml(st.n)}</span><span class="label">${escapeHtml(st.label)}</span></div>`)
+        .join("\n");
+    const conformanceRows = status.conformance
+        .map((c) => `<tr>
+        <td><code>${escapeHtml(c.file)}</code></td>
+        <td>${c.hasStateFile && c.lastConformance ? escapeHtml(`${c.lastConformance.revision} (${c.lastConformance.date})`) : "&mdash;"}</td>
+        <td>${c.commitsBehindHead ?? "&mdash;"}</td>
+        <td>${c.slicePRsBehindHead ?? "&mdash;"}</td>
+        <td>${conformanceBadge(c)}</td>
+      </tr>`)
+        .join("\n");
+    return `    <h1>State of the system</h1>
+    <div class="stat-row">
+${statHtml}
+    </div>
+    <h2>Slices by status</h2>
+    <p>
+      <span class="badge">${s.draft} draft</span>
+      <span class="badge">${s.reviewed} reviewed</span>
+      <span class="badge">${s.readyToImplement} ready-to-implement</span>
+      <span class="badge ok">${s.implemented} implemented</span>
+      <span class="badge">${s.noDoc} no doc</span>
+      ${s.frontmatterInvalid ? `<span class="badge bad">${s.frontmatterInvalid} frontmatter invalid</span>` : ""}
+      ${s.unknown ? `<span class="badge">${s.unknown} unknown status</span>` : ""}
+    </p>
+    <h2>Drift signal</h2>
+    <p>
+      <span class="badge ok">${d.inSync} in-sync</span>
+      <span class="badge warn">${d.neverImplemented} never-implemented</span>
+      <span class="badge bad">${d.unpropagatedDelta} unpropagated-delta</span>
+      <span class="badge bad">${d.implementedWithoutLink} implemented-without-link</span>
+      <span class="badge">${d.notApplicable} n/a (no doc)</span>
+    </p>
+    <h2>Freshness (conformance)</h2>
+    <table>
+      <thead><tr><th>Model</th><th>Last conformed</th><th>Commits behind</th><th>Slice-PRs behind</th><th></th></tr></thead>
+      <tbody>
+${conformanceRows}
+      </tbody>
+    </table>`;
+}
+export function renderIndexPage(status, summary) {
+    const modelRows = summary.models
+        .map((m) => `      <tr>
+        <td><a href="${escapeHtml(m.key)}/index.html">${escapeHtml(m.name)}</a></td>
+        <td>${m.sliceCount}</td>
+        <td><code>${escapeHtml(m.file)}</code></td>
+      </tr>`)
+        .join("\n");
+    const linkRows = summary.crossModelLinks
+        .map((l) => {
+        // MIL-173: both ends of a cross-model link resolve straight to the
+        // specific publishing/referencing ELEMENT via the same deep-link
+        // scheme a slice page's own permalinks use — not just the model's
+        // landing page — since the whole point of surfacing this row is "here
+        // is exactly which element on each side."
+        const fromLink = elementDeepLink(l.fromModelKey, l.fromRef);
+        const toLink = elementDeepLink(l.toModelKey, l.toElementRef);
+        return `      <tr>
+        <td><code>${escapeHtml(l.eventName)}</code></td>
+        <td><a href="${escapeHtml(fromLink)}">${escapeHtml(l.fromModelKey)}</a></td>
+        <td><a href="${escapeHtml(toLink)}">${escapeHtml(l.toModelKey)}</a></td>
+      </tr>`;
+    })
+        .join("\n");
+    const crossModelSection = summary.crossModelLinks.length > 0
+        ? `    <h2>Cross-model links</h2>
+    <p>Resolved by matching a <code>public</code> event's name against every other model's
+    element names — a naming-convention join, not a compiler-verified reference (see
+    the em-portal README's "Cross-model navigation" section). Each link goes straight to the
+    specific element on either side, not just that model's landing page.</p>
+    <table>
+      <thead><tr><th>Public event</th><th>Published by</th><th>Referenced by</th></tr></thead>
+      <tbody>
+${linkRows}
+      </tbody>
+    </table>`
+        : "";
+    const body = `${renderStatusSection(status)}
+    <h2>Models</h2>
+    <table>
+      <thead><tr><th>Model</th><th>Slices</th><th>Source</th></tr></thead>
+      <tbody>
+${modelRows}
+      </tbody>
+    </table>
+${crossModelSection}`;
+    return layout(summary.title, body, "index.html");
+}
+//# sourceMappingURL=index.js.map

package/dist/pages/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/pages/index.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,6EAA6E;AAC7E,6EAA6E;AAC7E,2EAA2E;AAC3E,+EAA+E;AAC/E,6CAA6C;AAE7C,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAG/C,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C,SAAS,GAAG,CAAC,KAAa,EAAE,KAAa;IACvC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9B,OAAO,GAAG,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;AAClD,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAuC;IAC/D,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,4CAA4C,CAAC;IACrE,IAAI,CAAC,KAAK,CAAC,YAAY;QAAE,OAAO,+CAA+C,CAAC;IAChF,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,iBAAiB,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,kBAAkB,IAAI,CAAC,CAAC,CAAC;IAChF,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,4BAA4B,MAAM,qBAAqB,CAAC;IAC/E,OAAO,0CAA0C,CAAC;AACpD,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAiB;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;IAClC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;IACjC,MAAM,UAAU,GAAG,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IACnC,MAAM,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC;IAC7B,MAAM,KAAK,GAAG;QACZ,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,WAAW,IAAI,KAAK,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE;QACxD,EAAE,CAAC,EAAE,GAAG,UAAU,IAAI,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,GAAG,EAAE;QAChF,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE;QAC1D;YACE,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK;YACtF,KAAK,EAAE,oBAAoB;SAC5B;KACF,CAAC;IAEF,MAAM,QAAQ,GAAG,KAAK;SACnB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,qCAAqC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,8BAA8B,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC;SACnI,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,eAAe,GAAG,MAAM,CAAC,WAAW;SACvC,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CAAC;oBACO,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;cACxB,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,QAAQ,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;cACzH,CAAC,CAAC,iBAAiB,IAAI,SAAS;cAChC,CAAC,CAAC,kBAAkB,IAAI,SAAS;cACjC,gBAAgB,CAAC,CAAC,CAAC;YACrB,CACP;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO;;EAEP,QAAQ;;;;4BAIkB,CAAC,CAAC,KAAK;4BACP,CAAC,CAAC,QAAQ;4BACV,CAAC,CAAC,gBAAgB;+BACf,CAAC,CAAC,WAAW;4BAChB,CAAC,CAAC,KAAK;QAC3B,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,kBAAkB,6BAA6B,CAAC,CAAC,CAAC,EAAE;QACxG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC,EAAE;;;;+BAIlD,CAAC,CAAC,MAAM;iCACN,CAAC,CAAC,gBAAgB;gCACnB,CAAC,CAAC,iBAAiB;gCACnB,CAAC,CAAC,sBAAsB;4BAC5B,CAAC,CAAC,aAAa;;;;;;EAMzC,eAAe;;aAEJ,CAAC;AACd,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAiB,EAAE,OAAsB;IACvE,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM;SAC7B,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CAAC;uBACU,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;cAC5D,CAAC,CAAC,UAAU;oBACN,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAC1B,CACP;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,QAAQ,GAAG,OAAO,CAAC,eAAe;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,mEAAmE;QACnE,iEAAiE;QACjE,kEAAkE;QAClE,sEAAsE;QACtE,0CAA0C;QAC1C,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;QAC7D,OAAO;oBACO,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;uBACpB,UAAU,CAAC,QAAQ,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;uBACnD,UAAU,CAAC,MAAM,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;YAC1D,CAAC;IACT,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,iBAAiB,GACrB,OAAO,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;QAChC,CAAC,CAAC;;;;;;;;EAQN,QAAQ;;aAEG;QACP,CAAC,CAAC,EAAE,CAAC;IAET,MAAM,IAAI,GAAG,GAAG,mBAAmB,CAAC,MAAM,CAAC;;;;;EAK3C,SAAS;;;EAGT,iBAAiB,EAAE,CAAC;IAEpB,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;AACnD,CAAC"}

package/dist/pages/model.d.ts

@@ -0,0 +1,17 @@
+import { SlicePattern } from "../em/exportDoc.js";
+export interface ModelPageSliceRow {
+    key: string;
+    name: string;
+    pattern: SlicePattern;
+    hasDoc: boolean;
+    status: string | null;
+    driftSignal: string | null;
+}
+export interface ModelPageArgs {
+    modelKey: string;
+    modelName: string;
+    file: string;
+    diagramFile: string;
+    slices: ModelPageSliceRow[];
+}
+export declare function renderModelPage(args: ModelPageArgs): string;