Forcing Extension Builder
Ki · Reasoning
The Problem
The survey results can't tell us if the new policy will succeed; the data is insufficient and could support either outcome.
The Operation
Under this ability, the model must identify the undecidable statement that the current ground model cannot resolve. Verify that the statement is genuinely independent of the ground model's axioms, not merely unproven. Construct a forcing poset whose conditions are designed to decide the target statement. Build a generic filter over the poset that intersects all dense sets from the ground model. Form the forcing extension by adjoining the generic filter to the ground model.
The Structure
The reasoning structure is a conditional branch that routes reasoning down different paths based on what it finds. Execution cycles until the evidence set is fully consumed.
If an underdetermined problem is declared unsolvable without proposing which additional assumption would resolve it, extension proposing was skipped.
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.