01 · DiscoverRead what the model declares
TensorLynx reads a set-up model through its own declarations: variables, units, shapes, bounds and registered roles. Nothing is inferred from a name. Whatever the model does not state is recorded as MISSING, never as zero or a default, and the model’s fingerprint changes whenever the model, a mesh or a case file does.
02 · FormulateAssign roles; refuse what is undefined
A person, a template or the model itself gives each variable its role: design variable, fixed condition, objective, constraint or monitor. Every constraint carries a relation, a bound and a tolerance. An undefined problem is refused before launch, each refusal with a one-click fix: a zero-width bound, an equality without a tolerance, a decimal comma typed into a number field.
03 · PlanSee the plan before you pay for it
The plan preview shows one evaluation count, and says whether it is exact, an upper bound, approximate or unknown. Duration estimates come from measured runs that match the plan exactly; without one the estimate stays missing, never extrapolated. Runs above your confirmation limit ask first.
04 · AnalyseRun the disciplines and judge convergence
Disciplines come from a registry that labels each one’s maturity. A coupled group declares which output feeds which input, in which unit, and every evaluation states whether its analysis converged. A failed evaluation is recorded FAILED with outputs MISSING; the run carries on, nothing imputed.
05 · JudgeDecide feasibility on solver values
One rule judges every constraint, wherever a result is shown: the value must sit inside its bound widened by the declared tolerance. Each constraint reads active, inactive or violated, with its margin. Surrogate-assisted search improves on the best feasible value so far and weighs each new point by its probability of being feasible.
06 · RecommendRecommend, then let an engineer decide
The recommended design is the best evaluated design that converged and meets every constraint on solver values. It stays Exploratory until an independent re-run confirms it. The platform ranks; it never records a decision for you. A named engineer does, with a rationale, in an append-only record.