feat(invariant): add invariant models and enforcement #177

New issue

Closed

opened 2026-02-22 23:39:51 +00:00 by freemo · 0 comments

freemo commented

2026-02-22 23:39:51 +00:00

Owner

Metadata

Commit: feat(invariant): add invariant models and enforcement
Branch: feature/m3-invariants

Subtasks

Add invariant models, merge order (plan > project > action > global), and enforcement before strategize.
Add Invariant Reconciliation Actor role and record invariant_enforced decisions.
Add agents invariant add/list/remove CLI with scope flags and validation errors.
Add docs/reference/invariants.md with precedence and reconciliation examples.
Tests (Behave): Add invariant merge + violation scenarios.
Tests (Robot): Add invariant CLI integration tests.
Tests (ASV): Add benchmarks/invariant_merge_bench.py for merge overhead.
Verify coverage >=97% via nox -s coverage_report. If coverage is <97% then review the current unit test coverage report at build/coverage.xml and use it to write new Behave based unit tests to improve code coverage. Specifically, write Behave style unit tests that are descriptively named and specifically improves coverage on whichever file has the most uncovered lines by writing tests that will target the uncovered lines in the report. Once that is done rerun nox -s coverage_report to verify all tests pass and coverage is above >=97%. Only mark this as complete once coverage is >=97%, if not repeat this task as many times as is needed until coverage reaches >=97%.
Run nox (all default sessions, including benchmark), fix any errors if needed ensuring nox passes across entire code base, do not ignore any failure even if it seems unrelated to this commit, fix it.

Section: #### M3: Decisions + Validations + Invariants (Day 18)
Status: Completed

## Metadata - **Commit**: `feat(invariant): add invariant models and enforcement` - **Branch**: `feature/m3-invariants` ## Subtasks - [x] Add invariant models, merge order (plan > project > action > global), and enforcement before strategize. - [x] Add Invariant Reconciliation Actor role and record `invariant_enforced` decisions. - [x] Add `agents invariant add/list/remove` CLI with scope flags and validation errors. - [x] Add `docs/reference/invariants.md` with precedence and reconciliation examples. - [x] Tests (Behave): Add invariant merge + violation scenarios. - [x] Tests (Robot): Add invariant CLI integration tests. - [x] Tests (ASV): Add `benchmarks/invariant_merge_bench.py` for merge overhead. - [x] Verify coverage >=97% via `nox -s coverage_report`. If coverage is <97% then review the current unit test coverage report at `build/coverage.xml` and use it to write new Behave based unit tests to improve code coverage. Specifically, write Behave style unit tests that are descriptively named and specifically improves coverage on whichever file has the most uncovered lines by writing tests that will target the uncovered lines in the report. Once that is done rerun `nox -s coverage_report` to verify all tests pass and coverage is above >=97%. Only mark this as complete once coverage is >=97%, if not repeat this task as many times as is needed until coverage reaches >=97%. - [x] Run `nox` (all default sessions, including benchmark), fix any errors if needed ensuring nox passes across **entire** code base, do not ignore any failure even if it seems unrelated to this commit, fix it. **Section**: #### M3: Decisions + Validations + Invariants (Day 18) **Status**: Completed

Rows
Columns