Create a new Parseltongue verification session.

Args: session_id: Unique identifier for this session (e.g., 'sec-filing-review')

Returns: JSON with session creation status

Register a source document for evidence grounding.

Facts extracted from this document can cite it with :evidence blocks.

Args: session_id: Session ID name: Document name (referenced in :evidence blocks) content: Document text content

Returns: JSON with registration status

Load Parseltongue DSL into the session.

Parses facts, axioms, defterms, derives, and diffs. Returns verification status including any quote mismatches (hallucinations).

Args: session_id: Session ID dsl_source: Parseltongue DSL source code

Returns: JSON with parse status and verification results

Run full consistency check on the session.

Returns detailed report of verified claims, unverified claims (hallucinations), and logical inconsistencies.

Args: session_id: Session ID

Returns: JSON with consistency check results

Get current state of the session.

Returns facts, derives, axioms, and their verification status.

Args: session_id: Session ID

Returns: JSON with session state

Query the system with a well-formed formula (WFF).

Args: session_id: Session ID wff: Well-formed formula to evaluate

Returns: JSON with query result

List all active sessions.

Returns: JSON with list of sessions

Clear all state from a session, keeping the session alive.

Args: session_id: Session ID

Returns: JSON with clear status

Get the Parseltongue DSL reference documentation.

Returns: Full DSL reference as a string