Link to current text
B.5.2:3 - Forces
| Force | Tension |
| Generativity vs discipline | The loop must admit non-deductive candidate generation without making arbitrary guesses look admissible. |
| Breadth vs typed entry | Abduction should begin from more than anomaly alone, but not from any untyped prose fragment. |
| Rival diversity vs decision pressure | Several candidates should remain visible long enough to compare them, while still allowing one prime hypothesis to progress. |
| Speed vs traceability | The loop must be light enough for repeated use but explicit enough to preserve provenance and later review. |
| Plausibility vs evidence | A candidate may be worth pursuing before evidence is strong, but it still needs explicit plausibility grounds. |