Protocol type checking#1688

Draft

croyzor wants to merge 51 commits intoprotocol-mainfrom

Commits on Sep 22, 2025

Commits on Sep 24, 2025

Format
tatiana-s
committed

Commits on Sep 25, 2025

Commits on Nov 10, 2025

Merge remote-tracking branch 'origin/main' into parsing
tatiana-s
committed

Commits on Nov 17, 2025

Commits on Nov 24, 2025

Remove declaration annotation
tatiana-s
committed

Commits on Dec 8, 2025

Commits on Jan 5, 2026

Start protocol call checking, fix parameterised test syntax, fix some type checks, start adding custom errors
tatiana-s
committed

Commits on Jan 8, 2026

Add assumption test, tuples instead of lists for hashing, debug protocol calls
tatiana-s
committed

Commits on Jan 12, 2026

More protocol call checking
tatiana-s
committed

Commits on Jan 14, 2026

Merge remote-tracking branch 'origin/main' into checking-fresh
croyzor
committed

Commits on Jan 16, 2026

Continue trying to get checking to work
tatiana-s
committed

Commits on Jan 19, 2026

Continue protocol checking
tatiana-s
committed

Commits on Jan 21, 2026

Add more examples
tatiana-s
committed

Commits on Jan 27, 2026

Commits on Mar 17, 2026

fixups
croyzor
committed

Commits on Mar 18, 2026

Commits on Mar 20, 2026

Commits on Mar 23, 2026

Make must-implement-protocol fields tuples so they can be hashed
croyzor
committed

Commits on Apr 9, 2026

Commits on Apr 22, 2026

Merge branch 'protocol-main' into checking-fresh
croyzor
committed