从从左到右和smart算法讲到Literal标签、callable判别器、嵌套Annotated、TypeAdapter及递归错误，完整保留关键示例与版本边界。