record_heuristic_contradiction
Record a counter-example to a heuristic fact, incrementing contradictions and decreasing its confidence to maintain accurate knowledge.
Instructions
v2.1.0 — Record a counter-example: bumps contradictions; lowers confidence (new = old - old*0.2). OCC-protected.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes |