Ontology of the Ijtihad algorithm

This article attempts to find the answer to this question: Is it possible to discover and simulate the methods that the jurists use in their inferences with the details that go through the mind of the jurist? If so, how? If inference (ijtihad in jurisprudence) is a methodological epistemological attempt to discover the justification for the "obligatory verb" and if the inference and ijtihad (inference process) are transitive actions that the jurist performs step by step to discover the commentator from the starting point (facing the problem) to the end point (issuing a Fatwā); and if the methodology of ijtihād (process of inference) is actions and reactions that the jurist takes step by step to discover the view of the Almighty from the starting point (facing the problem) to the ending point (issuing the fatwa), and if methodology and presenting an algorithm that accurately determines and describes the step-by-step process of solving a problem such that the starting point and ending point, the number of steps, the logical order of steps, and implementation instructions are described in each step without any gaps, then it seems that the operation of ijtihad and inference can be described algorithmically. How to do this can be done in two ways: 1. Field induction of jurisprudents' performance and their analysis by discovering their methods. 2. Deductive according to cause and effect implications that exist in the sciences of Jurisprudence and Uṣūsl (Principles). Every jurist has his own deductive method which by analyzing his performance in his inferences can be given the details of his method and accordingly, different methods of jurists can also be studied comparatively and can also be deduced based on deductive method. The discovery of the deduction process validates the methodology of each jurist.