九大特性 · 06
规范健壮
元素规范是开发与运行的唯一契约：Type 硬约束让错误可枚举，六项自动化校验从源码一直验到运行时。
它是什么
JitAI 用元素化规范约束一切产出：Type 规定元素的声明、资源、能力、加载与验证。AI 在硬约束内生产，错误从「无限可能」收敛为「可枚举清单」，再由六项自动化校验逐层排除。
- 规范化：Type 规定声明、资源、能力、加载、验证
- 自描述：声明与资源放在一起，构成完整单元
- 自加载 / 可替换：按 fullName 解析，同名重写不动父 App
没有它会怎样
- 错误无限：自由编程空间下，AI 产出的问题种类无法穷举
- 人工兜底：写完没有自动反馈，错误靠人工测试发现
- 软约束失效：只靠提示词约束 AI，产出质量随缘
如何实现
JitAI 怎么做到
Type 硬约束
规格驱动生成规范化元素，开发即运行
六项校验链
源码 → 应用关系 → 构建 → 加载 → 功能验证 → 运行时验证
三条纪律
先规范后代码；只通过公开能力协作；改完回入口 App 验证
上下文按需检索
一个元素即可独立构建与验证的最小单元
错误从无限变为可枚举，质量从靠人变为靠体系。