feat: VER001/VER002 — unenforced effect declarations below enforcement floor (closes #80)#82

Merged

marcelofarias merged 3 commits into

mainfrom

botkowski/ver001-ver002

May 22, 2026

Commits on May 22, 2026

feat: VER001/VER002 — warn when effect annotations are below their enforcement floor (?bs < 0.9)

authored and
Marcelo Farias
committed
fix(ver-check): address Copilot review on PR #82

Marcelo Farias
authored and
Marcelo Farias
committed
fix: rename hasUnenforce* to hasUnenforced*, clarify no-op comments, fix INT002/EFF002 version floors in AGENTS.md

Marcelo Farias
authored and
Marcelo Farias
committed