# 来源、原创与许可证

领域实现为本仓库原创 MoonBit 代码，非现有 Liberty 实现的移植，没有引入第三方 Liberty 领域运行库。通用语法思想、标准数据格式和独立测试工具不构成“格式全球首创”的主张。

## 运行依赖

- MoonBit SDK/core：编译器与标准库；[官方仓库](https://github.com/moonbitlang/core)。
- [moonbitlang/async](https://github.com/moonbitlang/async) 0.21.2、moonbitlang/x 0.5.1：官方原生异步 IO/相关基础模块；固定在 moon.mod，不是领域算法来源。各依赖保留其原许可证。

## 公开测试数据

[IHP-GmbH/IHP-Open-PDK](https://github.com/IHP-GmbH/IHP-Open-PDK)，Apache-2.0，Copyright 2024 IHP PDK Authors。固定 revision 为 5e6d592e4002946a4616f798c357f0f3c06cf3b6，文件：

ihp-sg13g2/libs.ref/sg13g2_stdcell/lib/sg13g2_stdcell_typ_1p20V_25C.lib

仓库本地 tests/fixtures/ihp-sg13g2-typ.lib，保持原始内容和版权头。SHA-256 为 7677a8918689f452e80405ad16a83e744709342574f2aedcc507c2758986b396。IHP 公开 PDK 是测试样本，不表示本工具获得工艺认证。根 NOTICE 记录来源，原始授权文本在 LICENSE 中。

basic.lib 和 bad-reference.lib 为本项目自编合成测试数据。

## 独立测试工具

[liyanqing1987/libertyParser](https://github.com/liyanqing1987/libertyParser)，GPL-2.0，revision 77440f598eee8291ddf9393e397711645cf0ee11。由 fetch-oracle.ps1 下载到 Git 忽略的 .tools/oracle，连同其 LICENSE 保留，作为独立 Python 进程的测试输入来源；没有复制进提交的实现、发布包或运行时依赖。本项目的 oracle_check.py 为原创适配和数值核对脚本。调用仅使用完整文件解析接口，不使用参考工具带 shell 拼接的单元提取路径。

对照范围是明确样本的结构与数值一致性，不等同于完整 Liberty 标准认证。不能把 Python 工具的已有功能声称为本项目原创发明。MoonLiberty 的交付价值是 MoonBit 可复用实现、显式单位与拒绝策略、可接入维护流程的检查和变更报告。

## 格式标准基线（0.2.0 新增）

Synopsys《Liberty User Guides and Reference Manual Suite》，Version 2017.06，June 2017。官方获取入口 https://www.synopsys.com/community/interoperability-programs/tap-in.html ，标准契约记录版本核对来源和授权边界。本仓库不分发手册或其大段文本；标准授权与本项目 Apache-2.0 独立。实现与所有新增案例为原创，引用格式和行为规范不等于移植现有领域源码。当前未获得官方认证，也未声称全部条目已经符合。
## 0.3.0 多来源测试输入与第二读取器

固定来源、完整哈希及授权下载地址见 [corpus.json](standards/corpus.json)，步骤与结论见 [CORPUS](CORPUS.md)。数据不提交到本仓库或发布包；下载后保留完整版权头和上游许可证。

- Nangate：OpenROAD-flow-scripts 的 nangate45，固定 64939f3717ad7c694199ba04cb98924b98022868。上游 README 标明 PDKv1.3_v2010_12.Apache.CCL 并附 Apache-2.0 LICENSE；原文件头中的 Nangate 标识/声明仍保留。不把此研究库称为可制造工艺。
- ASAP7：同一固定 OpenROAD 分发版本，两份原文件及 ASU 的 BSD-3-Clause 授权文本；仅用作原始缺分号负例，不修补后冒充原始通过。
- Yosys：5053d0e266d9e5f895211e39e6ee3a94cbba408a 的 tests/liberty/busdef.lib 与 dff.lib，ISC，COPYING 原文单独下载。这是上游合成测试而非 PDK。
- Thomas Kramer liberty-parser 0.0.29：[主仓库](https://codeberg.org/tok/liberty-parser)，GPL-3.0-or-later；通过 PyPI 安装至忽略目录，保留分发元数据/许可证。源码分发 SHA-256 fe841322c3ff766a2f7629b30a75f65b669b045c398bc599fe36c2e56cd0d2fb。依赖 numpy 2.2.6、sympy 1.14.0、mpmath 1.3.0、lark 1.3.1 仅用于独立测试。没有把这些工具源码转换为本项目实现或作为产品依赖。