Refactor names to blend with Primitives naming#24

Open

ChrisPulman wants to merge 15 commits into

mainfrom

Commits on Jun 4, 2026

Refactor names to blend with Primitives naming
ChrisPulman
committed

Commits on Jun 6, 2026

Rename Observer types to Witness and update refs
ChrisPulman
committed
Potential fix for pull request finding 'Missed 'using' opportunity'

ChrisPulman
and
github-code-quality[bot]
authored
Potential fix for pull request finding 'Constant condition'

ChrisPulman
and
github-code-quality[bot]
authored
Potential fix for pull request finding 'Constant condition'

ChrisPulman
and
github-code-quality[bot]
authored
Potential fix for pull request finding 'Missed 'using' opportunity'

ChrisPulman
and
github-code-quality[bot]
authored
Potential fix for pull request finding 'Missed 'using' opportunity'

ChrisPulman
and
github-code-quality[bot]
authored
Potential fix for pull request finding 'Missed 'using' opportunity'

ChrisPulman
and
github-code-quality[bot]
authored
Potential fix for pull request finding 'Missed 'using' opportunity'

ChrisPulman
and
github-code-quality[bot]
authored
Potential fix for pull request finding 'Missed 'using' opportunity'

ChrisPulman
and
github-code-quality[bot]
authored
Fix PR24 async replay CI failures
ChrisPulman
committed