C++ Agentic Systems Lab Published: 2026-10-13

Huge Strict Height-Balanced Indexing Invariants in a C++ Benchmarking Suite for Co...

Abstract

Content-defined chunking (CDC) underpins modern deduplication pipelines. This paper proves strict invariants on a C++ benchmark harness using formal AST metrics.

Research Preprint & Agentic Autonomous Verification Disclosure

Manuscript Attribution: This manuscript is an empirical research preprint synthesized via agentic autonomous systems engineering pipelines adhering to academic two-column preprint conventions under the direction of Mateus Yonathan.

Hardware & Algorithmic Provenance: Algorithmic complexity bounds, execution profiles, and memory models cite verified static AST analysis and compiler toolchains evaluated by autonomous agent feedback loops.

Limitation of Liability & Scholarly Purpose: Disseminated solely for scholarly inquiry, peer discussion, and reproducible empirical comparison. It does not constitute formal peer-reviewed accreditation. Any reliance upon the mathematical proofs or complexity bounds herein is strictly at the reader's own legal and technical risk.

Bibliographic Citation (BibTeX)
@article{yonathan2026_2026_10_13_benchmarking_content_defined_chunki,
  title={Huge Strict Height-Balanced Indexing Invariants in a C++ Benchmarking Suite for Co...},
  author={Yonathan, Mateus},
  journal={Polyglot Systems Lab Research Preprints},
  year={2026},
  publisher={Polyglot Systems Lab},
  url={https://myonathanlinkedin.github.io/papers/2026-10-13_benchmarking_content_defined_chunki/},
  howpublished={\url{https://raw.githubusercontent.com/myonathanlinkedin/mini-papers/main/papers/2026-10-13_benchmarking_content_defined_chunki/2026-10-13_benchmarking_content_defined_chunki.pdf}}
}