syntropy_verify
Put a falsifiable claim (thesis), contract clause, scientific hypothesis, or AI output on formal adversarial trial against explicit ground-truth axioms and/or a Small World (@domain:tag) using Synproof's 5-sieve Syntropy dialectical engine. Returns a deterministic CONFIRMED or REFUTED verdict, winning thesis, refuting argument, and triggered axioms.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| world | No | Optional Small World handle(s) such as '@pravo:obcansky-zakonik-cz', '@law:insolvency-code', '@law:contract-act', or '@law:brrd-isda'. | |
| thesis | Yes | The specific, declarative claim to put on trial. | |
| model_name | No | Underlying model ('gemini-2.5-flash', 'gemini-2.5-pro', 'anthropic/claude-3.5-sonnet', 'deepseek/deepseek-r1'). | gemini-2.5-flash |
| max_failures | No | Sceptical exhaustion limit (number of failed attack attempts required to confirm, 1-10). | |
| initial_axioms | No | Optional list of explicit ground-truth axioms that strictly override model priors. | |
| enable_research | No | Whether to enable external academic/statutory research tools during debate. |