Skip to content

Hardening/protocol correctness - #1

Merged
auanK merged 25 commits into
mainfrom
hardening/protocol-correctness
Sep 22, 2026
Merged

auanK merged 25 commits into
mainfrom
hardening/protocol-correctness

Conversation

@auanK

@auanK auanK commented Sep 22, 2026

Copy link
Copy Markdown
Owner

No description provided.

Add E2E and reconciliation unit regressions for Invariants 06C and 06C.1 to verify preservation of both branches across concurrent file and directory creation from an empty baseline.

- H3LocalSyncTest.ConcurrentFileDirectoryCreationPreservesBothBranches
- H3LocalSyncTest.ConcurrentDirectoryFileCreationPreservesBothBranches
- ReconciliationTest.ConcurrentFileDirectoryCreationPreservesBothBranchesDirectionA
- ReconciliationTest.ConcurrentFileDirectoryCreationPreservesBothBranchesDirectionB
- ReconciliationTest.ConcurrentFileDirectoryConflictReservationPreservesExistingArtifact
@auanK
auanK merged commit fd77043 into main Sep 22, 2026
6 checks passed
@auanK
auanK deleted the hardening/protocol-correctness branch September 22, 2026 19:52
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.

1 participant