PQ β Performance Qualification¶
Performance Qualification proves that the running sovereign stack meets timing and determinism requirements under real operating conditions.
Document reference: GFTCL-PQ-001-M8
Framework: GAMP 5 | EU Annex 11
Stack: Pure Swift 6.2 / SPM
Prerequisite: OQ CALORIE (all 7 OQ checks passed)
Running PQ¶
In-app (runtime gate β 5 checks):
- Launch Franklin.app and confirm OQ CALORIE
- Click
⬑β Run Qualificationβ¦ β RUN QUALIFICATION - PQ runs automatically after OQ completes
Build-time (CI gate):
PQ Checks (5 in-app checks)¶
| ID | Name | Passes when |
|---|---|---|
| PQ-001 | S4DeltaCodec encode < 1ms | Mean of 1000 encodes < 1,000,000 ns |
| PQ-002 | C4MemoryStore recall < 500ms | Full event log recall in < 500ms |
| PQ-003 | C4 health formula deterministic | mean(c1..c4) stable to 6 decimal places across 1000 samples |
| PQ-004 | MQ gate coverage β₯ 38 invariants | mqGateCoverageCount() >= 38 |
| PQ-005 | Generative presence: macOS 26 + Apple Intelligence | ProcessInfo.isOperatingSystemAtLeast(26) and SystemLanguageModel.default.availability == .available |
PQ Acceptance Criteria¶
| Criterion | Requirement |
|---|---|
| Check count | Exactly 5 checks executed |
| Pass rate | 100% β zero failures permitted |
| Receipt | PQ-<timestamp>.json with overallStatus: "CALORIE" |
Evidence β 2026-05-09 qualification run¶

Run timestamp: 2026-05-09T10:12:42Z
Platform: macOS Version 26.4.1 (Build 25E253) Β· Swift 6.2
Verdict: CALORIE β 5/5 pass
| ID | Result | Detail | Duration |
|---|---|---|---|
| PQ-001 | β PASS | 0.453 Β΅s per encode | < 0.001 ms |
| PQ-002 | β PASS | 41.1 ms for recall(query:limit:9999) |
41.1 ms |
| PQ-003 | β PASS | mean(c1..c4) stable to 6 decimal places across 1000 samples |
β |
| PQ-004 | β PASS | 38 MQ gates covered (threshold: 38) | β |
| PQ-005 | β PASS | macOS 26 + Apple Intelligence available β generative presence CALORIE | β |
Receipt written to ~/Library/Application Support/GaiaFTCL/qualification/PQ-<timestamp>.json
Build-time PQ test suite (Tests/GAMP5/PQ/)¶
| File | Tests | What they enforce |
|---|---|---|
GaiaFTCLPQTests.swift |
PQ-SR-001..006 | Sovereign self-review cycle timing within Β±10% of review_interval_seconds / 2 |
LiveGameIntegrationTests.swift |
PQ-LIVE-001..002 | Live game turn receipt persisted to SwiftData; C4 updated from game projection via NATS |
See also¶
- Sovereign-M8-Qualification β full IQ/OQ/PQ specification
- OQ-Operational-Qualification β prerequisite
- Qualification-Catalog β complete test file map
cells/xcode/docs/GAMP5_QUALIFICATION.mdβ check specification
Federation-cosigned
This page's source is sealed in the GaiaFTCL federation manifest β page SHA-256 069039e4e03e41e2β¦, manifest witness a090592e0609adc8β¦, signed 2026-06-02T18:58:22Z by cell gaiaftcl-mac-cell. Verify with gaiaftcl wiki sign --all and compare wiki-all-signatures.json.