musubix3 0.1.0

package/dist/packages/domain/src/markdown.js

@@ -0,0 +1,72 @@
+import { parseDocument } from 'yaml';
+import { error } from './types.js';
+export function markdown(text, path = '<input>') {
+    const lines = text.replace(/^\uFEFF/, '').replace(/\r\n/g, '\n').split('\n');
+    const diagnostics = [];
+    let metadata = {};
+    let start = 0;
+    if (lines[0]?.trim() === '---') {
+        const end = lines.findIndex((line, i) => i > 0 && line.trim() === '---');
+        if (end === -1) {
+            diagnostics.push(error('MARKDOWN_FRONTMATTER', 'Unterminated YAML frontmatter.', path, 1));
+            start = lines.length;
+        }
+        else {
+            const doc = parseDocument(lines.slice(1, end).join('\n'), { uniqueKeys: true });
+            if (doc.errors.length) {
+                diagnostics.push(error('MARKDOWN_FRONTMATTER', doc.errors.map((e) => e.message).join('; '), path, 1));
+            }
+            else {
+                const value = doc.toJSON();
+                if (value && typeof value === 'object' && !Array.isArray(value)) {
+                    metadata = value;
+                }
+                else {
+                    diagnostics.push(error('MARKDOWN_FRONTMATTER', 'Frontmatter must be a mapping.', path, 1));
+                }
+            }
+            start = end + 1;
+        }
+    }
+    const sections = [];
+    let current;
+    let fence;
+    for (let i = start; i < lines.length; i++) {
+        const line = lines[i] ?? '';
+        const delimiter = /^\s*(`{3,}|~{3,})/.exec(line)?.[1];
+        if (delimiter) {
+            if (!fence)
+                fence = delimiter;
+            else if (delimiter[0] === fence[0] && delimiter.length >= fence.length)
+                fence = undefined;
+            continue;
+        }
+        if (fence)
+            continue;
+        const heading = /^(#{2,6})\s+([A-Za-z]+-[^\s:：]+)(?:\s*[:：-]\s*|\s+)?(.*)$/.exec(line);
+        if (heading) {
+            current = { id: heading[2] ?? '', title: heading[3]?.trim() ?? '', body: '', line: i + 1, level: heading[1]?.length ?? 2 };
+            sections.push(current);
+        }
+        else if (current) {
+            current.body += `${line}\n`;
+        }
+    }
+    return { metadata, sections, diagnostics };
+}
+export function field(body, names) {
+    return new RegExp(`^\\s*(?:[-*]\\s+)?(?:\\*\\*)?(?:${names})(?:\\*\\*)?\\s*[:：]\\s*(.+)$`, 'im').exec(body)?.[1]?.trim() ?? '';
+}
+export function references(text, prefix) {
+    return [...new Set(text.match(new RegExp(`\\b${prefix}-[A-Za-z0-9]+(?:-[A-Za-z0-9]+)*\\b`, 'g')) ?? [])];
+}
+export function duplicates(sections, path) {
+    const seen = new Set();
+    return sections.flatMap((section) => {
+        if (seen.has(section.id))
+            return [error('DUPLICATE_ID', `Duplicate ID ${section.id}.`, path, section.line)];
+        seen.add(section.id);
+        return [];
+    });
+}
+//# sourceMappingURL=markdown.js.map

package/dist/packages/domain/src/markdown.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"markdown.js","sourceRoot":"","sources":["../../../../packages/domain/src/markdown.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AACrC,OAAO,EAAE,KAAK,EAAmB,MAAM,YAAY,CAAC;AAUpD,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAI,GAAG,SAAS;IAKrD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7E,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,QAAQ,GAA4B,EAAE,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC,CAAC;QACzE,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;YACf,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,gCAAgC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3F,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAChF,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBACtB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACxG,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAY,GAAG,CAAC,MAAM,EAAE,CAAC;gBACpC,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBAChE,QAAQ,GAAG,KAAgC,CAAC;gBAC9C,CAAC;qBAAM,CAAC;oBACN,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,gCAAgC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC7F,CAAC;YACH,CAAC;YACD,KAAK,GAAG,GAAG,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,IAAI,OAA4B,CAAC;IACjC,IAAI,KAAyB,CAAC;IAC9B,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,CAAC,KAAK;gBAAE,KAAK,GAAG,SAAS,CAAC;iBACzB,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM;gBAAE,KAAK,GAAG,SAAS,CAAC;YAC1F,SAAS;QACX,CAAC;QACD,IAAI,KAAK;YAAE,SAAS;QACpB,MAAM,OAAO,GAAG,2DAA2D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvF,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;YAC3H,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,OAAO,EAAE,CAAC;YACnB,OAAO,CAAC,IAAI,IAAI,GAAG,IAAI,IAAI,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,IAAY,EAAE,KAAa;IAC/C,OAAO,IAAI,MAAM,CAAC,mCAAmC,KAAK,+BAA+B,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACjI,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,MAAc;IACrD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,MAAM,oCAAoC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAC3G,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,QAAmB,EAAE,IAAY;IAC1D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAClC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,KAAK,CAAC,cAAc,EAAE,gBAAgB,OAAO,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5G,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACrB,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/packages/domain/src/requirements.d.ts

@@ -0,0 +1,3 @@
+import { type EarsPattern, type Requirement, type Validation } from './types.js';
+export declare function classifyEars(statement: string): EarsPattern | null;
+export declare function validateRequirements(text: string, path?: string): Validation<Requirement[]>;

package/dist/packages/domain/src/requirements.js

@@ -0,0 +1,195 @@
+import { duplicates, field, markdown } from './markdown.js';
+import { error, ids, validation, } from './types.js';
+function explicitObject(text, fieldName, path, line, diagnostics) {
+    if (!text)
+        return null;
+    try {
+        const value = JSON.parse(text);
+        if (!value || typeof value !== 'object' || Array.isArray(value))
+            throw new Error('must be a JSON object');
+        return value;
+    }
+    catch (cause) {
+        diagnostics.push(error(`REQ_${fieldName.toUpperCase()}_SCHEMA`, `${fieldName} must be strict single-line JSON: ${cause instanceof Error ? cause.message : String(cause)}.`, path, line));
+        return null;
+    }
+}
+function exactKeys(value, allowed) {
+    return Object.keys(value).every((key) => allowed.includes(key));
+}
+function atom(value) {
+    return typeof value === 'string' && /^[\p{L}_][\p{L}\p{N}_.:-]{0,127}$/u.test(value);
+}
+function parseFormal(text, path, line, diagnostics) {
+    const value = explicitObject(text, 'formal', path, line, diagnostics);
+    if (!value)
+        return null;
+    let constraint = null;
+    if (value.kind === 'conditional'
+        && exactKeys(value, ['kind', 'condition', 'consequence', 'conditionValue', 'consequenceValue'])
+        && atom(value.condition) && atom(value.consequence)
+        && (value.conditionValue === undefined || typeof value.conditionValue === 'boolean')
+        && (value.consequenceValue === undefined || typeof value.consequenceValue === 'boolean')) {
+        constraint = {
+            kind: 'conditional',
+            condition: value.condition,
+            consequence: value.consequence,
+            conditionValue: value.conditionValue !== false,
+            consequenceValue: value.consequenceValue !== false,
+        };
+    }
+    else if (value.kind === 'numeric'
+        && exactKeys(value, ['kind', 'metric', 'operator', 'value', 'unit'])
+        && atom(value.metric) && ['<', '<=', '=', '>=', '>'].includes(String(value.operator))
+        && typeof value.value === 'number' && Number.isSafeInteger(value.value)
+        && (value.unit === undefined || atom(value.unit))) {
+        constraint = {
+            kind: 'numeric',
+            metric: value.metric,
+            operator: value.operator,
+            value: value.value,
+            ...(typeof value.unit === 'string' ? { unit: value.unit } : {}),
+        };
+    }
+    else if (value.kind === 'temporal'
+        && exactKeys(value, ['kind', 'trigger', 'response', 'withinMs', 'afterMs'])
+        && atom(value.trigger) && atom(value.response)
+        && (value.afterMs === undefined
+            || (typeof value.afterMs === 'number' && Number.isSafeInteger(value.afterMs) && value.afterMs >= 0))
+        && typeof value.withinMs === 'number' && Number.isSafeInteger(value.withinMs) && value.withinMs > 0) {
+        constraint = {
+            kind: 'temporal',
+            trigger: value.trigger,
+            response: value.response,
+            withinMs: value.withinMs,
+            ...(typeof value.afterMs === 'number' ? { afterMs: value.afterMs } : {}),
+        };
+    }
+    else if (value.kind === 'transition'
+        && exactKeys(value, ['kind', 'from', 'event', 'to'])
+        && atom(value.from) && atom(value.event) && atom(value.to)) {
+        constraint = { kind: 'transition', from: value.from, event: value.event, to: value.to };
+    }
+    if (!constraint)
+        diagnostics.push(error('REQ_FORMAL_SCHEMA', 'Formal must match the conditional, numeric, temporal, or transition constraint schema.', path, line));
+    return constraint;
+}
+function parsePerformance(text, path, line, diagnostics) {
+    const value = explicitObject(text, 'performance', path, line, diagnostics);
+    if (!value)
+        return null;
+    if (!exactKeys(value, ['counter', 'max', 'testId', 'unit'])
+        || !atom(value.counter)
+        || typeof value.max !== 'number' || !Number.isSafeInteger(value.max) || value.max < 0
+        || typeof value.testId !== 'string' || !ids.test.test(value.testId)
+        || (value.unit !== undefined && value.unit !== 'operations')) {
+        diagnostics.push(error('REQ_PERFORMANCE_SCHEMA', 'Performance must contain counter, nonnegative integer max, TEST-* testId, and optional unit \"operations\".', path, line));
+        return null;
+    }
+    return { counter: value.counter, max: value.max, testId: value.testId, unit: 'operations' };
+}
+export function classifyEars(statement) {
+    const s = statement.trim().replace(/\s+/g, ' ');
+    if ((s.match(/\bshall\b/gi) ?? []).length > 1 || (s.match(/しなければならない|してはならない|してはいけない|すること/g) ?? []).length > 1)
+        return null;
+    const english = /^(?:(.*,\s*(?:then\s+)?))?((?:the|a|an)\s+[^,]+?)\s+shall\s+(.+)$/i.exec(s);
+    if (english) {
+        const prefix = (english[1] ?? '').trim();
+        if (!english[3]?.replace(/^not\s*/i, '').replace(/[.!]/g, '').trim())
+            return null;
+        if (!prefix)
+            return 'ubiquitous';
+        if (/^if\s+.+,\s*then\s*$/i.test(prefix))
+            return 'unwanted-behavior';
+        const clauses = [...prefix.matchAll(/(?:^|,\s*)(while|when|where)\s+([^,]+)/gi)];
+        if (clauses.length && clauses.every((c) => c[2]?.trim())) {
+            const reconstructed = clauses.map((c) => `${c[1]} ${c[2]}`).join(', ');
+            if (reconstructed.toLowerCase() !== prefix.replace(/,\s*$/, '').toLowerCase())
+                return null;
+            const kinds = new Set(clauses.map((c) => c[1]?.toLowerCase()));
+            if (clauses.length > 1 && kinds.size > 1)
+                return 'complex';
+            if (clauses.length === 1) {
+                return { when: 'event-driven', while: 'state-driven', where: 'optional-feature' }[clauses[0]?.[1]?.toLowerCase()] ?? null;
+            }
+        }
+        return null;
+    }
+    // Japanese uses explicit control markers; free prose is deliberately not inferred.
+    const japanese = /^(.*?)システムは(.+?)(?:しなければならない|してはならない|してはいけない|すること)[。.]?$/.exec(s);
+    if (!japanese || !japanese[2]?.trim())
+        return null;
+    const prefix = japanese[1]?.trim() ?? '';
+    if (!prefix)
+        return 'ubiquitous';
+    if (/^もし.+ならば[、,]\s*$/.test(prefix))
+        return 'unwanted-behavior';
+    const clauses = prefix.split(/[、,]\s*/).filter(Boolean);
+    const kinds = clauses.map((c) => /.+とき$/.test(c) ? 'event-driven' : /.+間$/.test(c) ? 'state-driven' : /.+場合$/.test(c) ? 'optional-feature' : null);
+    if (kinds.some((k) => !k))
+        return null;
+    if (kinds.length > 1 && new Set(kinds).size > 1)
+        return 'complex';
+    return kinds.length === 1 ? kinds[0] : null;
+}
+export function validateRequirements(text, path = '<input>') {
+    const parsed = markdown(text, path);
+    const sections = parsed.sections.filter((s) => /^REQ-/i.test(s.id));
+    const diagnostics = [...parsed.diagnostics, ...duplicates(sections, path)];
+    if (parsed.metadata.schemaVersion !== undefined && parsed.metadata.schemaVersion !== 1)
+        diagnostics.push(error('REQ_SCHEMA', 'Unsupported schemaVersion; expected 1.', path));
+    if (!sections.length)
+        diagnostics.push(error('REQ_MISSING', 'No requirement headings found (## REQ-FEATURE-001: Title).', path));
+    const value = sections.map((section) => {
+        if (!ids.requirement.test(section.id))
+            diagnostics.push(error('REQ_ID', `Invalid requirement ID ${section.id}.`, path, section.line));
+        if (!section.title)
+            diagnostics.push(error('REQ_TITLE', 'Requirement title is required.', path, section.line));
+        const rawPriority = field(section.body, 'Priority|優先度').toLowerCase() || 'must';
+        if (!['must', 'should', 'may'].includes(rawPriority))
+            diagnostics.push(error('REQ_PRIORITY', 'Priority must be must, should, or may.', path, section.line));
+        const rawType = field(section.body, 'Type|種別').toLowerCase() || 'functional';
+        if (!['functional', 'non-functional'].includes(rawType)) {
+            diagnostics.push(error('REQ_TYPE', 'Requirement type must be functional or non-functional.', path, section.line));
+        }
+        const statement = field(section.body, 'Statement|要求') || section.body.split('\n')
+            .filter((line) => !/^\s*(?:[-*]\s+)?(?:\*\*)?(Priority|Type|Pattern|Acceptance|Formal|Performance|優先度|種別|パターン|受入条件|形式制約|性能予算)(?:\*\*)?\s*[:：]/i.test(line))
+            .join(' ').trim();
+        const pattern = classifyEars(statement);
+        if (!pattern)
+            diagnostics.push(error('REQ_EARS', 'Use one complete controlled EARS statement with a subject, shall, response, and valid trigger/state/feature clause.', path, section.line));
+        const declared = field(section.body, 'Pattern|パターン').toLowerCase();
+        if (declared && declared !== pattern)
+            diagnostics.push(error('REQ_PATTERN', `Declared pattern ${declared} does not match detected pattern ${pattern ?? 'invalid'}.`, path, section.line));
+        const acceptance = field(section.body, 'Acceptance|受入条件');
+        const formal = parseFormal(field(section.body, 'Formal|形式制約'), path, section.line, diagnostics);
+        const performance = parsePerformance(field(section.body, 'Performance|性能予算'), path, section.line, diagnostics);
+        if (performance && rawType !== 'non-functional') {
+            diagnostics.push(error('REQ_PERFORMANCE_TYPE', 'Deterministic performance budgets are only valid on non-functional requirements.', path, section.line));
+        }
+        return {
+            id: section.id,
+            title: section.title,
+            priority: rawPriority,
+            type: rawType,
+            statement,
+            pattern,
+            acceptance,
+            formal,
+            performance,
+            line: section.line,
+        };
+    });
+    const statements = new Map();
+    for (const requirement of value) {
+        const normalized = requirement.statement.normalize('NFKC').toLowerCase().replace(/[。.!]/g, '').replace(/\s+/g, ' ').trim();
+        const previous = statements.get(normalized);
+        if (previous) {
+            diagnostics.push(error('REQ_DUPLICATE_STATEMENT', `${requirement.id} duplicates the normalized statement of ${previous.id}.`, path, requirement.line));
+        }
+        else
+            statements.set(normalized, requirement);
+    }
+    return validation(value, diagnostics);
+}
+//# sourceMappingURL=requirements.js.map

package/dist/packages/domain/src/requirements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirements.js","sourceRoot":"","sources":["../../../../packages/domain/src/requirements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EACL,KAAK,EAAE,GAAG,EAAE,UAAU,GAEvB,MAAM,YAAY,CAAC;AAEpB,SAAS,cAAc,CAAC,IAAY,EAAE,SAAiB,EAAE,IAAY,EAAE,IAAY,EAAE,WAAuC;IAC1H,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,CAAC;QACH,MAAM,KAAK,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC1G,OAAO,KAAgC,CAAC;IAC1C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,WAAW,EAAE,SAAS,EAAE,GAAG,SAAS,qCAAqC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACzL,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAA8B,EAAE,OAAiB;IAClE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC1B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,oCAAoC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY,EAAE,WAAuC;IACpG,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtE,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,UAAU,GAA4B,IAAI,CAAC;IAC/C,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa;WAC3B,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;WAC5F,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;WAChD,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC;WACjF,CAAC,KAAK,CAAC,gBAAgB,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,gBAAgB,KAAK,SAAS,CAAC,EAAE,CAAC;QAC3F,UAAU,GAAG;YACX,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,cAAc,EAAE,KAAK,CAAC,cAAc,KAAK,KAAK;YAC9C,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,KAAK,KAAK;SACnD,CAAC;IACJ,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;WAC9B,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;WACjE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;WAClF,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;WACpE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACpD,UAAU,GAAG;YACX,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,EAAE,KAAK,CAAC,QAAyC;YACzD,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChE,CAAC;IACJ,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;WAC/B,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;WACxE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;WAC3C,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;eAC1B,CAAC,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;WACnG,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QACtG,UAAU,GAAG;YACX,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,GAAG,CAAC,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACzE,CAAC;IACJ,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;WACjC,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;WACjD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7D,UAAU,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;IAC1F,CAAC;IACD,IAAI,CAAC,UAAU;QAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,wFAAwF,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACpK,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY,EAAE,WAAuC;IACzG,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC3E,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;WACtD,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;WACpB,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC;WAClF,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;WAChE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,EAAE,CAAC;QAC/D,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,6GAA6G,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7K,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAC9F,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,SAAiB;IAC5C,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChD,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iCAAiC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5H,MAAM,OAAO,GAAG,oEAAoE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7F,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE;YAAE,OAAO,IAAI,CAAC;QAClF,IAAI,CAAC,MAAM;YAAE,OAAO,YAAY,CAAC;QACjC,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,mBAAmB,CAAC;QACrE,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,0CAA0C,CAAC,CAAC,CAAC;QACjF,IAAI,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACzD,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvE,IAAI,aAAa,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC3F,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;YAC/D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC3D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,kBAAkB,EAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAgC,CAAC,IAAI,IAAI,CAAC;YACrK,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,mFAAmF;IACnF,MAAM,QAAQ,GAAG,0DAA0D,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzC,IAAI,CAAC,MAAM;QAAE,OAAO,YAAY,CAAC;IACjC,IAAI,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,mBAAmB,CAAC;IAChE,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnJ,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAClE,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,IAAI,GAAG,SAAS;IACjE,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3E,IAAI,MAAM,CAAC,QAAQ,CAAC,aAAa,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,aAAa,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,wCAAwC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9K,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,4DAA4D,EAAE,IAAI,CAAC,CAAC,CAAC;IACjI,MAAM,KAAK,GAAkB,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACpD,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,0BAA0B,OAAO,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACtI,IAAI,CAAC,OAAO,CAAC,KAAK;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,gCAAgC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/G,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,WAAW,EAAE,IAAI,MAAM,CAAC;QAChF,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,wCAAwC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5J,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,WAAW,EAAE,IAAI,YAAY,CAAC;QAC7E,IAAI,CAAC,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACxD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,wDAAwD,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACpH,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;aAC9E,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,4HAA4H,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC1J,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,qHAAqH,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7L,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QACnE,IAAI,QAAQ,IAAI,QAAQ,KAAK,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,oBAAoB,QAAQ,oCAAoC,OAAO,IAAI,SAAS,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1L,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAChG,MAAM,WAAW,GAAG,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,kBAAkB,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC/G,IAAI,WAAW,IAAI,OAAO,KAAK,gBAAgB,EAAE,CAAC;YAChD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,kFAAkF,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1J,CAAC;QACD,OAAO;YACL,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,QAAQ,EAAE,WAAsC;YAChD,IAAI,EAAE,OAA8B;YACpC,SAAS;YACT,OAAO;YACP,UAAU;YACV,MAAM;YACN,WAAW;YACX,IAAI,EAAE,OAAO,CAAC,IAAI;SACnB,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAC;IAClD,KAAK,MAAM,WAAW,IAAI,KAAK,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,WAAW,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3H,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAI,QAAQ,EAAE,CAAC;YACb,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,GAAG,WAAW,CAAC,EAAE,2CAA2C,QAAQ,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QACzJ,CAAC;;YAAM,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AACxC,CAAC"}

package/dist/packages/domain/src/types.d.ts

@@ -0,0 +1,100 @@
+export type Severity = 'error' | 'warning';
+export type CheckStatus = 'pass' | 'fail' | 'skipped';
+export interface Diagnostic {
+    code: string;
+    severity: Severity;
+    message: string;
+    path?: string;
+    line?: number;
+}
+export interface Validation<T> {
+    valid: boolean;
+    value: T;
+    diagnostics: Diagnostic[];
+}
+export declare function validation<T>(value: T, diagnostics: Diagnostic[]): Validation<T>;
+export declare function error(code: string, message: string, path?: string, line?: number): Diagnostic;
+export declare const ids: {
+    requirement: RegExp;
+    design: RegExp;
+    code: RegExp;
+    test: RegExp;
+    adr: RegExp;
+};
+export interface Requirement {
+    id: string;
+    title: string;
+    statement: string;
+    acceptance: string;
+    priority: 'must' | 'should' | 'may';
+    type: 'functional' | 'non-functional';
+    pattern: EarsPattern | null;
+    formal: FormalConstraint | null;
+    performance: PerformanceBudget | null;
+    line: number;
+}
+export type EarsPattern = 'ubiquitous' | 'event-driven' | 'state-driven' | 'unwanted-behavior' | 'optional-feature' | 'complex';
+export type FormalConstraint = {
+    kind: 'conditional';
+    condition: string;
+    consequence: string;
+    conditionValue: boolean;
+    consequenceValue: boolean;
+} | {
+    kind: 'numeric';
+    metric: string;
+    operator: '<' | '<=' | '=' | '>=' | '>';
+    value: number;
+    unit?: string;
+} | {
+    kind: 'temporal';
+    trigger: string;
+    response: string;
+    withinMs: number;
+    afterMs?: number;
+} | {
+    kind: 'transition';
+    from: string;
+    event: string;
+    to: string;
+};
+export interface PerformanceBudget {
+    counter: string;
+    max: number;
+    testId: string;
+    unit: 'operations';
+}
+export interface Component {
+    id: string;
+    title: string;
+    responsibility: string;
+    interfaces: string;
+    constraints: string;
+    requirements: string[];
+    decisions: string[];
+    dependencies: string[];
+    line: number;
+}
+export interface ConstitutionRule {
+    id: string;
+    principle: string;
+    metric: string;
+    limit: number;
+    line: number;
+}
+export interface Constitution {
+    version: string;
+    principles: string[];
+    rules: ConstitutionRule[];
+}
+export interface Evidence {
+    name: string;
+    status: CheckStatus;
+    required: boolean;
+    summary: string;
+    diagnostics?: Diagnostic[];
+    durationMs?: number;
+    exitCode?: number | null;
+    stdout?: string;
+    stderr?: string;
+}

package/dist/packages/domain/src/types.js

@@ -0,0 +1,14 @@
+export function validation(value, diagnostics) {
+    return { valid: !diagnostics.some((d) => d.severity === 'error'), value, diagnostics };
+}
+export function error(code, message, path, line) {
+    return { code, severity: 'error', message, ...(path ? { path } : {}), ...(line ? { line } : {}) };
+}
+export const ids = {
+    requirement: /^REQ-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3,}$/,
+    design: /^DES-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3,}$/,
+    code: /^CODE-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3,}$/,
+    test: /^TEST-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3,}$/,
+    adr: /^ADR-\d{4,}$/,
+};
+//# sourceMappingURL=types.js.map

package/dist/packages/domain/src/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../packages/domain/src/types.ts"],"names":[],"mappings":"AAiBA,MAAM,UAAU,UAAU,CAAI,KAAQ,EAAE,WAAyB;IAC/D,OAAO,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AACzF,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,IAAY,EAAE,OAAe,EAAE,IAAa,EAAE,IAAa;IAC/E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACpG,CAAC;AAED,MAAM,CAAC,MAAM,GAAG,GAAG;IACjB,WAAW,EAAE,uCAAuC;IACpD,MAAM,EAAE,uCAAuC;IAC/C,IAAI,EAAE,wCAAwC;IAC9C,IAAI,EAAE,wCAAwC;IAC9C,GAAG,EAAE,cAAc;CACpB,CAAC"}

package/package.json

@@ -0,0 +1,59 @@
+{
+  "name": "musubix3",
+  "version": "0.1.0",
+  "description": "Evidence-driven specification development skills for GitHub Copilot CLI",
+  "type": "module",
+  "license": "MIT",
+  "author": "nahisaho",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/nahisaho/musubix3.git"
+  },
+  "engines": {
+    "node": ">=20"
+  },
+  "workspaces": [
+    "packages/*"
+  ],
+  "bin": {
+    "musubix3": "dist/packages/cli/src/main.js"
+  },
+  "exports": {
+    "./domain": "./dist/packages/domain/src/index.js",
+    "./analysis": "./dist/packages/analysis/src/index.js",
+    "./attestation": "./dist/packages/analysis/src/attestation.js"
+  },
+  "files": [
+    "dist",
+    "assets",
+    ".github/skills",
+    ".github/plugin/marketplace.json",
+    "plugin.json",
+    "README-ja.md",
+    "CHANGELOG.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "typecheck": "tsc --noEmit",
+    "test": "vitest run",
+    "test:adapters": "vitest run tests/adapter-integration.test.ts --maxWorkers=1",
+    "test:watch": "vitest",
+    "pack:check": "node scripts/check-package.mjs",
+    "pack:smoke": "node scripts/smoke-package.mjs",
+    "release:prepare": "node scripts/release-prepare.mjs",
+    "release:attest": "node scripts/release-attestation.mjs",
+    "release:publish": "node scripts/release-publish.mjs",
+    "prepack": "npm run build"
+  },
+  "dependencies": {
+    "commander": "^13.1.0",
+    "typescript": "~5.9.3",
+    "yaml": "^2.8.1"
+  },
+  "devDependencies": {
+    "@types/node": "^22.19.0",
+    "jest": "^30.5.1",
+    "vitest": "^3.2.4"
+  }
+}

package/plugin.json

@@ -0,0 +1,9 @@
+{
+  "name": "musubix3",
+  "version": "0.1.0",
+  "description": "Evidence-driven SDD skills for GitHub Copilot CLI: requirements, design, traceability, implementation, quality, knowledge, formal checks and codegraph.",
+  "author": { "name": "nahisaho" },
+  "repository": "https://github.com/nahisaho/musubix3",
+  "license": "MIT",
+  "skills": ".github/skills/"
+}