pi-harness-runtime 0.5.0 → 0.6.3-beta.13

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"}

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

@@ -0,0 +1,125 @@
+/**
+ * Requirement Compiler - Statement Extractor
+ *
+ * Extracts and normalizes statements from raw requirement text.
+ */
+/**
+ * Split text into sentences, respecting:
+ * - Periods followed by space and capital letter
+ * - Numbered/bulleted lists
+ * - Line breaks
+ */
+function splitSentences(text) {
+    // Normalize whitespace
+    const normalized = text.replace(/\r\n/g, "\n").replace(/\r/g, "\n");
+    // Split on sentence boundaries: . ! ? followed by whitespace + capital or newline
+    const sentences = normalized
+        .split(/(?<=[.!?])\s+(?=[A-Z\u0E01-\u0E5B])/gm)
+        .map((s) => s.trim())
+        .filter((s) => s.length > 0);
+    return sentences;
+}
+/**
+ * Clean and normalize a statement for comparison.
+ */
+function normalizeStatement(text) {
+    return (text
+        .toLowerCase()
+        // Strip list prefixes: "1. ", "2) ", "• ", "- ", "* "
+        .replace(/^[\s]*\d+[.)]\s*/g, "")
+        .replace(/^[\s\-•*]+/, "")
+        .replace(/\s+/g, " ")
+        .trim());
+}
+/**
+ * Determine the likely statement kind from its text content.
+ */
+function inferKind(text) {
+    const lower = text.toLowerCase();
+    if (lower.includes("prefer") ||
+        lower.includes("should") ||
+        lower.includes("could")) {
+        return "preference";
+    }
+    if (lower.includes("must not") ||
+        lower.includes("shall not") ||
+        lower.includes("cannot")) {
+        return "constraint";
+    }
+    if (lower.includes("must") ||
+        lower.includes("shall") ||
+        lower.includes("require")) {
+        return "explicit_behavior";
+    }
+    if (lower.includes("assume") || lower.includes("we assume")) {
+        return "assumption";
+    }
+    if (lower.includes("we will") || lower.includes("the system")) {
+        return "explicit_behavior";
+    }
+    return "unknown";
+}
+/**
+ * Extract all statements from raw requirement text.
+ */
+export function extractStatements(raw) {
+    const statements = [];
+    const lines = [];
+    // Split by newlines to preserve structure
+    const rawLines = raw.text.split(/\r?\n/).filter((l) => l.trim().length > 0);
+    let lineIndex = 0;
+    let statementIndex = 0;
+    for (const line of rawLines) {
+        const trimmedLine = line.trim();
+        if (!trimmedLine)
+            continue;
+        lines.push(trimmedLine);
+        // Check if this is a numbered item or bullet
+        const numberedMatch = trimmedLine.match(/^(\d+[.)]\s+)(.*)/);
+        const bulletMatch = trimmedLine.match(/^([-•*]\s+)(.*)/);
+        let content = trimmedLine;
+        let prefix = "";
+        if (numberedMatch) {
+            prefix = numberedMatch[1];
+            content = numberedMatch[2];
+        }
+        else if (bulletMatch) {
+            prefix = bulletMatch[1];
+            content = bulletMatch[2];
+        }
+        // Further split by sentences within the line
+        const sentences = splitSentences(content);
+        for (const sentence of sentences) {
+            const fullSentence = prefix + sentence;
+            const sourceRef = {
+                source: raw.source,
+                line: lineIndex + 1,
+                text: fullSentence,
+            };
+            const kind = inferKind(fullSentence);
+            statements.push({
+                id: `stmt-${statementIndex++}`,
+                kind,
+                originalText: fullSentence,
+                normalizedText: normalizeStatement(fullSentence),
+                sourceRef,
+            });
+        }
+        lineIndex++;
+    }
+    // Also extract title as a statement if present
+    if (raw.title && raw.title.trim().length > 0) {
+        statements.unshift({
+            id: "stmt-title",
+            kind: "unknown",
+            originalText: raw.title.trim(),
+            normalizedText: normalizeStatement(raw.title.trim()),
+            sourceRef: {
+                source: raw.source,
+                text: raw.title.trim(),
+            },
+        });
+    }
+    return { statements, lines };
+}
+//# sourceMappingURL=extractor.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extractor.js","sourceRoot":"","sources":["../src/extractor.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAUH;;;;;GAKG;AACH,SAAS,cAAc,CAAC,IAAY;IACnC,uBAAuB;IACvB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpE,kFAAkF;IAClF,MAAM,SAAS,GAAG,UAAU;SAC1B,KAAK,CAAC,uCAAuC,CAAC;SAC9C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9B,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,IAAY;IACvC,OAAO,CACN,IAAI;SACF,WAAW,EAAE;QACd,sDAAsD;SACrD,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC;SAChC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC;SACzB,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE,CACR,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,SAAS,CAAC,IAAY;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAEjC,IACC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxB,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EACtB,CAAC;QACF,OAAO,YAAY,CAAC;IACrB,CAAC;IACD,IACC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC1B,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC3B,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EACvB,CAAC;QACF,OAAO,YAAY,CAAC;IACrB,CAAC;IACD,IACC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;QACtB,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;QACvB,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EACxB,CAAC;QACF,OAAO,mBAAmB,CAAC;IAC5B,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7D,OAAO,YAAY,CAAC;IACrB,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC/D,OAAO,mBAAmB,CAAC;IAC5B,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAmB;IACpD,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,0CAA0C;IAC1C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC5E,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAChC,IAAI,CAAC,WAAW;YAAE,SAAS;QAE3B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAExB,6CAA6C;QAC7C,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAC7D,MAAM,WAAW,GAAG,WAAW,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAEzD,IAAI,OAAO,GAAG,WAAW,CAAC;QAC1B,IAAI,MAAM,GAAG,EAAE,CAAC;QAEhB,IAAI,aAAa,EAAE,CAAC;YACnB,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC1B,OAAO,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC;aAAM,IAAI,WAAW,EAAE,CAAC;YACxB,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACxB,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC;QAED,6CAA6C;QAC7C,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QAC1C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YAClC,MAAM,YAAY,GAAG,MAAM,GAAG,QAAQ,CAAC;YACvC,MAAM,SAAS,GAAoB;gBAClC,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,IAAI,EAAE,SAAS,GAAG,CAAC;gBACnB,IAAI,EAAE,YAAY;aAClB,CAAC;YAEF,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;YAErC,UAAU,CAAC,IAAI,CAAC;gBACf,EAAE,EAAE,QAAQ,cAAc,EAAE,EAAE;gBAC9B,IAAI;gBACJ,YAAY,EAAE,YAAY;gBAC1B,cAAc,EAAE,kBAAkB,CAAC,YAAY,CAAC;gBAChD,SAAS;aACT,CAAC,CAAC;QACJ,CAAC;QAED,SAAS,EAAE,CAAC;IACb,CAAC;IAED,+CAA+C;IAC/C,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,UAAU,CAAC,OAAO,CAAC;YAClB,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,SAAS;YACf,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;YAC9B,cAAc,EAAE,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACpD,SAAS,EAAE;gBACV,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;aACtB;SACD,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC"}

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

@@ -0,0 +1,13 @@
+/**
+ * Requirement Compiler - Public Exports
+ *
+ * Compiles raw requirements into validated CompiledRequirement.
+ */
+export { detectAmbiguities } from "./ambiguity-detector.js";
+export { classifyStatements } from "./classifier.js";
+export { compileRequirement } from "./compiler.js";
+export { extractStatements } from "./extractor.js";
+export { normalizeAcceptanceCriteria } from "./normalizer.js";
+export { detectRisks } from "./risk-detector.js";
+export { type AcceptanceCriterion, type AcceptanceNormalizer, type AmbiguityDetector, type CompiledRequirement, DEFAULT_COMPILER_CONFIG, type RawRequirement, type RequirementActor, type RequirementAmbiguity, type RequirementAssumption, RequirementCompileError, type RequirementCompileErrorCode, RequirementCompileErrorCodes, type RequirementCompilerConfig, type RequirementCompilerDependencies, type RequirementConstraint, type RequirementGoal, type RequirementWorkflow, type RiskDetector, SDK_VERSION, type StatementClassifier, type StatementExtractor, } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,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,EACN,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,uBAAuB,EAEvB,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,uBAAuB,EACvB,KAAK,2BAA2B,EAChC,4BAA4B,EAC5B,KAAK,yBAAyB,EAC9B,KAAK,+BAA+B,EACpC,KAAK,qBAAqB,EAC1B,KAAK,eAAe,EACpB,KAAK,mBAAmB,EACxB,KAAK,YAAY,EACjB,WAAW,EACX,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,GACvB,MAAM,YAAY,CAAC"}

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

@@ -0,0 +1,13 @@
+/**
+ * Requirement Compiler - Public Exports
+ *
+ * Compiles raw requirements into validated CompiledRequirement.
+ */
+export { detectAmbiguities } from "./ambiguity-detector.js";
+export { classifyStatements } from "./classifier.js";
+export { compileRequirement } from "./compiler.js";
+export { extractStatements } from "./extractor.js";
+export { normalizeAcceptanceCriteria } from "./normalizer.js";
+export { detectRisks } from "./risk-detector.js";
+export { DEFAULT_COMPILER_CONFIG, RequirementCompileError, RequirementCompileErrorCodes, SDK_VERSION, } from "./types.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,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,EAKN,uBAAuB,EAMvB,uBAAuB,EAEvB,4BAA4B,EAO5B,WAAW,GAGX,MAAM,YAAY,CAAC"}

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

@@ -0,0 +1,11 @@
+/**
+ * Requirement Compiler - Acceptance Criteria Normalizer
+ *
+ * Converts acceptance criterion statements into Given/When/Then format.
+ */
+import type { AcceptanceCriterion, ExtractedStatement } from "./types.js";
+/**
+ * Normalize acceptance criteria statements.
+ */
+export declare function normalizeAcceptanceCriteria(statements: ExtractedStatement[]): AcceptanceCriterion[];
+//# sourceMappingURL=normalizer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"normalizer.d.ts","sourceRoot":"","sources":["../src/normalizer.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAiH1E;;GAEG;AACH,wBAAgB,2BAA2B,CAC1C,UAAU,EAAE,kBAAkB,EAAE,GAC9B,mBAAmB,EAAE,CAoCvB"}