Merge branch 'chore/cicd-optimizations'

Author: hyperpolymath

.machine_readable/contractiles/dust/Dustfile.a2ml

@@ -0,0 +1,22 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Dustfile — Cleanup and Hygiene Contract
+
+[dustfile]
+version = "1.0.0"
+format = "a2ml"
+
+[cleanup]
+stale-branch-policy = "delete-after-merge"
+artifact-retention = "90-days"
+cache-policy = "clear-on-release"
+
+[hygiene]
+linting = "required"
+formatting = "required"
+dead-code-removal = "encouraged"
+todo-tracking = "tracked-in-issues"
+
+[reversibility]
+backup-before-destructive = true
+rollback-mechanism = "git-revert"
+data-retention-policy = "preserve-30-days"

.machine_readable/integrations/feedback-o-tron.a2ml

@@ -0,0 +1,13 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Feedback-o-Tron Integration — Autonomous Bug Reporting
+
+[integration]
+name = "feedback-o-tron"
+type = "bug-reporter"
+repository = "https://github.com/hyperpolymath/feedback-o-tron"
+
+[reporting-config]
+platforms = ["github", "gitlab", "bugzilla"]
+deduplication = true
+audit-logging = true
+auto-file-upstream = "on-external-dependency-failure"

.machine_readable/integrations/proven.a2ml

@@ -0,0 +1,18 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Proven Integration — Formally Verified Safety Library
+
+[integration]
+name = "proven"
+type = "safety-library"
+repository = "https://github.com/hyperpolymath/proven"
+version = "1.2.0"
+
+[binding-policy]
+approach = "thin-ffi-wrapper"
+unsafe-patterns = "replace-with-proven-equivalent"
+modules-available = ["SafeMath", "SafeString", "SafeJSON", "SafeURL", "SafeRegex", "SafeSQL", "SafeFile", "SafeTemplate", "SafeCrypto"]
+
+[adoption-guidance]
+priority = "high"
+scope = "all-string-json-url-crypto-operations"
+migration = "incremental — replace unsafe patterns as encountered"

.machine_readable/integrations/verisimdb.a2ml

@@ -0,0 +1,15 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# VeriSimDB Feed — Cross-Repo Analytics Data Store
+
+[integration]
+name = "verisimdb"
+type = "data-feed"
+repository = "https://github.com/hyperpolymath/nextgen-databases"
+data-store = "verisimdb-data"
+
+[feed-config]
+emit-scan-results = true
+emit-build-metrics = true
+emit-dependency-graph = true
+format = "hexad"
+destination = "verisimdb-data/feeds/"

.machine_readable/integrations/vexometer.a2ml

@@ -0,0 +1,18 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Vexometer Integration — Irritation Surface Analysis
+
+[integration]
+name = "vexometer"
+type = "friction-measurement"
+repository = "https://github.com/hyperpolymath/vexometer"
+
+[measurement-config]
+dimensions = 10
+emit-isa-reports = true
+lazy-eliminator = true
+satellite-interventions = true
+
+[hooks]
+cli-tools = "measure-on-error"
+ui-panels = "measure-on-interaction"
+build-failures = "measure-on-failure"

EXPLAINME.adoc

@@ -0,0 +1,43 @@
+// SPDX-License-Identifier: PMPL-1.0-or-later
+= Anamnesis — Show Me The Receipts
+:toc:
+:icons: font
+
+The README makes claims. This file backs them up.
+
+[quote, README]
+____
+Anamnesis parses tangled multi-LLM discussion threads, tracks artifact lifecycles (created→modified→removed→evaluated), cross-links related fragments across conversations, and generates clean summaries with content properly bucketed by project/topic.
+____
+
+== Technology Choices
+
+[cols="1,2"]
+|===
+| Technology | Learn More
+
+| **Zig** | https://ziglang.org
+| **Idris2 ABI** | https://www.idris-lang.org
+|===
+
+== Dogfooded Across The Account
+
+Uses the hyperpolymath ABI/FFI standard (Idris2 + Zig). Same pattern used across
+https://github.com/hyperpolymath/proven[proven],
+https://github.com/hyperpolymath/burble[burble], and
+https://github.com/hyperpolymath/gossamer[gossamer].
+
+== File Map
+
+[cols="1,2"]
+|===
+| Path | What's There
+
+| `src/` | Source code
+| `ffi/` | Foreign function interface
+| `test(s)/` | Test suite
+|===
+
+== Questions?
+
+Open an issue or reach out directly — happy to explain anything in more detail.

Justfile

@@ -334,56 +334,67 @@ open-repo:
 
 # Show RSR compliance checklist
 rsr-checklist:
-    @cat << EOF
-RSR Compliance Checklist for Anamnesis
-
-✅ 1. Type Safety (90%): OCaml, Elixir typespecs, ReScript, Julia
-✅ 2. Memory Safety (60%): GC languages (OCaml/Elixir/Julia), no unsafe
-⚠️ 3. Offline-First (40%): Parser/reasoner offline, Virtuoso local
-✅ 4. Documentation (100%): README, component docs, architecture
-⚠️ 5. Testing (10%): Starter code only, no tests yet
-✅ 6. Build System (80%): dune, mix, just, flake.nix planned
-✅ 7. Security (90%): SECURITY.md, .well-known/security.txt
-✅ 8. Licensing (100%): LICENSE.txt (MIT OR Palimpsest-0.8)
-✅ 9. Contribution (100%): CONTRIBUTING.md, TPCF Perimeter 2
-✅ 10. Community (100%): CODE_OF_CONDUCT.md (CCCP-based)
-✅ 11. Versioning (100%): CHANGELOG.md, semantic versioning
-
-Current Score: 70/100 (Bronze Level) ✅
-
-Next Steps for Silver (85/100):
-- Add test infrastructure (all components)
-- Achieve 70% test coverage
-- Complete offline-first documentation
-- Setup Nix flakes for reproducible builds
-EOF
+    #!/usr/bin/env bash
+    cat << 'EOF'
+    RSR Compliance Checklist for Anamnesis
+
+    [ok] 1. Type Safety (90%): OCaml, Elixir typespecs, ReScript, Julia
+    [ok] 2. Memory Safety (60%): GC languages (OCaml/Elixir/Julia), no unsafe
+    [!!] 3. Offline-First (40%): Parser/reasoner offline, Virtuoso local
+    [ok] 4. Documentation (100%): README, component docs, architecture
+    [!!] 5. Testing (10%): Starter code only, no tests yet
+    [ok] 6. Build System (80%): dune, mix, just, flake.nix planned
+    [ok] 7. Security (90%): SECURITY.md, .well-known/security.txt
+    [ok] 8. Licensing (100%): LICENSE.txt (MIT OR Palimpsest-0.8)
+    [ok] 9. Contribution (100%): CONTRIBUTING.md, TPCF Perimeter 2
+    [ok] 10. Community (100%): CODE_OF_CONDUCT.md (CCCP-based)
+    [ok] 11. Versioning (100%): CHANGELOG.md, semantic versioning
+
+    Current Score: 70/100 (Bronze Level)
+
+    Next Steps for Silver (85/100):
+    - Add test infrastructure (all components)
+    - Achieve 70% test coverage
+    - Complete offline-first documentation
+    - Setup Nix flakes for reproducible builds
+    EOF
 
 # Show quick start guide
 quickstart:
-    @cat << EOF
-Anamnesis Quick Start Guide
-
-1. Setup dependencies:
-   just setup-all
-
-2. Build all components:
-   just build-all
-
-3. Run tests:
-   just test
-
-4. Start development:
-   just dev
-
-5. Validate before commit:
-   just validate
-
-For more commands: just --list
-For RSR compliance: just rsr-checklist
-For help: see README.md and CONTRIBUTING.md
-EOF
-
-# [AUTO-GENERATED] Multi-arch / RISC-V target
-build-riscv:
-	@echo "Building for RISC-V..."
-	cross build --target riscv64gc-unknown-linux-gnu
+    #!/usr/bin/env bash
+    cat << 'EOF'
+    Anamnesis Quick Start Guide
+
+    1. Setup dependencies:
+       just setup-all
+
+    2. Build all components:
+       just build-all
+
+    3. Run tests:
+       just test
+
+    4. Start development:
+       just dev
+
+    5. Validate before commit:
+       just validate
+
+    For more commands: just --list
+    For RSR compliance: just rsr-checklist
+    For help: see README.md and CONTRIBUTING.md
+    EOF
+
+# Synchronize A2ML metadata to SCM (Shadow Sync)
+sync-metadata:
+    #!/usr/bin/env bash
+    echo "Synchronizing metadata (A2ML -> SCM)..."
+    if [ -f .machine_readable/STATE.a2ml ]; then
+        COMPLETION=$(grep "completion-percentage:" .machine_readable/STATE.a2ml | awk '{print $2}')
+        sed -i "s/(overall-completion [0-9]\+)/(overall-completion $COMPLETION)/" .machine_readable/STATE.scm
+        echo "✓ Metadata synchronized"
+    fi
+
+# Run panic-attacker pre-commit scan
+assail:
+    @command -v panic-attack >/dev/null 2>&1 && panic-attack assail . || echo "panic-attack not found — install from https://github.com/hyperpolymath/panic-attacker"