# $defs.DatasetSplit.description
Which half of the case set an example belongs to.

# $defs.ExampleSource.description
Where one training example's action came from.

subhadipmitra@: Decision: `SOLVER_OPTIMAL` is reserved for a sequence the exact solver settled
exhaustively. A best-known result from a search that hit its bound is `SOLVER_BOUNDED`, which
is a different claim, and conflating them would let a bounded result be reported as expert
demonstration. See ADR-046 and ADR-061.

# $defs.Provenance.description
Origin record for one serialized artifact.

# $defs.SftExample.description
One prompt and the action a demonstration took in response.

# $defs.SourceKind.description
Category of input an artifact was derived from.

# description
A complete supervised fine-tuning dataset with its provenance.