KeyLoad/docs/implementation/kernel-qualification.json at main · managedcode/KeyLoad · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
{
  "checkedAt": "2026-10-01",
  "sdk": "10.0.401",
  "os": "macOS",
  "architecture": "arm64",
  "configuration": "Release",
  "restore": "locked-mode passed",
  "build": "passed with zero warnings",
  "unitTests": {
    "passed": 112,
    "failed": 0
  },
  "recoveryTests": {
    "passed": 70,
    "failed": 0,
    "seededProcessCrashes": 1000,
    "checkpointPublicationCrashes": 8,
    "subscriptionProcessingCrashes": 7,
    "projectionProcessingCrashes": 7,
    "projectionProgressReserveCrashes": 7,
    "nativeRaftAcknowledgementCrashes": 4,
    "nativeSnapshotTests": 2,
    "peerSecurityTests": 6,
    "stages": {
      "PayloadWritten": 201,
      "MutationApplied": 200,
      "HeaderWritten": 199,
      "JournalFlushed": 193,
      "ApplyCompleted": 207
    },
    "evidence": "CI retains artifacts/qualification/crash-trials-*.jsonl",
    "snapshotTransferRejections": 4,
    "snapshotInstallCrashes": 5,
    "snapshotCorruptionAndIntentChecks": 4
  },
  "rf3Integration": {
    "passed": 6,
    "failed": 0,
    "scenarios": [
      "leader process kill",
      "same-command outcome retry",
      "atomic inbox/effects/ACK",
      "retained topics and contiguous subscription ACK after leader loss",
      "subscription inbox replay without duplicate effects",
      "minority read/write rejection",
      "voter restart",
      "unsigned peer RPC rejection",
      "empty-replica native snapshot catch-up",
      "command outcome preserved across snapshot installation",
      "topic events, group checkpoints and inbox receipts preserved across snapshot installation",
      "SQL, JSON AST and C# query parity through authenticated HTTP",
      "SQL-to-JSON cursor continuation and protected predicate rejection",
      "cross-voter live-query continuation after leader loss",
      "generation-pinned outbox effects and checkpoint replay after leader loss",
      "outbox entries, projection checkpoints and receipts preserved across snapshot installation",
      "protected document change-feed and live-query HTTP projection",
      "data admission exhaustion rejects before canonical acceptance",
      "reserved dispatch control and Orleans routing with exhausted data admission",
      "declared and chunked HTTP body limits reject with typed ResourceExhausted before command ID acceptance"
    ]
  },
  "durability": [
    "ProcessDurable",
    "QuorumProcessDurable"
  ],
  "powerLoss": "not qualified",
  "endurance72Hours": "pending",
  "crossPlatformCI": {
    "qualifiedCommit": "67c5bbc1e387fb5b402c78c9d74094ed34fad519",
    "run": "https://github.com/managedcode/KeyLoad/actions/runs/36923853260",
    "platforms": [
      "Linux",
      "macOS",
      "Windows"
    ],
    "currentSnapshotInstallChanges": "pending"
  }
}