chore: relicense to Apache-2.0 and release lion-core 0.4.0

COPYRIGHT

@@ -1,15 +1,15 @@
 Copyright (c) 2026 HaiyangLi <quantocean.li@gmail.com>
 
-This repository contains two separately-licensed components:
+All components of this repository are licensed under the Apache License,
+Version 2.0:
 
-  - The Rust implementation under `crates/` is licensed under the
-    GNU Affero General Public License v3.0 or later (AGPL-3.0-or-later).
-    See LICENSE for the full text.
+  - The Rust implementation under `crates/`. See LICENSE for the full text.
+    Each `.rs` file carries an SPDX header.
 
-  - The Lean formal proofs under `proofs/` are licensed under the
-    Apache License, Version 2.0. See proofs/LICENSE for the full text.
+  - The Lean formal proofs under `proofs/`. See proofs/LICENSE for the
+    full text.
 
 Top-level documentation files (MANIFESTO.md, TCB.md, README.md, COPYRIGHT)
-are licensed under Apache-2.0 via SPDX header at the top of each file.
+are likewise licensed under Apache-2.0.
 
 "Lion", "Lionrs", and related marks are trademarks of HaiyangLi.

README.md

@@ -7,20 +7,9 @@
 
 ## Licensing
 
-This repository contains two separately-licensed components:
-
-- The **Rust implementation** under [`crates/`](crates/) is licensed under
-  the **GNU Affero General Public License v3.0 or later (AGPL-3.0-or-later)**.
-  See [LICENSE](LICENSE) for the full text. Each `.rs` file carries an
-  SPDX header.
-- The **Lean formal proofs** under [`proofs/`](proofs/) are licensed under
-  the **Apache License, Version 2.0**. See [proofs/LICENSE](proofs/LICENSE)
-  for the full text. Each `.lean` file carries an Apache notice header.
-
-Top-level documentation files (`MANIFESTO.md`, `TCB.md`, `README.md`,
-`COPYRIGHT`) are licensed under **Apache-2.0** so the ideas can be quoted,
-cited, and ported freely in research contexts.
-
-For the rationale behind this split, see [COPYRIGHT](COPYRIGHT).
+This repository is licensed under the **Apache License, Version 2.0**. See
+[LICENSE](LICENSE) for the full text. Each `.rs` file carries an SPDX header,
+and each `.lean` file under [`proofs/`](proofs/) carries an Apache notice
+header ([proofs/LICENSE](proofs/LICENSE)).
 
 Copyright © 2026 HaiyangLi

crates/Cargo.toml

@@ -5,10 +5,10 @@ members = [
 ]
 
 [workspace.package]
-version = "0.3.0"
+version = "0.4.0"
 edition = "2021"
 authors = ["HaiyangLi <quantocean.li@gmail.com>"]
-license = "AGPL-3.0-or-later"
+license = "Apache-2.0"
 repository = "https://github.com/ohdearquant/LNkernel"
 homepage = "https://github.com/ohdearquant/LNkernel"
 

crates/lion-core/src/crypto.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Core Cryptographic Operations
 //!
 //! Corresponds to: Lion/Core/Crypto.lean

crates/lion-core/src/error.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Unified error type for lion-core operations.
 
 /// Unified error type for lion-core operations.

crates/lion-core/src/extract_anchor.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Extraction Anchor Module
 //!
 //! This module exists ONLY for styx-rustc extraction. It defines an "export anchor"

crates/lion-core/src/kernel.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! High-level Kernel API wrapping the verified state machine.
 //!
 //! The `Kernel` struct provides an ergonomic interface over the

crates/lion-core/src/lib.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Core -- production microkernel types, state machine, and kernel API.
 //!
 //! This crate provides the canonical Rust implementation of the Lion microkernel.

crates/lion-core/src/state/actor.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion State Actor
 //!
 //! Corresponds to: Lion/State/Actor.lean

crates/lion-core/src/state/kernel.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion State Kernel
 //!
 //! Corresponds to: Lion/State/Kernel.lean

crates/lion-core/src/state/memory.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion State Memory
 //!
 //! Corresponds to: Lion/State/Memory.lean

crates/lion-core/src/state/mod.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion State Module
 //!
 //! Complete state machine for the Lion microkernel.

crates/lion-core/src/state/plugin.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion State Plugin
 //!
 //! Corresponds to: Lion/State/Plugin.lean

crates/lion-core/src/state/state.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion State - Unified Global State
 //!
 //! Corresponds to: Lion/State/State.lean

crates/lion-core/src/state/thread.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Thread Control Block and Scheduler State
 //!
 //! Corresponds to: Lion/State/Thread.lean, Lion/State/Scheduler.lean

crates/lion-core/src/state/workflow.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion State Workflow
 //!
 //! Corresponds to: Lion/State/Workflow.lean

crates/lion-core/src/step/authorization.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Step Authorization
 //!
 //! Corresponds to: Lion/Step/Authorization.lean

crates/lion-core/src/step/host_call.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Step Host Call (EROS-style 6 operations)
 //!
 //! Corresponds to: Lion/Step/HostCall/Core.lean

crates/lion-core/src/step/kernel_op.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Step Kernel Operations
 //!
 //! Corresponds to: Lion/Step/KernelOp.lean

crates/lion-core/src/step/mod.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Step Module
 //!
 //! Step relation and all step constructors for the Lion microkernel state machine.

crates/lion-core/src/step/plugin_internal.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Step Plugin Internal
 //!
 //! Corresponds to: Lion/Step/PluginInternal.lean

crates/lion-core/src/types/capability.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Core Capability and Crypto Types
 //!
 //! Corresponds to: Lion/Core/Crypto.lean

crates/lion-core/src/types/identifiers.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Core Identifiers
 //!
 //! Core identifier types for Lion microkernel.

crates/lion-core/src/types/mod.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Core Types
 //!
 //! All core types that correspond 1:1 to Lean specifications.

crates/lion-core/src/types/policy.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Core Policy
 //!
 //! Corresponds to: Lion/Core/Policy.lean

crates/lion-core/src/types/rights.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Rights algebra for capability-based access control.
 //!
 //! 10-right system with intersection as combine.

crates/lion-core/src/types/runtime.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Lion Core Runtime Types
 //!
 //! Corresponds to: Lion/Core/RuntimeTrustBundleCore.lean

crates/lion-core/src/types/security.rs

@@ -1,5 +1,5 @@
 // Copyright (C) 2026 HaiyangLi
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: Apache-2.0
 //! Security classification levels forming a lattice.
 //!
 //! 4-level lattice: Public < Internal < Confidential < Secret.