Changelog

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

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[1.1.2] - 2026-06-25

Changed

• Refined analysis-case semantics to remove verify usage from analysis objectives and align objective intent with assume/require constraints.
• Explicitly redefined inherited analysis objectives and inherited parent constraints in specializations.
• Clarified and stabilized return feature redefinitions across operational, system-of-interest, and subsystem analysis cases.
• Harmonized analysis subject and parameter declarations to match parent-feature inheritance behavior used in this baseline.

[1.1.1] - 2026-06-10

Changed

• Reworked README into a standalone, publish-ready guide so KPAR consumers can use the package documentation without additional markdown files.
• Added a dedicated analysis section that captures analysis intent, policy, and expected outcomes across decomposition levels.
• Removed environment-specific validation script instructions from README.

[1.1.0] - 2026-06-10

Added

• Layered interface source attribution for P. Shames, M. Sarrel, and S. Friedenthal in Credits metadata.

Changed

• Updated project README to reflect the current model architecture including Level -1 Framework and stack port guidance.
• Documented current validation workflow and model navigation for the recursive pattern baseline.

[1.0.1] - 2026-06-02

Added

• Initial changelog entry for version 1.0.1.