ober/gerbil-spec
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Strengthen Gerbil SQLite core specs #5

Merged
ober merged 1 commit from feature/gerbil-sqlite-core-specs-all into main 2026-08-11 12:41:58 -04:00
Conversation 0 Commits 1 Files changed 6 +43 -19
ober commented 2026-08-11 12:29:42 -04:00
Owner
Copy link

Summary:

  • Strengthen SQLite-port core behavior pins for hash collections, weak-key Gambit tables, binary seek overwrite semantics, dynamic-wind continuation reentry, and observed heredoc reader support.
  • Update coverage metadata and generated COVERAGE.md.

Verification:

  • GERBIL=/opt/gerbil/bin/gerbil GXTEST=/opt/gerbil/bin/gxtest sh ci/gerbil-v0.19.sh
  • mcp gerbil_security_scan changed_only severity>=medium: no active issues; 2 test-only binary-read findings suppressed with fresh binary-port rationale.
Summary: - Strengthen SQLite-port core behavior pins for hash collections, weak-key Gambit tables, binary seek overwrite semantics, dynamic-wind continuation reentry, and observed heredoc reader support. - Update coverage metadata and generated COVERAGE.md. Verification: - GERBIL=/opt/gerbil/bin/gerbil GXTEST=/opt/gerbil/bin/gxtest sh ci/gerbil-v0.19.sh - mcp gerbil_security_scan changed_only severity>=medium: no active issues; 2 test-only binary-read findings suppressed with fresh binary-port rationale.
Strengthen Gerbil SQLite core specs
Some checks failed
gerbil-spec / gerbil-v0-19 (pull_request) Failing after 0s
Details
3812a317d5
ober merged commit 4842be3104 into main 2026-08-11 12:41:58 -04:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ober/gerbil-spec!5
No description provided.