Skip to content

Commit 457c813

Browse files
AxonOS-BCIAxonOS-BCI
committed
v0.2.3 — AxonOS-style refresh
Comprehensive AxonOS-style refresh on top of the released v0.2.2. Source and ABI unchanged (KERNEL_ABI_VERSION = 1, all 28 Kani harnesses). - email: personal author address -> connect@ (56 occurrences incl. SPDX headers, manifests, per-crate LICENSE-APACHE/MIT) - repository URL case corrected to lowercase axonos-kernel (crates.io) - README: AxonOS palette badges, removed Ferris, full stack table, canonical footer (Singapore first) - added .gitignore and SECURITY.md - bump 0.2.1 -> 0.2.3 (v0.2.2 was a docs/citation tag without a crate bump)
1 parent 058de86 commit 457c813

53 files changed

Lines changed: 274 additions & 103 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.gitignore‎

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
# Rust build artefacts
2+
/target/
3+
**/target/
4+
*.pdb
5+
6+
# Profiling and coverage
7+
*.profraw
8+
tarpaulin-report.*
9+
lcov.info
10+
11+
# Editor and OS noise
12+
.DS_Store
13+
Thumbs.db
14+
*~
15+
*.swp
16+
*.swo
17+
.idea/
18+
.vscode/

‎ABOUT.md‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -108,9 +108,9 @@ issue or RFC contribution against the relevant repository, and discuss
108108
on the public AxonOS engineering channels.
109109

110110
Security disclosures: `security@axonos.org`.
111-
Technical correspondence: `info@axonos.org`.
111+
Technical correspondence: `connect@axonos.org`.
112112
Partnership and clinical engagement: `connect@axonos.org`.
113113

114114
---
115115

116-
**Author:** Denis Yermakou · denis@axonos.org · [axonos.org](https://axonos.org)
116+
**Author:** Denis Yermakou · connect@axonos.org · [axonos.org](https://axonos.org)

‎CHANGELOG.md‎

Lines changed: 90 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,86 @@ The workspace versions all 8 crates lock-step (`axonos-capability`,
1010

1111
---
1212

13+
## [v0.2.3] — 2026-05-27
14+
15+
AxonOS-style refresh. No source-code or API changes — the v0.2.1
16+
implementation is preserved byte-identical, including the public
17+
`KERNEL_ABI_VERSION = 1` contract and all 28 Kani-verified invariants.
18+
This release brings the workspace up to the unified AxonOS visual and
19+
documentation standard applied across the organisation.
20+
21+
### Added
22+
23+
- **`.gitignore`** — Rust-workspace hygiene; was missing.
24+
- **`SECURITY.md`** — vulnerability-disclosure policy mirroring the
25+
policy used in `axonos-standard`, `axonos-swarm`, and the AxonOS
26+
Project entry-point repository. Explicitly puts the two acknowledged
27+
`unsafe` blocks in `axonos-spsc` in scope.
28+
29+
### Changed
30+
31+
- **README badge palette** — replaced the previous mixed palette
32+
(orange / blue / blueviolet / purple / yellow / brightgreen, mixing
33+
`for-the-badge` and `flat-square` styles) with the canonical AxonOS
34+
palette in a single consistent style: AxonOS blue `#0a4a8f` for
35+
versioned artefacts (Workspace v0.2.3, Standard v1.0.0, Kernel ABI v1),
36+
Rust canonical orange `#CE422B` for the language, trust green `#0d7a5f`
37+
for Verified-by-Kani and the unsafe-discipline tag, slate `#475569`
38+
for licence and metadata.
39+
- **README header** — removed the standalone Ferris mascot image; the
40+
Rust association is communicated through the canonical badge instead.
41+
- **README "Related repositories"** — replaced with a full **Position
42+
in the AxonOS stack** table covering all seven repositories.
43+
- **README footer** — canonical centered AxonOS block (project name,
44+
contacts, five-city locator with Singapore first), decorative emoji
45+
removed.
46+
- **Repository case in published metadata** — the `repository` URL in
47+
every Cargo.toml across the workspace was corrected to the actual,
48+
lowercase GitHub path `axonos-kernel` (19 occurrences across the
49+
manifests, the root LICENSE, this changelog's history, and
50+
CONTRIBUTING). The URL is published to crates.io and must be
51+
byte-correct.
52+
- **Author email everywhere** — the personal author address was
53+
replaced with the project-canonical `connect@axonos.org` across 56
54+
occurrences in source files, Cargo.toml manifests, sub-crate READMEs,
55+
the root LICENSE / NOTICE / ABOUT / CONTRIBUTING, and every per-crate
56+
`LICENSE-APACHE` and `LICENSE-MIT` file. The legacy general-contact
57+
address was folded into `connect@axonos.org` as well.
58+
`security@axonos.org` is unchanged — the security address is distinct.
59+
60+
### Notes
61+
62+
- **Source-code unchanged.** All v0.2.1 APIs work as before. The
63+
binding ABI version `KERNEL_ABI_VERSION = 1` is unchanged; the
64+
Tandem compatibility matrix (Kernel 0.2.x ↔ SDK 0.3.x ↔ ABI v1)
65+
still holds.
66+
- **Patch bump 0.2.2 → 0.2.3** per SemVer — purely additive,
67+
no breaking API or behavioural changes, no new runtime dependency.
68+
69+
---
70+
71+
## [v0.2.2] — 2026-05-26
72+
73+
Documentation and provenance release (tagged on `main`).
74+
75+
### Changed
76+
77+
- Aligned the kernel README surface and contact details.
78+
79+
### Added
80+
81+
- `CITATION.cff` — initial machine-readable citation metadata.
82+
- Verified the GitHub and Termux SSH commit-signing provenance for the
83+
release workflow.
84+
85+
### Notes
86+
87+
- No source-code or API changes. Crate version remained at `0.2.1` for
88+
this tag; the comprehensive crate-version bump and the full AxonOS-style
89+
refresh land in v0.2.3.
90+
91+
---
92+
1393
## [v0.2.1] — 2026-05-19
1494

1595
CI patch release. No source or API changes from v0.2.0.
@@ -204,13 +284,13 @@ binding.
204284

205285
---
206286

207-
[v0.2.1]: https://github.com/AxonOS-org/AxonOS-kernel/releases/tag/v0.2.1
208-
[v0.2.0]: https://github.com/AxonOS-org/AxonOS-kernel/releases/tag/v0.2.0
209-
[v0.1.9]: https://github.com/AxonOS-org/AxonOS-kernel/releases/tag/v0.1.9
210-
[v0.1.8]: https://github.com/AxonOS-org/AxonOS-kernel/releases/tag/v0.1.8
211-
[v0.1.7]: https://github.com/AxonOS-org/AxonOS-kernel/releases/tag/v0.1.7
212-
[v0.1.6]: https://github.com/AxonOS-org/AxonOS-kernel/releases/tag/v0.1.6
213-
[v0.1.5]: https://github.com/AxonOS-org/AxonOS-kernel/releases/tag/v0.1.5
214-
[v0.1.4]: https://github.com/AxonOS-org/AxonOS-kernel/releases/tag/v0.1.4
215-
[v0.1.3]: https://github.com/AxonOS-org/AxonOS-kernel/releases/tag/v0.1.3
216-
[v0.1.0]: https://github.com/AxonOS-org/AxonOS-kernel/releases/tag/v0.1.0
287+
[v0.2.1]: https://github.com/AxonOS-org/axonos-kernel/releases/tag/v0.2.1
288+
[v0.2.0]: https://github.com/AxonOS-org/axonos-kernel/releases/tag/v0.2.0
289+
[v0.1.9]: https://github.com/AxonOS-org/axonos-kernel/releases/tag/v0.1.9
290+
[v0.1.8]: https://github.com/AxonOS-org/axonos-kernel/releases/tag/v0.1.8
291+
[v0.1.7]: https://github.com/AxonOS-org/axonos-kernel/releases/tag/v0.1.7
292+
[v0.1.6]: https://github.com/AxonOS-org/axonos-kernel/releases/tag/v0.1.6
293+
[v0.1.5]: https://github.com/AxonOS-org/axonos-kernel/releases/tag/v0.1.5
294+
[v0.1.4]: https://github.com/AxonOS-org/axonos-kernel/releases/tag/v0.1.4
295+
[v0.1.3]: https://github.com/AxonOS-org/axonos-kernel/releases/tag/v0.1.3
296+
[v0.1.0]: https://github.com/AxonOS-org/axonos-kernel/releases/tag/v0.1.0

‎CITATION.cff‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,4 +20,5 @@ keywords:
2020
- neurotechnology
2121
- rust
2222
license: [Apache-2.0, MIT]
23-
version: "0.2.1"
23+
version: "0.2.3"
24+
date-released: "2026-05-27"

‎CONTRIBUTING.md‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,10 @@ code subject to the (light) attribution requirements described below.
99
```text
1010
┌─────────────────────────────────────────────────────────────────────┐
1111
│ 1. Click "Fork" on the GitHub page │
12-
│ → https://github.com/AxonOS-org/AxonOS-kernel │
12+
│ → https://github.com/AxonOS-org/axonos-kernel │
1313
│ │
1414
│ 2. Clone your fork locally │
15-
│ $ git clone https://github.com/YOUR-USERNAME/AxonOS-kernel │
15+
│ $ git clone https://github.com/YOUR-USERNAME/axonos-kernel │
1616
│ $ cd axonos-kernels │
1717
│ │
1818
│ 3. Verify the workspace builds and tests pass │
@@ -50,7 +50,7 @@ imposes four small obligations:
5050

5151
```rust
5252
// SPDX-License-Identifier: Apache-2.0 OR MIT
53-
// Copyright (c) 2026 Denis Yermakou <denis@axonos.org>
53+
// Copyright (c) 2026 Denis Yermakou <connect@axonos.org>
5454
// Part of the AxonOS project — https://github.com/AxonOS-org
5555
```
5656

@@ -145,14 +145,14 @@ cargo build --workspace --release --target thumbv7em-none-eabihf
145145

146146
## Communication
147147

148-
- **General discussion:** `info@axonos.org`
148+
- **General discussion:** `connect@axonos.org`
149149
- **Architectural decisions:** open an issue or RFC
150150
- **Security:** `security@axonos.org`
151151
- **Partnerships:** `connect@axonos.org`
152152

153153
---
154154

155-
**Maintainer:** Denis Yermakou · [denis@axonos.org](mailto:denis@axonos.org)
155+
**Maintainer:** Denis Yermakou · [connect@axonos.org](mailto:connect@axonos.org)
156156

157157
By contributing you affirm you have the right to submit the work under
158158
the project's dual licence.

‎Cargo.toml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -18,12 +18,12 @@ exclude = [
1818
]
1919

2020
[workspace.package]
21-
version = "0.2.1"
21+
version = "0.2.3"
2222
edition = "2021"
2323
rust-version = "1.75"
2424
license = "Apache-2.0 OR MIT"
25-
repository = "https://github.com/AxonOS-org/AxonOS-kernel"
26-
authors = ["Denis Yermakou <denis@axonos.org>"]
25+
repository = "https://github.com/AxonOS-org/axonos-kernel"
26+
authors = ["Denis Yermakou <connect@axonos.org>"]
2727

2828
[workspace.lints.clippy]
2929
# Lint *groups* must have a lower priority than individual lint overrides

‎LICENSE‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ above grant you rights to the source code and its derivatives; they do
3939
NOT grant trademark rights.
4040

4141
You may state factually that your software is "based on AxonOS" or
42-
"derived from AxonOS-kernel". You may NOT use the name "AxonOS" in a
42+
"derived from axonos-kernel". You may NOT use the name "AxonOS" in a
4343
manner that implies endorsement of, or affiliation with, the upstream
4444
project for modified or derivative software.
4545

@@ -49,5 +49,5 @@ Contact
4949

5050
Project website: https://axonos.org
5151
GitHub: https://github.com/AxonOS-org
52-
Maintainer: Denis Yermakou <denis@axonos.org>
52+
Maintainer: Denis Yermakou <connect@axonos.org>
5353
Security: security@axonos.org

‎LICENSE-APACHE‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@
2828

2929
APPENDIX: How to apply the Apache License to your work.
3030

31-
Copyright 2026 Denis Yermakou <denis@axonos.org>
31+
Copyright 2026 Denis Yermakou <connect@axonos.org>
3232

3333
Licensed under the Apache License, Version 2.0 (the "License");
3434
you may not use this file except in compliance with the License.

‎LICENSE-MIT‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
MIT License
22

3-
Copyright (c) 2026 Denis Yermakou <denis@axonos.org>
3+
Copyright (c) 2026 Denis Yermakou <connect@axonos.org>
44

55
Permission is hereby granted, free of charge, to any person obtaining a copy
66
of this software and associated documentation files (the "Software"), to deal

‎NOTICE‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
AxonOS Kernels
2-
Copyright (c) 2026 Denis Yermakou <denis@axonos.org>
2+
Copyright (c) 2026 Denis Yermakou <connect@axonos.org>
33

44
This product includes software developed by Denis Yermakou
55
as part of the AxonOS project (https://axonos.org).
@@ -83,7 +83,7 @@ CONTACT
8383
────────────────────────────────────────────────────────────────────
8484

8585
Author: Denis Yermakou
86-
Primary email: denis@axonos.org
86+
Primary email: connect@axonos.org
8787
Project website: https://axonos.org
8888
Source repositories: https://github.com/AxonOS-org
8989
Security disclosure: security@axonos.org

0 commit comments

Comments
 (0)