release: aingle 0.8.0

Five crates moved since v0.7.7 and all five carry feature work, so this is a
minor bump rather than another patch: cortex, graph, ingest, logic and zk go to
0.8.0, and the internal `version = "0.7"` constraints that pin them move with
them.

What the release carries: tasks and an agenda read out of the notes themselves,
recurring tasks recognized as recurring, flashcards as signed graph facts,
signed note editing over MCP with a review inbox for external content,
client-side verification of a DAG action's signature, provenance published with
every verdict, one access table covering every MCP tool call, and path-targeted
ingest so saving one file re-reads that file and not the vault.

`cargo test --workspace --lib`: 324 passed, 0 failed.

Claude-Session: https://claude.ai/code/session_01PzJTTrKcGrKtCZsGC3Z7S1

Author: ApiliumDevTeam

CHANGELOG.md

@@ -5,6 +5,34 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.8.0] - 2026-07-28
+
+### Added
+- **Tasks and an agenda, read out of the notes themselves.** Checkbox tasks are
+  extracted as graph facts with their dates, recurring tasks are recognized as
+  recurring, and `aingle_tasks` / `aingle_agenda` expose both over MCP. Re-ingest
+  reconciles task nodes by diff rather than replacing them, so a task keeps its
+  identity across edits.
+- **Flashcards as signed graph facts**, with sticky card identifiers that
+  survive a rewrite of the surrounding note.
+- **Signed note editing over MCP.** `aingle_edit_note`, tag and folder tools, and
+  `aingle_propose_note`, which stages external content into a review inbox
+  instead of writing it straight into a vault.
+- **Client-side signature verification.** A caller can verify a DAG action's
+  signature itself rather than taking the server's word for it.
+- **Provenance on every verdict.** A proof publishes what it rests on, and says
+  so explicitly when it rests on nothing.
+- **One access table for every MCP tool call**, so what a connected client may
+  reach is declared in a single place rather than per tool.
+
+### Changed
+- **Path-targeted ingest.** Saving one file re-reads that file instead of the
+  whole vault, and ingestion is confined to the configured root with bounded
+  memory. `.trash` is skipped.
+- **Extracted prose is neutralized without flattening its structure**, so an
+  indexed document keeps its shape while carrying no markup into the graph.
+- The engine is described in its own terms throughout its documentation.
+
 ## [0.7.5] - 2026-07-13
 
 ### Added

Cargo.lock

@@ -33,7 +33,7 @@ aingle_sqlite = { version = "0.0.1", path = "../aingle_sqlite" }
 aingle_middleware_bytes = "=0.0.3"
 aingle_state = { version = "0.0.1", path = "../aingle_state" }
 aingle_types = { version = "0.0.1", path = "../aingle_types" }
-aingle_cortex = { version = "0.7", path = "../aingle_cortex", default-features = false, features = ["rest"] }
+aingle_cortex = { version = "0.8", path = "../aingle_cortex", default-features = false, features = ["rest"] }
 aingle_wasmer_host = "0.0.1"
 aingle_websocket = { version = "0.0.1", path = "../aingle_websocket" }
 wasmer = "=7.0.1"

crates/aingle/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "aingle_cortex"
-version = "0.7.7"
+version = "0.8.0"
 description = "Córtex API - REST/GraphQL/SPARQL interface for AIngle semantic graphs"
 license = "Apache-2.0 OR LicenseRef-Commercial"
 repository = "https://github.com/ApiliumCode/aingle"
@@ -36,11 +36,11 @@ path = "src/main.rs"
 
 [dependencies]
 # Core AIngle crates
-aingle_graph = { version = "0.7", path = "../aingle_graph", features = ["sled-backend"] }
-aingle_logic = { version = "0.7", path = "../aingle_logic" }
-aingle_zk = { version = "0.7", path = "../aingle_zk" }
+aingle_graph = { version = "0.8", path = "../aingle_graph", features = ["sled-backend"] }
+aingle_logic = { version = "0.8", path = "../aingle_logic" }
+aingle_zk = { version = "0.8", path = "../aingle_zk" }
 ineru = { version = "0.7", path = "../ineru" }
-aingle_ingest = { version = "0.7", path = "../aingle_ingest" }
+aingle_ingest = { version = "0.8", path = "../aingle_ingest" }
 ignore = "0.4"
 
 # Web framework

crates/aingle_cortex/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "aingle_graph"
-version = "0.7.1"
+version = "0.8.0"
 description = "Native GraphDB for AIngle - Semantic triple store with SPO indexes"
 license = "Apache-2.0 OR LicenseRef-Commercial"
 repository = "https://github.com/ApiliumCode/aingle"

crates/aingle_graph/Cargo.toml

@@ -1,13 +1,13 @@
 [package]
 name = "aingle_ingest"
-version = "0.7.2"
+version = "0.8.0"
 description = "Structural extraction of triples and text chunks from markdown/code for AIngle"
 license = "Apache-2.0 OR LicenseRef-Commercial"
 edition = "2021"
 rust-version = "1.83"
 
 [dependencies]
-aingle_graph = { version = "0.7", path = "../aingle_graph", features = ["dag"] }
+aingle_graph = { version = "0.8", path = "../aingle_graph", features = ["dag"] }
 serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"
 regex = "1.12"

crates/aingle_ingest/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "aingle_logic"
-version = "0.7.1"
+version = "0.8.0"
 description = "Proof-of-Logic validation engine for AIngle semantic graphs"
 license = "Apache-2.0 OR LicenseRef-Commercial"
 repository = "https://github.com/ApiliumCode/aingle"
@@ -21,7 +21,7 @@ owl = []
 
 [dependencies]
 # Graph database
-aingle_graph = { version = "0.7", path = "../aingle_graph" }
+aingle_graph = { version = "0.8", path = "../aingle_graph" }
 
 # Serialization
 serde = { version = "1.0", features = ["derive"] }

crates/aingle_logic/Cargo.toml

@@ -28,7 +28,7 @@ tracing = "0.1"
 chrono = { version = "0.4", features = ["serde"] }
 futures-util = "0.3"
 anyerror = "0.1"
-aingle_graph = { version = "0.7", path = "../aingle_graph", features = ["sled-backend"] }
+aingle_graph = { version = "0.8", path = "../aingle_graph", features = ["sled-backend"] }
 ineru = { version = "0.7", path = "../ineru" }
 
 [dev-dependencies]

crates/aingle_raft/Cargo.toml

@@ -30,7 +30,7 @@ serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"
 
 # Graph data
-aingle_graph = { version = "0.7", path = "../aingle_graph" }
+aingle_graph = { version = "0.8", path = "../aingle_graph" }
 aingle_minimal = { version = "0.7", path = "../aingle_minimal", default-features = false, features = ["sqlite"] }
 
 # Utilities

crates/aingle_viz/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "aingle_zk"
-version = "0.7.1"
+version = "0.8.0"
 description = "Zero-Knowledge Proofs for AIngle - privacy-preserving cryptographic primitives"
 license = "Apache-2.0 OR LicenseRef-Commercial"
 repository = "https://github.com/ApiliumCode/aingle"