# EML-RKD-02 ReleasePack v0.1

Paper 02 of the Recursive Knowing-Difference Algebra series.

## Canonical source
- `EML_RKD_02_Graded_Algebra_of_Recursive_Knowing_v0.1.md`

## Role in series
Paper 01 posed the conjecture.
Paper 02 supplies the first type-safe algebraic skeleton:
- graded epistemic spaces
- recursive lift K
- target projection F
- coherence / defect
- zero-meta embedding
- meta-residual
- fiber / kernel
- split short exact extension
- tower morphisms and observational realization

## Important scope rule
Kernel/direct-sum/exact-sequence claims are conditional on linear/additive realizations.
Fiber-based formulations are the more general fallback.

## Package files
- canonical Markdown
- `CLAIM_REGISTRY_v0.1.json`
- `SYMBOL_TABLE_v0.1.csv`
- `EXTERNAL_SEARCH_NOTES_2026-08-16.md`
- `validation.json`
- `CHECKSUMS.sha256`

Source: UTF-8, LF, no BOM, `$...$` / `$$...$$`, no UI citation tokens.