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

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

@@ -0,0 +1,141 @@
+/**
+ * Requirement Compiler - Acceptance Criteria Normalizer
+ *
+ * Converts acceptance criterion statements into Given/When/Then format.
+ */
+/**
+ * Parse Given/When/Then from a statement if already in that format.
+ */
+function parseGivenWhenThen(text) {
+    const givenMatch = text.match(/given\s+([\s\S]+?)(?:,?\s+when|,?\s+then|$)/i);
+    const whenMatch = text.match(/when\s+([\s\S]+?)(?:,?\s+then|$)/i);
+    const thenMatch = text.match(/then\s+([\s\S]+)/i);
+    if (!givenMatch && !whenMatch && !thenMatch)
+        return null;
+    return {
+        given: givenMatch ? givenMatch[1].trim() : undefined,
+        when: whenMatch ? whenMatch[1].trim() : undefined,
+        outcome: thenMatch
+            ? thenMatch[1]
+                .split(/,?\s+and\s+/i)
+                .map((s) => s.trim())
+                .filter(Boolean)
+            : undefined,
+    };
+}
+/**
+ * Infer Given/When/Then from natural language.
+ */
+function inferGivenWhenThen(text) {
+    const lower = text.toLowerCase();
+    // Extract action verb phrase
+    const actionMatch = lower.match(/(?:should|must|will|can)\s+(.+)/);
+    const action = actionMatch ? actionMatch[1].trim() : text;
+    // Infer "when" from context
+    let when = "the user submits the form";
+    if (lower.includes("on click")) {
+        when = "the user clicks the button";
+    }
+    else if (lower.includes("on load")) {
+        when = "the page loads";
+    }
+    else if (lower.includes("on save")) {
+        when = "the user saves";
+    }
+    else if (lower.includes("on submit")) {
+        when = "the user submits";
+    }
+    else if (lower.includes("on delete")) {
+        when = "the user deletes";
+    }
+    // Infer "given" preconditions
+    let given = "a valid user is authenticated";
+    if (lower.includes("admin")) {
+        given = "an admin user is authenticated";
+    }
+    else if (lower.includes("guest")) {
+        given = "a guest user is on the page";
+    }
+    return {
+        given,
+        when,
+        outcome: [`${action.charAt(0).toUpperCase()}${action.slice(1)}.`],
+    };
+}
+/**
+ * Check if a statement is automatable.
+ */
+function isAutomatable(text) {
+    const lower = text.toLowerCase();
+    // Statements mentioning UI interactions, API calls, file operations are automatable
+    const automatablePatterns = [
+        "return",
+        "save",
+        "display",
+        "show",
+        "create",
+        "delete",
+        "update",
+        "send",
+        "receive",
+        "validate",
+        "check",
+        "verify",
+        "contain",
+        "visible",
+        "exists",
+        "http",
+        "response",
+        "status",
+    ];
+    // Statements about visual design, "feel", "look" are not easily automatable
+    const nonAutomatablePatterns = [
+        "look good",
+        "feel",
+        "user experience",
+        "intuitive",
+        "pleasing",
+        "beautiful",
+    ];
+    const hasAuto = automatablePatterns.some((p) => lower.includes(p));
+    const hasNonAuto = nonAutomatablePatterns.some((p) => lower.includes(p));
+    return hasAuto && !hasNonAuto;
+}
+/**
+ * Normalize acceptance criteria statements.
+ */
+export function normalizeAcceptanceCriteria(statements) {
+    const criteria = [];
+    let criterionIndex = 0;
+    for (const stmt of statements) {
+        const text = stmt.originalText;
+        const parsed = parseGivenWhenThen(text);
+        if (parsed) {
+            criteria.push({
+                id: `AC-${String(criterionIndex + 1).padStart(3, "0")}`,
+                given: parsed.given ?? "prerequisites are met",
+                when: parsed.when ?? "the action is performed",
+                outcome: parsed.outcome ?? [text],
+                sourceRefs: [stmt.sourceRef],
+                automatable: isAutomatable(text),
+                originalText: text,
+            });
+        }
+        else {
+            // Infer Given/When/Then from natural language
+            const inferred = inferGivenWhenThen(text);
+            criteria.push({
+                id: `AC-${String(criterionIndex + 1).padStart(3, "0")}`,
+                given: inferred.given,
+                when: inferred.when,
+                outcome: inferred.outcome,
+                sourceRefs: [stmt.sourceRef],
+                automatable: isAutomatable(text),
+                originalText: text,
+            });
+        }
+        criterionIndex++;
+    }
+    return criteria;
+}
+//# sourceMappingURL=normalizer.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"normalizer.js","sourceRoot":"","sources":["../src/normalizer.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH;;GAEG;AACH,SAAS,kBAAkB,CAAC,IAAY;IAKvC,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAElD,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAEzD,OAAO;QACN,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;QACpD,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;QACjD,OAAO,EAAE,SAAS;YACjB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;iBACX,KAAK,CAAC,cAAc,CAAC;iBACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;iBACpB,MAAM,CAAC,OAAO,CAAC;YAClB,CAAC,CAAC,SAAS;KACZ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,IAAY;IAKvC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAEjC,6BAA6B;IAC7B,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAE1D,4BAA4B;IAC5B,IAAI,IAAI,GAAG,2BAA2B,CAAC;IACvC,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,IAAI,GAAG,4BAA4B,CAAC;IACrC,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,IAAI,GAAG,gBAAgB,CAAC;IACzB,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,IAAI,GAAG,gBAAgB,CAAC;IACzB,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACxC,IAAI,GAAG,kBAAkB,CAAC;IAC3B,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACxC,IAAI,GAAG,kBAAkB,CAAC;IAC3B,CAAC;IAED,8BAA8B;IAC9B,IAAI,KAAK,GAAG,+BAA+B,CAAC;IAC5C,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,KAAK,GAAG,gCAAgC,CAAC;IAC1C,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACpC,KAAK,GAAG,6BAA6B,CAAC;IACvC,CAAC;IAED,OAAO;QACN,KAAK;QACL,IAAI;QACJ,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;KACjE,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,IAAY;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,oFAAoF;IACpF,MAAM,mBAAmB,GAAG;QAC3B,QAAQ;QACR,MAAM;QACN,SAAS;QACT,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,SAAS;QACT,UAAU;QACV,OAAO;QACP,QAAQ;QACR,SAAS;QACT,SAAS;QACT,QAAQ;QACR,MAAM;QACN,UAAU;QACV,QAAQ;KACR,CAAC;IACF,4EAA4E;IAC5E,MAAM,sBAAsB,GAAG;QAC9B,WAAW;QACX,MAAM;QACN,iBAAiB;QACjB,WAAW;QACX,UAAU;QACV,WAAW;KACX,CAAC;IAEF,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAEzE,OAAO,OAAO,IAAI,CAAC,UAAU,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,2BAA2B,CAC1C,UAAgC;IAEhC,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC;QAC/B,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAExC,IAAI,MAAM,EAAE,CAAC;YACZ,QAAQ,CAAC,IAAI,CAAC;gBACb,EAAE,EAAE,MAAM,MAAM,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBACvD,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,uBAAuB;gBAC9C,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,yBAAyB;gBAC9C,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC;gBACjC,UAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC5B,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC;gBAChC,YAAY,EAAE,IAAI;aAClB,CAAC,CAAC;QACJ,CAAC;aAAM,CAAC;YACP,8CAA8C;YAC9C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC;gBACb,EAAE,EAAE,MAAM,MAAM,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBACvD,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,UAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC5B,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC;gBAChC,YAAY,EAAE,IAAI;aAClB,CAAC,CAAC;QACJ,CAAC;QAED,cAAc,EAAE,CAAC;IAClB,CAAC;IAED,OAAO,QAAQ,CAAC;AACjB,CAAC"}

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

@@ -0,0 +1,11 @@
+/**
+ * Requirement Compiler - Risk Detector
+ *
+ * Detects financial, privacy, regulatory, and other risk areas.
+ */
+import { type ClassificationResult, type RiskTag } from "./types.js";
+/**
+ * Detect risk tags based on keyword matching.
+ */
+export declare function detectRisks(classification: ClassificationResult): RiskTag[];
+//# sourceMappingURL=risk-detector.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"risk-detector.d.ts","sourceRoot":"","sources":["../src/risk-detector.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACN,KAAK,oBAAoB,EAGzB,KAAK,OAAO,EACZ,MAAM,YAAY,CAAC;AAEpB;;GAEG;AACH,wBAAgB,WAAW,CAAC,cAAc,EAAE,oBAAoB,GAAG,OAAO,EAAE,CAyC3E"}

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

@@ -0,0 +1,48 @@
+/**
+ * Requirement Compiler - Risk Detector
+ *
+ * Detects financial, privacy, regulatory, and other risk areas.
+ */
+import { DEFAULT_COMPILER_CONFIG, } from "./types.js";
+/**
+ * Detect risk tags based on keyword matching.
+ */
+export function detectRisks(classification) {
+    const riskTags = [];
+    const riskKeywords = DEFAULT_COMPILER_CONFIG.riskKeywords ?? {};
+    const allStatements = [
+        ...classification.goals,
+        ...classification.constraints,
+        ...classification.preferences,
+        ...classification.implementationSuggestions,
+        // Also scan unknown and terminology statements so Thai/English regulatory
+        // and financial keywords trigger risk tags even when classification
+        // is uncertain (e.g. Thai-only text classified as terminology)
+        ...classification.unknown,
+        ...classification.terminologyMentions,
+    ];
+    const seen = new Set();
+    for (const stmt of allStatements) {
+        const lower = stmt.normalizedText;
+        for (const [riskType, keywords] of Object.entries(riskKeywords)) {
+            if (!keywords)
+                continue;
+            for (const keyword of keywords) {
+                if (lower.includes(keyword.toLowerCase())) {
+                    const tagId = `${riskType}-${stmt.id}`;
+                    if (!seen.has(tagId)) {
+                        seen.add(tagId);
+                        riskTags.push({
+                            risk: riskType,
+                            affectedId: stmt.id,
+                            description: `Risk area detected: "${keyword}" in statement "${stmt.originalText.slice(0, 60)}..."`,
+                        });
+                    }
+                    break;
+                }
+            }
+        }
+    }
+    return riskTags;
+}
+//# sourceMappingURL=risk-detector.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"risk-detector.js","sourceRoot":"","sources":["../src/risk-detector.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAEN,uBAAuB,GAGvB,MAAM,YAAY,CAAC;AAEpB;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,cAAoC;IAC/D,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,YAAY,GAAG,uBAAuB,CAAC,YAAY,IAAI,EAAE,CAAC;IAEhE,MAAM,aAAa,GAAG;QACrB,GAAG,cAAc,CAAC,KAAK;QACvB,GAAG,cAAc,CAAC,WAAW;QAC7B,GAAG,cAAc,CAAC,WAAW;QAC7B,GAAG,cAAc,CAAC,yBAAyB;QAC3C,0EAA0E;QAC1E,oEAAoE;QACpE,+DAA+D;QAC/D,GAAG,cAAc,CAAC,OAAO;QACzB,GAAG,cAAc,CAAC,mBAAmB;KACrC,CAAC;IAEF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC;QAElC,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YACjE,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAChC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;oBAC3C,MAAM,KAAK,GAAG,GAAG,QAAQ,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACvC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBACtB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;wBAChB,QAAQ,CAAC,IAAI,CAAC;4BACb,IAAI,EAAE,QAA2B;4BACjC,UAAU,EAAE,IAAI,CAAC,EAAE;4BACnB,WAAW,EAAE,wBAAwB,OAAO,mBAAmB,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM;yBACnG,CAAC,CAAC;oBACJ,CAAC;oBACD,MAAM;gBACP,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,QAAQ,CAAC;AACjB,CAAC"}

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

@@ -0,0 +1,403 @@
+/**
+ * Requirement Compiler - Types
+ *
+ * Type definitions for raw and compiled requirements.
+ */
+export declare const SDK_VERSION = "1.0.0";
+/**
+ * Reference to a source location in the original requirement.
+ */
+export interface SourceReference {
+    /** Source file or input identifier */
+    source: string;
+    /** Line number (1-based) */
+    line?: number;
+    /** Character offset within the line */
+    startChar?: number;
+    /** Character offset of the end */
+    endChar?: number;
+    /** The referenced text */
+    text: string;
+}
+/**
+ * Reference to an attached file (screenshot, document, etc.).
+ */
+export interface AttachmentReference {
+    /** Attachment identifier */
+    id: string;
+    /** Attachment type */
+    type: "screenshot" | "document" | "spreadsheet" | "image" | "other";
+    /** File path or URL */
+    path: string;
+    /** Optional description */
+    description?: string;
+}
+/**
+ * Raw requirement as submitted by a user or received from an API.
+ */
+export interface RawRequirement {
+    /** Unique requirement identifier */
+    id: string;
+    /** Optional short title */
+    title?: string;
+    /** Primary requirement text (prose) */
+    text: string;
+    /** Optional attachments */
+    attachments?: AttachmentReference[];
+    /** Source channel */
+    source: "tui" | "file" | "api";
+    /** User who submitted the requirement */
+    submittedBy: string;
+    /** ISO timestamp of submission */
+    submittedAt: string;
+}
+/**
+ * Kinds of statements extracted from raw requirement text.
+ */
+export type StatementKind = 
+/** Explicit behavior the system must perform */
+"explicit_behavior"
+/** Explicit behavior the system must NOT perform */
+ | "constraint"
+/** User's stated goal or objective */
+ | "goal"
+/** Something assumed to be true (not proven) */
+ | "assumption"
+/** Preference, suggestion, or "nice-to-have" */
+ | "preference"
+/** Implementation suggestion (not a requirement) */
+ | "implementation_suggestion"
+/** Domain term that should be preserved */
+ | "terminology"
+/** Actor or user role mentioned */
+ | "actor_mention"
+/** Acceptance criterion statement */
+ | "acceptance_criterion"
+/** Unknown or unclassified */
+ | "unknown";
+/**
+ * An extracted statement from the raw requirement text.
+ */
+export interface ExtractedStatement {
+    /** Unique statement identifier */
+    id: string;
+    /** Statement category */
+    kind: StatementKind;
+    /** Original text as written */
+    originalText: string;
+    /** Normalized/cleaned text */
+    normalizedText: string;
+    /** Source reference */
+    sourceRef: SourceReference;
+    /** Whether this statement was explicitly marked mandatory by the user */
+    userMarkedMandatory?: boolean;
+}
+/**
+ * A goal extracted from the requirement.
+ */
+export interface RequirementGoal {
+    /** Goal identifier */
+    id: string;
+    /** Human-readable description */
+    description: string;
+    /** Source statements that contributed to this goal */
+    sourceRefs: SourceReference[];
+    /** Priority if explicitly stated */
+    priority?: "high" | "medium" | "low";
+}
+/**
+ * A constraint that the solution must satisfy.
+ */
+export type ConstraintKind = "mandatory" | "preferable";
+export interface RequirementConstraint {
+    /** Constraint identifier */
+    id: string;
+    /** Constraint text */
+    description: string;
+    /** Constraint kind */
+    kind: ConstraintKind;
+    /** Source statements */
+    sourceRefs: SourceReference[];
+    /** Whether this constraint is blocking */
+    blocking: boolean;
+}
+/**
+ * An actor (user role, system, service) identified in the requirement.
+ */
+export interface RequirementActor {
+    /** Actor identifier */
+    id: string;
+    /** Actor name */
+    name: string;
+    /** Actor role description */
+    role: string;
+    /** Source statements */
+    sourceRefs: SourceReference[];
+}
+/**
+ * A workflow or use case described in the requirement.
+ */
+export interface RequirementWorkflow {
+    /** Workflow identifier */
+    id: string;
+    /** Workflow name */
+    name: string;
+    /** Step-by-step description */
+    steps: string[];
+    /** Actors involved */
+    actors: string[];
+    /** Preconditions */
+    preconditions: string[];
+    /** Expected outcomes */
+    outcomes: string[];
+    /** Source statements */
+    sourceRefs: SourceReference[];
+}
+/**
+ * Normalized acceptance criterion using Given/When/Then format.
+ */
+export interface AcceptanceCriterion {
+    /** Criterion identifier */
+    id: string;
+    /** Given clause - preconditions */
+    given: string;
+    /** When clause - trigger */
+    when: string;
+    /** Then clauses - expected outcomes (renamed to avoid Promise.then collision) */
+    outcome: string[];
+    /** Source statements */
+    sourceRefs: SourceReference[];
+    /** Whether this can be automated by a test */
+    automatable: boolean;
+    /** Original text before normalization */
+    originalText?: string;
+}
+/**
+ * An ambiguous area in the requirement that needs clarification.
+ */
+export interface RequirementAmbiguity {
+    /** Ambiguity identifier */
+    id: string;
+    /** Question that clarifies the ambiguity */
+    question: string;
+    /** Whether this ambiguity blocks implementation */
+    blocking: boolean;
+    /** Which goals are affected */
+    affectedGoals: string[];
+    /** Evidence for the ambiguity */
+    evidence: SourceReference[];
+    /** Category of ambiguity */
+    category: "missing_value" | "missing_actor" | "contradiction" | "vague_term" | "scope_unclear" | "unknown";
+}
+/**
+ * An assumption that was made to fill a gap.
+ */
+export interface RequirementAssumption {
+    /** Assumption identifier */
+    id: string;
+    /** Description of the assumption */
+    description: string;
+    /** Source statements */
+    sourceRefs: SourceReference[];
+    /** Whether this assumption can be reversed */
+    reversible: boolean;
+}
+/**
+ * Domain terminology mapping.
+ */
+export interface TerminologyEntry {
+    /** Term as used in requirement */
+    term: string;
+    /** Definition or explanation */
+    definition: string;
+    /** Original language (for multilingual preservation) */
+    language: string;
+    /** Source reference */
+    sourceRef?: SourceReference;
+}
+/**
+ * Risk areas that require additional review.
+ */
+export type RequirementRisk = "financial" | "privacy" | "authentication" | "authorization" | "data_migration" | "regulatory" | "destructive_operation";
+/**
+ * Risk tag attached to a goal or constraint.
+ */
+export interface RiskTag {
+    /** Risk type */
+    risk: RequirementRisk;
+    /** Which item is affected */
+    affectedId: string;
+    /** Explanation of the risk */
+    description: string;
+}
+/**
+ * Status of a compiled requirement.
+ */
+export type RequirementStatus = 
+/** Ready for task compilation */
+"ready"
+/** Needs human clarification before proceeding */
+ | "needs_human"
+/** Rejected (empty, impossible, or policy violation) */
+ | "rejected";
+/**
+ * Fully compiled requirement with validated structure.
+ */
+export interface CompiledRequirement {
+    /** Requirement identifier */
+    id: string;
+    /** Short title */
+    title: string;
+    /** Problem statement being addressed */
+    problemStatement: string;
+    /** Goals extracted from the requirement */
+    goals: RequirementGoal[];
+    /** Explicit non-goals */
+    nonGoals: string[];
+    /** Constraints the solution must satisfy */
+    constraints: RequirementConstraint[];
+    /** Actors identified in the requirement */
+    actors: RequirementActor[];
+    /** Workflows/use cases described */
+    workflows: RequirementWorkflow[];
+    /** Normalized acceptance criteria */
+    acceptanceCriteria: AcceptanceCriterion[];
+    /** Assumptions made to fill gaps */
+    assumptions: RequirementAssumption[];
+    /** Identified ambiguities */
+    ambiguities: RequirementAmbiguity[];
+    /** Domain terminology glossary */
+    terminology: TerminologyEntry[];
+    /** Risk tags for compliance */
+    riskTags: RiskTag[];
+    /** Source references */
+    sourceRefs: SourceReference[];
+    /** Compilation status */
+    status: RequirementStatus;
+    /** Rejection reason if status is 'rejected' */
+    rejectionReason?: string;
+    /** ISO timestamp of compilation */
+    compiledAt: string;
+}
+/**
+ * Result of statement extraction from raw text.
+ */
+export interface ExtractionResult {
+    /** Extracted statements */
+    statements: ExtractedStatement[];
+    /** Raw extracted text grouped by line */
+    lines: string[];
+}
+/**
+ * Result of statement classification.
+ */
+export interface ClassificationResult {
+    /** Classified statements */
+    statements: ExtractedStatement[];
+    /** Goals identified */
+    goals: ExtractedStatement[];
+    /** Constraints identified */
+    constraints: ExtractedStatement[];
+    /** Preferences identified */
+    preferences: ExtractedStatement[];
+    /** Implementation suggestions */
+    implementationSuggestions: ExtractedStatement[];
+    /** Terminology mentions */
+    terminologyMentions: ExtractedStatement[];
+    /** Actor mentions */
+    actorMentions: ExtractedStatement[];
+    /** Acceptance criteria statements */
+    acceptanceCriterionStatements: ExtractedStatement[];
+    /** Assumptions identified */
+    assumptions: ExtractedStatement[];
+    /** Unknown statements */
+    unknown: ExtractedStatement[];
+}
+/**
+ * Configuration for the Requirement Compiler.
+ */
+export interface RequirementCompilerConfig {
+    /**
+     * Project language for terminology normalization.
+     * Defaults to English.
+     */
+    projectLanguage?: "en" | "th" | "mixed";
+    /**
+     * Whether to auto-promote preferences to constraints.
+     * Defaults to false (preferences stay non-blocking).
+     */
+    autoPromotePreferences?: boolean;
+    /**
+     * Whether to allow ambiguity resolution via assumption.
+     * Defaults to true.
+     */
+    allowReversibleAssumptions?: boolean;
+    /**
+     * Risk keywords to detect per risk type.
+     * Merged with default detection.
+     */
+    riskKeywords?: Partial<Record<RequirementRisk, string[]>>;
+    /**
+     * Keywords that indicate a statement is mandatory.
+     */
+    mandatoryKeywords?: string[];
+    /**
+     * Keywords that indicate a statement is a preference.
+     */
+    preferenceKeywords?: string[];
+}
+export declare const DEFAULT_COMPILER_CONFIG: RequirementCompilerConfig;
+/**
+ * Dependencies injected into the compiler.
+ * Allows swapping extraction, classification, and validation logic.
+ */
+export interface RequirementCompilerDependencies {
+    /** Optional custom statement extractor */
+    extractor?: StatementExtractor;
+    /** Optional custom classifier */
+    classifier?: StatementClassifier;
+    /** Optional custom ambiguity detector */
+    ambiguityDetector?: AmbiguityDetector;
+    /** Optional custom risk detector */
+    riskDetector?: RiskDetector;
+    /** Optional custom normalizer for acceptance criteria */
+    acceptanceNormalizer?: AcceptanceNormalizer;
+    /** Clock function for timestamps */
+    clock?: () => Date;
+}
+export interface StatementExtractor {
+    extract(raw: RawRequirement): ExtractionResult;
+}
+export interface StatementClassifier {
+    classify(statements: ExtractedStatement[], config: RequirementCompilerConfig): ClassificationResult;
+}
+export interface AmbiguityDetector {
+    detect(classification: ClassificationResult, config: RequirementCompilerConfig): RequirementAmbiguity[];
+}
+export interface RiskDetector {
+    detect(classification: ClassificationResult): RiskTag[];
+}
+export interface AcceptanceNormalizer {
+    normalize(statements: ExtractedStatement[]): AcceptanceCriterion[];
+}
+/**
+ * Error codes for requirement compilation failures.
+ * Use this enum-like object for programmatic error checking.
+ */
+export declare const RequirementCompileErrorCodes: {
+    readonly EMPTY_REQUIREMENT: "EMPTY_REQUIREMENT";
+    readonly IMPOSSIBLE_REQUIREMENT: "IMPOSSIBLE_REQUIREMENT";
+    readonly POLICY_VIOLATION: "POLICY_VIOLATION";
+    readonly UNSUPPORTED_ATTACHMENT: "UNSUPPORTED_ATTACHMENT";
+    readonly UNRESOLVABLE_CONTRADICTION: "UNRESOLVABLE_CONTRADICTION";
+};
+export type RequirementCompileErrorCode = (typeof RequirementCompileErrorCodes)[keyof typeof RequirementCompileErrorCodes];
+/**
+ * Error thrown during requirement compilation.
+ */
+export declare class RequirementCompileError extends Error {
+    readonly code: RequirementCompileErrorCode;
+    readonly details?: Record<string, unknown> | undefined;
+    constructor(code: RequirementCompileErrorCode, message: string, details?: Record<string, unknown> | undefined);
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,eAAO,MAAM,WAAW,UAAU,CAAC;AAInC;;GAEG;AACH,MAAM,WAAW,eAAe;IAC/B,sCAAsC;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,4BAA4B;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,uCAAuC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,kCAAkC;IAClC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,IAAI,EAAE,MAAM,CAAC;CACb;AAID;;GAEG;AACH,MAAM,WAAW,mBAAmB;IACnC,4BAA4B;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,sBAAsB;IACtB,IAAI,EAAE,YAAY,GAAG,UAAU,GAAG,aAAa,GAAG,OAAO,GAAG,OAAO,CAAC;IACpE,uBAAuB;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;CACrB;AAID;;GAEG;AACH,MAAM,WAAW,cAAc;IAC9B,oCAAoC;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,2BAA2B;IAC3B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,uCAAuC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,WAAW,CAAC,EAAE,mBAAmB,EAAE,CAAC;IACpC,qBAAqB;IACrB,MAAM,EAAE,KAAK,GAAG,MAAM,GAAG,KAAK,CAAC;IAC/B,yCAAyC;IACzC,WAAW,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,WAAW,EAAE,MAAM,CAAC;CACpB;AAID;;GAEG;AACH,MAAM,MAAM,aAAa;AACxB,gDAAgD;AAC9C,mBAAmB;AACrB,oDAAoD;GAClD,YAAY;AACd,sCAAsC;GACpC,MAAM;AACR,gDAAgD;GAC9C,YAAY;AACd,gDAAgD;GAC9C,YAAY;AACd,oDAAoD;GAClD,2BAA2B;AAC7B,2CAA2C;GACzC,aAAa;AACf,mCAAmC;GACjC,eAAe;AACjB,qCAAqC;GACnC,sBAAsB;AACxB,8BAA8B;GAC5B,SAAS,CAAC;AAEb;;GAEG;AACH,MAAM,WAAW,kBAAkB;IAClC,kCAAkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,yBAAyB;IACzB,IAAI,EAAE,aAAa,CAAC;IACpB,+BAA+B;IAC/B,YAAY,EAAE,MAAM,CAAC;IACrB,8BAA8B;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,uBAAuB;IACvB,SAAS,EAAE,eAAe,CAAC;IAC3B,yEAAyE;IACzE,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAID;;GAEG;AACH,MAAM,WAAW,eAAe;IAC/B,sBAAsB;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,iCAAiC;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,sDAAsD;IACtD,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,oCAAoC;IACpC,QAAQ,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;CACrC;AAID;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG,YAAY,CAAC;AAExD,MAAM,WAAW,qBAAqB;IACrC,4BAA4B;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,sBAAsB;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB;IACtB,IAAI,EAAE,cAAc,CAAC;IACrB,wBAAwB;IACxB,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,0CAA0C;IAC1C,QAAQ,EAAE,OAAO,CAAC;CAClB;AAID;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAChC,uBAAuB;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,6BAA6B;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,UAAU,EAAE,eAAe,EAAE,CAAC;CAC9B;AAID;;GAEG;AACH,MAAM,WAAW,mBAAmB;IACnC,0BAA0B;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,oBAAoB;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,+BAA+B;IAC/B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,sBAAsB;IACtB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,oBAAoB;IACpB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,wBAAwB;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,wBAAwB;IACxB,UAAU,EAAE,eAAe,EAAE,CAAC;CAC9B;AAID;;GAEG;AACH,MAAM,WAAW,mBAAmB;IACnC,2BAA2B;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wBAAwB;IACxB,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,8CAA8C;IAC9C,WAAW,EAAE,OAAO,CAAC;IACrB,yCAAyC;IACzC,YAAY,CAAC,EAAE,MAAM,CAAC;CACtB;AAID;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACpC,2BAA2B;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,4CAA4C;IAC5C,QAAQ,EAAE,MAAM,CAAC;IACjB,mDAAmD;IACnD,QAAQ,EAAE,OAAO,CAAC;IAClB,+BAA+B;IAC/B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,iCAAiC;IACjC,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,4BAA4B;IAC5B,QAAQ,EACL,eAAe,GACf,eAAe,GACf,eAAe,GACf,YAAY,GACZ,eAAe,GACf,SAAS,CAAC;CACb;AAID;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACrC,4BAA4B;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,oCAAoC;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,wBAAwB;IACxB,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,8CAA8C;IAC9C,UAAU,EAAE,OAAO,CAAC;CACpB;AAID;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAChC,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,gCAAgC;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,wDAAwD;IACxD,QAAQ,EAAE,MAAM,CAAC;IACjB,uBAAuB;IACvB,SAAS,CAAC,EAAE,eAAe,CAAC;CAC5B;AAID;;GAEG;AACH,MAAM,MAAM,eAAe,GACxB,WAAW,GACX,SAAS,GACT,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,YAAY,GACZ,uBAAuB,CAAC;AAE3B;;GAEG;AACH,MAAM,WAAW,OAAO;IACvB,gBAAgB;IAChB,IAAI,EAAE,eAAe,CAAC;IACtB,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAC;CACpB;AAID;;GAEG;AACH,MAAM,MAAM,iBAAiB;AAC5B,iCAAiC;AAC/B,OAAO;AACT,kDAAkD;GAChD,aAAa;AACf,wDAAwD;GACtD,UAAU,CAAC;AAId;;GAEG;AACH,MAAM,WAAW,mBAAmB;IACnC,6BAA6B;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,wCAAwC;IACxC,gBAAgB,EAAE,MAAM,CAAC;IACzB,2CAA2C;IAC3C,KAAK,EAAE,eAAe,EAAE,CAAC;IACzB,yBAAyB;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,4CAA4C;IAC5C,WAAW,EAAE,qBAAqB,EAAE,CAAC;IACrC,2CAA2C;IAC3C,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3B,oCAAoC;IACpC,SAAS,EAAE,mBAAmB,EAAE,CAAC;IACjC,qCAAqC;IACrC,kBAAkB,EAAE,mBAAmB,EAAE,CAAC;IAC1C,oCAAoC;IACpC,WAAW,EAAE,qBAAqB,EAAE,CAAC;IACrC,6BAA6B;IAC7B,WAAW,EAAE,oBAAoB,EAAE,CAAC;IACpC,kCAAkC;IAClC,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC,+BAA+B;IAC/B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,wBAAwB;IACxB,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,yBAAyB;IACzB,MAAM,EAAE,iBAAiB,CAAC;IAC1B,+CAA+C;IAC/C,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,mCAAmC;IACnC,UAAU,EAAE,MAAM,CAAC;CACnB;AAID;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAChC,2BAA2B;IAC3B,UAAU,EAAE,kBAAkB,EAAE,CAAC;IACjC,yCAAyC;IACzC,KAAK,EAAE,MAAM,EAAE,CAAC;CAChB;AAID;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACpC,4BAA4B;IAC5B,UAAU,EAAE,kBAAkB,EAAE,CAAC;IACjC,uBAAuB;IACvB,KAAK,EAAE,kBAAkB,EAAE,CAAC;IAC5B,6BAA6B;IAC7B,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAClC,6BAA6B;IAC7B,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAClC,iCAAiC;IACjC,yBAAyB,EAAE,kBAAkB,EAAE,CAAC;IAChD,2BAA2B;IAC3B,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,qBAAqB;IACrB,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,qCAAqC;IACrC,6BAA6B,EAAE,kBAAkB,EAAE,CAAC;IACpD,6BAA6B;IAC7B,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAClC,yBAAyB;IACzB,OAAO,EAAE,kBAAkB,EAAE,CAAC;CAC9B;AAID;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACzC;;;OAGG;IACH,eAAe,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,OAAO,CAAC;IACxC;;;OAGG;IACH,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC;;;OAGG;IACH,0BAA0B,CAAC,EAAE,OAAO,CAAC;IACrC;;;OAGG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC1D;;OAEG;IACH,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B;;OAEG;IACH,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED,eAAO,MAAM,uBAAuB,EAAE,yBA+FrC,CAAC;AAIF;;;GAGG;AACH,MAAM,WAAW,+BAA+B;IAC/C,0CAA0C;IAC1C,SAAS,CAAC,EAAE,kBAAkB,CAAC;IAC/B,iCAAiC;IACjC,UAAU,CAAC,EAAE,mBAAmB,CAAC;IACjC,yCAAyC;IACzC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,oCAAoC;IACpC,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,yDAAyD;IACzD,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C,oCAAoC;IACpC,KAAK,CAAC,EAAE,MAAM,IAAI,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IAClC,OAAO,CAAC,GAAG,EAAE,cAAc,GAAG,gBAAgB,CAAC;CAC/C;AAED,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CACP,UAAU,EAAE,kBAAkB,EAAE,EAChC,MAAM,EAAE,yBAAyB,GAC/B,oBAAoB,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IACjC,MAAM,CACL,cAAc,EAAE,oBAAoB,EACpC,MAAM,EAAE,yBAAyB,GAC/B,oBAAoB,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC5B,MAAM,CAAC,cAAc,EAAE,oBAAoB,GAAG,OAAO,EAAE,CAAC;CACxD;AAED,MAAM,WAAW,oBAAoB;IACpC,SAAS,CAAC,UAAU,EAAE,kBAAkB,EAAE,GAAG,mBAAmB,EAAE,CAAC;CACnE;AAID;;;GAGG;AACH,eAAO,MAAM,4BAA4B;;;;;;CAM/B,CAAC;AAEX,MAAM,MAAM,2BAA2B,GACtC,CAAC,OAAO,4BAA4B,CAAC,CAAC,MAAM,OAAO,4BAA4B,CAAC,CAAC;AAElF;;GAEG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;aAEhC,IAAI,EAAE,2BAA2B;aAEjC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;gBAFjC,IAAI,EAAE,2BAA2B,EACjD,OAAO,EAAE,MAAM,EACC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,YAAA;CAKlD"}