实验 / 010

TypeScript / 输出边界对照

类型断言与对象校验分别会漏掉哪些无效输入?

已完成 ·

实验结果

GitHub ↗

01 / 问题

类型断言与对象校验分别会漏掉哪些无效输入?

方法

32组合成输入交给断言、对象、原始JSON及既有Java四种入口;另离线重放一份历史真实响应。

结果

断言误接收22个、对象校验误接收4个;原始JSON与Java判定32/32一致。

观察

重复键在JSON.parse后消失;对象入口也无法核验原始字符串长度。历史围栏响应严格拒绝,显式适配重放通过。

结论

静态类型不代替运行时契约;结构正确不等于分类语义正确。

局限

刻意构造的边界,不是模型错误率;扁平契约,不是通用JSON解析器。无新增API调用。

复现

类型检查、37项测试与32组差分审计通过;Node26.8.2、TypeScript7.0.2、Java1.8.0_171。

继续探索

继续探索

  1. 工程案例

    TypeScript 能保证模型输出正确吗?32组输入与 Java 校验器的边界对照

    从类型断言、unknown到原始JSON:复现22个误接收、4个对象校验盲区,以及Java/TypeScript契约一致性的实际边界。

    11 分钟已发布
  2. 实战教程

    Java LLM 实践(二):HTTP 200 之后,怎样验收模型的 JSON?

    从一次真实的代码围栏响应和三次超时出发,用 Java 8 实现严格结构校验、受限格式适配与可追溯的失败处理。

    16 分钟已发布
  3. 项目 / 002

    Java LLM 实践集

    五个 Java 8 Demo与TypeScript边界对照:请求、输出验收、事务式历史及可追溯实验。

    构建中

← 返回目录