image:https://img.shields.io/badge/License-MPL--2.0-blue.svg[License: PMPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"]
image:https://img.shields.io/badge/Philosophy-Palimpsest-indigo.svg[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-license"]


// SPDX-License-Identifier: CC-BY-SA-4.0
= DevKit RISC-V




:toc: macro
:toclevels: 3
:icons: font
:source-highlighter: rouge

[.lead]
*Repository project specification — will be uploaded shortly*

''''

toc::[]

== Status

[IMPORTANT]
====
This repository currently contains **infrastructure scaffolding only**.
No devkit code, conceptual documentation, or technical specifications have been uploaded yet.
====

=== What Exists Now

[cols="2,3",options="header"]
|===
| Component | Description

| `.github/workflows/mirror.yml`
| Hub-and-spoke SCM mirroring (GitLab, Codeberg, Bitbucket)

| `.github/workflows/instant-sync.yml`
| Instant forge propagation via `hyperpolymath/.git-private-farm`

| `.claude/CLAUDE.md`
| Language policy & AI assistant governance (Hyperpolymath Standard)
|===

=== What Will Be Added

* [ ] RISC-V devkit specifications
* [ ] Core implementation
* [ ] Documentation & guides

== Roadmap

[WARNING]
====
Roadmap pending project specification upload.
====

=== Phase 0: Infrastructure ✓
* [x] Repository creation
* [x] Multi-forge mirroring (GitLab, Codeberg, Bitbucket)
* [x] Instant-sync workflow
* [x] Language policy establishment

=== Phase 1: Specification
* [ ] Upload project specification
* [ ] Define devkit scope & objectives
* [ ] Architecture documentation

=== Phase 2: Implementation
* [ ] _To be defined in specification_

=== Phase 3: Release
* [ ] _To be defined in specification_

== Language Policy

This project follows the **Hyperpolymath Standard** (see `.claude/CLAUDE.md`).

.Permitted Stack
[cols="1,2",options="header"]
|===
| Technology | Use Case

| Rust | Systems, CLI, WASM, performance-critical code
| ReScript | Application code (compiles to JS)
| Deno | Runtime & package management
| Gleam | Backend services (BEAM/JS target)
| Tauri 2.0+ / Dioxus | Mobile apps (no Kotlin/Swift)
| Guix / Nix | Package management
|===

.Explicitly Banned
* TypeScript, Node.js, npm, Bun, Go, Java, Kotlin, Swift, Flutter

== Forges

This repository is mirrored to:

* https://github.com/hyperpolymath/devkit-risc-v[GitHub] (primary)
* https://gitlab.com/hyperpolymath/devkit-risc-v[GitLab]
* https://codeberg.org/hyperpolymath/devkit-risc-v[Codeberg]
* https://bitbucket.org/hyperpolymath/devkit-risc-v[Bitbucket]

== License

PMPL-1.0-or-later
