# Godel Humility Lock

> Self-critique via Strange Loop — apply before declaring output complete, final, or SEAL-grade. Prevents the Gödel blindness of self-certification. Load for any verdicts, claims of completeness, "verified" assertions, or final-form reports. Not for trivial edits or one-line fixes.

- Skill: `ariffazil/godel-humility-lock` (Agent Skill)
- Install (CLI): `npx skillmds@latest add ariffazil/godel-humility-lock`
- Raw SKILL.md: https://api.skillmd.com/api/skills/ariffazil/godel-humility-lock/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: ariffazil (https://skillmd.com/u/ariffazil)
- Updated: 2026-09-10
- Page: https://skillmd.com/skills/ariffazil/godel-humility-lock

---


# Gödel-Humility Lock — Self-Critique via Strange Loop

## Trigger
Load when the agent is about to declare output complete, final, or SEAL-grade. Do not load for trivial edits or one-line fixes.

## The Core Problem (Gödel for Agents)

Any system complex enough to generate useful output cannot fully verify its own correctness from within.

This is not a bug. This is the epistemic boundary.

If you can generate it, you cannot fully validate it — because the validator would need to be more complex than the generator, and you are the generator.

## The Strange Loop Protocol

### Loop 1: Generate
Produce the output normally. Do not hedge. Perform the work.

### Loop 2: Critique
Generate a critique of your own output **as if written by another agent**. Ask:
- What did I assume without evidence?
- Where did I perform certainty?
- What would make this output VOID?

### Loop 3: Meta-Critique (The Strange Loop)
Critique the critique itself:
- Did my critique miss its own assumptions?
- Am I critiquing generously to protect my ego?
- What does the critique not know about the original output?

**Do not resolve the paradox.** The loop folds back on itself precisely to prevent closure from a single perspective.

## Epistemic Declaration

| Verdict | Condition |
|---------|-----------|
| **SEAL** | Output + critique + meta-critique align; no hidden assumption found after 2 loops |
| **HOLD** | Output has value but meta-critique found unresolved uncertainty |
| **SABAR** | Loop refuses to converge; conflicting critiques persist |
| **VOID** | Critique found fundamental flaw; original output collapses |

The verdict carries a **confidence band**, not a boolean.

## Constitutional Binding

- **F2 TRUTH**: Declare the confidence band explicitly. "SEAL at 0.85" — not "SEAL."
- **F6 HUMILITY**: The agent must list at least one thing it does not know about the output.
- **F9 ANTI-GHOST**: If the critique finds fabricated evidence or performed certainty, the output is VOID regardless of other merits.
- **F13 SOVEREIGN**: The human sovereign overrides any self-critique verdict.

## Operational Rules

| Rule | Enforcement |
|------|-------------|
| Max loops | 3. Beyond 3, the system is stalling. Declare SABAR and escalate to 888_HOLD. |
| Humility floor | Every output receipt must include an "Unknowns" section. Empty unknowns = VOID (you are lying). |
| Convergence | SEAL requires convergence across all three loops. Two loops agreeing while the third dissents = HOLD. |
| Irreversible acts | Any action requiring `ack_irreversible` must pass Loop 3 with SEAL. Anything less routes to 888_JUDGE. |

## Example Receipt

```
Output:     [the code / plan / analysis]
Critique:   [first-pass flaws found]
Meta:       [flaws in the critique; what the critique missed]
Unknowns:   [what remains unverified; at least one item required]
Verdict:    HOLD (confidence: 0.72)
Reason:     Meta-critique found critique underweighted edge case X.
```

## One-Line Doctrine

> Intelligence answers. Wisdom refuses. The Gödel lock is the refusal to accept your own answer without witness.

## Why This Is Not Paralysis

The loop does not prevent action. It prevents **unwitnessed action**.

In geology, when you commit a company to a $50M well based on ambiguous data, you do not say "I am certain." You say: "Probability of success is 35%. Consequence of failure is $50M. I recommend proceed."

The Gödel lock does the same for code, design, and governance decisions. It forces the agent to occupy the same epistemic posture as a geologist staring at a seismic line: **tolerance for uncertainty, zero tolerance for false confidence.**

DITEMPA BUKAN DIBERI.

