fix: recognise applied AutoInclude in LC045#303

Open

georgepwall1991 wants to merge 13 commits into

fix/lc045-applied-autoinclude

Commits on Jul 17, 2026

fix: recognise applied AutoInclude so LC045 avoids false positives
georgepwall1991
committed
fix: restore complete architecture test after transport truncation
georgepwall1991
committed
fix: invalidate LC045 proof at model-reshaping calls
georgepwall1991
committed
fix: recognise string Navigation AutoInclude paths
georgepwall1991
committed
fix: invalidate nested LC045 configuration execution
georgepwall1991
committed
fix: invalidate captured EF builder aliases
georgepwall1991
committed
fix: invalidate escaped LC045 builders
georgepwall1991
committed
fix: invalidate LC045 proof when constructors consume the builder
georgepwall1991
committed
fix: invalidate LC045 proof when setters consume the builder
georgepwall1991
committed
fix: reject suspended and indexer-mutated LC045 configurations
georgepwall1991
committed
fix: reject builder-consuming user conversions in LC045
georgepwall1991
committed
fix: inspect nested builder conversions in LC045
georgepwall1991
committed
fix: scan complete LC045 configuration operation proof
georgepwall1991
committed