Quickstart Shared Parsing

Small command-line parsers shared by the first-tour examples.

These are example utilities, not part of the public training facade. The public surface remains Trainer.new and trainer.train; this file only keeps repeated quickstart flag parsing out of the tutorial bodies.

structure NN.Examples.Quickstart.RuntimeTrain : Type

Parsed runtime and training settings for quickstart commands.

• train : TorchLean.ModelZoo.LoggedTrainFlags

  Logged training flags parsed from --steps, --log, and related options.

• run : TorchLean.Trainer.RunConfig

  Runtime settings parsed from dtype/backend/device flags.

• trainOptions : TorchLean.Trainer.TrainOptions

  Public trainer training options derived from the parsed flags.

def NN.Examples.Quickstart.parseRuntimeTrain (exeName : String) (args : List String) (defaultLogJson : System.FilePath) (defaultSteps : ℕ) (optimizer : TorchLean.optim.Optimizer) (logEvery : ℕ := 0) : IO RuntimeTrain

Parse the common quickstart tail:

--steps, optional logging flags, and runtime flags such as --dtype, --backend, or --cuda.

Each quickstart still owns its model, dataset, task, and any tutorial-specific flags.