IDS import: dataType and value checks; IFC value types; quantity-absence fix - #16

Merged

GeneralPawz merged 7 commits into

mainfrom

feat/ids-data-type

Sep 26, 2026

Commits on Sep 26, 2026

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

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

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

GeneralPawz
and
claude
committed
a8c84b0
feat(ir,ifc,rules)!: declared property types and property-data-type
GeneralPawz
committed
56ae4eb
feat(staging): translate required IDS dataType checks
GeneralPawz
committed
5d71b5a
feat(ifc,rules): property-value constraints and more IFC value types
GeneralPawz
committed
8a9ee1f
feat(staging): translate IDS property values; refuse non-object classes
GeneralPawz
committed
9ed670e