@metaobjectsdev/metadata 0.9.0-rc.1 → 0.10.0

package/dist/registry-coverage.d.ts

@@ -0,0 +1,99 @@
+/** One attr in the registry manifest. */
+export interface ManifestAttr {
+    name: string;
+    valueType: string | null;
+    required: boolean;
+}
+/** One registered (type, subType) with its declared attrs. */
+export interface ManifestType {
+    type: string;
+    subType: string;
+    attrs: ManifestAttr[];
+}
+/** The canonical registry manifest (expected-registry.json). */
+export interface RegistryManifest {
+    types: ManifestType[];
+    commonAttrs: ManifestAttr[];
+    defaultSubTypes: Record<string, string>;
+}
+/** Per-subtype attr coverage: which declared attrs no fixture sets. */
+export interface UntestedAttrs {
+    /** The `"<type>.<subType>"` key. */
+    key: string;
+    /** Sorted attr names declared on this subtype that NO fixture exercises. */
+    untestedAttrs: string[];
+}
+/** The full coverage report — all collections sorted for determinism. */
+export interface CoverageReport {
+    /** Total registered `(type, subType)` keys. */
+    registeredSubTypeCount: number;
+    /** Registered keys at least one fixture exercises. */
+    exercisedSubTypeCount: number;
+    /** Sorted registered keys NO fixture exercises (the valuable backlog). */
+    untestedSubTypes: string[];
+    /**
+     * Per EXERCISED subtype, the declared attrs no fixture sets. Only includes
+     * subtypes that ARE exercised (an untested subtype's attrs are all untested
+     * by definition — listing them would be noise). Sorted by key; only entries
+     * with a non-empty `untestedAttrs` list are included.
+     */
+    untestedAttrsByExercisedSubType: UntestedAttrs[];
+}
+/** The snapshot written to disk — a stable, diffable subset of the report. */
+export interface CoverageSnapshot {
+    registeredSubTypeCount: number;
+    exercisedSubTypeCount: number;
+    untestedSubTypes: string[];
+    untestedAttrsByExercisedSubType: UntestedAttrs[];
+}
+/** What a single fixture corpus exercises. */
+interface Usage {
+    /** Set of `"<type>.<subType>"` keys seen in any fixture node. */
+    subTypes: Set<string>;
+    /** key → set of attr names (sans `@` prefix) set on a node of that subtype. */
+    attrsByKey: Map<string, Set<string>>;
+}
+/** Scan a set of corpus roots, unioning vocabulary usage across all of them. */
+export declare function scanFixtureUsage(roots: readonly string[]): Usage;
+/**
+ * Compute the untested-vocabulary coverage report.
+ *
+ * @param manifest the parsed registry manifest (the registered vocabulary)
+ * @param roots    fixture-corpus directory roots to scan for usage
+ */
+export declare function computeCoverage(manifest: RegistryManifest, roots: readonly string[]): CoverageReport;
+/** Project a report into the stable, diffable snapshot shape. */
+export declare function toSnapshot(report: CoverageReport): CoverageSnapshot;
+/** Serialize a snapshot as byte-stable JSON (2-space indent, trailing newline). */
+export declare function emitSnapshot(snapshot: CoverageSnapshot): string;
+/** One named coverage regression — an item that became unexercised. */
+export interface CoverageRegression {
+    /** "subtype" — a registered (type, subType) no longer exercised; or "attr". */
+    kind: "subtype" | "attr";
+    /** The `"<type>.<subType>"` key that regressed. */
+    key: string;
+    /** For an attr regression: the attr name that became untested (else undefined). */
+    attr?: string;
+}
+/** The ratchet verdict: ok=true when live coverage is no worse than baseline. */
+export interface RatchetResult {
+    ok: boolean;
+    /** Every named regression (empty when ok). Sorted for determinism. */
+    regressions: CoverageRegression[];
+}
+/**
+ * Compare a live coverage snapshot against a committed baseline and report any
+ * REGRESSION (an item the baseline had exercised that the live run no longer
+ * exercises). Improvements (items that left an untested set) are NOT regressions.
+ *
+ * - subtype regression: a key in `live.untestedSubTypes` not in baseline's set.
+ * - attr regression: an attr in a live subtype's `untestedAttrs` not in the
+ *   baseline's untested-attrs set for that SAME key. (A subtype that newly became
+ *   untested is reported once as a subtype regression — its attrs are not double-
+ *   reported, since an untested subtype has no per-attr entry by construction.)
+ */
+export declare function checkRatchet(baseline: CoverageSnapshot, live: CoverageSnapshot): RatchetResult;
+/** Render the regressions into an actionable, human-readable failure message. */
+export declare function formatRatchetFailure(result: RatchetResult): string;
+export {};
+//# sourceMappingURL=registry-coverage.d.ts.map

package/dist/registry-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry-coverage.d.ts","sourceRoot":"","sources":["../src/registry-coverage.ts"],"names":[],"mappings":"AA8BA,yCAAyC;AACzC,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,8DAA8D;AAC9D,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,YAAY,EAAE,CAAC;CACvB;AAED,gEAAgE;AAChE,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,WAAW,EAAE,YAAY,EAAE,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACzC;AAMD,uEAAuE;AACvE,MAAM,WAAW,aAAa;IAC5B,oCAAoC;IACpC,GAAG,EAAE,MAAM,CAAC;IACZ,4EAA4E;IAC5E,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,yEAAyE;AACzE,MAAM,WAAW,cAAc;IAC7B,+CAA+C;IAC/C,sBAAsB,EAAE,MAAM,CAAC;IAC/B,sDAAsD;IACtD,qBAAqB,EAAE,MAAM,CAAC;IAC9B,0EAA0E;IAC1E,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B;;;;;OAKG;IACH,+BAA+B,EAAE,aAAa,EAAE,CAAC;CAClD;AAED,8EAA8E;AAC9E,MAAM,WAAW,gBAAgB;IAC/B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,+BAA+B,EAAE,aAAa,EAAE,CAAC;CAClD;AAMD,8CAA8C;AAC9C,UAAU,KAAK;IACb,iEAAiE;IACjE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACtB,+EAA+E;IAC/E,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;CACtC;AA0HD,gFAAgF;AAChF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,KAAK,CAchE;AAUD;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,cAAc,CAoChB;AAED,iEAAiE;AACjE,wBAAgB,UAAU,CAAC,MAAM,EAAE,cAAc,GAAG,gBAAgB,CAOnE;AAED,mFAAmF;AACnF,wBAAgB,YAAY,CAAC,QAAQ,EAAE,gBAAgB,GAAG,MAAM,CAE/D;AAmBD,uEAAuE;AACvE,MAAM,WAAW,kBAAkB;IACjC,+EAA+E;IAC/E,IAAI,EAAE,SAAS,GAAG,MAAM,CAAC;IACzB,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,mFAAmF;IACnF,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,iFAAiF;AACjF,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,OAAO,CAAC;IACZ,sEAAsE;IACtE,WAAW,EAAE,kBAAkB,EAAE,CAAC;CACnC;AAMD;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,gBAAgB,EAC1B,IAAI,EAAE,gBAAgB,GACrB,aAAa,CA6Cf;AAED,iFAAiF;AACjF,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CAsBlE"}

package/dist/registry-coverage.js

@@ -0,0 +1,294 @@
+// SP-G Unit 5 — untested-vocabulary coverage report.
+//
+// Cross-references the REGISTERED metamodel vocabulary (the canonical
+// registry-conformance manifest — "what SHOULD be exercised") against the
+// conformance FIXTURE corpora ("what IS exercised"), and surfaces every
+// registered (type, subType) — and each attr — that NO fixture exercises.
+//
+// This closes the meta-gap that let SP-C's vocabulary drift hide for weeks: a
+// drifted/missing vocabulary member was only caught incidentally, if some
+// fixture happened to use it. Making the *untested* set VISIBLE is the
+// deliverable. The registry-conformance gate (Unit 1) proves the vocabulary is
+// IDENTICAL across ports; this report proves the vocabulary is EXERCISED at all.
+//
+// Pure + testable: takes the parsed manifest + a set of fixture roots, walks the
+// canonical-JSON node graph (nodes keyed `"<type>.<subType>"`, `@attr` inline
+// keys, reserved bare keys, nested `children`), and returns the registered /
+// exercised / untested sets — all deterministic + sorted.
+import { readdirSync, readFileSync, statSync } from "node:fs";
+import { join } from "node:path";
+import { ATTR_PREFIX, RESERVED_KEYS, TYPE_SUBTYPE_SEPARATOR, } from "./shared/structural.js";
+function newUsage() {
+    return { subTypes: new Set(), attrsByKey: new Map() };
+}
+/** Recursively collect every *.json file path under a directory root. */
+function collectJsonFiles(root) {
+    const out = [];
+    const walk = (dir) => {
+        let entries;
+        try {
+            entries = readdirSync(dir);
+        }
+        catch {
+            return; // missing/unreadable dir — skip (a corpus root may not exist)
+        }
+        for (const entry of entries) {
+            const full = join(dir, entry);
+            let st;
+            try {
+                st = statSync(full);
+            }
+            catch {
+                continue;
+            }
+            if (st.isDirectory()) {
+                walk(full);
+            }
+            else if (st.isFile() && entry.endsWith(".json")) {
+                out.push(full);
+            }
+        }
+    };
+    walk(root);
+    return out;
+}
+/** True if a node-body key is a `"<type>.<subType>"` wrapper key. */
+function isTypeSubTypeKey(key) {
+    // A wrapper key fuses type + subType with the separator. Reserved structural
+    // keys, `@`-attrs, and the JSON `$schema` key are NOT wrapper keys.
+    if (key.startsWith(ATTR_PREFIX))
+        return false;
+    if (RESERVED_KEYS.has(key))
+        return false;
+    if (!key.includes(TYPE_SUBTYPE_SEPARATOR))
+        return false;
+    if (key.startsWith("$"))
+        return false;
+    // Must be exactly `type.subType` (one separator, two non-empty halves).
+    const idx = key.indexOf(TYPE_SUBTYPE_SEPARATOR);
+    const type = key.slice(0, idx);
+    const subType = key.slice(idx + TYPE_SUBTYPE_SEPARATOR.length);
+    return type.length > 0 && subType.length > 0 && !subType.includes(TYPE_SUBTYPE_SEPARATOR);
+}
+/**
+ * Record one node-body: its inline `@attrs` (against the owning wrapper key) and
+ * recurse into its children. `body` is the object under a wrapper key.
+ */
+function visitBody(body, ownerKey, usage) {
+    if (body === null || typeof body !== "object" || Array.isArray(body))
+        return;
+    const obj = body;
+    for (const [k, v] of Object.entries(obj)) {
+        if (k.startsWith(ATTR_PREFIX)) {
+            // An inline attr on this node. Strip the prefix → the logical attr name.
+            const attrName = k.slice(ATTR_PREFIX.length);
+            let set = usage.attrsByKey.get(ownerKey);
+            if (!set) {
+                set = new Set();
+                usage.attrsByKey.set(ownerKey, set);
+            }
+            set.add(attrName);
+        }
+        else if (k === "children") {
+            visitNodeList(v, usage);
+        }
+        // Reserved bare keys (name/package/extends/value/...) are not attrs — skip.
+        // (`value` may hold nested arbitrary data, not metamodel nodes — skip it.)
+    }
+}
+/** Visit an array of wrapper-keyed nodes (the `children` list, or a root list). */
+function visitNodeList(list, usage) {
+    if (!Array.isArray(list))
+        return;
+    for (const item of list) {
+        visitNode(item, usage);
+    }
+}
+/**
+ * Visit one wrapper-keyed node object: `{ "<type>.<subType>": { ...body } }`.
+ * A single object may carry multiple wrapper keys; handle each.
+ */
+function visitNode(node, usage) {
+    if (node === null || typeof node !== "object" || Array.isArray(node))
+        return;
+    const obj = node;
+    for (const [key, body] of Object.entries(obj)) {
+        if (isTypeSubTypeKey(key)) {
+            usage.subTypes.add(key);
+            visitBody(body, key, usage);
+        }
+        else if (key === "children") {
+            // Some corpora nest a bare `children` list at a level without a wrapper.
+            visitNodeList(body, usage);
+        }
+    }
+}
+/**
+ * Parse one fixture JSON document and fold its vocabulary usage into `usage`.
+ * The document root is the metadata.root wrapper (or, defensively, an array or
+ * a bare node). Robust to non-metadata JSON (e.g. CAPABILITIES.json) — such a
+ * doc simply contributes no wrapper keys.
+ */
+function scanDocument(text, usage) {
+    let parsed;
+    try {
+        parsed = JSON.parse(text);
+    }
+    catch {
+        return; // not JSON / malformed — contributes nothing
+    }
+    if (Array.isArray(parsed)) {
+        visitNodeList(parsed, usage);
+    }
+    else {
+        visitNode(parsed, usage);
+    }
+}
+/** Scan a set of corpus roots, unioning vocabulary usage across all of them. */
+export function scanFixtureUsage(roots) {
+    const usage = newUsage();
+    for (const root of roots) {
+        for (const file of collectJsonFiles(root)) {
+            let text;
+            try {
+                text = readFileSync(file, "utf8");
+            }
+            catch {
+                continue;
+            }
+            scanDocument(text, usage);
+        }
+    }
+    return usage;
+}
+// ---------------------------------------------------------------------------
+// Coverage computation
+// ---------------------------------------------------------------------------
+function compareStrings(a, b) {
+    return a < b ? -1 : a > b ? 1 : 0;
+}
+/**
+ * Compute the untested-vocabulary coverage report.
+ *
+ * @param manifest the parsed registry manifest (the registered vocabulary)
+ * @param roots    fixture-corpus directory roots to scan for usage
+ */
+export function computeCoverage(manifest, roots) {
+    const usage = scanFixtureUsage(roots);
+    const registeredKeys = manifest.types.map((t) => `${t.type}${TYPE_SUBTYPE_SEPARATOR}${t.subType}`);
+    const untestedSubTypes = registeredKeys
+        .filter((key) => !usage.subTypes.has(key))
+        .sort(compareStrings);
+    const exercisedSubTypeCount = registeredKeys.length - untestedSubTypes.length;
+    // Per EXERCISED subtype, which declared attrs no fixture sets.
+    const untestedAttrsByExercisedSubType = [];
+    for (const t of manifest.types) {
+        const key = `${t.type}${TYPE_SUBTYPE_SEPARATOR}${t.subType}`;
+        if (!usage.subTypes.has(key))
+            continue; // skip untested subtypes (all-untested by definition)
+        if (t.attrs.length === 0)
+            continue;
+        const seen = usage.attrsByKey.get(key) ?? new Set();
+        const untestedAttrs = t.attrs
+            .map((a) => a.name)
+            .filter((name) => !seen.has(name))
+            .sort(compareStrings);
+        if (untestedAttrs.length > 0) {
+            untestedAttrsByExercisedSubType.push({ key, untestedAttrs });
+        }
+    }
+    untestedAttrsByExercisedSubType.sort((a, b) => compareStrings(a.key, b.key));
+    return {
+        registeredSubTypeCount: registeredKeys.length,
+        exercisedSubTypeCount,
+        untestedSubTypes,
+        untestedAttrsByExercisedSubType,
+    };
+}
+/** Project a report into the stable, diffable snapshot shape. */
+export function toSnapshot(report) {
+    return {
+        registeredSubTypeCount: report.registeredSubTypeCount,
+        exercisedSubTypeCount: report.exercisedSubTypeCount,
+        untestedSubTypes: report.untestedSubTypes,
+        untestedAttrsByExercisedSubType: report.untestedAttrsByExercisedSubType,
+    };
+}
+/** Serialize a snapshot as byte-stable JSON (2-space indent, trailing newline). */
+export function emitSnapshot(snapshot) {
+    return `${JSON.stringify(snapshot, null, 2)}\n`;
+}
+function sortedUnique(items) {
+    return [...new Set(items)].sort(compareStrings);
+}
+/**
+ * Compare a live coverage snapshot against a committed baseline and report any
+ * REGRESSION (an item the baseline had exercised that the live run no longer
+ * exercises). Improvements (items that left an untested set) are NOT regressions.
+ *
+ * - subtype regression: a key in `live.untestedSubTypes` not in baseline's set.
+ * - attr regression: an attr in a live subtype's `untestedAttrs` not in the
+ *   baseline's untested-attrs set for that SAME key. (A subtype that newly became
+ *   untested is reported once as a subtype regression — its attrs are not double-
+ *   reported, since an untested subtype has no per-attr entry by construction.)
+ */
+export function checkRatchet(baseline, live) {
+    const baselineUntestedSubTypes = new Set(baseline.untestedSubTypes);
+    const liveUntestedSubTypes = sortedUnique(live.untestedSubTypes);
+    const regressions = [];
+    // Subtype regressions: a NEW untested subtype (was exercised in the baseline).
+    for (const key of liveUntestedSubTypes) {
+        if (!baselineUntestedSubTypes.has(key)) {
+            regressions.push({ kind: "subtype", key });
+        }
+    }
+    // Attr regressions: for each EXERCISED subtype (it carries a per-attr entry),
+    // any attr now untested that the baseline did not list as untested for that key.
+    const baselineAttrsByKey = new Map();
+    for (const entry of baseline.untestedAttrsByExercisedSubType) {
+        baselineAttrsByKey.set(entry.key, new Set(entry.untestedAttrs));
+    }
+    for (const entry of live.untestedAttrsByExercisedSubType) {
+        // If the whole subtype regressed, it's already reported above — don't also
+        // attribute its attrs (it has no per-attr baseline entry by construction).
+        if (!baselineUntestedSubTypes.has(entry.key) &&
+            liveUntestedSubTypes.includes(entry.key)) {
+            continue;
+        }
+        const baselineUntested = baselineAttrsByKey.get(entry.key) ?? new Set();
+        for (const attr of sortedUnique(entry.untestedAttrs)) {
+            if (!baselineUntested.has(attr)) {
+                regressions.push({ kind: "attr", key: entry.key, attr });
+            }
+        }
+    }
+    regressions.sort((a, b) => {
+        const byKind = compareStrings(a.kind, b.kind);
+        if (byKind !== 0)
+            return byKind;
+        const byKey = compareStrings(a.key, b.key);
+        if (byKey !== 0)
+            return byKey;
+        return compareStrings(a.attr ?? "", b.attr ?? "");
+    });
+    return { ok: regressions.length === 0, regressions };
+}
+/** Render the regressions into an actionable, human-readable failure message. */
+export function formatRatchetFailure(result) {
+    const lines = [
+        "Registry coverage REGRESSED — a previously-exercised vocabulary member is no",
+        "longer exercised by any conformance fixture (monotonic-ratchet violation):",
+        "",
+    ];
+    for (const r of result.regressions) {
+        if (r.kind === "subtype") {
+            lines.push(`  - subtype  ${r.key}  (no fixture exercises it anymore)`);
+        }
+        else {
+            lines.push(`  - attr     ${r.key} @${r.attr}  (no fixture sets it anymore)`);
+        }
+    }
+    lines.push("", "Fix: add a conformance fixture that exercises the listed member(s). Only if", "the member was LEGITIMATELY removed from the vocabulary (a justified change)", "should you regenerate the baseline:", "  cd server/typescript", "  MO_UPDATE_COVERAGE_SNAPSHOT=1 bun test packages/metadata/test/registry-coverage.test.ts");
+    return lines.join("\n");
+}
+//# sourceMappingURL=registry-coverage.js.map

package/dist/registry-coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry-coverage.js","sourceRoot":"","sources":["../src/registry-coverage.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,EAAE;AACF,sEAAsE;AACtE,0EAA0E;AAC1E,wEAAwE;AACxE,0EAA0E;AAC1E,EAAE;AACF,8EAA8E;AAC9E,0EAA0E;AAC1E,uEAAuE;AACvE,+EAA+E;AAC/E,iFAAiF;AACjF,EAAE;AACF,iFAAiF;AACjF,8EAA8E;AAC9E,6EAA6E;AAC7E,0DAA0D;AAE1D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,WAAW,EACX,aAAa,EACb,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AA4EhC,SAAS,QAAQ;IACf,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAU,EAAE,UAAU,EAAE,IAAI,GAAG,EAAuB,EAAE,CAAC;AACrF,CAAC;AAED,yEAAyE;AACzE,SAAS,gBAAgB,CAAC,IAAY;IACpC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,CAAC,GAAW,EAAQ,EAAE;QACjC,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC7B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,8DAA8D;QACxE,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC9B,IAAI,EAA+B,CAAC;YACpC,IAAI,CAAC;gBACH,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;gBACrB,IAAI,CAAC,IAAI,CAAC,CAAC;YACb,CAAC;iBAAM,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAClD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qEAAqE;AACrE,SAAS,gBAAgB,CAAC,GAAW;IACnC,6EAA6E;IAC7E,oEAAoE;IACpE,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,wEAAwE;IACxE,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC/D,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC;AAC5F,CAAC;AAED;;;GAGG;AACH,SAAS,SAAS,CAAC,IAAa,EAAE,QAAgB,EAAE,KAAY;IAC9D,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO;IAC7E,MAAM,GAAG,GAAG,IAA+B,CAAC;IAE5C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC9B,yEAAyE;YACzE,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YAC7C,IAAI,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACzC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;gBACxB,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACtC,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpB,CAAC;aAAM,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC;YAC5B,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1B,CAAC;QACD,4EAA4E;QAC5E,2EAA2E;IAC7E,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,SAAS,aAAa,CAAC,IAAa,EAAE,KAAY;IAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO;IACjC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,SAAS,CAAC,IAAa,EAAE,KAAY;IAC5C,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO;IAC7E,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9C,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9B,CAAC;aAAM,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YAC9B,yEAAyE;YACzE,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,IAAY,EAAE,KAAY;IAC9C,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,6CAA6C;IACvD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,gBAAgB,CAAC,KAAwB;IACvD,MAAM,KAAK,GAAG,QAAQ,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,IAAI,IAAY,CAAC;YACjB,IAAI,CAAC;gBACH,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACpC,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YACD,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,SAAS,cAAc,CAAC,CAAS,EAAE,CAAS;IAC1C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,QAA0B,EAC1B,KAAwB;IAExB,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAEtC,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,sBAAsB,GAAG,CAAC,CAAC,OAAO,EAAE,CACxD,CAAC;IAEF,MAAM,gBAAgB,GAAG,cAAc;SACpC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACzC,IAAI,CAAC,cAAc,CAAC,CAAC;IAExB,MAAM,qBAAqB,GAAG,cAAc,CAAC,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC;IAE9E,+DAA+D;IAC/D,MAAM,+BAA+B,GAAoB,EAAE,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,sBAAsB,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,sDAAsD;QAC9F,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC5D,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK;aAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;aAClB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aACjC,IAAI,CAAC,cAAc,CAAC,CAAC;QACxB,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,+BAA+B,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,+BAA+B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAE7E,OAAO;QACL,sBAAsB,EAAE,cAAc,CAAC,MAAM;QAC7C,qBAAqB;QACrB,gBAAgB;QAChB,+BAA+B;KAChC,CAAC;AACJ,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,UAAU,CAAC,MAAsB;IAC/C,OAAO;QACL,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;QACrD,qBAAqB,EAAE,MAAM,CAAC,qBAAqB;QACnD,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,+BAA+B,EAAE,MAAM,CAAC,+BAA+B;KACxE,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,YAAY,CAAC,QAA0B;IACrD,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC;AAoCD,SAAS,YAAY,CAAC,KAAwB;IAC5C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,QAA0B,EAC1B,IAAsB;IAEtB,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACpE,MAAM,oBAAoB,GAAG,YAAY,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAEjE,MAAM,WAAW,GAAyB,EAAE,CAAC;IAE7C,+EAA+E;IAC/E,KAAK,MAAM,GAAG,IAAI,oBAAoB,EAAE,CAAC;QACvC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,iFAAiF;IACjF,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,+BAA+B,EAAE,CAAC;QAC7D,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,+BAA+B,EAAE,CAAC;QACzD,2EAA2E;QAC3E,2EAA2E;QAC3E,IACE,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YACxC,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EACxC,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAChF,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;IACH,CAAC;IAED,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACxB,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QAChC,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9B,OAAO,cAAc,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,EAAE,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;AACvD,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,oBAAoB,CAAC,MAAqB;IACxD,MAAM,KAAK,GAAa;QACtB,8EAA8E;QAC9E,4EAA4E;QAC5E,EAAE;KACH,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,GAAG,qCAAqC,CAAC,CAAC;QACzE,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,gCAAgC,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CACR,EAAE,EACF,6EAA6E,EAC7E,8EAA8E,EAC9E,qCAAqC,EACrC,wBAAwB,EACxB,2FAA2F,CAC5F,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/registry-manifest-exclusions.d.ts

@@ -0,0 +1,62 @@
+/** The reason an attr/row is classified PORT_PRIVATE (carved out of the agreed vocabulary). */
+export declare enum ExclusionReason {
+    /** Native type-binding / factory mechanism (incl. ADR-0001 `object`, ADR-0005 `objectAdapter`). */
+    NativeBinding = "native-binding",
+    /** Bare structural / OO-shape keyword (`isArray`/`isAbstract`/`extends`/`implements`/`isInterface`). */
+    StructuralKeyword = "structural-keyword",
+    /** A `commonAttr` (`description`) re-registered per-type — belongs in the commonAttrs block. */
+    CommonAttrDup = "common-attr-dup",
+    /** The `metadata.base` per-port inheritance anchor (deferred `inheritsFrom` facet). */
+    InheritanceAnchor = "inheritance-anchor",
+    /** TS-web-presentation-only facet (the generic `view.*` controls). */
+    PresentationOnly = "presentation-only",
+    /**
+     * FR-024 TS-reference-first rollout (RETIRED at the atomic flip): new
+     * vocabulary genuinely registered (and gated by TS tests) but carved out of
+     * the cross-port manifest until every port registered it; the carve-outs were
+     * then removed and the canonical updated in ONE commit (the same lifecycle
+     * the retired TsPilotVocab carve-outs followed for `@responseRef`/`@provided`).
+     * The `object.projection` row + the `origin.aggregate.via` required-override
+     * flipped when all five ports shipped the FR-024 loader-grammar slice. The
+     * reason is kept as the documented lifecycle slot for the NEXT
+     * reference-first rollout; it currently has no members.
+     */
+    Fr024Pending = "fr024-pending"
+}
+/**
+ * The per-type attr names carved OUT of the agreed vocabulary, each mapped to
+ * its PORT_PRIVATE reason category. This is the classification — an attr name
+ * here is OUT *because of its declared category*, not merely because it is
+ * listed. A per-type attr NOT in this map is LOGICAL (INCLUDED) by the
+ * ADR-0023 sealed-vocabulary contract.
+ */
+export declare const EXCLUDED_PER_TYPE_ATTRS: ReadonlyMap<string, ExclusionReason>;
+/**
+ * `(type, subType)` rows carved OUT of the agreed vocabulary, with reason.
+ * `metadata.base` is the per-port inheritance anchor (INHERITANCE_ANCHOR); the
+ * 11 generic `view.*` controls are TS-web-presentation-only (PRESENTATION_ONLY).
+ * Returns the reason, or `undefined` for an INCLUDED (logical) row.
+ */
+export declare function classifyTypeSubType(type: string, subType: string): ExclusionReason | undefined;
+/** True if a `(type, subType)` row is carved out of the manifest (any reason). */
+export declare function isExcludedTypeSubType(type: string, subType: string): boolean;
+/**
+ * FR-024-pending manifest REQUIREDNESS overrides (the attr-level analogue of
+ * the `Fr024Pending` row carve-out). Key is `"type.subType.attrName"`; value is
+ * the requiredness the cross-port canonical (`expected-registry.json`) still
+ * records. The TS registry already registers the FR-024 requiredness (and the
+ * TS loader enforces it), but the other four ports have not flipped yet — the
+ * manifest keeps emitting the pre-FR-024 agreed value so the shared canonical
+ * stays byte-identical until the Phase-E atomic all-ports flip, when this map
+ * empties and the canonical is updated in ONE commit.
+ *
+ * Members today: NONE — `origin.aggregate.via` flipped at the FR-024 atomic
+ * all-ports manifest flip (it is OPTIONAL everywhere under ADR-0029 decision 5:
+ * omitted `@via` is inferred when exactly one single-hop relationship leads
+ * from the base entity to the `@of` entity). The mechanism stays for the next
+ * reference-first rollout.
+ */
+export declare const FR024_PENDING_REQUIRED_OVERRIDES: ReadonlyMap<string, boolean>;
+/** Manifest requiredness for an attr — the FR-024-pending override when one exists. */
+export declare function manifestRequiredOverride(type: string, subType: string, attrName: string): boolean | undefined;
+//# sourceMappingURL=registry-manifest-exclusions.d.ts.map

package/dist/registry-manifest-exclusions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry-manifest-exclusions.d.ts","sourceRoot":"","sources":["../src/registry-manifest-exclusions.ts"],"names":[],"mappings":"AAyEA,+FAA+F;AAC/F,oBAAY,eAAe;IACzB,mGAAmG;IACnG,aAAa,mBAAmB;IAChC,wGAAwG;IACxG,iBAAiB,uBAAuB;IACxC,gGAAgG;IAChG,aAAa,oBAAoB;IACjC,uFAAuF;IACvF,iBAAiB,uBAAuB;IACxC,sEAAsE;IACtE,gBAAgB,sBAAsB;IACtC;;;;;;;;;;OAUG;IACH,YAAY,kBAAkB;CAC/B;AAWD;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CASvE,CAAC;AAEH;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,eAAe,GAAG,SAAS,CAQ7B;AAED,kFAAkF;AAClF,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAE5E;AAED;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,gCAAgC,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAe,CAAC;AAE1F,uFAAuF;AACvF,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,OAAO,GAAG,SAAS,CAErB"}

package/dist/registry-manifest-exclusions.js

@@ -0,0 +1,163 @@
+// SP-G Registry Conformance — manifest emitter CLASSIFICATION (the in/out boundary).
+//
+// WHY THIS FILE IS A CLASSIFICATION, NOT A NAME-MATCH LIST (Wave 3b).
+// ---------------------------------------------------------------------------
+// The manifest's in/out boundary used to be decided by a bare exclusion
+// name-list: an attr was OUT iff its name happened to be hand-added to the set,
+// IN otherwise — a silent default-include. That is a tautology: it cannot tell a
+// genuinely-logical attr from a port-private one; it just records the names
+// someone remembered to list. The next physical/binding attr nobody adds to the
+// list silently enters the cross-port logical contract.
+//
+// The principled axis. Every metamodel facet the emitter encounters is one of:
+//
+//   • LOGICAL  — part of the cross-port vocabulary contract. MUST be identical
+//                in all five ports (this is what the gate measures). INCLUDED.
+//                Note "logical" is NOT "non-physical": the physical-DB attrs
+//                `column`/`dbColumnType`/`db.indexed`/`precision`/`scale`/
+//                `maxLength`/`unique` ARE logical here — they are the agreed
+//                cross-port persistence vocabulary (every port emits the same
+//                DDL contract from them). The axis is cross-port-CONTRACT vs
+//                port-PRIVATE-mechanism, not abstract-vs-physical.
+//
+//   • PORT_PRIVATE — a per-port mechanism, NOT cross-port vocabulary:
+//        - NATIVE_BINDING   factories / native type classes / the ADR-0001
+//                           `object` class-FQN binding + ADR-0005 `objectAdapter`
+//                           value-access seam (OO-port runtime mechanisms).
+//        - STRUCTURAL_KEYWORD bare body keywords (`isArray`/`isAbstract`/
+//                           `extends`/`implements`/`isInterface`) — the
+//                           structural/OO-shape spine, peers of name/children,
+//                           never per-type attributes.
+//        - COMMON_ATTR_DUP  `description` re-registered per-type (it lives in the
+//                           `commonAttrs` block, never as a per-type attr).
+//        - INHERITANCE_ANCHOR the `metadata.base` per-port abstract anchor (the
+//                           deferred `inheritsFrom` facet; other ports register
+//                           only the concrete `metadata.root`).
+//        - PRESENTATION_ONLY the 11 generic `view.*` controls (checkbox/date/…)
+//                           — a TS-web presentation facet (TS web client + TS
+//                           form codegen consume them; zero backend/codegen/
+//                           render consumers in any port), like the TS-only `D1`
+//                           dialect. Stay REGISTERED in TS; deregistered in
+//                           C#/Python; EXCLUDED from the manifest everywhere.
+//
+// The boundary is now an EXPLICIT classification (not a silent default): the
+// port-private set is enumerated WITH a reason category, and a TRIPWIRE
+// (`assertExclusionsAreLive`) asserts every enumerated exclusion is genuinely
+// present in the registry — so a stale/typo'd exclusion (an excluded name no
+// provider registers) fails the emit instead of silently doing nothing.
+//
+// Inclusion-by-default is SOUND here precisely because of ADR-0023: the library
+// seals its composed metamodel registry after the agreed-provider bootstrap, so
+// every registered (type, subType, attr) is, by construction, deliberately-agreed
+// metamodel vocabulary — there is no "accidental" registration to silently let
+// in. The classification's job is therefore to carve the small, declared set of
+// agreed-but-port-private facets OUT of that agreed vocabulary, with a reason and
+// a liveness tripwire. See fixtures/registry-conformance/README.md.
+//
+// FR-033 NOTE — the manifest now emits per-type and per-attr `description`
+// (required, non-empty), optional `rules`/`example`/`whenToUse`, AND the full
+// structural constraint graph (`children` from childRules, with optional
+// cardinality, and optional `parents`) as FIRST-CLASS PROPERTIES of each type/
+// attr entry. The v1 boundary note that listed `childRules` / type-level
+// `description` as EXCLUDED is SUPERSEDED for those facets. This does NOT change
+// the COMMON_ATTR_DUP carve-out below: that entry removes a per-type ATTR whose
+// NAME is "description" (the commonAttr re-registered as a per-type attr) from
+// the `attrs` ARRAY — a different mechanism from the type/attr-level
+// `description` PROPERTY now emitted as a sibling of `attrs`. The carve-out (and
+// the test asserting no `attrs[]` entry is named "description") stays unchanged.
+import { RESERVED_KEY_IS_ARRAY, RESERVED_KEY_EXTENDS } from "./shared/structural.js";
+import { DOC_ATTR_DESCRIPTION } from "./core/documentation/doc-constants.js";
+import { SUBTYPE_BASE, TYPE_METADATA, TYPE_VIEW } from "./shared/base-types.js";
+import { VIEW_SUBTYPE_CURRENCY } from "./presentation/view/view-constants.js";
+/** The reason an attr/row is classified PORT_PRIVATE (carved out of the agreed vocabulary). */
+export var ExclusionReason;
+(function (ExclusionReason) {
+    /** Native type-binding / factory mechanism (incl. ADR-0001 `object`, ADR-0005 `objectAdapter`). */
+    ExclusionReason["NativeBinding"] = "native-binding";
+    /** Bare structural / OO-shape keyword (`isArray`/`isAbstract`/`extends`/`implements`/`isInterface`). */
+    ExclusionReason["StructuralKeyword"] = "structural-keyword";
+    /** A `commonAttr` (`description`) re-registered per-type — belongs in the commonAttrs block. */
+    ExclusionReason["CommonAttrDup"] = "common-attr-dup";
+    /** The `metadata.base` per-port inheritance anchor (deferred `inheritsFrom` facet). */
+    ExclusionReason["InheritanceAnchor"] = "inheritance-anchor";
+    /** TS-web-presentation-only facet (the generic `view.*` controls). */
+    ExclusionReason["PresentationOnly"] = "presentation-only";
+    /**
+     * FR-024 TS-reference-first rollout (RETIRED at the atomic flip): new
+     * vocabulary genuinely registered (and gated by TS tests) but carved out of
+     * the cross-port manifest until every port registered it; the carve-outs were
+     * then removed and the canonical updated in ONE commit (the same lifecycle
+     * the retired TsPilotVocab carve-outs followed for `@responseRef`/`@provided`).
+     * The `object.projection` row + the `origin.aggregate.via` required-override
+     * flipped when all five ports shipped the FR-024 loader-grammar slice. The
+     * reason is kept as the documented lifecycle slot for the NEXT
+     * reference-first rollout; it currently has no members.
+     */
+    ExclusionReason["Fr024Pending"] = "fr024-pending";
+})(ExclusionReason || (ExclusionReason = {}));
+/** `isAbstract` as Java's per-type attr name (the contract's bare `abstract` structural keyword). */
+const ATTR_NAME_IS_ABSTRACT = "isAbstract";
+/** Java-OO structural-shape keywords as per-type attr names (the OO modeling spine). */
+const ATTR_NAME_IMPLEMENTS = "implements";
+const ATTR_NAME_IS_INTERFACE = "isInterface";
+/** ADR-0001 class-FQN type binding + ADR-0005 hybrid value-access seam (per-port runtime mechanisms). */
+const ATTR_NAME_OBJECT = "object";
+const ATTR_NAME_OBJECT_ADAPTER = "objectAdapter";
+/**
+ * The per-type attr names carved OUT of the agreed vocabulary, each mapped to
+ * its PORT_PRIVATE reason category. This is the classification — an attr name
+ * here is OUT *because of its declared category*, not merely because it is
+ * listed. A per-type attr NOT in this map is LOGICAL (INCLUDED) by the
+ * ADR-0023 sealed-vocabulary contract.
+ */
+export const EXCLUDED_PER_TYPE_ATTRS = new Map([
+    [RESERVED_KEY_IS_ARRAY, ExclusionReason.StructuralKeyword],
+    [ATTR_NAME_IS_ABSTRACT, ExclusionReason.StructuralKeyword],
+    [RESERVED_KEY_EXTENDS, ExclusionReason.StructuralKeyword],
+    [ATTR_NAME_IMPLEMENTS, ExclusionReason.StructuralKeyword],
+    [ATTR_NAME_IS_INTERFACE, ExclusionReason.StructuralKeyword],
+    [ATTR_NAME_OBJECT, ExclusionReason.NativeBinding],
+    [ATTR_NAME_OBJECT_ADAPTER, ExclusionReason.NativeBinding],
+    [DOC_ATTR_DESCRIPTION, ExclusionReason.CommonAttrDup],
+]);
+/**
+ * `(type, subType)` rows carved OUT of the agreed vocabulary, with reason.
+ * `metadata.base` is the per-port inheritance anchor (INHERITANCE_ANCHOR); the
+ * 11 generic `view.*` controls are TS-web-presentation-only (PRESENTATION_ONLY).
+ * Returns the reason, or `undefined` for an INCLUDED (logical) row.
+ */
+export function classifyTypeSubType(type, subType) {
+    if (type === TYPE_METADATA && subType === SUBTYPE_BASE) {
+        return ExclusionReason.InheritanceAnchor; // C-5 — Java's internal inheritance anchor
+    }
+    if (type === TYPE_VIEW && subType !== SUBTYPE_BASE && subType !== VIEW_SUBTYPE_CURRENCY) {
+        return ExclusionReason.PresentationOnly; // B-2 — TS-web-presentation generic view controls
+    }
+    return undefined;
+}
+/** True if a `(type, subType)` row is carved out of the manifest (any reason). */
+export function isExcludedTypeSubType(type, subType) {
+    return classifyTypeSubType(type, subType) !== undefined;
+}
+/**
+ * FR-024-pending manifest REQUIREDNESS overrides (the attr-level analogue of
+ * the `Fr024Pending` row carve-out). Key is `"type.subType.attrName"`; value is
+ * the requiredness the cross-port canonical (`expected-registry.json`) still
+ * records. The TS registry already registers the FR-024 requiredness (and the
+ * TS loader enforces it), but the other four ports have not flipped yet — the
+ * manifest keeps emitting the pre-FR-024 agreed value so the shared canonical
+ * stays byte-identical until the Phase-E atomic all-ports flip, when this map
+ * empties and the canonical is updated in ONE commit.
+ *
+ * Members today: NONE — `origin.aggregate.via` flipped at the FR-024 atomic
+ * all-ports manifest flip (it is OPTIONAL everywhere under ADR-0029 decision 5:
+ * omitted `@via` is inferred when exactly one single-hop relationship leads
+ * from the base entity to the `@of` entity). The mechanism stays for the next
+ * reference-first rollout.
+ */
+export const FR024_PENDING_REQUIRED_OVERRIDES = new Map([]);
+/** Manifest requiredness for an attr — the FR-024-pending override when one exists. */
+export function manifestRequiredOverride(type, subType, attrName) {
+    return FR024_PENDING_REQUIRED_OVERRIDES.get(`${type}.${subType}.${attrName}`);
+}
+//# sourceMappingURL=registry-manifest-exclusions.js.map

package/dist/registry-manifest-exclusions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry-manifest-exclusions.js","sourceRoot":"","sources":["../src/registry-manifest-exclusions.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,EAAE;AACF,sEAAsE;AACtE,8EAA8E;AAC9E,wEAAwE;AACxE,gFAAgF;AAChF,iFAAiF;AACjF,4EAA4E;AAC5E,gFAAgF;AAChF,wDAAwD;AACxD,EAAE;AACF,+EAA+E;AAC/E,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,6EAA6E;AAC7E,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,mEAAmE;AACnE,EAAE;AACF,sEAAsE;AACtE,2EAA2E;AAC3E,kFAAkF;AAClF,4EAA4E;AAC5E,0EAA0E;AAC1E,wEAAwE;AACxE,+EAA+E;AAC/E,uDAAuD;AACvD,kFAAkF;AAClF,4EAA4E;AAC5E,gFAAgF;AAChF,gFAAgF;AAChF,gEAAgE;AAChE,gFAAgF;AAChF,8EAA8E;AAC9E,6EAA6E;AAC7E,iFAAiF;AACjF,4EAA4E;AAC5E,8EAA8E;AAC9E,EAAE;AACF,6EAA6E;AAC7E,wEAAwE;AACxE,8EAA8E;AAC9E,6EAA6E;AAC7E,wEAAwE;AACxE,EAAE;AACF,gFAAgF;AAChF,gFAAgF;AAChF,kFAAkF;AAClF,+EAA+E;AAC/E,gFAAgF;AAChF,kFAAkF;AAClF,oEAAoE;AACpE,EAAE;AACF,2EAA2E;AAC3E,8EAA8E;AAC9E,yEAAyE;AACzE,+EAA+E;AAC/E,yEAAyE;AACzE,iFAAiF;AACjF,gFAAgF;AAChF,+EAA+E;AAC/E,qEAAqE;AACrE,iFAAiF;AACjF,iFAAiF;AAEjF,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAE9E,+FAA+F;AAC/F,MAAM,CAAN,IAAY,eAuBX;AAvBD,WAAY,eAAe;IACzB,mGAAmG;IACnG,mDAAgC,CAAA;IAChC,wGAAwG;IACxG,2DAAwC,CAAA;IACxC,gGAAgG;IAChG,oDAAiC,CAAA;IACjC,uFAAuF;IACvF,2DAAwC,CAAA;IACxC,sEAAsE;IACtE,yDAAsC,CAAA;IACtC;;;;;;;;;;OAUG;IACH,iDAA8B,CAAA;AAChC,CAAC,EAvBW,eAAe,KAAf,eAAe,QAuB1B;AAED,qGAAqG;AACrG,MAAM,qBAAqB,GAAG,YAAY,CAAC;AAC3C,wFAAwF;AACxF,MAAM,oBAAoB,GAAG,YAAY,CAAC;AAC1C,MAAM,sBAAsB,GAAG,aAAa,CAAC;AAC7C,yGAAyG;AACzG,MAAM,gBAAgB,GAAG,QAAQ,CAAC;AAClC,MAAM,wBAAwB,GAAG,eAAe,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAyC,IAAI,GAAG,CAAC;IACnF,CAAC,qBAAqB,EAAE,eAAe,CAAC,iBAAiB,CAAC;IAC1D,CAAC,qBAAqB,EAAE,eAAe,CAAC,iBAAiB,CAAC;IAC1D,CAAC,oBAAoB,EAAE,eAAe,CAAC,iBAAiB,CAAC;IACzD,CAAC,oBAAoB,EAAE,eAAe,CAAC,iBAAiB,CAAC;IACzD,CAAC,sBAAsB,EAAE,eAAe,CAAC,iBAAiB,CAAC;IAC3D,CAAC,gBAAgB,EAAE,eAAe,CAAC,aAAa,CAAC;IACjD,CAAC,wBAAwB,EAAE,eAAe,CAAC,aAAa,CAAC;IACzD,CAAC,oBAAoB,EAAE,eAAe,CAAC,aAAa,CAAC;CACtD,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAY,EACZ,OAAe;IAEf,IAAI,IAAI,KAAK,aAAa,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QACvD,OAAO,eAAe,CAAC,iBAAiB,CAAC,CAAC,2CAA2C;IACvF,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,YAAY,IAAI,OAAO,KAAK,qBAAqB,EAAE,CAAC;QACxF,OAAO,eAAe,CAAC,gBAAgB,CAAC,CAAC,kDAAkD;IAC7F,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,OAAe;IACjE,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;AAC1D,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAiC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;AAE1F,uFAAuF;AACvF,MAAM,UAAU,wBAAwB,CACtC,IAAY,EACZ,OAAe,EACf,QAAgB;IAEhB,OAAO,gCAAgC,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,OAAO,IAAI,QAAQ,EAAE,CAAC,CAAC;AAChF,CAAC"}