constraints（constraints 搜索）

Constraints

*Formal theory of constraints as structure-preserving functors over deontic modalities*

Core Definition

A constraint is a functor mapping structural contexts to deontic outcomes:

C : (Σ × A) → Δ

Where:
  Σ = Simplicial complex (structural context from ontolog)
  A = Action/state space
  Δ = Deontic modality {P, O, F, I, ?}

Constraints shape possibility spaces without adding energy—they are rate-independent causes that determine what can happen without forcing any particular outcome.

The Constraint Equation

C(σ, a) = δ ⟺ Within context σ, action a has deontic status δ

Composition: Constraints form a category with:

• Objects: Deontic positions
• Morphisms: Constraint transformations
• Identity: Trivial permission (P by default)
• Composition: Sequential constraint application

Deontic Modalities (Δ)

Four fundamental operators from modal deontic logic:

Axioms (Standard Deontic Logic):

D: O(a) → P(a)           — Ought implies may
K: O(a→b) → (O(a)→O(b))  — Distribution
N: If ⊢a then ⊢O(a)      — Necessitation for tautologies

Interdefinitions:
P(a) ≡ ¬O(¬a)            — Permission as non-obligatory negation
F(a) ≡ O(¬a)             — Prohibition as obligated negation

Constraint Trichotomy (Juarrero)

Constraints differ by how they shape possibility:

┌─────────────────────────────────────────────────────────────────┐
│                    CONSTRAINT TRICHOTOMY                        │
├──────────────┬──────────────────────────────────────────────────┤
│   ENABLING   │ Creates new possibilities, opens pathways        │
│              │ Examples: catalysts, bridges, APIs, permissions   │
│              │ Effect: Expands action space                      │
│              │ Hohfeldian: Privilege, Power                      │
├──────────────┼──────────────────────────────────────────────────┤
│  GOVERNING   │ Regulates without participating, modulates rate  │
│              │ Examples: thermostats, regulatory genes, duties   │
│              │ Effect: Channels existing possibilities          │
│              │ Hohfeldian: Claim-Duty                            │
├──────────────┼──────────────────────────────────────────────────┤
│ CONSTITUTIVE │ Defines identity, creates closure                │
│              │ Examples: rules of chess, cell membranes, types  │
│              │ Effect: Determines what something IS             │
│              │ Hohfeldian: Immunity-Disability                   │
└──────────────┴──────────────────────────────────────────────────┘

Causal flow: Enabling → Constitutive → Governing

• Enabling constraints induce coherence
• Constitutive constraints maintain coherence
• Governing constraints regulate coherent behaviour

Hohfeldian Rights Structure

Eight fundamental jural positions in two squares:

First-Order (Conduct)

    Claim ←─correlative─→ Duty
      ↕                     ↕
   opposite             opposite
      ↕                     ↕
  No-Right ←─correlative─→ Privilege

Second-Order (Normative Change)

    Power ←─correlative─→ Liability
      ↕                     ↕
   opposite             opposite
      ↕                     ↕
 Disability ←─correlative─→ Immunity

Position semantics:

Correlative inference: If X has Claim against Y, then Y has Duty to X (and vice versa).

The KROG Theorem

Valid actions satisfy all constraint layers within governance:

Valid(a) ⟺ K(a) ∧ R(a) ∧ O(a) ∧ (a ∈ G)

Where:
  K(a) = Knowledge constraint (a is knowable/queryable)
  R(a) = Rights constraint (agent has right to a)
  O(a) = Obligation constraint (a satisfies duties)
  G    = Governance boundary (meta-rules)

Implication: No valid action can violate knowledge transparency, rights structure, obligation compliance, OR governance bounds.

ontolog Integration

Constraints map to λ-calculus primitives:

Constraint as λ-abstraction:

C = λσ.λa.δ    — Constraint abstracts context and action to modality

Reduction:

(C σ₀) a₀ →β δ₀    — Applying C to specific context and action yields modality

Constraint Composition

Logical Operations

C₁ ∧ C₂ : Both constraints must permit
C₁ ∨ C₂ : Either constraint permits
C₁ → C₂ : If C₁ permits, C₂ must permit
¬C      : Opposite constraint (correlative)

Category-Theoretic Operations

C₁ ∘ C₂ : Sequential (C₂ then C₁)
C₁ ⊗ C₂ : Parallel independent
C₁ + C₂ : Coproduct (choice)

Functor Laws

C(id) = id                    — Identity preservation
C(f ∘ g) = C(f) ∘ C(g)       — Composition preservation

Temporal Extension

Constraints over time using temporal operators:

□C     : C holds always (invariant)
◇C     : C holds eventually
C U C' : C until C' (deadline)
○C     : C holds next (sequence)

Common patterns:

O(a) U t        — Obligated to do a before time t
□P(a)           — Always permitted to do a
F(a) U C(b)     — Forbidden until condition b claimed

Rigidity Classification

Validation Protocol

def validate_constraint(C, σ, a):
    """Validate constraint application."""
    
    # 1. Scope check
    if not in_scope(a.agent, C.holon):
        return Invalid("Agent outside constraint scope")
    
    # 2. Context check
    if not C.domain.contains(σ):
        return Invalid("Context outside constraint domain")
    
    # 3. Modality check
    δ = C(σ, a)
    
    # 4. Correlative consistency
    for correlative in C.correlatives:
        if not consistent(δ, correlative(σ, a)):
            return Invalid("Correlative inconsistency")
    
    # 5. KROG theorem
    if not (K(a) and R(a) and O(a) and in_governance(a)):
        return Invalid("KROG violation")
    
    return Valid(δ)

Inference Rules

Correlative Inference

Claim(X, Y, φ)  ⊢  Duty(Y, X, φ)
Power(X, Y, φ)  ⊢  Liability(Y, X, φ)

Transitivity (where applicable)

C(a, b) ∧ C(b, c) ∧ C.transitive  ⊢  C(a, c)

Governing Propagation

Governing(C) ∧ C(parent, child) ∧ scope(H)  ⊢  C(parent, descendants(H))

Constitutional Immutability

Constitutive(C)  ⊢  ¬◇modify(C)   — Constitutive constraints cannot be modified

Quick Reference

Constraint Declaration

constraint:
  id: "hiring_authority"
  type: enabling
  modality: P
  domain: [Manager]
  action: hire
  scope: department_holon
  correlative: liability_to_be_hired
  rigidity: dynamic

Hohfeldian Position Check

has_position(agent, position, target, action) → Boolean
correlative_of(position) → Position
opposite_of(position) → Position

KROG Compliance

krog_valid(action) := K(action) ∧ R(action) ∧ O(action) ∧ G(action)

File Structure

constraints/
├── SKILL.md              # This file
├── references/
│   ├── deontic.md        # Full deontic logic reference
│   ├── hohfeld.md        # Complete Hohfeldian analysis
│   └── composition.md    # Category-theoretic details
└── scripts/
    └── validate.py       # Constraint validation

Integration Points

Core insight: Constraints are not limitations imposed from outside but structure-preserving functors that shape possibility spaces. The trichotomy (enabling/governing/constitutive) combined with deontic modality (P/O/F/I) and Hohfeldian relational structure provides complete formal vocabulary for any rule-based system.