- Added Execution Result Schema v0.1 at
schemas/specx_execution_result_v0_1.schema.json. - Added
specx verify-resultto verify execution results against their governing contract. - Added MCP
specx.verify_resultwith the same implementation as CLIverify-result. - Added passed, failed, and blocked execution-result samples.
- Added GitHub Actions CI for pytest, contract validation, compilation, verification, and result verification.
- Added tests for execution-result schema and fail-closed result verification.
- Added Contract Schema v0.1 at
schemas/specx_contract_v0_1.schema.json. - Added verified templates for research, software refactor, and content pipeline contracts.
- Added
specx initCLI support throughscripts/specx_cli.py init. - Upgraded
specx verifyto fail closed withfailure_stateand structured details. - Added MCP
specx.initand aligned MCP behavior with CLI behavior. - Added tests for schema v0.1, init, verify, and MCP fail-closed behavior.
- Added real MCP tools for validate, compile, verify, and explain.