IDS import (staging) and a false-absence fix in the IFC adapter - #14

Closed

GeneralPawz wants to merge 3 commits into

mainfrom

Commits on Sep 26, 2026

fix(ifc): do not prove absence over quantity and predefined sets

GeneralPawz
and
claude
committed
32869f3
feat(staging): translate IDS documents into rule packages

GeneralPawz
and
claude
committed
206df7e
docs(ifc): tie the unread-definition guard to its upstream issue

GeneralPawz
and
claude
committed
20a2d87