Manuscript Oai279-A@1 · Oai279-A.tex · section · a1abc73f
Hypothesis-change ledger
Stage 4: alter one hypothesis at a time › Hypothesis-change ledger · lines 1446–1496
| Change | Changed obligation | Disposition |
|---|---|---|
| Change | Changed obligation | Disposition |
| Replace probability one by high probability | Wrong-output amplitudes may remain nonzero. | A weaker correctness statement. |
| Allow unbounded retries | A finite worst-case clock may disappear. | Expected time does not restore it. |
| Add computed-angle rotations | The exact gate alphabet changes. | Approximation is not exact replacement. |
| Measure retained history before the inverse | The coherent preparation/inverse pair changes. | Amplitude amplification needs reanalysis. |
| Output a proper divisor only | Primality, multiplicities, and total decomposition are absent. | Not the frozen output task. |
| Drop length-uniform generation | Nonuniform circuit descriptions or advice are permitted. | A different complexity model. |
| Add finite sampling evidence | A confidence statement about runs is obtained. | Not exact support. |
| Add a positive channel-error allowance | Only approximate implementation is certified. | Proposition prop:noise shows the distinction. |
| Replace factoring by capacity, secrecy, or recovery | The input, output, and operational criterion change. | No theorem transfer is supplied. |