字符串类型索引

这是提案 00002 的字符串类型索引生产接入说明。类型构造器的显式参数定义域可以是内建字符串；实参先按字符串检查，再检查索引式形状。

索引式允许字面串、已核定为字符串的变量，以及豫言标准库 数据结构/字符串术。豫 和 语言核心/原语。内建。豫 的 字符串拼接 完整调用。包身份与声明来源同时核对；同名用户函数和字节串拼接不在此规则内。其他实参先用 虑 绑定，再以绑定名作索引。

规范形按拼接结合律保存有序片段，删除空串并合并相邻字面串；变量片段保留位置，不使用交换律。生产比较当前额外规约闭合字符串索引，变量索引继续按原有结构比较。规约预算按实参顺序累计，一百万步耗尽时报“类型规约超出步数”。

身份八项、AST 八项及闭合比较三项断言已通过。真实标准库拼接等价用例运行输出 7；次序不同与直接用户函数反例匹配预期拒绝诊断。完整自举与定点联合验证通过，正式广义类型回归 34 项全部通过；列表定义域见列表类型索引。原生验收、变量细化、依值箭头和隐式值推定仍待完成。