Preserve default behavior and expose unimem without std
Review-ready; production unchanged at 9cbd48070a136e24711896c930670fcff8a147fc.
Serves Kadek phase 1 / native Image dependency. Fresh different-vendor PLAN review
and substantive finding resolution precede production; fresh CODE approval
precedes ordinary source acceptance. No version, tag, release or publication.
- Freeze the exact parent, existing native tests, compile-only consumer and
crossbeam feature/source inputs → verify the existing driver builds; the
explicit no-default consumer fails E0152, while its ordinary std control builds.
Keep initial newer-cache resolution separate from the final workspace-pinned
consumer. Preserve literal consumer source and lock for the candidate. The
parent already passes 53 tests + 13 doctests and 44 isolated native tests;
the standalone no_std consumer and proposed durable gate both fail E0152.
- Give unimem
default = ["std"] and std = ["crossbeam-queue/std"]; request
crossbeam-queue with default features disabled and alloc enabled at its workspace
declaration, retaining version requirements/lock → verify default dependency
features preserve the prior std-enabled queue/utils behavior, and the isolated
no-default target closure contains no runtime std dependency. Cargo feature
unification can re-enable std when another consumer requests it; document this.
- Add
#![no_std], use core for existing runtime namespaces, and import test-only
std/prelude items explicitly → verify no changed FFI signatures, safety contract,
allocation algorithm, public types or native layout; the frozen no_std consumer
now compiles with the same source/lock. Its inert allocator remains compile-only.
Add test-only extern crate std and explicit thread_local, vec, Vec
imports; preserve existing test bodies/events. Integration tests/examples are
separate std crates. Runtime unimem itself needs no std namespace import.
- Install the frozen Nu gate and three fixture files → verify parent E0152,
candidate pass, checksum-drift rejection before Cargo, and unchanged workspace/
template locks. Derive paths from the script; respect caller Cargo/toolchain/
CARGO_HOME. Compile in one temporary target, clean only that directory, never
execute the inert allocator/driver. Compare locked queue/utils/mutants identities,
unimem version and normal dependency names. Offline cache misses remain real
prerequisite failures; no silent pin updates. Add the named gate to CLAUDE.md.
- Run native owning tests/docs under default and no-default features, the existing
native examples/benches, fmt and strict workspace Clippy/build/tests → retain
actual commands, source epochs and any pre-existing broader failures. Bench
execution is not a new numerical performance guarantee. Do not silently replace
native calls with mocks to claim a no_std runtime result. Also run the isolated
44 native tests with identical bodies/lock and only the dependency path changed.
Owning no-default tests can unify std through reverse dev-dependencies and are
insufficient alone. Retain default, explicit std, isolated no-default and owning
test feature trees. Compare actual std/alloc cfgs; the unused queue
default
marker can disappear. Source inspection establishes its lack of cfg consumers.
- Check public API from separate parent/candidate rustdoc JSON and actual last tag
availability; record additive feature policy and reverse consumers → preserve
real gate gaps. Fresh CODE review sees the complete small delta, exact controls
and compact audit. Commit/push an ordinary PR under standing owner authorization;
no Image phase completion or delivery claim follows. Select the explicit unimem
package to avoid preexisting audit manifest ambiguity. Preserve actual disjoint
compilation roots/input identities. The exact tag gate already fails at the
historical NeBu path and stays unmet; a repaired tag harness is no substitute.
Files: root Cargo.toml (queue feature defaults only), unimem/Cargo.toml,
unimem/src/{lib,block,ffi,tape,grid,layout}.rs, block/creation.rs and the minimum
test-only imports in block/tests.rs. Existing tests keep their expectations.
One concise README usage note explains Apple-only no-default operation and the
allocator/feature-unification boundary; canonical specifications remain unchanged.
Additional files: unimem/CLAUDE.md, unimem/scripts/check-no-std.nu, and
unimem/fixtures/no-std/{consumer.rs,Cargo.toml.txt,Cargo.lock.txt}. The templates
are never repository Cargo manifests. Frozen proposed bodies are in
/tmp/unimem-core-gate-draft/unimem/; no production copy is installed before review.
Research, reviewed plan and observations stay in task/audit directories. Keep
replay tools in Nu/Rust; temporary historical capture helpers are evidence.
Five likely failures and their checks: transitive std remains (own panic-handler
consumer); default queue backoff changes (feature graph equality); test prelude
breakage (both feature-mode native suites); namespace replacement changes public
traits or FFI (full diff/API comparison); no_std gets confused with platform or
native ownership closure (explicit remaining requirements in research/report).
The core-only feature mode may spin under queue contention where std yields;
that is the dependency's explicit no_std policy, not default-mode equivalence.
Grid remains an allocating legacy utility, with no new memory/work bound. Block
still exposes raw capabilities; no alternate storage type or synchronization layer
is introduced. If a real gate requires a wider semantic change, stop this source
unit at the measured boundary and bring that change into its own reviewed plan.
Required candidate commands (locked/offline where Cargo supports them): owning
build, test default/no-default, standalone durable check, isolated native tests,
bench, release pipeline; workspace fmt --all --check, strict Clippy, release
build, tests; explicit parent API comparison. Use separate parent/candidate compiler
targets, jobs 2/incremental off, declared compiler/warning flags. Preserve original
baseline records 01–17 including preparation errors. Repeat an affected gate only
for a source/failure/input change. No performance threshold or benchmark improvement
claim is introduced by this namespace/feature boundary.
Computed floor: additive feature policy at least minor/ring 1. Registry Honeycrisp
belongs to Nox; concrete reverse consumers include Cyb and the pinned manifest
inventory in research. Rung product/dependent/specification/Kelvin gates remain
unverified, tag comparison blocked, workspace fmt/Clippy/tests red. Keep decision
and any required wip: first-error commit wording under standing ordinary-source
authorization. No dependency versions, Cargo.lock, sibling pins, FFI signatures,
allocation/access semantics or release actions change. Final CODE review receives
these limitations, not an inferred all-green or full-native-Image claim.
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…
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…
cy/specs/plan
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…
neural/inf/rs/plan
plan
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…
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/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/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/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` /…
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…
cyb/honeycrisp/.claude/tasks/nebu-package-identity/plan
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. 1. Record `rustc -Vv`, `cargo -V`, host and target:…
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…
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…
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/.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-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…
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/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/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…
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…
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/.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:…