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 source-policy amendment approved at 21:02:59Z. Raw verdicts and invocation/completion records remain in their immutable PLAN packs. Root owns final CODE disposition, commit and merge. Reducer/no_std work remains a separate dependent task.

The final delta is eleven production files: root Cargo.toml/Cargo.lock, eight inheriting manifests and one Hemera allow-git line in deny.toml. No Rust or canonical specification changed. final/source-freeze.json binds the full candidate/parent files, exact patch and all 511 unchanged tracked Rust files; freeze-final.rb checks those bytes against Git. Two incidental removed EOF blank lines were restored before this freeze. final-bridge/ retains both manifest versions, Nu TOML equality and three complete locked metadata equality checks; historical gate snapshots retain their original bytes.

Evidence staging: /tmp/radio-hemera-pin-execution/. Every gate has an exact argv/cwd/environment/time/exit record plus unedited stdout/stderr in logs/. verify-execution.rb replays 96 records and 192 streams, including the explicit corrected-tag reruns, validates source epochs, parent Git inputs and the exact final diff. That replay result is an integrity check, not a green repository/product verdict. Run 01 predates the runner-hash field; its original runner is preserved, without a contemporaneous hash-binding claim. Later records bind the preserved runner. Each Cargo command uses two jobs and disables incremental compilation; independent target groups overlapped.

Run 01 is the single owning unlocked online resolve, seeded by committed lock. Its sole lock change is Hemera's exact Git source. Runs 02–04 and final runs 44 are locked/offline. compare-metadata.rb checks complete package/node graphs, all eight direct std/serde declarations and the sole removed default marker. The earlier research parent-lock serde probe omitted the job/incremental controls and proves dependency resolution only. Run 07 resolves a separate Radio export without an adjacent Hemera directory. External legacy-Hash probes have their own workspace/lock: parent run 9 compiles, candidate run 11 gets E0308. This is the intentional major source-identity floor; rustdoc comparisons cannot waive it.

Measured gate results, all against the named parent plus the recorded candidate file hashes, are derived from gate-summary.json and its named raw records:

  • BAO debug/release runs 05/06 each pass 88 existing cases. Blobs root_policy, export_pairs, parent_pairs and empty_root filters pass; these filters overlap.
  • Native nextest runs 21/24 each pass 547 cases and skip nine, under the committed CI timeout profile. Their counts are separate feature variants, not unique totals. All-feature compile run 16 and its exact parent both fail E0599: no method named 'add' found for enum 'Result<T, E>' in the current scope (raw Rust output preserves backticks). Dependent all-feature runtime is blocked.
  • Rust 1.89 workspace/all-targets check 31 passes. All-feature doctest run 35 passes 51 cases. Actual particle, radio-cli, iroh-docs and integration package checks 37 pass. Literal CI loops 36 retain stale iroh/iroh-relay selectors; their default check can address registry dependencies, and feature/doctest selectors fail on candidate and parent. They do not substitute for owner gates.
  • Strict scoped/workspace Clippy and format checks 25–30 are red on both sources; first owning diagnostics include clone_on_copy and unnecessary_sort_by. Strict private docs 32 reproduces the broken Self::persist link on both.
  • Shared stable/nightly doc targets in 33/39 produce column-cache errors and remain inconclusive/harness-sensitive. Fresh isolated nightly workflow run 43 exits zero using iroh_docsrs, with output-filename-collision/rustdoc warnings. No zero-warning documentation claim is made.
  • Current-parent runs 40 and corrected last-tag runs 45 (default/none) exit 101 at the generated iroh-car helper's yanked core2 resolution. Completed package results are scoped only. Helpers used fresh separate targets; full helper manifests/ locks and observed rustdoc hash inventories are retained. Those final artifacts alone do not prove both intermediate inputs consumed by the tool. Last-tag Radio f2b1298d uses the explicitly declared current Hemera dependency closure, not a reconstructed historical release. An additional export audit found two license symlink targets had been overwritten by the preparation harness. Original last-tag runs are input-deviant/inconclusive; tag-correction.json binds actual differences and the corrected exact export. Only gradlew.bat required line-ending restoration. New runs 45 repeat the two affected diagnostics with fresh targets; all historical inputs/errors remain.

The newly introduced cargo-deny Hemera source failure in run 34 was fixed within this unit through the approved one-line policy amendment. Full repeat 41 exits 13; sources-only repeat 42 exits 8. The Hemera source denial disappears (five source denials become four); every other diagnostic-heading count and remaining source block is unchanged. Only Quinn remains unmatched, shifted to policy line 31. Existing Willow, license and advisory failures remain red. The advisory DB HEAD is clean and equal immediately before/after these repeats. The pre-amendment pair has only a later-observed DB snapshot and is labelled accordingly. Matcher scope is normalized host/path, including its userinfo/scheme/port/revision limits; Cargo rev and lock enforce the immutable revision.

Fresh soft3 prerequisite 38, at soft3 44824e6c with explicitly named committed sibling exports, fails because cybergraph 42fc2512 lacks the requested local-storage feature. No dirty input or dependency bypass was used. The current product has no direct Radio Cargo edge; this diagnostic does not validate the candidate Radio integration. Product build/runtime/conformance, specification, Kelvin, wider platform/netsim/minimal-versions and ring 2 remain unverified. Existing release pins, FFI and registry Hemera boundaries remain unchanged. The major floor and red gates require root's decision/wip disposition; no version, tag, release or publication is claimed.

Completed target caches are removed only after their command outputs and needed helper artifacts are retained; cleanup receipts name exact owned paths. Original shared worktrees remain untouched. The final CODE pack and portable audit will retain both complete PLAN packs/verdicts, full raw gate records and explicit artifact omissions. This task awaits fresh CODE review and root disposition.

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/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/rtable-owner/execution
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`.…
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…

Graph