From 968dd89d0d333b2f7916ff4f6cfeb022014aba28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marek=20Lema=C5=84czyk?= Date: Mon, 27 Oct 2025 21:28:41 +0100 Subject: [PATCH] Remove by-divisor path map document --- docs/ByDivisorPathMap.md | 35 ----------------------------------- 1 file changed, 35 deletions(-) delete mode 100644 docs/ByDivisorPathMap.md diff --git a/docs/ByDivisorPathMap.md b/docs/ByDivisorPathMap.md deleted file mode 100644 index 85d5a53..0000000 --- a/docs/ByDivisorPathMap.md +++ /dev/null @@ -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.