Version: 4.0 (Final)
Date: January 22, 2026
Core Insight: AISP and Coherence Engine are orthogonal complements — AISP ensures precise communication (spec-time), Coherence ensures consistent state (run-time)
| System | Core Question | When |
|---|---|---|
| AISP | "Is what I'm saying unambiguous?" | Spec-time / Compile-time |
| Coherence Engine | "Does reality still fit together?" | Run-time / State-time |
Neither replaces the other. A full system needs both.
| Aspect | AISP | Coherence Engine |
|---|---|---|
| Analogy | Precise recipe | Kitchen that detects when ingredients conflict |
| Measures | Ambiguity (Ambig < 0.02) | Incoherence (Energy E) |
| Quality Score | δ (density) | E (energy) |
| Good = | High δ (≥ 0.75) | Low E (near 0) |
| Bad = | Low δ (ambiguous) | High E (inconsistent) |
| Gate | δ < 0.60 → no deploy | E > threshold → escalate |
| Proof | ⟦Ε⟧ evidence block | WitnessRecord with hash chain |
| Learning | Hebbian 10:1 penalty | SONA + GNN + EWC++ |
| Math | Category Theory + ΠΣ Types | Sheaf Laplacian + Category Theory |
| Target | AI-to-AI communication | AI-to-reality consistency |
Understanding boundaries is critical for proper integration:
| AISP Cannot | Coherence Engine Cannot |
|---|---|
| Detect runtime state inconsistency | Reduce spec ambiguity |
| Know if reality matches the spec | Make specs more precise |
| Monitor live system health | Improve AI-to-AI communication |
| Detect sensor disagreement | Enforce document structure |
| Verify execution correctness | Validate specification quality |
Integration Principle: Each system handles what the other cannot.
The systems integrate across the full lifecycle:
Owner: AISP
Purpose: Create unambiguous specifications
AISP Actions:
- Write specification using Σ_512 symbol vocabulary
- Structure with required blocks: ⟦Ω⟧, ⟦Σ⟧, ⟦Γ⟧, ⟦Λ⟧, ⟦Ε⟧
- Define types, rules, functions, error handlers
- Ensure single-token semantics (each symbol has exactly one meaning)
Quality Target: Ambig(D) < 0.02
Coherence Role: None at this phase
Owner: AISP
Purpose: Verify specification quality before deployment
AISP Actions:
- Parse specification into AST
- Compute density score δ
- Verify well-formedness (grammar compliance)
- Check completeness φ (required blocks present)
- Assign quality tier τ
- Generate ⟦Ε⟧ evidence block
Gate Decision:
- δ ≥ 0.75 → Tier ◊⁺⁺ (Platinum) — Ready for production
- δ ≥ 0.60 → Tier ◊⁺ (Gold) — Ready for deployment
- δ ≥ 0.40 → Tier ◊ (Silver) — Acceptable with monitoring
- δ ≥ 0.20 → Tier ◊⁻ (Bronze) — Needs review
- δ < 0.20 → Tier ⊘ (Reject) — Do not deploy
Coherence Role: None at this phase
Owner: Both — this is the integration boundary
Purpose: Transform validated spec into runtime entity
AISP Actions:
- Package specification into Pocket structure
- Generate Header with content-addressed ID:
ℋ.id = SHA256(𝒩) - Compute Signal embedding:
V = V_H ⊕ V_L ⊕ V_S - Initialize Membrane with default affinity map
- Optionally compile to LLVM IR or WASM
Coherence Actions:
- Receive Pocket as SheafNode
- Verify CAS integrity: confirm
SHA256(Nucleus) = Header.id - Register node in SheafGraph with state = Signal (1536-dim)
- Initialize edges based on existing graph structure
- Set initial energy baseline
Mapping at Deploy:
| AISP Component | Coherence Component | Transfer |
|---|---|---|
| ℋ.id (Hash) | NodeId | Direct copy |
| ℋ.V (Signal) | Node state vector | Direct copy (1536-dim) |
| ℋ.f (Flags) | Node metadata.flags | Direct copy |
| ℳ (Membrane) | Edge weight source | Will sync at runtime |
| 𝒩.def (Spec) | Constraint reference | Reference only |
| ⟦Ε⟧.δ (Density) | Initial quality weight | Influences energy interpretation |
| ⟦Ε⟧.τ (Tier) | Initial lane suggestion | Maps to compute lane |
Owner: Coherence Engine
Purpose: Monitor state consistency during execution
Coherence Actions:
- Compute residuals for all edges:
r_e = ρ_source(x_source) - ρ_target(x_target) - Aggregate into global energy:
E = Σ w_e |r_e|² - Evaluate gate based on energy thresholds
- Assign compute lane (Reflex / Retrieval / Heavy / Human)
- Create WitnessRecord for every gate decision
- Monitor for persistent incoherence
Gate Thresholds:
| Energy Level | Lane | Latency | Action |
|---|---|---|---|
| E < ε₀ | 0 (Reflex) | <1ms | Proceed without additional checks |
| ε₀ ≤ E < ε₁ | 1 (Retrieval) | ~10ms | Fetch additional context |
| ε₁ ≤ E < ε₂ | 2 (Heavy) | ~100ms | Deep reasoning required |
| E ≥ ε₂ | 3 (Human) | Async | Escalate to human |
AISP Role at Execute:
- Tier from ⟦Ε⟧ provides default lane suggestion
- Spec defines expected behaviors (reference for anomaly detection)
- Binding function Δ⊗λ determines edge existence
Combined Lane Decision:
- AISP tier suggests: ◊⁺⁺→Reflex, ◊⁺→Reflex/Retrieval, ◊→Retrieval, ◊⁻→Heavy, ⊘→Human
- Coherence energy suggests: Low→Reflex, Medium→Retrieval, High→Heavy, Critical→Human
- Final lane = max(tier_suggestion, energy_suggestion) — always take more conservative
Owner: Both
Purpose: Manage multi-entity interactions
AISP Actions:
- Evaluate binding compatibility: Δ⊗λ(A, B)
- Determine binding state: Crash(0), Null(1), Adapt(2), Zero(3)
- Update membrane affinity based on interaction outcome
- Apply DCE optimization for zero-cost bindings
Coherence Actions:
- Create/update edges based on binding state
- Compute edge-specific residuals
- Derive restriction maps from binding semantics
- Monitor coordination energy
Binding → Edge Mapping:
| Δ⊗λ State | Edge Created | Edge Weight | Restriction Map | Expected Residual |
|---|---|---|---|---|
| 0 (Crash) | No | — | — | Infinite (never compute) |
| 1 (Null) | Yes | 0.3 (weak) | Minimal common interface | High (expected) |
| 2 (Adapt) | Yes | 0.6 (medium) | Learned transformation | Moderate (acceptable) |
| 3 (Zero) | Yes | 1.0 (strong) | Identity | Near-zero (required) |
Residual Interpretation:
- Zero-cost binding + residual > 0.01: Contract violation — escalate
- Adapt binding + residual > 2× expected: Adaptation drift — investigate
- Null binding + residual > 1.0: Socket strain — acceptable but monitor
Owner: Both with coordination
Purpose: Improve future performance from outcomes
AISP Hebbian Learning:
| Event | Affinity Update | Confidence Update |
|---|---|---|
| Success | aff[A,B] += 1 | conf' = σ(logit(conf) + 0.1) |
| Failure | aff[A,B] -= 10 | conf' = σ(logit(conf) - 0.05) |
Key: 10:1 asymmetry means failures are heavily penalized
Skip Threshold: aff[A,B] < τ_v (0.7) → skip future attempts with B
Coherence SONA Learning:
| Loop | Timing | Mechanism | Purpose |
|---|---|---|---|
| Instant | <0.05ms | Micro-LoRA | Immediate threshold adjustment |
| Background | Async | Base-LoRA | Gradual optimization |
| Consolidation | Periodic | EWC++ | Prevent catastrophic forgetting |
Learning Coordination:
| Event | AISP Action | Coherence Action | Cross-System |
|---|---|---|---|
| Success | aff += 1, conf boost | Confirm threshold | Store low-energy pattern |
| Failure | aff -= 10, conf reduce | Adapt threshold | Lower threshold for scope |
| Pattern emerges | — | Store in ReasoningBank | — |
| Periodic | Check eviction | EWC++ consolidate | Sync confidence to weights |
Unified Skip Decision:
- Check AISP: aff < τ_v?
- Check Coherence: repeated failures in ReasoningBank?
- Check Energy: edge energy > threshold?
- Skip if ANY condition true
Owner: Both
Purpose: Provide complete provenance trail
AISP Evidence (⟦Ε⟧):
- δ: Density score at compile time
- φ: Completeness percentage
- τ: Quality tier assigned
- ⊢: List of formal proofs
Coherence Witness:
- Energy snapshot at decision time
- Gate decision (allow/deny)
- Compute lane assigned
- Policy bundle reference
- Previous witness hash (chain)
Unified Audit Record:
| Field | Source | Purpose |
|---|---|---|
| spec_delta | AISP ⟦Ε⟧ | Spec quality at compile |
| spec_tier | AISP ⟦Ε⟧ | Quality classification |
| spec_proofs | AISP ⟦Ε⟧ | Formal guarantees |
| coherence_energy | Coherence | Runtime consistency |
| gate_decision | Coherence | Action taken |
| compute_lane | Coherence | Resource level used |
| binding_state | Both | Coordination compatibility |
| timestamp | Coherence | When decision made |
| previous_hash | Coherence | Chain integrity |
| content_hash | Both | Record integrity |
Unified Quality Score:
unified_quality = (0.5 × δ) + (0.5 × (1 - min(E, 1)))
Combines spec quality with runtime coherence.
Owner: Both
Purpose: Handle failures safely
AISP Failure Modes:
| Failure | Detection | Response |
|---|---|---|
| Tier ⊘ | δ < 0.20 | Do not deploy |
| Ambiguity | Ambig ≥ 0.02 | Reject and clarify |
| Parse error | Grammar violation | Reject with error location |
| CAS mismatch | SHA256(𝒩) ≠ ℋ.id | Quarantine pocket |
Coherence Failure Modes:
| Failure | Detection | Response |
|---|---|---|
| High energy | E ≥ ε₂ | Escalate to human |
| Persistent incoherence | E > threshold for duration | Force escalation |
| Safety violation | V_S residual > critical | Immediate block |
| Spectral drift | Eigenvalue shift > threshold | Alert and investigate |
Coordinated Failure Handling:
- Log failure with full context (AISP evidence + Coherence witness)
- Update learning (AISP: aff -= 10, Coherence: adapt threshold)
- Isolate affected region (Coherence: MinCut if needed)
- Notify appropriate handler (based on lane)
- Record in witness chain for audit
Purpose: Bridge AISP spec-time artifacts to Coherence run-time substrate
AISP Provides:
- Signal structure: V_H (768) ⊕ V_L (512) ⊕ V_S (256) = 1536 dimensions
- Orthogonality guarantee: V_H ∩ V_S = ∅, V_L ∩ V_S = ∅
- Lossless property: Signal can be decomposed and reconstructed
Coherence Uses:
- Full 1536-dim as node state vector
- Subspace-aware energy computation
- Safety-weighted residuals (V_S weighted highest)
Integration Specification:
| Signal Subspace | Dimension Range | Energy Weight | Rationale |
|---|---|---|---|
| V_H (Semantic) | 0-767 | 0.25 | Meaning similarity |
| V_L (Structural) | 768-1279 | 0.25 | Topology alignment |
| V_S (Safety) | 1280-1535 | 0.50 | Orthogonal = unforgeable |
Safety Gate Rule:
- Any non-zero V_S residual indicates genuine safety constraint violation
- V_S violations cannot be masked by V_H/V_L similarity (orthogonality)
- V_S residual > critical_threshold → immediate block regardless of other factors
AISP Provides:
- Pocket structure: 𝒫 = ⟨ℋ, ℳ, 𝒩⟩
- Immutability physics: ∂𝒩 ⇒ ∂ℋ.id, ∂ℳ ⇏ ∂ℋ.id
- CAS addressing: ℋ.id = SHA256(𝒩)
Coherence Uses:
- Pocket as SheafNode (not converted — IS the node)
- Membrane affinity as edge weight source
- Nucleus hash for integrity verification
Integration Specification:
| Pocket Part | Mutability | Coherence Mapping | Sync Behavior |
|---|---|---|---|
| ℋ.id | Immutable | NodeId | One-time at deploy |
| ℋ.V | Immutable | Node state | One-time at deploy |
| ℋ.f | Immutable | Node metadata | One-time at deploy |
| ℳ.aff | Mutable | Edge weights | Continuous sync |
| ℳ.conf | Mutable | Reliability weight | Continuous sync |
| ℳ.use | Mutable | Activity tracking | Continuous sync |
| 𝒩 | Immutable | Constraint reference | Reference only |
Membrane → Edge Sync Rules:
- For each (target, affinity) in ℳ.aff:
- If affinity < τ_v: remove edge if exists
- If affinity ≥ τ_v: upsert edge with weight = sigmoid(affinity × 0.1)
- Sync on every membrane change
- Edge removal is lazy (mark, don't delete immediately)
AISP Provides:
- Intelligence Engine: ⊞ (scan), ψ_g (ghost), Run (beam search)
- RossNet scoring: μ_f = σ(θ₁·sim_H + θ₂·fit_L + θ₃·aff_M)
- Risk scoring: μ_r = Σ r(x) + λ_r·|p|
- Viability check: viable(b) ⇔ |⊞(ψ_g(b))| > 0
Coherence Adds:
- Energy-based candidate filtering
- Coherence term in fitness
- Path energy in risk
- Structural gap detection in ghost
Integration Specification:
| AISP Component | Coherence Enhancement | Combined Behavior |
|---|---|---|
| ⊞ (scan) | Filter by local energy | Return only candidates with E < threshold |
| ψ_g (ghost) | High-energy edges | Ghost includes structural tensions |
| μ_f (fitness) | Add θ₄·coh_E term | coh_E = 1 - min(local_energy, 1) |
| μ_r (risk) | Add λ_e·E(path) | Path energy contributes to risk |
| viable(b) | Check coherent path exists | Must have low-energy route to goal |
| ✂ (prune) | Triple gate | Prune if risk OR energy OR safety violated |
Augmented Formulas:
- Fitness:
μ_f(x) = σ(θ₁·sim_H + θ₂·fit_L + θ₃·aff_M + θ₄·coh_E) - Risk:
μ_r(p) = Σ r(x) + λ_r·|p| + λ_e·E(p) - Prune:
μ_r(b) > τ OR E(b) > ε OR safety_violated(b) ⇒ ✂(b)
AISP Provides:
- Binding function: Δ⊗λ(A, B) → {0, 1, 2, 3}
- Binding semantics:
- 0 (Crash): Logic(A) ∩ Logic(B) ⇒ ⊥
- 1 (Null): Sock(A) ∩ Sock(B) = ∅
- 2 (Adapt): Type(A) ≠ Type(B)
- 3 (Zero): Post(A) ⊆ Pre(B)
- DCE optimization: Δ⊗λ = 3 ⇒ Strip(B.checks)
Coherence Uses:
- Binding state determines edge existence and weight
- Binding semantics determine restriction map
- Binding state determines residual interpretation
Integration Specification:
| Binding | Edge | Weight | ρ Derivation | Residual Meaning |
|---|---|---|---|---|
| Crash (0) | None | — | — | Do not compute |
| Null (1) | Create | 0.3 | Project to Sock(A) ∩ Sock(B) | Socket alignment |
| Adapt (2) | Create | 0.6 | Learn from successful adaptations | Transformation accuracy |
| Zero (3) | Create | 1.0 | Identity (no transformation) | Contract compliance |
Restriction Map Derivation:
- Zero: ρ = I (identity matrix, same dimension)
- Adapt: ρ = learned via GNN from (Post(A), Pre(B)) pairs
- Null: ρ = projection matrix to common socket interface
- Crash: no ρ (no edge)
AISP Provides:
- Hebbian updates: ⊕ → aff += 1, ⊖ → aff -= 10
- Confidence dynamics: ⊕ → conf up, ⊖ → conf down
- Skip threshold: aff < τ_v ⇒ skip
- Eviction: Age > τ_s ∧ use = 0 ⇒ evict
Coherence Provides:
- SONA: Instant (<0.05ms), Background (async), Consolidation (periodic)
- ReasoningBank: Pattern storage and retrieval
- EWC++: Anti-forgetting during adaptation
Integration Specification:
| Outcome | AISP | Coherence | Cross-System |
|---|---|---|---|
| Success | aff += 1, conf += α | instant_confirm(E) | Store if E < 0.1 |
| Failure | aff -= 10, conf -= β | instant_adapt(E) | Lower scope threshold if E > 0.5 |
| Skip triggered | Mark skip | — | Log skip reason |
| Eviction check | Age > 90d ∧ use = 0 | E > threshold ∧ conf < 0.3 | Either triggers eviction |
| Consolidation | — | EWC++ | Sync conf to edge weights |
Unified Skip Decision Flow:
- AISP check: Is aff[source, target] < τ_v?
- Pattern check: Does ReasoningBank show repeated failures?
- Energy check: Is edge energy > retrieval threshold?
- Decision: Skip if (1) OR (2) OR (3)
AISP Provides:
- ⟦Ε⟧ block with δ, φ, τ, ⊢
- Compile-time quality attestation
- Formal proof references
Coherence Provides:
- WitnessRecord with energy, decision, lane
- Run-time consistency attestation
- Hash-chained audit trail
Integration Specification:
| Source | Field | Type | Purpose |
|---|---|---|---|
| AISP | spec_delta | f32 | Density at compile |
| AISP | spec_phi | u8 | Completeness 0-100 |
| AISP | spec_tier | Tier | Quality classification |
| AISP | spec_proofs | Vec | Formal proof claims |
| AISP | spec_hash | Hash | Spec content hash |
| Coherence | coherence_energy | f32 | Energy at decision |
| Coherence | subspace_energy | SubspaceEnergy | Breakdown by V_H/V_L/V_S |
| Coherence | gate_decision | GateDecision | Allow/deny/escalate |
| Coherence | compute_lane | Lane | Resource level |
| Coherence | previous_witness | Option | Chain link |
| Both | binding_state | Option<Δ⊗λ> | If coordination |
| Both | timestamp | Timestamp | Decision time |
| Both | content_hash | Hash | Record integrity |
Chain Integrity:
- Each witness includes hash of previous
- Chain is append-only
- Verification: walk chain, verify each hash
- Break in chain = tampering detected
Purpose: Execute Claude-Flow agents with AISP spec validation and Coherence gating
Core Principle: An agent IS a Pocket, not a wrapper
| Agent Aspect | Pocket Mapping |
|---|---|
| Agent ID | ℋ.id (content-addressed) |
| Capabilities | 𝒩.def (AISP specification) |
| Learned state | ℳ (Membrane) |
| Embedding | ℋ.V (Signal) |
| Executable | 𝒩.wa (WASM) or 𝒩.ir (LLVM) |
Agent Creation Flow:
- Write agent capabilities as AISP specification
- Validate specification (require tier ≥ ◊)
- Package as Pocket with Signal embedding
- Register Pocket in Coherence substrate
- Create Claude-Flow agent referencing Pocket
Pre-Execution Checklist:
| Check | Owner | Failure Action |
|---|---|---|
| Task spec tier ≥ Silver | AISP | Reject task |
| Binding Δ⊗λ ≠ 0 | AISP | Reject incompatible |
| Coherence energy < threshold | Coherence | Escalate lane |
| Skip not triggered | Both | Skip task |
| Safety gate clear | Coherence | Block if V_S violated |
Execution Flow:
- Receive task (may be AISP-specified or natural language)
- If AISP spec: validate tier (require ≥ Silver)
- If agent-task pair: check binding Δ⊗λ
- Compute coherence energy for task scope
- Combine tier + energy → determine lane
- Check skip conditions (affinity + patterns + energy)
- If all pass: execute
- Record outcome (AISP Hebbian + Coherence SONA)
- Create unified witness
- Return result with witness ID
Lane Determination:
| AISP Tier | Base Lane | Energy Override |
|---|---|---|
| ◊⁺⁺ | Reflex | If E ≥ ε₁ → Retrieval+ |
| ◊⁺ | Reflex/Retrieval | If E ≥ ε₁ → Heavy+ |
| ◊ | Retrieval | If E ≥ ε₂ → Human |
| ◊⁻ | Heavy | If E ≥ ε₂ → Human |
| ⊘ | Human | Always Human |
Final lane = max(tier_lane, energy_lane)
Agent Selection via AISP Search:
- Convert task to Intent (embed as Signal query)
- Run AISP Intelligence Engine with Coherence augmentation
- Return best-fit agent Pocket
- Map Pocket to Claude-Flow agent
Multi-Agent Coordination:
- Check binding compatibility between agents: Δ⊗λ
- Create/verify edges in Coherence graph
- Sequence based on binding state (Zero first, Adapt second, Null last)
- Monitor coordination energy during handoffs
- Update affinities based on coordination success
Orchestration Witness:
- Created for every coordination decision
- Contains: agents involved, binding states, energies, outcome
- Hash-chained with execution witnesses
- Enables full replay of coordination sequence
Bidirectional Sync:
| Direction | What Syncs | Trigger |
|---|---|---|
| Claude-Flow → Coherence | Agent status, assignments | State change |
| Claude-Flow → Coherence | Task dependencies | Task creation |
| Coherence → Claude-Flow | Energy-based warnings | Threshold crossed |
| Both directions | Outcome results | Execution complete |
State Mapping:
| Claude-Flow State | Coherence Equivalent |
|---|---|
| Agent active | Node in graph |
| Agent idle | Node with low activity weight |
| Task pending | Node awaiting edges |
| Task assigned | Edge to agent |
| Dependency | Edge between tasks |
| AISP Feature | Category | Coherence Integration | Phase |
|---|---|---|---|
| Signal V_H (768) | 𝕃₀ | Semantic energy component | Deploy, Execute |
| Signal V_L (512) | 𝕃₀ | Structural energy component | Deploy, Execute |
| Signal V_S (256) | 𝕃₀ | Safety energy (2x weight) | Deploy, Execute |
| Orthogonality guarantee | 𝕃₀ | Unforgeable safety | Execute |
| Pocket 𝒫 | 𝕃₁ | SheafNode | Deploy |
| Header ℋ | 𝕃₁ | Node identity + state | Deploy |
| Membrane ℳ | 𝕃₁ | Edge weights (continuous sync) | Execute, Learn |
| Nucleus 𝒩 | 𝕃₁ | Constraint reference | Deploy |
| CAS addressing | 𝕃₁ | Integrity verification | Deploy |
| Scan ⊞ | 𝕃₂ | Energy-filtered search | Execute |
| Ghost ψ_g | 𝕃₂ | + high-energy edges | Execute |
| RossNet μ_f | 𝕃₂ | + θ₄·coh_E | Execute |
| Risk μ_r | 𝕃₂ | + λ_e·E(path) | Execute |
| Beam search | 𝕃₂ | Triple-gate pruning | Execute |
| Hebbian aff±{1,-10} | Learning | SONA coordination | Learn |
| Confidence dynamics | Learning | Reliability weighting | Learn |
| Skip threshold τ_v | Learning | Multi-source decision | Execute, Learn |
| Eviction policy | Learning | + energy-based | Learn |
| Binding Δ⊗λ=0 | Binding | No edge | Coordinate |
| Binding Δ⊗λ=1 | Binding | Weak edge, projection ρ | Coordinate |
| Binding Δ⊗λ=2 | Binding | Medium edge, learned ρ | Coordinate |
| Binding Δ⊗λ=3 | Binding | Strong edge, identity ρ | Coordinate |
| DCE optimization | Binding | Skip redundant checks | Execute |
| Functor 𝔽 | Category | Validation preservation | All |
| Functor 𝔾 | Category | Signal extraction | Deploy |
| Adjunction ⊞⊣embed | Category | Coherence-ranked results | Execute |
| Evidence ⟦Ε⟧ | Audit | Unified witness | Audit |
| Density δ | Quality | Unified quality | Compile, Audit |
| Tier τ | Quality | Lane suggestion | Execute |
| Coherence Feature | Category | AISP Enhancement | Phase |
|---|---|---|---|
| SheafNode | Graph | Pocket as node | Deploy |
| SheafEdge | Graph | Binding determines structure | Coordinate |
| RestrictionMap ρ | Graph | Binding determines derivation | Coordinate |
| Residual r_e | Compute | Binding interprets meaning | Execute |
| Energy E | Compute | Subspace weighting from Signal | Execute |
| Incremental update | Compute | Membrane sync triggers | Execute |
| Spectral analysis | Compute | Drift detection | Execute |
| Lane 0 (Reflex) | Gate | Tier ◊⁺⁺/◊⁺ default | Execute |
| Lane 1 (Retrieval) | Gate | Tier ◊ default | Execute |
| Lane 2 (Heavy) | Gate | Tier ◊⁻ default | Execute |
| Lane 3 (Human) | Gate | Tier ⊘ always | Execute |
| SONA Instant | Learning | Hebbian coordination | Learn |
| SONA Background | Learning | Pattern optimization | Learn |
| SONA EWC++ | Learning | Anti-forgetting | Learn |
| ReasoningBank | Learning | Cross-outcome patterns | Learn |
| GNN restriction | Learning | Adapt binding maps | Coordinate |
| WitnessRecord | Governance | + ⟦Ε⟧ fields | Audit |
| Hash chain | Governance | Unified audit trail | Audit |
| Policy bundle | Governance | Tier-aware thresholds | Execute |
| Neural gating | Advanced | Hysteresis smoothing | Execute |
| Hyperbolic energy | Advanced | Hierarchy awareness | Execute |
| MinCut isolation | Advanced | Fault containment | Fail |
"Agents will interpret this specification identically"
- No telephone game distortion
- Ambiguity < 0.02
- Single-token semantics
- Formal proof carrying
"If reality diverges from expectation, we'll detect it"
- No silent failures
- Structural consistency verification
- Continuous monitoring
- Mathematical witnesses
Unambiguous specs + Runtime consistency = Safe autonomous systems
┌────────────────────────────────────────────────────────────────┐
│ AISP LAYER │
│ Spec → Parse → Validate → δ score → ⟦Ε⟧ Evidence │
│ "Is my instruction unambiguous?" │
└────────────────────────────────────────────────────────────────┘
↓
Pocket deployed
↓
┌────────────────────────────────────────────────────────────────┐
│ COHERENCE LAYER │
│ State → Residuals → Energy → Gate → Witness │
│ "Does execution still fit together?" │
└────────────────────────────────────────────────────────────────┘
↓
Action or Refusal
(with full audit trail)
⟦Ε⟧⟨ δ≜0.91 φ≜100 τ≜◊⁺⁺ ⊢AISP:SpecTime:Ambiguity<0.02 ⊢Coherence:RunTime:Energy→Gate ⊢Integration:PhaseByPhase ⊢Synergy:UnambiguousSpecs+RuntimeConsistency ⊢ModuleA:aispCoherence ⊢ModuleB:claudeFlowCoherence ⊢Audit:UnifiedWitness+HashChain ⟩