nebu package identity — plan
One manifest identity repair restores origin-source Cargo resolution for the
unimem gate prerequisite. Root owns implementation/review/commit/PR; this unit
does not overlap the Block constructor's source/spec files.
- Record
rustc -Vv, cargo -V, host and target: actual toolchain 1.95.0,
aarch64-apple-darwin, M4 Max/Mac16,5, macOS26.4.1 build25E253. Strata's
edition2024/rust-version1.89 requires at least Rust1.89; honeycrisp resolver2
governs this graph. Toolchain failure is distinct from dependency resolution.
Change only workspace nebu.package from cyb-nebu to strata-nebu, keeping
alias, path and unspecified feature policy → verify exact one-line manifest
diff and both benchmark call sites against the pinned public source.
- Overlay that manifest into fresh full honeycrisp/strata archives; run
cargo metadata --format-version 1 --offline to refresh the lock using the
existing lock as resolver input → verify metadata resolves every local
package under these exact archives; no dirty input or path substitution.
Copy the generated lock back only after comparing package/source/checksum
tuples. Expected: cyb-nebu0.1.0 becomes strata-nebu0.1.1; four strata tier
packages become0.1.1; now-unused registry acpu/unimem duplicates disappear,
with their path-package dependency disambiguators collapsing. Remaining
registry tuples must be identical. Strata's nonmember dev-deps do not enter
resolution. Any unexpected delta stops for explanation. No blanket update.
If offline resolution itself lacks a cache artifact, retain that diagnostic
and permit one recorded network metadata run using the existing lock; apply
the same tuple comparison before accepting its result.
After copying, read live sibling HEAD/status. Only if clean and exactly
pinned, run a secondary cargo metadata --locked --offline in the owned
worktree, then recheck sibling status. Otherwise record divergence and skip
that convenience check. All authoritative gates and the dependent Block
unit use archived exact sources; live sibling state is never a prerequisite.
- Run
cargo metadata --format-version 1 --locked --offline,
cargo fmt --all -- --check,
cargo clippy --workspace --all-targets --locked -- -D warnings,
cargo build --release --workspace --locked, cargo test --workspace --locked
and cargo build -p acpu --release --example bench_zk --example bench_summary --locked → retain commands, exits and first diagnostics with separate private
targets. Metadata checks resolution; all-target Clippy/test compilation and
named example linking exercise the changed dependency. Ordinary release
build checks production only. Benchmark examples are compiled, not executed;
record that limit against acpu's examples-run doctrine. Run its bounded
cargo run -p acpu --example matmul --locked gate separately, without claiming
it exercises nebu. Record actual executed/skipped AMX/ANE/Metal test names.
For attributable downstream errors, archive a separate control at the same
pins, delete only acpu's nebu dev-dependency in that temporary control and
refresh its lock. Run the identical gate set. Missing-nebu errors in its
benchmark examples are expected and cannot classify candidate nebu errors;
identical diagnostics in untouched common source can. Neither control edits
nor generated control lock enter the PR. No untested baseline attribution.
- Execute semver checks for the public crates against v0.2.0 and source parent
where the real manifests resolve; a resolution/tool/build failure is a red
diagnostic, not compatibility proof → verify actual compared roots. Source
remains byte-identical, a separately stated inspection fact. Run registry/
reverse-closure checks available from origin; never invent ring readiness.
- Freeze manifest/lock, write
audit/2026-10-09-nebu-package-identity/ and
task review receipt, then fresh different-vendor CODE review → verify all
final bytes and honest red gates before ordinary source PR. A required red
uses wip: with first diagnostic and decision; owner session already
authorizes ordinary source merges, never bumps/releases. No green ring claim.
Failures to check: wrong source selected despite correct name; registry lock
churn unrelated to the repair; benchmark API mismatch; current empty defaults
mistaken for retained acceleration; downstream build errors hidden by an
isolated unimem harness. Actual dependency/test failures are recorded and split
into separate reviewed units; this unit does not repair CPU/GPU/ANE source.
Touched files: Cargo.toml, Cargo.lock, this task's research/plan/review and its
audit receipt/reproducer. No specs/source/API/version/feature toggle changes.
Full upstream gates and rung closure remain distinct from metadata success.
Keep fast off deliberately: it enables a registry acpu beside the local acpu,
including another driver implementation. This repair preserves the declared
default-feature policy without adding that path; record selected features from
metadata/tree. Benchmark speed and acceleration remain unmeasured. Record the
root CLAUDE.md standalone-nebu URL as deferred documentation drift; the current
package/source identity is settled here and in the audit. Session authorization
is implementation of phase1/2 and ordinary source merges; package identity is
the only declaration change, with no version requirement or release action.
Homonyms
plan
plan the schedule: standing orders and deferred intents. the seed exists — the mining standing order in cy/specs/body|body is the first plan entry; it generalizes into the robot acting at 3am so you don't have to. cyb/parts/time|time reads the plan forward as the future half of its screen. part of…
warriors/erga/plan
erga — ERGO (Autolykos v2) miner for Apple Silicon Zero-copy Autolykos v2 miner on Rust using the honeycrisp hardware driver stack. ERGO uses Autolykos v2: a memory-hard k-sum PoW where each nonce attempt requires 32 random reads from a 2+ GB precomputed table R, summed, and Blake2b256-hashed…
cy/specs/plan
neural/rune/PLAN
rune implementation plan rune = open-computation language for the cyber soft3 stack. Full spec: `~/cyber/cyber/root/rune.md`. architecture Two registers, one AST, one Nox target: `rust` — classic, Rust-familiar surface `rune` — pure, Hoon-style sigil surface Three proof tiers: pure: unconditional…
soft3/mir/docs/plan
Graph World — Rendering Implementation Plan Protocol spec: `cybergraph/reference/render.md` (R-1.0) Implementation spec: `cyb/render/specs/render.md` (R-1.0-cyb) Architectural decisions Barnes-Hut vs BVH The deeper question is not "which algorithm for rendering cull" but "does this manifold need…
neural/inf/rs/plan
plan
soft3/radio/audit/2026-10-11-bao-bounded-traversal/plan
Checked traversal PLAN evidence Research and proposed tests only, on actual Radio parent `a96d86e28d384cdf656aadc4282c78c0c170c102` (PR38). Production is unchanged. The [PLAN](/soft3/radio/.claude/tasks/bao-bounded-traversal/plan) specifies one admitted byte range, one emitted geometric item per…
soft3/nox/.claude/tasks/hemera-no-std/plan
Preserve nox's no_std dependency boundary Stage: revised PLAN v2, awaiting fresh different-vendor review. Parent: `0b1407a4b855e4961ede07e1b7ea199cb8018c30`. Lineage and measured failures are in [research.md](/soft3/nox/.claude/tasks/hemera-no-std/research); exact feature/ring analysis is in…
soft3/radio/.claude/tasks/bao-bounded-reducer/plan
Bounded BAO group reducer — proposed PLAN Serves: owner's Kadek phase-1 closure · Radio/soft3 · foundation row 4, bounded authenticated-range prerequisite. Source research is pinned in research-inputs.json at Radio `a11d342594949d4ea542b26366f71d56ef21662d` and Hemera…
soft3/radio/.claude/tasks/bao-bounded-traversal/plan
Bounded BAO range traversal Stage: draft; independent PLAN review pending, no production changed. Serves the owner's Kadek phase-1 closure, Radio/soft3 and foundation row 4 (bounded authenticated source ranges). Discovered from the [measured traversal…
soft3/radio/.claude/tasks/audit-cargo-packaging/plan
Lossless archival Cargo manifests Status: draft; fresh different-vendor PLAN approval required before edits to existing artifacts. Serves Kadek foundation row 4 through Radio; discovered from PR40's committed Git consumer. Parent: `ce0fb312faa8770e80efe9afa864106ae6b51552`. Result Rename exactly…
cyb/honeycrisp/.claude/tasks/unimem-block-creation/plan
Checked Block creation — plan PLAN approved with binding conditions in `/tmp/unimem-block-creation-plan-review.txt`. Implementation follows those conditions; fresh CODE review remains required. Base: `9593c7218e14e2b5b816d9008b45ab60b9580cf3`, branch `fix/unimem-block-creation`. Serves kadek…
warriors/erga/.claude/tasks/blake-batch-owner/plan
Close the Blake benchmark batch owner Stage draft; awaits root and fresh different-vendor PLAN approval. No production changes. Base Erga848e17e2522db2f6225ad72d9b1797f8735d26d0; Honeycrisp9cbd4807, Strata494df7, exact full pins/source evidence in research.md. Serves Kadek native Image ownership…
cyb/honeycrisp/.claude/tasks/unimem-block-access/plan
Raw Block access — PLAN v3 candidate Serves Kadek foundation row6/native ownership prerequisite; upstream unimem CPU access and aruminium import contracts. Base `7b148906263da5ea8aabc5ddb0e2e44ff2288ecc`; [research](/cyb/honeycrisp/.claude/tasks/unimem-block-access/research) records parent and…
soft3/radio/.claude/tasks/bao-hemera-pin/plan
Pin the shared Hemera dependency Serves: owner's Kadek phase-1 closure · Radio/soft3 · consumable dependency prerequisite for bounded BAO verification, foundation row 4. Stage: draft. Source parent Radio a11d342594949d4ea542b26366f71d56ef21662d; Hemera source…
soft3/radio/.claude/tasks/bao-bounded-proof/plan
Bounded complete-buffer BAO proof verification Proposed PLAN; no production implementation or approval. Serves Kadek foundation row 4 through Radio, declared part of soft3; the future Kadek adapter reaches Cyb. Radio implementation parent is b933829cbe273d2f31fe75ca83125f3ddd8917a2 (PR39); research…
warriors/erga/.claude/tasks/mine-owner/plan
Mine owner plan Stage draft; implementation waits for fresh different-vendor PLAN approval. Serves Kadek foundation row6; discovered-from Honeycrisp PR14 and Erga PR2. Base `8dcb33888868d74ddfda3eeeb9bc90e58677b394`, Honeycrisp `9cbd4807`, Strata `494df7a`; full pins/evidence in research. No…
warriors/erga/.claude/tasks/rtable-owner/plan
RTable owner plan Stage draft; implementation waits for fresh different-vendor PLAN approval. Serves Kadek foundation row 6; discovered-from Honeycrisp PR14 and Erga PR1. Base `14b40d667b7fa927f62f46423cd8096f01cf704f`, Honeycrisp `9cbd4807`, Strata `494df7a`; full revisions/evidence are in…
soft3/radio/audit/2026-10-12-bao-proof-research/prerequisite/plan
Bounded BAO range traversal Stage: draft; independent PLAN review pending, no production changed. Serves the owner's Kadek phase-1 closure, Radio/soft3 and foundation row 4 (bounded authenticated source ranges). Discovered from the [measured traversal…
soft3/radio/audit/2026-10-12-bao-proof-research/task/plan
Bounded complete-buffer BAO proof verification Proposed PLAN; no production implementation or approval. Serves Kadek foundation row 4 through Radio, declared part of soft3; the future Kadek adapter reaches Cyb. Radio implementation parent is b933829cbe273d2f31fe75ca83125f3ddd8917a2 (PR39); research…
soft3/radio/.claude/tasks/kadek-export-pairs/plan
Correct actual BAO exporter pair width Status: source-only plan awaiting fresh different-vendor approval; no code/tests edited or builds run. Base origin/main `764d732ac38fb9116c4cf525a6d1bb463d409a06`. Owned branch/worktree: `fix/kadek-export-pairs` /…
soft3/radio/.claude/tasks/bao-root-policy/plan
Canonical BAO ROOT finalization Status: draft v3, awaiting correction PLAN review; no implementation. Serves: Kadek phase-1 foundation row 4 and runtime proof-before-admission clause; radio's Hemera BAO dependency, pinned tree ROOT finalization contract. Base: radio…
soft3/radio/.claude/tasks/kadek-slice-traversal/plan
Correct sync slice traversal Status: implementation source frozen for fresh code review. Scoped tests pass; unrelated Clippy/full-workspace/tooling failures remain visible in research. Base: radio `db1d62e2cd1e4b2f309fa19bcc158bd29b44753d`, freshly fetched origin/main. Owned worktree:…
soft3/radio/.claude/tasks/kadek-memstore-pairs/plan
Canonical in-memory BAO parent pairs Status: proposed PLAN v2; fresh different-vendor approval required before source edits. Serves: Kadek phase-1 row4, existing radio verified-range import/storage dependency. Base radio `0d11468503c052aa5dcefb0dabc4602bd8efdc60`, exact Hemera…
soft3/radio/.claude/tasks/bao-empty-status/plan
Fs synthetic empty status — PLAN amendment Stage: active. Fresh Grok4.7 PLAN APPROVE preceded production edits; the exact reviewed draft and raw verdict remain frozen in the audit. Fresh CODE APPROVE and root disposition are retained in audit/2026-10-11-empty-status/. Serves Kadek phase 1…