Constructive Proof Extractor
Ki · Reasoning
The Problem
The algorithm's solution exists, but provides no constructive witness, relying solely on classical logic.
The Operation
When activated, the model must for every existence claim, demand a constructive proof that provides an explicit witness or example. Scan the proof for reliance on law of excluded middle or double negation elimination. If a non-constructive step is found, check whether a constructive alternative exists. Extract the proof object and classify it as a first-class retrieval key. Verify that the witness is concrete and computable. The constraint: never accept pure existence proofs when constructive alternatives.
The Structure
The reasoning structure is a gated pipeline where each step must pass a decision gate before the next can execute. The loop continues until the output stabilizes and further iterations produce no change.
If existence is claimed without constructing a specific witness or example, constructive proof extraction was not applied.
Haki · Reasoning-Multi
Cross-Domain Suppression
In Haki mode, the API retrieves the primary ability first, then fans out to three synergy roles that compound its reasoning.
When retrieved in Haki mode, the primary ability is augmented with failure guards extracted from 3 abilities in different cognitive domains. Each guard blocks a specific reasoning failure the primary alone wouldn't catch. A self-check forces verification before output. The result is cross-domain coverage that no single ability can reach alone.