QSAlgorithmFF release 3.6.0
===========================

Structural refactor
-------------------
- Split the main algorithm into four explicit phases:
  1. prime-ideal/function-field validation;
  2. unimodular-row validation and right-inverse certificate;
  3. recursive CompleteRow core;
  4. final independent verification.
- Added a single explicit HeuristicCompletionData subroutine.  QSEasyFF is now
  called only from this phase; failed heuristic attempts are returned as data.
- Added a single OneStepReductionCoreData implementation used by the recursive
  core.  Its fixed order is NormalisationStep, ReduceDegreeData,
  LocalLoopData, PatchData.
- The recursive CompleteRow core now visibly performs:
  exact base case -> heuristic phase -> one-step phase -> recursive call.
- Removed repeated prime-ideal and Groebner unimodularity calculations from
  recursive levels.  The initial right inverse is computed once and propagated
  through normalization, degree reduction, specialization, and recursion.
- Reused one AssembleCompletionFromStepData routine for recursive matrix
  composition and the standalone OneStep command.

Compatibility and retained behavior
-----------------------------------
- The public main parameters are unchanged: timeLimit, printLog,
  useHeuristics, localMethod.
- Exact length-two completion, good component/variable selection, global
  degree reduction, Horrocks-Suslin, residue/resultant, local cover, patching,
  caching, quotient-safety barriers, and data tables are retained.
- Existing top-level result keys such as normalisation, degree_reduction,
  local_loop, patch, target_row, recursive_data, U, determinant_certificate,
  and verification are retained.  The historical case value "inductive" is
  retained for recursive nodes.  OneStep compatibility keys completion_data,
  lower_completion and coordinate_correction_matrix are also retained.
  New keys include input_validation, heuristic_data, one_step,
  construction_verification, and final_verification.
- Added QSFullFF:-HeuristicCompletionData as the stable public facade for the
  explicit heuristic phase.
