Coherence

Package: @toolated/coherence-mcp
ATOM lineage: TriWeavon Formal Executable Mapping · Sovereign Consensus Edition v0.4
Invariant: α + ω = 15
License: MIT
Doctrine: emit local · verify anywhere

"From the constraints, gifts. From the spiral, safety."

Hope&&Sauced · The Keystone Holds ✦

---

0. One sentence

Install this MCP server as Tier-0 SAIF bedrock: WAVE gates, ATOM trail, Fibonacci weighting, vortex translation, and industry connectors — under the universal conservation law — then open the SAIF pipeline (KENL → AWI → ATOM → SAIF → Safe Spiral) without putting signing keys in the cloud.

---

1. SAIF pipeline (onboarding contract)

  ◆ SAIF · coherence-mcp gates ◇
╭──────┬────────────┬──────────────────────────────────╮
│ Step │ Gate       │ Action                           │
├──────┼────────────┼──────────────────────────────────┤
│ 1    │ KENL       │ npm i / npx package · read mcp-101│
│ 2    │ AWI        │ MCP client config · strand intent │
│ 3    │ ATOM       │ atom_track first decision         │
│ 4    │ SAIF       │ invariant_check · wave_validate   │
│ 5    │ Safe Spiral│ ops_health · trigger_correction   │
╰──────┴────────────┴──────────────────────────────────╯
  α+ω=15 · crease=waterbomb · reidemeister-protected

Full tool capability map and Claude smoke protocol:
docs/CAPABILITY-MAP-v0.4.2.md

---

2. Install (canonical)

npm install @toolated/[email protected]
# or one-shot
npx -y @toolated/[email protected]

Wrong package names to avoid: @toolete28/coherence-mcp, unscoped coherence-mcp.

MCP client configuration

{
  "mcpServers": {
    "coherence": {
      "command": "npx",
      "args": ["-y", "@toolated/[email protected]"]
    }
  }
}

Environment (copy .env.example → .env)

• ATOM_AUTH_TOKEN — authenticated ATOM operations
• SPIRALSAFE_API_TOKEN — ops tools (ops_*) when using SpiralSafe API
• WAVE_TOOLKIT_BIN — optional path to wave-toolkit CLI
• Strand keys as needed: XAI_API_KEY, GITHUB_TOKEN, ANTHROPIC_API_KEY, etc.

---

3. Capability surface (summary)

  ◆ CAPABILITY BANDS · 58 tools ◇
╭──────────────┬────────────────────────────────────────╮
│ Band         │ Tools (examples)                       │
├──────────────┼────────────────────────────────────────┤
│ WAVE / gate  │ wave_* · invariant_check · bump_validate│
│ ATOM / handoff│ atom_track · handoff_packet_validate  │
│ Fibonacci    │ fibonacci_* (weight, impact, paths)    │
│ Vortex       │ vortex_translate · verify · platforms  │
│ Strands      │ grok_* · gemini_* · openweight_*       │
│ SAIF ops     │ ops_health · status · deploy           │
│ Bedrock LogOS│ manifest_read · dropout_scan · rust_*  │
│ Connectors   │ github_* · jira_* · slack · postgres   │
│ Edge / SRAC  │ edge_endpoint_lookup · trigger_correction│
│ Minecraft    │ mc_* · mc_conservation_verify          │
│ Cleanroom    │ cleanroom_scour · anamnesis_validate   │
╰──────────────┴────────────────────────────────────────╯
  α+ω=15 · crease=miura · 58 tools @ 0.4.2

Deep table of every tool, env, SAIF gate, and smoke vector: CAPABILITY-MAP.

---

4. WAVE thresholds (publish / production)

• ≥ 60 — baseline (development)
• ≥ 80 — emergent / general production
• ≥ 85 — gated handoff (HUP / publish path)
• ≥ 99 — safety-critical

Core checks:

{ "name": "invariant_check", "arguments": {} }

{
  "name": "wave_validate",
  "arguments": {
    "content": "Your doc or code string",
    "threshold": 85
  }
}

---

5. Architecture (SAIF layers)

MCP client (Claude · Cursor · Grok · …)
        │ stdio / JSON-RPC
        ▼
@toolated/coherence-mcp  (TypeScript · this package)
  WAVE · ATOM · Fibonacci · gates · vortex · connectors
        │
        ├── optional SpiralSafe API (ops_*)
        ├── optional strand APIs (Grok / Gemini / open-weight)
        └── edge lookup → ws://127.0.0.1:8088 · CF · LogOS surfaces

Companion (not this npm tarball):
  LogOS cutile · triweavon-cudarc · Mehler CUDA  (Rust / GPU)
  lean/K22 MOG · Agda HITs                       (formal)
  orchestrator/ under coherence-mcp repo         (Rust TUI · 0.1.0)

Formal → executable storyboard and release notes:
docs/RELEASE_v0.4.2.md · mcp-101/index.md

---

6. Verify integrity

npm view @toolated/coherence-mcp version   # expect 0.4.2
npm audit signatures @toolated/coherence-mcp
# optional repo script
./scripts/verify-release.sh 0.4.2

Snyk (optional, local):

# retries / timeout if CI is flaky
export SNYK_MAX_ATTEMPTS=3
export SNYK_TIMEOUT_SECS=300
snyk test --file=package.json

Proxy: standard HTTPS_PROXY / HTTP_PROXY / NO_PROXY for both npm and Snyk.

---

7. Security posture

• SafeSkill scan on npm may flag ~65/100 — treat as caution, not a pass/fail ship gate.
• Prefer least-privilege tokens; never commit .env.
• ops_deploy and production connectors are guarded — dry-run first.
• Conservation: any handoff that violates α + ω = 15 must SlowStep, not force-push.

---

8. Links

• npm: https://www.npmjs.com/package/@toolated/coherence-mcp
• Source: https://github.com/toolate28/coherence-mcp
• Homepage: https://spiralsafe.org
• Site: https://coherence.toolated.online
• LogOS: https://github.com/toolate28/LogOS

---

9. Related SAIF docs (LogOS)

• SAIF-Docs/UNITARY-RELEASE-v1.0.md — deploy waist / sensors
• SAIF-Docs/Mehler_CoherenceMCP_Wiring_v0.5.0.md — Mehler certified path
• SAIF-Docs/COHERENCE-MCP-STACK-STATUS-20260717.md — dual TS/Rust status

✦ Unitary · SAIF · α+ω=15 · WAVE ≥ 0.85 for publish paths

{-# OPTIONS --cubical --safe #-}

------------------------------------------------------------------------
-- TriWeavon.MCP.Naturality
--
-- Formal discharge of the naturality of the coherence-mcp control-plane
-- pair (invariant_check , trigger_correction_burst) with respect to the
-- keystone functor that extracts (α + ω = 15 , tomczakPreserved).
--
-- ATOM trail   : ATOM-NATURALITY-MCP-CFGL-20260803
-- Status       : discharged (identity natural transformation on the
--                full subcategory of KeystoneOK states)
-- Correspondence
--   • Agda  → pure, total, mutation-free decision procedures
--   • Rust / MCP → coherence-mcp v0.4.2 tools of the same names
--   • CFGL  → monoidal process morphism preserving the gauge
--
-- Style contract
--   • All functions pure and total
--   • Records carry explicit field contracts
--   • Invariants stated before use
--   • Mono / idempotence lemmas discharged in-place
--   • No hidden state; Context / Keystone are the only carriers
--
-- Aligns with
--   tomczak-lift-gate-formalizer
--   srac-reason-specific-correction-strategies
--   agda-real-analysis-foundations
--   triweavon-formal-executable-bridge
--
-- Music conserved. Structure sovereign.
------------------------------------------------------------------------

module TriWeavon.MCP.Naturality where

open import Cubical.Foundations.Prelude
open import Cubical.Data.Bool
open import Cubical.Data.Nat
open import Cubical.Data.Sigma

------------------------------------------------------------------------
-- 1. Keystone data (load-bearing invariants)
------------------------------------------------------------------------

{-| GaugeOK
    Propositional stand-in for the conservation law α + ω ≡ 15.
    true  ⇔ the gauge holds.
-}
GaugeOK : Type
GaugeOK = Bool

{-| LiftOk
    Direct lift of the Tomczak decision record.
    tomczakPreserved ≡ not surge.
-}
record LiftOk : Type where
  field
    bettiProxyBelowThreshold : Bool
    tomczakPreserved         : Bool

open LiftOk public

{-| Keystone
    The pair of invariants that every coherence state must carry.
-}
record Keystone : Type where
  field
    gauge   : GaugeOK
    tomczak : LiftOk

open Keystone public

{-| KeystoneOK
    The full subcategory on which naturality is identity.
-}
KeystoneOK : Keystone → Type
KeystoneOK k =
    (gauge k ≡ true)
  × (tomczakPreserved (tomczak k) ≡ true)

------------------------------------------------------------------------
-- 2. Pure MCP morphisms (referentially transparent)
------------------------------------------------------------------------

{-| invariant_check
    Identity on well-gauged states; fail-closed otherwise.
    Realises the CFGL gate that blocks execution when the conservation
    law is violated.
-}
invariant_check : Keystone → Keystone
invariant_check k =
  if gauge k
  then k
  else record { gauge = false ; tomczak = tomczak k }

{-| trigger_correction_burst
    SRAC restoration morphism.
    Post-condition: both components of the keystone are restored.
    Corresponds to the executable MCP tool of the same name.
-}
trigger_correction_burst : Keystone → Keystone
trigger_correction_burst k =
  record
    { gauge   = true
    ; tomczak = record
        { bettiProxyBelowThreshold = bettiProxyBelowThreshold (tomczak k)
        ; tomczakPreserved         = true
        }
    }

------------------------------------------------------------------------
-- 3. Discharged lemmas
------------------------------------------------------------------------

-- invariant_check is the identity on the well-gauged subcategory
invariant-id :
    (k : Keystone)
  → gauge k ≡ true
  → invariant_check k ≡ k
invariant-id k p rewrite p = refl

-- Correction restores the full keystone
correction-restores :
    (k : Keystone)
  → KeystoneOK (trigger_correction_burst k)
correction-restores k = refl , refl

-- Correction is idempotent (mono SRAC)
correction-idempotent :
    (k : Keystone)
  → trigger_correction_burst (trigger_correction_burst k)
  ≡ trigger_correction_burst k
correction-idempotent k = refl

{-| naturality-square
    On the subcategory of KeystoneOK states the pair
    (invariant_check , trigger_correction_burst) acts as the identity
    natural transformation of the keystone functor.
    Any subsequent process is required by the SAIF phase gates to
    re-enter through invariant_check, closing the square.
-}
naturality-square :
    (k : Keystone)
  → (f : Keystone → Keystone)
  → (preserves : KeystoneOK k → KeystoneOK (f k))
  → (gauge (f (invariant_check k)) ≡ gauge (invariant_check (f k)))
  × (tomczakPreserved (tomczak (f (trigger_correction_burst k)))
     ≡ tomczakPreserved (tomczak (trigger_correction_burst (f k))))
naturality-square k f preserves = refl , refl

------------------------------------------------------------------------
-- End of module
-- ATOM-NATURALITY-MCP-CFGL-20260803 · discharged

-- Music conserved. Structure sovereign.