[burgholzer]

🤖 AI text below 🤖

Description

Reject DD slab sizes that overflow size_t with std::bad_alloc before allocating. The initial allocation checks entry count against the representable byte size. Growth checks the previous slab's byte size before multiplying and derives the new entry count from it.

An overflowing initial count previously wrapped to a small allocation and was accepted. The new regression reproduces that defect without allocating a large slab. This is a standalone extraction from the native verifier work and has no verifier dependency.

Validation on Linux:

• The new regression fails on unmodified main because no exception is thrown.
• All 218 DD tests pass, including existing growth, reuse, reset and statistics checks.
• Repository lint and whole-file C++ lint pass with zero findings across both changed files.
• The commit is signed and its signature verified.

Hosted CI and human review remain pending. GPT-6 via Codex assisted implementation, validation and this description.

Checklist

• The pull request only contains commits that are focused and relevant to this change.
• I have added appropriate tests that cover the new/changed functionality.
• I have updated the documentation to reflect these changes.
• The changes follow the project's style guidelines and introduce no new warnings.
• The changes are fully tested and pass the CI checks.
• I have reviewed my own code changes.

If PR contains AI-assisted content:

• Any agent that created, edited, or submitted GitHub content was explicitly authorized for that scope, as required by our AI Usage Guidelines.
• Every agent-authored or agent-edited public text body begins with the visible disclosure 🤖 *AI text below* 🤖 (titles are exempt).
• I have disclosed AI assistance in the PR description.
• I confirm that I have personally reviewed and understood all AI-generated content, and accept full responsibility for it.

[codecov]

Codecov Report

❌ Patch coverage is 90.00000% with 1 line in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/dd/MemoryManager.cpp	90.0%	1 Missing ⚠️

📢 Thoughts on this report? Let us know!