Feature/readonly collections and adapters#140

Open

kasyanovandrii wants to merge 73 commits into

loresoft:mainfrom

kasyanovandrii:feature/readonly-collections-and-adapters

Commits on May 11, 2026

feat: IReadOnlyDictionary support, allocation-free hash, and adapter attributes

a.kasyanov
and
claude
committed
feat: multi-dim array comparer, adapter base class support, and nested collection composition

a.kasyanov
and
claude
committed
refactor: split adapter generators into separate packages

a.kasyanov
and
claude
committed
feat: add EQ0020/EQ0021 analyzers for missing DataContract/MessagePackObject

a.kasyanov
and
claude
committed
refactor: extract IsPublicInstanceProperty helper to eliminate adapter duplication

a.kasyanov
and
claude
committed

Commits on May 12, 2026

fix: use EqualityComparer<T>.Default for value types without == operator

a.kasyanov
and
claude
committed
feat: add ordered: bool parameter to [DictionaryEquality]

a.kasyanov
and
claude
committed
fix: sync dictionary/hashset Equals and GetHashCode, add sequential mode, enable property tests

a.kasyanov
and
claude
committed
docs: add comments explaining equality contract fix in dictionary and hashset comparers

a.kasyanov
and
claude
committed

Commits on May 13, 2026

fix: use sentinel value 1 for empty collection hash codes to distinguish null from empty

a.kasyanov
and
claude
committed
fix: use sentinel value 1 for empty collection hash codes in equality comparers

a.kasyanov
and
claude
committed
test: rename property tests to encode invariants and fix bidirectional hash check

a.kasyanov
and
claude
committed
feat: add InferCollectionComparer and IsEquatableGeneratorAttribute to EquatableGenerator

a.kasyanov
and
claude
committed
test: add nested collection entity fixtures for DataContract and MessagePack

a.kasyanov
and
claude
committed
test: expand comparer unit tests — GetHashCode contract, nested collections, multi-dim arrays

a.kasyanov
and
claude
committed
test: split adapter analyzer tests and expand ISet/array analyzer coverage

a.kasyanov
and
claude
committed
test: add adapter generator snapshot tests and expand generator/writer coverage

a.kasyanov
and
claude
committed
test: add integration tests for nested collection equality on generated entities

a.kasyanov
and
claude
committed
Mirror MessagePack generator tests to match DataContract entity shapes

a.kasyanov
and
claude
committed
fix: propagate sequential dict kind into nested dictionary comparers

a.kasyanov
and
claude
committed
feat: support [HashSetEquality] on List<T>/T[] and [SequenceEquality] on HashSet<T>

a.kasyanov
and
claude
committed
feat: propagate explicit enumKind/dictKind annotations into all nested collection levels

a.kasyanov
and
claude
committed
Add symmetry property tests for nested collection equality

a.kasyanov
and
claude
committed
Update README with new abilities: adapters, comparer propagation, direction overrides

a.kasyanov
and
claude
committed
README: document collection defaults and remove redundant attribute examples

a.kasyanov
and
claude
committed
README: replace domain-specific names with generic examples

a.kasyanov
and
claude
committed
README: add nested collections section with propagation rules and explicit override explanation

a.kasyanov
and
claude
committed
README: document multi-dimensional array support

a.kasyanov
and
claude
committed
README: document supported types for each collection attribute

a.kasyanov
and
claude
committed
README: clarify PrivateAssets is optional, add Equatable.Comparers to getting started

a.kasyanov
and
claude
committed
README: explain how explicit overrides propagate into nested collections

a.kasyanov
and
claude
committed
README: split propagation rules into one table per outer annotation

a.kasyanov
and
claude
committed
Merge branch 'main' into feature/readonly-collections-and-adapters
kasyanovandrii
authored
ci: point GitHub Packages publish to fork owner

a.kasyanov
and
claude
committed
ci: use github.repository_owner for GitHub Packages feed URL

a.kasyanov
and
claude
committed
ci: revert GitHub Packages feed URL to original

a.kasyanov
and
claude
committed

Commits on May 14, 2026

build: add adapter projects to solution so they are packed by dotnet pack

a.kasyanov
and
claude
committed
README: replace propagation tables with concrete code examples per attribute

a.kasyanov
and
claude
committed
README: add inline comments and rank/transpose examples for multi-dimensional arrays

a.kasyanov
and
claude
committed
README: multi-dimensional arrays default like T[] — no attribute needed

a.kasyanov
and
claude
committed
README: document multi-dimensional array override rules and contrast with T[]

a.kasyanov
and
claude
committed
fix: correct README — [EqualityComparer] on T[,] bypasses multi-dim comparer

a.kasyanov
and
claude
committed
test: prove [EqualityComparer] on T[,] bypasses MultiDimensionalArrayEqualityComparer

a.kasyanov
and
claude
committed
feat: EQ0014 — warn when any attribute is applied to a multi-dimensional array

a.kasyanov
and
claude
committed
feat: EQ0015 — warn when [SequenceEquality] or [HashSetEquality] is used on a dictionary type

a.kasyanov
and
claude
committed
docs: clarify row-major order in multi-dimensional array equality example

a.kasyanov
and
claude
committed
docs: emphasize row-major order in multi-dimensional array equality bullet list

a.kasyanov
and
claude
committed
docs: document EQ0020 and EQ0021 in build-time diagnostics section

a.kasyanov
and
claude
committed
docs: note that PrivateAssets="all" applies to adapter generator packages too

a.kasyanov
and
claude
committed
feat: EQ0022/EQ0023 — warn on unannotated properties on adapter-equatable types

a.kasyanov
and
claude
committed
docs: expand adapter generators section — property selection, comparer inference, overrides

a.kasyanov
and
claude
committed
docs: split attributes table by package — Equatable.Generator, DataContract, MessagePack

a.kasyanov
and
claude
committed
docs: mention skip/ignore attributes in packages table summary

a.kasyanov
and
claude
committed
docs: clarify adapter packages table — include/exclude/silently-skip distinction with EQ022x reference

a.kasyanov
and
claude
committed
docs: add What's new section covering all new packages, features, fixes, and improvements

a.kasyanov
and
claude
committed
docs: expand What it does — explain manual IEquatable pain points and declarative approach; add struct support

a.kasyanov
and
claude
committed
docs: show Order param in DataMember in packages table for consistency with Key(n)

a.kasyanov
and
claude
committed
docs: add hash contract drift as a manual IEquatable pitfall

a.kasyanov
and
claude
committed
docs: ground pitfall list in practical observation — not theoretical

a.kasyanov
and
claude
committed
docs: explain record equality limitations — reference types and collections still use reference equality

a.kasyanov
and
claude
committed
docs: add edge case note — string works in records because it implements IEquatable, not by special treatment

a.kasyanov
and
claude
committed
docs: reword string edge case note — cleaner phrasing for public library docs

a.kasyanov
and
claude
committed
docs: professional rewrite of all prose sections throughout README

a.kasyanov
and
claude
committed
feat: honour [IgnoreEquality] on [DataMember]/[Key(n)] properties in adapter generators

a.kasyanov
and
claude
committed
fix: correct OrderedDictionaryHashCode inline helper to sort before hashing

a.kasyanov
and
claude
committed
refactor: remove dead OrderedDictionary inline helpers from EquatableWriter

a.kasyanov
and
claude
committed
docs: clarify DictionaryEquality vs sequential — identical semantics, different algorithm

a.kasyanov
and
claude
committed
docs+test: demonstrate custom IEqualityComparer+IComparer with sequential dictionary equality

a.kasyanov
and
claude
committed
docs: generalise custom-comparer note — applies to any domain rule, not just case

a.kasyanov
and
claude
committed
fix: DictionaryEqualityComparer.Equals must use KeyComparer, not dict's internal comparer

a.kasyanov
and
claude
committed
docs: update sequential note — both comparers now handle custom keyComparer correctly

a.kasyanov
and
claude
committed
refactor: remove [DictionaryEquality(sequential: true)] — never shipped to prod

a.kasyanov
and
claude
committed

Commits on May 19, 2026

fix: infer HashSetEqualityComparer for HashSet<T> and IReadOnlySet<T> without explicit attribute

a.kasyanov
and
claude
committed