TAG62I would note: the environment has been deliberately simplified to constrain the experimental conditions and analyze the model's behavior more accurately.1.2 How the project evolved. Brief chronologyTAG69TAG72TAG74No.TAG79TAG81@@StageTAG84TAG86Brief descriptionTAG90TAG92TAG941TAG98TAG100@@Basic runtime logicTAG103Design of the synthetic environment, states, contracts, tools, checks, trace, and evidence.Deterministic testing of the first scenario, S01,