Remove by-divisor path map document

This commit is contained in:
Marek Lemańczyk committed 2025-10-27 21:28:41 +01:00
1 parent 94a4ed8328
commit 968dd89d0d
1 file changed
-35
-35
View File
@@ -1,35 +0,0 @@
# --mersenne=bydivisor Path Map
This temporary map tracks the code paths exercised by the `--mersenne=bydivisor` mode and notes the latest review status for each branch. Entries move from _Queued_ to _Reviewed_ once the surrounding loops have been audited for invariant work.
## High-level Flow
- `EvenPerfectBitScanner` CLI parsing → _Reviewed_
- `MersenneNumberDivisorByDivisorTester.Run` → _Reviewed_
- `EvenPerfectBitScanner.IO.CalculationResultsFile`
- `LoadCandidatesWithinRange` → _Reviewed_
- `EnumerateCandidates` → _Reviewed_
- `IMersenneNumberDivisorByDivisorTester` implementations
- `MersenneNumberDivisorByDivisorCpuTester`
- `IsPrime` → _Reviewed_
- `CheckDivisors` (128-bit path) → _Reviewed_
- `CheckDivisors64` → _Reviewed_
- `MersenneNumberDivisorByDivisorGpuTester`
- `IsPrime` → _Reviewed_
- `CheckDivisors` → _Reviewed_
- `DivisorByDivisorKernels.CheckKernel` → _Reviewed_
- `MersenneDivisorCycles`
- `TryCalculateCycleLengthForExponentCpu` → _Reviewed_
- `TryFactorIntoCountsInternal` → _Reviewed_
- `PollardRho64` → _Reviewed_
- `ReduceOrder` (includes `ProcessReduceOrderPrime`) → _Reviewed_
- `PrimeOrderCalculator`
- `InitializeStartingOrderCpu` → _Reviewed_
- `ExponentLoweringCpu` / `ProcessExponentLoweringPrime` → _Reviewed_
- `ValidateOrderAgainstFactors` / `ValidateOrderForFactor` → _Reviewed_
- `TryConfirmCandidateCpu` / `CheckCandidateViolation` → _Reviewed_
- `TryHeuristicFinishCpu` / `BuildCandidates` / `SortCandidates` → _Reviewed_
## Next Steps
- Hold for additional guidance on further --mersenne=bydivisor audits; computation branches documented above are fully reviewed.
- Defer result aggregation and reporting reviews until instructed otherwise, keeping the focus on computation-only branches.