parseltongue_load_dsl
Load Parseltongue DSL into a session to parse facts and axioms, returning verification status and flagging quote mismatches (hallucinations).
Instructions
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
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| dsl_source | Yes | ||
| session_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |