Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion crates/synapse-core/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -876,7 +876,7 @@ mod tests {

#[test]
fn test_radicle_did_key_roundtrip_and_real_spark_did() {
// Real Radicle DID from `rad self` on spark-b87b:
// Real Radicle DID from `rad self` on the DGX Spark:
let real_did = "did:key:z6MkfZDue1TbaNFi3ZzcD9uiTeduPLC52ucdFVuLKZwexxhK";
let pubkey = decode_did_key_ed25519(real_did).expect("decode real Radicle DID");
let reencoded = encode_did_key_ed25519(&pubkey);
Expand Down
10 changes: 6 additions & 4 deletions crates/synapse-radicle/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -577,14 +577,16 @@ mod tests {

#[test]
fn test_real_host_radicle_storage_sigrefs_verification() {
// If `/home/drakestapleton/.radicle/storage/z21SQF1DVwRmpxbTMnSiYxXveiRp1` exists on this host,
// If `$HOME/.radicle/storage/z21SQF1DVwRmpxbTMnSiYxXveiRp1` exists on this host,
// verify our parser and Ed25519 `sigrefs` verifier against the live Radicle storage!
let real_repo =
Path::new("/home/drakestapleton/.radicle/storage/z21SQF1DVwRmpxbTMnSiYxXveiRp1");
let Some(home) = std::env::var_os("HOME") else {
return;
};
let real_repo = Path::new(&home).join(".radicle/storage/z21SQF1DVwRmpxbTMnSiYxXveiRp1");
if !real_repo.exists() {
return;
}
let (doc, id_oid, sigrefs) = load_radicle_state_from_bare_repo(real_repo).unwrap();
let (doc, id_oid, sigrefs) = load_radicle_state_from_bare_repo(&real_repo).unwrap();
assert_eq!(doc.threshold, 1);
assert_eq!(doc.delegates.len(), 1);
assert_eq!(sigrefs.len(), 1);
Expand Down
16 changes: 8 additions & 8 deletions docs/GATE0_REALITY_CHECK_AND_BASELINE.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ Tracking Issue: [aien-spark/aien-sovereign-core#515](https://github.com/aien-spa

## 1. Source Anchor Audit (`implemented` / `partial` / `proposed`)

Before writing any Synapse runtime code, every source anchor referenced in `aien-sovereign-core#515` was audited directly against the local checkouts on `spark-b87b`:
Before writing any Synapse runtime code, every source anchor referenced in `aien-sovereign-core#515` was audited directly against the local checkouts on the DGX Spark (`spark`):

| Subsystem / Source Anchor | Repository & Path | Status | Verified Behavior and Gap Analysis |
| :--- | :--- | :--- | :--- |
Expand All @@ -13,24 +13,24 @@ Before writing any Synapse runtime code, every source anchor referenced in `aien
| **Provenance Grants** (`SourceGrant`, `GrantPermissions`) | `aien-protocols` `crates/aien-provenance/src/lib.rs` | `implemented` (distinct scope) | Implements P-256 ECDSA (`p256::ecdsa`) signed licensing grants with bitflags (`READ`, `EVALUATE`, `TRAIN`, `DISTILL`, `REDISTRIBUTE`, `COMMERCIAL`) for dataset and model provenance. Does not authenticate Ed25519 coding agents or authorize repository changeset operations. |
| **Verified Crumb Store** (`omega_vcstore`) | `omega` `src/omega_vcstore.h` (ADR 0029) | `implemented` (distinct scope) | Implements a fail-closed content-addressed C store (`OMEGA_VC_FORMAT_VERSION 1`) keyed by domain-separated SHA-256 `omega_semantic_id_t`, recomputing digests on `insert` and `get`, refusing immutable conflicts while accepting identical bytes idempotently, and separating the mutable name index from digest authority. Serves as the structural model for `synapse-store` refusal discipline while keeping `SemanticId` distinct from `ChangesetId`. |
| **Capability & Security Primitives** (`CapabilityDescriptor`, `SecretProvider`, `NetworkPurpose`) | `aien-sovereign-core` `crates/aien-capability`, `crates/aien-security` | `partial` | Defines runtime capability metadata and secret resolution contracts (`Tpm2SecretProvider`), plus the `unslop` zero-em-dash invariant test. Does not implement per-repository Ed25519 agent changeset capability tokens (`Read`, `Propose`, `Evaluate`, `Review`, `Publish`), rate/size quotas, or a hash-chained changeset security audit log. |
| **Multi-Agent Hive Worktrees** (`spark-hive`, `hive-worktrees`, `hive-ledger.md`) | `aien-sovereign-core` `crates/spark-hive` & `/home/drakestapleton/workspace/hive-worktrees` | `partial` | Coordinates multi-agent lanes using full Git worktree checkouts on disk. Currently leaves 291 worktrees (27.05 GB) in `hive-worktrees` and 460 registered worktrees across `aien-sovereign-core` and `omega`. |
| **Multi-Agent Hive Worktrees** (`spark-hive`, `hive-worktrees`, `hive-ledger.md`) | `aien-sovereign-core` `crates/spark-hive` & `~/workspace/hive-worktrees` | `partial` | Coordinates multi-agent lanes using full Git worktree checkouts on disk. Currently leaves 291 worktrees (27.05 GB) in `hive-worktrees` and 460 registered worktrees across `aien-sovereign-core` and `omega`. |
| **Synapse Changeset Engine, API, Auth, Git Materializer, and Radicle Canonical Verifier** | `aien-spark/synapse` `crates/synapse-*` | `proposed` (implemented in Gates 1-4) | Dedicated changeset service providing single-writer WAL + blob store (`synapse-store`), Ed25519 capability auth (`synapse-auth`), checkout-free virtual tree and diff API (`synapse-api`), deterministic Git object materialization (`synapse-git`), Radicle delegate threshold verification (`synapse-radicle`), and comparative benchmark harness (`synapse-bench`). |

## 2. Reproducible Pre-Synapse Baseline from Actual AIEN Traces

The baseline measurement script [`scripts/measure_gate0_baseline.sh`](../scripts/measure_gate0_baseline.sh) was executed on `spark-b87b` (NVIDIA DGX Spark GB10, 20-core ARM Cortex-X925 + Cortex-A725, Linux `7.0.0-1019-nvidia`, `git version 2.43.0`). Raw output is sealed in [`evidence/gate0-baseline/baseline_report.json`](../evidence/gate0-baseline/baseline_report.json) and [`evidence/gate0-baseline/SHA256SUMS`](../evidence/gate0-baseline/SHA256SUMS).
The baseline measurement script [`scripts/measure_gate0_baseline.sh`](../scripts/measure_gate0_baseline.sh) was executed on the DGX Spark (`spark`) (NVIDIA DGX Spark GB10, 20-core ARM Cortex-X925 + Cortex-A725, Linux `7.0.0-1019-nvidia`, `git version 2.43.0`). Raw output is sealed in [`evidence/gate0-baseline/baseline_report.json`](../evidence/gate0-baseline/baseline_report.json) and [`evidence/gate0-baseline/SHA256SUMS`](../evidence/gate0-baseline/SHA256SUMS).

### 2.1 Multi-Agent Workspace Footprint and Conflict Incidence

| Metric | Measured Value | Source |
| :--- | :--- | :--- |
| Retained worktrees in `/home/drakestapleton/workspace/hive-worktrees` | `291` directories | `scripts/measure_gate0_baseline.sh` |
| Disk usage of `/home/drakestapleton/workspace/hive-worktrees` | `27,050,585,731` bytes (`25.19 GiB`) | `du -sb /home/drakestapleton/workspace/hive-worktrees` |
| Additional agent clone directories in `/home/drakestapleton/workspace` | `276` directories | `omega-*`, `sc-*`, `interplane-*`, `physics-*`, `aienos-*` |
| Retained worktrees in `~/workspace/hive-worktrees` | `291` directories | `scripts/measure_gate0_baseline.sh` |
| Disk usage of `~/workspace/hive-worktrees` | `27,050,585,731` bytes (`25.19 GiB`) | `du -sb ~/workspace/hive-worktrees` |
| Additional agent clone directories in `~/workspace` | `276` directories | `omega-*`, `sc-*`, `interplane-*`, `physics-*`, `aienos-*` |
| Registered Git worktrees in `aien-sovereign-core` | `150` worktrees | `git -C aien-sovereign-core worktree list` |
| Registered Git worktrees in `omega` | `310` worktrees | `git -C omega worktree list` |
| Total tracked lanes / rows in `hive-ledger.md` | `559` (`41` merged, `499` retired, `6` active) | `/home/drakestapleton/workspace/hive-ledger.md` |
| Explicit conflict / rebase / stale-base mentions in `hive-ledger.md` | `18` occurrences | `/home/drakestapleton/workspace/hive-ledger.md` |
| Total tracked lanes / rows in `hive-ledger.md` | `559` (`41` merged, `499` retired, `6` active) | `~/workspace/hive-ledger.md` |
| Explicit conflict / rebase / stale-base mentions in `hive-ledger.md` | `18` occurrences | `~/workspace/hive-ledger.md` |

### 2.2 Conventional Git Operation Latencies on `aien-sovereign-core` (`1b6e340d48`)

Expand Down
4 changes: 2 additions & 2 deletions docs/GATE4_QUALIFICATION.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ Evidence: [`evidence/gate4-qualification/`](../evidence/gate4-qualification/) (`

| Field | Value |
| :--- | :--- |
| Repository | `aien-sovereign-core`, local checkout on `spark-b87b` |
| Repository | `aien-sovereign-core`, local checkout on the DGX Spark (`spark`) |
| Pinned commit | `1b6e340d48417dfbcfe2df56d48a0696a3a9b250` (the Gate 0 baseline commit) |
| Tree OID | `39684d806998aa579244a55aab41b954be963525` |
| Files | 4,376 (145,731,971 bytes; largest file 65,855,376 bytes) |
Expand Down Expand Up @@ -58,7 +58,7 @@ S1 and G3F are the like-for-like durable pair. S2 and G3 both acknowledge from t

| Field | Value |
| :--- | :--- |
| Host | `spark-b87b`, aarch64, Cortex-X925 and Cortex-A725 cores (`lscpu`), 20 logical CPUs, 127,598,752 KiB RAM |
| Host | the DGX Spark (`spark`), aarch64, Cortex-X925 and Cortex-A725 cores (`lscpu`), 20 logical CPUs, 127,598,752 KiB RAM |
| Kernel | 7.0.0-1019-nvidia |
| Work directory filesystem | ext4 on `/dev/nvme0n1p2`, 1,040,488,902,656 bytes free at start |
| Toolchain | git 2.43.0, rustc 1.98.1, cargo 1.98.1, release build |
Expand Down
2 changes: 1 addition & 1 deletion docs/adr/0001-synapse-architecture-and-boundaries.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@

## 1. Context

AIEN executes concurrent multi-agent builder, reviewer, verifier, and benchmark lanes on the NVIDIA DGX Spark (Grace Blackwell GB10). Empirical inspection of `/home/drakestapleton/workspace` on `spark-b87b` shows 291 worktrees in `hive-worktrees` consuming 27.05 GB (25.19 GiB), 276 additional agent clone directories in the workspace root, and 460 registered Git worktrees across `aien-sovereign-core` (150) and `omega` (310). Each `git worktree add` on `aien-sovereign-core` writes 138.98 MiB to disk and takes 588.511 ms at p50, capping checkout throughput at 1.713 worktrees/sec.
AIEN executes concurrent multi-agent builder, reviewer, verifier, and benchmark lanes on the NVIDIA DGX Spark (Grace Blackwell GB10). Empirical inspection of `~/workspace` on the DGX Spark (`spark`) shows 291 worktrees in `hive-worktrees` consuming 27.05 GB (25.19 GiB), 276 additional agent clone directories in the workspace root, and 460 registered Git worktrees across `aien-sovereign-core` (150) and `omega` (310). Each `git worktree add` on `aien-sovereign-core` writes 138.98 MiB to disk and takes 588.511 ms at p50, capping checkout throughput at 1.713 worktrees/sec.

High-frequency agent loops need to create changesets, attach machine test receipts, inspect trees and diffs without cloning or checking out a full working tree, detect path-level conflicts across concurrent lanes, and project accepted changes into Git and Radicle without compromising cryptographic canonicality.

Expand Down
2 changes: 1 addition & 1 deletion scripts/measure_gate0_baseline.sh
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ set -euo pipefail
OUT_DIR="${1:-$(pwd)/evidence/gate0-baseline}"
mkdir -p "$OUT_DIR"

WORKSPACE_ROOT="/home/drakestapleton/workspace"
WORKSPACE_ROOT="${WORKSPACE_ROOT:-$HOME/workspace}"
SC_REPO="${WORKSPACE_ROOT}/aien-sovereign-core"
OMEGA_REPO="${WORKSPACE_ROOT}/omega"
HIVE_WT_DIR="${WORKSPACE_ROOT}/hive-worktrees"
Expand Down
Loading