Crate eliciter_core 

elicitation-core — the deterministic, offline kernel for structured discovery interviews, modeled as an alignment mechanism run by the scientific method (see docs/spec.md).

Claims are hypotheses; standing is computed (a pure fold over an append-only event log), never stored. Detectors are exact-match pure functions over caller-supplied canonical identity — no fuzzy matching, no normalization, no LLM, no network. The kernel is a pure function of (events in) → (computed standing + contradictions + readiness + next-question out).

Layout

• model — the typed data model (claim, evidence, contradiction, remediation, requirement, entity).
• session — the session-configurable coverage schema.
• event — the append-only event log line type.
• store — the StateStore trait + filesystem (JSONL) impl.
• projection — the InterviewState fold + computed standing.
• detect — intra-spec / spec-vs-reality contradiction + conformance detection.
• signal — the three first-class signals + question.next.
• readiness — the plan-readiness gate.
• export — spec.export.
• engine — the Engine tying it together.
• research — the future ResearchProvider seam (None in v1).

Re-exports

pub use engine::Engine;

pub use error::EngineError;

pub use error::Result;

pub use event::Event;

pub use event::EvidenceEvent;

pub use export::SpecDocument;

pub use model::Category;

pub use model::Claim;

pub use model::Contradiction;

pub use model::ContradictionKind;

pub use model::EntityRef;

pub use model::EvidenceRef;

pub use model::EvidenceSourceType;

pub use model::HypothesisStanding;

pub use model::Modality;

pub use model::Object;

pub use model::Polarity;

pub use model::Priority;

pub use model::RemediationEvent;

pub use model::RemediationMove;

pub use model::RequirementCandidate;

pub use model::RequirementMeta;

pub use model::Severity;

pub use model::TimeScope;

pub use projection::AcceptStance;

pub use projection::ClaimWithStanding;

pub use projection::InterviewState;

pub use projection::Registry;

pub use readiness::ReadinessReport;

pub use research::NoResearch;

pub use research::ResearchProvider;

pub use session::CoverageDimension;

pub use session::CoverageSchema;

pub use signal::Signal;

pub use signal::SignalKind;

pub use signal::next_question;

pub use store::FilesystemStore;

pub use store::StateStore;

Modules

detect

Structural contradiction & gap detection (spec §3 / §4).

engine

The kernel engine + session manager (spec §5 / §8).

error

Kernel error type with stable, machine-parseable prefixes (spec §5).

event

The append-only event log (spec §8).

export

spec.export (spec §6): emit the aligned, plan-ready spec document.

model

Typed data model for the elicitation kernel (spec §3).

projection

The InterviewState fold (spec §3 / §8): replay the append-only log into a live snapshot with computed hypothesis standing.

readiness

The plan-readiness gate (spec §6): alignment, computed, honest.

research

The future research backend seam (spec §1 / §7).

session

Session-configurable coverage schema (spec §6).

signal

First-class output signals (spec §4): returned on every append and every read so the caller can never forget to check.

store

The event-log persistence seam (spec §7 / §8).