LSR 001 - LSR 流程规范

基本信息

  • LSR 编号 001

  • 标题 LSR 流程规范

  • 作者 Ziyang-Bai, Ange1PLSGreet, CGrakeski

  • 状态 应用

  • 类型 流程类

  • 创建日期 08-06-2025

  • 归属项目 通用

摘要

定义 LSR 的目的、文档结构、状态流转和提交流程。所有 LSR 必须遵循。

1. 定义

LSR（Lamina Standard Recommendation）是 Lamina 标准提案文档，记录语言特性、实现方案和流程变更。

2. 目标

  • 建立统一提案流程

  • 保证评审可追踪

  • 保证规范可实现

3. 类型

3.1 标准规范

用于定义语法、语义、标准库或实现行为。

3.2 信息类

用于提供设计讨论或实践建议，不直接引入新特性。

3.3 流程类

用于定义治理、发布和评审流程。

4. 必填结构

必含：

  • 标题（LSR XXX - 标题 ）

  • 基本信息（编号、作者、状态、类型、创建日期、归属项目）

  • 摘要（建议 200 字以内）

  • 技术规范（标准规范类必填）

可选：

  • 基本原理

  • 参考实现

5. 状态流转

草案 -> 接受 -> 应用
草案 -> 撤回
草案 -> 拒绝

含义：

  • 草案：提案中，开放讨论

  • 接受：评审通过，进入实施

  • 应用：实现完成并发布

  • 撤回：作者主动撤回

  • 拒绝：维护者拒绝

6. 编号规则

  • 使用三位数字递增编号：001, 002, 003...

  • 编号一经分配不得复用

  • LSR-001 固定为本规范

  • 修订草案可使用后缀（如 LSR-016-A ），通过后合并回主编号

6.1 撤回编号

撤回编号继续保留，正文存入 store/withdrawn/。当前规范索引列出仍适用的文档；依赖已撤回条款的规范应改为引用承接文档。

编号

撤回日期

承接规则

005

09-30-2026

普通分支见 LSR 000 - Lamina 核心语言规范（草案），直接解构见 LSR 012 - 元组类型规范，数学模式操作见 LSR 016 - 数学值与符号操作规范

009

09-30-2026

集合类型与有限解集返回规则统一到 LSR 013 - 集合类型规范

011

09-30-2026

专用替换规则见 LSR 016 - 数学值与符号操作规范，内建错误值见 LSR 018 - Never 底类型与 raise 终止效应规范；用户自定义代数数据类型退出核心

7. 提交流程

  1. 在 Discussions 进行初步讨论

  2. 创建 LSR 草案文件

  3. 提交 Pull Request

  4. 社区评审并收集反馈

  5. 根据反馈修订

  6. 维护者给出决定

  7. 实施并验收

  8. 状态更新为接受/应用

8. 维护者职责

  • 校验格式与完整性

  • 组织评审

  • 给出接受/拒绝决定

  • 维护索引和状态

9. 质量要求

  • 术语一致

  • 语义清晰

  • 可实现

  • 明确兼容性影响

  • 提供必要示例或测试用例