default
fun defaultMicroFormat(innerSnapshot: SolverStateSnapshot, context: TrackingContext): String(source)
Provides the default console formatting for an inner (micro) solver's state snapshot. Uses indentation to show hierarchy. It has access to the macro iteration via the TrackingContext if needed, though the default format omits it for visual clarity.