seal-gate 0.3.0

package/dist/detectors/confidence-language-detector.js

@@ -0,0 +1,226 @@
+import { makeIssue } from '../types.js';
+const GROUPS = [
+    // Group A — Completeness
+    {
+        id: 'A',
+        label: 'complete',
+        patterns: [
+            /\bfully\s+implemented\b/gi,
+            /\bfully\s+(?:tested|working|functional)\b/gi,
+            /\bhandles?\s+all\s+(edge\s+)?cases\b/gi,
+            /\b100%\s+complete\b/gi,
+        ],
+        requires_evidence: false,
+        severity: 'MEDIUM',
+    },
+    // Group B — Correctness
+    {
+        id: 'B',
+        label: 'correctness',
+        patterns: [
+            /\ball\s+tests?\s+pass(?:ed)?\b/gi,
+            /\bverified\s+correct\b/gi,
+            /\bbug-free\b/gi,
+            /\bguaranteed\b/gi,
+        ],
+        requires_evidence: true,
+        evidence_type: 'test_log',
+        severity: 'MEDIUM',
+    },
+    // Group C — Safety/Security
+    {
+        id: 'C',
+        label: 'security',
+        patterns: [
+            /\bsecure\b/gi,
+            /\bno\s+security\s+impact\b/gi,
+            /\bno\s+vulnerabilit(?:y|ies)\b/gi,
+        ],
+        requires_evidence: true,
+        evidence_type: 'security',
+        severity: 'HIGH',
+    },
+    // Group D — Compatibility
+    {
+        id: 'D',
+        label: 'compatibility',
+        patterns: [
+            /\bbackward\s+compatible\b/gi,
+            /\bno\s+breaking\s+changes?\b/gi,
+            /\bsafe\s+to\s+deploy\b/gi,
+        ],
+        requires_evidence: true,
+        evidence_type: 'compatibility',
+        severity: 'HIGH',
+        correlation_fn: (structuralClaims) => {
+            // If there are any endpoint changes, compatibility claims need extra scrutiny
+            return structuralClaims.some(c => c.type === 'structural_endpoint' || c.type === 'structural_migration');
+        },
+    },
+    // Group E — Readiness
+    {
+        id: 'E',
+        label: 'readiness',
+        patterns: [
+            /\bproduction[- ]ready\b/gi,
+            /\bready\s+to\s+ship\b/gi,
+            /\bdeploy-ready\b/gi,
+            /\bready\s+for\s+(production|deploy|release)\b/gi,
+        ],
+        requires_evidence: true,
+        evidence_type: 'test_log',
+        severity: 'HIGH',
+    },
+];
+function hasEvidenceEvidence(evidence, type) {
+    switch (type) {
+        case 'test_log':
+            return evidence.test_log.trim().length > 0;
+        case 'security':
+            return evidence.test_log.trim().length > 0 &&
+                /security|auth|unauthorized|pentest|vuln|safe|protect/i.test(evidence.test_log);
+        case 'compatibility':
+            return evidence.diff.trim().length > 0; // diff itself is a form of compatibility evidence
+        default:
+            return false;
+    }
+}
+export class ConfidenceLanguageDetector {
+    static detect(params) {
+        const { output, risk_level, evidence, deduped_spans, structural_claims = [] } = params;
+        const issues = [];
+        const advisory_notes = [];
+        const matched_groups = [];
+        let trust_deductions = 0;
+        const riskOrder = ['LOW', 'MEDIUM', 'HIGH', 'CRITICAL'];
+        const isHighPlus = riskOrder.indexOf(risk_level) >= riskOrder.indexOf('HIGH');
+        const isLowEvidence = evidence.references.length === 0 && evidence.test_log.trim() === '' &&
+            evidence.build_log.trim() === '' && evidence.diff.trim() === '';
+        // Count total matches for OVERCONFIDENT_PATTERN advisory
+        let totalMatches = 0;
+        const allPhrases = [];
+        // Generic overconfident phrases (catch-all for phrases not in groups A-E)
+        const GENERIC_OVERCONFIDENT = /\b(definitely|all\s+good|no\s+issues|completely)\b/gi;
+        let genMatch;
+        while ((genMatch = GENERIC_OVERCONFIDENT.exec(output)) !== null) {
+            totalMatches++;
+            allPhrases.push(genMatch[0]);
+            matched_groups.push({ group: 'generic', phrase: genMatch[0] });
+            trust_deductions += 5;
+        }
+        // CL402: hedging language on HIGH+ risk (backward compat)
+        const HEDGING_PATTERN = /\b(probably|should\s+work|seems|might|appears\s+to|I\s+think)\b/gi;
+        if (isHighPlus) {
+            HEDGING_PATTERN.lastIndex = 0;
+            if (HEDGING_PATTERN.exec(output) !== null) {
+                issues.push(makeIssue({
+                    type: 'AMBIGUITY', severity: 'HIGH', layer: 'L4', source: 'core',
+                    rule_id: 'CL402', required_verdict: 'ESCALATE_TO_HUMAN',
+                    evidence: `Hedging language in ${risk_level} risk artifact`,
+                    required_fix: 'Either assert with evidence or escalate to human review',
+                }));
+            }
+        }
+        for (const group of GROUPS) {
+            for (const pattern of group.patterns) {
+                pattern.lastIndex = 0;
+                let match;
+                while ((match = pattern.exec(output)) !== null) {
+                    totalMatches++;
+                    allPhrases.push(match[0]);
+                    // Track matched group
+                    matched_groups.push({ group: group.id, phrase: match[0] });
+                    // Check if phrase is inside code fence (skip if deduped_spans contains it)
+                    const spanKey = `${match.index}-${match.index + match[0].length}`;
+                    if (deduped_spans.has(spanKey))
+                        continue;
+                    // Deduction for any overconfident phrase
+                    trust_deductions += 5;
+                    if (group.requires_evidence) {
+                        const hasEvidence = hasEvidenceEvidence(evidence, group.evidence_type);
+                        // Group D: check correlation with structural claims
+                        if (group.id === 'D' && group.correlation_fn) {
+                            const hasEndpointChanges = group.correlation_fn(structural_claims);
+                            if (!hasEvidence && hasEndpointChanges) {
+                                issues.push(makeIssue({
+                                    type: 'COMPATIBILITY_RISK',
+                                    severity: 'HIGH',
+                                    layer: 'L4',
+                                    source: 'core',
+                                    rule_id: `CL-${group.id}01`,
+                                    required_verdict: isHighPlus ? 'ESCALATE_TO_HUMAN' : 'REVISE',
+                                    evidence: `"${match[0]}" claimed but endpoint/migration changes exist and no compatibility evidence provided`,
+                                    required_fix: 'Provide backward-compatibility analysis or remove the claim',
+                                }));
+                                trust_deductions += 15;
+                            }
+                            else if (!hasEvidence) {
+                                issues.push(makeIssue({
+                                    type: 'MISSING_EVIDENCE',
+                                    severity: group.severity,
+                                    layer: 'L3',
+                                    source: 'core',
+                                    rule_id: `CL-${group.id}02`,
+                                    evidence: `"${match[0]}" without supporting ${group.evidence_type} evidence`,
+                                    required_fix: `Provide ${group.evidence_type} evidence or qualify the claim`,
+                                }));
+                                trust_deductions += 15;
+                            }
+                        }
+                        else if (!hasEvidence && group.id === 'B') {
+                            // Group B: correctness without test evidence
+                            issues.push(makeIssue({
+                                type: 'MISSING_EVIDENCE',
+                                severity: 'MEDIUM',
+                                layer: 'L3',
+                                source: 'core',
+                                rule_id: `CL-${group.id}01`,
+                                evidence: `"${match[0]}" without test execution evidence`,
+                                required_fix: 'Provide test_log demonstrating test coverage',
+                            }));
+                            trust_deductions += 10;
+                        }
+                        else if (!hasEvidence && group.id === 'C') {
+                            // Group C: security without security evidence
+                            issues.push(makeIssue({
+                                type: 'MISSING_EVIDENCE',
+                                severity: 'HIGH',
+                                layer: 'L3',
+                                source: 'core',
+                                rule_id: `CL-${group.id}01`,
+                                evidence: `"${match[0]}" without security review evidence`,
+                                required_fix: 'Provide security test log or security reasoning',
+                            }));
+                            trust_deductions += 20;
+                        }
+                        else if (!hasEvidence && group.id === 'E') {
+                            // Group E: readiness at HIGH+ risk
+                            if (isHighPlus && isLowEvidence) {
+                                issues.push(makeIssue({
+                                    type: 'MISSING_EVIDENCE',
+                                    severity: 'HIGH',
+                                    layer: 'L3',
+                                    source: 'core',
+                                    rule_id: `CL-${group.id}01`,
+                                    evidence: `"${match[0]}" at ${risk_level} risk without supporting evidence`,
+                                    required_fix: 'Provide test evidence or reduce risk level before claiming readiness',
+                                }));
+                                trust_deductions += 20;
+                            }
+                        }
+                    }
+                    // Non-blocking advisory note for 3+ matches at HIGH+ risk
+                    if (totalMatches >= 3 && isHighPlus) {
+                        advisory_notes.push(`Multiple overconfident patterns (${totalMatches}) at ${risk_level} risk — review claims carefully`);
+                    }
+                }
+            }
+        }
+        // Also keep CL401/CL402 for backward compatibility
+        if (isLowEvidence && matched_groups.length > 0) {
+            advisory_notes.push(`CL401: overconfident language without supporting evidence — consider qualifying or adding evidence`);
+        }
+        return { issues, trust_deductions, advisory_notes, matched_groups };
+    }
+}
+//# sourceMappingURL=confidence-language-detector.js.map

package/dist/detectors/confidence-language-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"confidence-language-detector.js","sourceRoot":"","sources":["../../src/detectors/confidence-language-detector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuD,SAAS,EAAE,MAAM,aAAa,CAAA;AAoB5F,MAAM,MAAM,GAAsB;IAChC,yBAAyB;IACzB;QACE,EAAE,EAAE,GAAG;QACP,KAAK,EAAE,UAAU;QACjB,QAAQ,EAAE;YACR,2BAA2B;YAC3B,6CAA6C;YAC7C,wCAAwC;YACxC,uBAAuB;SACxB;QACD,iBAAiB,EAAE,KAAK;QACxB,QAAQ,EAAE,QAAQ;KACnB;IACD,wBAAwB;IACxB;QACE,EAAE,EAAE,GAAG;QACP,KAAK,EAAE,aAAa;QACpB,QAAQ,EAAE;YACR,kCAAkC;YAClC,0BAA0B;YAC1B,gBAAgB;YAChB,kBAAkB;SACnB;QACD,iBAAiB,EAAE,IAAI;QACvB,aAAa,EAAE,UAAU;QACzB,QAAQ,EAAE,QAAQ;KACnB;IACD,4BAA4B;IAC5B;QACE,EAAE,EAAE,GAAG;QACP,KAAK,EAAE,UAAU;QACjB,QAAQ,EAAE;YACR,cAAc;YACd,8BAA8B;YAC9B,kCAAkC;SACnC;QACD,iBAAiB,EAAE,IAAI;QACvB,aAAa,EAAE,UAAU;QACzB,QAAQ,EAAE,MAAM;KACjB;IACD,0BAA0B;IAC1B;QACE,EAAE,EAAE,GAAG;QACP,KAAK,EAAE,eAAe;QACtB,QAAQ,EAAE;YACR,6BAA6B;YAC7B,gCAAgC;YAChC,0BAA0B;SAC3B;QACD,iBAAiB,EAAE,IAAI;QACvB,aAAa,EAAE,eAAe;QAC9B,QAAQ,EAAE,MAAM;QAChB,cAAc,EAAE,CAAC,gBAAmC,EAAE,EAAE;YACtD,8EAA8E;YAC9E,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAA;QAC1G,CAAC;KACF;IACD,sBAAsB;IACtB;QACE,EAAE,EAAE,GAAG;QACP,KAAK,EAAE,WAAW;QAClB,QAAQ,EAAE;YACR,2BAA2B;YAC3B,yBAAyB;YACzB,oBAAoB;YACpB,iDAAiD;SAClD;QACD,iBAAiB,EAAE,IAAI;QACvB,aAAa,EAAE,UAAU;QACzB,QAAQ,EAAE,MAAM;KACjB;CACF,CAAA;AASD,SAAS,mBAAmB,CAAC,QAAsB,EAAE,IAAY;IAC/D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU;YACb,OAAO,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;QAC5C,KAAK,UAAU;YACb,OAAO,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;gBACxC,uDAAuD,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;QACnF,KAAK,eAAe;YAClB,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA,CAAC,kDAAkD;QAC3F;YACE,OAAO,KAAK,CAAA;IAChB,CAAC;AACH,CAAC;AAED,MAAM,OAAO,0BAA0B;IACrC,MAAM,CAAC,MAAM,CAAC,MAMb;QACC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,iBAAiB,GAAG,EAAE,EAAE,GAAG,MAAM,CAAA;QACtF,MAAM,MAAM,GAAgB,EAAE,CAAA;QAC9B,MAAM,cAAc,GAAa,EAAE,CAAA;QACnC,MAAM,cAAc,GAA6C,EAAE,CAAA;QACnE,IAAI,gBAAgB,GAAG,CAAC,CAAA;QAExB,MAAM,SAAS,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAA;QACvD,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAC7E,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;YACvF,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAA;QAEjE,yDAAyD;QACzD,IAAI,YAAY,GAAG,CAAC,CAAA;QACpB,MAAM,UAAU,GAAa,EAAE,CAAA;QAE/B,0EAA0E;QAC1E,MAAM,qBAAqB,GAAG,sDAAsD,CAAA;QACpF,IAAI,QAAgC,CAAA;QACpC,OAAO,CAAC,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAChE,YAAY,EAAE,CAAA;YACd,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;YAC5B,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC9D,gBAAgB,IAAI,CAAC,CAAA;QACvB,CAAC;QAED,0DAA0D;QAC1D,MAAM,eAAe,GAAG,mEAAmE,CAAA;QAC3F,IAAI,UAAU,EAAE,CAAC;YACf,eAAe,CAAC,SAAS,GAAG,CAAC,CAAA;YAC7B,IAAI,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC1C,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;oBACpB,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM;oBAChE,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,mBAAmB;oBACvD,QAAQ,EAAE,uBAAuB,UAAU,gBAAgB;oBAC3D,YAAY,EAAE,yDAAyD;iBACxE,CAAC,CAAC,CAAA;YACL,CAAC;QACH,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACrC,OAAO,CAAC,SAAS,GAAG,CAAC,CAAA;gBACrB,IAAI,KAA6B,CAAA;gBACjC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;oBAC/C,YAAY,EAAE,CAAA;oBACd,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;oBAEzB,sBAAsB;oBACtB,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;oBAE1D,2EAA2E;oBAC3E,MAAM,OAAO,GAAG,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAA;oBACjE,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC;wBAAE,SAAQ;oBAExC,yCAAyC;oBACzC,gBAAgB,IAAI,CAAC,CAAA;oBAErB,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;wBAC5B,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAc,CAAC,CAAA;wBAEvE,oDAAoD;wBACpD,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;4BAC7C,MAAM,kBAAkB,GAAG,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAA;4BAClE,IAAI,CAAC,WAAW,IAAI,kBAAkB,EAAE,CAAC;gCACvC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;oCACpB,IAAI,EAAE,oBAAoB;oCAC1B,QAAQ,EAAE,MAAM;oCAChB,KAAK,EAAE,IAAI;oCACX,MAAM,EAAE,MAAM;oCACd,OAAO,EAAE,MAAM,KAAK,CAAC,EAAE,IAAI;oCAC3B,gBAAgB,EAAE,UAAU,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ;oCAC7D,QAAQ,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,uFAAuF;oCAC7G,YAAY,EAAE,6DAA6D;iCAC5E,CAAC,CAAC,CAAA;gCACH,gBAAgB,IAAI,EAAE,CAAA;4BACxB,CAAC;iCAAM,IAAI,CAAC,WAAW,EAAE,CAAC;gCACxB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;oCACpB,IAAI,EAAE,kBAAkB;oCACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oCACxB,KAAK,EAAE,IAAI;oCACX,MAAM,EAAE,MAAM;oCACd,OAAO,EAAE,MAAM,KAAK,CAAC,EAAE,IAAI;oCAC3B,QAAQ,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,wBAAwB,KAAK,CAAC,aAAa,WAAW;oCAC5E,YAAY,EAAE,WAAW,KAAK,CAAC,aAAa,gCAAgC;iCAC7E,CAAC,CAAC,CAAA;gCACH,gBAAgB,IAAI,EAAE,CAAA;4BACxB,CAAC;wBACH,CAAC;6BAAM,IAAI,CAAC,WAAW,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;4BAC5C,6CAA6C;4BAC7C,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;gCACpB,IAAI,EAAE,kBAAkB;gCACxB,QAAQ,EAAE,QAAQ;gCAClB,KAAK,EAAE,IAAI;gCACX,MAAM,EAAE,MAAM;gCACd,OAAO,EAAE,MAAM,KAAK,CAAC,EAAE,IAAI;gCAC3B,QAAQ,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,mCAAmC;gCACzD,YAAY,EAAE,8CAA8C;6BAC7D,CAAC,CAAC,CAAA;4BACH,gBAAgB,IAAI,EAAE,CAAA;wBACxB,CAAC;6BAAM,IAAI,CAAC,WAAW,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;4BAC5C,8CAA8C;4BAC9C,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;gCACpB,IAAI,EAAE,kBAAkB;gCACxB,QAAQ,EAAE,MAAM;gCAChB,KAAK,EAAE,IAAI;gCACX,MAAM,EAAE,MAAM;gCACd,OAAO,EAAE,MAAM,KAAK,CAAC,EAAE,IAAI;gCAC3B,QAAQ,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,oCAAoC;gCAC1D,YAAY,EAAE,iDAAiD;6BAChE,CAAC,CAAC,CAAA;4BACH,gBAAgB,IAAI,EAAE,CAAA;wBACxB,CAAC;6BAAM,IAAI,CAAC,WAAW,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;4BAC5C,mCAAmC;4BACnC,IAAI,UAAU,IAAI,aAAa,EAAE,CAAC;gCAChC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;oCACpB,IAAI,EAAE,kBAAkB;oCACxB,QAAQ,EAAE,MAAM;oCAChB,KAAK,EAAE,IAAI;oCACX,MAAM,EAAE,MAAM;oCACd,OAAO,EAAE,MAAM,KAAK,CAAC,EAAE,IAAI;oCAC3B,QAAQ,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,UAAU,mCAAmC;oCAC3E,YAAY,EAAE,sEAAsE;iCACrF,CAAC,CAAC,CAAA;gCACH,gBAAgB,IAAI,EAAE,CAAA;4BACxB,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,0DAA0D;oBAC1D,IAAI,YAAY,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;wBACpC,cAAc,CAAC,IAAI,CAAC,oCAAoC,YAAY,QAAQ,UAAU,iCAAiC,CAAC,CAAA;oBAC1H,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,mDAAmD;QACnD,IAAI,aAAa,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/C,cAAc,CAAC,IAAI,CAAC,oGAAoG,CAAC,CAAA;QAC3H,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,cAAc,EAAE,cAAc,EAAE,CAAA;IACrE,CAAC;CACF"}

package/dist/detectors/contradiction-detector.d.ts

@@ -0,0 +1,12 @@
+import { SealIssue } from '../types.js';
+export interface ContradictionDetectorInput {
+    artifact: string;
+    artifact_file?: string;
+}
+export interface ContradictionResult {
+    issues: SealIssue[];
+    confirmed_strong_fields: number;
+}
+export declare class ContradictionDetector {
+    static detect(input: ContradictionDetectorInput): ContradictionResult;
+}

package/dist/detectors/contradiction-detector.js

@@ -0,0 +1,153 @@
+import { makeIssue } from '../types.js';
+// Conflict patterns: [write side pattern, readonly side pattern, description]
+const CONFLICT_PAIRS = [
+    [/\b(writes?|modifies?|overwrites?|creates?)\s+(\S+)/gi, /\b(\S+)\s+is\s+(read.?only|append.?only|immutable)\b/gi, 'write vs readonly constraint'],
+    [/\b(removes?|deletes?|drops?)\s+(\S+)/gi, /\b(requires?|depends?\s+on|needs?)\s+(\S+)/gi, 'remove vs dependency'],
+    [/step\s+(\d+)\s+.*?(writes?|creates?)\s+(\S+)/gi, /(\S+)\s+must\s+(exist|be\s+present)\s+before\s+step\s+(\d+)/gi, 'step ordering'],
+];
+// Non-goal violation: "non-goal: X" but body contains "SHALL/WILL/MUST X"
+const NON_GOAL_PATTERN = /non.?goals?\s*:?\s*([^\n]+)/gi;
+const GOAL_CLAIM_PATTERN = /\b(?:shall|will|must|implement)\s+(\S+(?:\s+\S+){0,5})/gi;
+function parseLines(text) {
+    return text.split('\n');
+}
+// Strip code fences and inline code so pattern matching operates on prose only
+function stripCode(text) {
+    return text
+        .replace(/```[\s\S]*?```/g, ' ') // block fences
+        .replace(/`[^`\n]+`/g, ' ') // inline code
+        .replace(/^\s*[-*]\s+\[[ x]\]\s*/gm, ' '); // task checkboxes
+}
+function extractSections(text) {
+    const lines = parseLines(text);
+    const sections = [];
+    let current = null;
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        if (/^#{1,4}\s/.test(line)) {
+            if (current)
+                sections.push(current);
+            current = { heading: line.replace(/^#{1,4}\s*/, ''), body: '', startLine: i + 1 };
+        }
+        else if (current) {
+            current.body += line + '\n';
+        }
+    }
+    if (current)
+        sections.push(current);
+    return sections;
+}
+function findLineNumber(text, searchStr) {
+    const lines = parseLines(text);
+    for (let i = 0; i < lines.length; i++) {
+        if (lines[i].includes(searchStr))
+            return i + 1;
+    }
+    return 1;
+}
+export class ContradictionDetector {
+    static detect(input) {
+        const { artifact, artifact_file = 'artifact' } = input;
+        const issues = [];
+        const sections = extractSections(artifact);
+        // Pairwise cross-section scan for write/readonly conflicts
+        for (let i = 0; i < sections.length; i++) {
+            for (let j = 0; j < sections.length; j++) {
+                if (i === j)
+                    continue;
+                const secA = sections[i];
+                const secB = sections[j];
+                const proseA = stripCode(secA.body);
+                const proseB = stripCode(secB.body);
+                for (const [writePattern, readonlyPattern, desc] of CONFLICT_PAIRS) {
+                    writePattern.lastIndex = 0;
+                    readonlyPattern.lastIndex = 0;
+                    const writeMatcher = writePattern.exec(proseA);
+                    const readonlyMatcher = readonlyPattern.exec(proseB);
+                    if (!writeMatcher || !readonlyMatcher)
+                        continue;
+                    // Find actual position in original (unstripped) body, since writeMatcher.index
+                    // is relative to proseA (stripped) which is shorter when code blocks exist.
+                    const actualIndexA = secA.body.indexOf(writeMatcher[0]);
+                    const actualIndexB = secB.body.indexOf(readonlyMatcher[0]);
+                    const lineA = actualIndexA >= 0
+                        ? secA.startLine + (secA.body.slice(0, actualIndexA).split('\n').length - 1)
+                        : secA.startLine;
+                    const lineB = actualIndexB >= 0
+                        ? secB.startLine + (secB.body.slice(0, actualIndexB).split('\n').length - 1)
+                        : secB.startLine;
+                    // Only emit once per pair (lower section index first)
+                    if (i > j)
+                        continue;
+                    const quote = `§${secA.heading}: '${writeMatcher[0]}' || §${secB.heading}: '${readonlyMatcher[0]}'`;
+                    issues.push({
+                        ...makeIssue({
+                            type: 'LOGIC_BUG',
+                            severity: 'HIGH',
+                            layer: 'L1',
+                            source: 'core',
+                            rule_id: 'PR001',
+                            required_verdict: 'BLOCK',
+                            trust_deduction: 20,
+                            evidence: `Contradiction (${desc}): ${quote}`,
+                            suggested_fix: `Reconcile §${secA.heading} with §${secB.heading}`,
+                        }),
+                        evidence_file: artifact_file,
+                        evidence_lines: [lineA, lineB],
+                        evidence_quote: quote,
+                        confidence: 0.85,
+                        policy_tags: ['consistency'],
+                    });
+                }
+            }
+        }
+        // Non-goal violation scan — operate on prose only
+        const artifactProse = stripCode(artifact);
+        NON_GOAL_PATTERN.lastIndex = 0;
+        let ngMatch;
+        while ((ngMatch = NON_GOAL_PATTERN.exec(artifactProse)) !== null) {
+            const ngText = ngMatch[1].trim().toLowerCase();
+            // Search ngMatch text in artifactProse (stripCode preserves line structure
+            // even though content length changes), so the same text is on the same line.
+            const ngLine = findLineNumber(artifactProse, ngMatch[0].slice(0, 40));
+            GOAL_CLAIM_PATTERN.lastIndex = 0;
+            let gcMatch;
+            while ((gcMatch = GOAL_CLAIM_PATTERN.exec(artifactProse)) !== null) {
+                // Extract significant words from the claim phrase (captured group after verb)
+                const claimPhrase = (gcMatch[1] ?? '').toLowerCase();
+                const claimWords = claimPhrase.split(/\s+/).filter(w => w.length > 4);
+                const ngWords = ngText.split(/\s+/).filter(w => w.length > 4);
+                // Require word overlap between non-goal text and claim line
+                const hasOverlap = ngWords.length > 0 && claimWords.length > 0 &&
+                    claimWords.some(cw => ngWords.some(nw => nw.includes(cw) || cw.includes(nw)));
+                if (hasOverlap) {
+                    const claimLine = findLineNumber(artifactProse, gcMatch[0].slice(0, 40));
+                    if (Math.abs(claimLine - ngLine) < 3)
+                        continue; // same line, skip
+                    const quote = `Non-goal: '${ngText}' || Goal claim: '${gcMatch[0]}'`;
+                    issues.push({
+                        ...makeIssue({
+                            type: 'LOGIC_BUG',
+                            severity: 'HIGH',
+                            layer: 'L1',
+                            source: 'core',
+                            rule_id: 'PR001',
+                            required_verdict: 'BLOCK',
+                            trust_deduction: 20,
+                            evidence: `Non-goal violated: ${quote}`,
+                            suggested_fix: 'Remove claim or move item out of non-goals',
+                        }),
+                        evidence_file: artifact_file,
+                        evidence_lines: [ngLine, claimLine],
+                        evidence_quote: quote,
+                        confidence: 0.8,
+                        policy_tags: ['consistency'],
+                    });
+                    break; // one violation per non-goal entry
+                }
+            }
+        }
+        return { issues, confirmed_strong_fields: 0 };
+    }
+}
+//# sourceMappingURL=contradiction-detector.js.map

package/dist/detectors/contradiction-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contradiction-detector.js","sourceRoot":"","sources":["../../src/detectors/contradiction-detector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,SAAS,EAAE,MAAM,aAAa,CAAA;AAalD,8EAA8E;AAC9E,MAAM,cAAc,GAAoC;IACtD,CAAC,sDAAsD,EAAE,wDAAwD,EAAE,8BAA8B,CAAC;IAClJ,CAAC,wCAAwC,EAAE,8CAA8C,EAAE,sBAAsB,CAAC;IAClH,CAAC,gDAAgD,EAAE,+DAA+D,EAAE,eAAe,CAAC;CACrI,CAAA;AAED,0EAA0E;AAC1E,MAAM,gBAAgB,GAAG,+BAA+B,CAAA;AACxD,MAAM,kBAAkB,GAAG,0DAA0D,CAAA;AAErF,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC;AAED,+EAA+E;AAC/E,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI;SACR,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAG,eAAe;SACjD,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,CAAS,cAAc;SACjD,OAAO,CAAC,0BAA0B,EAAE,GAAG,CAAC,CAAA,CAAC,kBAAkB;AAChE,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,QAAQ,GAAc,EAAE,CAAA;IAC9B,IAAI,OAAO,GAAmB,IAAI,CAAA;IAElC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QACrB,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,IAAI,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACnC,OAAO,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,EAAE,CAAA;QACnF,CAAC;aAAM,IAAI,OAAO,EAAE,CAAC;YACnB,OAAO,CAAC,IAAI,IAAI,IAAI,GAAG,IAAI,CAAA;QAC7B,CAAC;IACH,CAAC;IACD,IAAI,OAAO;QAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACnC,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,SAAiB;IACrD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAOD,MAAM,OAAO,qBAAqB;IAChC,MAAM,CAAC,MAAM,CAAC,KAAiC;QAC7C,MAAM,EAAE,QAAQ,EAAE,aAAa,GAAG,UAAU,EAAE,GAAG,KAAK,CAAA;QACtD,MAAM,MAAM,GAAgB,EAAE,CAAA;QAC9B,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAA;QAE1C,2DAA2D;QAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,IAAI,CAAC,KAAK,CAAC;oBAAE,SAAQ;gBACrB,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;gBACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;gBACxB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACnC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAEnC,KAAK,MAAM,CAAC,YAAY,EAAE,eAAe,EAAE,IAAI,CAAC,IAAI,cAAc,EAAE,CAAC;oBACnE,YAAY,CAAC,SAAS,GAAG,CAAC,CAAA;oBAC1B,eAAe,CAAC,SAAS,GAAG,CAAC,CAAA;oBAE7B,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;oBAC9C,MAAM,eAAe,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;oBAEpD,IAAI,CAAC,YAAY,IAAI,CAAC,eAAe;wBAAE,SAAQ;oBAE/C,+EAA+E;oBAC/E,4EAA4E;oBAC5E,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;oBACvD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAA;oBAC1D,MAAM,KAAK,GAAG,YAAY,IAAI,CAAC;wBAC7B,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;wBAC5E,CAAC,CAAC,IAAI,CAAC,SAAS,CAAA;oBAClB,MAAM,KAAK,GAAG,YAAY,IAAI,CAAC;wBAC7B,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;wBAC5E,CAAC,CAAC,IAAI,CAAC,SAAS,CAAA;oBAElB,sDAAsD;oBACtD,IAAI,CAAC,GAAG,CAAC;wBAAE,SAAQ;oBAEnB,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,OAAO,MAAM,YAAY,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,OAAO,MAAM,eAAe,CAAC,CAAC,CAAC,GAAG,CAAA;oBAEnG,MAAM,CAAC,IAAI,CAAC;wBACV,GAAG,SAAS,CAAC;4BACX,IAAI,EAAE,WAAW;4BACjB,QAAQ,EAAE,MAAM;4BAChB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,MAAM;4BACd,OAAO,EAAE,OAAO;4BAChB,gBAAgB,EAAE,OAAO;4BACzB,eAAe,EAAE,EAAE;4BACnB,QAAQ,EAAE,kBAAkB,IAAI,MAAM,KAAK,EAAE;4BAC7C,aAAa,EAAE,cAAc,IAAI,CAAC,OAAO,UAAU,IAAI,CAAC,OAAO,EAAE;yBAClE,CAAC;wBACF,aAAa,EAAE,aAAa;wBAC5B,cAAc,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;wBAC9B,cAAc,EAAE,KAAK;wBACrB,UAAU,EAAE,IAAI;wBAChB,WAAW,EAAE,CAAC,aAAa,CAAC;qBAC7B,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,kDAAkD;QAClD,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAA;QACzC,gBAAgB,CAAC,SAAS,GAAG,CAAC,CAAA;QAC9B,IAAI,OAA+B,CAAA;QACnC,OAAO,CAAC,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACjE,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;YAC9C,2EAA2E;YAC3E,6EAA6E;YAC7E,MAAM,MAAM,GAAG,cAAc,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;YAErE,kBAAkB,CAAC,SAAS,GAAG,CAAC,CAAA;YAChC,IAAI,OAA+B,CAAA;YACnC,OAAO,CAAC,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACnE,8EAA8E;gBAC9E,MAAM,WAAW,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAA;gBACpD,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;gBACrE,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;gBAC7D,4DAA4D;gBAC5D,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;oBAC5D,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;gBAC/E,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,SAAS,GAAG,cAAc,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;oBACxE,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC;wBAAE,SAAQ,CAAC,kBAAkB;oBAEjE,MAAM,KAAK,GAAG,cAAc,MAAM,qBAAqB,OAAO,CAAC,CAAC,CAAC,GAAG,CAAA;oBACpE,MAAM,CAAC,IAAI,CAAC;wBACV,GAAG,SAAS,CAAC;4BACX,IAAI,EAAE,WAAW;4BACjB,QAAQ,EAAE,MAAM;4BAChB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,MAAM;4BACd,OAAO,EAAE,OAAO;4BAChB,gBAAgB,EAAE,OAAO;4BACzB,eAAe,EAAE,EAAE;4BACnB,QAAQ,EAAE,sBAAsB,KAAK,EAAE;4BACvC,aAAa,EAAE,4CAA4C;yBAC5D,CAAC;wBACF,aAAa,EAAE,aAAa;wBAC5B,cAAc,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;wBACnC,cAAc,EAAE,KAAK;wBACrB,UAAU,EAAE,GAAG;wBACf,WAAW,EAAE,CAAC,aAAa,CAAC;qBAC7B,CAAC,CAAA;oBACF,MAAK,CAAC,mCAAmC;gBAC3C,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC,EAAE,CAAA;IAC/C,CAAC;CACF"}

package/dist/detectors/criteria-coverage-detector.d.ts

@@ -0,0 +1,20 @@
+import { SealIssue } from '../types.js';
+export interface LockedCriterion {
+    id: string;
+    text: string;
+    source_file?: string;
+    source_line?: number;
+}
+export interface CriteriaCoverageInput {
+    artifact: string;
+    artifact_file?: string;
+    locked_criteria: LockedCriterion[];
+}
+export interface CriteriaCoverageResult {
+    issues: SealIssue[];
+    confirmed_strong_fields: number;
+    no_criteria_escalate: boolean;
+}
+export declare class CriteriaCoverageDetector {
+    static detect(input: CriteriaCoverageInput): CriteriaCoverageResult;
+}

package/dist/detectors/criteria-coverage-detector.js

@@ -0,0 +1,79 @@
+import { makeIssue } from '../types.js';
+function isCovered(criterion, artifact) {
+    const lower = artifact.toLowerCase();
+    // Direct AC id mention
+    if (lower.includes(criterion.id.toLowerCase()))
+        return true;
+    // Keyword coverage: extract significant words (>4 chars) from criterion text
+    const words = criterion.text
+        .toLowerCase()
+        .replace(/[^\w\s]/g, ' ')
+        .split(/\s+/)
+        .filter(w => w.length > 4)
+        .filter(w => !['shall', 'must', 'should', 'when', 'then', 'given', 'that', 'this', 'with'].includes(w));
+    if (words.length === 0)
+        return false;
+    // Require at least half of significant words present in artifact
+    const matched = words.filter(w => lower.includes(w)).length;
+    return matched / words.length >= 0.5;
+}
+export class CriteriaCoverageDetector {
+    static detect(input) {
+        const { artifact, artifact_file = 'artifact', locked_criteria } = input;
+        // Preflight: no locked criteria → ESCALATE
+        if (!locked_criteria || locked_criteria.length === 0) {
+            return {
+                issues: [{
+                        ...makeIssue({
+                            type: 'AMBIGUITY',
+                            severity: 'MEDIUM', // non-blocking — escalation comes from required_verdict, not severity
+                            layer: 'L1',
+                            source: 'core',
+                            rule_id: 'PR002',
+                            required_verdict: 'ESCALATE_TO_HUMAN',
+                            trust_deduction: 15,
+                            evidence: 'No locked acceptance criteria — cannot measure coverage against fixed yardstick',
+                            suggested_fix: 'Lock criteria in intent.md or self-check.md BEFORE generating the artifact',
+                        }),
+                        policy_tags: ['coverage'],
+                        confidence: 1.0,
+                    }],
+                confirmed_strong_fields: 0,
+                no_criteria_escalate: true,
+            };
+        }
+        const issues = [];
+        let confirmed = 0;
+        for (const criterion of locked_criteria) {
+            if (isCovered(criterion, artifact)) {
+                confirmed++;
+                continue;
+            }
+            // Uncovered → SPEC_MISMATCH, Type H
+            const sourceFile = criterion.source_file ?? 'intent.md';
+            const sourceLine = criterion.source_line ?? 1;
+            const quote = `${criterion.id} ${criterion.text.length > 120 ? criterion.text.slice(0, 120) + '…' : criterion.text} — no artifact section addresses this`;
+            issues.push({
+                ...makeIssue({
+                    type: 'SPEC_MISMATCH',
+                    severity: 'MEDIUM',
+                    layer: 'L1',
+                    source: 'core',
+                    rule_id: 'PR002',
+                    required_verdict: 'REVISE',
+                    trust_deduction: 10,
+                    evidence: `Uncovered criterion: ${criterion.id} — ${criterion.text.slice(0, 80)}`,
+                    suggested_fix: `Add a section in ${artifact_file} addressing: ${criterion.text.slice(0, 80)}`,
+                }),
+                evidence_file: sourceFile,
+                evidence_lines: [sourceLine],
+                evidence_quote: quote,
+                criterion_ref: criterion.id,
+                confidence: 0.8,
+                policy_tags: ['coverage'],
+            });
+        }
+        return { issues, confirmed_strong_fields: confirmed, no_criteria_escalate: false };
+    }
+}
+//# sourceMappingURL=criteria-coverage-detector.js.map

package/dist/detectors/criteria-coverage-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"criteria-coverage-detector.js","sourceRoot":"","sources":["../../src/detectors/criteria-coverage-detector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,SAAS,EAAE,MAAM,aAAa,CAAA;AAqBlD,SAAS,SAAS,CAAC,SAA0B,EAAE,QAAgB;IAC7D,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAA;IAEpC,uBAAuB;IACvB,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC;QAAE,OAAO,IAAI,CAAA;IAE3D,6EAA6E;IAC7E,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI;SACzB,WAAW,EAAE;SACb,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;SACxB,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;SACzB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IAEzG,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAEpC,iEAAiE;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;IAC3D,OAAO,OAAO,GAAG,KAAK,CAAC,MAAM,IAAI,GAAG,CAAA;AACtC,CAAC;AAED,MAAM,OAAO,wBAAwB;IACnC,MAAM,CAAC,MAAM,CAAC,KAA4B;QACxC,MAAM,EAAE,QAAQ,EAAE,aAAa,GAAG,UAAU,EAAE,eAAe,EAAE,GAAG,KAAK,CAAA;QAEvE,2CAA2C;QAC3C,IAAI,CAAC,eAAe,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrD,OAAO;gBACL,MAAM,EAAE,CAAC;wBACP,GAAG,SAAS,CAAC;4BACX,IAAI,EAAE,WAAW;4BACjB,QAAQ,EAAE,QAAQ,EAAI,sEAAsE;4BAC5F,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,MAAM;4BACd,OAAO,EAAE,OAAO;4BAChB,gBAAgB,EAAE,mBAAmB;4BACrC,eAAe,EAAE,EAAE;4BACnB,QAAQ,EAAE,iFAAiF;4BAC3F,aAAa,EAAE,4EAA4E;yBAC5F,CAAC;wBACF,WAAW,EAAE,CAAC,UAAU,CAAC;wBACzB,UAAU,EAAE,GAAG;qBAChB,CAAC;gBACF,uBAAuB,EAAE,CAAC;gBAC1B,oBAAoB,EAAE,IAAI;aAC3B,CAAA;QACH,CAAC;QAED,MAAM,MAAM,GAAgB,EAAE,CAAA;QAC9B,IAAI,SAAS,GAAG,CAAC,CAAA;QAEjB,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;YACxC,IAAI,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACnC,SAAS,EAAE,CAAA;gBACX,SAAQ;YACV,CAAC;YAED,oCAAoC;YACpC,MAAM,UAAU,GAAG,SAAS,CAAC,WAAW,IAAI,WAAW,CAAA;YACvD,MAAM,UAAU,GAAG,SAAS,CAAC,WAAW,IAAI,CAAC,CAAA;YAC7C,MAAM,KAAK,GAAG,GAAG,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,uCAAuC,CAAA;YAEzJ,MAAM,CAAC,IAAI,CAAC;gBACV,GAAG,SAAS,CAAC;oBACX,IAAI,EAAE,eAAe;oBACrB,QAAQ,EAAE,QAAQ;oBAClB,KAAK,EAAE,IAAI;oBACX,MAAM,EAAE,MAAM;oBACd,OAAO,EAAE,OAAO;oBAChB,gBAAgB,EAAE,QAAQ;oBAC1B,eAAe,EAAE,EAAE;oBACnB,QAAQ,EAAE,wBAAwB,SAAS,CAAC,EAAE,MAAM,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;oBACjF,aAAa,EAAE,oBAAoB,aAAa,gBAAgB,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;iBAC9F,CAAC;gBACF,aAAa,EAAE,UAAU;gBACzB,cAAc,EAAE,CAAC,UAAU,CAAC;gBAC5B,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,SAAS,CAAC,EAAE;gBAC3B,UAAU,EAAE,GAAG;gBACf,WAAW,EAAE,CAAC,UAAU,CAAC;aAC1B,CAAC,CAAA;QACJ,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,SAAS,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAA;IACpF,CAAC;CACF"}

package/dist/detectors/evidence-checker.d.ts

@@ -0,0 +1,8 @@
+import { EvidenceEnvelope, EvidenceResult } from '../types.js';
+export type EvidenceMode = 'portable' | 'filesystem';
+export declare class EvidenceChecker {
+    static check(references: EvidenceEnvelope[], options?: {
+        mode: EvidenceMode;
+    }): EvidenceResult[];
+    private static checkOne;
+}

package/dist/detectors/evidence-checker.js

@@ -0,0 +1,89 @@
+import { existsSync, readFileSync } from 'node:fs';
+export class EvidenceChecker {
+    static check(references, options = { mode: 'portable' }) {
+        return references.map(envelope => this.checkOne(envelope, options.mode));
+    }
+    static checkOne(envelope, mode) {
+        // Structural validation
+        if (envelope.type === 'file') {
+            if (!envelope.path || envelope.line === undefined || !envelope.snapshot) {
+                return {
+                    envelope, structurally_valid: false, filesystem_verified: null,
+                    mismatch_detail: 'Missing path, line, or snapshot',
+                    citation_status: 'not_applicable',
+                };
+            }
+            if (mode === 'filesystem') {
+                if (!existsSync(envelope.path)) {
+                    return {
+                        envelope, structurally_valid: true, filesystem_verified: false,
+                        mismatch_detail: `File not found: ${envelope.path}`,
+                        citation_status: 'phantom',
+                    };
+                }
+                const lines = readFileSync(envelope.path, 'utf-8').split('\n');
+                const actualLine = lines[envelope.line - 1] ?? '';
+                if (actualLine.trim() !== envelope.snapshot.trim()) {
+                    return {
+                        envelope, structurally_valid: true, filesystem_verified: false,
+                        mismatch_detail: `Snapshot mismatch at ${envelope.path}:${envelope.line}`,
+                        citation_status: 'void',
+                    };
+                }
+                return {
+                    envelope, structurally_valid: true, filesystem_verified: true,
+                    citation_status: 'verified',
+                };
+            }
+            // Portable mode: structurally valid but no filesystem check
+            return {
+                envelope, structurally_valid: true, filesystem_verified: null,
+                citation_status: 'not_applicable',
+            };
+        }
+        if (envelope.type === 'command') {
+            const hasRequiredFields = !!(envelope.command && envelope.output && envelope.exit_code !== undefined);
+            if (!hasRequiredFields) {
+                return {
+                    envelope, structurally_valid: false, filesystem_verified: null,
+                    mismatch_detail: 'Missing command, exit_code, or output',
+                    citation_status: 'not_applicable',
+                };
+            }
+            const passed = envelope.exit_code === 0;
+            return {
+                envelope, structurally_valid: true, filesystem_verified: passed,
+                mismatch_detail: passed ? undefined : `Command failed with exit_code ${envelope.exit_code}`,
+                citation_status: passed ? 'verified' : 'void',
+            };
+        }
+        if (envelope.type === 'url') {
+            const valid = !!(envelope.url && envelope.retrieved_at && envelope.content_snapshot);
+            return {
+                envelope, structurally_valid: valid, filesystem_verified: null,
+                citation_status: valid ? 'verified' : 'not_applicable',
+                mismatch_detail: valid ? undefined : 'Missing url, retrieved_at, or content_snapshot',
+            };
+        }
+        if (envelope.type === 'text') {
+            const valid = !!(envelope.label && envelope.content);
+            return {
+                envelope, structurally_valid: valid, filesystem_verified: null,
+                citation_status: valid ? 'verified' : 'not_applicable',
+            };
+        }
+        if (envelope.type === 'memory') {
+            const valid = !!(envelope.memory_key && envelope.retrieved_at && envelope.content_snapshot);
+            return {
+                envelope, structurally_valid: valid, filesystem_verified: null,
+                citation_status: valid ? 'verified' : 'not_applicable',
+            };
+        }
+        return {
+            envelope, structurally_valid: false, filesystem_verified: null,
+            mismatch_detail: 'Unknown envelope type',
+            citation_status: 'not_applicable',
+        };
+    }
+}
+//# sourceMappingURL=evidence-checker.js.map

package/dist/detectors/evidence-checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-checker.js","sourceRoot":"","sources":["../../src/detectors/evidence-checker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAIlD,MAAM,OAAO,eAAe;IAC1B,MAAM,CAAC,KAAK,CAAC,UAA8B,EAAE,OAAO,GAA2B,EAAE,IAAI,EAAE,UAAU,EAAE;QACjG,OAAO,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;IAC1E,CAAC;IAEO,MAAM,CAAC,QAAQ,CAAC,QAA0B,EAAE,IAAkB;QACpE,wBAAwB;QACxB,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACxE,OAAO;oBACL,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI;oBAC9D,eAAe,EAAE,iCAAiC;oBAClD,eAAe,EAAE,gBAAgB;iBAClC,CAAA;YACH,CAAC;YACD,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC1B,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC/B,OAAO;wBACL,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK;wBAC9D,eAAe,EAAE,mBAAmB,QAAQ,CAAC,IAAI,EAAE;wBACnD,eAAe,EAAE,SAAS;qBAC3B,CAAA;gBACH,CAAC;gBACD,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;gBAC9D,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;gBACjD,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;oBACnD,OAAO;wBACL,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK;wBAC9D,eAAe,EAAE,wBAAwB,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE;wBACzE,eAAe,EAAE,MAAM;qBACxB,CAAA;gBACH,CAAC;gBACD,OAAO;oBACL,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI;oBAC7D,eAAe,EAAE,UAAU;iBAC5B,CAAA;YACH,CAAC;YACD,4DAA4D;YAC5D,OAAO;gBACL,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI;gBAC7D,eAAe,EAAE,gBAAgB;aAClC,CAAA;QACH,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,iBAAiB,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC,CAAA;YACrG,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACvB,OAAO;oBACL,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI;oBAC9D,eAAe,EAAE,uCAAuC;oBACxD,eAAe,EAAE,gBAAgB;iBAClC,CAAA;YACH,CAAC;YACD,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,KAAK,CAAC,CAAA;YACvC,OAAO;gBACL,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM;gBAC/D,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iCAAiC,QAAQ,CAAC,SAAS,EAAE;gBAC3F,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM;aAC9C,CAAA;QACH,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,gBAAgB,CAAC,CAAA;YACpF,OAAO;gBACL,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI;gBAC9D,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB;gBACtD,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gDAAgD;aACtF,CAAA;QACH,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAA;YACpD,OAAO;gBACL,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI;gBAC9D,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB;aACvD,CAAA;QACH,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,gBAAgB,CAAC,CAAA;YAC3F,OAAO;gBACL,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI;gBAC9D,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB;aACvD,CAAA;QACH,CAAC;QAED,OAAO;YACL,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI;YAC9D,eAAe,EAAE,uBAAuB;YACxC,eAAe,EAAE,gBAAgB;SAClC,CAAA;IACH,CAAC;CACF"}

package/dist/detectors/evidence-gap-detector.d.ts

@@ -0,0 +1,9 @@
+import { Claim, SealEvidence, SealIssue } from '../types.js';
+export interface EvidenceGapResult {
+    issues: SealIssue[];
+    missing_evidence: string[];
+    trust_deductions: number;
+}
+export declare class EvidenceGapDetector {
+    static detect(claims: Claim[], evidence: SealEvidence, risk_level?: string): EvidenceGapResult;
+}