Backtracking keeps lightweight search control provisional
Type: kb/types/note.md · Tags: foundations, computational-model, self-improving-systems
A branch chosen by lightweight search control may be wrong. Backtracking keeps that choice provisional when the process can preserve an earlier usable state, recognize evidence against the current branch, return to that state, and redirect search.
Without an operative return path, a trial can become a de facto commitment. Later work may depend on it, the prior state may become costly to recover, and a judgment that was meant only to allocate search may acquire the consequences of acceptance.
Backtracking does not show that the original heuristic was good. It also does not recover spent effort or guarantee that contrary evidence will be noticed. Its narrower function is to keep branch selection from becoming final merely because the branch was tried.
Scope
- Backtracking may restore an artifact, a plan, a theory state, or another search position; it is not limited to reverting code.
- A reversible branch can still cause irreversible external effects. The claim applies only to the state the process can actually restore.
Relevant Notes:
- Lightweight search control allocates further search without licensing adoption — grounds: supplies the provisional branch choice
- Productive deferral requires a preserved option, discriminating evidence, and a convergence rule — exemplifies: realizes the general test through a restorable state, contrary evidence, and a redirect response
- A failure explanation becomes search control only when it changes a later branch decision — extends: shows when contrary evidence becomes operative by changing a later scope, priority, probe, continuation, or abandonment decision
- A search controller is tested by what it brings to stronger evaluation — extends: supplies the downstream test for whether restored paths yield useful candidates, evidence, informative failures, or improved recovery
- Current-task fit alone does not warrant costly structural entrenchment — extends: develops the warning that reversible trial use becomes costly when dependencies and migration costs accumulate
- Holding a program theory means sustaining coherent search under delayed feedback — extends: places backtracking inside longitudinal program modification and recovery