Trisha roadmap
The release contract is the complete source → compile → run → prove → verify
path, with explicitly selected Neptune transaction and mining operations.
Current measurements and gate results live in audit,
not in this specification. The coordinated release remains unpublished.
Acceptance gates
| Component |
Required evidence |
Contract |
| Compiler and CPU warrior |
Real source/import/profile/target tests, canonical input and fresh proof verification, tamper rejection |
architecture |
| Metadata and artifact transport |
Actual cycles/heights, native format7/version5, bounded canonical encodings |
proof file |
| Baselines |
All43 independent hand algorithms; positive and rejection vectors; fresh source and hand proofs |
baseline contract |
| Recursive SDK |
Full authorized native claim, actual official verifier, compiled outer STARK |
recursive proof |
| Neptune policy |
Canonical0.15.1 SingleProof and NativeCurrency graph, complete kernel/UTXO binding |
recursive proof |
| Neptune deployment |
Explicit transaction intent, custom lock/output commitments, exact proof and transaction, network-bound transport and admission |
deployment |
| Neptune mining |
Correct consensus schedule, native hash/codec, bounded attempts, safe worker publication and template refresh |
mining review |
| Optional GPU backends |
Actual device/kernel equality and complete verified proof receipts for each advertised backend |
GPU architecture |
| Distribution |
Committed source closure, pinned dependencies, tested installed binaries outside checkouts, platform receipts and hashes |
release scripts |
The default CLI proves with CPU. --features gpu selects Apple mining support.
Shader inventory, a successful adapter initialization or a nonce benchmark
cannot establish complete GPU proving. Retained older status claims and
unverified timings are in historical roadmap claims.
Further proposals
Streaming proofs, helical parallelism, proof merging, double-buffered batches
and alternate hardware backends retain their individual proposal files.
They require their own acceptance evidence before runtime capabilities advertise
them. The production recursive SDK already has an explicit witness/outer-proof
contract; that does not imply a separate trisha merge command exists.
Homonyms
roadmap
roadmap the roadmap of cyber is the launch, in phases. the contract, the gates, the property registry and the calendar live on one page, cyber/launch; the engineering order under it lives in the [delivery roadmap](/cyber/roadmap/index). this page is the map between them and the record of what the…
soft3/roadmap
roadmap
soft3/nox/roadmap
roadmap
neural/trident/roadmap
Design Proposals Proposals for language and VM design changes. Not spec — these are desires documented for future consideration. Each proposal is a standalone markdown file. Status is tracked in the frontmatter. Proposals | proposal | status | what | |----------|--------|------| | noun-types |…
cyb/seer/roadmap
roadmap open proposals for seer. the current contracts live in [specs/](/cyb/seer/specs/readme); this tree holds what is designed and not yet built. proposals | proposal | status | target | |---|---|---| | [learned policy](/cyb/seer/roadmap/learned-policy) | proposal | a GFlowNet mining policy that…
cyb/optica/ROADMAP
roadmap optica is a static-site publisher for markdown knowledge graphs. the rendering pipeline (markdown → HTML → templates → CSS + minimal JS) is constrained by the web platform — DOM, Canvas, CSS. that ceiling is acceptable for documents up to ~10⁴ nodes. high-performance interactive graph…
soft3/zheng/roadmap
zheng roadmap open proposals not yet in canonical spec. all other proposals are now in reference/ as canonical features. proposals | proposal | status | target | |----------|--------|--------| | gpu-prover | draft | full pipeline in VRAM — 45-100x throughput on commodity GPU | | ring-aware-fhe |…
soft3/hemera/roadmap
hemera roadmap hemera is specified: x⁻¹ partial S-box, 16 partial rounds, 32-byte output, ~736 constraints per permutation. these proposals are OPTIMIZATIONS on top of the current spec — reducing constraint count further and shifting hemera's role from "hash for everything" to "trust anchor."…
soft3/bbg/roadmap
bbg roadmap only unfinished proposals remain here. executed proposals have moved to: **reference/** — the spec (WHAT and HOW) **docs/explanation/** — the rationale (WHY) remaining proposals | proposal | in reference? | what's missing | |----------|--------------|----------------| | storage-proofs |…
neural/eidos/roadmap
eidos v0.1.0 — first anchor release Context eidos has solid bones: Cargo workspace (`rs/` library + `cli/` binary), CIC kernel + elaborator + tactic engine, 8 spec files, 139 lib tests, and 27+ theorems verified across `nox/proofs/` and `prysm/proofs/`. Replacement-plan phases 1–5 complete: the…
soft3/foculus/roadmap
foculus roadmap open problems, one file each. not phased milestones — specific unsolved questions, each with enough context to pick up independently. every item here originates from [specs/security-at-scale.md](/soft3/foculus/specs/security-at-scale)'s adversarial review, kept as a brief pointer…
soft3/radio/roadmap
radio roadmap radio transmits. it dials, hole-punches, relays through a peer, gossips, and pipes verified streams; it holds no address, no identity, no store, no reconciliation, no format, no frame of its own. the ledger of what belongs to whom is `soft3/roadmap/component-boundaries.md`. | proposal…
soft3/mudra/roadmap
roadmap
cyb/product/roadmap
cyb roadmap architecture cyb is one robot with four implementations sharing one reference. bevy is the root runtime. all four implementations are accessible from bevy: bevy renders its own native UI (graph, 3D, effects) bevy embeds react via WebView bevy embeds leptos via WebView (WASM) bevy embeds…
soft3/tru/roadmap
roadmap the build plan and open proposals for tru. the current status of each spec is in [specs/](/soft3/tru/specs); this tree holds the forward-looking work. plan [implementation](/soft3/tru/roadmap/implementation) — the milestone plan: module layout, per-spec algorithm, predicate names, and…
soft3/glia/roadmap
glia roadmap done format & import canonical five encodings implemented: `u32` (16.16 fixed-point), `u16` (8.8), `q8` (32-val blocks), `q4` (32-val blocks), `ternary` (2-bit) import pipeline: all weights dequant→f32→canonical at pack time; config stored as integers (eps as 1/ε, sampling per-mille)…
cybics/crystal/roadmap
short term bugfixing cyb: clear a lot of technical debt and make it more reliable and usable offchain inference: generative model built from cybergraph skill for openclaw: agents can talk using decentralized social & cybergraph universal hash: agents can mine tokens on cpu learning rewards main…
cyb/evy/roadmap
evy roadmap open proposals not yet executed. each is a draft → accepted → migrated-to-specs lifecycle. remaining proposals | proposal | status | what's missing | |----------|--------|----------------| | (none yet — first crates land via `bevy/roadmap/cyb-engine-shardstore` in bbg, which blocks…
neural/trident/reference/roadmap
Roadmap Current coordinated source candidate versions are Trident 0.3, Trisha 0.3 and Joy 0.5 with compiler API 3. Historical milestones below retain their original versions. Registry installation is not validated for this candidate; use the coordinated source archive while the [registry packaging…
cyberia/research/oxytocin/roadmap
roadmap oxytocin opens in four stages. each stage is a complete, bookable experience before the next is built — protecting capital and letting each layer prove itself before the next is committed. stage-1 — the body the thermal anchor. the smallest operation that delivers a complete experience and…