sxng-cli 1.2.2 → 1.2.4

package/README.md

@@ -29,11 +29,14 @@
 - 📄 **Multiple Formats** — Markdown (LLM-optimized) or JSON output
 - 🧠 **Deep Search** — Multi-round iterative research with session accumulation, quality assessment, and recovery strategies
 - 🔍 **Content Extraction** — Extract full article content from URLs or session results, with Obscura (JS rendering) and Jina Reader fallbacks
-- 🗂️ **Session Management** — Accumulate search results across rounds with deduplication; pending → approve → graph injection workflow
-- ⭐ **Quality Assessment** — 4 independent indicators: content depth, entity richness, source diversity, novelty
-- 🕸️ **Knowledge Graph** — Structural (query→result→domain) + semantic (entity relations) graph layers
-- 🔄 **Query Redundancy Check** — Jaccard similarity + SimHash to avoid repeated queries
+- 🗂️ **Session Management** — Accumulate search results across rounds; normalized URLs and full-text character 5-gram Jaccard remove duplicates before the pending → approve → graph injection workflow
+- 🔗 **External Result Fusion** — Inject results from Tavily, Exa, or any search tool into the same session pipeline via `results-add`; shared pending pool, unified quality assessment
+- ⭐ **Quality Assessment** — 3 independent indicators: content depth, source diversity, and novelty
+- 🕸️ **Knowledge Graph** — Structural (query→result→domain) + semantic (entity relations with source-round provenance) graph layers
+- 🔄 **Query Redundancy Check** — Word-level or character-bigram Jaccard detects repeated queries
 - 💡 **Agent-First Design** — Outputs structured analysis data (quality, suggestions, recovery) for LLM Agent decision-making
+- 📁 **Local Document Search** — Index and BM25-search local Markdown/text files; results auto-injected into the session pipeline as `source: "local"`
+- ✅ **Claim—Evidence—Review Pipeline** — L2/L3 only: submit atomic claims, auto-search evidence, verify with stance, then policy-aggregate by publisher-domain diversity for auto-approval or Agent review
 
 ## 📦 Installation
 
@@ -117,13 +120,24 @@ obscura --version
 | `sxng session-report <session>` | Full session analysis report |
 | `sxng session-list` | List all sessions |
 | `sxng session-delete <name>` | Delete a session |
-| `sxng graph-preprocess <session>` | TF-IDF + co-occurrence analysis |
-| `sxng graph-add <session>` | Add entities/edges to knowledge graph |
+| `sxng graph-preprocess <session>` | TF-IDF + co-occurrence + result provenance analysis |
+| `sxng graph-add <session>` | Add entities/edges to the knowledge graph; new entities require source rounds |
 | `sxng graph-search <session>` | Discover entities by keyword |
 | `sxng graph-explore <session>` | View entity relations |
 | `sxng graph-drill <session>` | Follow specific relations |
 | `sxng graph-traverse <session>` | Traverse reasoning paths |
 | `sxng graph-obfuscate <session>` | List obfuscation candidates |
+| `sxng results-add <session> --query <query> --data <json>` | Inject external search results into session as pending |
+| `sxng doc-index <path>` | Index local documents for BM25 search |
+| `sxng doc-search <session> <query> --path <path>` | Search indexed docs and inject results into session |
+| `sxng claim-add <session> --claims <json>` | Submit atomic claims (single or batch, auto evidence-search) |
+| `sxng claim-list <session>` | List claims |
+| `sxng evidence-search <session> --claim-id <id>` | Search candidate evidence (read-only) |
+| `sxng evidence-verify <session> --claim-id <id>` | Confirm evidence + submit stance (+ optional auto-policy) |
+| `sxng evidence-list <session> --claim-id <id>` | List evidence for a claim |
+| `sxng verdict-list <session> --claim-id <id>` | List verdicts for a claim |
+| `sxng policy-aggregate <session>` | Run policy aggregation manually |
+| `sxng review-list <session>` | List reviews |
 | `sxng --health` | Check SearXNG server health |
 | `sxng --engines-list` | List available search engines |
 | `sxng --categories-list` | List available categories |
@@ -220,6 +234,8 @@ Deep search enables multi-round iterative research with session accumulation, qu
 
 ```
 Search → Extract → Preprocess → Build Graph → Quality Assess → Approve → (Loop or Explore)
+                                                                         ↓
+                                          (L2/L3) Claim—Evidence—Review → Final Output
 ```
 
 ### Quick Example
@@ -232,14 +248,14 @@ sxng --session new --owner "agent-1" --desc "Rust async study" "rust async ecosy
 # 2. Extract content from results
 sxng extract --session ds_1712345678_abcdef
 
-# 3. Preprocess for entity discovery (TF-IDF + co-occurrence)
+# 3. Preprocess for entity discovery and result provenance
 sxng graph-preprocess ds_1712345678_abcdef
 
-# 4. Add entities to knowledge graph
+# 4. Add entities with source rounds from graph-preprocess resultProvenance
 sxng graph-add ds_1712345678_abcdef --data '{
   "entities": [
-    {"label": "tokio", "entityType": "runtime", "score": 0.95},
-    {"label": "async-std", "entityType": "runtime", "score": 0.85}
+    {"label": "tokio", "entityType": "runtime", "score": 0.95, "sourceRounds": [1]},
+    {"label": "async-std", "entityType": "runtime", "score": 0.85, "sourceRounds": [1]}
   ],
   "edges": [
     {"source": "e:tokio", "target": "e:async_std", "relation": "alternative_to", "weight": 0.9}
@@ -256,6 +272,12 @@ sxng --session ds_1712345678_abcdef --quality --approve "0,1,2,3"
 sxng --session ds_1712345678_abcdef --queries "tokio vs async-std,benchmark 2026" --redundancy warn
 ```
 
+### Quality and Evidence Semantics
+
+- Extracted web content is deduplicated by normalized URL, then by full-text character 5-gram Jaccard similarity. Query redundancy uses a separate word-level or character-bigram Jaccard check.
+- `--quality` assesses the newest recorded round against earlier approved results. A URL already seen in an earlier round is non-novel, even when it reappears in the newest round.
+- Claim policy treats two normalized publisher domains as two sources. It does not infer corporate ownership, editorial relationships, or syndication across domains.
+
 ### Session Management
 
 | Command | Description |
@@ -290,6 +312,91 @@ Two layers:
 
 Graph navigation commands: `graph-search` (discover entities), `graph-explore` (view relations), `graph-drill` (follow specific relations), `graph-traverse` (traverse reasoning paths).
 
+`graph-preprocess` returns `resultProvenance` (`url`, `title`, `rounds`) for each result. For every new entity, select the supporting results, union their `rounds`, and send that array as `sourceRounds`. This lets `strategy-info` calculate entity growth from verified search rounds.
+
+### External Search Results
+
+Results from other search tools (Tavily, Exa, etc.) can be injected into any active session via `results-add`, following the same pipeline as native sxng results:
+
+```bash
+sxng results-add <session-name> --query "async runtime" --data '[
+  {"url": "https://...", "title": "...", "source": "tavily"}
+]'
+```
+
+After injection, results are `pending` and follow `--quality` → `--approve` → `graph-add`. The required `--query` records the source query so `graph-preprocess` can provide correct `resultProvenance` rounds.
+
+### Claim—Evidence—Review Pipeline (L2/L3 Only)
+
+After search, extraction, and graph building, the Agent can run the claim audit pipeline to verify individual statements before final output. CLI does the deterministic work (evidence anchoring, hash verification, Jaccard matching, policy rules); the Agent does all semantic reasoning (claim extraction, stance judgement, final output decisions).
+
+**Workflow:**
+
+```
+Agent writes draft → claim-add (auto evidence-search) → 
+evidence-verify (with --complete auto-policy) → Review → Agent adjusts output
+```
+
+**Quick Example:**
+
+```bash
+# 1. Submit claims from your draft
+sxng claim-add my-session --claims '[
+  {"text":"Tokio is the most widely used async runtime","riskLevel":"medium"},
+  {"text":"async-std is no longer actively maintained","riskLevel":"medium"}
+]'
+# → returns claims with IDs + auto-discovered evidence candidates
+
+# 2. Verify evidence + submit stance (+ auto policy aggregation)
+sxng evidence-verify my-session --claim-id "cl_001" \
+  --evidence '{"resultUrl":"https://tokio.rs/","quote":"Tokio is the most widely used async runtime...","charStart":45,"charEnd":93}' \
+  --stance support --reason "Official docs confirm" --complete
+# → returns evidence + verdict + review (decision: approved / needsReview)
+
+# 3. Check final reviews
+sxng review-list my-session
+```
+
+**Key Principles:**
+- **Deterministic checks**: CLI validates URL in approved results, UTF-16 offsets within range, SHA256 hash of quote matches source
+- **No embedded LLM**: All semantic work (claim extraction, stance) is done by the Agent outside the CLI
+- **Policy rules**: 7 rules (singleRefute → highRiskInsufficient → dualSourceSupport → dualSourceMixed → singleSource → allInsufficient → fallback) — pure rule engine, no model calls
+- **`--complete` flag**: Evidence + verdict + auto-policy in one call
+
+| Commands | Purpose |
+|----------|---------|
+| `claim-add` | Submit claims (auto-triggers evidence search) |
+| `evidence-verify` | Confirm evidence + submit stance + optional auto-policy |
+| `policy-aggregate` | Manual re-aggregation |
+| `claim-list` / `evidence-list` / `verdict-list` / `review-list` | Query pipeline state |
+
+The pipeline is **only available for L2/L3 deep search sessions** — L1 simple searches have no session or approved results pool.
+
+### Local Document Search
+
+`doc-index` and `doc-search` enable BM25 full-text search over local documents, with results flowing directly into the session pipeline:
+
+```bash
+# Index (auto-triggered by doc-search)
+sxng doc-index ./docs
+
+# Search and inject into session
+sxng doc-search <session-name> "query" --path ./docs
+```
+
+**How it works:** auto-indexing on first use (Orama BM25, title×3 / headings×2 / content×1), results injected as `source: "local"` pending, same `--quality` → `--approve` → `graph-add` flow. Use `graph-preprocess` before adding new entities so their `sourceRounds` come from result provenance. Local searches do **not** increment the round counter.
+
+**Quality note:** Pure local search yields `sourceDiversity: 1`. Combine with web results for adequate diversity.
+
+### Known Limitations
+
+- Session and claim state is stored across JSON files without transactional concurrent-write protection.
+- URL extraction is not an SSRF security boundary; use only trusted public URLs.
+- Local document scanning has no defined symbolic-link boundary or cycle policy.
+- Index rebuilds overwrite the current persistence files; an interruption or disk failure can require re-indexing.
+
+See [PRD-005 design improvements](docs/prds/PRD-005-design-improvements.md) for the deferred remediation plan.
+
 ## 🔗 Links
 
 - **GitHub:** https://github.com/hkwuks/sxng-cli
@@ -298,4 +405,4 @@ Graph navigation commands: `graph-search` (discover entities), `graph-explore` (
 
 ## 📄 License
 
-MIT
+MIT

package/dist/claims/deterministic-checks.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Deterministic checks — no LLM dependency.
+ *
+ * - checkAnchor: URL in approved results, offset in range, hash matches
+ * - computeSourceClusterId: normalized publisher domain → SHA256 fingerprint
+ * - searchCandidates: keyword + Jaccard sentence matching
+ */
+import { EvidenceSpan } from './types.js';
+export interface AnchorCheck {
+    url: boolean;
+    offsetInRange: boolean;
+    hashMatches: boolean;
+}
+/**
+ * Verify that an EvidenceSpan is properly anchored to approved content.
+ */
+export declare function checkAnchor(evidence: EvidenceSpan, content: string): AnchorCheck;
+/**
+ * Verify that evidence.resultUrl exists in the session's approved results.
+ * Returns the matching Result's content, or null if not found.
+ */
+export declare function resolveApprovedContent(sessionDir: string, resultUrl: string): {
+    content: string;
+} | null;
+/**
+ * Compute a source cluster ID for an EvidenceSpan.
+ * Groups evidence by normalized publisher domain for domain-level checks.
+ * It does not determine cross-domain corporate or editorial affiliation.
+ */
+export declare function computeSourceClusterId(evidence: EvidenceSpan): string;
+/** A candidate evidence match, not persisted until verified by Agent. */
+export interface EvidenceCandidate {
+    resultUrl: string;
+    quote: string;
+    charStart: number;
+    charEnd: number;
+    contentHash: string;
+    domain: string;
+    author?: string;
+    siteName?: string;
+}
+/**
+ * Search approved session results for candidate evidence supporting the claim.
+ * Uses keyword + Jaccard sentence matching. Read-only — results not persisted.
+ */
+export declare function searchCandidates(sessionDir: string, claimText: string): EvidenceCandidate[];
+//# sourceMappingURL=deterministic-checks.d.ts.map

package/dist/claims/deterministic-checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deterministic-checks.d.ts","sourceRoot":"","sources":["../../src/claims/deterministic-checks.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAM1C,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,OAAO,CAAC;IACb,aAAa,EAAE,OAAO,CAAC;IACvB,WAAW,EAAE,OAAO,CAAC;CACtB;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,QAAQ,EAAE,YAAY,EACtB,OAAO,EAAE,MAAM,GACd,WAAW,CAQb;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,GAChB;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAQ5B;AAID;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,YAAY,GACrB,MAAM,CAQR;AAID,yEAAyE;AACzE,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAsCD;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,GAChB,iBAAiB,EAAE,CAwDrB"}

package/dist/claims/deterministic-checks.js

@@ -0,0 +1,143 @@
+/**
+ * Deterministic checks — no LLM dependency.
+ *
+ * - checkAnchor: URL in approved results, offset in range, hash matches
+ * - computeSourceClusterId: normalized publisher domain → SHA256 fingerprint
+ * - searchCandidates: keyword + Jaccard sentence matching
+ */
+import { createHash } from 'crypto';
+import { getApprovedResults } from '../deep/session.js';
+import { loadSessionResults } from '../deep/session.js';
+/**
+ * Verify that an EvidenceSpan is properly anchored to approved content.
+ */
+export function checkAnchor(evidence, content) {
+    const slice = content.slice(evidence.charStart, evidence.charEnd);
+    const computedHash = createHash('sha256').update(slice).digest('hex');
+    return {
+        url: true, // caller must have resolved url → content already
+        offsetInRange: evidence.charEnd <= content.length && evidence.charStart >= 0,
+        hashMatches: computedHash === evidence.contentHash,
+    };
+}
+/**
+ * Verify that evidence.resultUrl exists in the session's approved results.
+ * Returns the matching Result's content, or null if not found.
+ */
+export function resolveApprovedContent(sessionDir, resultUrl) {
+    const approved = getApprovedResults(sessionDir);
+    for (const r of approved) {
+        if (r.url === resultUrl && r.content) {
+            return { content: r.content };
+        }
+    }
+    return null;
+}
+// ── Source clustering ───────────────────────────────────────────────
+/**
+ * Compute a source cluster ID for an EvidenceSpan.
+ * Groups evidence by normalized publisher domain for domain-level checks.
+ * It does not determine cross-domain corporate or editorial affiliation.
+ */
+export function computeSourceClusterId(evidence) {
+    let publisher = '';
+    try {
+        publisher = new URL(evidence.resultUrl).hostname.toLowerCase().replace(/^www\./, '');
+    }
+    catch { /* empty */ }
+    // Unknown publishers share one cluster so they cannot inflate domain diversity.
+    return createHash('sha256').update(publisher).digest('hex').slice(0, 16);
+}
+/** Simple stopwords for tokenization */
+const STOPWORDS = new Set([
+    'a', 'an', 'the', 'is', 'are', 'was', 'were', 'be', 'been', 'being',
+    'have', 'has', 'had', 'do', 'does', 'did', 'will', 'would', 'could',
+    'should', 'may', 'might', 'shall', 'can', 'need', 'dare', 'ought',
+    'to', 'of', 'in', 'for', 'on', 'with', 'at', 'by', 'from', 'as',
+    'into', 'through', 'during', 'before', 'after', 'above', 'below',
+    'between', 'out', 'off', 'over', 'under', 'again', 'further',
+    'then', 'once', 'here', 'there', 'when', 'where', 'why', 'how',
+    'all', 'each', 'every', 'both', 'few', 'more', 'most', 'other',
+    'some', 'such', 'no', 'not', 'only', 'own', 'same', 'so', 'than',
+    'too', 'very', 'just', 'because', 'but', 'and', 'or', 'if', 'while',
+    'although', 'this', 'that', 'these', 'those', 'it', 'its',
+    'the', 'which', 'who', 'whom', 'what',
+]);
+function tokenize(text) {
+    return text
+        .toLowerCase()
+        .split(/[^a-z0-9]+/)
+        .filter(t => t.length > 1 && !STOPWORDS.has(t));
+}
+function jaccardSimilarity(a, b) {
+    if (a.size === 0 && b.size === 0)
+        return 0;
+    let intersection = 0;
+    for (const word of a) {
+        if (b.has(word))
+            intersection++;
+    }
+    const union = a.size + b.size - intersection;
+    return union === 0 ? 0 : intersection / union;
+}
+const JACCARD_THRESHOLD = 0.3;
+const MAX_CANDIDATES = 5;
+/**
+ * Search approved session results for candidate evidence supporting the claim.
+ * Uses keyword + Jaccard sentence matching. Read-only — results not persisted.
+ */
+export function searchCandidates(sessionDir, claimText) {
+    const keywords = tokenize(claimText);
+    if (keywords.length === 0)
+        return [];
+    const keywordSet = new Set(keywords);
+    const allResults = loadSessionResults(sessionDir);
+    const approved = allResults.filter(r => r.status === 'approved' && r.content);
+    const candidates = [];
+    for (const result of approved) {
+        const content = result.content;
+        // Split into sentences
+        const sentences = content.split(/(?<=[.!?])\s+|(?<=\n)\s*/);
+        for (const sentence of sentences) {
+            const trimmed = sentence.trim();
+            if (trimmed.length < 10)
+                continue;
+            const words = tokenize(trimmed);
+            if (words.length === 0)
+                continue;
+            const wordSet = new Set(words);
+            const score = jaccardSimilarity(keywordSet, wordSet);
+            if (score < JACCARD_THRESHOLD)
+                continue;
+            const charStart = content.indexOf(trimmed);
+            if (charStart === -1)
+                continue;
+            const charEnd = charStart + trimmed.length;
+            const contentHash = createHash('sha256')
+                .update(trimmed)
+                .digest('hex');
+            let domain = '';
+            try {
+                domain = new URL(result.url).hostname;
+            }
+            catch { /* empty */ }
+            candidates.push({
+                score,
+                candidate: {
+                    resultUrl: result.url,
+                    quote: trimmed,
+                    charStart,
+                    charEnd,
+                    contentHash,
+                    domain,
+                    author: result.byline || undefined,
+                    siteName: result.siteName || undefined,
+                },
+            });
+        }
+    }
+    // Sort by Jaccard score descending, take top N
+    candidates.sort((a, b) => b.score - a.score);
+    return candidates.slice(0, MAX_CANDIDATES).map(c => c.candidate);
+}
+//# sourceMappingURL=deterministic-checks.js.map

package/dist/claims/deterministic-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deterministic-checks.js","sourceRoot":"","sources":["../../src/claims/deterministic-checks.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAEpC,OAAO,EAAiB,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAUxD;;GAEG;AACH,MAAM,UAAU,WAAW,CACzB,QAAsB,EACtB,OAAe;IAEf,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAClE,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACtE,OAAO;QACL,GAAG,EAAE,IAAI,EAAG,kDAAkD;QAC9D,aAAa,EAAE,QAAQ,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,IAAI,QAAQ,CAAC,SAAS,IAAI,CAAC;QAC5E,WAAW,EAAE,YAAY,KAAK,QAAQ,CAAC,WAAW;KACnD,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAkB,EAClB,SAAiB;IAEjB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACrC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uEAAuE;AAEvE;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAAsB;IAEtB,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB,IAAI,CAAC;QACH,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACvF,CAAC;IAAC,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC;IAEvB,gFAAgF;IAChF,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC3E,CAAC;AAgBD,wCAAwC;AACxC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO;IACnE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO;IACnE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO;IACjE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI;IAC/D,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO;IAChE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS;IAC5D,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK;IAC9D,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO;IAC9D,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;IAChE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO;IACnE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK;IACzD,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM;CACtC,CAAC,CAAC;AAEH,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI;SACR,WAAW,EAAE;SACb,KAAK,CAAC,YAAY,CAAC;SACnB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAc,EAAE,CAAc;IACvD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,YAAY,EAAE,CAAC;IAClC,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,YAAY,CAAC;IAC7C,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,KAAK,CAAC;AAChD,CAAC;AAED,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAC9B,MAAM,cAAc,GAAG,CAAC,CAAC;AAEzB;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,UAAkB,EAClB,SAAiB;IAEjB,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IACrC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,UAAU,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC;IAE9E,MAAM,UAAU,GAA2D,EAAE,CAAC;IAE9E,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAQ,CAAC;QAChC,uBAAuB;QACvB,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAE5D,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;YAChC,IAAI,OAAO,CAAC,MAAM,GAAG,EAAE;gBAAE,SAAS;YAElC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAEjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,KAAK,GAAG,iBAAiB;gBAAE,SAAS;YAExC,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAC3C,IAAI,SAAS,KAAK,CAAC,CAAC;gBAAE,SAAS;YAC/B,MAAM,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC;YAC3C,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,CAAC;iBACrC,MAAM,CAAC,OAAO,CAAC;iBACf,MAAM,CAAC,KAAK,CAAC,CAAC;YAEjB,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,IAAI,CAAC;gBAAC,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC;YAEpE,UAAU,CAAC,IAAI,CAAC;gBACd,KAAK;gBACL,SAAS,EAAE;oBACT,SAAS,EAAE,MAAM,CAAC,GAAG;oBACrB,KAAK,EAAE,OAAO;oBACd,SAAS;oBACT,OAAO;oBACP,WAAW;oBACX,MAAM;oBACN,MAAM,EAAG,MAAc,CAAC,MAAM,IAAI,SAAS;oBAC3C,QAAQ,EAAG,MAAc,CAAC,QAAQ,IAAI,SAAS;iBAChD;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAE7C,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AACnE,CAAC"}

package/dist/claims/policy.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Policy aggregation engine — pure rule engine, no LLM.
+ *
+ * Input: all Verdicts + associated EvidenceSpans for one Claim
+ * Output: a Review with decision and matched rule
+ *
+ * Rules are evaluated in order, first match wins.
+ */
+import { Verdict, EvidenceSpan, Review } from './types.js';
+export interface PolicyInput {
+    claimId: string;
+    riskLevel: 'low' | 'medium' | 'high';
+    verdicts: Verdict[];
+    evidences: EvidenceSpan[];
+}
+/**
+ * Run all rules against a single claim's data and produce a Review.
+ */
+export declare function aggregateClaim(input: PolicyInput): Review;
+/**
+ * Aggregate all claims that have verdicts but no review yet.
+ * Returns the new reviews.
+ */
+export declare function aggregateAll(claimVerdicts: Array<PolicyInput>): Review[];
+//# sourceMappingURL=policy.d.ts.map

package/dist/claims/policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../../src/claims/policy.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,OAAO,EACP,YAAY,EACZ,MAAM,EAIP,MAAM,YAAY,CAAC;AAIpB,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IACrC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,SAAS,EAAE,YAAY,EAAE,CAAC;CAC3B;AAqJD;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CA+BzD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAC1B,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,GAChC,MAAM,EAAE,CAEV"}

package/dist/claims/policy.js

@@ -0,0 +1,168 @@
+/**
+ * Policy aggregation engine — pure rule engine, no LLM.
+ *
+ * Input: all Verdicts + associated EvidenceSpans for one Claim
+ * Output: a Review with decision and matched rule
+ *
+ * Rules are evaluated in order, first match wins.
+ */
+/**
+ * Evaluate deterministic checks for a set of verdicts + evidences.
+ */
+function computeChecks(verdicts, evidences) {
+    const stanceCounts = { support: 0, refute: 0, insufficient: 0 };
+    for (const v of verdicts) {
+        stanceCounts[v.stance]++;
+    }
+    // Domain-level source independence: count publisher-domain cluster IDs.
+    const uniqueSources = new Set(evidences
+        .filter(e => e.sourceClusterId)
+        .map(e => e.sourceClusterId));
+    const sourceIndependent = uniqueSources.size >= 2;
+    return {
+        sourceIndependent,
+        hasRefute: stanceCounts.refute > 0,
+        allSupport: stanceCounts.support > 0 && stanceCounts.refute === 0 && stanceCounts.insufficient === 0,
+    };
+}
+/**
+ * Build conflict info from verdicts+evidences for refute scenarios.
+ */
+function buildConflict(verdicts, evidences) {
+    const refutingVerdicts = verdicts.filter(v => v.stance === 'refute');
+    const supportingVerdicts = verdicts.filter(v => v.stance === 'support');
+    if (refutingVerdicts.length === 0)
+        return undefined;
+    const supportingQuotes = supportingVerdicts
+        .slice(0, 5)
+        .map(v => {
+        const ev = evidences.find(e => v.evidenceIds.includes(e.id));
+        return `${v.id}: ${ev?.quote.slice(0, 100) || 'no quote'}`;
+    });
+    const refutingQuotes = refutingVerdicts
+        .slice(0, 5)
+        .map(v => {
+        const ev = evidences.find(e => v.evidenceIds.includes(e.id));
+        return `${v.id}: ${ev?.quote.slice(0, 100) || 'no quote'}`;
+    });
+    return {
+        summary: `Claim is supported by ${supportingVerdicts.length} evidence(s) and refuted by ${refutingVerdicts.length} evidence(s)`,
+        supporting: supportingQuotes,
+        refuting: refutingQuotes,
+    };
+}
+// ── Rules (evaluated in order) ──────────────────────────────────────
+const RULES = [
+    // #1 singleRefute: any refute → needsReview
+    {
+        name: 'singleRefute',
+        evaluate(input) {
+            const hasRefute = input.verdicts.some(v => v.stance === 'refute');
+            return hasRefute ? 'needsReview' : null;
+        },
+    },
+    // #2 highRiskInsufficient: high risk + <2 publisher domains → needsReview
+    {
+        name: 'highRiskInsufficient',
+        evaluate(input) {
+            if (input.riskLevel !== 'high')
+                return null;
+            const uniqueSources = new Set(input.evidences.filter(e => e.sourceClusterId).map(e => e.sourceClusterId));
+            if (uniqueSources.size < 2)
+                return 'needsReview';
+            return null;
+        },
+    },
+    // #3 dualSourceSupport: >= 2 publisher domains + all support → approved
+    {
+        name: 'dualSourceSupport',
+        evaluate(input) {
+            const uniqueSources = new Set(input.evidences.filter(e => e.sourceClusterId).map(e => e.sourceClusterId));
+            if (uniqueSources.size < 2)
+                return null;
+            const allSupport = input.verdicts.every(v => v.stance === 'support');
+            if (allSupport)
+                return 'approved';
+            return null;
+        },
+    },
+    // #4 dualSourceMixed: >= 2 publisher domains but some insufficient → needsReview
+    {
+        name: 'dualSourceMixed',
+        evaluate(input) {
+            const uniqueSources = new Set(input.evidences.filter(e => e.sourceClusterId).map(e => e.sourceClusterId));
+            if (uniqueSources.size < 2)
+                return null;
+            const hasInsufficient = input.verdicts.some(v => v.stance === 'insufficient');
+            if (hasInsufficient)
+                return 'needsReview';
+            return null;
+        },
+    },
+    // #5 singleSource: only 1 publisher domain → needsReview
+    {
+        name: 'singleSource',
+        evaluate(input) {
+            const uniqueSources = new Set(input.evidences.filter(e => e.sourceClusterId).map(e => e.sourceClusterId));
+            if (uniqueSources.size === 1)
+                return 'needsReview';
+            return null;
+        },
+    },
+    // #6 allInsufficient: all verdicts are insufficient → needsReview
+    {
+        name: 'allInsufficient',
+        evaluate(input) {
+            if (input.verdicts.length === 0)
+                return null;
+            const allInsufficient = input.verdicts.every(v => v.stance === 'insufficient');
+            return allInsufficient ? 'needsReview' : null;
+        },
+    },
+    // #7 fallback: catch-all
+    {
+        name: 'fallback',
+        evaluate() {
+            return 'needsReview';
+        },
+    },
+];
+// ── Aggregation ─────────────────────────────────────────────────────
+/**
+ * Run all rules against a single claim's data and produce a Review.
+ */
+export function aggregateClaim(input) {
+    const checks = computeChecks(input.verdicts, input.evidences);
+    let decision = 'needsReview';
+    let matchedRule = 'fallback';
+    for (const rule of RULES) {
+        const result = rule.evaluate(input);
+        if (result !== null) {
+            decision = result;
+            matchedRule = rule.name;
+            break;
+        }
+    }
+    const review = {
+        claimId: input.claimId,
+        decision,
+        autoPass: decision === 'approved',
+        checks,
+        matchedRule,
+        reviewer: 'agent',
+        reviewedAt: Date.now(),
+    };
+    // Populate conflict only when refute exists
+    if (checks.hasRefute) {
+        review.conflict = buildConflict(input.verdicts, input.evidences);
+    }
+    return review;
+}
+/**
+ * Aggregate all claims that have verdicts but no review yet.
+ * Returns the new reviews.
+ */
+export function aggregateAll(claimVerdicts) {
+    return claimVerdicts.map(aggregateClaim);
+}
+//# sourceMappingURL=policy.js.map

package/dist/claims/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../src/claims/policy.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AA2BH;;GAEG;AACH,SAAS,aAAa,CAAC,QAAmB,EAAE,SAAyB;IACnE,MAAM,YAAY,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IAChE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAC3B,CAAC;IAED,wEAAwE;IACxE,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,SAAS;SACN,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC;SAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAgB,CAAC,CAChC,CAAC;IACF,MAAM,iBAAiB,GAAG,aAAa,CAAC,IAAI,IAAI,CAAC,CAAC;IAElD,OAAO;QACL,iBAAiB;QACjB,SAAS,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;QAClC,UAAU,EAAE,YAAY,CAAC,OAAO,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,YAAY,KAAK,CAAC;KACrG,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,QAAmB,EAAE,SAAyB;IACnE,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACrE,MAAM,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAExE,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,gBAAgB,GAAG,kBAAkB;SACxC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE;QACP,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,OAAO,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,UAAU,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEL,MAAM,cAAc,GAAG,gBAAgB;SACpC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE;QACP,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,OAAO,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,UAAU,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEL,OAAO;QACL,OAAO,EAAE,yBAAyB,kBAAkB,CAAC,MAAM,+BAA+B,gBAAgB,CAAC,MAAM,cAAc;QAC/H,UAAU,EAAE,gBAAgB;QAC5B,QAAQ,EAAE,cAAc;KACzB,CAAC;AACJ,CAAC;AAED,uEAAuE;AAEvE,MAAM,KAAK,GAAW;IACpB,4CAA4C;IAC5C;QACE,IAAI,EAAE,cAAc;QACpB,QAAQ,CAAC,KAAK;YACZ,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;YAClE,OAAO,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1C,CAAC;KACF;IAED,0EAA0E;IAC1E;QACE,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,CAAC,KAAK;YACZ,IAAI,KAAK,CAAC,SAAS,KAAK,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAgB,CAAC,CAC5E,CAAC;YACF,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC;gBAAE,OAAO,aAAa,CAAC;YACjD,OAAO,IAAI,CAAC;QACd,CAAC;KACF;IAED,wEAAwE;IACxE;QACE,IAAI,EAAE,mBAAmB;QACzB,QAAQ,CAAC,KAAK;YACZ,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAgB,CAAC,CAC5E,CAAC;YACF,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACxC,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;YACrE,IAAI,UAAU;gBAAE,OAAO,UAAU,CAAC;YAClC,OAAO,IAAI,CAAC;QACd,CAAC;KACF;IAED,iFAAiF;IACjF;QACE,IAAI,EAAE,iBAAiB;QACvB,QAAQ,CAAC,KAAK;YACZ,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAgB,CAAC,CAC5E,CAAC;YACF,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACxC,MAAM,eAAe,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC;YAC9E,IAAI,eAAe;gBAAE,OAAO,aAAa,CAAC;YAC1C,OAAO,IAAI,CAAC;QACd,CAAC;KACF;IAED,yDAAyD;IACzD;QACE,IAAI,EAAE,cAAc;QACpB,QAAQ,CAAC,KAAK;YACZ,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAgB,CAAC,CAC5E,CAAC;YACF,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC;gBAAE,OAAO,aAAa,CAAC;YACnD,OAAO,IAAI,CAAC;QACd,CAAC;KACF;IAED,kEAAkE;IAClE;QACE,IAAI,EAAE,iBAAiB;QACvB,QAAQ,CAAC,KAAK;YACZ,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC7C,MAAM,eAAe,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC;YAC/E,OAAO,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;QAChD,CAAC;KACF;IAED,yBAAyB;IACzB;QACE,IAAI,EAAE,UAAU;QAChB,QAAQ;YACN,OAAO,aAAa,CAAC;QACvB,CAAC;KACF;CACF,CAAC;AAEF,uEAAuE;AAEvE;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,KAAkB;IAC/C,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAE9D,IAAI,QAAQ,GAAiB,aAAa,CAAC;IAC3C,IAAI,WAAW,GAAG,UAAU,CAAC;IAE7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,QAAQ,GAAG,MAAM,CAAC;YAClB,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC;YACxB,MAAM;QACR,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAW;QACrB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ;QACR,QAAQ,EAAE,QAAQ,KAAK,UAAU;QACjC,MAAM;QACN,WAAW;QACX,QAAQ,EAAE,OAAO;QACjB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;KACvB,CAAC;IAEF,4CAA4C;IAC5C,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,MAAM,CAAC,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,aAAiC;IAEjC,OAAO,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAC3C,CAAC"}

package/dist/claims/store.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Claims store — CRUD operations for claims/*.json files.
+ *
+ * Each session directory has a claims/ subdirectory with four files
+ * using the same envelope format as results.json/graph.json:
+ *   { "status": "ok", "data": { "claims": [...] } }
+ */
+import { Claim, EvidenceSpan, Verdict, Review, ReviewStatus } from './types.js';
+export declare function loadClaims(sessionDir: string): Claim[];
+export declare function saveClaims(sessionDir: string, claims: Claim[]): void;
+/** Allocate next claim ID: cl_<seq>. Reads current count from file. */
+export declare function nextClaimId(sessionDir: string): string;
+export declare function loadEvidences(sessionDir: string): EvidenceSpan[];
+export declare function saveEvidences(sessionDir: string, evidences: EvidenceSpan[]): void;
+/** Allocate next evidence ID: ev_<seq>. */
+export declare function nextEvidenceId(sessionDir: string): string;
+export declare function loadVerdicts(sessionDir: string): Verdict[];
+export declare function saveVerdicts(sessionDir: string, verdicts: Verdict[]): void;
+/** Allocate next verdict ID: vd_<seq>. */
+export declare function nextVerdictId(sessionDir: string): string;
+export declare function loadReviews(sessionDir: string): Review[];
+export declare function saveReviews(sessionDir: string, reviews: Review[]): void;
+/** Get claims filtered by status */
+export declare function getClaimsByStatus(sessionDir: string, status?: Claim['status']): Claim[];
+/** Get reviews filtered by decision */
+export declare function getReviewsByDecision(sessionDir: string, decision?: ReviewStatus): Review[];
+/** Get evidence for a specific claim */
+export declare function getEvidenceForClaim(sessionDir: string, claimId: string): EvidenceSpan[];
+/** Get verdicts for a specific claim */
+export declare function getVerdictsForClaim(sessionDir: string, claimId: string): Verdict[];
+//# sourceMappingURL=store.d.ts.map

package/dist/claims/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/claims/store.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EACL,KAAK,EACL,YAAY,EACZ,OAAO,EACP,MAAM,EACN,YAAY,EACb,MAAM,YAAY,CAAC;AAkEpB,wBAAgB,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE,CAEtD;AAED,wBAAgB,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAGpE;AAED,uEAAuE;AACvE,wBAAgB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAItD;AAID,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,YAAY,EAAE,CAEhE;AAED,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,GAAG,IAAI,CAGjF;AAED,2CAA2C;AAC3C,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAIzD;AAID,wBAAgB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,EAAE,CAE1D;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,IAAI,CAG1E;AAED,0CAA0C;AAC1C,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAIxD;AAID,wBAAgB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,CAExD;AAED,wBAAgB,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAGvE;AAID,oCAAoC;AACpC,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,MAAM,EAClB,MAAM,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,GACvB,KAAK,EAAE,CAIT;AAED,uCAAuC;AACvC,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,MAAM,EAClB,QAAQ,CAAC,EAAE,YAAY,GACtB,MAAM,EAAE,CAIV;AAED,wCAAwC;AACxC,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GACd,YAAY,EAAE,CAEhB;AAED,wCAAwC;AACxC,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GACd,OAAO,EAAE,CAEX"}