pi-harness-runtime 0.10.12 → 0.10.13

package/packages/requirement-compiler/dist/ambiguity-detector.js

@@ -0,0 +1,236 @@
+/**
+ * Requirement Compiler - Ambiguity Detector
+ *
+ * Detects ambiguities, contradictions, and missing information.
+ */
+/**
+ * Vague terms that indicate ambiguity.
+ */
+const VAGUE_TERMS = [
+    "well",
+    "fast",
+    "good",
+    "nice",
+    "modern",
+    "robust",
+    "efficient",
+    "scalable",
+    "secure",
+    "reliable",
+    "appropriate",
+    "reasonable",
+    "some",
+    "few",
+    "many",
+    "several",
+    "lots of",
+    "a bit",
+    "as needed",
+    "when necessary",
+    "properly",
+];
+/**
+ * Questions that signal missing actors.
+ */
+const ACTOR_QUESTIONS = [
+    "who should",
+    "who will",
+    "who can",
+    "who is responsible",
+    "which user",
+    "what role",
+];
+function detectVagueTerms(statements) {
+    const ambiguities = [];
+    let ambiguityIndex = 0;
+    for (const stmt of statements) {
+        const lower = stmt.normalizedText;
+        for (const term of VAGUE_TERMS) {
+            if (lower.includes(term)) {
+                ambiguities.push({
+                    id: `ambig-${ambiguityIndex++}`,
+                    question: `The term "${term}" is vague. What does "${stmt.originalText.slice(0, 50)}" specifically require?`,
+                    blocking: false,
+                    affectedGoals: [],
+                    evidence: [stmt.sourceRef],
+                    category: "vague_term",
+                });
+                break;
+            }
+        }
+    }
+    return ambiguities;
+}
+function detectMissingActors(statements) {
+    const ambiguities = [];
+    let ambiguityIndex = 0;
+    for (const stmt of statements) {
+        const lower = stmt.normalizedText;
+        for (const q of ACTOR_QUESTIONS) {
+            if (lower.includes(q)) {
+                ambiguities.push({
+                    id: `ambig-${ambiguityIndex++}`,
+                    question: `Actor not specified: ${stmt.originalText}`,
+                    blocking: true,
+                    affectedGoals: [],
+                    evidence: [stmt.sourceRef],
+                    category: "missing_actor",
+                });
+                break;
+            }
+        }
+    }
+    return ambiguities;
+}
+function detectContradictions(goals, constraints) {
+    const ambiguities = [];
+    let ambiguityIndex = 0;
+    // Normalize for contradiction comparison:
+    // Strips both modal verbs ("must", "shall") AND negation words ("not", "don't", "do not", etc.)
+    // Then collapses whitespace and lowercases.
+    // This lets "allow X" vs "must/do not allow X" both normalize to "allow x".
+    function normalizeForContradiction(text) {
+        // Normalize for comparison: remove negation phrases and modal verbs,
+        // leaving only the core action. This lets "allow X" vs "must/do not allow X"
+        // both normalize to "allow x".
+        let result = text;
+        // Remove negation phrases — "do not", "does not", "must not", "shall not"
+        // These appear with or without leading whitespace (start of sentence)
+        result = result.replace(/(?:^|\s)do(?:\s+not|\s+NOT)\s+/gi, " ");
+        result = result.replace(/(?:^|\s)does(?:\s+not|\s+NOT)\s+/gi, " ");
+        result = result.replace(/(?:^|\s)must\s+not\s+/gi, " ");
+        result = result.replace(/(?:^|\s)shall\s+not\s+/gi, " ");
+        result = result.replace(/(?:^|\s)should\s+not\s+/gi, " ");
+        result = result.replace(/(?:^|\s)will\s+not\s+/gi, " ");
+        // Remove standalone negation words (never, no, don't, cannot)
+        // surrounded by spaces — does NOT match "not" inside "anonymous"
+        result = result.replace(/\s+(?:never|no|don.t|doesn.t|can.t|cannot)\s+/gi, " ");
+        result = result.replace(/\s+not\s+/gi, " ");
+        // Remove modal verbs
+        result = result.replace(/\s+(?:must|shall|should|will|can|may|might)\s*/gi, " ");
+        result = result.replace(/\s+/g, " ").trim().toLowerCase();
+        return result;
+    }
+    // Check goal vs constraint pairs
+    for (const c of constraints) {
+        const normalizedConstr = normalizeForContradiction(c.normalizedText);
+        for (const g of goals) {
+            const normalizedGoal = normalizeForContradiction(g.normalizedText);
+            // Check if goal and constraint oppose each other after normalization
+            if (normalizedGoal === normalizedConstr && normalizedGoal.length > 3) {
+                ambiguities.push({
+                    id: `ambig-${ambiguityIndex++}`,
+                    question: `Contradiction detected: "${g.originalText}" contradicts "${c.originalText}". Which takes precedence?`,
+                    blocking: true,
+                    affectedGoals: [],
+                    evidence: [g.sourceRef, c.sourceRef],
+                    category: "contradiction",
+                });
+            }
+            // Check quantity contradictions
+            const qtyMatch = c.normalizedText.match(/\d+/);
+            const goalQtyMatch = g.normalizedText.match(/\d+/);
+            if (qtyMatch &&
+                goalQtyMatch &&
+                qtyMatch[0] !== goalQtyMatch[0] &&
+                c.normalizedText.includes("not")) {
+                ambiguities.push({
+                    id: `ambig-${ambiguityIndex++}`,
+                    question: `Quantity conflict: constraint says "${c.originalText}" but goal says "${g.originalText}". Clarify the correct value.`,
+                    blocking: true,
+                    affectedGoals: [],
+                    evidence: [g.sourceRef, c.sourceRef],
+                    category: "contradiction",
+                });
+            }
+        }
+    }
+    // Also check goal vs goal pairs (when both have negation)
+    for (let i = 0; i < goals.length; i++) {
+        for (let j = i + 1; j < goals.length; j++) {
+            const ga = goals[i];
+            const gb = goals[j];
+            const normA = normalizeForContradiction(ga.normalizedText);
+            const normB = normalizeForContradiction(gb.normalizedText);
+            if (normA === normB && normA.length > 3) {
+                // Check that one has negation and the other doesn't
+                const hasNegA = /\bnot\b|don.t|cannot/i.test(ga.normalizedText);
+                const hasNegB = /\bnot\b|don.t|cannot/i.test(gb.normalizedText);
+                if (hasNegA !== hasNegB) {
+                    ambiguities.push({
+                        id: `ambig-${ambiguityIndex++}`,
+                        question: `Contradiction detected: "${ga.originalText}" contradicts "${gb.originalText}". Which takes precedence?`,
+                        blocking: true,
+                        affectedGoals: [],
+                        evidence: [ga.sourceRef, gb.sourceRef],
+                        category: "contradiction",
+                    });
+                }
+            }
+        }
+    }
+    return ambiguities;
+}
+function detectScopeUncertainty(statements) {
+    const ambiguities = [];
+    let ambiguityIndex = 0;
+    const scopeKeywords = [
+        "maybe",
+        "possibly",
+        "or not",
+        "if possible",
+        "if needed",
+        "optional",
+        "as appropriate",
+    ];
+    for (const stmt of statements) {
+        const lower = stmt.normalizedText;
+        for (const kw of scopeKeywords) {
+            if (lower.includes(kw)) {
+                ambiguities.push({
+                    id: `ambig-${ambiguityIndex++}`,
+                    question: `Scope unclear: "${stmt.originalText}" uses "${kw}". Is this required or optional?`,
+                    blocking: false,
+                    affectedGoals: [],
+                    evidence: [stmt.sourceRef],
+                    category: "scope_unclear",
+                });
+                break;
+            }
+        }
+    }
+    return ambiguities;
+}
+/**
+ * Detect ambiguities in classified statements.
+ */
+export function detectAmbiguities(classification, _config) {
+    const allStatements = [
+        ...classification.goals,
+        ...classification.constraints,
+        ...classification.preferences,
+        ...classification.unknown,
+    ];
+    const ambiguities = [
+        ...detectVagueTerms(allStatements),
+        // Check all meaningful statements for missing actors, not just goals
+        // (preferences and unknown statements like "Who should..." may also lack actors)
+        ...detectMissingActors([
+            ...classification.goals,
+            ...classification.preferences,
+            ...classification.unknown,
+        ]),
+        ...detectContradictions(classification.goals, classification.constraints),
+        ...detectScopeUncertainty(allStatements),
+    ];
+    // De-duplicate by evidence text
+    const seen = new Set();
+    return ambiguities.filter((a) => {
+        const key = a.question;
+        if (seen.has(key))
+            return false;
+        seen.add(key);
+        return true;
+    });
+}
+//# sourceMappingURL=ambiguity-detector.js.map

package/packages/requirement-compiler/dist/ambiguity-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ambiguity-detector.js","sourceRoot":"","sources":["../src/ambiguity-detector.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAQH;;GAEG;AACH,MAAM,WAAW,GAAG;IACnB,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,WAAW;IACX,UAAU;IACV,QAAQ;IACR,UAAU;IACV,aAAa;IACb,YAAY;IACZ,MAAM;IACN,KAAK;IACL,MAAM;IACN,SAAS;IACT,SAAS;IACT,OAAO;IACP,WAAW;IACX,gBAAgB;IAChB,UAAU;CACV,CAAC;AAEF;;GAEG;AACH,MAAM,eAAe,GAAG;IACvB,YAAY;IACZ,UAAU;IACV,SAAS;IACT,oBAAoB;IACpB,YAAY;IACZ,WAAW;CACX,CAAC;AAEF,SAAS,gBAAgB,CACxB,UAIG;IAEH,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,WAAW,CAAC,IAAI,CAAC;oBAChB,EAAE,EAAE,SAAS,cAAc,EAAE,EAAE;oBAC/B,QAAQ,EAAE,aAAa,IAAI,0BAA0B,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB;oBAC5G,QAAQ,EAAE,KAAK;oBACf,aAAa,EAAE,EAAE;oBACjB,QAAQ,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;oBAC1B,QAAQ,EAAE,YAAY;iBACtB,CAAC,CAAC;gBACH,MAAM;YACP,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,WAAW,CAAC;AACpB,CAAC;AAED,SAAS,mBAAmB,CAC3B,UAIG;IAEH,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvB,WAAW,CAAC,IAAI,CAAC;oBAChB,EAAE,EAAE,SAAS,cAAc,EAAE,EAAE;oBAC/B,QAAQ,EAAE,wBAAwB,IAAI,CAAC,YAAY,EAAE;oBACrD,QAAQ,EAAE,IAAI;oBACd,aAAa,EAAE,EAAE;oBACjB,QAAQ,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;oBAC1B,QAAQ,EAAE,eAAe;iBACzB,CAAC,CAAC;gBACH,MAAM;YACP,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,WAAW,CAAC;AACpB,CAAC;AAED,SAAS,oBAAoB,CAC5B,KAIG,EACH,WAIG;IAEH,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,0CAA0C;IAC1C,gGAAgG;IAChG,4CAA4C;IAC5C,4EAA4E;IAC5E,SAAS,yBAAyB,CAAC,IAAY;QAC9C,qEAAqE;QACrE,6EAA6E;QAC7E,+BAA+B;QAC/B,IAAI,MAAM,GAAG,IAAI,CAAC;QAClB,0EAA0E;QAC1E,sEAAsE;QACtE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,kCAAkC,EAAE,GAAG,CAAC,CAAC;QACjE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,oCAAoC,EAAE,GAAG,CAAC,CAAC;QACnE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC;QACxD,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,0BAA0B,EAAE,GAAG,CAAC,CAAC;QACzD,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,2BAA2B,EAAE,GAAG,CAAC,CAAC;QAC1D,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC;QACxD,8DAA8D;QAC9D,iEAAiE;QACjE,MAAM,GAAG,MAAM,CAAC,OAAO,CACtB,iDAAiD,EACjD,GAAG,CACH,CAAC;QACF,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;QAC5C,qBAAqB;QACrB,MAAM,GAAG,MAAM,CAAC,OAAO,CACtB,kDAAkD,EAClD,GAAG,CACH,CAAC;QACF,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC1D,OAAO,MAAM,CAAC;IACf,CAAC;IAED,iCAAiC;IACjC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC7B,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QACrE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,cAAc,GAAG,yBAAyB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAEnE,qEAAqE;YACrE,IAAI,cAAc,KAAK,gBAAgB,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtE,WAAW,CAAC,IAAI,CAAC;oBAChB,EAAE,EAAE,SAAS,cAAc,EAAE,EAAE;oBAC/B,QAAQ,EAAE,4BAA4B,CAAC,CAAC,YAAY,kBAAkB,CAAC,CAAC,YAAY,4BAA4B;oBAChH,QAAQ,EAAE,IAAI;oBACd,aAAa,EAAE,EAAE;oBACjB,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;oBACpC,QAAQ,EAAE,eAAe;iBACzB,CAAC,CAAC;YACJ,CAAC;YAED,gCAAgC;YAChC,MAAM,QAAQ,GAAG,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/C,MAAM,YAAY,GAAG,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACnD,IACC,QAAQ;gBACR,YAAY;gBACZ,QAAQ,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC;gBAC/B,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC/B,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC;oBAChB,EAAE,EAAE,SAAS,cAAc,EAAE,EAAE;oBAC/B,QAAQ,EAAE,uCAAuC,CAAC,CAAC,YAAY,oBAAoB,CAAC,CAAC,YAAY,+BAA+B;oBAChI,QAAQ,EAAE,IAAI;oBACd,aAAa,EAAE,EAAE;oBACjB,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;oBACpC,QAAQ,EAAE,eAAe;iBACzB,CAAC,CAAC;YACJ,CAAC;QACF,CAAC;IACF,CAAC;IAED,0DAA0D;IAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,KAAK,GAAG,yBAAyB,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,yBAAyB,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;YAC3D,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzC,oDAAoD;gBACpD,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;gBAChE,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;gBAChE,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;oBACzB,WAAW,CAAC,IAAI,CAAC;wBAChB,EAAE,EAAE,SAAS,cAAc,EAAE,EAAE;wBAC/B,QAAQ,EAAE,4BAA4B,EAAE,CAAC,YAAY,kBAAkB,EAAE,CAAC,YAAY,4BAA4B;wBAClH,QAAQ,EAAE,IAAI;wBACd,aAAa,EAAE,EAAE;wBACjB,QAAQ,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC;wBACtC,QAAQ,EAAE,eAAe;qBACzB,CAAC,CAAC;gBACJ,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,WAAW,CAAC;AACpB,CAAC;AAED,SAAS,sBAAsB,CAC9B,UAIG;IAEH,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,MAAM,aAAa,GAAG;QACrB,OAAO;QACP,UAAU;QACV,QAAQ;QACR,aAAa;QACb,WAAW;QACX,UAAU;QACV,gBAAgB;KAChB,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC;QAClC,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACxB,WAAW,CAAC,IAAI,CAAC;oBAChB,EAAE,EAAE,SAAS,cAAc,EAAE,EAAE;oBAC/B,QAAQ,EAAE,mBAAmB,IAAI,CAAC,YAAY,WAAW,EAAE,kCAAkC;oBAC7F,QAAQ,EAAE,KAAK;oBACf,aAAa,EAAE,EAAE;oBACjB,QAAQ,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;oBAC1B,QAAQ,EAAE,eAAe;iBACzB,CAAC,CAAC;gBACH,MAAM;YACP,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,WAAW,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAChC,cAAoC,EACpC,OAAkC;IAElC,MAAM,aAAa,GAAG;QACrB,GAAG,cAAc,CAAC,KAAK;QACvB,GAAG,cAAc,CAAC,WAAW;QAC7B,GAAG,cAAc,CAAC,WAAW;QAC7B,GAAG,cAAc,CAAC,OAAO;KACzB,CAAC;IAEF,MAAM,WAAW,GAA2B;QAC3C,GAAG,gBAAgB,CAAC,aAAa,CAAC;QAClC,qEAAqE;QACrE,iFAAiF;QACjF,GAAG,mBAAmB,CAAC;YACtB,GAAG,cAAc,CAAC,KAAK;YACvB,GAAG,cAAc,CAAC,WAAW;YAC7B,GAAG,cAAc,CAAC,OAAO;SACzB,CAAC;QACF,GAAG,oBAAoB,CAAC,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,WAAW,CAAC;QACzE,GAAG,sBAAsB,CAAC,aAAa,CAAC;KACxC,CAAC;IAEF,gCAAgC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC;QACvB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACb,CAAC,CAAC,CAAC;AACJ,CAAC"}

package/packages/requirement-compiler/dist/classifier.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Requirement Compiler - Statement Classifier
+ *
+ * Classifies extracted statements into goals, constraints, preferences, etc.
+ */
+import type { ClassificationResult, ExtractedStatement, RequirementCompilerConfig } from "./types.js";
+/**
+ * Classify all extracted statements.
+ */
+export declare function classifyStatements(statements: ExtractedStatement[], config: RequirementCompilerConfig): ClassificationResult;
+//# sourceMappingURL=classifier.d.ts.map

package/packages/requirement-compiler/dist/classifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"classifier.d.ts","sourceRoot":"","sources":["../src/classifier.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACX,oBAAoB,EACpB,kBAAkB,EAClB,yBAAyB,EACzB,MAAM,YAAY,CAAC;AA+FpB;;GAEG;AACH,wBAAgB,kBAAkB,CACjC,UAAU,EAAE,kBAAkB,EAAE,EAChC,MAAM,EAAE,yBAAyB,GAC/B,oBAAoB,CAiCtB"}

package/packages/requirement-compiler/dist/classifier.js

@@ -0,0 +1,101 @@
+/**
+ * Requirement Compiler - Statement Classifier
+ *
+ * Classifies extracted statements into goals, constraints, preferences, etc.
+ */
+/**
+ * Classify a single statement based on its text content and keywords.
+ */
+function classifyStatement(stmt, config) {
+    const lower = stmt.normalizedText;
+    // Terminology patterns — Thai-only or bilingual short phrases
+    // MUST check FIRST so Thai text doesn't get captured by keyword patterns
+    if (/[ก-๙]/.test(stmt.originalText) && stmt.originalText.length < 80) {
+        return { ...stmt, kind: "terminology" };
+    }
+    const mandKw = config.mandatoryKeywords ?? [];
+    const prefKw = config.preferenceKeywords ?? [];
+    // Constraint patterns — negation ANYWHERE in statement
+    // MUST check BEFORE mandatory/preference keyword checks so "must not allow"
+    // -> constraint (not behavior or preference)
+    const hasNegation = /not\s/.test(lower) ||
+        /don.t/.test(lower) ||
+        /\bnever\s/.test(lower) ||
+        /\bavoid\s/.test(lower) ||
+        /cannot\b/.test(lower);
+    if (hasNegation) {
+        return { ...stmt, kind: "constraint" };
+    }
+    // Check explicit mandatory markers
+    const isMandatory = mandKw.some((kw) => lower.includes(kw.toLowerCase()));
+    // Check explicit preference markers
+    const isPreference = prefKw.some((kw) => lower.includes(kw.toLowerCase()));
+    // Override kind based on explicit markers
+    if (isMandatory && !isPreference) {
+        return { ...stmt, kind: "explicit_behavior" };
+    }
+    if (isPreference && !isMandatory) {
+        return { ...stmt, kind: "preference" };
+    }
+    // Pattern-based classification
+    if (lower.startsWith("we will") ||
+        lower.startsWith("the system should") ||
+        lower.startsWith("the app should") ||
+        lower.startsWith("the user should")) {
+        return { ...stmt, kind: "explicit_behavior" };
+    }
+    // Goal patterns — action verbs at start of statement
+    const goalPattern = /^(?:the\s+(?:system|app|user)\s+)?(allow|enable|provide|show|display|create|add|support|let|implement|build|use|send|receive|save|load|calculate|process)\b/i;
+    if (goalPattern.test(lower)) {
+        return { ...stmt, kind: "goal" };
+    }
+    // Assumption patterns
+    if (/^assume\s/.test(lower) ||
+        lower.includes("assuming that") ||
+        lower.includes("we assume")) {
+        return { ...stmt, kind: "assumption" };
+    }
+    // Acceptance criterion patterns (Given/When/Then) — check BEFORE tech suggestions
+    // so "Given...use..." doesn't get classified as implementation_suggestion
+    if (/(?:^|[\s,])given\s/i.test(stmt.originalText) ||
+        /(?:^|[\s,])when\s/i.test(stmt.originalText) ||
+        /(?:^|[\s,])then\s/i.test(stmt.originalText)) {
+        return { ...stmt, kind: "acceptance_criterion" };
+    }
+    // Technology suggestion patterns — use word boundary for "use"
+    if (/\buse\b/.test(lower) ||
+        lower.includes("implement with") ||
+        lower.includes("write in") ||
+        lower.includes("build with")) {
+        return { ...stmt, kind: "implementation_suggestion" };
+    }
+    return stmt;
+}
+/**
+ * Classify all extracted statements.
+ */
+export function classifyStatements(statements, config) {
+    const classified = statements.map((s) => classifyStatement(s, config));
+    const goals = classified.filter((s) => s.kind === "goal" || s.kind === "explicit_behavior");
+    const constraints = classified.filter((s) => s.kind === "constraint");
+    const preferences = classified.filter((s) => s.kind === "preference");
+    const implSuggestions = classified.filter((s) => s.kind === "implementation_suggestion");
+    const terminology = classified.filter((s) => s.kind === "terminology");
+    const actors = classified.filter((s) => s.kind === "actor_mention");
+    const acceptance = classified.filter((s) => s.kind === "acceptance_criterion");
+    const assumptions = classified.filter((s) => s.kind === "assumption");
+    const unknown = classified.filter((s) => s.kind === "unknown" && s.id !== "stmt-title");
+    return {
+        statements: classified,
+        goals,
+        constraints,
+        preferences,
+        implementationSuggestions: implSuggestions,
+        terminologyMentions: terminology,
+        actorMentions: actors,
+        acceptanceCriterionStatements: acceptance,
+        assumptions,
+        unknown,
+    };
+}
+//# sourceMappingURL=classifier.js.map

package/packages/requirement-compiler/dist/classifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classifier.js","sourceRoot":"","sources":["../src/classifier.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAQH;;GAEG;AACH,SAAS,iBAAiB,CACzB,IAAwB,EACxB,MAAiC;IAEjC,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC;IAElC,8DAA8D;IAC9D,yEAAyE;IACzE,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACtE,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACzC,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC;IAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC;IAE/C,uDAAuD;IACvD,4EAA4E;IAC5E,6CAA6C;IAC7C,MAAM,WAAW,GAChB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;QACnB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;QACnB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;QACvB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;QACvB,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,IAAI,WAAW,EAAE,CAAC;QACjB,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IACxC,CAAC;IAED,mCAAmC;IACnC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAC1E,oCAAoC;IACpC,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAE3E,0CAA0C;IAC1C,IAAI,WAAW,IAAI,CAAC,YAAY,EAAE,CAAC;QAClC,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;IAC/C,CAAC;IACD,IAAI,YAAY,IAAI,CAAC,WAAW,EAAE,CAAC;QAClC,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IACxC,CAAC;IAED,+BAA+B;IAC/B,IACC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC;QAC3B,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC;QACrC,KAAK,CAAC,UAAU,CAAC,gBAAgB,CAAC;QAClC,KAAK,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAClC,CAAC;QACF,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;IAC/C,CAAC;IAED,qDAAqD;IACrD,MAAM,WAAW,GAChB,8JAA8J,CAAC;IAChK,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAClC,CAAC;IAED,sBAAsB;IACtB,IACC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;QACvB,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC;QAC/B,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAC1B,CAAC;QACF,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IACxC,CAAC;IAED,kFAAkF;IAClF,0EAA0E;IAC1E,IACC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;QAC7C,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;QAC5C,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAC3C,CAAC;QACF,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC;IAClD,CAAC;IAED,+DAA+D;IAC/D,IACC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;QACrB,KAAK,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAChC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC1B,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,EAC3B,CAAC;QACF,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,2BAA2B,EAAE,CAAC;IACvD,CAAC;IAED,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CACjC,UAAgC,EAChC,MAAiC;IAEjC,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IAEvE,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAC1D,CAAC;IACF,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACtE,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACtE,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,2BAA2B,CAC7C,CAAC;IACF,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CACxC,CAAC;IACF,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,YAAY,CACpD,CAAC;IAEF,OAAO;QACN,UAAU,EAAE,UAAU;QACtB,KAAK;QACL,WAAW;QACX,WAAW;QACX,yBAAyB,EAAE,eAAe;QAC1C,mBAAmB,EAAE,WAAW;QAChC,aAAa,EAAE,MAAM;QACrB,6BAA6B,EAAE,UAAU;QACzC,WAAW;QACX,OAAO;KACP,CAAC;AACH,CAAC"}

package/packages/requirement-compiler/dist/compiler.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Requirement Compiler - Main Compiler
+ *
+ * Compiles raw requirements into validated CompiledRequirement.
+ */
+import { type CompiledRequirement, type RawRequirement, type RequirementCompilerDependencies } from "./types.js";
+/**
+ * Compile a raw requirement into a validated CompiledRequirement.
+ */
+export declare function compileRequirement(raw: RawRequirement, deps?: RequirementCompilerDependencies): Promise<CompiledRequirement>;
+//# sourceMappingURL=compiler.d.ts.map

package/packages/requirement-compiler/dist/compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../src/compiler.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAOH,OAAO,EAEN,KAAK,mBAAmB,EAExB,KAAK,cAAc,EAInB,KAAK,+BAA+B,EACpC,MAAM,YAAY,CAAC;AAEpB;;GAEG;AACH,wBAAsB,kBAAkB,CACvC,GAAG,EAAE,cAAc,EACnB,IAAI,CAAC,EAAE,+BAA+B,GACpC,OAAO,CAAC,mBAAmB,CAAC,CA2S9B"}

package/packages/requirement-compiler/dist/compiler.js

@@ -0,0 +1,231 @@
+/**
+ * Requirement Compiler - Main Compiler
+ *
+ * Compiles raw requirements into validated CompiledRequirement.
+ */
+import { detectAmbiguities } from "./ambiguity-detector.js";
+import { classifyStatements } from "./classifier.js";
+import { extractStatements } from "./extractor.js";
+import { normalizeAcceptanceCriteria } from "./normalizer.js";
+import { detectRisks } from "./risk-detector.js";
+import { DEFAULT_COMPILER_CONFIG, RequirementCompileError, RequirementCompileErrorCodes, } from "./types.js";
+/**
+ * Compile a raw requirement into a validated CompiledRequirement.
+ */
+export async function compileRequirement(raw, deps) {
+    const config = {
+        ...DEFAULT_COMPILER_CONFIG,
+        ...deps,
+    };
+    const clock = deps?.clock ?? (() => new Date());
+    // --- Pre-flight validation ------------------------------------------------
+    if (!raw.text.trim() && !raw.title?.trim()) {
+        throw new RequirementCompileError(RequirementCompileErrorCodes.EMPTY_REQUIREMENT, `Requirement ${raw.id} has no text or title.`, { requirementId: raw.id });
+    }
+    // --- Step 1: Extract statements -----------------------------------------
+    const extractor = deps?.extractor ?? { extract: extractStatements };
+    const extractionResult = extractor.extract(raw);
+    // --- Step 2: Classify statements --------------------------------------
+    const classifier = deps?.classifier ?? { classify: classifyStatements };
+    const classification = classifier.classify(extractionResult.statements, config);
+    // --- Step 3: Build goals -------------------------------------------------
+    const goals = classification.goals.map((stmt, i) => ({
+        id: `goal-${i + 1}`,
+        description: stmt.originalText,
+        sourceRefs: [stmt.sourceRef],
+        priority: undefined,
+    }));
+    // --- Step 4: Build constraints --------------------------------------------
+    const constraints = classification.constraints.map((stmt, i) => ({
+        id: `constraint-${i + 1}`,
+        description: stmt.originalText,
+        kind: "mandatory",
+        sourceRefs: [stmt.sourceRef],
+        blocking: true,
+    }));
+    // --- Step 5: Build preferences -------------------------------------------
+    const preferenceConstraints = classification.preferences.map((stmt, i) => ({
+        id: `pref-constraint-${i + 1}`,
+        description: stmt.originalText,
+        kind: "preferable",
+        sourceRefs: [stmt.sourceRef],
+        blocking: false,
+    }));
+    // --- Step 6: Detect ambiguities -------------------------------------------
+    const ambiguityDetector = deps?.ambiguityDetector ?? {
+        detect: detectAmbiguities,
+    };
+    const ambiguities = ambiguityDetector.detect(classification, config);
+    // --- Step 7: Normalize acceptance criteria --------------------------------
+    const acceptanceNormalizer = deps?.acceptanceNormalizer ?? {
+        normalize: normalizeAcceptanceCriteria,
+    };
+    const acceptanceCriteria = acceptanceNormalizer.normalize(classification.acceptanceCriterionStatements);
+    // If no explicit acceptance criteria, generate from goals
+    let finalAcceptanceCriteria = acceptanceCriteria;
+    if (acceptanceCriteria.length === 0 && goals.length > 0) {
+        finalAcceptanceCriteria = goals.map((goal, i) => ({
+            id: `AC-${String(i + 1).padStart(3, "0")}`,
+            given: "prerequisites are met",
+            when: "the implementation is complete",
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
+            outcome: [`The goal "${goal.description}" is achieved.`],
+            sourceRefs: goal.sourceRefs,
+            automatable: false,
+        }));
+    }
+    // --- Step 8: Detect risks -------------------------------------------------
+    const riskDetector = deps?.riskDetector ?? { detect: detectRisks };
+    const riskTags = riskDetector.detect(classification);
+    // --- Step 9: Extract terminology ------------------------------------------
+    const terminology = classification.terminologyMentions.map((stmt) => ({
+        term: stmt.originalText,
+        definition: stmt.normalizedText,
+        language: /[ก-๙]/.test(stmt.originalText) ? "th" : "en",
+        sourceRef: stmt.sourceRef,
+    }));
+    // --- Step 10: Identify actors ----------------------------------------------
+    const actors = [];
+    const actorNames = new Set();
+    // Scan all meaningful statements for actor mentions
+    const allStmts = [
+        ...classification.goals,
+        ...classification.constraints,
+        ...classification.unknown,
+    ];
+    for (const stmt of allStmts) {
+        // Pattern 1: "The [role] can/must/should/is" — catches "The admin", "The user"
+        const pattern1 = stmt.originalText.match(/(?:the|an?|my)\s+([a-z][a-z0-9]*(?:\s+[a-z][a-z0-9]*)?)\s+(?:can|must|should|is|are|has|have|will|does)/gi);
+        if (pattern1) {
+            for (const match of pattern1) {
+                const name = match
+                    .replace(/^(?:the|an?|my)\s+/i, "")
+                    .replace(/\s+(?:can|must|should|is|are|has|have|will|does)$/i, "")
+                    .trim();
+                // Filter out generic words
+                if (name.length > 1 &&
+                    name.length < 30 &&
+                    !/^(?:admin|user|system|app|user account|account|any|all|some|each|the)$/i.test(name)) {
+                    const key = name.toLowerCase();
+                    if (!actorNames.has(key)) {
+                        actorNames.add(key);
+                        actors.push({
+                            id: `actor-${actors.length + 1}`,
+                            name: name.charAt(0).toUpperCase() + name.slice(1),
+                            role: name.toLowerCase(),
+                            sourceRefs: [stmt.sourceRef],
+                        });
+                    }
+                }
+            }
+        }
+        // Pattern 2: "[role] can" — captures "admin" from "The admin can delete"
+        const pattern2 = stmt.originalText.match(/(?:^|\s)([a-z][a-z0-9]{1,20})\s+can\s+(?:delete|edit|access|view|create|update|remove|manage)/gi);
+        if (pattern2) {
+            for (const match of pattern2) {
+                const name = match
+                    .replace(/\s+can\s+(?:delete|edit|access|view|create|update|remove|manage)$/i, "")
+                    .trim();
+                if (name.length > 1 &&
+                    name.length < 30 &&
+                    !/^(?:it|this|that|the|a|an|any|all|some|each|their|their own|own)$/i.test(name)) {
+                    const key = name.toLowerCase();
+                    if (!actorNames.has(key)) {
+                        actorNames.add(key);
+                        actors.push({
+                            id: `actor-${actors.length + 1}`,
+                            name: name.charAt(0).toUpperCase() + name.slice(1),
+                            role: name.toLowerCase(),
+                            sourceRefs: [stmt.sourceRef],
+                        });
+                    }
+                }
+            }
+        }
+    }
+    // --- Step 11: Identify non-goals ------------------------------------------
+    const nonGoals = [];
+    for (const stmt of classification.constraints) {
+        // Explicit "will not" or "should not" statements in non-goal context
+        if (/strip|will not|should not/i.test(stmt.originalText) &&
+            !/stripping|removing/.test(stmt.originalText.toLowerCase())) {
+            nonGoals.push(stmt.originalText);
+        }
+    }
+    // --- Step 12: Build workflows ---------------------------------------------
+    const workflows = [];
+    // Group consecutive statements into workflows heuristically
+    const goalStatements = [
+        ...classification.goals,
+        ...classification.implementationSuggestions,
+    ];
+    if (goalStatements.length >= 2) {
+        workflows.push({
+            id: "workflow-1",
+            name: "Main workflow",
+            steps: goalStatements.map((s) => s.originalText),
+            actors: actors.map((a) => a.name),
+            preconditions: [],
+            outcomes: goals.map((g) => g.description),
+            sourceRefs: goalStatements.flatMap((s) => [s.sourceRef]),
+        });
+    }
+    // --- Step 13: Determine status --------------------------------------------
+    let status = "ready";
+    const blockingAmbiguities = ambiguities.filter((a) => a.blocking);
+    if (blockingAmbiguities.length > 0 &&
+        config.allowReversibleAssumptions !== false) {
+        status = "needs_human";
+    }
+    else if (blockingAmbiguities.length > 0) {
+        status = "needs_human";
+    }
+    // Check for impossible requirements (contradictions)
+    const contradictions = ambiguities.filter((a) => a.category === "contradiction");
+    if (contradictions.length > 0) {
+        throw new RequirementCompileError(RequirementCompileErrorCodes.UNRESOLVABLE_CONTRADICTION, `Requirement ${raw.id} contains unresolvable contradictions.`, { contradictions: contradictions.map((c) => c.question) });
+    }
+    // Check for empty/vague requirement after processing
+    // A requirement is "empty" if it has no goals, constraints, nonGoals,
+    // AND the text is either blank OR contains only vague/uncertain language
+    const vaguePatterns = /^(maybe|perhaps|possibly|maybe perhaps|perhaps possibly|not sure|not certain|i think|we think|not sure if|uncertain|ambiguous|maybe $|possibly $|\?+$)/i;
+    const isVague = vaguePatterns.test(raw.text.trim());
+    if (goals.length === 0 &&
+        constraints.length === 0 &&
+        nonGoals.length === 0 &&
+        (!raw.text.trim() || isVague)) {
+        throw new RequirementCompileError(RequirementCompileErrorCodes.EMPTY_REQUIREMENT, `Requirement ${raw.id} contains no identifiable goals or constraints.`, { requirementId: raw.id });
+    }
+    // --- Step 14: Build source references ------------------------------------
+    const sourceRefs = extractionResult.statements.map((s) => s.sourceRef);
+    // --- Step 15: Assemble problem statement ---------------------------------
+    const problemStatement = goals.length > 0
+        ? goals.map((g) => g.description).join("; ")
+        : (raw.title ?? raw.text.slice(0, 200));
+    // --- Step 16: Build final compiled requirement ----------------------------
+    const compiled = {
+        id: raw.id,
+        title: raw.title ?? problemStatement.slice(0, 80),
+        problemStatement,
+        goals,
+        nonGoals,
+        constraints: [...constraints, ...preferenceConstraints],
+        actors,
+        workflows,
+        acceptanceCriteria: finalAcceptanceCriteria,
+        assumptions: classification.assumptions.map((stmt, i) => ({
+            id: `assumption-${i + 1}`,
+            description: stmt.originalText,
+            sourceRefs: [stmt.sourceRef],
+            reversible: config.allowReversibleAssumptions !== false,
+        })),
+        ambiguities,
+        terminology,
+        riskTags,
+        sourceRefs,
+        status,
+        compiledAt: clock().toISOString(),
+    };
+    return compiled;
+}
+//# sourceMappingURL=compiler.js.map

package/packages/requirement-compiler/dist/compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../src/compiler.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAGN,uBAAuB,EAEvB,uBAAuB,EACvB,4BAA4B,GAG5B,MAAM,YAAY,CAAC;AAEpB;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACvC,GAAmB,EACnB,IAAsC;IAEtC,MAAM,MAAM,GAA8B;QACzC,GAAG,uBAAuB;QAC1B,GAAG,IAAI;KACP,CAAC;IAEF,MAAM,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAEhD,6EAA6E;IAE7E,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,uBAAuB,CAChC,4BAA4B,CAAC,iBAAiB,EAC9C,eAAe,GAAG,CAAC,EAAE,wBAAwB,EAC7C,EAAE,aAAa,EAAE,GAAG,CAAC,EAAE,EAAE,CACzB,CAAC;IACH,CAAC;IAED,2EAA2E;IAE3E,MAAM,SAAS,GAAG,IAAI,EAAE,SAAS,IAAI,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;IACpE,MAAM,gBAAgB,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAEhD,yEAAyE;IAEzE,MAAM,UAAU,GAAG,IAAI,EAAE,UAAU,IAAI,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IACxE,MAAM,cAAc,GAAyB,UAAU,CAAC,QAAQ,CAC/D,gBAAgB,CAAC,UAAU,EAC3B,MAAM,CACN,CAAC;IAEF,4EAA4E;IAE5E,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACpD,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE;QACnB,WAAW,EAAE,IAAI,CAAC,YAAY;QAC9B,UAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;QAC5B,QAAQ,EAAE,SAAkD;KAC5D,CAAC,CAAC,CAAC;IAEJ,6EAA6E;IAE7E,MAAM,WAAW,GAAG,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAChE,EAAE,EAAE,cAAc,CAAC,GAAG,CAAC,EAAE;QACzB,WAAW,EAAE,IAAI,CAAC,YAAY;QAC9B,IAAI,EAAE,WAAoB;QAC1B,UAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;QAC5B,QAAQ,EAAE,IAAI;KACd,CAAC,CAAC,CAAC;IAEJ,4EAA4E;IAE5E,MAAM,qBAAqB,GAAG,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1E,EAAE,EAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE;QAC9B,WAAW,EAAE,IAAI,CAAC,YAAY;QAC9B,IAAI,EAAE,YAAqB;QAC3B,UAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;QAC5B,QAAQ,EAAE,KAAK;KACf,CAAC,CAAC,CAAC;IAEJ,6EAA6E;IAE7E,MAAM,iBAAiB,GAAG,IAAI,EAAE,iBAAiB,IAAI;QACpD,MAAM,EAAE,iBAAiB;KACzB,CAAC;IACF,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAErE,6EAA6E;IAE7E,MAAM,oBAAoB,GAAG,IAAI,EAAE,oBAAoB,IAAI;QAC1D,SAAS,EAAE,2BAA2B;KACtC,CAAC;IACF,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,SAAS,CACxD,cAAc,CAAC,6BAA6B,CAC5C,CAAC;IAEF,0DAA0D;IAC1D,IAAI,uBAAuB,GAAG,kBAAkB,CAAC;IACjD,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzD,uBAAuB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACjD,EAAE,EAAE,MAAM,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;YAC1C,KAAK,EAAE,uBAAuB;YAC9B,IAAI,EAAE,gCAAgC;YACtC,mEAAmE;YACnE,OAAO,EAAE,CAAC,aAAa,IAAI,CAAC,WAAW,gBAAgB,CAAa;YACpE,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,WAAW,EAAE,KAAK;SAClB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,6EAA6E;IAE7E,MAAM,YAAY,GAAG,IAAI,EAAE,YAAY,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACnE,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IAErD,6EAA6E;IAE7E,MAAM,WAAW,GAAG,cAAc,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACrE,IAAI,EAAE,IAAI,CAAC,YAAY;QACvB,UAAU,EAAE,IAAI,CAAC,cAAc;QAC/B,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;QACvD,SAAS,EAAE,IAAI,CAAC,SAAS;KACzB,CAAC,CAAC,CAAC;IAEJ,8EAA8E;IAE9E,MAAM,MAAM,GAAkC,EAAE,CAAC;IACjD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,oDAAoD;IACpD,MAAM,QAAQ,GAAG;QAChB,GAAG,cAAc,CAAC,KAAK;QACvB,GAAG,cAAc,CAAC,WAAW;QAC7B,GAAG,cAAc,CAAC,OAAO;KACzB,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC7B,+EAA+E;QAC/E,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CACvC,2GAA2G,CAC3G,CAAC;QACF,IAAI,QAAQ,EAAE,CAAC;YACd,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,KAAK;qBAChB,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC;qBAClC,OAAO,CAAC,oDAAoD,EAAE,EAAE,CAAC;qBACjE,IAAI,EAAE,CAAC;gBACT,2BAA2B;gBAC3B,IACC,IAAI,CAAC,MAAM,GAAG,CAAC;oBACf,IAAI,CAAC,MAAM,GAAG,EAAE;oBAChB,CAAC,yEAAyE,CAAC,IAAI,CAC9E,IAAI,CACJ,EACA,CAAC;oBACF,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;oBAC/B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC1B,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBACpB,MAAM,CAAC,IAAI,CAAC;4BACX,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE;4BAChC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;4BAClD,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;4BACxB,UAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;yBAC5B,CAAC,CAAC;oBACJ,CAAC;gBACF,CAAC;YACF,CAAC;QACF,CAAC;QAED,yEAAyE;QACzE,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CACvC,iGAAiG,CACjG,CAAC;QACF,IAAI,QAAQ,EAAE,CAAC;YACd,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,KAAK;qBAChB,OAAO,CACP,oEAAoE,EACpE,EAAE,CACF;qBACA,IAAI,EAAE,CAAC;gBACT,IACC,IAAI,CAAC,MAAM,GAAG,CAAC;oBACf,IAAI,CAAC,MAAM,GAAG,EAAE;oBAChB,CAAC,oEAAoE,CAAC,IAAI,CACzE,IAAI,CACJ,EACA,CAAC;oBACF,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;oBAC/B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC1B,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBACpB,MAAM,CAAC,IAAI,CAAC;4BACX,EAAE,EAAE,SAAS,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE;4BAChC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;4BAClD,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;4BACxB,UAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;yBAC5B,CAAC,CAAC;oBACJ,CAAC;gBACF,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAED,6EAA6E;IAE7E,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,WAAW,EAAE,CAAC;QAC/C,qEAAqE;QACrE,IACC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;YACpD,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC,EAC1D,CAAC;YACF,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAClC,CAAC;IACF,CAAC;IAED,6EAA6E;IAE7E,MAAM,SAAS,GAAqC,EAAE,CAAC;IACvD,4DAA4D;IAC5D,MAAM,cAAc,GAAG;QACtB,GAAG,cAAc,CAAC,KAAK;QACvB,GAAG,cAAc,CAAC,yBAAyB;KAC3C,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAChC,SAAS,CAAC,IAAI,CAAC;YACd,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC;YAChD,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACjC,aAAa,EAAE,EAAE;YACjB,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;YACzC,UAAU,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;SACxD,CAAC,CAAC;IACJ,CAAC;IAED,6EAA6E;IAE7E,IAAI,MAAM,GAAkC,OAAO,CAAC;IAEpD,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAElE,IACC,mBAAmB,CAAC,MAAM,GAAG,CAAC;QAC9B,MAAM,CAAC,0BAA0B,KAAK,KAAK,EAC1C,CAAC;QACF,MAAM,GAAG,aAAa,CAAC;IACxB,CAAC;SAAM,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAG,aAAa,CAAC;IACxB,CAAC;IAED,qDAAqD;IACrD,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,eAAe,CACrC,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,uBAAuB,CAChC,4BAA4B,CAAC,0BAA0B,EACvD,eAAe,GAAG,CAAC,EAAE,wCAAwC,EAC7D,EAAE,cAAc,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CACzD,CAAC;IACH,CAAC;IAED,qDAAqD;IACrD,sEAAsE;IACtE,yEAAyE;IACzE,MAAM,aAAa,GAClB,yJAAyJ,CAAC;IAC3J,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACpD,IACC,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,WAAW,CAAC,MAAM,KAAK,CAAC;QACxB,QAAQ,CAAC,MAAM,KAAK,CAAC;QACrB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,OAAO,CAAC,EAC5B,CAAC;QACF,MAAM,IAAI,uBAAuB,CAChC,4BAA4B,CAAC,iBAAiB,EAC9C,eAAe,GAAG,CAAC,EAAE,iDAAiD,EACtE,EAAE,aAAa,EAAE,GAAG,CAAC,EAAE,EAAE,CACzB,CAAC;IACH,CAAC;IAED,4EAA4E;IAE5E,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAEvE,4EAA4E;IAE5E,MAAM,gBAAgB,GACrB,KAAK,CAAC,MAAM,GAAG,CAAC;QACf,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5C,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAE1C,6EAA6E;IAE7E,MAAM,QAAQ,GAAwB;QACrC,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QACjD,gBAAgB;QAChB,KAAK;QACL,QAAQ;QACR,WAAW,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,qBAAqB,CAAC;QACvD,MAAM;QACN,SAAS;QACT,kBAAkB,EAAE,uBAAuB;QAC3C,WAAW,EAAE,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACzD,EAAE,EAAE,cAAc,CAAC,GAAG,CAAC,EAAE;YACzB,WAAW,EAAE,IAAI,CAAC,YAAY;YAC9B,UAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;YAC5B,UAAU,EAAE,MAAM,CAAC,0BAA0B,KAAK,KAAK;SACvD,CAAC,CAAC;QACH,WAAW;QACX,WAAW;QACX,QAAQ;QACR,UAAU;QACV,MAAM;QACN,UAAU,EAAE,KAAK,EAAE,CAAC,WAAW,EAAE;KACjC,CAAC;IAEF,OAAO,QAAQ,CAAC;AACjB,CAAC"}

package/packages/requirement-compiler/dist/extractor.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Requirement Compiler - Statement Extractor
+ *
+ * Extracts and normalizes statements from raw requirement text.
+ */
+import type { ExtractionResult, RawRequirement } from "./types.js";
+/**
+ * Extract all statements from raw requirement text.
+ */
+export declare function extractStatements(raw: RawRequirement): ExtractionResult;
+//# sourceMappingURL=extractor.d.ts.map

package/packages/requirement-compiler/dist/extractor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extractor.d.ts","sourceRoot":"","sources":["../src/extractor.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAEX,gBAAgB,EAChB,cAAc,EAGd,MAAM,YAAY,CAAC;AAsEpB;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,cAAc,GAAG,gBAAgB,CAqEvE"}