RTable owner execution
Stage active; serves Kadek foundation row 6, discovered-from Honeycrisp PR14 and
Erga PR1. Implementation base is Erga 14b40d667b7fa927f62f46423cd8096f01cf704f,
Honeycrisp 9cbd48070a136e24711896c930670fcff8a147fc, Strata
494df7a0973ae10a6cc1c2022e644d70449a29d6. Original working trees are untouched.
The frozen research/PLAN remain the reviewed proposal. Fresh PLAN APPROVE SHA256
5bcec21ed87eaa9ddea2b91cf7f14725c6a6f3d3e29c6d4d074a44f6e613c86c authorized this
unit; final CODE review and root merge decision are separate.
The ten-path implementation has private initialized RTable and Probe owners,
logical-only views/builds, fallible scoped workers, exact probe grids and checked
synchronous completion. No manifest, lock, shader, provider or mine source changed.
No source file exceeds 500 lines. Native gates use exact archived siblings with
an explicit overlay, pinned rustup 1.95.0/LLVM22.1.2, jobs≤2 and private targets.
Nightly error-code doctests use actual nightly-2025-11-26 compiler and rustdoc.
PLAN advisory disposition:
AssertUnwindSafe documents its invariant at the worker scope: owner closed
before work; all started workers joined before any error; only total success
restores access. Private tests inject worker panic and spawn rejection after
one started worker. These are simulated failures, not native OS exhaustion.
- Fresh zero-filled rows have explicit CPU and GPU zero witnesses; only a
successful build establishes the hash relation. Built literals include nonzero
one-read checksums. Independent Go row/checksum literals and the published
eight-byte BoringSSL vector ground the bounded native tests.
- The four baseline RTable diagnostics (three E0133 and one E0596) are discharged.
Newly exposed mine private-field/missing-field/lifetime/mutability API breaks
follow from this unit and remain a separate required owner migration. Old chime
errors can remain masked; no whole-workspace success is implied.
- Future mine import requires a new exact-actual-extent accessor or a narrower
provider contract. The current logical slice does not expose that extent.
No speculative raw export was added. Physical/pinning policy remains open.
import_memory.rs intentionally duplicates the reviewed Blake native preflight.
Erga bench-owner maintenance owns keeping both copies aligned; consolidation
needs its own reviewed caller/contract scope, with no invented registry row.
- Unused direct
acpu/blake2 dependencies are observed; manifests are untouched.
RowCountOutOfRange documents that zero instead maps to Mem(ZeroSize).
Execution records live initially in /tmp/erga-rtable-owner-execution-v1/ for root
verification and later audit packaging. Source freeze v1 was followed by an
edition2021 formatting-only correction: the first owned fmt used edition2024;
its failed check, original bytes and manifest are preserved. Source freeze v2
SHA256 9985b42ba39fba4d78b43ba26c1b33147e71ce9d784f1feb255d6efee7451bde is final
pending review. No semantic correction was required by the initial native tests.
Actual different-device rejection, native GPU fault injection, native destructor
tracing and real OS spawn failure were not executed. Identity/drop order are
source evidence; completion and partial worker failures have explicit simulated
witnesses through production private paths. No invalid native handles were made.
No benchmark sweep, default CLI, mining/network/powermetrics, huge epoch build or
packaging run is part of this unit. CLI verify retains its original counts and
prints incidental timing; no performance claim or timing-table update follows.
No phase, row 6, Image, provider-wide soundness, PA/pinning, rung or release closure.
Homonyms
execution
Execution A neuron executes admitted progs through the existing Rune machine. Work pins code, state revision, input, context and a finite allowance. Ward supplies current host authority independently of those data. The exact persisted fields belong to [data](/soft3/neuron/specs/data) and [runtime…
neural/rune/specs/execution
three execution modes [← specification index](/neural/rune/specs/readme) pure — proven by construction every reduction in the pure subset has a Nox trace, which has a zheng proof. reactive — event-driven computation a `hint` yields execution until matching data arrives. the kernel is a pure…
soft3/glia/run/specs/execution
Execution contract How a loaded `.model` turns into output tokens / audio samples / image pixels. The runtime's public API and internal dispatch rules. Load phase Steps: 1. mmap the `.model` file (read-only). 2. Parse text sections (config, tensors, vocab). 3. Validate config schema and tensor…
soft3/radio/audit/2026-10-13-audit-cargo-packaging/execution
execution
soft3/radio/.claude/tasks/bao-empty-status/execution
Current-origin amendment execution Radio `bc8b6331d3c76cbc011210e13f81e6ea351ef06f`, Hemera `d5f0a09539360934fb32db9b2e15a91995607db6`; previous Radio344 candidate and audit remain untouched. At this initial research point production had no changes in the owned worktree. Fresh raw origins,…
soft3/radio/.claude/tasks/bao-hemera-pin/execution
Hemera source pin execution Serves: Kadek foundation row 4 · Radio/soft3 · dependency delivery prerequisite. Parent Radio `a11d342594949d4ea542b26366f71d56ef21662d`; Hemera `d5f0a09539360934fb32db9b2e15a91995607db6`. Original Grok PLAN approved at 2026-10-11T20:36:14Z; the separately reviewed…
soft3/radio/.claude/tasks/kadek-memstore-pairs/execution
Execution notes Fresh PLAN v2 APPROVE received; source scope remains the approved two store writers. The original immutable PR32 right-proof.bin will be copied byte-identically into iroh-blobs/src/store/mem/parent_pairs/right-proof.bin for package-safe include_bytes!. This preserves the approved…
soft3/radio/audit/2026-10-12-bao-bounded-proof/task/execution
Approved execution Implementation parent: Radio b933829cbe273d2f31fe75ca83125f3ddd8917a2. The immutable PLAN input is 8ae88f7dd21b5cc00228737e3cfb2abbb1e471810e5b524fd2f700cc7e45868f. Fresh Opus PLAN approved without blockers at 2026-10-12T23:47:49.084499Z; raw…
soft3/radio/.claude/tasks/bao-root-policy/execution
Execution notes Approved plan v3 remains frozen. Fresh Opus source-only PLAN review: `/tmp/kadek-bao-root-policy-plan-v3-review.txt`, explicit APPROVE, session99218 exit0 (root receipt). Implementation starts from radio258724bd with exact Hemera23f3bbcf; no commit or release is part of this…
soft3/radio/.claude/tasks/bao-bounded-traversal/execution
Bounded traversal — pre-implementation evidence Current parent is Radio `a96d86e28d384cdf656aadc4282c78c0c170c102`, the actual PR38 merge. The ordinary fast-forward preserves this task's untracked artifacts. The 11 Git command records / 22 raw streams in…
warriors/erga/.claude/tasks/blake-batch-owner/execution
Blake batch owner execution Stage active: implementation and scoped gates complete; fresh different-vendor CODE review APPROVE received. Research and plan remain the original reviewed snapshots. This execution note records later state without rewriting review inputs. Serves Kadek foundation row 6's…
warriors/erga/.claude/tasks/mine-owner/execution
Mine owner execution 2026-10-11: resumed frozen PLAN-only task at origin/main 8dcb33888868d74ddfda3eeeb9bc90e58677b394. Independent replay verified 162 inputs, 82 exact Git bodies and 871 archive files; origins unchanged. PLAN pack SHA256…
soft3/radio/.claude/tasks/bao-bounded-reducer/execution
Bounded BAO group reducer — execution Serves Kadek phase-1 foundation row 4 through Radio/soft3. Parent is `dacd030c9d6301b316a96b5bc6e4ea1e1cec79f1`; Hemera remains pinned to `d5f0a09539360934fb32db9b2e15a91995607db6`. This calculates hashes only. No authenticated particle/root association, proof…
soft3/radio/.claude/tasks/bao-bounded-proof/execution
Approved execution Implementation parent: Radio b933829cbe273d2f31fe75ca83125f3ddd8917a2. The immutable PLAN input is 8ae88f7dd21b5cc00228737e3cfb2abbb1e471810e5b524fd2f700cc7e45868f. Fresh Opus PLAN approved without blockers at 2026-10-12T23:47:49.084499Z; raw…
soft3/nox/.claude/tasks/hemera-no-std/execution
Hemera feature-boundary execution Approved input: PLAN v2 `1f2028db98726cea04732856de00b2b058501b930112df0811f09c83c1ac60d3`. Fresh Opus 5 APPROVE completed `2026-10-13T02:23:59.183394Z`; raw stdout `1bd21c68c348163df8bd58a0205772732e50dfc733d30374aa61cdf88d09c223`. Invocation/completion/full raw…
soft3/radio/.claude/tasks/audit-cargo-packaging/execution
Packaging execution Stage: approved; final handoff to root. Fresh Opus PLAN v2 approved at 2026-10-13 01:58:51 UTC; raw SHA256 `27a51f83e0ea67a2fbd7951f8bf83a2572ea4fe859a95d99a33d90f233a7dec4`. Root read the verdict and independently replayed the frozen input. V1/v2 packets, both raw reviews and…