Hugging Face's logo

aether-models
/
phi-4-mini-instruct

Text Generation
aether
core-ai
apple
macos
ios
Model card Files
xet
 Community
zakkeown commited on
Commit
05b2581
·
verified ·
1 Parent(s): e6e82e5

Publish phi-4-mini-instruct@2 (aether publish)

Browse files
Files changed (41) hide show
  1. .gitattributes +4 -0
  2. LICENSE +22 -0
  3. README.md +60 -0
  4. ios-h18p-gpu/aether.json +122 -0
  5. ios-h18p-gpu/metadata.json +24 -0
  6. ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/manifest.plist +1209 -0
  7. ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/original_model_0.mpsgraph +3 -0
  8. ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/reflection.fb +0 -0
  9. ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/resources.bin +3 -0
  10. ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main-h18p.mlirb +0 -0
  11. ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main.hash +2 -0
  12. ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/metadata.json +6 -0
  13. ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/stats.json +1 -0
  14. ios-h18p-gpu/tokenizer/added_tokens.json +12 -0
  15. ios-h18p-gpu/tokenizer/generation_config.json +10 -0
  16. ios-h18p-gpu/tokenizer/merges.txt +0 -0
  17. ios-h18p-gpu/tokenizer/special_tokens_map.json +30 -0
  18. ios-h18p-gpu/tokenizer/tokenizer.json +3 -0
  19. ios-h18p-gpu/tokenizer/tokenizer_config.json +111 -0
  20. ios-h18p-gpu/tokenizer/vocab.json +0 -0
  21. macos-any-gpu/aether.json +117 -0
  22. macos-any-gpu/metadata.json +24 -0
  23. macos-any-gpu/phi_4_mini_instruct.aimodel/main.hash +1 -0
  24. macos-any-gpu/phi_4_mini_instruct.aimodel/main.mlirb +3 -0
  25. macos-any-gpu/phi_4_mini_instruct.aimodel/metadata.json +5 -0
  26. macos-any-gpu/tokenizer/added_tokens.json +12 -0
  27. macos-any-gpu/tokenizer/generation_config.json +10 -0
  28. macos-any-gpu/tokenizer/merges.txt +0 -0
  29. macos-any-gpu/tokenizer/special_tokens_map.json +30 -0
  30. macos-any-gpu/tokenizer/tokenizer.json +3 -0
  31. macos-any-gpu/tokenizer/tokenizer_config.json +111 -0
  32. macos-any-gpu/tokenizer/vocab.json +0 -0
  33. verification/06f8b021-cd36-4f58-900a-cc1264872a36.json +65 -0
  34. verification/56352841-c0ce-4ed1-9564-fce49b5ecfd4.json +436 -0
  35. verification/799a7472-8ec9-4e7b-8f72-dda15d89c219.json +35 -0
  36. verification/d86a849c-29b5-438e-9ca9-368a23bf6826.json +716 -0
  37. verification/f8ec071b-6823-4eb8-bed4-a058d3d45262.json +34 -0
  38. verification/negative-control/307647bd-2335-4d4c-bfe1-0d962efbb689.json +38 -0
  39. verification/negative-control/ec4c9157-2cce-4fff-8a0a-c306aec4c127.json +37 -0
  40. verification/negative-control/f6c74409-61da-4a87-81ba-c595579f54c6.json +37 -0
  41. verification/reference/998a7aa8-c69e-4b24-994f-b5e6753225da.json +693 -0
.gitattributes CHANGED
@@ -33,3 +33,7 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
 
 
 
 
 
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
36
+ macos-any-gpu/phi_4_mini_instruct.aimodel/main.mlirb filter=lfs diff=lfs merge=lfs -text
37
+ macos-any-gpu/tokenizer/tokenizer.json filter=lfs diff=lfs merge=lfs -text
38
+ ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/original_model_0.mpsgraph filter=lfs diff=lfs merge=lfs -text
39
+ ios-h18p-gpu/tokenizer/tokenizer.json filter=lfs diff=lfs merge=lfs -text
LICENSE ADDED
@@ -0,0 +1,22 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ Microsoft.
2
+ Copyright (c) Microsoft Corporation.
3
+
4
+ MIT License
5
+
6
+ Permission is hereby granted, free of charge, to any person obtaining a copy
7
+ of this software and associated documentation files (the "Software"), to deal
8
+ in the Software without restriction, including without limitation the rights
9
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10
+ copies of the Software, and to permit persons to whom the Software is
11
+ furnished to do so, subject to the following conditions:
12
+
13
+ The above copyright notice and this permission notice shall be included in all
14
+ copies or substantial portions of the Software.
15
+
16
+ THE SOFTWARE IS PROVIDED *AS IS*, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
22
+ SOFTWARE.
README.md ADDED
@@ -0,0 +1,60 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ ---
2
+ license: mit
3
+ base_model: microsoft/Phi-4-mini-instruct
4
+ pipeline_tag: text-generation
5
+ tags:
6
+ - aether
7
+ - core-ai
8
+ - apple
9
+ - macos
10
+ - ios
11
+ ---
12
+
13
+ # phi-4-mini-instruct
14
+
15
+ A Core AI bundle of [microsoft/Phi-4-mini-instruct](https://huggingface.co/microsoft/Phi-4-mini-instruct) for the Aether SDK (iOS and macOS 27+).
16
+
17
+ - **Source:** `microsoft/Phi-4-mini-instruct` at revision `cfbefacb99257ffa30c83adab238a50856ac3083`, licence MIT.
18
+ The licence is included as `LICENSE`.
19
+ - **Changes from the source:** converted from PyTorch to Core AI (`.aimodel`) by Aether forge (recipe
20
+ `phi-4-mini-instruct@2`). Weights are int8-linear-perblock32 (8-bit weights). The tokenizer files are the source's own.
21
+
22
+ ## Variants
23
+
24
+ | Variant | Platform | Arch | Compute | Compiled | Assets | Download |
25
+ |---|---|---|---|---|---|---|
26
+ | `macos-any-gpu` | macos | any | gpu | no (specialized on first load) | `phi_4_mini_instruct.aimodel` 4.08 GB | 4.1 GB |
27
+ | `ios-h18p-gpu` | ios | h18p | gpu | yes | `phi_4_mini_instruct.h18p.aimodelc` 4.08 GB | 4.1 GB |
28
+
29
+ `ios-h18p-gpu` needs the `com.apple.developer.kernel.increased-memory-limit` entitlement.
30
+
31
+ ## Verification
32
+
33
+ Every row is a record in `verification/` about exactly these bytes (matched by bundle digest). Reference rows
34
+ are strict T2 passes of the unquantized export on the same fixture, in `verification/reference/`.
35
+
36
+ | Variant | Tier | Result | Detail | Device | OS build | Compute | Record |
37
+ |---|---|---|---|---|---|---|---|
38
+ | `ios-h18p-gpu` | T0 | pass | | iPhone18,2 | 24A446 | target | `799a7472` |
39
+ | `ios-h18p-gpu` | T2 | pass | 20/20 strict; profile quantized-8bit; fixture `e6d8aa51e5bbd5c4` | iPhone18,2 | 24A446 | target | `56352841` |
40
+ | `macos-any-gpu` | T0 | pass | | Mac17,6 | 26A434 | target | `f8ec071b` |
41
+ | `macos-any-gpu` | T1 | pass | | Mac17,6 | 26A434 | target | `06f8b021` |
42
+ | `macos-any-gpu` | T2 | pass | 20/20 strict; 20/20 strict; profile quantized-8bit; fixture `e6d8aa51e5bbd5c4` | Mac17,6 | 26A434 | target | `d86a849c` |
43
+ | unquantized reference (not published) | T2 | pass | 20/20 strict; 20/20 strict; profile strict; fixture `e6d8aa51e5bbd5c4` | Mac17,6 | 26A434 | target | `998a7aa8` |
44
+
45
+ The quantized profile also requires: T2 strict on the unquantized reference export (met by the reference row).
46
+
47
+ ## Use
48
+
49
+ ```sh
50
+ aether run phi-4-mini-instruct --prompt "Hello"
51
+ ```
52
+
53
+ ```swift
54
+ import Aether
55
+
56
+ let aether = try Aether()
57
+ let chat = try await aether.chat("phi-4-mini-instruct")
58
+ let reply = try await chat.respond(to: "Hello")
59
+ print(reply.text)
60
+ ```
ios-h18p-gpu/aether.json ADDED
@@ -0,0 +1,122 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "architecture" : {
3
+ "attentionLayers" : 32,
4
+ "class" : "dense",
5
+ "totalLayers" : 32
6
+ },
7
+ "capabilities" : [
8
+ "chat"
9
+ ],
10
+ "driver" : "causal-lm",
11
+ "engine" : {
12
+ "allowed" : [
13
+ "pipelined",
14
+ "sequential"
15
+ ],
16
+ "expectFrequentReshapes" : true,
17
+ "kind" : "pipelined"
18
+ },
19
+ "functions" : {
20
+ "main" : {
21
+ "role" : "step"
22
+ }
23
+ },
24
+ "inputs" : {
25
+ "input_ids" : {
26
+ "bind" : "tokens",
27
+ "dtype" : "int32"
28
+ },
29
+ "position_ids" : {
30
+ "bind" : "positions",
31
+ "dtype" : "int32",
32
+ "mode" : "running"
33
+ }
34
+ },
35
+ "limits" : {
36
+ "contextMax" : {
37
+ "ios" : 4096
38
+ },
39
+ "maxOutputDefault" : 1024,
40
+ "prefillChunk" : 256,
41
+ "prefillChunkThreshold" : 256
42
+ },
43
+ "memory" : {
44
+ "bytesPerToken" : 4076244549,
45
+ "kvBytesPerToken" : 131072,
46
+ "requiresIncreasedMemoryLimit" : true,
47
+ "weightsBytes" : 4076244549
48
+ },
49
+ "outputs" : {
50
+ "logits" : {
51
+ "dtype" : "float16",
52
+ "role" : "logits",
53
+ "seq" : "dynamic"
54
+ }
55
+ },
56
+ "provenance" : {
57
+ "exportedOn" : {
58
+ "date" : "2026-09-30",
59
+ "os" : "26A434"
60
+ },
61
+ "exporter" : {
62
+ "coreai-core" : "1.0.0b2",
63
+ "coreai-opt" : "0.2.1",
64
+ "coreai-torch" : "0.4.2",
65
+ "torch" : "2.11.0"
66
+ },
67
+ "files" : {
68
+ "metadata.json" : "sha256:358968354e780c3145135576a9e849a1a6b61d579fc448732e7b1f789e811db5",
69
+ "phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/manifest.plist" : "sha256:d31e576f5c1f15290995b1378a5ee0eed2bfdaa517d11126a4cf83d7b201f4a3",
70
+ "phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/original_model_0.mpsgraph" : "sha256:6a6df90c15b08da904b2a77951ee0897026e0df413839599ae71ca5288854f51",
71
+ "phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/reflection.fb" : "sha256:e6d571878ae2e4bacafb5c7c013a638a91c3ed6dcf1c63ede1feccf701494f54",
72
+ "phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/resources.bin" : "sha256:859312040b45f10b78dcbab145dc90ff9c2bd24394bb3d2b0407c9840ed0cac3",
73
+ "phi_4_mini_instruct.h18p.aimodelc/main-h18p.mlirb" : "sha256:2fad4d9c114555750a6eb9ec0b9d60d8d68bbf7c05a5e7c6799cfefe6edd9289",
74
+ "phi_4_mini_instruct.h18p.aimodelc/main.hash" : "sha256:f6249166e7dc93906418a279e0636784a7a11a7043c87269500bf0a88a9c6c77",
75
+ "phi_4_mini_instruct.h18p.aimodelc/metadata.json" : "sha256:c65613bfda15d63e5057f56cd47b5593f7ad89536b61cb5ce686c327ce054a81",
76
+ "phi_4_mini_instruct.h18p.aimodelc/stats.json" : "sha256:bec6f4513ee500e067856effa2a4e9fda5bb99a66fa03eb0c0eaf9b27ccf39ef",
77
+ "tokenizer/added_tokens.json" : "sha256:d4f2aceb0f20b71dd1f4bcc7e052e4412946bf281840b8f83d39f259571af486",
78
+ "tokenizer/generation_config.json" : "sha256:3e3f48753753f92d2b958679151861d4fd7bf26e4dfc41fd47056116c4914dcd",
79
+ "tokenizer/merges.txt" : "sha256:856ce61180bb689282eed6b3a6838bb1f438399be23aefe9d20eb379791fb4ad",
80
+ "tokenizer/special_tokens_map.json" : "sha256:aff38493227d813e29fcf8406e8e90062f1f031aa47d589325e9c31d89ac7cc3",
81
+ "tokenizer/tokenizer.json" : "sha256:382cc235b56c725945e149cc25f191da667c836655efd0857b004320e90e91ea",
82
+ "tokenizer/tokenizer_config.json" : "sha256:9c9b6bc0c94d95f69f826c41069a3e8b387ac3ced89601d201886e99240ac9db",
83
+ "tokenizer/vocab.json" : "sha256:6cb65a857824fa6615bb1782d95d882617a8bbce1da0317118586b36f39e98bd"
84
+ },
85
+ "forge" : "0.1.0",
86
+ "recipe" : "phi-4-mini-instruct@2",
87
+ "source" : {
88
+ "hfRepo" : "microsoft/Phi-4-mini-instruct",
89
+ "revision" : "cfbefacb99257ffa30c83adab238a50856ac3083"
90
+ }
91
+ },
92
+ "quantization" : {
93
+ "notes" : "weight-only PTQ on the torch module (coreai-opt eager Quantizer); exceptions resolve first-match in declaration order, then default; modules: int8-linear-perblock32 ×161",
94
+ "scheme" : "int8-linear-perblock32",
95
+ "weightBits" : 8
96
+ },
97
+ "schema" : 1,
98
+ "states" : {
99
+ "keyCache" : {
100
+ "axis" : 3,
101
+ "initial" : 256,
102
+ "kind" : "kvGrowing"
103
+ },
104
+ "valueCache" : {
105
+ "axis" : 3,
106
+ "initial" : 256,
107
+ "kind" : "kvGrowing"
108
+ }
109
+ },
110
+ "target" : {
111
+ "arch" : "h18p",
112
+ "backend" : "coreai",
113
+ "compiled" : true,
114
+ "compute" : "gpu",
115
+ "minOS" : "27.0",
116
+ "platform" : "ios"
117
+ },
118
+ "text" : {
119
+ "chatTemplate" : "embedded",
120
+ "tokenizer" : "tokenizer/"
121
+ }
122
+ }
ios-h18p-gpu/metadata.json ADDED
@@ -0,0 +1,24 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "assets": {
3
+ "main": "phi_4_mini_instruct.aimodel"
4
+ },
5
+ "compression": "int8-linear-perblock32",
6
+ "kind": "llm",
7
+ "language": {
8
+ "embedded_tokenizer": true,
9
+ "function_map": {
10
+ "main": [
11
+ "main"
12
+ ]
13
+ },
14
+ "max_context_length": 4096,
15
+ "tokenizer": "microsoft/Phi-4-mini-instruct",
16
+ "vocab_size": 200064
17
+ },
18
+ "metadata_version": "0.2",
19
+ "name": "phi_4_mini_instruct",
20
+ "source": {
21
+ "hf_model_id": "microsoft/Phi-4-mini-instruct",
22
+ "model_definition": "torch"
23
+ }
24
+ }
ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/manifest.plist ADDED
@@ -0,0 +1,1209 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ <?xml version="1.0" encoding="UTF-8"?>
2
+ <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3
+ <plist version="1.0">
4
+ <dict>
5
+ <key>Package Version</key>
6
+ <dict>
7
+ <key>7.0.63</key>
8
+ <dict>
9
+ <key>ANERegionsHash</key>
10
+ <dict/>
11
+ <key>Adapters by rank</key>
12
+ <dict/>
13
+ <key>Binary File Resources</key>
14
+ <dict/>
15
+ <key>Callables</key>
16
+ <dict/>
17
+ <key>CallablesHash</key>
18
+ <integer>9223372036854775807</integer>
19
+ <key>Data File Names</key>
20
+ <array/>
21
+ <key>GPU adapter present</key>
22
+ <string>NO</string>
23
+ <key>Optimized Modules</key>
24
+ <dict/>
25
+ <key>Optimized No Device Modules</key>
26
+ <dict/>
27
+ <key>Optimized No Device Resources Used</key>
28
+ <dict/>
29
+ <key>Optimized Resources Used</key>
30
+ <dict/>
31
+ <key>Original</key>
32
+ <string>original_model_0.mpsgraph</string>
33
+ <key>Original Module Serialized</key>
34
+ <true/>
35
+ <key>Original Resources Used</key>
36
+ <array>
37
+ <string>resource_28892460720617255</string>
38
+ <string>resource_8448237768233577704</string>
39
+ <string>resource_14245657678194108503</string>
40
+ <string>resource_3586877621646338891</string>
41
+ <string>resource_8267157466626989797</string>
42
+ <string>resource_11539116524973793894</string>
43
+ <string>resource_15027647359513588094</string>
44
+ <string>resource_4253551249327380369</string>
45
+ <string>resource_4713575750905979258</string>
46
+ <string>resource_16088273957239930745</string>
47
+ <string>resource_14686399886417392702</string>
48
+ <string>resource_13637884325082747480</string>
49
+ <string>resource_16127144986720527247</string>
50
+ <string>resource_7538487216665923826</string>
51
+ <string>resource_13545479691341095092</string>
52
+ <string>resource_14412819443198722297</string>
53
+ <string>resource_11004168915016945609</string>
54
+ <string>resource_9516404728346017422</string>
55
+ <string>resource_17979775258222443213</string>
56
+ <string>resource_4249512978331208741</string>
57
+ <string>resource_2924880245928559882</string>
58
+ <string>resource_16081078169760742547</string>
59
+ <string>resource_12356614260346063455</string>
60
+ <string>resource_12447846662289831259</string>
61
+ <string>resource_10509784384964657801</string>
62
+ <string>resource_15651031901500261838</string>
63
+ <string>resource_2731838809782636363</string>
64
+ <string>resource_11504581013595133113</string>
65
+ <string>resource_14839810545761655966</string>
66
+ <string>resource_2881730739240538547</string>
67
+ <string>resource_14765578499876717965</string>
68
+ <string>resource_15975845526063501464</string>
69
+ <string>resource_15452758083232020034</string>
70
+ <string>resource_13637409315556640487</string>
71
+ <string>resource_3073602929706415766</string>
72
+ <string>resource_11048990704069750367</string>
73
+ <string>resource_2401845978121497690</string>
74
+ <string>resource_3089260242572020200</string>
75
+ <string>resource_17785970157332681217</string>
76
+ <string>resource_7918442340214558198</string>
77
+ <string>resource_10591898729411061884</string>
78
+ <string>resource_16644746234194718016</string>
79
+ <string>resource_13745161283554339482</string>
80
+ <string>resource_16945196198639498472</string>
81
+ <string>resource_6234749376246285868</string>
82
+ <string>resource_16090411387741592137</string>
83
+ <string>resource_16264474314107124165</string>
84
+ <string>resource_5592871500799901031</string>
85
+ <string>resource_6009516819685874357</string>
86
+ <string>resource_16576465014281699620</string>
87
+ <string>resource_15931184539735381131</string>
88
+ <string>resource_1408143288070304339</string>
89
+ <string>resource_12165017481945724468</string>
90
+ <string>resource_194450091427417110</string>
91
+ <string>resource_1021610281971784193</string>
92
+ <string>resource_9244192416079244985</string>
93
+ <string>resource_1439174023627786045</string>
94
+ <string>resource_14258829084522262429</string>
95
+ <string>resource_5129350854529396974</string>
96
+ <string>resource_1345371335975129738</string>
97
+ <string>resource_15527146491779501144</string>
98
+ <string>resource_17464045596114792695</string>
99
+ <string>resource_3070649352625102272</string>
100
+ <string>resource_7034271151738690243</string>
101
+ <string>resource_4180201703562902646</string>
102
+ <string>resource_16041153407031706969</string>
103
+ <string>resource_3449600182571564542</string>
104
+ <string>resource_2942801200373415765</string>
105
+ <string>resource_8667328044023400432</string>
106
+ <string>resource_8185125926292666032</string>
107
+ <string>resource_2686142624324996661</string>
108
+ <string>resource_10659407061544511638</string>
109
+ <string>resource_16508219129895457449</string>
110
+ <string>resource_16382701617294757737</string>
111
+ <string>resource_11854799740312331278</string>
112
+ <string>resource_9243560678853064140</string>
113
+ <string>resource_11371895774329483866</string>
114
+ <string>resource_9344373998743529357</string>
115
+ <string>resource_10557178500540892600</string>
116
+ <string>resource_10405770081625074582</string>
117
+ <string>resource_1182751341102762243</string>
118
+ <string>resource_10672521551707289516</string>
119
+ <string>resource_1892602515438910885</string>
120
+ <string>resource_2351862856100167300</string>
121
+ <string>resource_6550891936450472593</string>
122
+ <string>resource_12330754604893285043</string>
123
+ <string>resource_1393159703093057491</string>
124
+ <string>resource_1185001785039621328</string>
125
+ <string>resource_10786408784061925207</string>
126
+ <string>resource_1968378092291217381</string>
127
+ <string>resource_7138755355484992611</string>
128
+ <string>resource_2401788066515284567</string>
129
+ <string>resource_4528919590134199155</string>
130
+ <string>resource_12562722270965895802</string>
131
+ <string>resource_11674003853319937784</string>
132
+ <string>resource_17055950899634826258</string>
133
+ <string>resource_14313718414928706383</string>
134
+ <string>resource_11786803640234116918</string>
135
+ <string>resource_13739133556131258155</string>
136
+ <string>resource_16159192736966078625</string>
137
+ <string>resource_15152156171543372642</string>
138
+ <string>resource_15787910163588088348</string>
139
+ <string>resource_17588098361105537065</string>
140
+ <string>resource_219038189002996846</string>
141
+ <string>resource_1654456440531443416</string>
142
+ <string>resource_16158722042625251434</string>
143
+ <string>resource_13835612171412437378</string>
144
+ <string>resource_11028505506851678896</string>
145
+ <string>resource_4397926709435173653</string>
146
+ <string>resource_3468487004250721582</string>
147
+ <string>resource_7526827834807072686</string>
148
+ <string>resource_12529374332381274370</string>
149
+ <string>resource_16085228375859706022</string>
150
+ <string>resource_15735293814784471792</string>
151
+ <string>resource_17701109784722169024</string>
152
+ <string>resource_14109516031978867023</string>
153
+ <string>resource_7315048652829180280</string>
154
+ <string>resource_4574463795279941969</string>
155
+ <string>resource_952878863220198727</string>
156
+ <string>resource_17220146932686584101</string>
157
+ <string>resource_15534641174760552436</string>
158
+ <string>resource_13383001918402265959</string>
159
+ <string>resource_3555494698851754725</string>
160
+ <string>resource_1716883601096863192</string>
161
+ <string>resource_15325167394552692047</string>
162
+ <string>resource_10324711892220983900</string>
163
+ <string>resource_15501036002087980125</string>
164
+ <string>resource_446893552722130981</string>
165
+ <string>resource_16286468248740913449</string>
166
+ <string>resource_3187953785203131000</string>
167
+ <string>resource_1799657185004805260</string>
168
+ <string>resource_5872095003602221078</string>
169
+ <string>resource_15216191001065450655</string>
170
+ <string>resource_8756154741387584714</string>
171
+ <string>resource_4216882179360180152</string>
172
+ <string>resource_10951351048661104455</string>
173
+ <string>resource_16693687225905670724</string>
174
+ <string>resource_3316092469247847043</string>
175
+ <string>resource_2145091153906306984</string>
176
+ <string>resource_10472583394786222289</string>
177
+ <string>resource_16963159494614739826</string>
178
+ <string>resource_2757706266450331258</string>
179
+ <string>resource_16080972338905513484</string>
180
+ <string>resource_3621153209897340531</string>
181
+ <string>resource_1295328528724384586</string>
182
+ <string>resource_7560498283107966951</string>
183
+ <string>resource_1700984219883896905</string>
184
+ <string>resource_4853556516957978754</string>
185
+ <string>resource_9874887191608093270</string>
186
+ <string>resource_1371220261617203654</string>
187
+ <string>resource_13059098812378740438</string>
188
+ <string>resource_9562656854860484663</string>
189
+ <string>resource_6524278637611478987</string>
190
+ <string>resource_11474046826926438031</string>
191
+ <string>resource_7483662065614675713</string>
192
+ <string>resource_10263637573994809234</string>
193
+ <string>resource_10492945623666902568</string>
194
+ <string>resource_13775101921639744105</string>
195
+ <string>resource_2169443433285985987</string>
196
+ <string>resource_5357180722825293856</string>
197
+ <string>resource_5091948139906406892</string>
198
+ <string>resource_11066683449673361710</string>
199
+ <string>resource_9787733487177945920</string>
200
+ <string>resource_14627406105205820049</string>
201
+ <string>resource_10868091068460721170</string>
202
+ <string>resource_14802071683042926946</string>
203
+ <string>resource_650775413103408974</string>
204
+ <string>resource_9588806299533838806</string>
205
+ <string>resource_17757257090187544140</string>
206
+ <string>resource_13695646343884866130</string>
207
+ <string>resource_6441366698668552608</string>
208
+ <string>resource_3151451285759540213</string>
209
+ <string>resource_18411183555541795676</string>
210
+ <string>resource_13611250641952903327</string>
211
+ <string>resource_8308673742430574110</string>
212
+ <string>resource_1097554439765201637</string>
213
+ <string>resource_11415784796978628388</string>
214
+ <string>resource_3255810438239018215</string>
215
+ <string>resource_3614040006104404220</string>
216
+ <string>resource_5517739514753981660</string>
217
+ <string>resource_4998049397218199101</string>
218
+ <string>resource_2062914863314341475</string>
219
+ <string>resource_7514626457207818184</string>
220
+ <string>resource_11345173838531188506</string>
221
+ <string>resource_4022259471036712096</string>
222
+ <string>resource_13301507136059802813</string>
223
+ <string>resource_653626704292859115</string>
224
+ <string>resource_14948683238831496130</string>
225
+ <string>resource_4137061025436913988</string>
226
+ <string>resource_2410246526754078203</string>
227
+ <string>resource_14597431547704813008</string>
228
+ <string>resource_6027368806890918476</string>
229
+ <string>resource_5143896192286709939</string>
230
+ <string>resource_5588923053203932778</string>
231
+ <string>resource_10361936493047040372</string>
232
+ <string>resource_14651106633382026947</string>
233
+ <string>resource_17601075199507005202</string>
234
+ <string>resource_7190771059144531644</string>
235
+ <string>resource_6993941867248490769</string>
236
+ <string>resource_17274709329980101845</string>
237
+ <string>resource_1459132085252640313</string>
238
+ <string>resource_9326412547013285572</string>
239
+ <string>resource_310423090349831024</string>
240
+ <string>resource_7064268211210320306</string>
241
+ <string>resource_9671111203154166508</string>
242
+ <string>resource_9605534168999696121</string>
243
+ <string>resource_11114262956545144172</string>
244
+ <string>resource_14085907085102785719</string>
245
+ <string>resource_10306960541733295244</string>
246
+ <string>resource_4768057095601355579</string>
247
+ <string>resource_3803546597915356523</string>
248
+ <string>resource_7672980730300441728</string>
249
+ <string>resource_5784104344053395262</string>
250
+ <string>resource_10678936502896145051</string>
251
+ <string>resource_2339082751300142396</string>
252
+ <string>resource_3513358210241668183</string>
253
+ <string>resource_13825701989520797104</string>
254
+ <string>resource_7948136878639271308</string>
255
+ <string>resource_1886582534092985144</string>
256
+ <string>resource_492043766741650444</string>
257
+ <string>resource_9758275833670560256</string>
258
+ <string>resource_3698964289492701097</string>
259
+ <string>resource_9724620404138832918</string>
260
+ <string>resource_5786699350252433557</string>
261
+ <string>resource_4598822515144739181</string>
262
+ <string>resource_13821497740258891043</string>
263
+ <string>resource_17650943050788087855</string>
264
+ <string>resource_8073948492238923894</string>
265
+ <string>resource_15298351093135114805</string>
266
+ <string>resource_11018276843214296317</string>
267
+ <string>resource_1090258966838344589</string>
268
+ <string>resource_1025149502403523149</string>
269
+ <string>resource_4390135360497355896</string>
270
+ <string>resource_5326704015664227627</string>
271
+ <string>resource_1623114696657853796</string>
272
+ <string>resource_2627988952291337055</string>
273
+ <string>resource_7975563328448422393</string>
274
+ <string>resource_8541645439059279599</string>
275
+ <string>resource_7566048337272000806</string>
276
+ <string>resource_14075187802663133425</string>
277
+ <string>resource_208169731430238732</string>
278
+ <string>resource_14463922966286079910</string>
279
+ <string>resource_4232248596802863069</string>
280
+ <string>resource_3246090237706656097</string>
281
+ <string>resource_4215364008226876279</string>
282
+ <string>resource_10194066490449373166</string>
283
+ <string>resource_940820056615006117</string>
284
+ <string>resource_10576603689331073544</string>
285
+ <string>resource_4468921977742394395</string>
286
+ <string>resource_1016121828039788594</string>
287
+ <string>resource_13077727257819958503</string>
288
+ <string>resource_12895579940174875992</string>
289
+ <string>resource_6588247093968736980</string>
290
+ <string>resource_16017307128975189334</string>
291
+ <string>resource_15811170788189958241</string>
292
+ <string>resource_16720103806283790069</string>
293
+ <string>resource_1447829849953179450</string>
294
+ <string>resource_8672239062171933616</string>
295
+ <string>resource_7988313924671509707</string>
296
+ <string>resource_17194225394906232407</string>
297
+ <string>resource_10412052129822864345</string>
298
+ <string>resource_8954008953721015018</string>
299
+ <string>resource_3756081082858464317</string>
300
+ <string>resource_3968531135452804012</string>
301
+ <string>resource_10822435139640657399</string>
302
+ <string>resource_7575942828044355121</string>
303
+ <string>resource_4405547799965776818</string>
304
+ <string>resource_18086794175914332826</string>
305
+ <string>resource_16402100243045845098</string>
306
+ <string>resource_5899592115773534661</string>
307
+ <string>resource_1864407408689087138</string>
308
+ <string>resource_17288740838137213169</string>
309
+ <string>resource_10384129491897788857</string>
310
+ <string>resource_14410000753480709869</string>
311
+ <string>resource_13549639141320811651</string>
312
+ <string>resource_12728348779556776896</string>
313
+ <string>resource_9195420563566808018</string>
314
+ <string>resource_15737016550987691140</string>
315
+ <string>resource_8536131660774793582</string>
316
+ <string>resource_18006765147495812331</string>
317
+ <string>resource_2571256114053250800</string>
318
+ <string>resource_2408220154669403405</string>
319
+ <string>resource_12110779222066498700</string>
320
+ <string>resource_11020492383672484</string>
321
+ <string>resource_1271075681021840079</string>
322
+ <string>resource_15467476964556704948</string>
323
+ <string>resource_17287362951412835566</string>
324
+ <string>resource_16906845133233996256</string>
325
+ <string>resource_18322386847670338998</string>
326
+ <string>resource_16021932965045652016</string>
327
+ <string>resource_1938841559753424096</string>
328
+ <string>resource_1163066758988182369</string>
329
+ <string>resource_18052603569202594264</string>
330
+ <string>resource_8050942965899776496</string>
331
+ <string>resource_525700969156195542</string>
332
+ <string>resource_17081185539236171145</string>
333
+ <string>resource_12506707972221706258</string>
334
+ <string>resource_12908723942221065654</string>
335
+ <string>resource_11000104931245667874</string>
336
+ <string>resource_1383899305390166636</string>
337
+ <string>resource_13969596394923664236</string>
338
+ <string>resource_7793239116127596661</string>
339
+ <string>resource_3331523269665519105</string>
340
+ <string>resource_9938498766110699403</string>
341
+ <string>resource_13393883896371619955</string>
342
+ <string>resource_7673658712822766241</string>
343
+ <string>resource_11354158453258944818</string>
344
+ <string>resource_13346590464803050238</string>
345
+ <string>resource_3154627396808962687</string>
346
+ <string>resource_15206630522668178252</string>
347
+ <string>resource_1580132926059087777</string>
348
+ <string>resource_16312612832183663737</string>
349
+ <string>resource_4287007329628324768</string>
350
+ <string>resource_14700669913454350152</string>
351
+ <string>resource_4136545561562602376</string>
352
+ <string>resource_12905403532433244921</string>
353
+ <string>resource_11301310029038283168</string>
354
+ <string>resource_2178225245126900871</string>
355
+ <string>resource_4906756193233790864</string>
356
+ <string>resource_5608536057917584543</string>
357
+ <string>resource_9355786576905186923</string>
358
+ <string>resource_17911123492635836029</string>
359
+ <string>resource_1981004906110754948</string>
360
+ <string>resource_5952499508823652865</string>
361
+ <string>resource_14237101523103485092</string>
362
+ <string>resource_9728048707695424911</string>
363
+ <string>resource_15381104860960195958</string>
364
+ <string>resource_13446004576923940510</string>
365
+ <string>resource_401304735115175831</string>
366
+ <string>resource_98211749083475275</string>
367
+ <string>resource_4509330097757919158</string>
368
+ <string>resource_5326792298873938997</string>
369
+ <string>resource_9627556157301159856</string>
370
+ <string>resource_11501975704547627468</string>
371
+ <string>resource_2704463890555759084</string>
372
+ <string>resource_15936892622148107906</string>
373
+ <string>resource_12327692825365338352</string>
374
+ <string>resource_862809023925073513</string>
375
+ <string>resource_18430800382737625198</string>
376
+ <string>resource_8559097168616449919</string>
377
+ <string>resource_981808275172215286</string>
378
+ <string>resource_1049054326525855965</string>
379
+ <string>resource_14776830931910452125</string>
380
+ <string>resource_12824238953874692278</string>
381
+ <string>resource_1172444007321323380</string>
382
+ <string>resource_7074681207576297908</string>
383
+ <string>resource_12274191464287144111</string>
384
+ <string>resource_12279283693687569109</string>
385
+ <string>resource_15242659519938773678</string>
386
+ <string>resource_9278707522200001144</string>
387
+ <string>resource_15354769194463979700</string>
388
+ <string>resource_15891018082498586965</string>
389
+ <string>resource_15746975596054187670</string>
390
+ <string>resource_12811265185315928860</string>
391
+ <string>resource_14754293339330282037</string>
392
+ <string>resource_12434056474368043078</string>
393
+ <string>resource_10933711172575321318</string>
394
+ <string>resource_10221433902476368101</string>
395
+ <string>resource_3636337187371242461</string>
396
+ <string>resource_1087685773212445800</string>
397
+ <string>resource_13355826797420164728</string>
398
+ <string>resource_10118404910959987741</string>
399
+ <string>resource_11921319944967930751</string>
400
+ <string>resource_9410379152069487411</string>
401
+ <string>resource_8185173336085893832</string>
402
+ <string>resource_11850800188124819949</string>
403
+ <string>resource_13244117009609320084</string>
404
+ <string>resource_16377641038951638466</string>
405
+ <string>resource_5876522719509931293</string>
406
+ <string>resource_5655184698436208606</string>
407
+ <string>resource_11593081274875192861</string>
408
+ <string>resource_2424105326685876703</string>
409
+ <string>resource_872071509117900539</string>
410
+ <string>resource_4262402423556876133</string>
411
+ <string>resource_12503515958640081037</string>
412
+ <string>resource_2511134379012109075</string>
413
+ <string>resource_12482133910139662034</string>
414
+ <string>resource_9521378901967468238</string>
415
+ <string>resource_1089454782162083981</string>
416
+ <string>resource_10364168939640910266</string>
417
+ <string>resource_1885433412521023967</string>
418
+ <string>resource_13228496707471249420</string>
419
+ <string>resource_5983303246116893503</string>
420
+ <string>resource_17460937026906841268</string>
421
+ <string>resource_7992159046816568878</string>
422
+ <string>resource_3704539201845846327</string>
423
+ <string>resource_14860070953325975006</string>
424
+ </array>
425
+ <key>RDFFMap</key>
426
+ <dict/>
427
+ <key>Resource Offsets</key>
428
+ <dict>
429
+ <key>resource_10118404910959987741</key>
430
+ <integer>3860056068</integer>
431
+ <key>resource_1016121828039788594</key>
432
+ <integer>2668107111</integer>
433
+ <key>resource_10194066490449373166</key>
434
+ <integer>2631925071</integer>
435
+ <key>resource_1021610281971784193</key>
436
+ <integer>438896933</integer>
437
+ <key>resource_10221433902476368101</key>
438
+ <integer>3855337460</integer>
439
+ <key>resource_1025149502403523149</key>
440
+ <integer>2556015880</integer>
441
+ <key>resource_10263637573994809234</key>
442
+ <integer>1875383100</integer>
443
+ <key>resource_10306960541733295244</key>
444
+ <integer>2405321895</integer>
445
+ <key>resource_10324711892220983900</key>
446
+ <integer>1673460412</integer>
447
+ <key>resource_10361936493047040372</key>
448
+ <integer>2240748603</integer>
449
+ <key>resource_10364168939640910266</key>
450
+ <integer>4021489768</integer>
451
+ <key>resource_10384129491897788857</key>
452
+ <integer>2923734512</integer>
453
+ <key>resource_10405770081625074582</key>
454
+ <integer>1295727029</integer>
455
+ <key>resource_10412052129822864345</key>
456
+ <integer>2810863019</integer>
457
+ <key>resource_10472583394786222289</key>
458
+ <integer>1778258699</integer>
459
+ <key>resource_1049054326525855965</key>
460
+ <integer>3662858124</integer>
461
+ <key>resource_10492945623666902568</key>
462
+ <integer>1921985384</integer>
463
+ <key>resource_10509784384964657801</key>
464
+ <integer>212361353</integer>
465
+ <key>resource_10557178500540892600</key>
466
+ <integer>1294743984</integer>
467
+ <key>resource_10576603689331073544</key>
468
+ <integer>2641368408</integer>
469
+ <key>resource_10591898729411061884</key>
470
+ <integer>335069396</integer>
471
+ <key>resource_10659407061544511638</key>
472
+ <integer>1175206275</integer>
473
+ <key>resource_10672521551707289516</key>
474
+ <integer>1305170371</integer>
475
+ <key>resource_10678936502896145051</key>
476
+ <integer>2380745860</integer>
477
+ <key>resource_10786408784061925207</key>
478
+ <integer>1383825896</integer>
479
+ <key>resource_10822435139640657399</key>
480
+ <integer>2836041152</integer>
481
+ <key>resource_10868091068460721170</key>
482
+ <integer>2027969443</integer>
483
+ <key>resource_1087685773212445800</key>
484
+ <integer>3857500156</integer>
485
+ <key>resource_1089454782162083981</key>
486
+ <integer>3996323939</integer>
487
+ <key>resource_1090258966838344589</key>
488
+ <integer>2554443012</integer>
489
+ <key>resource_10933711172575321318</key>
490
+ <integer>3854747632</integer>
491
+ <key>resource_10951351048661104455</key>
492
+ <integer>1775702784</integer>
493
+ <key>resource_1097554439765201637</key>
494
+ <integer>2130611161</integer>
495
+ <key>resource_11000104931245667874</key>
496
+ <integer>3163221640</integer>
497
+ <key>resource_11004168915016945609</key>
498
+ <integer>114241623</integer>
499
+ <key>resource_11018276843214296317</key>
500
+ <integer>2553459968</integer>
501
+ <key>resource_11020492383672484</key>
502
+ <integer>3021645360</integer>
503
+ <key>resource_11028505506851678896</key>
504
+ <integer>1520683603</integer>
505
+ <key>resource_11048990704069750367</key>
506
+ <integer>308324548</integer>
507
+ <key>resource_11066683449673361710</key>
508
+ <integer>1974485895</integer>
509
+ <key>resource_11114262956545144172</key>
510
+ <integer>2382318728</integer>
511
+ <key>resource_11301310029038283168</key>
512
+ <integer>3393861369</integer>
513
+ <key>resource_11345173838531188506</key>
514
+ <integer>2150093823</integer>
515
+ <key>resource_11354158453258944818</key>
516
+ <integer>3242860215</integer>
517
+ <key>resource_11371895774329483866</key>
518
+ <integer>1291598248</integer>
519
+ <key>resource_11415784796978628388</key>
520
+ <integer>2134365175</integer>
521
+ <key>resource_11474046826926438031</key>
522
+ <integer>1893667660</integer>
523
+ <key>resource_11501975704547627468</key>
524
+ <integer>3633944423</integer>
525
+ <key>resource_11504581013595133113</key>
526
+ <integer>239106203</integer>
527
+ <key>resource_11539116524973793894</key>
528
+ <integer>20447255</integer>
529
+ <key>resource_11593081274875192861</key>
530
+ <integer>3954440251</integer>
531
+ <key>resource_1163066758988182369</key>
532
+ <integer>3085155936</integer>
533
+ <key>resource_11674003853319937784</key>
534
+ <integer>1437303311</integer>
535
+ <key>resource_1172444007321323380</key>
536
+ <integer>3689596835</integer>
537
+ <key>resource_11786803640234116918</key>
538
+ <integer>1479770656</integer>
539
+ <key>resource_1182751341102762243</key>
540
+ <integer>1295733179</integer>
541
+ <key>resource_1185001785039621328</key>
542
+ <integer>1384808940</integer>
543
+ <key>resource_11850800188124819949</key>
544
+ <integer>3878346779</integer>
545
+ <key>resource_11854799740312331278</key>
546
+ <integer>1250703771</integer>
547
+ <key>resource_11921319944967930751</key>
548
+ <integer>3861039113</integer>
549
+ <key>resource_12110779222066498700</key>
550
+ <integer>3005916715</integer>
551
+ <key>resource_12165017481945724468</key>
552
+ <integer>413141275</integer>
553
+ <key>resource_12274191464287144111</key>
554
+ <integer>3739928499</integer>
555
+ <key>resource_12279283693687569109</key>
556
+ <integer>3765094328</integer>
557
+ <key>resource_12327692825365338352</key>
558
+ <integer>3651835765</integer>
559
+ <key>resource_12330754604893285043</key>
560
+ <integer>1357081048</integer>
561
+ <key>resource_12356614260346063455</key>
562
+ <integer>187189375</integer>
563
+ <key>resource_12434056474368043078</key>
564
+ <integer>3839018987</integer>
565
+ <key>resource_12447846662289831259</key>
566
+ <integer>212355205</integer>
567
+ <key>resource_12482133910139662034</key>
568
+ <integer>3969585236</integer>
569
+ <key>resource_12503515958640081037</key>
570
+ <integer>3967029324</integer>
571
+ <key>resource_12506707972221706258</key>
572
+ <integer>3112889979</integer>
573
+ <key>resource_12529374332381274370</key>
574
+ <integer>1565313644</integer>
575
+ <key>resource_12562722270965895802</key>
576
+ <integer>1412137479</integer>
577
+ <key>resource_1271075681021840079</key>
578
+ <integer>3023218231</integer>
579
+ <key>resource_12728348779556776896</key>
580
+ <integer>2951063043</integer>
581
+ <key>resource_12811265185315928860</key>
582
+ <integer>3812280287</integer>
583
+ <key>resource_12824238953874692278</key>
584
+ <integer>3673868187</integer>
585
+ <key>resource_12895579940174875992</key>
586
+ <integer>2709001591</integer>
587
+ <key>resource_12905403532433244921</key>
588
+ <integer>3392288500</integer>
589
+ <key>resource_12908723942221065654</key>
590
+ <integer>3138055811</integer>
591
+ <key>resource_1295328528724384586</key>
592
+ <integer>1831342887</integer>
593
+ <key>resource_13059098812378740438</key>
594
+ <integer>1877939015</integer>
595
+ <key>resource_13077727257819958503</key>
596
+ <integer>2683835759</integer>
597
+ <key>resource_13228496707471249420</key>
598
+ <integer>4047638647</integer>
599
+ <key>resource_13244117009609320084</key>
600
+ <integer>3903512611</integer>
601
+ <key>resource_13301507136059802813</key>
602
+ <integer>2131207137</integer>
603
+ <key>resource_13346590464803050238</key>
604
+ <integer>3258588863</integer>
605
+ <key>resource_13355826797420164728</key>
606
+ <integer>3859073024</integer>
607
+ <key>resource_13383001918402265959</key>
608
+ <integer>1630986919</integer>
609
+ <key>resource_13393883896371619955</key>
610
+ <integer>3216121512</integer>
611
+ <key>resource_13446004576923940510</key>
612
+ <integer>3545863999</integer>
613
+ <key>resource_1345371335975129738</key>
614
+ <integer>492380481</integer>
615
+ <key>resource_13545479691341095092</key>
616
+ <integer>112662604</integer>
617
+ <key>resource_13549639141320811651</key>
618
+ <integer>2949490172</integer>
619
+ <key>resource_13611250641952903327</key>
620
+ <integer>2121173971</integer>
621
+ <key>resource_13637409315556640487</key>
622
+ <integer>281585851</integer>
623
+ <key>resource_13637884325082747480</key>
624
+ <integer>108533824</integer>
625
+ <key>resource_13695646343884866130</key>
626
+ <integer>2078307252</integer>
627
+ <key>resource_1371220261617203654</key>
628
+ <integer>1906256739</integer>
629
+ <key>resource_13739133556131258155</key>
630
+ <integer>1481343524</integer>
631
+ <key>resource_13745161283554339482</key>
632
+ <integer>364376305</integer>
633
+ <key>resource_13775101921639744105</key>
634
+ <integer>1949320063</integer>
635
+ <key>resource_13821497740258891043</key>
636
+ <integer>2490545372</integer>
637
+ <key>resource_13825701989520797104</key>
638
+ <integer>2379172992</integer>
639
+ <key>resource_13835612171412437378</key>
640
+ <integer>1520087625</integer>
641
+ <key>resource_1383899305390166636</key>
642
+ <integer>3164794511</integer>
643
+ <key>resource_1393159703093057491</key>
644
+ <integer>1358660067</integer>
645
+ <key>resource_13969596394923664236</key>
646
+ <integer>3189960341</integer>
647
+ <key>resource_14075187802663133425</key>
648
+ <integer>2602034483</integer>
649
+ <key>resource_1408143288070304339</key>
650
+ <integer>411568404</integer>
651
+ <key>resource_14085907085102785719</key>
652
+ <integer>2383891599</integer>
653
+ <key>resource_14109516031978867023</key>
654
+ <integer>1617218184</integer>
655
+ <key>resource_14237101523103485092</key>
656
+ <integer>3495526185</integer>
657
+ <key>resource_14245657678194108503</key>
658
+ <integer>3145739</integer>
659
+ <key>resource_14258829084522262429</key>
660
+ <integer>465641783</integer>
661
+ <key>resource_14313718414928706383</key>
662
+ <integer>1454604827</integer>
663
+ <key>resource_1439174023627786045</key>
664
+ <integer>438903080</integer>
665
+ <key>resource_14410000753480709869</key>
666
+ <integer>2924324343</integer>
667
+ <key>resource_14412819443198722297</key>
668
+ <integer>114235473</integer>
669
+ <key>resource_14463922966286079910</key>
670
+ <integer>2628183357</integer>
671
+ <key>resource_1447829849953179450</key>
672
+ <integer>2735359375</integer>
673
+ <key>resource_1459132085252640313</key>
674
+ <integer>2327262305</integer>
675
+ <key>resource_14597431547704813008</key>
676
+ <integer>2240730157</integer>
677
+ <key>resource_14627406105205820049</key>
678
+ <integer>2024823704</integer>
679
+ <key>resource_14651106633382026947</key>
680
+ <integer>2265914435</integer>
681
+ <key>resource_14686399886417392702</key>
682
+ <integer>83367995</integer>
683
+ <key>resource_14700669913454350152</key>
684
+ <integer>3365549800</integer>
685
+ <key>resource_14754293339330282037</key>
686
+ <integer>3837446116</integer>
687
+ <key>resource_14765578499876717965</key>
688
+ <integer>265844905</integer>
689
+ <key>resource_14776830931910452125</key>
690
+ <integer>3664430995</integer>
691
+ <key>resource_14802071683042926946</key>
692
+ <integer>2026396572</integer>
693
+ <key>resource_14839810545761655966</key>
694
+ <integer>264272032</integer>
695
+ <key>resource_14860070953325975006</key>
696
+ <integer>4075956369</integer>
697
+ <key>resource_14948683238831496130</key>
698
+ <integer>2187842580</integer>
699
+ <key>resource_15027647359513588094</key>
700
+ <integer>31457313</integer>
701
+ <key>resource_15152156171543372642</key>
702
+ <integer>1482922540</integer>
703
+ <key>resource_15206630522668178252</key>
704
+ <integer>3299483343</integer>
705
+ <key>resource_15216191001065450655</key>
706
+ <integer>1746795240</integer>
707
+ <key>resource_15242659519938773678</key>
708
+ <integer>3766077375</integer>
709
+ <key>resource_15298351093135114805</key>
710
+ <integer>2463800527</integer>
711
+ <key>resource_15325167394552692047</key>
712
+ <integer>1671887544</integer>
713
+ <key>resource_15354769194463979700</key>
714
+ <integer>3792816075</integer>
715
+ <key>resource_15381104860960195958</key>
716
+ <integer>3520698167</integer>
717
+ <key>resource_15452758083232020034</key>
718
+ <integer>265857203</integer>
719
+ <key>resource_15467476964556704948</key>
720
+ <integer>3048384060</integer>
721
+ <key>resource_15501036002087980125</key>
722
+ <integer>1699609291</integer>
723
+ <key>resource_15527146491779501144</key>
724
+ <integer>492386628</integer>
725
+ <key>resource_15534641174760552436</key>
726
+ <integer>1619976859</integer>
727
+ <key>resource_15651031901500261838</key>
728
+ <integer>212367503</integer>
729
+ <key>resource_15735293814784471792</key>
730
+ <integer>1576323707</integer>
731
+ <key>resource_15737016550987691140</key>
732
+ <integer>2976228880</integer>
733
+ <key>resource_15746975596054187670</key>
734
+ <integer>3802843095</integer>
735
+ <key>resource_15787910163588088348</key>
736
+ <integer>1484495411</integer>
737
+ <key>resource_1580132926059087777</key>
738
+ <integer>3315211991</integer>
739
+ <key>resource_15811170788189958241</key>
740
+ <integer>2735347077</integer>
741
+ <key>resource_15891018082498586965</key>
742
+ <integer>3802253264</integer>
743
+ <key>resource_15931184539735381131</key>
744
+ <integer>409995536</integer>
745
+ <key>resource_15936892622148107906</key>
746
+ <integer>3650262896</integer>
747
+ <key>resource_15975845526063501464</key>
748
+ <integer>265851053</integer>
749
+ <key>resource_16017307128975189334</key>
750
+ <integer>2734757248</integer>
751
+ <key>resource_16021932965045652016</key>
752
+ <integer>3075712597</integer>
753
+ <key>resource_16041153407031706969</key>
754
+ <integer>522271068</integer>
755
+ <key>resource_16080972338905513484</key>
756
+ <integer>1830163228</integer>
757
+ <key>resource_16081078169760742547</key>
758
+ <integer>171460727</integer>
759
+ <key>resource_16085228375859706022</key>
760
+ <integer>1566886515</integer>
761
+ <key>resource_16088273957239930745</key>
762
+ <integer>81795124</integer>
763
+ <key>resource_16090411387741592137</key>
764
+ <integer>364382452</integer>
765
+ <key>resource_16127144986720527247</key>
766
+ <integer>110106692</integer>
767
+ <key>resource_16158722042625251434</key>
768
+ <integer>1520093772</integer>
769
+ <key>resource_16159192736966078625</key>
770
+ <integer>1482916393</integer>
771
+ <key>resource_1623114696657853796</key>
772
+ <integer>2559554836</integer>
773
+ <key>resource_16264474314107124165</key>
774
+ <integer>364370157</integer>
775
+ <key>resource_16286468248740913449</key>
776
+ <integer>1709046483</integer>
777
+ <key>resource_16312612832183663737</key>
778
+ <integer>3340377821</integer>
779
+ <key>resource_16377641038951638466</key>
780
+ <integer>3928678443</integer>
781
+ <key>resource_16382701617294757737</key>
782
+ <integer>1225537939</integer>
783
+ <key>resource_16402100243045845098</key>
784
+ <integer>2872806872</integer>
785
+ <key>resource_16508219129895457449</key>
786
+ <integer>1200372107</integer>
787
+ <key>resource_1654456440531443416</key>
788
+ <integer>1519104580</integer>
789
+ <key>resource_16576465014281699620</key>
790
+ <integer>384829707</integer>
791
+ <key>resource_16644746234194718016</key>
792
+ <integer>362791141</integer>
793
+ <key>resource_16693687225905670724</key>
794
+ <integer>1774129916</integer>
795
+ <key>resource_16720103806283790069</key>
796
+ <integer>2735353225</integer>
797
+ <key>resource_16906845133233996256</key>
798
+ <integer>3058411083</integer>
799
+ <key>resource_16945196198639498472</key>
800
+ <integer>362797288</integer>
801
+ <key>resource_16963159494614739826</key>
802
+ <integer>1803424528</integer>
803
+ <key>resource_1700984219883896905</key>
804
+ <integer>1924154231</integer>
805
+ <key>resource_17055950899634826258</key>
806
+ <integer>1453031956</integer>
807
+ <key>resource_17081185539236171145</key>
808
+ <integer>3111317108</integer>
809
+ <key>resource_1716883601096863192</key>
810
+ <integer>1656158899</integer>
811
+ <key>resource_17194225394906232407</key>
812
+ <integer>2785697187</integer>
813
+ <key>resource_17220146932686584101</key>
814
+ <integer>1629414048</integer>
815
+ <key>resource_17274709329980101845</key>
816
+ <integer>2302096475</integer>
817
+ <key>resource_17287362951412835566</key>
818
+ <integer>3048973891</integer>
819
+ <key>resource_17288740838137213169</key>
820
+ <integer>2898568683</integer>
821
+ <key>resource_17460937026906841268</key>
822
+ <integer>4064940163</integer>
823
+ <key>resource_17464045596114792695</key>
824
+ <integer>493959496</integer>
825
+ <key>resource_17588098361105537065</key>
826
+ <integer>1509661243</integer>
827
+ <key>resource_17601075199507005202</key>
828
+ <integer>2275351625</integer>
829
+ <key>resource_17650943050788087855</key>
830
+ <integer>2502145263</integer>
831
+ <key>resource_17701109784722169024</key>
832
+ <integer>1601489539</integer>
833
+ <key>resource_17757257090187544140</key>
834
+ <integer>2078301105</integer>
835
+ <key>resource_17785970157332681217</key>
836
+ <integer>365955323</integer>
837
+ <key>resource_17911123492635836029</key>
838
+ <integer>3444211479</integer>
839
+ <key>resource_17979775258222443213</key>
840
+ <integer>129976419</integer>
841
+ <key>resource_1799657185004805260</key>
842
+ <integer>1774123769</integer>
843
+ <key>resource_18006765147495812331</key>
844
+ <integer>2978194968</integer>
845
+ <key>resource_18052603569202594264</key>
846
+ <integer>3086138981</integer>
847
+ <key>resource_18086794175914332826</key>
848
+ <integer>2847641043</integer>
849
+ <key>resource_18322386847670338998</key>
850
+ <integer>3074139728</integer>
851
+ <key>resource_18411183555541795676</key>
852
+ <integer>2080279491</integer>
853
+ <key>resource_18430800382737625198</key>
854
+ <integer>3661279105</integer>
855
+ <key>resource_1864407408689087138</key>
856
+ <integer>2873402851</integer>
857
+ <key>resource_1885433412521023967</key>
858
+ <integer>4022472815</integer>
859
+ <key>resource_1886582534092985144</key>
860
+ <integer>2461637828</integer>
861
+ <key>resource_1892602515438910885</key>
862
+ <integer>1330336203</integer>
863
+ <key>resource_1938841559753424096</key>
864
+ <integer>3075718747</integer>
865
+ <key>resource_194450091427417110</key>
866
+ <integer>438307104</integer>
867
+ <key>resource_1968378092291217381</key>
868
+ <integer>1358653917</integer>
869
+ <key>resource_1981004906110754948</key>
870
+ <integer>3469377308</integer>
871
+ <key>resource_2062914863314341475</key>
872
+ <integer>2159531012</integer>
873
+ <key>resource_208169731430238732</key>
874
+ <integer>2627200312</integer>
875
+ <key>resource_2145091153906306984</key>
876
+ <integer>1776685828</integer>
877
+ <key>resource_2169443433285985987</key>
878
+ <integer>1922575212</integer>
879
+ <key>resource_2178225245126900871</key>
880
+ <integer>3393867517</integer>
881
+ <key>resource_219038189002996846</key>
882
+ <integer>1519098433</integer>
883
+ <key>resource_2339082751300142396</key>
884
+ <integer>2402765980</integer>
885
+ <key>resource_2351862856100167300</key>
886
+ <integer>1355502033</integer>
887
+ <key>resource_2401788066515284567</key>
888
+ <integer>1386971639</integer>
889
+ <key>resource_2401845978121497690</key>
890
+ <integer>309897417</integer>
891
+ <key>resource_2408220154669403405</key>
892
+ <integer>2980750883</integer>
893
+ <key>resource_2410246526754078203</key>
894
+ <integer>2213991456</integer>
895
+ <key>resource_2424105326685876703</key>
896
+ <integer>3963877440</integer>
897
+ <key>resource_2511134379012109075</key>
898
+ <integer>3968602192</integer>
899
+ <key>resource_2571256114053250800</key>
900
+ <integer>2979178012</integer>
901
+ <key>resource_2627988952291337055</key>
902
+ <integer>2561127705</integer>
903
+ <key>resource_2686142624324996661</key>
904
+ <integer>560609658</integer>
905
+ <key>resource_2704463890555759084</key>
906
+ <integer>3649673068</integer>
907
+ <key>resource_2731838809782636363</key>
908
+ <integer>237533332</integer>
909
+ <key>resource_2757706266450331258</key>
910
+ <integer>1804997399</integer>
911
+ <key>resource_2881730739240538547</key>
912
+ <integer>264861860</integer>
913
+ <key>resource_28892460720617255</key>
914
+ <integer>0</integer>
915
+ <key>resource_2924880245928559882</key>
916
+ <integer>155732079</integer>
917
+ <key>resource_2942801200373415765</key>
918
+ <integer>532298088</integer>
919
+ <key>resource_3070649352625102272</key>
920
+ <integer>496515411</integer>
921
+ <key>resource_3073602929706415766</key>
922
+ <integer>306751680</integer>
923
+ <key>resource_3089260242572020200</key>
924
+ <integer>309903567</integer>
925
+ <key>resource_310423090349831024</key>
926
+ <integer>2336705647</integer>
927
+ <key>resource_3151451285759540213</key>
928
+ <integer>2079290296</integer>
929
+ <key>resource_3154627396808962687</key>
930
+ <integer>3274317511</integer>
931
+ <key>resource_3187953785203131000</key>
932
+ <integer>1720056543</integer>
933
+ <key>resource_3246090237706656097</key>
934
+ <integer>2629762372</integer>
935
+ <key>resource_3255810438239018215</key>
936
+ <integer>2131213284</integer>
937
+ <key>resource_3316092469247847043</key>
938
+ <integer>1718483672</integer>
939
+ <key>resource_3331523269665519105</key>
940
+ <integer>3189972639</integer>
941
+ <key>resource_3449600182571564542</key>
942
+ <integer>522860899</integer>
943
+ <key>resource_3468487004250721582</key>
944
+ <integer>1555286627</integer>
945
+ <key>resource_3513358210241668183</key>
946
+ <integer>2421062839</integer>
947
+ <key>resource_3555494698851754725</key>
948
+ <integer>1656152749</integer>
949
+ <key>resource_3586877621646338891</key>
950
+ <integer>18874384</integer>
951
+ <key>resource_3614040006104404220</key>
952
+ <integer>2131803113</integer>
953
+ <key>resource_3621153209897340531</key>
954
+ <integer>1830753056</integer>
955
+ <key>resource_3636337187371242461</key>
956
+ <integer>3855927288</integer>
957
+ <key>resource_3698964289492701097</key>
958
+ <integer>2492708071</integer>
959
+ <key>resource_3704539201845846327</key>
960
+ <integer>4075950221</integer>
961
+ <key>resource_3756081082858464317</key>
962
+ <integer>2836028857</integer>
963
+ <key>resource_3803546597915356523</key>
964
+ <integer>2403749024</integer>
965
+ <key>resource_3968531135452804012</key>
966
+ <integer>2836035005</integer>
967
+ <key>resource_401304735115175831</key>
968
+ <integer>3571029828</integer>
969
+ <key>resource_4022259471036712096</key>
970
+ <integer>2105445323</integer>
971
+ <key>resource_4136545561562602376</key>
972
+ <integer>3367122671</integer>
973
+ <key>resource_4137061025436913988</key>
974
+ <integer>2188825627</integer>
975
+ <key>resource_4180201703562902646</key>
976
+ <integer>521681240</integer>
977
+ <key>resource_4215364008226876279</key>
978
+ <integer>2630352200</integer>
979
+ <key>resource_4216882179360180152</key>
980
+ <integer>1747385071</integer>
981
+ <key>resource_4232248596802863069</key>
982
+ <integer>2628189504</integer>
983
+ <key>resource_4249512978331208741</key>
984
+ <integer>155142248</integer>
985
+ <key>resource_4253551249327380369</key>
986
+ <integer>31463463</integer>
987
+ <key>resource_4262402423556876133</key>
988
+ <integer>3965456456</integer>
989
+ <key>resource_4287007329628324768</key>
990
+ <integer>3340383971</integer>
991
+ <key>resource_4390135360497355896</key>
992
+ <integer>2556998924</integer>
993
+ <key>resource_4397926709435173653</key>
994
+ <integer>1545849435</integer>
995
+ <key>resource_4405547799965776818</key>
996
+ <integer>2846068172</integer>
997
+ <key>resource_4468921977742394395</key>
998
+ <integer>2642941279</integer>
999
+ <key>resource_446893552722130981</key>
1000
+ <integer>1674443459</integer>
1001
+ <key>resource_4509330097757919158</key>
1002
+ <integer>3597768531</integer>
1003
+ <key>resource_4528919590134199155</key>
1004
+ <integer>1402700287</integer>
1005
+ <key>resource_4574463795279941969</key>
1006
+ <integer>1619380880</integer>
1007
+ <key>resource_4598822515144739181</key>
1008
+ <integer>2528294139</integer>
1009
+ <key>resource_4713575750905979258</key>
1010
+ <integer>56629295</integer>
1011
+ <key>resource_4768057095601355579</key>
1012
+ <integer>2393328791</integer>
1013
+ <key>resource_4853556516957978754</key>
1014
+ <integer>1924148081</integer>
1015
+ <key>resource_4906756193233790864</key>
1016
+ <integer>3393873667</integer>
1017
+ <key>resource_492043766741650444</key>
1018
+ <integer>2462227656</integer>
1019
+ <key>resource_4998049397218199101</key>
1020
+ <integer>2133382128</integer>
1021
+ <key>resource_5091948139906406892</key>
1022
+ <integer>1895240531</integer>
1023
+ <key>resource_5129350854529396974</key>
1024
+ <integer>490807612</integer>
1025
+ <key>resource_5143896192286709939</key>
1026
+ <integer>2240736305</integer>
1027
+ <key>resource_525700969156195542</key>
1028
+ <integer>3111310961</integer>
1029
+ <key>resource_5326704015664227627</key>
1030
+ <integer>2558571792</integer>
1031
+ <key>resource_5326792298873938997</key>
1032
+ <integer>3607205720</integer>
1033
+ <key>resource_5357180722825293856</key>
1034
+ <integer>1856508719</integer>
1035
+ <key>resource_5517739514753981660</key>
1036
+ <integer>2161103883</integer>
1037
+ <key>resource_5588923053203932778</key>
1038
+ <integer>2240742453</integer>
1039
+ <key>resource_5592871500799901031</key>
1040
+ <integer>381683968</integer>
1041
+ <key>resource_5608536057917584543</key>
1042
+ <integer>3419039497</integer>
1043
+ <key>resource_5655184698436208606</key>
1044
+ <integer>3954434101</integer>
1045
+ <key>resource_5784104344053395262</key>
1046
+ <integer>2421056689</integer>
1047
+ <key>resource_5786699350252433557</key>
1048
+ <integer>2491135200</integer>
1049
+ <key>resource_5872095003602221078</key>
1050
+ <integer>1745222372</integer>
1051
+ <key>resource_5876522719509931293</key>
1052
+ <integer>3953844272</integer>
1053
+ <key>resource_5899592115773534661</key>
1054
+ <integer>2873396701</integer>
1055
+ <key>resource_5952499508823652865</key>
1056
+ <integer>3470360355</integer>
1057
+ <key>resource_5983303246116893503</key>
1058
+ <integer>4063367292</integer>
1059
+ <key>resource_6009516819685874357</key>
1060
+ <integer>383256836</integer>
1061
+ <key>resource_6027368806890918476</key>
1062
+ <integer>2215564327</integer>
1063
+ <key>resource_6234749376246285868</key>
1064
+ <integer>336052443</integer>
1065
+ <key>resource_6441366698668552608</key>
1066
+ <integer>2080273341</integer>
1067
+ <key>resource_650775413103408974</key>
1068
+ <integer>1999657875</integer>
1069
+ <key>resource_6524278637611478987</key>
1070
+ <integer>1873810232</integer>
1071
+ <key>resource_653626704292859115</key>
1072
+ <integer>2186269712</integer>
1073
+ <key>resource_6550891936450472593</key>
1074
+ <integer>1355508180</integer>
1075
+ <key>resource_6588247093968736980</key>
1076
+ <integer>2734167420</integer>
1077
+ <key>resource_6993941867248490769</key>
1078
+ <integer>2300523604</integer>
1079
+ <key>resource_7034271151738690243</key>
1080
+ <integer>495532364</integer>
1081
+ <key>resource_7064268211210320306</key>
1082
+ <integer>2352434295</integer>
1083
+ <key>resource_7074681207576297908</key>
1084
+ <integer>3714762667</integer>
1085
+ <key>resource_7138755355484992611</key>
1086
+ <integer>1386381808</integer>
1087
+ <key>resource_7190771059144531644</key>
1088
+ <integer>2275357775</integer>
1089
+ <key>resource_7315048652829180280</key>
1090
+ <integer>1618791052</integer>
1091
+ <key>resource_7483662065614675713</key>
1092
+ <integer>1906250589</integer>
1093
+ <key>resource_7514626457207818184</key>
1094
+ <integer>2131809260</integer>
1095
+ <key>resource_7526827834807072686</key>
1096
+ <integer>1564723816</integer>
1097
+ <key>resource_7538487216665923826</key>
1098
+ <integer>111089736</integer>
1099
+ <key>resource_7560498283107966951</key>
1100
+ <integer>1872237364</integer>
1101
+ <key>resource_7566048337272000806</key>
1102
+ <integer>2576868651</integer>
1103
+ <key>resource_7575942828044355121</key>
1104
+ <integer>2836630983</integer>
1105
+ <key>resource_7672980730300441728</key>
1106
+ <integer>2421050541</integer>
1107
+ <key>resource_7673658712822766241</key>
1108
+ <integer>3217694383</integer>
1109
+ <key>resource_7793239116127596661</key>
1110
+ <integer>3189966489</integer>
1111
+ <key>resource_7918442340214558198</key>
1112
+ <integer>361218272</integer>
1113
+ <key>resource_7948136878639271308</key>
1114
+ <integer>2461048000</integer>
1115
+ <key>resource_7975563328448422393</key>
1116
+ <integer>2561133855</integer>
1117
+ <key>resource_7988313924671509707</key>
1118
+ <integer>2760531355</integer>
1119
+ <key>resource_7992159046816568878</key>
1120
+ <integer>4074377352</integer>
1121
+ <key>resource_8050942965899776496</key>
1122
+ <integer>3086145131</integer>
1123
+ <key>resource_8073948492238923894</key>
1124
+ <integer>2527311092</integer>
1125
+ <key>resource_8185125926292666032</key>
1126
+ <integer>535443827</integer>
1127
+ <key>resource_8185173336085893832</key>
1128
+ <integer>3862618131</integer>
1129
+ <key>resource_8267157466626989797</key>
1130
+ <integer>29884444</integer>
1131
+ <key>resource_8308673742430574110</key>
1132
+ <integer>2130617308</integer>
1133
+ <key>resource_8448237768233577704</key>
1134
+ <integer>1572868</integer>
1135
+ <key>resource_8536131660774793582</key>
1136
+ <integer>2977211924</integer>
1137
+ <key>resource_8541645439059279599</key>
1138
+ <integer>2576862501</integer>
1139
+ <key>resource_8559097168616449919</key>
1140
+ <integer>3661285252</integer>
1141
+ <key>resource_862809023925073513</key>
1142
+ <integer>3651841915</integer>
1143
+ <key>resource_8667328044023400432</key>
1144
+ <integer>533870956</integer>
1145
+ <key>resource_8672239062171933616</key>
1146
+ <integer>2760525205</integer>
1147
+ <key>resource_872071509117900539</key>
1148
+ <integer>3965450309</integer>
1149
+ <key>resource_8756154741387584714</key>
1150
+ <integer>1772550900</integer>
1151
+ <key>resource_8954008953721015018</key>
1152
+ <integer>2826591667</integer>
1153
+ <key>resource_9195420563566808018</key>
1154
+ <integer>2966791691</integer>
1155
+ <key>resource_9243560678853064140</key>
1156
+ <integer>1275869603</integer>
1157
+ <key>resource_9244192416079244985</key>
1158
+ <integer>440475951</integer>
1159
+ <key>resource_9278707522200001144</key>
1160
+ <integer>3791243204</integer>
1161
+ <key>resource_9326412547013285572</key>
1162
+ <integer>2327268455</integer>
1163
+ <key>resource_9344373998743529357</key>
1164
+ <integer>1293171116</integer>
1165
+ <key>resource_9355786576905186923</key>
1166
+ <integer>3419045647</integer>
1167
+ <key>resource_940820056615006117</key>
1168
+ <integer>2641362261</integer>
1169
+ <key>resource_9410379152069487411</key>
1170
+ <integer>3861045260</integer>
1171
+ <key>resource_9516404728346017422</key>
1172
+ <integer>129970269</integer>
1173
+ <key>resource_9521378901967468238</key>
1174
+ <integer>3971158107</integer>
1175
+ <key>resource_952878863220198727</key>
1176
+ <integer>1619970709</integer>
1177
+ <key>resource_9562656854860484663</key>
1178
+ <integer>1904677720</integer>
1179
+ <key>resource_9588806299533838806</key>
1180
+ <integer>2053135275</integer>
1181
+ <key>resource_9605534168999696121</key>
1182
+ <integer>2459475132</integer>
1183
+ <key>resource_9627556157301159856</key>
1184
+ <integer>3608778591</integer>
1185
+ <key>resource_9671111203154166508</key>
1186
+ <integer>2377600124</integer>
1187
+ <key>resource_9724620404138832918</key>
1188
+ <integer>2490539225</integer>
1189
+ <key>resource_9728048707695424911</key>
1190
+ <integer>3495532335</integer>
1191
+ <key>resource_9758275833670560256</key>
1192
+ <integer>2488966356</integer>
1193
+ <key>resource_9787733487177945920</key>
1194
+ <integer>1999651725</integer>
1195
+ <key>resource_981808275172215286</key>
1196
+ <integer>3661875080</integer>
1197
+ <key>resource_98211749083475275</key>
1198
+ <integer>3572602699</integer>
1199
+ <key>resource_9874887191608093270</key>
1200
+ <integer>1876366144</integer>
1201
+ <key>resource_9938498766110699403</key>
1202
+ <integer>3215138468</integer>
1203
+ </dict>
1204
+ <key>Resource Storage Mode</key>
1205
+ <integer>1</integer>
1206
+ </dict>
1207
+ </dict>
1208
+ </dict>
1209
+ </plist>
ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/original_model_0.mpsgraph ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:6a6df90c15b08da904b2a77951ee0897026e0df413839599ae71ca5288854f51
3
+ size 227563
ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/reflection.fb ADDED
Binary file (428 Bytes). View file
 
ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main-h18p-delegates/MPSGraph/mpsExecutable.mpsgraphpackage/resources.bin ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:859312040b45f10b78dcbab145dc90ff9c2bd24394bb3d2b0407c9840ed0cac3
3
+ size 4075962516
ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main-h18p.mlirb ADDED
Binary file (1.12 kB). View file
 
ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/main.hash ADDED
@@ -0,0 +1,2 @@
 
 
 
1
+ /�M�EUu
2
+ n�� �`�֋�|���y���nݒ�
ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/metadata.json ADDED
@@ -0,0 +1,6 @@
 
 
 
 
 
 
 
1
+ {
2
+ "producer" : "coreai-build-3600.83.1",
3
+ "creationDate" : "20260930T212957Z",
4
+ "sourceHash" : "F2FBB29B6C032345BDC2B263F28DBD27053AE8BEFC0EEF56227EF0A7E0E715CB",
5
+ "assetVersion" : "2.0"
6
+ }
ios-h18p-gpu/phi_4_mini_instruct.h18p.aimodelc/stats.json ADDED
@@ -0,0 +1 @@
 
 
1
+ {"operationDistribution":[{"count":1754,"name":"constant"},{"count":1503,"name":"broadcast_to"},{"count":1181,"name":"get_shape"},{"name":"slice","count":531},{"count":521,"name":"broadcast_shapes"},{"count":362,"name":"mul"},{"name":"broadcasting_mul","count":295},{"count":290,"name":"transpose"},{"name":"concat","count":269},{"name":"cast","count":267},{"count":260,"name":"add"},{"count":194,"name":"broadcasting_add"},{"count":163,"name":"batch_matmul"},{"name":"broadcasting_batch_matmul","count":163},{"name":"blockwise_shift_scale","count":161},{"count":134,"name":"reshape"},{"name":"reduce","count":131},{"name":"broadcasting_divide","count":98},{"count":98,"name":"divide"},{"count":73,"name":"expand_dims"},{"count":66,"name":"gather_nd"},{"count":66,"name":"read_handle"},{"name":"reduce_sum","count":66},{"count":65,"name":"broadcasting_pow"},{"name":"pow","count":65},{"name":"reduce_mean","count":65},{"name":"reduce_product","count":65},{"name":"rsqrt","count":65},{"name":"shrink_dims","count":65},{"name":"slice_update","count":64},{"name":"write_handle","count":64},{"count":33,"name":"broadcasting_sub"},{"name":"exp","count":33},{"name":"sub","count":33},{"name":"invoke","count":32},{"count":32,"name":"silu"},{"count":2,"name":"broadcast_in_dims"},{"name":"not","count":2},{"count":2,"name":"tile"},{"name":"broadcasting_greater","count":1},{"name":"cos","count":1},{"name":"create_token","count":1},{"count":1,"name":"greater"},{"name":"sin","count":1},{"name":"softmax","count":1}],"computeTypes":["Bool","Float16","Float32","Int32","Int8","UInt32","UInt64"],"storageTypes":[{"count":3836608512,"name":"Int8"},{"name":"Float16","count":139275268},{"name":"Int32","count":390},{"count":51,"name":"Float32"},{"name":"UInt32","count":26},{"name":"UInt64","count":1}]}
ios-h18p-gpu/tokenizer/added_tokens.json ADDED
@@ -0,0 +1,12 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "<|/tool_call|>": 200026,
3
+ "<|/tool|>": 200024,
4
+ "<|assistant|>": 200019,
5
+ "<|end|>": 200020,
6
+ "<|system|>": 200022,
7
+ "<|tag|>": 200028,
8
+ "<|tool_call|>": 200025,
9
+ "<|tool_response|>": 200027,
10
+ "<|tool|>": 200023,
11
+ "<|user|>": 200021
12
+ }
ios-h18p-gpu/tokenizer/generation_config.json ADDED
@@ -0,0 +1,10 @@
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "_from_model_config": true,
3
+ "bos_token_id": 199999,
4
+ "eos_token_id": [
5
+ 200020,
6
+ 199999
7
+ ],
8
+ "pad_token_id": 199999,
9
+ "transformers_version": "4.45.0"
10
+ }
ios-h18p-gpu/tokenizer/merges.txt ADDED
The diff for this file is too large to render. See raw diff
 
ios-h18p-gpu/tokenizer/special_tokens_map.json ADDED
@@ -0,0 +1,30 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "bos_token": {
3
+ "content": "<|endoftext|>",
4
+ "lstrip": false,
5
+ "normalized": false,
6
+ "rstrip": false,
7
+ "single_word": false
8
+ },
9
+ "eos_token": {
10
+ "content": "<|endoftext|>",
11
+ "lstrip": false,
12
+ "normalized": false,
13
+ "rstrip": false,
14
+ "single_word": false
15
+ },
16
+ "pad_token": {
17
+ "content": "<|endoftext|>",
18
+ "lstrip": false,
19
+ "normalized": false,
20
+ "rstrip": false,
21
+ "single_word": false
22
+ },
23
+ "unk_token": {
24
+ "content": "<|endoftext|>",
25
+ "lstrip": false,
26
+ "normalized": false,
27
+ "rstrip": false,
28
+ "single_word": false
29
+ }
30
+ }
ios-h18p-gpu/tokenizer/tokenizer.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:382cc235b56c725945e149cc25f191da667c836655efd0857b004320e90e91ea
3
+ size 15524095
ios-h18p-gpu/tokenizer/tokenizer_config.json ADDED
@@ -0,0 +1,111 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "add_bos_token": false,
3
+ "add_eos_token": false,
4
+ "add_prefix_space": false,
5
+ "added_tokens_decoder": {
6
+ "199999": {
7
+ "content": "<|endoftext|>",
8
+ "lstrip": false,
9
+ "normalized": false,
10
+ "rstrip": false,
11
+ "single_word": false,
12
+ "special": true
13
+ },
14
+ "200018": {
15
+ "content": "<|endofprompt|>",
16
+ "lstrip": false,
17
+ "normalized": false,
18
+ "rstrip": false,
19
+ "single_word": false,
20
+ "special": true
21
+ },
22
+ "200019": {
23
+ "content": "<|assistant|>",
24
+ "lstrip": false,
25
+ "normalized": false,
26
+ "rstrip": true,
27
+ "single_word": false,
28
+ "special": true
29
+ },
30
+ "200020": {
31
+ "content": "<|end|>",
32
+ "lstrip": false,
33
+ "normalized": false,
34
+ "rstrip": true,
35
+ "single_word": false,
36
+ "special": true
37
+ },
38
+ "200021": {
39
+ "content": "<|user|>",
40
+ "lstrip": false,
41
+ "normalized": false,
42
+ "rstrip": true,
43
+ "single_word": false,
44
+ "special": true
45
+ },
46
+ "200022": {
47
+ "content": "<|system|>",
48
+ "lstrip": false,
49
+ "normalized": false,
50
+ "rstrip": true,
51
+ "single_word": false,
52
+ "special": true
53
+ },
54
+ "200023": {
55
+ "content": "<|tool|>",
56
+ "lstrip": false,
57
+ "normalized": false,
58
+ "rstrip": true,
59
+ "single_word": false,
60
+ "special": false
61
+ },
62
+ "200024": {
63
+ "content": "<|/tool|>",
64
+ "lstrip": false,
65
+ "normalized": false,
66
+ "rstrip": true,
67
+ "single_word": false,
68
+ "special": false
69
+ },
70
+ "200025": {
71
+ "content": "<|tool_call|>",
72
+ "lstrip": false,
73
+ "normalized": false,
74
+ "rstrip": true,
75
+ "single_word": false,
76
+ "special": false
77
+ },
78
+ "200026": {
79
+ "content": "<|/tool_call|>",
80
+ "lstrip": false,
81
+ "normalized": false,
82
+ "rstrip": true,
83
+ "single_word": false,
84
+ "special": false
85
+ },
86
+ "200027": {
87
+ "content": "<|tool_response|>",
88
+ "lstrip": false,
89
+ "normalized": false,
90
+ "rstrip": true,
91
+ "single_word": false,
92
+ "special": false
93
+ },
94
+ "200028": {
95
+ "content": "<|tag|>",
96
+ "lstrip": false,
97
+ "normalized": false,
98
+ "rstrip": true,
99
+ "single_word": false,
100
+ "special": true
101
+ }
102
+ },
103
+ "bos_token": "<|endoftext|>",
104
+ "chat_template": "{% for message in messages %}{% if message['role'] == 'system' and 'tools' in message and message['tools'] is not none %}{{ '<|' + message['role'] + '|>' + message['content'] + '<|tool|>' + message['tools'] + '<|/tool|>' + '<|end|>' }}{% else %}{{ '<|' + message['role'] + '|>' + message['content'] + '<|end|>' }}{% endif %}{% endfor %}{% if add_generation_prompt %}{{ '<|assistant|>' }}{% else %}{{ eos_token }}{% endif %}",
105
+ "clean_up_tokenization_spaces": false,
106
+ "eos_token": "<|endoftext|>",
107
+ "model_max_length": 131072,
108
+ "pad_token": "<|endoftext|>",
109
+ "tokenizer_class": "GPT2Tokenizer",
110
+ "unk_token": "<|endoftext|>"
111
+ }
ios-h18p-gpu/tokenizer/vocab.json ADDED
The diff for this file is too large to render. See raw diff
 
macos-any-gpu/aether.json ADDED
@@ -0,0 +1,117 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "architecture" : {
3
+ "attentionLayers" : 32,
4
+ "class" : "dense",
5
+ "totalLayers" : 32
6
+ },
7
+ "capabilities" : [
8
+ "chat"
9
+ ],
10
+ "driver" : "causal-lm",
11
+ "engine" : {
12
+ "allowed" : [
13
+ "pipelined",
14
+ "sequential"
15
+ ],
16
+ "expectFrequentReshapes" : true,
17
+ "kind" : "pipelined"
18
+ },
19
+ "functions" : {
20
+ "main" : {
21
+ "role" : "step"
22
+ }
23
+ },
24
+ "inputs" : {
25
+ "input_ids" : {
26
+ "bind" : "tokens",
27
+ "dtype" : "int32"
28
+ },
29
+ "position_ids" : {
30
+ "bind" : "positions",
31
+ "dtype" : "int32",
32
+ "mode" : "running"
33
+ }
34
+ },
35
+ "limits" : {
36
+ "contextMax" : {
37
+ "macos" : 4096
38
+ },
39
+ "maxOutputDefault" : 1024,
40
+ "prefillChunk" : 512,
41
+ "prefillChunkThreshold" : 1024
42
+ },
43
+ "memory" : {
44
+ "bytesPerToken" : 4076229479,
45
+ "kvBytesPerToken" : 131072,
46
+ "requiresIncreasedMemoryLimit" : false,
47
+ "weightsBytes" : 4076229479
48
+ },
49
+ "outputs" : {
50
+ "logits" : {
51
+ "dtype" : "float16",
52
+ "role" : "logits",
53
+ "seq" : "dynamic"
54
+ }
55
+ },
56
+ "provenance" : {
57
+ "exportedOn" : {
58
+ "date" : "2026-09-30",
59
+ "os" : "26A434"
60
+ },
61
+ "exporter" : {
62
+ "coreai-core" : "1.0.0b2",
63
+ "coreai-opt" : "0.2.1",
64
+ "coreai-torch" : "0.4.2",
65
+ "torch" : "2.11.0"
66
+ },
67
+ "files" : {
68
+ "metadata.json" : "sha256:358968354e780c3145135576a9e849a1a6b61d579fc448732e7b1f789e811db5",
69
+ "phi_4_mini_instruct.aimodel/main.hash" : "sha256:64b9a13c85d24f88be1391652d4dc7d4eb737585e87ae45e00e752cb7b12bfbc",
70
+ "phi_4_mini_instruct.aimodel/main.mlirb" : "sha256:f2fbb29b6c032345bdc2b263f28dbd27053ae8befc0eef56227ef0a7e0e715cb",
71
+ "phi_4_mini_instruct.aimodel/metadata.json" : "sha256:e2fc2a98354e0afa8cab59491f451b39779b7f247716c9cd9143aef1c902a59e",
72
+ "tokenizer/added_tokens.json" : "sha256:d4f2aceb0f20b71dd1f4bcc7e052e4412946bf281840b8f83d39f259571af486",
73
+ "tokenizer/generation_config.json" : "sha256:3e3f48753753f92d2b958679151861d4fd7bf26e4dfc41fd47056116c4914dcd",
74
+ "tokenizer/merges.txt" : "sha256:856ce61180bb689282eed6b3a6838bb1f438399be23aefe9d20eb379791fb4ad",
75
+ "tokenizer/special_tokens_map.json" : "sha256:aff38493227d813e29fcf8406e8e90062f1f031aa47d589325e9c31d89ac7cc3",
76
+ "tokenizer/tokenizer.json" : "sha256:382cc235b56c725945e149cc25f191da667c836655efd0857b004320e90e91ea",
77
+ "tokenizer/tokenizer_config.json" : "sha256:9c9b6bc0c94d95f69f826c41069a3e8b387ac3ced89601d201886e99240ac9db",
78
+ "tokenizer/vocab.json" : "sha256:6cb65a857824fa6615bb1782d95d882617a8bbce1da0317118586b36f39e98bd"
79
+ },
80
+ "forge" : "0.1.0",
81
+ "recipe" : "phi-4-mini-instruct@2",
82
+ "source" : {
83
+ "hfRepo" : "microsoft/Phi-4-mini-instruct",
84
+ "revision" : "cfbefacb99257ffa30c83adab238a50856ac3083"
85
+ }
86
+ },
87
+ "quantization" : {
88
+ "notes" : "weight-only PTQ on the torch module (coreai-opt eager Quantizer); exceptions resolve first-match in declaration order, then default; modules: int8-linear-perblock32 ×161",
89
+ "scheme" : "int8-linear-perblock32",
90
+ "weightBits" : 8
91
+ },
92
+ "schema" : 1,
93
+ "states" : {
94
+ "keyCache" : {
95
+ "axis" : 3,
96
+ "initial" : 256,
97
+ "kind" : "kvGrowing"
98
+ },
99
+ "valueCache" : {
100
+ "axis" : 3,
101
+ "initial" : 256,
102
+ "kind" : "kvGrowing"
103
+ }
104
+ },
105
+ "target" : {
106
+ "arch" : "any",
107
+ "backend" : "coreai",
108
+ "compiled" : false,
109
+ "compute" : "gpu",
110
+ "minOS" : "27.0",
111
+ "platform" : "macos"
112
+ },
113
+ "text" : {
114
+ "chatTemplate" : "embedded",
115
+ "tokenizer" : "tokenizer/"
116
+ }
117
+ }
macos-any-gpu/metadata.json ADDED
@@ -0,0 +1,24 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "assets": {
3
+ "main": "phi_4_mini_instruct.aimodel"
4
+ },
5
+ "compression": "int8-linear-perblock32",
6
+ "kind": "llm",
7
+ "language": {
8
+ "embedded_tokenizer": true,
9
+ "function_map": {
10
+ "main": [
11
+ "main"
12
+ ]
13
+ },
14
+ "max_context_length": 4096,
15
+ "tokenizer": "microsoft/Phi-4-mini-instruct",
16
+ "vocab_size": 200064
17
+ },
18
+ "metadata_version": "0.2",
19
+ "name": "phi_4_mini_instruct",
20
+ "source": {
21
+ "hf_model_id": "microsoft/Phi-4-mini-instruct",
22
+ "model_definition": "torch"
23
+ }
24
+ }
macos-any-gpu/phi_4_mini_instruct.aimodel/main.hash ADDED
@@ -0,0 +1 @@
 
 
1
+ ����l#E�²c�':���V"~����
macos-any-gpu/phi_4_mini_instruct.aimodel/main.mlirb ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:f2fbb29b6c032345bdc2b263f28dbd27053ae8befc0eef56227ef0a7e0e715cb
3
+ size 4076229342
macos-any-gpu/phi_4_mini_instruct.aimodel/metadata.json ADDED
@@ -0,0 +1,5 @@
 
 
 
 
 
 
1
+ {
2
+ "producer" : "coreai-core 1.0.0b2",
3
+ "creationDate" : "20260930T212655Z",
4
+ "assetVersion" : "2.0"
5
+ }
macos-any-gpu/tokenizer/added_tokens.json ADDED
@@ -0,0 +1,12 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "<|/tool_call|>": 200026,
3
+ "<|/tool|>": 200024,
4
+ "<|assistant|>": 200019,
5
+ "<|end|>": 200020,
6
+ "<|system|>": 200022,
7
+ "<|tag|>": 200028,
8
+ "<|tool_call|>": 200025,
9
+ "<|tool_response|>": 200027,
10
+ "<|tool|>": 200023,
11
+ "<|user|>": 200021
12
+ }
macos-any-gpu/tokenizer/generation_config.json ADDED
@@ -0,0 +1,10 @@
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "_from_model_config": true,
3
+ "bos_token_id": 199999,
4
+ "eos_token_id": [
5
+ 200020,
6
+ 199999
7
+ ],
8
+ "pad_token_id": 199999,
9
+ "transformers_version": "4.45.0"
10
+ }
macos-any-gpu/tokenizer/merges.txt ADDED
The diff for this file is too large to render. See raw diff
 
macos-any-gpu/tokenizer/special_tokens_map.json ADDED
@@ -0,0 +1,30 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "bos_token": {
3
+ "content": "<|endoftext|>",
4
+ "lstrip": false,
5
+ "normalized": false,
6
+ "rstrip": false,
7
+ "single_word": false
8
+ },
9
+ "eos_token": {
10
+ "content": "<|endoftext|>",
11
+ "lstrip": false,
12
+ "normalized": false,
13
+ "rstrip": false,
14
+ "single_word": false
15
+ },
16
+ "pad_token": {
17
+ "content": "<|endoftext|>",
18
+ "lstrip": false,
19
+ "normalized": false,
20
+ "rstrip": false,
21
+ "single_word": false
22
+ },
23
+ "unk_token": {
24
+ "content": "<|endoftext|>",
25
+ "lstrip": false,
26
+ "normalized": false,
27
+ "rstrip": false,
28
+ "single_word": false
29
+ }
30
+ }
macos-any-gpu/tokenizer/tokenizer.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:382cc235b56c725945e149cc25f191da667c836655efd0857b004320e90e91ea
3
+ size 15524095
macos-any-gpu/tokenizer/tokenizer_config.json ADDED
@@ -0,0 +1,111 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "add_bos_token": false,
3
+ "add_eos_token": false,
4
+ "add_prefix_space": false,
5
+ "added_tokens_decoder": {
6
+ "199999": {
7
+ "content": "<|endoftext|>",
8
+ "lstrip": false,
9
+ "normalized": false,
10
+ "rstrip": false,
11
+ "single_word": false,
12
+ "special": true
13
+ },
14
+ "200018": {
15
+ "content": "<|endofprompt|>",
16
+ "lstrip": false,
17
+ "normalized": false,
18
+ "rstrip": false,
19
+ "single_word": false,
20
+ "special": true
21
+ },
22
+ "200019": {
23
+ "content": "<|assistant|>",
24
+ "lstrip": false,
25
+ "normalized": false,
26
+ "rstrip": true,
27
+ "single_word": false,
28
+ "special": true
29
+ },
30
+ "200020": {
31
+ "content": "<|end|>",
32
+ "lstrip": false,
33
+ "normalized": false,
34
+ "rstrip": true,
35
+ "single_word": false,
36
+ "special": true
37
+ },
38
+ "200021": {
39
+ "content": "<|user|>",
40
+ "lstrip": false,
41
+ "normalized": false,
42
+ "rstrip": true,
43
+ "single_word": false,
44
+ "special": true
45
+ },
46
+ "200022": {
47
+ "content": "<|system|>",
48
+ "lstrip": false,
49
+ "normalized": false,
50
+ "rstrip": true,
51
+ "single_word": false,
52
+ "special": true
53
+ },
54
+ "200023": {
55
+ "content": "<|tool|>",
56
+ "lstrip": false,
57
+ "normalized": false,
58
+ "rstrip": true,
59
+ "single_word": false,
60
+ "special": false
61
+ },
62
+ "200024": {
63
+ "content": "<|/tool|>",
64
+ "lstrip": false,
65
+ "normalized": false,
66
+ "rstrip": true,
67
+ "single_word": false,
68
+ "special": false
69
+ },
70
+ "200025": {
71
+ "content": "<|tool_call|>",
72
+ "lstrip": false,
73
+ "normalized": false,
74
+ "rstrip": true,
75
+ "single_word": false,
76
+ "special": false
77
+ },
78
+ "200026": {
79
+ "content": "<|/tool_call|>",
80
+ "lstrip": false,
81
+ "normalized": false,
82
+ "rstrip": true,
83
+ "single_word": false,
84
+ "special": false
85
+ },
86
+ "200027": {
87
+ "content": "<|tool_response|>",
88
+ "lstrip": false,
89
+ "normalized": false,
90
+ "rstrip": true,
91
+ "single_word": false,
92
+ "special": false
93
+ },
94
+ "200028": {
95
+ "content": "<|tag|>",
96
+ "lstrip": false,
97
+ "normalized": false,
98
+ "rstrip": true,
99
+ "single_word": false,
100
+ "special": true
101
+ }
102
+ },
103
+ "bos_token": "<|endoftext|>",
104
+ "chat_template": "{% for message in messages %}{% if message['role'] == 'system' and 'tools' in message and message['tools'] is not none %}{{ '<|' + message['role'] + '|>' + message['content'] + '<|tool|>' + message['tools'] + '<|/tool|>' + '<|end|>' }}{% else %}{{ '<|' + message['role'] + '|>' + message['content'] + '<|end|>' }}{% endif %}{% endfor %}{% if add_generation_prompt %}{{ '<|assistant|>' }}{% else %}{{ eos_token }}{% endif %}",
105
+ "clean_up_tokenization_spaces": false,
106
+ "eos_token": "<|endoftext|>",
107
+ "model_max_length": 131072,
108
+ "pad_token": "<|endoftext|>",
109
+ "tokenizer_class": "GPT2Tokenizer",
110
+ "unk_token": "<|endoftext|>"
111
+ }
macos-any-gpu/tokenizer/vocab.json ADDED
The diff for this file is too large to render. See raw diff
 
verification/06f8b021-cd36-4f58-900a-cc1264872a36.json ADDED
@@ -0,0 +1,65 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "at" : "2026-09-30T21:32:38Z",
3
+ "details" : {
4
+ "checks" : [
5
+ {
6
+ "check" : "eos_token",
7
+ "detail" : "<|endoftext|>",
8
+ "status" : "ok"
9
+ },
10
+ {
11
+ "check" : "bos_token",
12
+ "detail" : "<|endoftext|>",
13
+ "status" : "ok"
14
+ },
15
+ {
16
+ "check" : "stopSet",
17
+ "detail" : "bundle stops [199999, 200020] ⊇ source [199999, 200020]",
18
+ "status" : "ok"
19
+ },
20
+ {
21
+ "check" : "chatTemplate",
22
+ "detail" : "byte-identical",
23
+ "status" : "ok"
24
+ },
25
+ {
26
+ "check" : "contextLength",
27
+ "detail" : "bundle 4096 vs source max_position_embeddings 131072",
28
+ "status" : "ok"
29
+ },
30
+ {
31
+ "check" : "vocabSize",
32
+ "detail" : "bundle 200064 vs source 200064",
33
+ "status" : "ok"
34
+ },
35
+ {
36
+ "check" : "precision",
37
+ "detail" : "declared int8-linear-perblock32; source dtype bfloat16",
38
+ "status" : "info"
39
+ }
40
+ ]
41
+ },
42
+ "env" : {
43
+ "arch" : "h17c",
44
+ "compute" : "target",
45
+ "hwModel" : "Mac17,6",
46
+ "osBuild" : "26A434",
47
+ "sdk" : {
48
+ "version" : "0.1.0-dev"
49
+ }
50
+ },
51
+ "kind" : "verification",
52
+ "recordId" : "06f8b021-cd36-4f58-900a-cc1264872a36",
53
+ "result" : "pass",
54
+ "schema" : 1,
55
+ "subject" : {
56
+ "bundlePath" : "hf:aether-models/phi-4-mini-instruct/macos-any-gpu",
57
+ "bundleSha256" : "8822ba2cb962ab2069ad1da429327b1fb238b9e245fa80f83b81c57fcd5e4c54",
58
+ "catalogId" : "phi-4-mini-instruct",
59
+ "manifestSchema" : 1,
60
+ "quantScheme" : "int8-linear-perblock32",
61
+ "recipe" : "phi-4-mini-instruct@2",
62
+ "variant" : "macos-any-gpu"
63
+ },
64
+ "tier" : "T1"
65
+ }
verification/56352841-c0ce-4ed1-9564-fce49b5ecfd4.json ADDED
@@ -0,0 +1,436 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "at" : "2026-09-30T21:35:57Z",
3
+ "details" : {
4
+ "computes" : {
5
+ "target" : {
6
+ "cases" : [
7
+ {
8
+ "id" : "capital-france",
9
+ "matchedSteps" : 1,
10
+ "pass" : true,
11
+ "reason" : "matched through the stop at step 1",
12
+ "stopMatched" : true
13
+ },
14
+ {
15
+ "id" : "sky-color",
16
+ "matchedSteps" : 1,
17
+ "pass" : true,
18
+ "reason" : "matched through the stop at step 1",
19
+ "stopMatched" : true
20
+ },
21
+ {
22
+ "id" : "add-numbers",
23
+ "matchedSteps" : 1,
24
+ "pass" : true,
25
+ "reason" : "matched through the stop at step 1",
26
+ "stopMatched" : true
27
+ },
28
+ {
29
+ "id" : "translate-spanish",
30
+ "matchedSteps" : 3,
31
+ "pass" : true,
32
+ "reason" : "matched through the stop at step 3",
33
+ "stopMatched" : true
34
+ },
35
+ {
36
+ "id" : "primary-colors",
37
+ "matchedSteps" : 5,
38
+ "pass" : true,
39
+ "reason" : "matched through the stop at step 5",
40
+ "stopMatched" : true
41
+ },
42
+ {
43
+ "id" : "largest-planet",
44
+ "matchedSteps" : 3,
45
+ "pass" : true,
46
+ "reason" : "matched through the stop at step 3",
47
+ "stopMatched" : true
48
+ },
49
+ {
50
+ "id" : "boiling-point",
51
+ "matchedSteps" : 3,
52
+ "pass" : true,
53
+ "reason" : "matched through the stop at step 3",
54
+ "stopMatched" : true
55
+ },
56
+ {
57
+ "id" : "reverse-word",
58
+ "matchedSteps" : 2,
59
+ "pass" : true,
60
+ "reason" : "matched through the stop at step 2",
61
+ "stopMatched" : true
62
+ },
63
+ {
64
+ "id" : "pirate-system",
65
+ "matchedSteps" : 15,
66
+ "pass" : true,
67
+ "reason" : "matched through the stop at step 15",
68
+ "stopMatched" : true
69
+ },
70
+ {
71
+ "id" : "multi-turn-name",
72
+ "matchedSteps" : 1,
73
+ "pass" : true,
74
+ "reason" : "matched through the stop at step 1",
75
+ "stopMatched" : true
76
+ },
77
+ {
78
+ "id" : "json-object",
79
+ "matchedSteps" : 16,
80
+ "pass" : true,
81
+ "reason" : "matched through the stop at step 16",
82
+ "stopMatched" : true
83
+ },
84
+ {
85
+ "id" : "python-square",
86
+ "matchedSteps" : 9,
87
+ "pass" : true,
88
+ "reason" : "matched through the stop at step 9",
89
+ "stopMatched" : true
90
+ },
91
+ {
92
+ "id" : "haiku-sea",
93
+ "matchedSteps" : 20,
94
+ "pass" : true,
95
+ "reason" : "matched through the stop at step 20",
96
+ "stopMatched" : true
97
+ },
98
+ {
99
+ "id" : "days-week",
100
+ "matchedSteps" : 1,
101
+ "pass" : true,
102
+ "reason" : "matched through the stop at step 1",
103
+ "stopMatched" : true
104
+ },
105
+ {
106
+ "id" : "think-multiply",
107
+ "matchedSteps" : 8,
108
+ "pass" : true,
109
+ "reason" : "matched through the stop at step 8",
110
+ "stopMatched" : true
111
+ },
112
+ {
113
+ "id" : "think-prime",
114
+ "matchedSteps" : 64,
115
+ "pass" : true,
116
+ "reason" : "all 64 oracle tokens matched"
117
+ },
118
+ {
119
+ "divergence" : {
120
+ "allowed" : true,
121
+ "expected" : 976,
122
+ "got" : 33,
123
+ "inTopK" : true,
124
+ "margin" : 0.020099,
125
+ "step" : 0
126
+ },
127
+ "id" : "think-mammal",
128
+ "matchedSteps" : 0,
129
+ "pass" : true,
130
+ "reason" : "allowed divergence at step 0 (token differs; near-tie margin 0.020, engine token in top-5)"
131
+ },
132
+ {
133
+ "divergence" : {
134
+ "allowed" : true,
135
+ "expected" : 2371,
136
+ "got" : 1646,
137
+ "inTopK" : true,
138
+ "margin" : 0.037066,
139
+ "step" : 12
140
+ },
141
+ "id" : "tool-weather",
142
+ "matchedSteps" : 12,
143
+ "pass" : true,
144
+ "reason" : "allowed divergence at step 12 (token differs; near-tie margin 0.037, engine token in top-5)"
145
+ },
146
+ {
147
+ "divergence" : {
148
+ "allowed" : true,
149
+ "expected" : 17511,
150
+ "got" : 19233,
151
+ "inTopK" : true,
152
+ "margin" : 0.012419,
153
+ "step" : 40
154
+ },
155
+ "id" : "tool-currency",
156
+ "matchedSteps" : 40,
157
+ "pass" : true,
158
+ "reason" : "allowed divergence at step 40 (token differs; near-tie margin 0.012, engine token in top-5)"
159
+ },
160
+ {
161
+ "divergence" : {
162
+ "allowed" : true,
163
+ "expected" : 290,
164
+ "got" : 261,
165
+ "inTopK" : true,
166
+ "margin" : 0.002702,
167
+ "step" : 11
168
+ },
169
+ "id" : "completion-japan",
170
+ "matchedSteps" : 11,
171
+ "pass" : true,
172
+ "reason" : "allowed divergence at step 11 (token differs; near-tie margin 0.003, engine token in top-5)"
173
+ }
174
+ ],
175
+ "memory" : {
176
+ "cases" : [
177
+ {
178
+ "afterCaseMB" : 246,
179
+ "id" : "capital-france",
180
+ "lifetimePeakMB" : 246
181
+ },
182
+ {
183
+ "afterCaseMB" : 255,
184
+ "id" : "sky-color",
185
+ "lifetimePeakMB" : 255
186
+ },
187
+ {
188
+ "afterCaseMB" : 243,
189
+ "id" : "add-numbers",
190
+ "lifetimePeakMB" : 259
191
+ },
192
+ {
193
+ "afterCaseMB" : 247,
194
+ "id" : "translate-spanish",
195
+ "lifetimePeakMB" : 259
196
+ },
197
+ {
198
+ "afterCaseMB" : 251,
199
+ "id" : "primary-colors",
200
+ "lifetimePeakMB" : 259
201
+ },
202
+ {
203
+ "afterCaseMB" : 226,
204
+ "id" : "largest-planet",
205
+ "lifetimePeakMB" : 259
206
+ },
207
+ {
208
+ "afterCaseMB" : 229,
209
+ "id" : "boiling-point",
210
+ "lifetimePeakMB" : 259
211
+ },
212
+ {
213
+ "afterCaseMB" : 233,
214
+ "id" : "reverse-word",
215
+ "lifetimePeakMB" : 259
216
+ },
217
+ {
218
+ "afterCaseMB" : 231,
219
+ "id" : "pirate-system",
220
+ "lifetimePeakMB" : 259
221
+ },
222
+ {
223
+ "afterCaseMB" : 228,
224
+ "id" : "multi-turn-name",
225
+ "lifetimePeakMB" : 259
226
+ },
227
+ {
228
+ "afterCaseMB" : 232,
229
+ "id" : "json-object",
230
+ "lifetimePeakMB" : 259
231
+ },
232
+ {
233
+ "afterCaseMB" : 236,
234
+ "id" : "python-square",
235
+ "lifetimePeakMB" : 259
236
+ },
237
+ {
238
+ "afterCaseMB" : 235,
239
+ "id" : "haiku-sea",
240
+ "lifetimePeakMB" : 259
241
+ },
242
+ {
243
+ "afterCaseMB" : 238,
244
+ "id" : "days-week",
245
+ "lifetimePeakMB" : 259
246
+ },
247
+ {
248
+ "afterCaseMB" : 240,
249
+ "id" : "think-multiply",
250
+ "lifetimePeakMB" : 259
251
+ },
252
+ {
253
+ "afterCaseMB" : 238,
254
+ "id" : "think-prime",
255
+ "lifetimePeakMB" : 259
256
+ },
257
+ {
258
+ "afterCaseMB" : 238,
259
+ "id" : "think-mammal",
260
+ "lifetimePeakMB" : 259
261
+ },
262
+ {
263
+ "afterCaseMB" : 240,
264
+ "id" : "tool-weather",
265
+ "lifetimePeakMB" : 259
266
+ },
267
+ {
268
+ "afterCaseMB" : 240,
269
+ "id" : "tool-currency",
270
+ "lifetimePeakMB" : 259
271
+ },
272
+ {
273
+ "afterCaseMB" : 241,
274
+ "id" : "completion-japan",
275
+ "lifetimePeakMB" : 259
276
+ }
277
+ ],
278
+ "loadedMB" : 192,
279
+ "peakMB" : 255
280
+ },
281
+ "pass" : true
282
+ }
283
+ },
284
+ "profile" : {
285
+ "alsoRequires" : [
286
+ "T2 strict on the unquantized reference export"
287
+ ],
288
+ "budget" : {
289
+ "fraction" : 0.05,
290
+ "margin" : 0.3,
291
+ "minCases" : 1
292
+ },
293
+ "name" : "quantized-8bit"
294
+ },
295
+ "profileResults" : {
296
+ "target" : {
297
+ "budgeted" : [
298
+
299
+ ],
300
+ "overBudget" : [
301
+
302
+ ],
303
+ "pass" : true
304
+ }
305
+ },
306
+ "rules" : {
307
+ "marginThreshold" : 0.1,
308
+ "topN" : 5
309
+ },
310
+ "templateClocks" : [
311
+ {
312
+ "id" : "capital-france",
313
+ "source" : "fixture",
314
+ "timestamp" : "2000-01-01T00:00:00Z"
315
+ },
316
+ {
317
+ "id" : "sky-color",
318
+ "source" : "fixture",
319
+ "timestamp" : "2000-01-01T00:00:00Z"
320
+ },
321
+ {
322
+ "id" : "add-numbers",
323
+ "source" : "fixture",
324
+ "timestamp" : "2000-01-01T00:00:00Z"
325
+ },
326
+ {
327
+ "id" : "translate-spanish",
328
+ "source" : "fixture",
329
+ "timestamp" : "2000-01-01T00:00:00Z"
330
+ },
331
+ {
332
+ "id" : "primary-colors",
333
+ "source" : "fixture",
334
+ "timestamp" : "2000-01-01T00:00:00Z"
335
+ },
336
+ {
337
+ "id" : "largest-planet",
338
+ "source" : "fixture",
339
+ "timestamp" : "2000-01-01T00:00:00Z"
340
+ },
341
+ {
342
+ "id" : "boiling-point",
343
+ "source" : "fixture",
344
+ "timestamp" : "2000-01-01T00:00:00Z"
345
+ },
346
+ {
347
+ "id" : "reverse-word",
348
+ "source" : "fixture",
349
+ "timestamp" : "2000-01-01T00:00:00Z"
350
+ },
351
+ {
352
+ "id" : "pirate-system",
353
+ "source" : "fixture",
354
+ "timestamp" : "2000-01-01T00:00:00Z"
355
+ },
356
+ {
357
+ "id" : "multi-turn-name",
358
+ "source" : "fixture",
359
+ "timestamp" : "2000-01-01T00:00:00Z"
360
+ },
361
+ {
362
+ "id" : "json-object",
363
+ "source" : "fixture",
364
+ "timestamp" : "2000-01-01T00:00:00Z"
365
+ },
366
+ {
367
+ "id" : "python-square",
368
+ "source" : "fixture",
369
+ "timestamp" : "2000-01-01T00:00:00Z"
370
+ },
371
+ {
372
+ "id" : "haiku-sea",
373
+ "source" : "fixture",
374
+ "timestamp" : "2000-01-01T00:00:00Z"
375
+ },
376
+ {
377
+ "id" : "days-week",
378
+ "source" : "fixture",
379
+ "timestamp" : "2000-01-01T00:00:00Z"
380
+ },
381
+ {
382
+ "id" : "think-multiply",
383
+ "source" : "fixture",
384
+ "timestamp" : "2000-01-01T00:00:00Z"
385
+ },
386
+ {
387
+ "id" : "think-prime",
388
+ "source" : "fixture",
389
+ "timestamp" : "2000-01-01T00:00:00Z"
390
+ },
391
+ {
392
+ "id" : "think-mammal",
393
+ "source" : "fixture",
394
+ "timestamp" : "2000-01-01T00:00:00Z"
395
+ },
396
+ {
397
+ "id" : "tool-weather",
398
+ "source" : "fixture",
399
+ "timestamp" : "2000-01-01T00:00:00Z"
400
+ },
401
+ {
402
+ "id" : "tool-currency",
403
+ "source" : "fixture",
404
+ "timestamp" : "2000-01-01T00:00:00Z"
405
+ }
406
+ ]
407
+ },
408
+ "env" : {
409
+ "arch" : "h18p",
410
+ "compute" : "target",
411
+ "hwModel" : "iPhone18,2",
412
+ "osBuild" : "24A446",
413
+ "sdk" : {
414
+ "version" : "0.1.0-dev"
415
+ }
416
+ },
417
+ "fixture" : {
418
+ "id" : "e6d8aa51e5bbd5c4",
419
+ "sha256" : "8b945c65c86eae399256749b14feb9aee104ed900cb5ec78ce8b885d8f8a25f4"
420
+ },
421
+ "kind" : "verification",
422
+ "negativeControlRecordId" : "ec4c9157-2cce-4fff-8a0a-c306aec4c127",
423
+ "recordId" : "56352841-c0ce-4ed1-9564-fce49b5ecfd4",
424
+ "result" : "pass",
425
+ "schema" : 1,
426
+ "subject" : {
427
+ "bundlePath" : "hf:aether-models/phi-4-mini-instruct/ios-h18p-gpu",
428
+ "bundleSha256" : "af676e967026723ae7a1b03a1c906b6b450c2e59c7ec4f687c5bb3871d63675d",
429
+ "catalogId" : "phi-4-mini-instruct",
430
+ "manifestSchema" : 1,
431
+ "quantScheme" : "int8-linear-perblock32",
432
+ "recipe" : "phi-4-mini-instruct@2",
433
+ "variant" : "ios-h18p-gpu"
434
+ },
435
+ "tier" : "T2"
436
+ }
verification/799a7472-8ec9-4e7b-8f72-dda15d89c219.json ADDED
@@ -0,0 +1,35 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "at" : "2026-09-30T21:35:04Z",
3
+ "details" : {
4
+ "asset" : "phi_4_mini_instruct.h18p.aimodelc",
5
+ "assetFormat" : "aimodelc",
6
+ "compiledProducer" : "coreai-build-3600.83.1",
7
+ "compute" : "target",
8
+ "engine" : "ContextEngine",
9
+ "firstToken" : 11,
10
+ "loadMs" : 20581.432458
11
+ },
12
+ "env" : {
13
+ "arch" : "h18p",
14
+ "compute" : "target",
15
+ "hwModel" : "iPhone18,2",
16
+ "osBuild" : "24A446",
17
+ "sdk" : {
18
+ "version" : "0.1.0-dev"
19
+ }
20
+ },
21
+ "kind" : "verification",
22
+ "recordId" : "799a7472-8ec9-4e7b-8f72-dda15d89c219",
23
+ "result" : "pass",
24
+ "schema" : 1,
25
+ "subject" : {
26
+ "bundlePath" : "hf:aether-models/phi-4-mini-instruct/ios-h18p-gpu",
27
+ "bundleSha256" : "af676e967026723ae7a1b03a1c906b6b450c2e59c7ec4f687c5bb3871d63675d",
28
+ "catalogId" : "phi-4-mini-instruct",
29
+ "manifestSchema" : 1,
30
+ "quantScheme" : "int8-linear-perblock32",
31
+ "recipe" : "phi-4-mini-instruct@2",
32
+ "variant" : "ios-h18p-gpu"
33
+ },
34
+ "tier" : "T0"
35
+ }
verification/d86a849c-29b5-438e-9ca9-368a23bf6826.json ADDED
@@ -0,0 +1,716 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "at" : "2026-09-30T21:40:23Z",
3
+ "details" : {
4
+ "computes" : {
5
+ "cpuOnly" : {
6
+ "cases" : [
7
+ {
8
+ "id" : "capital-france",
9
+ "matchedSteps" : 1,
10
+ "pass" : true,
11
+ "reason" : "matched through the stop at step 1",
12
+ "stopMatched" : true
13
+ },
14
+ {
15
+ "id" : "sky-color",
16
+ "matchedSteps" : 1,
17
+ "pass" : true,
18
+ "reason" : "matched through the stop at step 1",
19
+ "stopMatched" : true
20
+ },
21
+ {
22
+ "id" : "add-numbers",
23
+ "matchedSteps" : 1,
24
+ "pass" : true,
25
+ "reason" : "matched through the stop at step 1",
26
+ "stopMatched" : true
27
+ },
28
+ {
29
+ "id" : "translate-spanish",
30
+ "matchedSteps" : 3,
31
+ "pass" : true,
32
+ "reason" : "matched through the stop at step 3",
33
+ "stopMatched" : true
34
+ },
35
+ {
36
+ "id" : "primary-colors",
37
+ "matchedSteps" : 5,
38
+ "pass" : true,
39
+ "reason" : "matched through the stop at step 5",
40
+ "stopMatched" : true
41
+ },
42
+ {
43
+ "id" : "largest-planet",
44
+ "matchedSteps" : 3,
45
+ "pass" : true,
46
+ "reason" : "matched through the stop at step 3",
47
+ "stopMatched" : true
48
+ },
49
+ {
50
+ "id" : "boiling-point",
51
+ "matchedSteps" : 3,
52
+ "pass" : true,
53
+ "reason" : "matched through the stop at step 3",
54
+ "stopMatched" : true
55
+ },
56
+ {
57
+ "id" : "reverse-word",
58
+ "matchedSteps" : 2,
59
+ "pass" : true,
60
+ "reason" : "matched through the stop at step 2",
61
+ "stopMatched" : true
62
+ },
63
+ {
64
+ "id" : "pirate-system",
65
+ "matchedSteps" : 15,
66
+ "pass" : true,
67
+ "reason" : "matched through the stop at step 15",
68
+ "stopMatched" : true
69
+ },
70
+ {
71
+ "id" : "multi-turn-name",
72
+ "matchedSteps" : 1,
73
+ "pass" : true,
74
+ "reason" : "matched through the stop at step 1",
75
+ "stopMatched" : true
76
+ },
77
+ {
78
+ "id" : "json-object",
79
+ "matchedSteps" : 16,
80
+ "pass" : true,
81
+ "reason" : "matched through the stop at step 16",
82
+ "stopMatched" : true
83
+ },
84
+ {
85
+ "id" : "python-square",
86
+ "matchedSteps" : 9,
87
+ "pass" : true,
88
+ "reason" : "matched through the stop at step 9",
89
+ "stopMatched" : true
90
+ },
91
+ {
92
+ "id" : "haiku-sea",
93
+ "matchedSteps" : 20,
94
+ "pass" : true,
95
+ "reason" : "matched through the stop at step 20",
96
+ "stopMatched" : true
97
+ },
98
+ {
99
+ "id" : "days-week",
100
+ "matchedSteps" : 1,
101
+ "pass" : true,
102
+ "reason" : "matched through the stop at step 1",
103
+ "stopMatched" : true
104
+ },
105
+ {
106
+ "id" : "think-multiply",
107
+ "matchedSteps" : 8,
108
+ "pass" : true,
109
+ "reason" : "matched through the stop at step 8",
110
+ "stopMatched" : true
111
+ },
112
+ {
113
+ "id" : "think-prime",
114
+ "matchedSteps" : 64,
115
+ "pass" : true,
116
+ "reason" : "all 64 oracle tokens matched"
117
+ },
118
+ {
119
+ "divergence" : {
120
+ "allowed" : true,
121
+ "expected" : 8285,
122
+ "got" : 5746,
123
+ "inTopK" : true,
124
+ "margin" : 0.009855,
125
+ "step" : 31
126
+ },
127
+ "id" : "think-mammal",
128
+ "matchedSteps" : 31,
129
+ "pass" : true,
130
+ "reason" : "allowed divergence at step 31 (token differs; near-tie margin 0.010, engine token in top-5)"
131
+ },
132
+ {
133
+ "id" : "tool-weather",
134
+ "matchedSteps" : 48,
135
+ "pass" : true,
136
+ "reason" : "matched through the stop at step 48",
137
+ "stopMatched" : true
138
+ },
139
+ {
140
+ "divergence" : {
141
+ "allowed" : true,
142
+ "expected" : 17511,
143
+ "got" : 19233,
144
+ "inTopK" : true,
145
+ "margin" : 0.012419,
146
+ "step" : 40
147
+ },
148
+ "id" : "tool-currency",
149
+ "matchedSteps" : 40,
150
+ "pass" : true,
151
+ "reason" : "allowed divergence at step 40 (token differs; near-tie margin 0.012, engine token in top-5)"
152
+ },
153
+ {
154
+ "divergence" : {
155
+ "allowed" : true,
156
+ "expected" : 290,
157
+ "got" : 261,
158
+ "inTopK" : true,
159
+ "margin" : 0.002702,
160
+ "step" : 11
161
+ },
162
+ "id" : "completion-japan",
163
+ "matchedSteps" : 11,
164
+ "pass" : true,
165
+ "reason" : "allowed divergence at step 11 (token differs; near-tie margin 0.003, engine token in top-5)"
166
+ }
167
+ ],
168
+ "memory" : {
169
+ "cases" : [
170
+ {
171
+ "afterCaseMB" : 2479,
172
+ "id" : "capital-france",
173
+ "lifetimePeakMB" : 2512
174
+ },
175
+ {
176
+ "afterCaseMB" : 2487,
177
+ "id" : "sky-color",
178
+ "lifetimePeakMB" : 2520
179
+ },
180
+ {
181
+ "afterCaseMB" : 2487,
182
+ "id" : "add-numbers",
183
+ "lifetimePeakMB" : 2520
184
+ },
185
+ {
186
+ "afterCaseMB" : 2487,
187
+ "id" : "translate-spanish",
188
+ "lifetimePeakMB" : 2520
189
+ },
190
+ {
191
+ "afterCaseMB" : 2487,
192
+ "id" : "primary-colors",
193
+ "lifetimePeakMB" : 2520
194
+ },
195
+ {
196
+ "afterCaseMB" : 2488,
197
+ "id" : "largest-planet",
198
+ "lifetimePeakMB" : 2521
199
+ },
200
+ {
201
+ "afterCaseMB" : 2488,
202
+ "id" : "boiling-point",
203
+ "lifetimePeakMB" : 2521
204
+ },
205
+ {
206
+ "afterCaseMB" : 2488,
207
+ "id" : "reverse-word",
208
+ "lifetimePeakMB" : 2521
209
+ },
210
+ {
211
+ "afterCaseMB" : 2496,
212
+ "id" : "pirate-system",
213
+ "lifetimePeakMB" : 2529
214
+ },
215
+ {
216
+ "afterCaseMB" : 2508,
217
+ "id" : "multi-turn-name",
218
+ "lifetimePeakMB" : 2541
219
+ },
220
+ {
221
+ "afterCaseMB" : 2508,
222
+ "id" : "json-object",
223
+ "lifetimePeakMB" : 2542
224
+ },
225
+ {
226
+ "afterCaseMB" : 2508,
227
+ "id" : "python-square",
228
+ "lifetimePeakMB" : 2542
229
+ },
230
+ {
231
+ "afterCaseMB" : 2508,
232
+ "id" : "haiku-sea",
233
+ "lifetimePeakMB" : 2542
234
+ },
235
+ {
236
+ "afterCaseMB" : 2508,
237
+ "id" : "days-week",
238
+ "lifetimePeakMB" : 2542
239
+ },
240
+ {
241
+ "afterCaseMB" : 2508,
242
+ "id" : "think-multiply",
243
+ "lifetimePeakMB" : 2542
244
+ },
245
+ {
246
+ "afterCaseMB" : 2508,
247
+ "id" : "think-prime",
248
+ "lifetimePeakMB" : 2542
249
+ },
250
+ {
251
+ "afterCaseMB" : 2510,
252
+ "id" : "think-mammal",
253
+ "lifetimePeakMB" : 2544
254
+ },
255
+ {
256
+ "afterCaseMB" : 2540,
257
+ "id" : "tool-weather",
258
+ "lifetimePeakMB" : 2574
259
+ },
260
+ {
261
+ "afterCaseMB" : 2549,
262
+ "id" : "tool-currency",
263
+ "lifetimePeakMB" : 2582
264
+ },
265
+ {
266
+ "afterCaseMB" : 2551,
267
+ "id" : "completion-japan",
268
+ "lifetimePeakMB" : 2583
269
+ }
270
+ ],
271
+ "loadedMB" : 191,
272
+ "peakMB" : 2551
273
+ },
274
+ "pass" : true
275
+ },
276
+ "target" : {
277
+ "cases" : [
278
+ {
279
+ "id" : "capital-france",
280
+ "matchedSteps" : 1,
281
+ "pass" : true,
282
+ "reason" : "matched through the stop at step 1",
283
+ "stopMatched" : true
284
+ },
285
+ {
286
+ "id" : "sky-color",
287
+ "matchedSteps" : 1,
288
+ "pass" : true,
289
+ "reason" : "matched through the stop at step 1",
290
+ "stopMatched" : true
291
+ },
292
+ {
293
+ "id" : "add-numbers",
294
+ "matchedSteps" : 1,
295
+ "pass" : true,
296
+ "reason" : "matched through the stop at step 1",
297
+ "stopMatched" : true
298
+ },
299
+ {
300
+ "id" : "translate-spanish",
301
+ "matchedSteps" : 3,
302
+ "pass" : true,
303
+ "reason" : "matched through the stop at step 3",
304
+ "stopMatched" : true
305
+ },
306
+ {
307
+ "id" : "primary-colors",
308
+ "matchedSteps" : 5,
309
+ "pass" : true,
310
+ "reason" : "matched through the stop at step 5",
311
+ "stopMatched" : true
312
+ },
313
+ {
314
+ "id" : "largest-planet",
315
+ "matchedSteps" : 3,
316
+ "pass" : true,
317
+ "reason" : "matched through the stop at step 3",
318
+ "stopMatched" : true
319
+ },
320
+ {
321
+ "id" : "boiling-point",
322
+ "matchedSteps" : 3,
323
+ "pass" : true,
324
+ "reason" : "matched through the stop at step 3",
325
+ "stopMatched" : true
326
+ },
327
+ {
328
+ "id" : "reverse-word",
329
+ "matchedSteps" : 2,
330
+ "pass" : true,
331
+ "reason" : "matched through the stop at step 2",
332
+ "stopMatched" : true
333
+ },
334
+ {
335
+ "id" : "pirate-system",
336
+ "matchedSteps" : 15,
337
+ "pass" : true,
338
+ "reason" : "matched through the stop at step 15",
339
+ "stopMatched" : true
340
+ },
341
+ {
342
+ "id" : "multi-turn-name",
343
+ "matchedSteps" : 1,
344
+ "pass" : true,
345
+ "reason" : "matched through the stop at step 1",
346
+ "stopMatched" : true
347
+ },
348
+ {
349
+ "id" : "json-object",
350
+ "matchedSteps" : 16,
351
+ "pass" : true,
352
+ "reason" : "matched through the stop at step 16",
353
+ "stopMatched" : true
354
+ },
355
+ {
356
+ "id" : "python-square",
357
+ "matchedSteps" : 9,
358
+ "pass" : true,
359
+ "reason" : "matched through the stop at step 9",
360
+ "stopMatched" : true
361
+ },
362
+ {
363
+ "id" : "haiku-sea",
364
+ "matchedSteps" : 20,
365
+ "pass" : true,
366
+ "reason" : "matched through the stop at step 20",
367
+ "stopMatched" : true
368
+ },
369
+ {
370
+ "id" : "days-week",
371
+ "matchedSteps" : 1,
372
+ "pass" : true,
373
+ "reason" : "matched through the stop at step 1",
374
+ "stopMatched" : true
375
+ },
376
+ {
377
+ "id" : "think-multiply",
378
+ "matchedSteps" : 8,
379
+ "pass" : true,
380
+ "reason" : "matched through the stop at step 8",
381
+ "stopMatched" : true
382
+ },
383
+ {
384
+ "id" : "think-prime",
385
+ "matchedSteps" : 64,
386
+ "pass" : true,
387
+ "reason" : "all 64 oracle tokens matched"
388
+ },
389
+ {
390
+ "divergence" : {
391
+ "allowed" : true,
392
+ "expected" : 976,
393
+ "got" : 33,
394
+ "inTopK" : true,
395
+ "margin" : 0.020099,
396
+ "step" : 0
397
+ },
398
+ "id" : "think-mammal",
399
+ "matchedSteps" : 0,
400
+ "pass" : true,
401
+ "reason" : "allowed divergence at step 0 (token differs; near-tie margin 0.020, engine token in top-5)"
402
+ },
403
+ {
404
+ "divergence" : {
405
+ "allowed" : true,
406
+ "expected" : 2371,
407
+ "got" : 1646,
408
+ "inTopK" : true,
409
+ "margin" : 0.037066,
410
+ "step" : 12
411
+ },
412
+ "id" : "tool-weather",
413
+ "matchedSteps" : 12,
414
+ "pass" : true,
415
+ "reason" : "allowed divergence at step 12 (token differs; near-tie margin 0.037, engine token in top-5)"
416
+ },
417
+ {
418
+ "divergence" : {
419
+ "allowed" : true,
420
+ "expected" : 17511,
421
+ "got" : 19233,
422
+ "inTopK" : true,
423
+ "margin" : 0.012419,
424
+ "step" : 40
425
+ },
426
+ "id" : "tool-currency",
427
+ "matchedSteps" : 40,
428
+ "pass" : true,
429
+ "reason" : "allowed divergence at step 40 (token differs; near-tie margin 0.012, engine token in top-5)"
430
+ },
431
+ {
432
+ "divergence" : {
433
+ "allowed" : true,
434
+ "expected" : 290,
435
+ "got" : 261,
436
+ "inTopK" : true,
437
+ "margin" : 0.002702,
438
+ "step" : 11
439
+ },
440
+ "id" : "completion-japan",
441
+ "matchedSteps" : 11,
442
+ "pass" : true,
443
+ "reason" : "allowed divergence at step 11 (token differs; near-tie margin 0.003, engine token in top-5)"
444
+ }
445
+ ],
446
+ "memory" : {
447
+ "cases" : [
448
+ {
449
+ "afterCaseMB" : 426,
450
+ "id" : "capital-france",
451
+ "lifetimePeakMB" : 2583
452
+ },
453
+ {
454
+ "afterCaseMB" : 438,
455
+ "id" : "sky-color",
456
+ "lifetimePeakMB" : 2583
457
+ },
458
+ {
459
+ "afterCaseMB" : 442,
460
+ "id" : "add-numbers",
461
+ "lifetimePeakMB" : 2583
462
+ },
463
+ {
464
+ "afterCaseMB" : 461,
465
+ "id" : "translate-spanish",
466
+ "lifetimePeakMB" : 2583
467
+ },
468
+ {
469
+ "afterCaseMB" : 482,
470
+ "id" : "primary-colors",
471
+ "lifetimePeakMB" : 2583
472
+ },
473
+ {
474
+ "afterCaseMB" : 486,
475
+ "id" : "largest-planet",
476
+ "lifetimePeakMB" : 2583
477
+ },
478
+ {
479
+ "afterCaseMB" : 490,
480
+ "id" : "boiling-point",
481
+ "lifetimePeakMB" : 2583
482
+ },
483
+ {
484
+ "afterCaseMB" : 494,
485
+ "id" : "reverse-word",
486
+ "lifetimePeakMB" : 2583
487
+ },
488
+ {
489
+ "afterCaseMB" : 498,
490
+ "id" : "pirate-system",
491
+ "lifetimePeakMB" : 2583
492
+ },
493
+ {
494
+ "afterCaseMB" : 503,
495
+ "id" : "multi-turn-name",
496
+ "lifetimePeakMB" : 2583
497
+ },
498
+ {
499
+ "afterCaseMB" : 508,
500
+ "id" : "json-object",
501
+ "lifetimePeakMB" : 2583
502
+ },
503
+ {
504
+ "afterCaseMB" : 512,
505
+ "id" : "python-square",
506
+ "lifetimePeakMB" : 2583
507
+ },
508
+ {
509
+ "afterCaseMB" : 514,
510
+ "id" : "haiku-sea",
511
+ "lifetimePeakMB" : 2583
512
+ },
513
+ {
514
+ "afterCaseMB" : 518,
515
+ "id" : "days-week",
516
+ "lifetimePeakMB" : 2583
517
+ },
518
+ {
519
+ "afterCaseMB" : 520,
520
+ "id" : "think-multiply",
521
+ "lifetimePeakMB" : 2583
522
+ },
523
+ {
524
+ "afterCaseMB" : 521,
525
+ "id" : "think-prime",
526
+ "lifetimePeakMB" : 2583
527
+ },
528
+ {
529
+ "afterCaseMB" : 524,
530
+ "id" : "think-mammal",
531
+ "lifetimePeakMB" : 2583
532
+ },
533
+ {
534
+ "afterCaseMB" : 418,
535
+ "id" : "tool-weather",
536
+ "lifetimePeakMB" : 2583
537
+ },
538
+ {
539
+ "afterCaseMB" : 418,
540
+ "id" : "tool-currency",
541
+ "lifetimePeakMB" : 2583
542
+ },
543
+ {
544
+ "afterCaseMB" : 418,
545
+ "id" : "completion-japan",
546
+ "lifetimePeakMB" : 2583
547
+ }
548
+ ],
549
+ "loadedMB" : 267,
550
+ "peakMB" : 524
551
+ },
552
+ "pass" : true
553
+ }
554
+ },
555
+ "profile" : {
556
+ "alsoRequires" : [
557
+ "T2 strict on the unquantized reference export"
558
+ ],
559
+ "budget" : {
560
+ "fraction" : 0.05,
561
+ "margin" : 0.3,
562
+ "minCases" : 1
563
+ },
564
+ "name" : "quantized-8bit"
565
+ },
566
+ "profileResults" : {
567
+ "cpuOnly" : {
568
+ "budgeted" : [
569
+
570
+ ],
571
+ "overBudget" : [
572
+
573
+ ],
574
+ "pass" : true
575
+ },
576
+ "target" : {
577
+ "budgeted" : [
578
+
579
+ ],
580
+ "overBudget" : [
581
+
582
+ ],
583
+ "pass" : true
584
+ }
585
+ },
586
+ "rules" : {
587
+ "marginThreshold" : 0.1,
588
+ "topN" : 5
589
+ },
590
+ "templateClocks" : [
591
+ {
592
+ "id" : "capital-france",
593
+ "source" : "fixture",
594
+ "timestamp" : "2000-01-01T00:00:00Z"
595
+ },
596
+ {
597
+ "id" : "sky-color",
598
+ "source" : "fixture",
599
+ "timestamp" : "2000-01-01T00:00:00Z"
600
+ },
601
+ {
602
+ "id" : "add-numbers",
603
+ "source" : "fixture",
604
+ "timestamp" : "2000-01-01T00:00:00Z"
605
+ },
606
+ {
607
+ "id" : "translate-spanish",
608
+ "source" : "fixture",
609
+ "timestamp" : "2000-01-01T00:00:00Z"
610
+ },
611
+ {
612
+ "id" : "primary-colors",
613
+ "source" : "fixture",
614
+ "timestamp" : "2000-01-01T00:00:00Z"
615
+ },
616
+ {
617
+ "id" : "largest-planet",
618
+ "source" : "fixture",
619
+ "timestamp" : "2000-01-01T00:00:00Z"
620
+ },
621
+ {
622
+ "id" : "boiling-point",
623
+ "source" : "fixture",
624
+ "timestamp" : "2000-01-01T00:00:00Z"
625
+ },
626
+ {
627
+ "id" : "reverse-word",
628
+ "source" : "fixture",
629
+ "timestamp" : "2000-01-01T00:00:00Z"
630
+ },
631
+ {
632
+ "id" : "pirate-system",
633
+ "source" : "fixture",
634
+ "timestamp" : "2000-01-01T00:00:00Z"
635
+ },
636
+ {
637
+ "id" : "multi-turn-name",
638
+ "source" : "fixture",
639
+ "timestamp" : "2000-01-01T00:00:00Z"
640
+ },
641
+ {
642
+ "id" : "json-object",
643
+ "source" : "fixture",
644
+ "timestamp" : "2000-01-01T00:00:00Z"
645
+ },
646
+ {
647
+ "id" : "python-square",
648
+ "source" : "fixture",
649
+ "timestamp" : "2000-01-01T00:00:00Z"
650
+ },
651
+ {
652
+ "id" : "haiku-sea",
653
+ "source" : "fixture",
654
+ "timestamp" : "2000-01-01T00:00:00Z"
655
+ },
656
+ {
657
+ "id" : "days-week",
658
+ "source" : "fixture",
659
+ "timestamp" : "2000-01-01T00:00:00Z"
660
+ },
661
+ {
662
+ "id" : "think-multiply",
663
+ "source" : "fixture",
664
+ "timestamp" : "2000-01-01T00:00:00Z"
665
+ },
666
+ {
667
+ "id" : "think-prime",
668
+ "source" : "fixture",
669
+ "timestamp" : "2000-01-01T00:00:00Z"
670
+ },
671
+ {
672
+ "id" : "think-mammal",
673
+ "source" : "fixture",
674
+ "timestamp" : "2000-01-01T00:00:00Z"
675
+ },
676
+ {
677
+ "id" : "tool-weather",
678
+ "source" : "fixture",
679
+ "timestamp" : "2000-01-01T00:00:00Z"
680
+ },
681
+ {
682
+ "id" : "tool-currency",
683
+ "source" : "fixture",
684
+ "timestamp" : "2000-01-01T00:00:00Z"
685
+ }
686
+ ]
687
+ },
688
+ "env" : {
689
+ "arch" : "h17c",
690
+ "compute" : "target",
691
+ "hwModel" : "Mac17,6",
692
+ "osBuild" : "26A434",
693
+ "sdk" : {
694
+ "version" : "0.1.0-dev"
695
+ }
696
+ },
697
+ "fixture" : {
698
+ "id" : "e6d8aa51e5bbd5c4",
699
+ "sha256" : "8b945c65c86eae399256749b14feb9aee104ed900cb5ec78ce8b885d8f8a25f4"
700
+ },
701
+ "kind" : "verification",
702
+ "negativeControlRecordId" : "307647bd-2335-4d4c-bfe1-0d962efbb689",
703
+ "recordId" : "d86a849c-29b5-438e-9ca9-368a23bf6826",
704
+ "result" : "pass",
705
+ "schema" : 1,
706
+ "subject" : {
707
+ "bundlePath" : "hf:aether-models/phi-4-mini-instruct/macos-any-gpu",
708
+ "bundleSha256" : "8822ba2cb962ab2069ad1da429327b1fb238b9e245fa80f83b81c57fcd5e4c54",
709
+ "catalogId" : "phi-4-mini-instruct",
710
+ "manifestSchema" : 1,
711
+ "quantScheme" : "int8-linear-perblock32",
712
+ "recipe" : "phi-4-mini-instruct@2",
713
+ "variant" : "macos-any-gpu"
714
+ },
715
+ "tier" : "T2"
716
+ }
verification/f8ec071b-6823-4eb8-bed4-a058d3d45262.json ADDED
@@ -0,0 +1,34 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "at" : "2026-09-30T21:32:28Z",
3
+ "details" : {
4
+ "asset" : "phi_4_mini_instruct.aimodel",
5
+ "assetFormat" : "aimodel",
6
+ "compute" : "target",
7
+ "engine" : "ContextEngine",
8
+ "firstToken" : 11,
9
+ "loadMs" : 13691.225
10
+ },
11
+ "env" : {
12
+ "arch" : "h17c",
13
+ "compute" : "target",
14
+ "hwModel" : "Mac17,6",
15
+ "osBuild" : "26A434",
16
+ "sdk" : {
17
+ "version" : "0.1.0-dev"
18
+ }
19
+ },
20
+ "kind" : "verification",
21
+ "recordId" : "f8ec071b-6823-4eb8-bed4-a058d3d45262",
22
+ "result" : "pass",
23
+ "schema" : 1,
24
+ "subject" : {
25
+ "bundlePath" : "hf:aether-models/phi-4-mini-instruct/macos-any-gpu",
26
+ "bundleSha256" : "8822ba2cb962ab2069ad1da429327b1fb238b9e245fa80f83b81c57fcd5e4c54",
27
+ "catalogId" : "phi-4-mini-instruct",
28
+ "manifestSchema" : 1,
29
+ "quantScheme" : "int8-linear-perblock32",
30
+ "recipe" : "phi-4-mini-instruct@2",
31
+ "variant" : "macos-any-gpu"
32
+ },
33
+ "tier" : "T0"
34
+ }
verification/negative-control/307647bd-2335-4d4c-bfe1-0d962efbb689.json ADDED
@@ -0,0 +1,38 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "at" : "2026-09-30T21:40:23Z",
3
+ "details" : {
4
+ "computes" : [
5
+ "cpuOnly",
6
+ "target"
7
+ ],
8
+ "gateFailedAsRequired" : true,
9
+ "poisonStep" : 3
10
+ },
11
+ "env" : {
12
+ "arch" : "h17c",
13
+ "compute" : "target",
14
+ "hwModel" : "Mac17,6",
15
+ "osBuild" : "26A434",
16
+ "sdk" : {
17
+ "version" : "0.1.0-dev"
18
+ }
19
+ },
20
+ "fixture" : {
21
+ "id" : "e6d8aa51e5bbd5c4",
22
+ "sha256" : "8b945c65c86eae399256749b14feb9aee104ed900cb5ec78ce8b885d8f8a25f4"
23
+ },
24
+ "kind" : "negative-control",
25
+ "recordId" : "307647bd-2335-4d4c-bfe1-0d962efbb689",
26
+ "result" : "fail",
27
+ "schema" : 1,
28
+ "subject" : {
29
+ "bundlePath" : "hf:aether-models/phi-4-mini-instruct/macos-any-gpu",
30
+ "bundleSha256" : "8822ba2cb962ab2069ad1da429327b1fb238b9e245fa80f83b81c57fcd5e4c54",
31
+ "catalogId" : "phi-4-mini-instruct",
32
+ "manifestSchema" : 1,
33
+ "quantScheme" : "int8-linear-perblock32",
34
+ "recipe" : "phi-4-mini-instruct@2",
35
+ "variant" : "macos-any-gpu"
36
+ },
37
+ "tier" : "T2"
38
+ }
verification/negative-control/ec4c9157-2cce-4fff-8a0a-c306aec4c127.json ADDED
@@ -0,0 +1,37 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "at" : "2026-09-30T21:35:57Z",
3
+ "details" : {
4
+ "computes" : [
5
+ "target"
6
+ ],
7
+ "gateFailedAsRequired" : true,
8
+ "poisonStep" : 3
9
+ },
10
+ "env" : {
11
+ "arch" : "h18p",
12
+ "compute" : "target",
13
+ "hwModel" : "iPhone18,2",
14
+ "osBuild" : "24A446",
15
+ "sdk" : {
16
+ "version" : "0.1.0-dev"
17
+ }
18
+ },
19
+ "fixture" : {
20
+ "id" : "e6d8aa51e5bbd5c4",
21
+ "sha256" : "8b945c65c86eae399256749b14feb9aee104ed900cb5ec78ce8b885d8f8a25f4"
22
+ },
23
+ "kind" : "negative-control",
24
+ "recordId" : "ec4c9157-2cce-4fff-8a0a-c306aec4c127",
25
+ "result" : "fail",
26
+ "schema" : 1,
27
+ "subject" : {
28
+ "bundlePath" : "hf:aether-models/phi-4-mini-instruct/ios-h18p-gpu",
29
+ "bundleSha256" : "af676e967026723ae7a1b03a1c906b6b450c2e59c7ec4f687c5bb3871d63675d",
30
+ "catalogId" : "phi-4-mini-instruct",
31
+ "manifestSchema" : 1,
32
+ "quantScheme" : "int8-linear-perblock32",
33
+ "recipe" : "phi-4-mini-instruct@2",
34
+ "variant" : "ios-h18p-gpu"
35
+ },
36
+ "tier" : "T2"
37
+ }
verification/negative-control/f6c74409-61da-4a87-81ba-c595579f54c6.json ADDED
@@ -0,0 +1,37 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "at" : "2026-09-30T21:31:58Z",
3
+ "details" : {
4
+ "computes" : [
5
+ "cpuOnly",
6
+ "target"
7
+ ],
8
+ "gateFailedAsRequired" : true,
9
+ "poisonStep" : 3
10
+ },
11
+ "env" : {
12
+ "arch" : "h17c",
13
+ "compute" : "target",
14
+ "hwModel" : "Mac17,6",
15
+ "osBuild" : "26A434",
16
+ "sdk" : {
17
+ "version" : "0.1.0-dev"
18
+ }
19
+ },
20
+ "fixture" : {
21
+ "id" : "e6d8aa51e5bbd5c4",
22
+ "sha256" : "8b945c65c86eae399256749b14feb9aee104ed900cb5ec78ce8b885d8f8a25f4"
23
+ },
24
+ "kind" : "negative-control",
25
+ "recordId" : "f6c74409-61da-4a87-81ba-c595579f54c6",
26
+ "result" : "fail",
27
+ "schema" : 1,
28
+ "subject" : {
29
+ "bundlePath" : "unpublished reference export",
30
+ "bundleSha256" : "16cc4f71805d962e9c207c86c716905f1d0cd75377b9ec509988055d49d6a492",
31
+ "catalogId" : "phi-4-mini-instruct",
32
+ "manifestSchema" : 1,
33
+ "quantScheme" : "float16",
34
+ "recipe" : "phi-4-mini-instruct@2"
35
+ },
36
+ "tier" : "T2"
37
+ }
verification/reference/998a7aa8-c69e-4b24-994f-b5e6753225da.json ADDED
@@ -0,0 +1,693 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "at" : "2026-09-30T21:31:58Z",
3
+ "details" : {
4
+ "computes" : {
5
+ "cpuOnly" : {
6
+ "cases" : [
7
+ {
8
+ "id" : "capital-france",
9
+ "matchedSteps" : 1,
10
+ "pass" : true,
11
+ "reason" : "matched through the stop at step 1",
12
+ "stopMatched" : true
13
+ },
14
+ {
15
+ "id" : "sky-color",
16
+ "matchedSteps" : 1,
17
+ "pass" : true,
18
+ "reason" : "matched through the stop at step 1",
19
+ "stopMatched" : true
20
+ },
21
+ {
22
+ "id" : "add-numbers",
23
+ "matchedSteps" : 1,
24
+ "pass" : true,
25
+ "reason" : "matched through the stop at step 1",
26
+ "stopMatched" : true
27
+ },
28
+ {
29
+ "id" : "translate-spanish",
30
+ "matchedSteps" : 3,
31
+ "pass" : true,
32
+ "reason" : "matched through the stop at step 3",
33
+ "stopMatched" : true
34
+ },
35
+ {
36
+ "id" : "primary-colors",
37
+ "matchedSteps" : 5,
38
+ "pass" : true,
39
+ "reason" : "matched through the stop at step 5",
40
+ "stopMatched" : true
41
+ },
42
+ {
43
+ "id" : "largest-planet",
44
+ "matchedSteps" : 3,
45
+ "pass" : true,
46
+ "reason" : "matched through the stop at step 3",
47
+ "stopMatched" : true
48
+ },
49
+ {
50
+ "divergence" : {
51
+ "allowed" : true,
52
+ "got" : 13,
53
+ "inTopK" : true,
54
+ "margin" : 0.022954,
55
+ "step" : 3
56
+ },
57
+ "id" : "boiling-point",
58
+ "matchedSteps" : 3,
59
+ "pass" : true,
60
+ "reason" : "allowed divergence at step 3 (engine ran past the oracle's stop; near-tie margin 0.023, engine token in top-5)",
61
+ "stopMatched" : false
62
+ },
63
+ {
64
+ "id" : "reverse-word",
65
+ "matchedSteps" : 2,
66
+ "pass" : true,
67
+ "reason" : "matched through the stop at step 2",
68
+ "stopMatched" : true
69
+ },
70
+ {
71
+ "id" : "pirate-system",
72
+ "matchedSteps" : 15,
73
+ "pass" : true,
74
+ "reason" : "matched through the stop at step 15",
75
+ "stopMatched" : true
76
+ },
77
+ {
78
+ "id" : "multi-turn-name",
79
+ "matchedSteps" : 1,
80
+ "pass" : true,
81
+ "reason" : "matched through the stop at step 1",
82
+ "stopMatched" : true
83
+ },
84
+ {
85
+ "id" : "json-object",
86
+ "matchedSteps" : 16,
87
+ "pass" : true,
88
+ "reason" : "matched through the stop at step 16",
89
+ "stopMatched" : true
90
+ },
91
+ {
92
+ "id" : "python-square",
93
+ "matchedSteps" : 9,
94
+ "pass" : true,
95
+ "reason" : "matched through the stop at step 9",
96
+ "stopMatched" : true
97
+ },
98
+ {
99
+ "id" : "haiku-sea",
100
+ "matchedSteps" : 20,
101
+ "pass" : true,
102
+ "reason" : "matched through the stop at step 20",
103
+ "stopMatched" : true
104
+ },
105
+ {
106
+ "id" : "days-week",
107
+ "matchedSteps" : 1,
108
+ "pass" : true,
109
+ "reason" : "matched through the stop at step 1",
110
+ "stopMatched" : true
111
+ },
112
+ {
113
+ "id" : "think-multiply",
114
+ "matchedSteps" : 8,
115
+ "pass" : true,
116
+ "reason" : "matched through the stop at step 8",
117
+ "stopMatched" : true
118
+ },
119
+ {
120
+ "id" : "think-prime",
121
+ "matchedSteps" : 64,
122
+ "pass" : true,
123
+ "reason" : "all 64 oracle tokens matched"
124
+ },
125
+ {
126
+ "divergence" : {
127
+ "allowed" : true,
128
+ "expected" : 5192,
129
+ "got" : 13,
130
+ "inTopK" : true,
131
+ "margin" : 0.005483,
132
+ "step" : 28
133
+ },
134
+ "id" : "think-mammal",
135
+ "matchedSteps" : 28,
136
+ "pass" : true,
137
+ "reason" : "allowed divergence at step 28 (token differs; near-tie margin 0.005, engine token in top-5)"
138
+ },
139
+ {
140
+ "divergence" : {
141
+ "allowed" : true,
142
+ "expected" : 2514,
143
+ "got" : 1608,
144
+ "inTopK" : true,
145
+ "margin" : 0.004354,
146
+ "step" : 11
147
+ },
148
+ "id" : "tool-weather",
149
+ "matchedSteps" : 11,
150
+ "pass" : true,
151
+ "reason" : "allowed divergence at step 11 (token differs; near-tie margin 0.004, engine token in top-5)"
152
+ },
153
+ {
154
+ "id" : "tool-currency",
155
+ "matchedSteps" : 64,
156
+ "pass" : true,
157
+ "reason" : "all 64 oracle tokens matched"
158
+ },
159
+ {
160
+ "id" : "completion-japan",
161
+ "matchedSteps" : 16,
162
+ "pass" : true,
163
+ "reason" : "all 16 oracle tokens matched"
164
+ }
165
+ ],
166
+ "memory" : {
167
+ "cases" : [
168
+ {
169
+ "afterCaseMB" : 1275,
170
+ "id" : "capital-france",
171
+ "lifetimePeakMB" : 1307
172
+ },
173
+ {
174
+ "afterCaseMB" : 1274,
175
+ "id" : "sky-color",
176
+ "lifetimePeakMB" : 1308
177
+ },
178
+ {
179
+ "afterCaseMB" : 1274,
180
+ "id" : "add-numbers",
181
+ "lifetimePeakMB" : 1308
182
+ },
183
+ {
184
+ "afterCaseMB" : 1276,
185
+ "id" : "translate-spanish",
186
+ "lifetimePeakMB" : 1308
187
+ },
188
+ {
189
+ "afterCaseMB" : 1277,
190
+ "id" : "primary-colors",
191
+ "lifetimePeakMB" : 1309
192
+ },
193
+ {
194
+ "afterCaseMB" : 1277,
195
+ "id" : "largest-planet",
196
+ "lifetimePeakMB" : 1310
197
+ },
198
+ {
199
+ "afterCaseMB" : 1277,
200
+ "id" : "boiling-point",
201
+ "lifetimePeakMB" : 1310
202
+ },
203
+ {
204
+ "afterCaseMB" : 1277,
205
+ "id" : "reverse-word",
206
+ "lifetimePeakMB" : 1310
207
+ },
208
+ {
209
+ "afterCaseMB" : 1294,
210
+ "id" : "pirate-system",
211
+ "lifetimePeakMB" : 1326
212
+ },
213
+ {
214
+ "afterCaseMB" : 1314,
215
+ "id" : "multi-turn-name",
216
+ "lifetimePeakMB" : 1346
217
+ },
218
+ {
219
+ "afterCaseMB" : 1315,
220
+ "id" : "json-object",
221
+ "lifetimePeakMB" : 1348
222
+ },
223
+ {
224
+ "afterCaseMB" : 1315,
225
+ "id" : "python-square",
226
+ "lifetimePeakMB" : 1348
227
+ },
228
+ {
229
+ "afterCaseMB" : 1315,
230
+ "id" : "haiku-sea",
231
+ "lifetimePeakMB" : 1348
232
+ },
233
+ {
234
+ "afterCaseMB" : 1315,
235
+ "id" : "days-week",
236
+ "lifetimePeakMB" : 1348
237
+ },
238
+ {
239
+ "afterCaseMB" : 1315,
240
+ "id" : "think-multiply",
241
+ "lifetimePeakMB" : 1348
242
+ },
243
+ {
244
+ "afterCaseMB" : 1294,
245
+ "id" : "think-prime",
246
+ "lifetimePeakMB" : 1348
247
+ },
248
+ {
249
+ "afterCaseMB" : 1299,
250
+ "id" : "think-mammal",
251
+ "lifetimePeakMB" : 1348
252
+ },
253
+ {
254
+ "afterCaseMB" : 1304,
255
+ "id" : "tool-weather",
256
+ "lifetimePeakMB" : 1348
257
+ },
258
+ {
259
+ "afterCaseMB" : 1304,
260
+ "id" : "tool-currency",
261
+ "lifetimePeakMB" : 1348
262
+ },
263
+ {
264
+ "afterCaseMB" : 1304,
265
+ "id" : "completion-japan",
266
+ "lifetimePeakMB" : 1348
267
+ }
268
+ ],
269
+ "loadedMB" : 164,
270
+ "peakMB" : 1315
271
+ },
272
+ "pass" : true
273
+ },
274
+ "target" : {
275
+ "cases" : [
276
+ {
277
+ "id" : "capital-france",
278
+ "matchedSteps" : 1,
279
+ "pass" : true,
280
+ "reason" : "matched through the stop at step 1",
281
+ "stopMatched" : true
282
+ },
283
+ {
284
+ "id" : "sky-color",
285
+ "matchedSteps" : 1,
286
+ "pass" : true,
287
+ "reason" : "matched through the stop at step 1",
288
+ "stopMatched" : true
289
+ },
290
+ {
291
+ "id" : "add-numbers",
292
+ "matchedSteps" : 1,
293
+ "pass" : true,
294
+ "reason" : "matched through the stop at step 1",
295
+ "stopMatched" : true
296
+ },
297
+ {
298
+ "id" : "translate-spanish",
299
+ "matchedSteps" : 3,
300
+ "pass" : true,
301
+ "reason" : "matched through the stop at step 3",
302
+ "stopMatched" : true
303
+ },
304
+ {
305
+ "id" : "primary-colors",
306
+ "matchedSteps" : 5,
307
+ "pass" : true,
308
+ "reason" : "matched through the stop at step 5",
309
+ "stopMatched" : true
310
+ },
311
+ {
312
+ "id" : "largest-planet",
313
+ "matchedSteps" : 3,
314
+ "pass" : true,
315
+ "reason" : "matched through the stop at step 3",
316
+ "stopMatched" : true
317
+ },
318
+ {
319
+ "id" : "boiling-point",
320
+ "matchedSteps" : 3,
321
+ "pass" : true,
322
+ "reason" : "matched through the stop at step 3",
323
+ "stopMatched" : true
324
+ },
325
+ {
326
+ "id" : "reverse-word",
327
+ "matchedSteps" : 2,
328
+ "pass" : true,
329
+ "reason" : "matched through the stop at step 2",
330
+ "stopMatched" : true
331
+ },
332
+ {
333
+ "id" : "pirate-system",
334
+ "matchedSteps" : 15,
335
+ "pass" : true,
336
+ "reason" : "matched through the stop at step 15",
337
+ "stopMatched" : true
338
+ },
339
+ {
340
+ "id" : "multi-turn-name",
341
+ "matchedSteps" : 1,
342
+ "pass" : true,
343
+ "reason" : "matched through the stop at step 1",
344
+ "stopMatched" : true
345
+ },
346
+ {
347
+ "id" : "json-object",
348
+ "matchedSteps" : 16,
349
+ "pass" : true,
350
+ "reason" : "matched through the stop at step 16",
351
+ "stopMatched" : true
352
+ },
353
+ {
354
+ "id" : "python-square",
355
+ "matchedSteps" : 9,
356
+ "pass" : true,
357
+ "reason" : "matched through the stop at step 9",
358
+ "stopMatched" : true
359
+ },
360
+ {
361
+ "id" : "haiku-sea",
362
+ "matchedSteps" : 20,
363
+ "pass" : true,
364
+ "reason" : "matched through the stop at step 20",
365
+ "stopMatched" : true
366
+ },
367
+ {
368
+ "id" : "days-week",
369
+ "matchedSteps" : 1,
370
+ "pass" : true,
371
+ "reason" : "matched through the stop at step 1",
372
+ "stopMatched" : true
373
+ },
374
+ {
375
+ "id" : "think-multiply",
376
+ "matchedSteps" : 8,
377
+ "pass" : true,
378
+ "reason" : "matched through the stop at step 8",
379
+ "stopMatched" : true
380
+ },
381
+ {
382
+ "id" : "think-prime",
383
+ "matchedSteps" : 64,
384
+ "pass" : true,
385
+ "reason" : "all 64 oracle tokens matched"
386
+ },
387
+ {
388
+ "divergence" : {
389
+ "allowed" : true,
390
+ "expected" : 5192,
391
+ "got" : 13,
392
+ "inTopK" : true,
393
+ "margin" : 0.005483,
394
+ "step" : 28
395
+ },
396
+ "id" : "think-mammal",
397
+ "matchedSteps" : 28,
398
+ "pass" : true,
399
+ "reason" : "allowed divergence at step 28 (token differs; near-tie margin 0.005, engine token in top-5)"
400
+ },
401
+ {
402
+ "id" : "tool-weather",
403
+ "matchedSteps" : 48,
404
+ "pass" : true,
405
+ "reason" : "matched through the stop at step 48",
406
+ "stopMatched" : true
407
+ },
408
+ {
409
+ "id" : "tool-currency",
410
+ "matchedSteps" : 64,
411
+ "pass" : true,
412
+ "reason" : "all 64 oracle tokens matched"
413
+ },
414
+ {
415
+ "divergence" : {
416
+ "allowed" : true,
417
+ "expected" : 290,
418
+ "got" : 261,
419
+ "inTopK" : true,
420
+ "margin" : 0.002702,
421
+ "step" : 11
422
+ },
423
+ "id" : "completion-japan",
424
+ "matchedSteps" : 11,
425
+ "pass" : true,
426
+ "reason" : "allowed divergence at step 11 (token differs; near-tie margin 0.003, engine token in top-5)"
427
+ }
428
+ ],
429
+ "memory" : {
430
+ "cases" : [
431
+ {
432
+ "afterCaseMB" : 346,
433
+ "id" : "capital-france",
434
+ "lifetimePeakMB" : 1348
435
+ },
436
+ {
437
+ "afterCaseMB" : 359,
438
+ "id" : "sky-color",
439
+ "lifetimePeakMB" : 1348
440
+ },
441
+ {
442
+ "afterCaseMB" : 363,
443
+ "id" : "add-numbers",
444
+ "lifetimePeakMB" : 1348
445
+ },
446
+ {
447
+ "afterCaseMB" : 393,
448
+ "id" : "translate-spanish",
449
+ "lifetimePeakMB" : 1348
450
+ },
451
+ {
452
+ "afterCaseMB" : 403,
453
+ "id" : "primary-colors",
454
+ "lifetimePeakMB" : 1348
455
+ },
456
+ {
457
+ "afterCaseMB" : 407,
458
+ "id" : "largest-planet",
459
+ "lifetimePeakMB" : 1348
460
+ },
461
+ {
462
+ "afterCaseMB" : 411,
463
+ "id" : "boiling-point",
464
+ "lifetimePeakMB" : 1348
465
+ },
466
+ {
467
+ "afterCaseMB" : 415,
468
+ "id" : "reverse-word",
469
+ "lifetimePeakMB" : 1348
470
+ },
471
+ {
472
+ "afterCaseMB" : 419,
473
+ "id" : "pirate-system",
474
+ "lifetimePeakMB" : 1348
475
+ },
476
+ {
477
+ "afterCaseMB" : 424,
478
+ "id" : "multi-turn-name",
479
+ "lifetimePeakMB" : 1348
480
+ },
481
+ {
482
+ "afterCaseMB" : 429,
483
+ "id" : "json-object",
484
+ "lifetimePeakMB" : 1348
485
+ },
486
+ {
487
+ "afterCaseMB" : 433,
488
+ "id" : "python-square",
489
+ "lifetimePeakMB" : 1348
490
+ },
491
+ {
492
+ "afterCaseMB" : 435,
493
+ "id" : "haiku-sea",
494
+ "lifetimePeakMB" : 1348
495
+ },
496
+ {
497
+ "afterCaseMB" : 438,
498
+ "id" : "days-week",
499
+ "lifetimePeakMB" : 1348
500
+ },
501
+ {
502
+ "afterCaseMB" : 440,
503
+ "id" : "think-multiply",
504
+ "lifetimePeakMB" : 1348
505
+ },
506
+ {
507
+ "afterCaseMB" : 441,
508
+ "id" : "think-prime",
509
+ "lifetimePeakMB" : 1348
510
+ },
511
+ {
512
+ "afterCaseMB" : 441,
513
+ "id" : "think-mammal",
514
+ "lifetimePeakMB" : 1348
515
+ },
516
+ {
517
+ "afterCaseMB" : 444,
518
+ "id" : "tool-weather",
519
+ "lifetimePeakMB" : 1348
520
+ },
521
+ {
522
+ "afterCaseMB" : 445,
523
+ "id" : "tool-currency",
524
+ "lifetimePeakMB" : 1348
525
+ },
526
+ {
527
+ "afterCaseMB" : 445,
528
+ "id" : "completion-japan",
529
+ "lifetimePeakMB" : 1348
530
+ }
531
+ ],
532
+ "loadedMB" : 175,
533
+ "peakMB" : 445
534
+ },
535
+ "pass" : true
536
+ }
537
+ },
538
+ "profile" : {
539
+ "alsoRequires" : [
540
+
541
+ ],
542
+ "name" : "strict"
543
+ },
544
+ "profileResults" : {
545
+ "cpuOnly" : {
546
+ "budgeted" : [
547
+
548
+ ],
549
+ "overBudget" : [
550
+
551
+ ],
552
+ "pass" : true
553
+ },
554
+ "target" : {
555
+ "budgeted" : [
556
+
557
+ ],
558
+ "overBudget" : [
559
+
560
+ ],
561
+ "pass" : true
562
+ }
563
+ },
564
+ "rules" : {
565
+ "marginThreshold" : 0.1,
566
+ "topN" : 5
567
+ },
568
+ "templateClocks" : [
569
+ {
570
+ "id" : "capital-france",
571
+ "source" : "fixture",
572
+ "timestamp" : "2000-01-01T00:00:00Z"
573
+ },
574
+ {
575
+ "id" : "sky-color",
576
+ "source" : "fixture",
577
+ "timestamp" : "2000-01-01T00:00:00Z"
578
+ },
579
+ {
580
+ "id" : "add-numbers",
581
+ "source" : "fixture",
582
+ "timestamp" : "2000-01-01T00:00:00Z"
583
+ },
584
+ {
585
+ "id" : "translate-spanish",
586
+ "source" : "fixture",
587
+ "timestamp" : "2000-01-01T00:00:00Z"
588
+ },
589
+ {
590
+ "id" : "primary-colors",
591
+ "source" : "fixture",
592
+ "timestamp" : "2000-01-01T00:00:00Z"
593
+ },
594
+ {
595
+ "id" : "largest-planet",
596
+ "source" : "fixture",
597
+ "timestamp" : "2000-01-01T00:00:00Z"
598
+ },
599
+ {
600
+ "id" : "boiling-point",
601
+ "source" : "fixture",
602
+ "timestamp" : "2000-01-01T00:00:00Z"
603
+ },
604
+ {
605
+ "id" : "reverse-word",
606
+ "source" : "fixture",
607
+ "timestamp" : "2000-01-01T00:00:00Z"
608
+ },
609
+ {
610
+ "id" : "pirate-system",
611
+ "source" : "fixture",
612
+ "timestamp" : "2000-01-01T00:00:00Z"
613
+ },
614
+ {
615
+ "id" : "multi-turn-name",
616
+ "source" : "fixture",
617
+ "timestamp" : "2000-01-01T00:00:00Z"
618
+ },
619
+ {
620
+ "id" : "json-object",
621
+ "source" : "fixture",
622
+ "timestamp" : "2000-01-01T00:00:00Z"
623
+ },
624
+ {
625
+ "id" : "python-square",
626
+ "source" : "fixture",
627
+ "timestamp" : "2000-01-01T00:00:00Z"
628
+ },
629
+ {
630
+ "id" : "haiku-sea",
631
+ "source" : "fixture",
632
+ "timestamp" : "2000-01-01T00:00:00Z"
633
+ },
634
+ {
635
+ "id" : "days-week",
636
+ "source" : "fixture",
637
+ "timestamp" : "2000-01-01T00:00:00Z"
638
+ },
639
+ {
640
+ "id" : "think-multiply",
641
+ "source" : "fixture",
642
+ "timestamp" : "2000-01-01T00:00:00Z"
643
+ },
644
+ {
645
+ "id" : "think-prime",
646
+ "source" : "fixture",
647
+ "timestamp" : "2000-01-01T00:00:00Z"
648
+ },
649
+ {
650
+ "id" : "think-mammal",
651
+ "source" : "fixture",
652
+ "timestamp" : "2000-01-01T00:00:00Z"
653
+ },
654
+ {
655
+ "id" : "tool-weather",
656
+ "source" : "fixture",
657
+ "timestamp" : "2000-01-01T00:00:00Z"
658
+ },
659
+ {
660
+ "id" : "tool-currency",
661
+ "source" : "fixture",
662
+ "timestamp" : "2000-01-01T00:00:00Z"
663
+ }
664
+ ]
665
+ },
666
+ "env" : {
667
+ "arch" : "h17c",
668
+ "compute" : "target",
669
+ "hwModel" : "Mac17,6",
670
+ "osBuild" : "26A434",
671
+ "sdk" : {
672
+ "version" : "0.1.0-dev"
673
+ }
674
+ },
675
+ "fixture" : {
676
+ "id" : "e6d8aa51e5bbd5c4",
677
+ "sha256" : "8b945c65c86eae399256749b14feb9aee104ed900cb5ec78ce8b885d8f8a25f4"
678
+ },
679
+ "kind" : "verification",
680
+ "negativeControlRecordId" : "f6c74409-61da-4a87-81ba-c595579f54c6",
681
+ "recordId" : "998a7aa8-c69e-4b24-994f-b5e6753225da",
682
+ "result" : "pass",
683
+ "schema" : 1,
684
+ "subject" : {
685
+ "bundlePath" : "unpublished reference export",
686
+ "bundleSha256" : "16cc4f71805d962e9c207c86c716905f1d0cd75377b9ec509988055d49d6a492",
687
+ "catalogId" : "phi-4-mini-instruct",
688
+ "manifestSchema" : 1,
689
+ "quantScheme" : "float16",
690
+ "recipe" : "phi-4-mini-instruct@2"
691
+ },
692
+ "tier" : "T2"
693
+ }