Skip to content

docs: define BoolArray removal contract#187

Merged
linkdata merged 1 commit into
mainfrom
docs/175-boolarray-removal-contract
Jul 20, 2026
Merged

docs: define BoolArray removal contract#187
linkdata merged 1 commit into
mainfrom
docs/175-boolarray-removal-contract

Conversation

@linkdata

Copy link
Copy Markdown
Owner

Summary

  • document that WriteLocked removal does not detach Bool values
  • define the live-element and in-flight-event restriction for structural removal
  • clarify that Bool.Array reports fixed association and that Bool.JawsSet does not check membership

Closes #175

Verification

  • go test -race ./...
  • go vet ./...
  • staticcheck ./...
  • golangci-lint run ./...
  • gosec -quiet ./...
  • go build ./...
  • gofmt -l .
  • go doc github.com/linkdata/jaws/lib/named BoolArray.WriteLocked
  • go doc github.com/linkdata/jaws/lib/named Bool.Array

@linkdata
linkdata merged commit 18cdc99 into main Jul 20, 2026
7 checks passed
@linkdata
linkdata deleted the docs/175-boolarray-removal-contract branch July 20, 2026 15:53
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.

Removed Bool values can mutate the live BoolArray selection

1 participant