SPDX-License-Identifier: Palimpsest-1.0-or-later

This project is licensed under the Palimpsest License v1.0-or-later, built on Mozilla Public License 2.0-or-later (MPL-2.0-or-later).

Full license text: https://github.com/hyperpolymath/palimpsest-license

The Palimpsest License extends MPL-2.0 with special provisions for:
- Multimodal integration with formally verified code
- FFI/ABI freedom across calling conventions
- Proof preservation requirements
- Dyadic type system compatibility
- Ecosystem attribution guidelines
