# Changelog

## 0.1.1 — 2026-10-14

- 将 README 完整改为中文，保留安装示例、接口、三个工作流、格式与资源边界、验证及来源说明。
- 明确补充 CSV 电子表格公式安全提示；更新安装命令至 0.1.1。
- 核心实现、公开 API 与测试行为不变。

## 0.1.0 — 2026-10-14

* Owned validated incidence contexts and canonical finite index-set utilities.
* Galois derivations, NextClosure, bounded formal concept lattices and queries.
* Horn implications, inference traces, exact bounded canonical bases/generators,
  equivalent reductions, metrics and concrete counterexamples.
* Immutable transforms, duplicate clarification, identity-aligned composition
  and consistency-checked expert review.
* Strict binary CXT/incidence CSV and typed versioned JSON interchange;
  indexed reports and safe numeric DOT.
* Three tested complete downstream workflows and exhaustive small-context
  independent-oracle verification; portable CI.

All limits and intentionally unsupported capabilities are documented. No
benchmark speedup, arbitrary-size proof or organizer approval is claimed.