wingfoil 0.2.1

package/dist/dna/path.js

@@ -0,0 +1,289 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DNA_ENTRY_OPTION_PREFIX = void 0;
+exports.dnaEntryOptionName = dnaEntryOptionName;
+exports.dnaEntryFieldOfOption = dnaEntryFieldOfOption;
+exports.resolveDnaPath = resolveDnaPath;
+exports.dnaCollectionPaths = dnaCollectionPaths;
+exports.dnaEntryOptionNames = dnaEntryOptionNames;
+const schema_1 = require("./schema");
+const set_1 = require("./set");
+/**
+ * The prefix every schema-derived entry-field option carries: `--entry-<field>`, spelled with the
+ * schema's own field name (`--entry-executes_as`, not `--entry-executes-as`).
+ *
+ * It exists because the option set is **derived** — `dnaEntryOptionNames()` reads `spec-002`'s entry
+ * schemas — while the global flags are **declared** (`spec-008` §2), and the two namespaces had no
+ * reason to stay disjoint. They did not: `TechEntry` declares `version`, so
+ * `dna add stacks.technologies --value Zod --category validation --version 4.0` reached Commander's
+ * program-level `-V, --version`, printed the CLI version, exited `0` and wrote nothing, while
+ * `--help` advertised the option as working. Measured on a real `wingfoil init` project.
+ *
+ * **It is not a `version` problem.** Driving a synthetic Commander tree with one subcommand option per
+ * global flag shows three distinct outcomes, two of them silent: `--version` fires the program's own
+ * action and exits; `--format` and `--verbose` are swallowed by the program-level option and simply
+ * do not appear in the subcommand's parsed options; `--color` and a non-colliding name survive. So
+ * the failure mode is "the value vanishes", and any future entry field named after any current or
+ * future global flag inherits it.
+ *
+ * **What an unprefixed spelling therefore does, which is two different things.** A name §2 does not
+ * declare (`--category`, `--email`) is refused by Commander as an unknown option, exit `1`. A name §2
+ * DOES declare — today exactly one, `version`, which is the whole overlap between the derived set and
+ * the global set — is consumed by the global instead and is never reported: that is the silent no-op
+ * above. `spec-008` §9's option row states both halves, because stating only the first is a claim
+ * that is false for the very field the section uses as its example.
+ *
+ * **Why a prefix rather than refusing to register a shadowing name.** Refusal trades a silent failure
+ * for a loud hole: `version` is a field `spec-002` declares on `TechEntry`, so refusing it would make
+ * a schema-declared field permanently unwritable, and `dl-081` ratified a surface that reaches every
+ * collection. Refusal is also unstable in the wrong direction — the global set can grow (`spec-008`
+ * §2 is amendable), and a new global flag would then retroactively disable an entry field that had
+ * been writable, breaking scripts with no code change nearby. A prefix removes the collision **by
+ * construction**, for every present and future name on both sides, and it is uniform rather than
+ * conditional: a rule that prefixed only the colliding names would make an option's spelling depend
+ * on a table declared elsewhere, so adding a global flag later would silently RENAME an existing
+ * option. `test/cli/derived-option-namespace.test.ts` holds the invariant that keeps this true,
+ * derived from the built program rather than from a hand-listed copy of `spec-008` §2.
+ */
+exports.DNA_ENTRY_OPTION_PREFIX = 'entry-';
+/** The CLI/MCP option name carrying one entry field — the single place the prefix is applied. */
+function dnaEntryOptionName(field) {
+    return `${exports.DNA_ENTRY_OPTION_PREFIX}${field}`;
+}
+/** The entry field an option name carries, or `undefined` when it is not an entry-field option. */
+function dnaEntryFieldOfOption(option) {
+    return option.startsWith(exports.DNA_ENTRY_OPTION_PREFIX) ? option.slice(exports.DNA_ENTRY_OPTION_PREFIX.length) : undefined;
+}
+/** Strip the wrappers that do not change addressing (`.optional()`, `.nullable()`, `.default()`). */
+function unwrap(node) {
+    let current = node;
+    while ((current.def.type === 'optional' || current.def.type === 'nullable' || current.def.type === 'default') &&
+        current.def.innerType !== undefined) {
+        current = current.def.innerType;
+    }
+    return current;
+}
+/** Whether the schema makes this node omittable — the only thing that decides if `remove` may drop it. */
+function isOptional(node) {
+    return node.def.type === 'optional' || node.def.type === 'default' || node.def.type === 'nullable';
+}
+/** How a leaf's value is shaped, for coercing a `--entry-<field>` option string into it. */
+function fieldKind(node) {
+    const inner = unwrap(node);
+    if (inner.def.type === 'string')
+        return 'string';
+    if (inner.def.type === 'number')
+        return 'number';
+    if (inner.def.type === 'boolean')
+        return 'boolean';
+    if (inner.def.type === 'array' && inner.def.element !== undefined && unwrap(inner.def.element).def.type === 'string') {
+        return 'string-list';
+    }
+    return 'other';
+}
+/** The fields one collection's entry object declares, in schema order (deterministic — REQ-SYS-07). */
+function entryFieldsOf(entrySchema) {
+    const shape = unwrap(entrySchema).def.shape ?? {};
+    return Object.keys(shape).map((name) => {
+        const field = shape[name];
+        return { name, kind: fieldKind(field), required: !isOptional(field) };
+    });
+}
+/** The node kind a schema node resolves to when a path ends on it. */
+function kindOf(node) {
+    const inner = unwrap(node);
+    if (inner.def.type === 'object')
+        return 'section';
+    if (inner.def.type === 'array') {
+        const element = inner.def.element === undefined ? undefined : unwrap(inner.def.element);
+        if (element?.def.type === 'object')
+            return 'collection';
+        if (element?.def.type === 'string')
+            return 'string-list';
+        return undefined;
+    }
+    if (inner.def.type === 'string' || inner.def.type === 'number' || inner.def.type === 'boolean')
+        return 'scalar';
+    return undefined;
+}
+/**
+ * `a.b.c` for the first `depth` segments — how a refusal names the part of the path that did resolve.
+ *
+ * A segment whose name contains a `.` is re-quoted (`quoteDnaSegment`, task-099/`dl-083`), so the
+ * reported prefix is a path that re-parses to the node it names: `stacks.technologies."Node.js"`,
+ * never `stacks.technologies.Node.js`, which would re-split into four segments and name something
+ * else.
+ *
+ * The round trip holds here because `segments` came out of `splitDnaPath` and therefore carries no
+ * `"`: `quoteDnaSegment` is the inverse on exactly those names, not on every string — its own note
+ * measures where it stops being one, and why that gap cannot be reached from here.
+ */
+function prefixOf(segments, depth) {
+    return segments.slice(0, depth).map(set_1.quoteDnaSegment).join('.');
+}
+/** The refusal a segment the schema does not declare produces: it names the whole path AND the segment. */
+function unknownField(path, segments, depth) {
+    const where = depth === 0 ? 'the dna.yaml schema' : `'${prefixOf(segments, depth)}'`;
+    return { ok: false, message: `unknown DNA field '${path}': '${segments[depth]}' is not declared under ${where}` };
+}
+/**
+ * Resolve `keyPath` against `DnaYaml` and `dna`, reporting what a verb may do at the end of it.
+ *
+ * Every refusal names the **full** path (so an error message is greppable against the invocation) and
+ * the part of it that failed. The four refusal families:
+ *
+ * - a segment the schema does not declare — `bug-084`, the reason this module exists;
+ * - a path that tries to descend through a value or through a list of values;
+ * - an index where an entry `name` is expected (`dl-081`: indices are not the addressing form);
+ * - an entry `name` the collection does not carry, or carries more than once. The second is
+ *   unreachable through any CLI/MCP path once `DnaYaml`'s per-collection uniqueness refinement is in
+ *   force (a duplicate-bearing document no longer loads), and is kept because this function is a pure
+ *   helper that can be handed any object — including, in a test, one that never went through the
+ *   loader.
+ *
+ * A **declared but absent** node is not a refusal: it resolves with `exists: false`, which is what lets
+ * `dna set project.license --value MIT` fill an optional section the document happens to omit. That is the
+ * precise line `bug-084` draws — creating a node the schema declares is legitimate; inventing one it
+ * does not declare is the defect.
+ *
+ * `schemaRoot` defaults to `DnaYaml` — the only schema any caller passes — and is a parameter because
+ * the traversal is a function of *a* schema and a document, not of this one: it keeps the
+ * "addressable shape" rules (which node kinds a path may end on, which it may descend through)
+ * testable against shapes `spec-002` does not declare today, rather than leaving them as assertions
+ * nothing exercises.
+ */
+function resolveDnaPath(dna, keyPath, schemaRoot = schema_1.DnaYaml) {
+    const split = (0, set_1.splitDnaPath)(keyPath);
+    if (!split.ok) {
+        return { ok: false, message: split.message };
+    }
+    const segments = split.segments;
+    let schema = schemaRoot;
+    let value = dna;
+    let collectionPath;
+    let entryIndex;
+    let entryFields;
+    for (let depth = 0; depth < segments.length; depth += 1) {
+        const segment = segments[depth];
+        const node = unwrap(schema);
+        if (node.def.type === 'object') {
+            const child = node.def.shape?.[segment];
+            if (child === undefined)
+                return unknownField(keyPath, segments, depth);
+            schema = child;
+            value = isRecord(value) ? value[segment] : undefined;
+            collectionPath = undefined;
+            entryIndex = undefined;
+            entryFields = undefined;
+            continue;
+        }
+        if (node.def.type === 'array' && node.def.element !== undefined) {
+            const element = unwrap(node.def.element);
+            if (element.def.type !== 'object') {
+                return {
+                    ok: false,
+                    message: `unknown DNA field '${keyPath}': '${prefixOf(segments, depth)}' is a list of values, with nothing to address below it`,
+                };
+            }
+            if (/^\d+$/.test(segment)) {
+                return {
+                    ok: false,
+                    message: `unknown DNA field '${keyPath}': entries of '${prefixOf(segments, depth)}' are addressed by name, not by index`,
+                };
+            }
+            const entries = Array.isArray(value) ? value : [];
+            const matches = entries
+                .map((entry, index) => ({ entry, index }))
+                .filter(({ entry }) => isRecord(entry) && entry.name === segment);
+            if (matches.length === 0) {
+                return { ok: false, message: `no entry named '${segment}' in '${prefixOf(segments, depth)}' (path '${keyPath}')` };
+            }
+            if (matches.length > 1) {
+                return {
+                    ok: false,
+                    message: `'${prefixOf(segments, depth)}' carries ${matches.length} entries named '${segment}' — the name is ambiguous (path '${keyPath}')`,
+                };
+            }
+            collectionPath = prefixOf(segments, depth);
+            entryFields = entryFieldsOf(node.def.element);
+            entryIndex = matches[0].index;
+            schema = node.def.element;
+            value = matches[0].entry;
+            continue;
+        }
+        return {
+            ok: false,
+            message: `unknown DNA field '${keyPath}': '${prefixOf(segments, depth)}' is a value, not a section`,
+        };
+    }
+    // The path ended on `schema`/`value`. An entry is the one kind the loop above already established.
+    const isEntry = entryIndex !== undefined && collectionPath !== undefined && segments.length > 0;
+    const kind = isEntry ? 'entry' : kindOf(schema);
+    if (kind === undefined) {
+        return { ok: false, message: `unknown DNA field '${keyPath}': it is not a field this schema can address` };
+    }
+    const base = {
+        kind,
+        path: keyPath,
+        segments,
+        value,
+        exists: value !== undefined,
+        required: !isOptional(schema),
+    };
+    if (kind === 'entry') {
+        return { ok: true, target: { ...base, entryIndex, entryFields, collectionPath } };
+    }
+    if (kind === 'collection') {
+        return { ok: true, target: { ...base, entryFields: entryFieldsOf(unwrap(schema).def.element) } };
+    }
+    return { ok: true, target: base };
+}
+/** Whether `value` is a plain object we can read a key from (not null, not an array). */
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+/**
+ * Every collection `DnaYaml` declares, as a dotted path — derived from the schema, in a fixed order
+ * (REQ-SYS-07). Used to build the union of `--<entry-field>` options the mutation verbs accept and to
+ * document the surface in `--help`; nothing here is hand-listed, so a collection added to `spec-002`
+ * becomes addressable without touching this module.
+ */
+function dnaCollectionPaths() {
+    const out = [];
+    const walk = (node, prefix) => {
+        const inner = unwrap(node);
+        if (inner.def.type !== 'object' || inner.def.shape === undefined)
+            return;
+        for (const key of Object.keys(inner.def.shape)) {
+            const child = unwrap(inner.def.shape[key]);
+            const path = [...prefix, key];
+            if (kindOf(child) === 'collection')
+                out.push(path.join('.'));
+            else if (child.def.type === 'object')
+                walk(child, path);
+        }
+    };
+    walk(schema_1.DnaYaml, []);
+    return out;
+}
+/**
+ * The union of every field name the entries of every collection may carry, minus `name` (which travels
+ * in `--value`, per `dl-081`'s `--value`-is-the-identity convention), in a fixed order. This is the
+ * `--entry-<field>` option set `dna add`/`dna update` register on both surfaces (see {@link dnaEntryOptionName}).
+ */
+function dnaEntryOptionNames() {
+    const seen = new Set();
+    const out = [];
+    for (const path of dnaCollectionPaths()) {
+        const resolved = resolveDnaPath({}, path);
+        const fields = resolved.ok ? (resolved.target.entryFields ?? []) : [];
+        for (const field of fields) {
+            if (field.name === 'name' || seen.has(field.name))
+                continue;
+            seen.add(field.name);
+            out.push(field.name);
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=path.js.map

package/dist/dna/path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"path.js","sourceRoot":"","sources":["../../src/dna/path.ts"],"names":[],"mappings":";;;AAoFA,gDAEC;AAGD,sDAEC;AAmKD,wCA2FC;AAaD,gDAcC;AAOD,kDAaC;AA/VD,qCAAmC;AACnC,+BAAsD;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACU,QAAA,uBAAuB,GAAG,QAAiB,CAAC;AAEzD,iGAAiG;AACjG,SAAgB,kBAAkB,CAAC,KAAa;IAC9C,OAAO,GAAG,+BAAuB,GAAG,KAAK,EAAE,CAAC;AAC9C,CAAC;AAED,mGAAmG;AACnG,SAAgB,qBAAqB,CAAC,MAAc;IAClD,OAAO,MAAM,CAAC,UAAU,CAAC,+BAAuB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,+BAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/G,CAAC;AA+DD,qGAAqG;AACrG,SAAS,MAAM,CAAC,IAAgB;IAC9B,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OACE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;QACtG,OAAO,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,EACnC,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;IAClC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,0GAA0G;AAC1G,SAAS,UAAU,CAAC,IAAgB;IAClC,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,CAAC;AACrG,CAAC;AAED,4FAA4F;AAC5F,SAAS,SAAS,CAAC,IAAgB;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IACjD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IACjD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACnD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrH,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,uGAAuG;AACvG,SAAS,aAAa,CAAC,WAAuB;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;IAClD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACrC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,sEAAsE;AACtE,SAAS,MAAM,CAAC,IAAgB;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxF,IAAI,OAAO,EAAE,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,YAAY,CAAC;QACxD,IAAI,OAAO,EAAE,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,aAAa,CAAC;QACzD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAChH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,QAAQ,CAAC,QAA2B,EAAE,KAAa;IAC1D,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,qBAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACjE,CAAC;AAED,2GAA2G;AAC3G,SAAS,YAAY,CAAC,IAAY,EAAE,QAA2B,EAAE,KAAa;IAC5E,MAAM,KAAK,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC;IACrF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,IAAI,OAAO,QAAQ,CAAC,KAAK,CAAC,2BAA2B,KAAK,EAAE,EAAE,CAAC;AACpH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,SAAgB,cAAc,CAAC,GAAY,EAAE,OAAe,EAAE,aAAwB,gBAAO;IAC3F,MAAM,KAAK,GAAG,IAAA,kBAAY,EAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;IAC/C,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAEhC,IAAI,MAAM,GAAG,UAAmC,CAAC;IACjD,IAAI,KAAK,GAAY,GAAG,CAAC;IACzB,IAAI,cAAkC,CAAC;IACvC,IAAI,UAA8B,CAAC;IACnC,IAAI,WAAiD,CAAC;IAEtD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAE,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAE5B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;YACxC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,YAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YACvE,MAAM,GAAG,KAAK,CAAC;YACf,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACrD,cAAc,GAAG,SAAS,CAAC;YAC3B,UAAU,GAAG,SAAS,CAAC;YACvB,WAAW,GAAG,SAAS,CAAC;YACxB,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAChE,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAClC,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,OAAO,EAAE,sBAAsB,OAAO,OAAO,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,yDAAyD;iBAChI,CAAC;YACJ,CAAC;YACD,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1B,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,OAAO,EAAE,sBAAsB,OAAO,kBAAkB,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,uCAAuC;iBACzH,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,OAAO;iBACpB,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;iBACzC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;YACpE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,mBAAmB,OAAO,SAAS,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,YAAY,OAAO,IAAI,EAAE,CAAC;YACrH,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,OAAO,EAAE,IAAI,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,OAAO,CAAC,MAAM,mBAAmB,OAAO,oCAAoC,OAAO,IAAI;iBAC3I,CAAC;YACJ,CAAC;YACD,cAAc,GAAG,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC3C,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC9C,UAAU,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;YAC/B,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAC1B,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,sBAAsB,OAAO,OAAO,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,6BAA6B;SACpG,CAAC;IACJ,CAAC;IAED,mGAAmG;IACnG,MAAM,OAAO,GAAG,UAAU,KAAK,SAAS,IAAI,cAAc,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,OAAO,8CAA8C,EAAE,CAAC;IAC7G,CAAC;IAED,MAAM,IAAI,GAAG;QACX,IAAI;QACJ,IAAI,EAAE,OAAO;QACb,QAAQ;QACR,KAAK;QACL,MAAM,EAAE,KAAK,KAAK,SAAS;QAC3B,QAAQ,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;KAC9B,CAAC;IACF,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc,EAAE,EAAE,CAAC;IACpF,CAAC;IACD,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,OAAQ,CAAC,EAAE,EAAE,CAAC;IACpG,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,yFAAyF;AACzF,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;GAKG;AACH,SAAgB,kBAAkB;IAChC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,CAAC,IAAgB,EAAE,MAAyB,EAAQ,EAAE;QACjE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO;QACzE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC;YAC9B,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,YAAY;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;iBACxD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;gBAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,gBAAgC,EAAE,EAAE,CAAC,CAAC;IAC3C,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAgB,mBAAmB;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC5D,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/dna/roles.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Role-based **directive binding** resolver (REQ-SYS-08, task-034-role-based-binding) — the DNA-only
+ * primitives directive binding (P3.2/P3.7) and auto-load-by-role (P3.6) build on. Directives bind to
+ * roles, never to named persons (ADR-006): every function here reads only the already-parsed
+ * `DnaYaml` (`team.roles`/`team.members`/`team.agents`, spec-002-dna-yaml-schema) — never a directive
+ * or workflow file — so reassigning a person's role in `dna.yaml` changes the resolved binding with
+ * zero edits anywhere else (the REQ-SYS-08 Fit Criterion).
+ *
+ * **Approval routing is deliberately out of scope here** (`dl-033-canonical-role-resolver`, option b).
+ * "Who holds this role?" and "may this principal approve?" are different questions with different
+ * answers: AI agents do hold `developer`/`reviewer` via `team.agents[].executes_as` — correct for
+ * directive binding — but never hold approval authority (ADR-006, REQ-SEC-03). The canonical answer
+ * to the authority question is `src/core/approval-authority.ts` (task-040), which resolves the
+ * approver from `team.members` by live git identity and never consults `team.agents` at all. Note
+ * that `team.agents[].approval_authority` is **not** what grants or denies authority in code: no code
+ * path in this tree reads that field — it is a declarative `dna.yaml` marker, enforced by
+ * process/governance (ADR-006, CLAUDE.md §4/§8), as `approval-authority.ts`'s own header states.
+ * BDD `p4-workflow/P4.14-approval-routing.feature`'s routing scenarios belong to `task-046-memory-approve`,
+ * built on that module. Nothing in this file decides who may approve.
+ *
+ * No `CORE_MODULES` operation is registered here: this is the pure resolver later tasks (task-051/056
+ * `directive assign`/role-based assignment) wire into their own CLI/MCP surfaces.
+ */
+import type { AgentEntry, DnaYaml, TeamMember } from './schema';
+/**
+ * Raised when a role name is referenced (e.g. a directive binding or an approval step) but is not
+ * registered in `dna.yaml`'s `team.roles` catalogue. Message matches BDD
+ * `p5-interaction/P5.4.2-role-directives-binding.feature` "Error - binding references an undefined
+ * role" verbatim.
+ */
+export declare class UnknownRoleError extends Error {
+    /** The role name that was not found in `team.roles`. */
+    readonly role: string;
+    constructor(role: string);
+}
+/** Whether `role` is registered in `dna.team.roles` — the sole role catalogue (REQ-SYS-08). */
+export declare function isRoleDefined(dna: DnaYaml, role: string): boolean;
+/** Throws {@link UnknownRoleError} unless `role` is registered in `dna.team.roles`. */
+export declare function assertRoleDefined(dna: DnaYaml, role: string): void;
+/** The team members and agents currently holding a role, as resolved by {@link resolveRoleHolders}. */
+export interface RoleHolders {
+    /** `team.members` entries whose `roles` include the resolved role. */
+    readonly members: readonly TeamMember[];
+    /** `team.agents` entries whose `executes_as` include the resolved role. */
+    readonly agents: readonly AgentEntry[];
+}
+/**
+ * Resolves who currently holds `role`, reading only `dna.team.members`/`dna.team.agents` — no
+ * directive or workflow file. Throws {@link UnknownRoleError} if `role` is not in `team.roles`;
+ * returns empty lists (not an error) when the role is defined but nobody currently holds it.
+ *
+ * Agents are included because they genuinely hold the roles they `executes_as` for **directive
+ * binding** purposes (P3.6). This is **not** an authority check: a holder returned here may not
+ * approve anything (ADR-006, REQ-SEC-03) — use `src/core/approval-authority.ts` for that.
+ */
+export declare function resolveRoleHolders(dna: DnaYaml, role: string): RoleHolders;
+//# sourceMappingURL=roles.d.ts.map

package/dist/dna/roles.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"roles.d.ts","sourceRoot":"","sources":["../../src/dna/roles.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAEhE;;;;;GAKG;AACH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;gBAEV,IAAI,EAAE,MAAM;CAOzB;AAED,+FAA+F;AAC/F,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAEjE;AAED,uFAAuF;AACvF,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAElE;AAED,uGAAuG;AACvG,MAAM,WAAW,WAAW;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;CACxC;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAM1E"}

package/dist/dna/roles.js

@@ -0,0 +1,50 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.UnknownRoleError = void 0;
+exports.isRoleDefined = isRoleDefined;
+exports.assertRoleDefined = assertRoleDefined;
+exports.resolveRoleHolders = resolveRoleHolders;
+/**
+ * Raised when a role name is referenced (e.g. a directive binding or an approval step) but is not
+ * registered in `dna.yaml`'s `team.roles` catalogue. Message matches BDD
+ * `p5-interaction/P5.4.2-role-directives-binding.feature` "Error - binding references an undefined
+ * role" verbatim.
+ */
+class UnknownRoleError extends Error {
+    /** The role name that was not found in `team.roles`. */
+    role;
+    constructor(role) {
+        super(`unknown role '${role}' (not defined in dna.yaml)`);
+        this.name = 'UnknownRoleError';
+        this.role = role;
+        // Restore the prototype chain so `instanceof UnknownRoleError` holds after transpilation.
+        Object.setPrototypeOf(this, UnknownRoleError.prototype);
+    }
+}
+exports.UnknownRoleError = UnknownRoleError;
+/** Whether `role` is registered in `dna.team.roles` — the sole role catalogue (REQ-SYS-08). */
+function isRoleDefined(dna, role) {
+    return dna.team.roles.some((entry) => entry.name === role);
+}
+/** Throws {@link UnknownRoleError} unless `role` is registered in `dna.team.roles`. */
+function assertRoleDefined(dna, role) {
+    if (!isRoleDefined(dna, role))
+        throw new UnknownRoleError(role);
+}
+/**
+ * Resolves who currently holds `role`, reading only `dna.team.members`/`dna.team.agents` — no
+ * directive or workflow file. Throws {@link UnknownRoleError} if `role` is not in `team.roles`;
+ * returns empty lists (not an error) when the role is defined but nobody currently holds it.
+ *
+ * Agents are included because they genuinely hold the roles they `executes_as` for **directive
+ * binding** purposes (P3.6). This is **not** an authority check: a holder returned here may not
+ * approve anything (ADR-006, REQ-SEC-03) — use `src/core/approval-authority.ts` for that.
+ */
+function resolveRoleHolders(dna, role) {
+    assertRoleDefined(dna, role);
+    return {
+        members: dna.team.members.filter((member) => member.roles.includes(role)),
+        agents: (dna.team.agents ?? []).filter((agent) => agent.executes_as.includes(role)),
+    };
+}
+//# sourceMappingURL=roles.js.map

package/dist/dna/roles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"roles.js","sourceRoot":"","sources":["../../src/dna/roles.ts"],"names":[],"mappings":";;;AA6CA,sCAEC;AAGD,8CAEC;AAmBD,gDAMC;AApDD;;;;;GAKG;AACH,MAAa,gBAAiB,SAAQ,KAAK;IACzC,wDAAwD;IAC/C,IAAI,CAAS;IAEtB,YAAY,IAAY;QACtB,KAAK,CAAC,iBAAiB,IAAI,6BAA6B,CAAC,CAAC;QAC1D,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;QAC/B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,0FAA0F;QAC1F,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAC1D,CAAC;CACF;AAXD,4CAWC;AAED,+FAA+F;AAC/F,SAAgB,aAAa,CAAC,GAAY,EAAE,IAAY;IACtD,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC7D,CAAC;AAED,uFAAuF;AACvF,SAAgB,iBAAiB,CAAC,GAAY,EAAE,IAAY;IAC1D,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC;AAClE,CAAC;AAUD;;;;;;;;GAQG;AACH,SAAgB,kBAAkB,CAAC,GAAY,EAAE,IAAY;IAC3D,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7B,OAAO;QACL,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;KACpF,CAAC;AACJ,CAAC"}

package/dist/dna/schema.d.ts

@@ -0,0 +1,172 @@
+/**
+ * DnaYaml schema (spec-002-dna-yaml-schema) — the Project DNA structural map (P2.4). This is one of
+ * the three independent per-pillar schemas task-004-decoupled-pillars keeps decoupled (REQ-SYS-02):
+ * it has no dependency on `memory.yaml`'s or `workflows.yaml`'s schema, and its own validation never
+ * inspects any other file.
+ *
+ * Every object node is `.passthrough()` per spec-009-validation-strategy §2. The TypeScript type is
+ * derived exclusively via `z.infer` (spec-002: "no hand-written duplicate interface").
+ */
+import { z } from 'zod';
+/** `project:` — free-form project-identity block (name, description, license, north-star, ...); every field optional. */
+export declare const Project: z.ZodObject<{
+    name: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    license: z.ZodOptional<z.ZodString>;
+    repository: z.ZodOptional<z.ZodString>;
+    methodology: z.ZodOptional<z.ZodString>;
+    north_star: z.ZodOptional<z.ZodString>;
+}, z.core.$loose>;
+/** Parsed shape of the {@link Project} schema. */
+export type Project = z.infer<typeof Project>;
+/** One `modules[]` entry — a source module (`name`, optional `description`/`path`). */
+export declare const Module: z.ZodObject<{
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    path: z.ZodOptional<z.ZodString>;
+}, z.core.$loose>;
+/** Parsed shape of the {@link Module} schema. */
+export type Module = z.infer<typeof Module>;
+/** `category` is a free string, not a fixed enum (spec-002) — keeps the schema project-shape-agnostic. */
+export declare const TechEntry: z.ZodObject<{
+    name: z.ZodString;
+    category: z.ZodString;
+    version: z.ZodOptional<z.ZodString>;
+    notes: z.ZodOptional<z.ZodString>;
+}, z.core.$loose>;
+export type TechEntry = z.infer<typeof TechEntry>;
+/** One `stacks.methodologies[]` entry — a development methodology (`name`, optional `phase`/`notes`). */
+export declare const MethodologyEntry: z.ZodObject<{
+    name: z.ZodString;
+    phase: z.ZodOptional<z.ZodString>;
+    notes: z.ZodOptional<z.ZodString>;
+}, z.core.$loose>;
+/** Parsed shape of the {@link MethodologyEntry} schema. */
+export type MethodologyEntry = z.infer<typeof MethodologyEntry>;
+/** Replaces the old fixed-key `tech_stack` object with two flat, generically-shaped lists. */
+export declare const Stacks: z.ZodObject<{
+    technologies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        category: z.ZodString;
+        version: z.ZodOptional<z.ZodString>;
+        notes: z.ZodOptional<z.ZodString>;
+    }, z.core.$loose>>>;
+    methodologies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        phase: z.ZodOptional<z.ZodString>;
+        notes: z.ZodOptional<z.ZodString>;
+    }, z.core.$loose>>>;
+}, z.core.$loose>;
+export type Stacks = z.infer<typeof Stacks>;
+/** One `team.members[]` entry — a human contributor and the `roles` they hold (validated against `team.roles`). */
+export declare const TeamMember: z.ZodObject<{
+    name: z.ZodString;
+    email: z.ZodOptional<z.ZodString>;
+    roles: z.ZodArray<z.ZodString>;
+}, z.core.$loose>;
+/** Parsed shape of the {@link TeamMember} schema. */
+export type TeamMember = z.infer<typeof TeamMember>;
+/** One `team.agents[]` entry — an AI agent, the roles it `executes_as`, and whether it may hold `approval_authority` (REQ-SEC-03). */
+export declare const AgentEntry: z.ZodObject<{
+    name: z.ZodString;
+    executes_as: z.ZodArray<z.ZodString>;
+    approval_authority: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$loose>;
+/** Parsed shape of the {@link AgentEntry} schema. */
+export type AgentEntry = z.infer<typeof AgentEntry>;
+/** One `team.roles[]` entry — a role in the canonical role catalogue (REQ-SYS-08). */
+export declare const RoleEntry: z.ZodObject<{
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$loose>;
+/** Parsed shape of the {@link RoleEntry} schema. */
+export type RoleEntry = z.infer<typeof RoleEntry>;
+/**
+ * `team.roles` is the canonical role catalogue (REQ-SYS-08); every role name referenced by
+ * `members[].roles` and `agents[].executes_as` is semantically validated against it (spec-002 "Role
+ * binding (REQ-SYS-08)"). This is a same-document cross-field rule, so — per spec-009 §1's guidance
+ * that such rules "cannot be expressed as a per-field Zod .regex()/.min()" — it runs as a
+ * `.superRefine()` here, still inside the Zod schema.
+ */
+export declare const Team: z.ZodObject<{
+    members: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        email: z.ZodOptional<z.ZodString>;
+        roles: z.ZodArray<z.ZodString>;
+    }, z.core.$loose>>;
+    agents: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        executes_as: z.ZodArray<z.ZodString>;
+        approval_authority: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$loose>>>;
+    roles: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+    }, z.core.$loose>>;
+}, z.core.$loose>;
+export type Team = z.infer<typeof Team>;
+/** Category names are fixed per P2.5, but `.passthrough()` tolerates a future extra category. */
+export declare const Paths: z.ZodObject<{
+    sources: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    tests: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    docs: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    config: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    governance: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$loose>;
+export type Paths = z.infer<typeof Paths>;
+/** The whole `.wingfoil/dna.yaml` document (P2.4, spec-002) — the Project DNA structural map's root schema. */
+export declare const DnaYaml: z.ZodObject<{
+    version: z.ZodNumber;
+    project: z.ZodOptional<z.ZodObject<{
+        name: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        license: z.ZodOptional<z.ZodString>;
+        repository: z.ZodOptional<z.ZodString>;
+        methodology: z.ZodOptional<z.ZodString>;
+        north_star: z.ZodOptional<z.ZodString>;
+    }, z.core.$loose>>;
+    modules: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        path: z.ZodOptional<z.ZodString>;
+    }, z.core.$loose>>;
+    stacks: z.ZodObject<{
+        technologies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            category: z.ZodString;
+            version: z.ZodOptional<z.ZodString>;
+            notes: z.ZodOptional<z.ZodString>;
+        }, z.core.$loose>>>;
+        methodologies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            phase: z.ZodOptional<z.ZodString>;
+            notes: z.ZodOptional<z.ZodString>;
+        }, z.core.$loose>>>;
+    }, z.core.$loose>;
+    team: z.ZodObject<{
+        members: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            email: z.ZodOptional<z.ZodString>;
+            roles: z.ZodArray<z.ZodString>;
+        }, z.core.$loose>>;
+        agents: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            executes_as: z.ZodArray<z.ZodString>;
+            approval_authority: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$loose>>>;
+        roles: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            description: z.ZodOptional<z.ZodString>;
+        }, z.core.$loose>>;
+    }, z.core.$loose>;
+    paths: z.ZodObject<{
+        sources: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        tests: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        docs: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        config: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        governance: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$loose>;
+}, z.core.$loose>;
+/** Parsed shape of the {@link DnaYaml} schema — the type every DNA reader (`loadDnaYaml`, `dna show`) returns. */
+export type DnaYaml = z.infer<typeof DnaYaml>;
+//# sourceMappingURL=schema.d.ts.map

package/dist/dna/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/dna/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA4CxB,yHAAyH;AACzH,eAAO,MAAM,OAAO;;;;;;;iBASJ,CAAC;AACjB,kDAAkD;AAClD,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,uFAAuF;AACvF,eAAO,MAAM,MAAM;;;;iBAMH,CAAC;AACjB,iDAAiD;AACjD,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAE5C,0GAA0G;AAC1G,eAAO,MAAM,SAAS;;;;;iBAON,CAAC;AACjB,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD,yGAAyG;AACzG,eAAO,MAAM,gBAAgB;;;;iBAMb,CAAC;AACjB,2DAA2D;AAC3D,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE,8FAA8F;AAC9F,eAAO,MAAM,MAAM;;;;;;;;;;;;iBAKH,CAAC;AACjB,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAE5C,mHAAmH;AACnH,eAAO,MAAM,UAAU;;;;iBAMP,CAAC;AACjB,qDAAqD;AACrD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,sIAAsI;AACtI,eAAO,MAAM,UAAU;;;;iBAMP,CAAC;AACjB,qDAAqD;AACrD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,sFAAsF;AACtF,eAAO,MAAM,SAAS;;;iBAKN,CAAC;AACjB,oDAAoD;AACpD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD;;;;;;GAMG;AACH,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;iBAiCb,CAAC;AACL,MAAM,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;AAExC,iGAAiG;AACjG,eAAO,MAAM,KAAK;;;;;;iBAQF,CAAC;AACjB,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC;AAE1C,+GAA+G;AAC/G,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBASJ,CAAC;AACjB,kHAAkH;AAClH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC"}