eliciter-core 0.1.2

Deterministic, offline kernel for structured discovery interviews modeled as an alignment mechanism: an event-sourced claim ledger where claims are hypotheses, standing is computed, contradictions are detected structurally, and a plan-readiness gate reports whether the spec survived falsification.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! The future research backend seam (spec §1 / §7).
//!
//! In v1 this is a `None` seam: the server **never** researches the app itself
//! (spec §1, hard boundary 2). App-research evidence enters only as caller-
//! supplied `app_research_*` events. [`ResearchProvider`] is reserved for a
//! future online backend and is intentionally unused by the kernel.

/// A future online research backend (Perplexity/etc.). Deferred — `None` in v1.
pub trait ResearchProvider: Send + Sync {
    /// Run a research query. Reserved for a future revision.
    fn research(&self, query: &str) -> Option<String>;
}

/// The v1 provider: researches nothing (spec §1 hard boundary).
#[derive(Debug, Clone, Copy, Default)]
pub struct NoResearch;

impl ResearchProvider for NoResearch {
    fn research(&self, _query: &str) -> Option<String> {
        None
    }
}