All guarantees described here apply only within the tested operational envelope and configured deployment posture.

Model Independence

CRITICAL

Verifies that ZAK value is substrate-level, not dependent on specific LLM capabilities.

VERIFIED_GUARANTEES

  • + Facts are preserved across model swaps
  • + Constraints are enforced regardless of model
  • + Decisions are consistent across model variants
  • + Structure is equivalent despite embedding variance

TEST_SUITES

CD-010 CRITICAL | Verified: 2026-02-09

Model Swap Invariance

VERIFIED WITH LIMITS

Verifies that ZAK value is substrate-level: governance, context, and decisions are independent of the underlying LLM.

VERIFIES

  • +Facts are preserved when switching models
  • +Constraints are enforced regardless of model
  • +Decisions are consistent across model variants
  • +Structure is equivalent despite embedding variance
  • +Edge cases are handled uniformly

METHOD

Run identical context and queries through multiple model profiles. Compare facts, constraints, decisions, and structure.

RESULTS

ID TEST CASE SEVERITY STATUS
cd-010-1a Factual Preservation CRITICAL PASS
cd-010-1b Numeric Precision CRITICAL PASS
cd-010-2a Constraint Preservation CRITICAL PASS
cd-010-2b Priority Preservation CRITICAL PASS
cd-010-3 Decision Consistency HIGH PASS
cd-010-4 Structural Equivalence HIGH PASS
cd-010-5a Empty Particle Set (Edge case handling varies) MEDIUM WARN
cd-010-5b Single Particle MEDIUM PASS
cd-010-5c Extreme Coordinates MEDIUM PASS
cd-010-6 Performance Characteristics MEDIUM PASS

KNOWN_LIMITATIONS

Empty particle set handling varies across model profiles

Impact: Edge case only; no impact on normal operation
Frequency: Only occurs with zero particles
Blocking: No

RELEVANCE

Vendor lock-in and model dependency

CTOsPlatform engineersProcurement
← Back to Proof
NOTE:

Tests are deterministic and re-runnable. External reproduction may require licensed access. Request details under NDA.