From 0dcbd67d060821bc2a89d6169a4c822e492ca592 Mon Sep 17 00:00:00 2001 From: Drake Stapleton Date: Mon, 26 Oct 2026 10:47:00 -0500 Subject: [PATCH] sanitize: alpha-testing hygiene (paths, hosts, emails, licence, labels) - synapse-radicle live-storage test: /home//.radicle -> $HOME/.radicle - measure_gate0_baseline.sh: WORKSPACE_ROOT defaults to $HOME/workspace (overridable) - docs (ADR 0001, GATE0, GATE4) and a synapse-core comment: spark-b87b -> the DGX Spark, /home// -> ~/ --- crates/synapse-core/src/lib.rs | 2 +- crates/synapse-radicle/src/lib.rs | 10 ++++++---- docs/GATE0_REALITY_CHECK_AND_BASELINE.md | 16 ++++++++-------- docs/GATE4_QUALIFICATION.md | 4 ++-- .../0001-synapse-architecture-and-boundaries.md | 2 +- scripts/measure_gate0_baseline.sh | 2 +- 6 files changed, 19 insertions(+), 17 deletions(-) diff --git a/crates/synapse-core/src/lib.rs b/crates/synapse-core/src/lib.rs index 9b957db..d6faa50 100644 --- a/crates/synapse-core/src/lib.rs +++ b/crates/synapse-core/src/lib.rs @@ -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); diff --git a/crates/synapse-radicle/src/lib.rs b/crates/synapse-radicle/src/lib.rs index 152645b..1f6ccab 100644 --- a/crates/synapse-radicle/src/lib.rs +++ b/crates/synapse-radicle/src/lib.rs @@ -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); diff --git a/docs/GATE0_REALITY_CHECK_AND_BASELINE.md b/docs/GATE0_REALITY_CHECK_AND_BASELINE.md index be60cb4..856f680 100644 --- a/docs/GATE0_REALITY_CHECK_AND_BASELINE.md +++ b/docs/GATE0_REALITY_CHECK_AND_BASELINE.md @@ -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 | | :--- | :--- | :--- | :--- | @@ -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`) diff --git a/docs/GATE4_QUALIFICATION.md b/docs/GATE4_QUALIFICATION.md index 721a6e1..d4e179d 100644 --- a/docs/GATE4_QUALIFICATION.md +++ b/docs/GATE4_QUALIFICATION.md @@ -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) | @@ -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 | diff --git a/docs/adr/0001-synapse-architecture-and-boundaries.md b/docs/adr/0001-synapse-architecture-and-boundaries.md index 3bbbfbb..e1dbb92 100644 --- a/docs/adr/0001-synapse-architecture-and-boundaries.md +++ b/docs/adr/0001-synapse-architecture-and-boundaries.md @@ -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. diff --git a/scripts/measure_gate0_baseline.sh b/scripts/measure_gate0_baseline.sh index 19f0de1..80b89ad 100755 --- a/scripts/measure_gate0_baseline.sh +++ b/scripts/measure_gate0_baseline.sh @@ -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"