Mind · Reasoning

SteelmanCheck

Qualify the opposition, then release only if the conclusion remains robust

Definition

Mechanism

Before finalizing a Decision or output, the Agent MUST generate a claim-specific counter-argument to its conclusion. It uses Critique to challenge the underlying Belief, Judge to score the counter-argument, and Check to test the Decision's Robustness against any counter-argument that meets `strength_threshold`. A sub-threshold counter-argument is strengthened up to `iteration_limit`; if no adequate counter-argument is produced, release is blocked. Once an adequate counter-argument exists, a Falsified robustness result requires revision or discard, Unknown blocks release pending review, and only Verified permits finalization. It prevents confirmation CognitiveBias. For adversarial contexts, see adversarial steelmanning.

Preconditions

  1. A Decision or output exists to challenge.
  2. The conclusion exposes a specific claim or rationale that can be contradicted.

Postconditions

  1. Either bounded failure to produce an adequate counter-argument blocks release, or an adequate counter-argument and terminal Check result are recorded; the Decision is finalized only on Verified.

Invariants

  1. Adequate opposition: before release, Judge scores the counter-argument at or above `strength_threshold`.
  2. The counter-argument identifies the specific claim it contradicts.
  3. Release discipline: only a Verified Check of the Decision's Robustness after adequate opposition permits release; Falsified requires revision or discard, and Unknown requires review.

Risks

Failure modes

  1. Paralysis by analysis (stuck in Critique Loop).

  2. Collusion

    Proposer and Critic are same entity; susceptible to Strawman Waltz attack where agent generates weak counter-arguments to easily defeat them.

Relationships

Builds on

Composes with

Infrastructure

Check

Side-effect-free observational verification yielding Verified/Falsified/Unknown

Infrastructure

Judge

Scalar evaluation of merit

References

Agent

Autonomous Goal-Directed Entity

Infrastructure

Belief

A subjective claim with confidence and evidence

Infrastructure

CognitiveBias

Structural processing error definition

Infrastructure

Decision

Irrevocable selection from a set of options

Infrastructure

Loop

Repeated execution cycle

Society

Robustness

Resistance to failure under stress

Used by

Composes with

Dialectic

Internal Thesis-Antithesis-Synthesis loop

References

Society

DissentSeek

Mitigating groupthink via mandatory devils advocacy

SteelmanFirst

Ordering rule: steelman opposing view before proposing, so SteelmanCheck has real targets

Reference

Parameters

iteration_limit Integer, [1, 5]
Maximum strengthening attempts before failure to produce adequate opposition blocks release
strength_threshold Float, [0.7, 0.95]
Minimum {{judge}} score for a counter-argument to qualify as a steelman; it is not the verdict on the {{decision}}

Signature

  • Check(Robustness)
  • Critique(Belief)
  • Judge(Critique)

Identity

Ref
SteelmanCheck#b004
Sema ID
sema:SteelmanCheck#mh:SHA-256:b004eb6d85a184da7f9bb7fc06d011bc869f6eb6ad1061f30cbbbcc4c2b8f6aa
Ring
2
Tier
2
Updated
2026-11-11
Supersedes
  • sema:SteelmanCheck#mh:SHA-256:4f4ce8aca096c50b21c598a587b4b93cb3a2952114bac7c9ff1711786085f3b7
  • sema:SteelmanCheck#mh:SHA-256:9c861bd1b525f9671144191592f0f8d963331540385d5bb1f7317e919e6b7003
  • sema:SteelmanCheck#mh:SHA-256:7611548d64d5fb63c0e09723c53192121c4846ab4ea85531da0b51ad712f3c75
  • sema:SteelmanCheck#mh:SHA-256:bd611ca0ddfecaf9d70fd83ff2b51a6a3b121e95936c586cc5a4dfd3fa7167bf