feat: add 10 V-lang connectors (triplestore, kerberos, ntp, smtp, dhcp, coap, snmp, radius, backup, ca)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

v-ecosystem/v-api-interfaces/v-backup/README.adoc

@@ -0,0 +1,14 @@
+= v-backup
+// SPDX-License-Identifier: PMPL-1.0-or-later
+
+Multi-backend backup client for the V-Ecosystem API interfaces layer.
+Supports Restic (REST API), BorgBackup (SSH), and rsync with a unified interface for snapshot creation, listing, restoration, pruning, and integrity checking.
+Handles encryption-at-rest, deduplication, and incremental backups.
+
+== Author
+
+Jonathan D.A. Jewell
+
+== Source
+
+`src/backup.v`

v-ecosystem/v-api-interfaces/v-backup/contractiles/Trustfile.a2ml

@@ -0,0 +1,20 @@
+# Trustfile.a2ml -- v-backup
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# Contractile trust specification for the v-backup protocol module.
+# Evaluated by the contractile-cli (must/trust/dust/intend/k9) toolchain.
+
+[trust]
+post-quantum-keys = "pending"
+threat-model = "data-loss-encryption-key-management"
+formal-verification = "idris2-abi"
+audit-status = "unaudited"
+
+[must]
+invariant-checks = ["input-validation", "path-traversal-prevention", "encryption-key-protection", "retention-policy-enforcement", "integrity-verification"]
+build-contract = "v build src/"
+
+[dust]
+recovery = "restore-from-alternate-snapshot"
+rollback = "abort-and-verify-repository"

v-ecosystem/v-api-interfaces/v-backup/src/abi/Types.idr

@@ -0,0 +1,63 @@
+-- SPDX-License-Identifier: PMPL-1.0-or-later
+-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
+--
+-- Idris2 ABI type definitions for the v-backup protocol.
+-- Multi-backend backup types (Restic, BorgBackup, rsync),
+-- snapshot structures, retention policies, and integrity checks.
+
+module Types
+
+import Data.List
+
+||| Backup backend selection.
+public export
+data Backend : Type where
+  Restic : Backend   -- Restic REST API or local repository
+  Borg   : Backend   -- BorgBackup (local or SSH)
+  Rsync  : Backend   -- rsync over SSH
+
+||| Snapshot status.
+public export
+data SnapshotStatus : Type where
+  Complete  : SnapshotStatus
+  Partial   : SnapshotStatus
+  Corrupted : SnapshotStatus
+  Pruned    : SnapshotStatus
+
+||| Compression algorithm selection.
+public export
+data Compression : Type where
+  NoCompression : Compression
+  Lz4           : Compression
+  Zstd          : Compression
+  AutoCompress  : Compression
+
+||| A backup snapshot with metadata.
+public export
+record Snapshot where
+  constructor MkSnapshot
+  snapshotId : String
+  timestamp  : Nat          -- Unix timestamp
+  hostname   : String
+  paths      : List String
+  tags       : List String
+  sizeBytes  : Nat
+  status     : SnapshotStatus
+
+||| Retention policy for snapshot pruning.
+public export
+record RetentionPolicy where
+  constructor MkRetentionPolicy
+  keepDaily   : Nat
+  keepWeekly  : Nat
+  keepMonthly : Nat
+  maxAgeDays  : Nat
+
+||| Integrity check result.
+public export
+record CheckResult where
+  constructor MkCheckResult
+  passed      : Bool
+  errors      : List String
+  packsChecked : Nat
+  dataChecked  : Nat