This is the website shelf page for docs/ps1/memory-region-allocator-red-team-v9.md. It exists because the project has hundreds of Markdown files and the website should not pretend the interesting work only happened in the polished essays.

Why this file matters

Active PS1 reference. This is active engineering documentation for the PS1 port. It is close enough to the code that stale claims here become real bugs.

Companion to memory-region-allocator-plan.md v9, implementation status, and the prior red-team rounds (v1-v8).

File facts

Field Value
Source path docs/ps1/memory-region-allocator-red-team-v9.md
Lines 1427
Approx. words 8213
Code fences 9

Outline

  • Memory region allocator — red team v9 (post-implementation reality check)
  • The single biggest finding
  • What actually ships
  • What works
  • Measured performance
  • What does NOT ship as planned
  • What is honestly unsafe to ship
  • Red flags for future work
  • Recommended next steps
  • Empirical perf data (post-streaming-refactor + all-libc allocator)
  • Verdict
  • Update — 2026-05-16: static region now active (1012 KB)
  • What changed since the original v9 writeup
  • Boot proof — actual behavior

Read it in context