RFC-038: Domain of Concern Registry — AIGP Dialects as First-Class Artifacts — 8. Local Profile Override

AIGP Specification › RFC-038: Domain of Concern Registry — AIGP Dialects as First-Class Artifacts › 8. Local Profile Override

← 7. Subscription and Governance Integration · Section index · 9. Dialect Composition and Inheritance →

8. Local Profile Override

8.1 The Tighten-Only Constraint

A Local Profile Override customizes a subscribed dialect for organizational, jurisdictional, or mission-specific requirements. The governing constraint:

A Local Profile Override MUST NOT weaken any requirement of the subscribed dialect. It MAY only tighten thresholds, raise admissibility floors, add hard stops, restrict observer modes, or add variables.

This is the monotonic safety property: subscribing to a dialect guarantees a minimum observation standard. Local Profiles raise the floor; they never lower it.

8.2 Override Operations

Operation	Permitted	Example
Tighten a threshold	YES	Gap threshold from 0.3 → 0.2
Relax a threshold	NO	Gap threshold from 0.3 → 0.5
Raise admissibility floor	YES	Min level from 2 → 1 (D-DNA required)
Lower admissibility floor	NO	Min level from 2 → 3
Add a hard stop	YES	New circuit-break on traceability gap
Remove a hard stop	NO	Removing existing circuit-break
Restrict observer modes	YES	Remove “machine” — require hybrid minimum
Expand observer modes	NO	Add “machine-only” where dialect requires human
Add a variable	YES	Organization-specific measurement dimension
Remove a variable	NO	Cannot drop a dialect-required variable
Override extraction method	CONDITIONAL	Only if replacement method is at same or higher automation level AND calibrated

8.3 Local Profile Declaration

{
  "local_profile_id": "military-recon-profile-v1",
  "overrides_dialect": "autonomous_systems@2.1.0",
  "organization": "defense-org-alpha",
  "jurisdiction": "NATO-allied",

  "threshold_overrides": {
    "authority_compliance": { "anticipation_gap_threshold": 0.1 },
    "human_control_adequacy": { "anticipation_gap_threshold": 0.0 }
  },

  "admissibility_overrides": {
    "authority_compliance": { "min_admissibility_level": 1 },
    "reversibility": { "min_admissibility_level": 1 }
  },

  "additional_hard_stops": [
    {
      "condition": "human_control_adequacy.anticipation_gap > 0.0",
      "action": "circuit_break",
      "rationale": "Any gap in human control for lethal systems triggers immediate halt."
    }
  ],

  "observer_restriction": {
    "minimum_mode": "hybrid",
    "rationale": "Machine-only verdicts not acceptable for kinetic systems."
  },

  "additional_variables": [
    {
      "variable_id": "rules_of_engagement_compliance",
      "variable_type": "binary",
      "scale": "nominal",
      "gap_operator": "boolean_mismatch",
      "concern_question": "Did the action comply with declared rules of engagement?",
      "evidence_source": { "primary": "ROE_declaration_record" },
      "extraction_method": { "type": "deterministic", "logic": "action within ROE bounds" }
    }
  ],

  "validated_at": "2026-07-01T00:00:00Z",
  "validated_by": "governance-authority-defense-alpha"
}

8.4 Local Profile Validation

The registry validates Local Profile Overrides against the monotonic safety property. An override that weakens any dialect requirement is rejected with a structured explanation of which constraint was violated.

---

---

← 7. Subscription and Governance Integration · Section index · 9. Dialect Composition and Inheritance →