f_Dismiss.md — Dismissal Primitive

from dataclasses import dataclass
from typing import Optional
import math
 
 
# ── Enumerations ──────────────────────────────────────────────────────────────
 
BOUND_STATES = {
    "CAPTURE_LOCKED", "CAPTURE_SOFT", "CAPTURE_TEMPORAL",
    "CAPTURE_NETWORKED", "ASYMMETRIC_LOCKED", "RESONANCE_LOCKED",
}
 
DISMISS_MODES = {"INTENTIONAL", "STRUCTURAL", "DRIFT"}
 
TERMINAL_ATTRACTOR_STATES = {"COLLAPSED", "FIELD_NULL"}
 
 
# ── Result dataclass ──────────────────────────────────────────────────────────
 
@dataclass
class DismissalEvaluation:
    """
    Result of evaluate_dismissal (PRIM:041).
    Returned regardless of pass/fail — always inspect .valid before proceeding.
    """
    valid:          bool            # True iff all DISM-1 through DISM-5 pass
    psi_dismiss:    str             # dismissal mode: INTENTIONAL | STRUCTURAL | DRIFT
    d_dismiss:      float           # initial well depth (magnitude)
    T_dismiss:      float           # persistence time
    r_dismiss:      float           # repulsion zone radius
    F_dismiss:      float           # total dismissal force scalar |G_D|
    v_depart:       float           # E's departure velocity
    beta_D:         float           # repulsive coupling coefficient (≤ 0)
    rho_D_initial:  float           # ρ_D(Φ, 0) = −d_dismiss
    invalid_reason: Optional[str]   # None if valid; condition code if not
    phantom_guard:  bool            # True if FM-006 phantom condition detected
 
 
def evaluate_dismissal(
    entity_state:       str,
    attractor_state:    str,
    d_bind_at_dismiss:  float,
    beta:               float,
    rho_phi:            float,
    v_escape:           float,
    M_E:                float,
    r_capture:          float,
    T_dismiss:          float,
    delta_accumulated:  float,
    d_collapse:         float,
    delta_warn:         float,
    psi_override:       Optional[str] = None,
    T_dismiss_default:  float = 5.0,
    epsilon_field:      float = 0.01,
) -> DismissalEvaluation:
    """
    PRIM:041 — evaluate_dismissal (Pure)
    =====================================
    FFF_Gravity · f_Dismiss.md · Wave 5
 
    Evaluate whether a dismissal event is structurally valid for the
    (A, E) pair and compute the resulting Dismissal Well parameters.
 
    This primitive is Pure: it reads only its inputs and produces a
    DismissalEvaluation record. No state is mutated.
 
    Parameters
    ----------
    entity_state : str
        Current state of entity E. Must be in BOUND_STATES for DISM-1.
    attractor_state : str
        Current state of attractor A. Must not be in TERMINAL_ATTRACTOR_STATES.
    d_bind_at_dismiss : float
        Binding depth at the moment of dismissal. d_bind(t_dismiss).
        ≥ 0. For DRIFT mode this equals d_bind at drift threshold.
    beta : float
        Binding coefficient β between E and A at dismissal time.
    rho_phi : float
        Field density ρ(Φ) at A at dismissal time. ∈ [0, 1].
    v_escape : float
        Escape velocity of A's capture field.
    M_E : float
        Mass of entity E. > 0.
    r_capture : float
        Capture radius of A. Upper bound on r_dismiss.
    T_dismiss : float
        Dismissal persistence time registered on A. Must be > 0 (DISM-5).
        If ≤ 0, T_dismiss_default is applied before failing.
    delta_accumulated : float
        Total accumulated decay δ experienced by this binding. Used for
        DRIFT mode detection (DISM-3).
    d_collapse : float
        Collapse threshold from f_Decay.md. Used for DRIFT mode detection.
    delta_warn : float
        Decay warning threshold δ_warn. Used for DRIFT mode detection.
    psi_override : str, optional
        If provided, overrides mode inference. Must be in DISMISS_MODES.
        Use only when caller has external mode information (e.g. FM-002 batch).
    T_dismiss_default : float, optional
        Fallback T_dismiss if attractor's value is unregistered (≤ 0).
        Default: 5.0 cycles.
    epsilon_field : float, optional
        Phantom guard threshold: rho_phi < epsilon_field → FM-006 phantom check.
        Default: 0.01.
 
    Returns
    -------
    DismissalEvaluation
        See dataclass definition above. Always check .valid before proceeding
        to execute_dismissal (PRIM:042).
 
    Evaluation order (INV-008)
    --------------------------
    DISM-1 (entity state) → DISM-2 (attractor state) →
    DISM-3 (mode determinable) → DISM-4 (well depth > 0) → DISM-5 (T_dismiss)
 
    INV compliance
    --------------
    INV-001 : F_freq_D · F_fluid_D · F_force_D — all three nodes contribute
    INV-002 : ρ_D(Φ) ∈ (−1, 0] — negative domain, clamped if needed
    INV-005 : All DISM conditions conjunctive
    INV-008 : Evaluation order is normative
    INV-009 : All symbols sourced from OPERATORS.md
    INV-010 : All new operators frozen here, not re-defined downstream
    """
 
    # ── DISM-1: Entity state eligibility ─────────────────────────────────────
    if entity_state not in BOUND_STATES:
        return DismissalEvaluation(
            valid=False, psi_dismiss="UNKNOWN", d_dismiss=0.0,
            T_dismiss=T_dismiss, r_dismiss=0.0, F_dismiss=0.0,
            v_depart=0.0, beta_D=0.0, rho_D_initial=0.0,
            invalid_reason="STATE_NOT_BOUND", phantom_guard=False,
        )
 
    # ── DISM-2: Attractor not collapsed ──────────────────────────────────────
    if attractor_state in TERMINAL_ATTRACTOR_STATES:
        return DismissalEvaluation(
            valid=False, psi_dismiss="UNKNOWN", d_dismiss=0.0,
            T_dismiss=T_dismiss, r_dismiss=0.0, F_dismiss=0.0,
            v_depart=0.0, beta_D=0.0, rho_D_initial=0.0,
            invalid_reason="ATTRACTOR_FIELD_NULL", phantom_guard=False,
        )
 
    # ── DISM-3: Mode determination ────────────────────────────────────────────
    if psi_override is not None:
        if psi_override not in DISMISS_MODES:
            return DismissalEvaluation(
                valid=False, psi_dismiss="UNKNOWN", d_dismiss=0.0,
                T_dismiss=T_dismiss, r_dismiss=0.0, F_dismiss=0.0,
                v_depart=0.0, beta_D=0.0, rho_D_initial=0.0,
                invalid_reason="MODE_AMBIGUOUS", phantom_guard=False,
            )
        psi_dismiss = psi_override
    else:
        # Infer mode from context:
        if attractor_state == "FIELD_COLLAPSING" or rho_phi <= 0.0:
            psi_dismiss = "STRUCTURAL"
        elif (d_bind_at_dismiss <= d_collapse and
              delta_accumulated > delta_warn):
            psi_dismiss = "DRIFT"
        else:
            psi_dismiss = "INTENTIONAL"
 
    # ── Compute d_dismiss per mode ────────────────────────────────────────────
    k_drift = 0.05   # drift scaling constant (module default)
 
    if psi_dismiss == "INTENTIONAL":
        d_dismiss = d_bind_at_dismiss
    elif psi_dismiss == "STRUCTURAL":
        d_dismiss = rho_phi * d_bind_at_dismiss   # bounded by collapse-time field
    else:  # DRIFT
        v_depart_est = max(d_bind_at_dismiss / max(M_E, 1e-9), 0.0)
        d_dismiss = v_depart_est * k_drift
 
    # ── DISM-4: Well depth positive ───────────────────────────────────────────
    if d_dismiss <= 0.0:
        return DismissalEvaluation(
            valid=False, psi_dismiss=psi_dismiss, d_dismiss=d_dismiss,
            T_dismiss=T_dismiss, r_dismiss=0.0, F_dismiss=0.0,
            v_depart=0.0, beta_D=0.0, rho_D_initial=0.0,
            invalid_reason="ZERO_WELL_DEPTH", phantom_guard=False,
        )
 
    # ── DISM-5: T_dismiss registered ─────────────────────────────────────────
    if T_dismiss <= 0.0:
        T_dismiss = T_dismiss_default   # apply default before continuing
 
    # ── Phantom guard (FM-006) ────────────────────────────────────────────────
    phantom_guard = (psi_dismiss == "INTENTIONAL" and rho_phi < epsilon_field)
    if phantom_guard:
        # Bound d_dismiss by field coherence
        d_dismiss = min(d_dismiss, rho_phi * d_bind_at_dismiss)
        d_dismiss = max(d_dismiss, 0.0)
 
    # ── Compute derived quantities ────────────────────────────────────────────
    rho_D_initial = -d_dismiss
 
    # Clamp to domain (−1, 0]
    rho_D_initial = max(-1.0, rho_D_initial)
 
    # β_D: inverted coupling (F_fluid node under dismissal)
    beta_D = -beta
 
    # r_dismiss: bounded by r_capture; scaled by mode intensity
    mode_scale = {"INTENTIONAL": 1.0, "STRUCTURAL": 0.75, "DRIFT": 0.40}
    r_dismiss = min(r_capture, r_capture * mode_scale[psi_dismiss])
 
    # v_depart: departure velocity imparted to E
    if psi_dismiss == "INTENTIONAL":
        v_depart = v_escape + (d_dismiss / max(M_E, 1e-9))
    elif psi_dismiss == "STRUCTURAL":
        v_depart = v_escape          # floor — just enough to exit
    else:  # DRIFT
        v_depart = d_bind_at_dismiss / max(M_E, 1e-9)
 
    # F_dismiss: total dismissal force scalar (|G_D|)
    F_dismiss = abs(rho_D_initial) * abs(beta_D) * v_depart
 
    return DismissalEvaluation(
        valid=True,
        psi_dismiss=psi_dismiss,
        d_dismiss=d_dismiss,
        T_dismiss=T_dismiss,
        r_dismiss=r_dismiss,
        F_dismiss=F_dismiss,
        v_depart=v_depart,
        beta_D=beta_D,
        rho_D_initial=rho_D_initial,
        invalid_reason=None,
        phantom_guard=phantom_guard,
    )

from dataclasses import dataclass, field
from datetime import datetime, timezone
from typing import Optional
import math
import uuid
 
 
@dataclass
class DismissalRecord:
    """
    Persistent record written to the GravityGraph dismissal registry
    and to E's relation history when execute_dismissal completes.
    """
    record_id:      str
    attractor_id:   str
    entity_id:      str
    psi_dismiss:    str             # INTENTIONAL | STRUCTURAL | DRIFT
    d_dismiss:      float           # initial well depth (magnitude)
    T_dismiss:      float           # persistence time
    r_dismiss:      float           # repulsion radius
    t_dismiss:      float           # clock time of event
    v_depart:       float           # departure velocity
    beta_D:         float           # repulsive coupling at dismissal
    rho_D_initial:  float           # ρ_D(Φ, 0)
    F_dismiss:      float           # |G_D| scalar
    phantom_guard:  bool            # True if FM-006 phantom condition was active
    session_id:     str             # audit trail
 
 
@dataclass
class DismissalResult:
    """
    Return value of execute_dismissal (PRIM:042).
    """
    status:         str             # "DISMISSED" | "PRECONDITION_VIOLATION"
    record:         Optional[DismissalRecord]
    entity_state_after:   str       # "DISMISSED" on success
    well_query_fn:  object          # callable: well_query_fn(t) → |ρ_D(Φ, t)|
 
 
def execute_dismissal(
    attractor_id:   str,
    entity_id:      str,
    evaluation:     "DismissalEvaluation",   # result of PRIM:041
    t_dismiss:      float,
    session_id:     str,
    frame_registry: dict,           # mutated: slot decremented for (A, E)
    dismissal_registry: dict,       # mutated: DismissalRecord written
    entity_state:   dict,           # mutated: entity's state dict
    gravity_graph:  object,         # GravityGraph instance: .emit_event()
) -> DismissalResult:
    """
    PRIM:042 — execute_dismissal (Impure)
    =======================================
    FFF_Gravity · f_Dismiss.md · Wave 5
 
    Commit a dismissal event. Writes the Dismissal Well record, updates
    entity state to DISMISSED, decrements the frame slot for (A, E),
    and emits a GravityGraph DISMISSAL_EXECUTED event.
 
    Must only be called after PRIM:041 returns evaluation.valid = True.
    Calling this primitive on an invalid evaluation is a precondition
    violation and returns status = "PRECONDITION_VIOLATION" without
    mutating any state.
 
    Parameters
    ----------
    attractor_id : str
        Identifier of the dismissing attractor A.
    entity_id : str
        Identifier of the dismissed entity E.
    evaluation : DismissalEvaluation
        Result of PRIM:041. Must have .valid = True.
    t_dismiss : float
        Absolute clock time of dismissal. Used in DismissalRecord and
        for well_query_fn closure.
    session_id : str
        Session identifier for audit trail.
    frame_registry : dict
        Mutable frame slot registry. Key: (attractor_id, entity_id).
        The slot for this pair is removed on dismissal.
    dismissal_registry : dict
        Mutable registry of all Dismissal Well records.
        Key: (attractor_id, entity_id) → DismissalRecord.
    entity_state : dict
        Mutable state dict for entity E. Receives key 'state' = 'DISMISSED'
        and 'dismissal_record_id'.
    gravity_graph : object
        GravityGraph instance. Must implement .emit_event(event_type, payload).
 
    Returns
    -------
    DismissalResult
        .status         : "DISMISSED" on success; "PRECONDITION_VIOLATION" on guard
        .record         : DismissalRecord on success; None on violation
        .entity_state_after : "DISMISSED" on success; unchanged on violation
        .well_query_fn  : callable f(t_current) → float giving |ρ_D(Φ, t)|
                          Use to answer re-capture feasibility queries.
 
    Side Effects (on success only)
    --------------------------------
    - frame_registry[(attractor_id, entity_id)] removed
    - dismissal_registry[(attractor_id, entity_id)] = DismissalRecord
    - entity_state['state'] = 'DISMISSED'
    - entity_state['dismissal_record_id'] = record.record_id
    - gravity_graph.emit_event('DISMISSAL_EXECUTED', {...})
 
    INV compliance
    --------------
    INV-001 : G_D = F_freq_D · F_fluid_D · F_force_D — recorded in DismissalRecord
    INV-006 : DISMISSED is a terminal entity state for this (A, E) relationship;
              entity itself is not terminal — it may form new relationships
    INV-008 : precondition guard evaluated before any mutation
    """
 
    # ── Precondition guard ────────────────────────────────────────────────────
    if not evaluation.valid:
        return DismissalResult(
            status="PRECONDITION_VIOLATION",
            record=None,
            entity_state_after=entity_state.get("state", "UNKNOWN"),
            well_query_fn=lambda t: 0.0,
        )
 
    # ── Build DismissalRecord ─────────────────────────────────────────────────
    record_id = f"DISM-{uuid.uuid4().hex[:12].upper()}"
 
    record = DismissalRecord(
        record_id=record_id,
        attractor_id=attractor_id,
        entity_id=entity_id,
        psi_dismiss=evaluation.psi_dismiss,
        d_dismiss=evaluation.d_dismiss,
        T_dismiss=evaluation.T_dismiss,
        r_dismiss=evaluation.r_dismiss,
        t_dismiss=t_dismiss,
        v_depart=evaluation.v_depart,
        beta_D=evaluation.beta_D,
        rho_D_initial=evaluation.rho_D_initial,
        F_dismiss=evaluation.F_dismiss,
        phantom_guard=evaluation.phantom_guard,
        session_id=session_id,
    )
 
    # ── Mutations ─────────────────────────────────────────────────────────────
 
    # 1. Remove frame slot
    frame_registry.pop((attractor_id, entity_id), None)
 
    # 2. Write Dismissal Well record
    dismissal_registry[(attractor_id, entity_id)] = record
 
    # 3. Update entity state
    entity_state["state"] = "DISMISSED"
    entity_state["dismissal_record_id"] = record_id
 
    # 4. Emit GravityGraph event
    gravity_graph.emit_event("DISMISSAL_EXECUTED", {
        "record_id":     record_id,
        "attractor_id":  attractor_id,
        "entity_id":     entity_id,
        "psi_dismiss":   evaluation.psi_dismiss,
        "d_dismiss":     evaluation.d_dismiss,
        "T_dismiss":     evaluation.T_dismiss,
        "F_dismiss":     evaluation.F_dismiss,
        "t_dismiss":     t_dismiss,
        "phantom_guard": evaluation.phantom_guard,
    })
 
    # ── Build well_query_fn closure ───────────────────────────────────────────
    _d_dismiss   = evaluation.d_dismiss
    _T_dismiss   = evaluation.T_dismiss
    _t_dismiss   = t_dismiss
 
    def well_query_fn(t_current: float) -> float:
        """
        Query the remaining Dismissal Well depth at absolute time t_current.
 
        Returns |ρ_D(Φ, t)| — the positive magnitude of the current well.
        For re-capture feasibility:
            d_bind_approach(t) > well_query_fn(t)  →  re-capture eligible
 
        Parameters
        ----------
        t_current : float
            Absolute clock time at which the query is made.
 
        Returns
        -------
        float : |ρ_D(Φ, t)| ≥ 0
        """
        t_elapsed = max(0.0, t_current - _t_dismiss)
        return _d_dismiss * math.exp(-t_elapsed / _T_dismiss)
 
    return DismissalResult(
        status="DISMISSED",
        record=record,
        entity_state_after="DISMISSED",
        well_query_fn=well_query_fn,
    )

### Wave 5 Operators — f_Dismiss.md (PRIM:041–042)
 
| Symbol      | Type  | Domain           | Description                                              | Frozen in |
|-------------|-------|------------------|----------------------------------------------------------|-----------|
| F_dismiss   | float | ≥ 0              | Scalar dismissal force magnitude (\|G_D\|)               | PRIM:041  |
| ρ_D(Φ)      | float | (−1, 0]          | Dismissal field density (negative-polarity extension)    | PRIM:042  |
| d_dismiss   | float | > 0              | Initial Dismissal Well depth at t=0                      | PRIM:042  |
| T_dismiss   | float | > 0              | Dismissal persistence time; well half-life               | PRIM:042  |
| r_dismiss   | float | (0, r_capture]   | Spatial extent of dismissal repulsion zone               | PRIM:041  |
| ψ_dismiss   | enum  | {INTENTIONAL, STRUCTURAL, DRIFT} | Dismissal mode flag                      | PRIM:041  |
| t_dismiss   | float | ≥ 0              | Clock time of dismissal event                            | PRIM:042  |
| v_depart    | float | ≥ 0              | Entity departure velocity post-dismissal                 | PRIM:042  |
| β_D         | float | (−∞, 0]          | Repulsive coupling coefficient active during expulsion   | PRIM:042  |