Repository navigation

Audit the materialization-kernel closing frontier - #7686

Merged

briansrls merged 18 commits into

mainfrom

session/quick-swift-501

Aug 3, 2026

Merged

Audit the materialization-kernel closing frontier#7686
briansrls merged 18 commits into
mainfrom
session/quick-swift-501

Commits on Aug 2, 2026
- WIP: Lane F: materialization kernel closing contract + delivered-vs-not audit
  gunbc-ci-auto-heal
  committed
  53ad6c4
- Fix syntax errors in materialization kernel closing contract + green witnesses
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9c1ed57
- WIP: Lane F: materialization kernel closing contract + delivered-vs-not audit
  gunbc-ci-auto-heal
  committed
  337460c
- Lane F clause 2: record attempted-and-blocked finding, not silent stall
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  def6fc7
- WIP: Lane F: materialization kernel closing contract + delivered-vs-not audit
  gunbc-ci-auto-heal
  committed
  4f303ce
- WIP: Lane F: materialization kernel closing contract + delivered-vs-not audit
  gunbc-ci-auto-heal
  committed
  e85117f
- Merge e85117f76768fb42cf56c9f1e2e7b79841d8ac94 into 2ab7c1ee96ecd2e57196e3fa87f05a43fbecc1e9
  gunbai-bot[bot]
  authored
  66d1cf4
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  520e604
- Restore disk-tier repeat-resolve memory-growth Open Threads entry
  gunbc-ci-auto-heal
  committed
  499978c
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  9d81fd2
- WIP: Lane F: materialization kernel closing contract + delivered-vs-not audit
  gunbc-ci-auto-heal
  committed
  a9b090a
- Regenerate DESIGN.md from design_document.dag to restore disk-tier entry durably
  gunbc-ci-auto-heal
  committed
  674e625
Commits on Aug 3, 2026
- WIP: Lane F: materialization kernel closing contract + delivered-vs-not audit
  gunbc-ci-auto-heal
  committed
  1e87094
- Lane F: collapse repeat-resolve OOM finding to one durable home (DESIGN.md)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8da60d6
- Merge remote-tracking branch 'origin/main' into session/quick-swift-501
  gunbc-ci-auto-heal
  committed
  c2b0e08
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  4974577
- Merge remote-tracking branch 'origin/main' into session/quick-swift-501
  gunbc-ci-auto-heal
  committed
  7f387cd
- Regenerate DESIGN.md after merging main (drift-gate oracle)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  580e035

Commits

Commits on Aug 2, 2026

Commits on Aug 3, 2026