Skip to content

test: cover every public member in the allocation properties - #39

Merged
Frognar merged 1 commit into
mainfrom
test/allocation-audit
Nov 14, 2026
Merged

Frognar merged 1 commit into
mainfrom
test/allocation-audit

Conversation

@Frognar

@Frognar Frognar commented Nov 14, 2026

Copy link
Copy Markdown
Owner

What

Card 7.1 of milestone M7 (1.0.0): the V9 audit. Every public member now has a line in AllocationProperties or is listed as an exclusion in its remarks. Every new line passed on the first run (0 B), so the library did not change.

Public API Covered by
valid, new Valid, conversions (also generic), converting an existing Invalid Creating_a_valid_validation…, Converting_an_existing_invalid_case…
Patterns (switch positional/type/generic, is), TryGetValue Pattern_matching…
Match, OrDefault ×2 Reading…
Map, MapError, Then, Ensure ×2 (kept), Select, a query Transforming_a_valid_validation…
Zip ×2, Apply, Combine for every arity 2–8 (new: 4–7) Combining_valid_validations…
Check ×2, FromNullable ×4 (new: reference with a factory), new ValidationError Building_blocks_on_the_valid_path…
MatchAsync ×2, MapAsync, ThenAsync, CombineAsync for every arity 2–8 (new: 3–7) with completed tasks Async_members_with_completed_tasks…
Equals, ==, !=, GetHashCode; Valid == != Equals GetHashCode Value Deconstruct (new) Comparing…
new: an existing Invalid: ==, !=, Equals, GetHashCode, Errors, Deconstruct; ValidationError ==, GetHashCode, Deconstruct Reading_and_comparing_existing_invalid_cases…
Excluded (in the remarks) ToString (a string); everything that creates errors (invalid, MapError of an invalid one, accumulation, a failed Ensure/Check, FromNullable(null)); Equals(object) (boxes); is null (boxes the case); sequences (like LINQ)

Closes #19

Checklist

  • Tests cover the change (properties first, examples only where a property does not fit)
  • dotnet test --solution dotValid.slnx is green locally (Release, allocation properties included)
  • Public API changes have XML docs (n/a)

🤖 Generated with Claude Code

https://claude.ai/code/session_012weRUz3QcTAaQw32ZmQkoK

V9 audit (M7): every Combine and CombineAsync arity, FromNullable(factory)
for references, reading and comparing the case types and ValidationError
now have allocation lines; the class remarks list every exclusion.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012weRUz3QcTAaQw32ZmQkoK
@Frognar
Frognar merged commit d1064a2 into main Nov 14, 2026
5 checks passed
@Frognar
Frognar deleted the test/allocation-audit branch November 14, 2026 11:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

test: cover every public member in the allocation properties

1 participant