| … | … | @@ -4311,6 +4311,15 @@ injected per layer: |
| 4311 | 4311 | numbering. Only `tools/l2-ops` and l2's own gates stay on l2 until R4c-4e. |
| 4312 | 4312 | - **E6. The core gate's `hops` mode and the R4c-4b concurrency scripts,** compared line for line with Bare at |
| 4313 | 4313 | pool = 1. Any difference is a finding, fixed in core. |
| 4314 | - **E1 DONE (2026-10-11, keetd adc9386).** `core/include/hc/storage_facade.h`, namespace `hcore::l2f`: hc::storage's |
| 4315 | A0 API over the synchronous l2 — CoreRX getters queued and resolved at `tryFlush` in call order (a getter after |
| 4316 | `tryFlush` / `destroy` rejects with the freed view's TypeError; `destroy` drops the queue), `CoreTX::flush` |
| 4317 | resolved at the call, Atom Handlers returning `Promise<void>` adapted to l2's callbacks (`flushing` is l2's |
| 4318 | flag), streams as streamx Readables over l2's collected entries (`mapTo` / `mapped<V>`). A separate header, |
| 4319 | not a widened merkle_l2.h: both go at E5. Nothing uses it yet. Gate `r4c4d_facade`; drill r4c4d1 6/6 red. |
| 4320 | **Tripwire correction:** E1 changes nothing core calls, so the frontier tripwire (drill r4c4d0, "verify |
| 4321 | outside a frontier") cannot go red here; its deadline is **E2** — the Promise Mutex's lock hop is the first |
| 4322 | delayed core completion. |
| 4314 | 4323 | - **E0 OUTCOME (2026-10-11): the outer-queue mechanism below was BUILT, MEASURED UNNEEDED, and REMOVED |
| 4315 | 4324 | (keetd a86e194).** Its motivating example is wrong: `inOndata_` is set only inside `Replicator::_ondata`, |
| 4316 | 4325 | which runs AFTER `verify` returns, outside its frontier; hooks fired inside `verify` resolve synchronously |