From f37bd959d4a5cd09e3152f188b1c65736d18efdd Mon Sep 17 00:00:00 2001
From: Brummel <mould@mycelium.de>
Date: Sat, 30 May 2026 16:10:42 +0200
Subject: [PATCH] =?UTF-8?q?audit:=20raw-buf=20milestone=20close=20?=
 =?UTF-8?q?=E2=80=94=20tidy=20(clean)=20(refs=20#7)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Cycle-close drift review for the raw-buf milestone (raw-buf.1-.6 +
the #42/#43 drop-leak bug-fixes), range a163c8c..HEAD. raw-buf.6
(13e590c) retired kernel_stub; raw_buf is now the sole kernel-tier
base extension, ailang-kernel its family-crate home.

Architect (range a163c8c..HEAD, focus raw-buf.6 removal): clean, no
drift.
- Lockstep pair 3 (INTERCEPTS <-> (intrinsic) markers) intact:
  answer + StubT_peek__{Int,Float} entries left with the deleted
  kernel_stub source; the 12 surviving RawBuf entries (4 ops x
  {Int,Float,Bool}) bijection cleanly with the 12 markers
  parse_raw_buf() generates; intercepts_bijection_with_intrinsic_markers
  green. No orphan entry, no orphan marker.
- Design ledger present-state: INDEX.md + models/0007 name raw_buf
  as the sole live ratifier, raw-buf shipped, series pending. No
  stale "ratified by the stub", no aspirational retirement framing.
- Dangling-reference sweep clean: only residual is the intentional
  self-contained inline serde_json check-layer fixtures in
  ailang-check/src/lib.rs. Kernel crate is lib.rs + raw_buf/ only;
  count pins re-baselined 5->4.
- Lockstep pairs 1 (Pattern::Lit <-> pre_desugar_validation) and 2
  (lower_app <-> is_static_callee) saw no raw-buf-range arms needing
  a mirror. All five architect sweeps exit 0.

Regression (all green, no baseline move):
- compile_check.py: exit 0, 24/24 stable (uniform downward check_ms
  within tol -- stub no longer parsed per compile; within the 20%
  band, no re-ratify warranted).
- check.py: exit 0, 34/34 stable.
- cross_lang.py: exit 0, 25/25 stable.

Resolution: carry-on. No fix iteration, no baseline ratify. Hygiene:
removed untracked git-ignored *.ll.actual scratch files carrying
pre-removal stub IR (never shipped).