# Changelog

All notable changes to this project will be documented in this file.

The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).

## [0.25.2](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.25.1...pr4xis-v0.25.2) - 2026-06-17

### Feat

- *(runtime)* a relation kind is nameable and re-resolvable by trait (A6 precursor)
- *(runtime)* a functor or adjunction in a snapshot re-binds, not refused (A4)

## [0.25.1](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.24.0...pr4xis-v0.25.1) - 2026-06-16

### Feat

- *(self-aware)* the SelfModel eigenform observes the live loaded set (Step 4 / §2)
- *(runtime)* relation kind is a ConceptRef, not a closed enum — Phase A Step 3

### Fix

- *(derive)* has_a: emits part→whole Parthood edges (BFO:0000050 alignment)

### Refactor

- *(self-aware)* address branch-review findings — doc-rot + one Form-aware counter

## [0.25.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.24.0...pr4xis-v0.25.0) - 2026-06-16

### Feat

- *(self-aware)* the SelfModel eigenform observes the live loaded set (Step 4 / §2)
- *(runtime)* relation kind is a ConceptRef, not a closed enum — Phase A Step 3

### Fix

- *(derive)* has_a: emits part→whole Parthood edges (BFO:0000050 alignment)

### Refactor

- *(self-aware)* address branch-review findings — doc-rot + one Form-aware counter

## [0.24.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.23.1...pr4xis-v0.24.0) - 2026-06-14

### Build

- *(release)* re-baseline the workspace to 0.24.0
- *(release)* single workspace version via inheritance — fix the release-plz drift

## [0.23.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.22.1...pr4xis-v0.23.0) - 2026-06-10

### Added

- `.prx` — praxis' knowledge, in a file ([#186](https://github.com/i-am-logger/pr4xis/pull/186))

## [0.22.1](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.22.0...pr4xis-v0.22.1) - 2026-06-02

### Other

- Fix/pr4xis domains publishable ([#193](https://github.com/i-am-logger/pr4xis/pull/193))

## [0.16.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.15.0...pr4xis-v0.16.0) (2026-05-30)


### Features

* praxis + praxis-cli gain the registered-source mechanism (SOX 1514A, AIR21 42121) ([#179](https://github.com/i-am-logger/pr4xis/issues/179)) ([917981a](https://github.com/i-am-logger/pr4xis/commit/917981a0bc3051d87c06661ec973ef6cfec79e3a))

## [0.15.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.14.1...pr4xis-v0.15.0) (2026-05-15)


### ⚠ BREAKING CHANGES

* **deps,ci:** pure-Rust crypto + always-latest devenv + PR-title gate ([#177](https://github.com/i-am-logger/pr4xis/issues/177))

### Features

* **deps,ci:** pure-Rust crypto + always-latest devenv + PR-title gate ([#177](https://github.com/i-am-logger/pr4xis/issues/177)) ([aee4c3a](https://github.com/i-am-logger/pr4xis/commit/aee4c3a77a4f3102d11ae9eb121420b01857f9f3))

## [0.14.1](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.14.0...pr4xis-v0.14.1) (2026-05-15)


### Bug Fixes

* **codegen:** WASM build no longer emits deleted per-def traits + CI catches it ([#174](https://github.com/i-am-logger/pr4xis/issues/174)) ([ba493f8](https://github.com/i-am-logger/pr4xis/commit/ba493f82576a3d71b5ac360ca8760cffac274163))

## [0.14.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.13.0...pr4xis-v0.14.0) (2026-05-15)


### ⚠ BREAKING CHANGES

* document the substrate API surface — release-please marker for #170 ([#172](https://github.com/i-am-logger/pr4xis/issues/172))

### Features

* document the substrate API surface — release-please marker for [#170](https://github.com/i-am-logger/pr4xis/issues/170) ([#172](https://github.com/i-am-logger/pr4xis/issues/172)) ([47daf96](https://github.com/i-am-logger/pr4xis/commit/47daf96ffc04b87de6f7e0ed0eeb57179c5d6f78))

## [0.13.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.12.0...pr4xis-v0.13.0) (2026-04-18)


### Features

* **#91:** pr4xis core + domains run no_std + alloc ([#157](https://github.com/i-am-logger/pr4xis/issues/157)) ([a62d317](https://github.com/i-am-logger/pr4xis/commit/a62d31770255fc8ca77d747280debd36674529f0))

## [0.12.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.11.0...pr4xis-v0.12.0) (2026-04-18)


### Features

* **#148:** Lemon meta on every structural entity — uniform registry for ontologies, axioms, functors, adjunctions, nat-trans ([#150](https://github.com/i-am-logger/pr4xis/issues/150)) ([f18bbc5](https://github.com/i-am-logger/pr4xis/commit/f18bbc5cbf116b6c4539b41df318c7f921e996cb))

## [0.11.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.10.0...pr4xis-v0.11.0) (2026-04-17)


### Features

* **#124:** Endofunctor trait — first-class C → C functor ([#127](https://github.com/i-am-logger/pr4xis/issues/127)) ([d88b21d](https://github.com/i-am-logger/pr4xis/commit/d88b21d45372d33b82f76e5a6eaee885692dec19))
* **#130:** Category::Op&lt;C&gt; + empirical 4th failure mode discovery ([#133](https://github.com/i-am-logger/pr4xis/issues/133)) ([ceeb01d](https://github.com/i-am-logger/pr4xis/commit/ceeb01d81e4100d405def3423d6b487f1a8376df))
* **#131:** TerminalFunctor helper — reusable one-object collapse ([#134](https://github.com/i-am-logger/pr4xis/issues/134)) ([6d01283](https://github.com/i-am-logger/pr4xis/commit/6d01283bb914f29fc06faeedfea91d78648de31b))

## [0.10.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.9.0...pr4xis-v0.10.0) (2026-04-17)


### Features

* compose API — runtime ontology composition via Korporator ([#103](https://github.com/i-am-logger/pr4xis/issues/103)) ([#108](https://github.com/i-am-logger/pr4xis/issues/108)) ([848d986](https://github.com/i-am-logger/pr4xis/commit/848d986457f82a758f3315c049063b53962ed00f))
* ontology! proc macro — fluent syntax with static codegen ([#103](https://github.com/i-am-logger/pr4xis/issues/103)) ([#109](https://github.com/i-am-logger/pr4xis/issues/109)) ([b66edcc](https://github.com/i-am-logger/pr4xis/commit/b66edccb3725a5f417bd63febf240ee1a81017a0))
* typed Vocabulary — OntologyName, ModulePath, structured Citation ([#111](https://github.com/i-am-logger/pr4xis/issues/111)) ([a05b34c](https://github.com/i-am-logger/pr4xis/commit/a05b34c061a8c0c784a72c20a8afe1deec7fae7b))

## [0.9.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.8.0...pr4xis-v0.9.0) (2026-04-16)


### Features

* Ontolex-Lemon, consciousness C1×C2, complete functor chain, Vocabulary API ([#88](https://github.com/i-am-logger/pr4xis/issues/88)) ([#104](https://github.com/i-am-logger/pr4xis/issues/104)) ([d3a5a46](https://github.com/i-am-logger/pr4xis/commit/d3a5a46aca23292c85078390499b696c9bff3c0e))

## [0.8.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.7.0...pr4xis-v0.8.0) (2026-04-16)


### Features

* define_ontology! being: clause + register all 108 ontologies ([#76](https://github.com/i-am-logger/pr4xis/issues/76)) ([#84](https://github.com/i-am-logger/pr4xis/issues/84)) ([1b27fc9](https://github.com/i-am-logger/pr4xis/commit/1b27fc974e1a4b018542ad4ea6ae57e3f4d9f561))

## [0.7.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.6.0...pr4xis-v0.7.0) (2026-04-13)


### Features

* enforce ontology patterns — define_ontology! everywhere, 4851 tests ([63031ee](https://github.com/i-am-logger/pr4xis/commit/63031ee4bc8b96f874b9e3b0e192e881494265f0))

## [0.6.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.5.0...pr4xis-v0.6.0) (2026-04-12)


### Features

* complete algebraic structure library — 7 new structures ([281f9e3](https://github.com/i-am-logger/pr4xis/commit/281f9e3087a97a988c33bd9deff27956a9cce759))
* define_ontology! clean API — concepts/is_a/has_a/causes/opposes + auto structural axioms ([366f284](https://github.com/i-am-logger/pr4xis/commit/366f28459f606ef56323910decd72b9be085e624))
* define_ontology! macro — generates Category + Taxonomy + Mereology + Causation + Opposition + OntologyMeta ([07a1b54](https://github.com/i-am-logger/pr4xis/commit/07a1b549ecac1d321d679bddc6dfcaee9cb14138))
* derive macros — #[derive(Entity)] + define_category! + define_dense_category! ([e598947](https://github.com/i-am-logger/pr4xis/commit/e598947d89ff36d1e4d84ac09ad1720915034483))
* F-algebra, MonoidalCategory, Optics, MonadTransformer (4 structures) ([22211e2](https://github.com/i-am-logger/pr4xis/commit/22211e2c6d9a71e29d126e066622a74d58d39948))
* integrate algebraic structures into reasoning + tracing ([5f9651d](https://github.com/i-am-logger/pr4xis/commit/5f9651d18238565f7b4f5915327da23e1dfde594))
* integrate Kleisli + anamorphism + Yoneda into causation reasoning ([393d94c](https://github.com/i-am-logger/pr4xis/commit/393d94cf10050d43ec7cd663833596c0bc3ce4b3))
* migrate Ontology impls to structural + domain axiom split ([8a79323](https://github.com/i-am-logger/pr4xis/commit/8a793238c6d70160acc9cedf4e1341de9836386e))
* Monoid + Writer monad + TracedCategory refactor (Moggi 1991, Mac Lane 1971) ([32b6292](https://github.com/i-am-logger/pr4xis/commit/32b6292239c77d0306b15aa2ad16271b1a48e60b))
* Ontology trait — structural + domain axioms merged via monoid ([32ac02b](https://github.com/i-am-logger/pr4xis/commit/32ac02b9ff557fb01d7c9bcc04c227fd07476992))
* Reader + State monads with property-based tests ([3d1b01e](https://github.com/i-am-logger/pr4xis/commit/3d1b01ef72d751e31a2829d9eac120d87c2ccdef))


### Bug Fixes

* clippy clean — no dead code, no unused imports, no stubs ([def3e3e](https://github.com/i-am-logger/pr4xis/commit/def3e3ef7ea816f16826184f6fa77c833d938df9))
* qualify kind refs in define_category! macro (avoid Identity ambiguity) + LOC badge ([4ab4d34](https://github.com/i-am-logger/pr4xis/commit/4ab4d34b2aab9a77d1082288a8bf616940e55e39))

## [0.5.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.4.0...pr4xis-v0.5.0) (2026-04-12)


### Features

* rename praxis → pr4xis across entire codebase ([5e971f7](https://github.com/i-am-logger/pr4xis/commit/5e971f77ac3041a5e35209216d09f41e55cf8a0d))

## [0.4.0](https://github.com/i-am-logger/pr4xis/compare/pr4xis-v0.3.0...pr4xis-v0.4.0) (2026-04-12)


### Features

* rename praxis → pr4xis across entire codebase ([5e971f7](https://github.com/i-am-logger/pr4xis/commit/5e971f77ac3041a5e35209216d09f41e55cf8a0d))

## [0.3.0](https://github.com/i-am-logger/pr4xis/compare/praxis-v0.2.0...praxis-v0.3.0) (2026-04-12)


### Features

* build.rs embeds English into binary via codegen ([a15f414](https://github.com/i-am-logger/pr4xis/commit/a15f41467789efc285ef7ba10a46ed6c2ae4a4b1))
* Diagnostics ontology + TracedCategory (writer monad on categories) ([b3beba6](https://github.com/i-am-logger/pr4xis/commit/b3beba6b9e28c2426850fa88fea98a3133b8edea))
* function words as LMF data, extend LmfPos with closed-class types ([0cbffab](https://github.com/i-am-logger/pr4xis/commit/0cbffab9585a3e3f7c202a498e28d3f733c66db9))
* merge sensor-fusion ontologies, add schema/storage/consistency ontologies, praxis-web ([a2fe629](https://github.com/i-am-logger/pr4xis/commit/a2fe629aedbe2363a33b76772e997d1558e14259))
* self-model ontology, CYK chart parser, adjunction, response generation ([0f67d8d](https://github.com/i-am-logger/pr4xis/commit/0f67d8d629065b3e76d3acd4567a03e9cc346c7e))


### Bug Fixes

* codegen was discarding all WordNet definitions (critical bug) ([69ef7d8](https://github.com/i-am-logger/pr4xis/commit/69ef7d819d62852ba3937efd9b76a092ef96ba3e))

## [0.2.0](https://github.com/i-am-logger/praxis/compare/praxis-v0.1.0...praxis-v0.2.0) (2026-04-09)


### Features

* add inference to logic, fix layer violations, update architecture ([0b53d58](https://github.com/i-am-logger/praxis/commit/0b53d5886cdeb48a28f20c1476e164cb77d59cf3))
* DOLCE upper ontology, domain restructure, linguistics, systems thinking, codegen ([368c583](https://github.com/i-am-logger/praxis/commit/368c5835965915495ea43d1b5e3dcbc76b1a93e6))
* Language trait, orthography, morphology, cached reasoning queries ([89daa5a](https://github.com/i-am-logger/praxis/commit/89daa5a45dcdf211e336dceb99503c9a9babda11))


### Bug Fixes

* correct inference semantics and add missing logic re-exports ([b1b6f2e](https://github.com/i-am-logger/praxis/commit/b1b6f2e5dd04ac80b0b592c8e7e667be3658150b))
* resolve all clippy warnings for strict CI ([79ff81b](https://github.com/i-am-logger/praxis/commit/79ff81ba0983283e738516dc8e0be55773add52d))
