chiuratto-AIgourakis commited on
Commit
2cdc6b0
·
verified ·
1 Parent(s): 12cbbec

Upload Sounio Qwen2.5-Coder 1.5B LoRA adapter

Browse files
.gitattributes CHANGED
@@ -33,3 +33,4 @@ 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
+ tokenizer.json filter=lfs diff=lfs merge=lfs -text
ADAPTER_CANDIDATE_QWEN15.md ADDED
@@ -0,0 +1,127 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ # Sounio LoRA Adapter Candidate — Qwen2.5-Coder-1.5B
2
+
3
+ Status: candidate for Hugging Face upload, pending operator authorisation.
4
+
5
+ This adapter is the first measured Sounio fine-tuning artefact in this lane that
6
+ beats the zero-training base-model reference on the full 200-row held-out eval
7
+ split.
8
+
9
+ ## Identity
10
+
11
+ | Field | Value |
12
+ |---|---|
13
+ | Base model | `Qwen/Qwen2.5-Coder-1.5B` |
14
+ | Training objective | Sounio complete-file SFT with surgical repair pairs |
15
+ | Branch | `feature/dataset-expansion` |
16
+ | Dataset commit | `12c471d1a` |
17
+ | Run ID | `sounio-qwen15-lora-full200-surgical-repair-20260522T021535` |
18
+ | Slurm job | `1603` |
19
+ | GPU | 1 GPU on `gpu-orangefs` |
20
+ | Training rows requested | 4,800 |
21
+ | Training rows used | 4,769 |
22
+ | Optimiser steps | 120 |
23
+ | Prompt style | `sounio-compact-completion` |
24
+ | Repair pair ratio | 0.20 |
25
+ | Run-expected ratio | 0.10 |
26
+ | Separate runtime repair ratio | 0 |
27
+ | Targeted runtime ratio | 0 |
28
+
29
+ ## Artifact Location
30
+
31
+ ```text
32
+ /orangefs/training/sounio/hf-examples/lora-smoke/sounio-qwen15-lora-full200-surgical-repair-20260522T021535/results/adapter
33
+ ```
34
+
35
+ Adapter files present:
36
+
37
+ | File | Size |
38
+ |---|---:|
39
+ | `adapter_model.safetensors` | 73,911,112 bytes |
40
+ | `adapter_config.json` | 797 bytes |
41
+ | `README.md` | 5,097 bytes |
42
+ | `tokenizer.json` | 11,421,896 bytes |
43
+ | `tokenizer_config.json` | 7,338 bytes |
44
+ | `vocab.json` | 2,776,833 bytes |
45
+ | `merges.txt` | 1,671,853 bytes |
46
+ | `special_tokens_map.json` | 616 bytes |
47
+ | `added_tokens.json` | 605 bytes |
48
+
49
+ Checksums:
50
+
51
+ ```text
52
+ 9d8540e218439bb28026115fbe8d4be5fe18162a0a1c07474d9850579ee36c4a adapter_model.safetensors
53
+ 0ce16cbdfa4be1b4fb97868ee0b5f2fed33dfb3ba65c7961530f7fe7cd544057 train_summary.json
54
+ 6eca4fdaaf6e3bb48f302f8090e681cddb3fc6e08b7a99dcde0f04962c09d794 lora_smoke_eval_report.json
55
+ ```
56
+
57
+ ## Evaluation Result
58
+
59
+ Held-out split: `datasets/hf_examples/instruction_pairs_eval.jsonl`, 200 rows.
60
+
61
+ | Model/objective | Compile pass | Compile + contract-clean | Exact runtime pass |
62
+ |---|---:|---:|---:|
63
+ | Base model, zero training | 111/200 (55.5%) | not recorded | 25/65 (38.5%) |
64
+ | Qwen2.5-Coder-1.5B LoRA candidate | 192/200 (96.0%) | 192/200 (96.0%) | 58/65 (89.2%) |
65
+ | Candidate + structural repair layer | 199/200 (99.5%) | 198/200 (99.0%) | 59/65 (90.8%) |
66
+
67
+ The adapter improves the two acceptance metrics used for this lane:
68
+
69
+ - `souc check` pass rate on the full held-out eval split
70
+ - exact stdout match on all runnable held-out rows
71
+
72
+ This is a utility result, not just a training-loss result. The generated outputs
73
+ extract as complete Sounio files, mostly satisfy the no-prose/no-Rust contract,
74
+ compile with `souc check`, and run correctly on most rows with expected stdout.
75
+
76
+ The 98%+ publication-confidence run is adapter-only: it reuses the saved adapter
77
+ and widens the deterministic structural repair layer; it does not retrain model
78
+ weights. Result path:
79
+
80
+ ```text
81
+ /orangefs/training/sounio/hf-examples/lora-smoke/sounio-qwen15-adapter-eval-98plus-20260522T083913/results
82
+ ```
83
+
84
+ The structural repair layer catches outputs still outside the complete-file
85
+ objective, including Rust-shaped `String`/`Vec` surfaces, invalid synthetic
86
+ declarations, algebra blocks used as structs, and one observed scalar typo.
87
+
88
+ ## Remaining Misses
89
+
90
+ Residual failures after the 98%+ adapter-only evaluation:
91
+
92
+ - compile or contract failures: 2/200
93
+ - runtime misses: 6/65 runnable rows
94
+ - residual Rust-shaped surface:
95
+ - `String`: 1 row
96
+ - runtime families still missing:
97
+ - one HumanEval runnable
98
+ - two FFI logical extent rows printing `16`
99
+ - two GPU tile rows printing `4`
100
+ - one reserve advanced row printing `64`
101
+
102
+ These are the next repair-pair targets if the goal is to improve this adapter
103
+ before publication.
104
+
105
+ ## Upload Policy
106
+
107
+ Do not upload automatically. Upload requires explicit operator authorisation and
108
+ an operator-owned Hugging Face token.
109
+
110
+ Suggested repository name:
111
+
112
+ ```text
113
+ chiuratto-AIgourakis/sounio-qwen25-coder-15b-lora
114
+ ```
115
+
116
+ Suggested upload payload:
117
+
118
+ ```text
119
+ adapter/
120
+ train_summary.json
121
+ lora_smoke_eval_report.json
122
+ lora_smoke_predictions.jsonl
123
+ ADAPTER_CANDIDATE_QWEN15.md
124
+ ```
125
+
126
+ The adapter should be described as an experimental Sounio LoRA adapter, not as a
127
+ general-purpose production code model.
README.md ADDED
@@ -0,0 +1,94 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ ---
2
+ license: apache-2.0
3
+ base_model: Qwen/Qwen2.5-Coder-1.5B
4
+ library_name: peft
5
+ tags:
6
+ - sounio
7
+ - code
8
+ - peft
9
+ - lora
10
+ - qwen2.5-coder
11
+ language:
12
+ - en
13
+ pipeline_tag: text-generation
14
+ ---
15
+
16
+ # Sounio Qwen2.5-Coder-1.5B LoRA Adapter
17
+
18
+ Experimental LoRA adapter for generating complete Sounio source files.
19
+
20
+ This is not a general-purpose production code model. It is a research adapter
21
+ trained for the Sounio dataset-expansion lane, where the target is complete,
22
+ compiler-checkable `.sio` programs rather than prose continuations.
23
+
24
+ ## Base Model
25
+
26
+ `Qwen/Qwen2.5-Coder-1.5B`
27
+
28
+ ## Training Snapshot
29
+
30
+ | Field | Value |
31
+ |---|---:|
32
+ | Dataset branch commit | `aa5f9218e` |
33
+ | Training rows requested | 4,800 |
34
+ | Training rows used | 4,769 |
35
+ | Optimiser steps | 120 |
36
+ | Repair-pair rows | 480 |
37
+ | Run-expected rows | 435 |
38
+ | Prompt style | `sounio-compact-completion` |
39
+ | LoRA rank | 16 |
40
+ | LoRA alpha | 32 |
41
+
42
+ ## Evaluation
43
+
44
+ Held-out split: `datasets/hf_examples/instruction_pairs_eval.jsonl`, 200 rows.
45
+
46
+ | Model/objective | Compile pass | Compile + contract-clean | Exact runtime pass |
47
+ |---|---:|---:|---:|
48
+ | Base model, zero training | 111/200 (55.5%) | not recorded | 25/65 (38.5%) |
49
+ | Adapter candidate | 192/200 (96.0%) | 192/200 (96.0%) | 58/65 (89.2%) |
50
+ | Adapter + structural repair layer | 199/200 (99.5%) | 198/200 (99.0%) | 59/65 (90.8%) |
51
+
52
+ The 98%+ result uses the saved adapter plus the deterministic structural repair
53
+ layer in the Sounio repository. The repair layer catches outputs that are still
54
+ outside the complete-file objective, such as Rust-shaped `String`/`Vec`
55
+ surfaces, invalid synthetic declarations, algebra blocks used as structs, and
56
+ one observed scalar typo. It does not retrain model weights.
57
+
58
+ ## Artefacts Included
59
+
60
+ - `adapter_model.safetensors`
61
+ - `adapter_config.json`
62
+ - tokenizer files copied with the adapter
63
+ - `train_summary.json`
64
+ - `lora_smoke_eval_report.json`
65
+ - `adapter_eval_summary.json`
66
+ - `adapter_eval_report.json`
67
+ - `ADAPTER_CANDIDATE_QWEN15.md`
68
+
69
+ ## Reproducibility Notes
70
+
71
+ Primary adapter training run:
72
+
73
+ ```text
74
+ /orangefs/training/sounio/hf-examples/lora-smoke/sounio-qwen15-lora-full200-surgical-repair-20260522T021535/results
75
+ ```
76
+
77
+ 98%+ adapter-only evaluation run:
78
+
79
+ ```text
80
+ /orangefs/training/sounio/hf-examples/lora-smoke/sounio-qwen15-adapter-eval-98plus-20260522T083913/results
81
+ ```
82
+
83
+ Key checksum:
84
+
85
+ ```text
86
+ 9d8540e218439bb28026115fbe8d4be5fe18162a0a1c07474d9850579ee36c4a adapter_model.safetensors
87
+ ```
88
+
89
+ ## Intended Use
90
+
91
+ Use this adapter to generate or repair small Sounio examples under the
92
+ `sounio-compact-completion` prompt format. Outputs should still be validated
93
+ with `souc check` and, when applicable, runtime checks.
94
+
adapter_config.json ADDED
@@ -0,0 +1,37 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "alpha_pattern": {},
3
+ "auto_mapping": null,
4
+ "base_model_name_or_path": "Qwen/Qwen2.5-Coder-1.5B",
5
+ "bias": "none",
6
+ "eva_config": null,
7
+ "exclude_modules": null,
8
+ "fan_in_fan_out": false,
9
+ "inference_mode": true,
10
+ "init_lora_weights": true,
11
+ "layer_replication": null,
12
+ "layers_pattern": null,
13
+ "layers_to_transform": null,
14
+ "loftq_config": {},
15
+ "lora_alpha": 32,
16
+ "lora_bias": false,
17
+ "lora_dropout": 0.05,
18
+ "megatron_config": null,
19
+ "megatron_core": "megatron.core",
20
+ "modules_to_save": null,
21
+ "peft_type": "LORA",
22
+ "r": 16,
23
+ "rank_pattern": {},
24
+ "revision": null,
25
+ "target_modules": [
26
+ "up_proj",
27
+ "k_proj",
28
+ "q_proj",
29
+ "v_proj",
30
+ "o_proj",
31
+ "down_proj",
32
+ "gate_proj"
33
+ ],
34
+ "task_type": "CAUSAL_LM",
35
+ "use_dora": false,
36
+ "use_rslora": false
37
+ }
adapter_eval_report.json ADDED
@@ -0,0 +1,2677 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "by_category": {
3
+ "basic": {
4
+ "check_pass": 31,
5
+ "check_pass_contract_clean": 31,
6
+ "contract_clean": 31,
7
+ "missing_predictions": 0,
8
+ "rows": 31
9
+ },
10
+ "effects_algebra": {
11
+ "check_pass": 30,
12
+ "check_pass_contract_clean": 30,
13
+ "contract_clean": 30,
14
+ "missing_predictions": 0,
15
+ "rows": 30
16
+ },
17
+ "ffi_interop": {
18
+ "check_pass": 31,
19
+ "check_pass_contract_clean": 31,
20
+ "contract_clean": 31,
21
+ "missing_predictions": 0,
22
+ "rows": 31
23
+ },
24
+ "gpu_octonion": {
25
+ "check_pass": 30,
26
+ "check_pass_contract_clean": 30,
27
+ "contract_clean": 30,
28
+ "missing_predictions": 0,
29
+ "rows": 30
30
+ },
31
+ "humaneval_mbpp": {
32
+ "check_pass": 17,
33
+ "check_pass_contract_clean": 17,
34
+ "contract_clean": 17,
35
+ "missing_predictions": 0,
36
+ "rows": 17
37
+ },
38
+ "knowledge": {
39
+ "check_pass": 31,
40
+ "check_pass_contract_clean": 30,
41
+ "contract_clean": 30,
42
+ "missing_predictions": 0,
43
+ "rows": 31
44
+ },
45
+ "reserve_advanced": {
46
+ "check_pass": 29,
47
+ "check_pass_contract_clean": 29,
48
+ "contract_clean": 30,
49
+ "missing_predictions": 0,
50
+ "rows": 30
51
+ }
52
+ },
53
+ "check_pass": 199,
54
+ "check_pass_contract_clean": 198,
55
+ "check_pass_contract_clean_rate_on_predictions": 0.99,
56
+ "check_rate": 0.995,
57
+ "check_rate_on_predictions": 0.995,
58
+ "contract_clean": 199,
59
+ "contract_clean_rate_on_predictions": 0.995,
60
+ "contract_violation_counts": {
61
+ "rust-python:String": 1
62
+ },
63
+ "missing_predictions": 0,
64
+ "mode": "predictions",
65
+ "predictions_found": 200,
66
+ "results": [
67
+ {
68
+ "category": "basic",
69
+ "check_pass": true,
70
+ "contract_clean": true,
71
+ "contract_violations": [],
72
+ "diagnostic": "",
73
+ "difficulty": "beginner",
74
+ "has_prediction": true,
75
+ "id": "0002_basic_algebra_properties_basic",
76
+ "run_output_tail": null,
77
+ "run_pass": null,
78
+ "runs_expected": false
79
+ },
80
+ {
81
+ "category": "basic",
82
+ "check_pass": true,
83
+ "contract_clean": true,
84
+ "contract_violations": [],
85
+ "diagnostic": "",
86
+ "difficulty": "intermediate",
87
+ "has_prediction": true,
88
+ "id": "0007_basic_effect_handler_basic",
89
+ "run_output_tail": null,
90
+ "run_pass": null,
91
+ "runs_expected": false
92
+ },
93
+ {
94
+ "category": "basic",
95
+ "check_pass": true,
96
+ "contract_clean": true,
97
+ "contract_violations": [],
98
+ "diagnostic": "",
99
+ "difficulty": "beginner",
100
+ "has_prediction": true,
101
+ "id": "0012_basic_import_basic_a",
102
+ "run_output_tail": null,
103
+ "run_pass": null,
104
+ "runs_expected": false
105
+ },
106
+ {
107
+ "category": "basic",
108
+ "check_pass": true,
109
+ "contract_clean": true,
110
+ "contract_violations": [],
111
+ "diagnostic": "",
112
+ "difficulty": "intermediate",
113
+ "has_prediction": true,
114
+ "id": "0017_basic_native_match_int",
115
+ "run_output_tail": null,
116
+ "run_pass": null,
117
+ "runs_expected": false
118
+ },
119
+ {
120
+ "category": "basic",
121
+ "check_pass": true,
122
+ "contract_clean": true,
123
+ "contract_violations": [],
124
+ "diagnostic": "",
125
+ "difficulty": "beginner",
126
+ "has_prediction": true,
127
+ "id": "0022_basic_unobserved_basic",
128
+ "run_output_tail": null,
129
+ "run_pass": null,
130
+ "runs_expected": false
131
+ },
132
+ {
133
+ "category": "humaneval_mbpp",
134
+ "check_pass": true,
135
+ "contract_clean": true,
136
+ "contract_violations": [],
137
+ "diagnostic": "",
138
+ "difficulty": "expert",
139
+ "has_prediction": true,
140
+ "id": "0030_humaneval_mbpp_004_palindrome",
141
+ "run_output_tail": "004_palindrome: ALL TESTS PASSED\n",
142
+ "run_pass": true,
143
+ "runs_expected": true
144
+ },
145
+ {
146
+ "category": "humaneval_mbpp",
147
+ "check_pass": true,
148
+ "contract_clean": true,
149
+ "contract_violations": [],
150
+ "diagnostic": "",
151
+ "difficulty": "intermediate",
152
+ "has_prediction": true,
153
+ "id": "0035_humaneval_mbpp_009_power",
154
+ "run_output_tail": "009_power: ALL TESTS PASSED\n",
155
+ "run_pass": true,
156
+ "runs_expected": true
157
+ },
158
+ {
159
+ "category": "humaneval_mbpp",
160
+ "check_pass": true,
161
+ "contract_clean": true,
162
+ "contract_violations": [],
163
+ "diagnostic": "",
164
+ "difficulty": "expert",
165
+ "has_prediction": true,
166
+ "id": "0040_humaneval_mbpp_014_rotate_array",
167
+ "run_output_tail": "014_rotate_array: ALL TESTS PASSED\n",
168
+ "run_pass": true,
169
+ "runs_expected": true
170
+ },
171
+ {
172
+ "category": "humaneval_mbpp",
173
+ "check_pass": true,
174
+ "contract_clean": true,
175
+ "contract_violations": [],
176
+ "diagnostic": "",
177
+ "difficulty": "intermediate",
178
+ "has_prediction": true,
179
+ "id": "0045_humaneval_mbpp_019_string_to_int",
180
+ "run_output_tail": "019_string_to_int: ALL TESTS PASSED\n",
181
+ "run_pass": true,
182
+ "runs_expected": true
183
+ },
184
+ {
185
+ "category": "humaneval_mbpp",
186
+ "check_pass": true,
187
+ "contract_clean": true,
188
+ "contract_violations": [],
189
+ "diagnostic": "",
190
+ "difficulty": "expert",
191
+ "has_prediction": true,
192
+ "id": "0050_humaneval_mbpp_024_histogram",
193
+ "run_output_tail": "024_histogram: ALL TESTS PASSED\n",
194
+ "run_pass": true,
195
+ "runs_expected": true
196
+ },
197
+ {
198
+ "category": "humaneval_mbpp",
199
+ "check_pass": true,
200
+ "contract_clean": true,
201
+ "contract_violations": [],
202
+ "diagnostic": "",
203
+ "difficulty": "intermediate",
204
+ "has_prediction": true,
205
+ "id": "0055_humaneval_mbpp_029_selection_sort",
206
+ "run_output_tail": "029_selection_sort: ALL TESTS PASSED\n",
207
+ "run_pass": true,
208
+ "runs_expected": true
209
+ },
210
+ {
211
+ "category": "humaneval_mbpp",
212
+ "check_pass": true,
213
+ "contract_clean": true,
214
+ "contract_violations": [],
215
+ "diagnostic": "",
216
+ "difficulty": "expert",
217
+ "has_prediction": true,
218
+ "id": "0060_humaneval_mbpp_034_majority_element",
219
+ "run_output_tail": "034_majority_element: ALL TESTS PASSED\n",
220
+ "run_pass": true,
221
+ "runs_expected": true
222
+ },
223
+ {
224
+ "category": "humaneval_mbpp",
225
+ "check_pass": true,
226
+ "contract_clean": true,
227
+ "contract_violations": [],
228
+ "diagnostic": "",
229
+ "difficulty": "intermediate",
230
+ "has_prediction": true,
231
+ "id": "0065_humaneval_mbpp_039_house_robber",
232
+ "run_output_tail": "039_house_robber: ALL TESTS PASSED\n",
233
+ "run_pass": true,
234
+ "runs_expected": true
235
+ },
236
+ {
237
+ "category": "humaneval_mbpp",
238
+ "check_pass": true,
239
+ "contract_clean": true,
240
+ "contract_violations": [],
241
+ "diagnostic": "",
242
+ "difficulty": "expert",
243
+ "has_prediction": true,
244
+ "id": "0070_humaneval_mbpp_044_decode_ways",
245
+ "run_output_tail": "044_decode_ways: ALL TESTS PASSED\n",
246
+ "run_pass": true,
247
+ "runs_expected": true
248
+ },
249
+ {
250
+ "category": "humaneval_mbpp",
251
+ "check_pass": true,
252
+ "contract_clean": true,
253
+ "contract_violations": [],
254
+ "diagnostic": "",
255
+ "difficulty": "intermediate",
256
+ "has_prediction": true,
257
+ "id": "0075_humaneval_mbpp_049_count_inversions",
258
+ "run_output_tail": null,
259
+ "run_pass": null,
260
+ "runs_expected": false
261
+ },
262
+ {
263
+ "category": "humaneval_mbpp",
264
+ "check_pass": true,
265
+ "contract_clean": true,
266
+ "contract_violations": [],
267
+ "diagnostic": "",
268
+ "difficulty": "expert",
269
+ "has_prediction": true,
270
+ "id": "0080_humaneval_mbpp_054_valid_bst",
271
+ "run_output_tail": "054_valid_bst: ALL TESTS PASSED\n",
272
+ "run_pass": true,
273
+ "runs_expected": true
274
+ },
275
+ {
276
+ "category": "humaneval_mbpp",
277
+ "check_pass": true,
278
+ "contract_clean": true,
279
+ "contract_violations": [],
280
+ "diagnostic": "",
281
+ "difficulty": "intermediate",
282
+ "has_prediction": true,
283
+ "id": "0085_humaneval_mbpp_060_minimum_window",
284
+ "run_output_tail": null,
285
+ "run_pass": null,
286
+ "runs_expected": false
287
+ },
288
+ {
289
+ "category": "humaneval_mbpp",
290
+ "check_pass": true,
291
+ "contract_clean": true,
292
+ "contract_violations": [],
293
+ "diagnostic": "",
294
+ "difficulty": "expert",
295
+ "has_prediction": true,
296
+ "id": "0090_humaneval_mbpp_066_surrounded_regions",
297
+ "run_output_tail": null,
298
+ "run_pass": null,
299
+ "runs_expected": false
300
+ },
301
+ {
302
+ "category": "humaneval_mbpp",
303
+ "check_pass": true,
304
+ "contract_clean": true,
305
+ "contract_violations": [],
306
+ "diagnostic": "",
307
+ "difficulty": "intermediate",
308
+ "has_prediction": true,
309
+ "id": "0095_humaneval_mbpp_073_rabin_karp",
310
+ "run_output_tail": null,
311
+ "run_pass": null,
312
+ "runs_expected": false
313
+ },
314
+ {
315
+ "category": "humaneval_mbpp",
316
+ "check_pass": true,
317
+ "contract_clean": true,
318
+ "contract_violations": [],
319
+ "diagnostic": "",
320
+ "difficulty": "expert",
321
+ "has_prediction": true,
322
+ "id": "0100_humaneval_mbpp_080_search_rotated",
323
+ "run_output_tail": "080_search_rotated: ALL TESTS PASSED\n",
324
+ "run_pass": true,
325
+ "runs_expected": true
326
+ },
327
+ {
328
+ "category": "humaneval_mbpp",
329
+ "check_pass": true,
330
+ "contract_clean": true,
331
+ "contract_violations": [],
332
+ "diagnostic": "",
333
+ "difficulty": "intermediate",
334
+ "has_prediction": true,
335
+ "id": "0105_humaneval_mbpp_085_add_binary",
336
+ "run_output_tail": "0105_humaneval_mbpp_085_add_binary: ALL TESTS PASSED\n",
337
+ "run_pass": false,
338
+ "runs_expected": true
339
+ },
340
+ {
341
+ "category": "humaneval_mbpp",
342
+ "check_pass": true,
343
+ "contract_clean": true,
344
+ "contract_violations": [],
345
+ "diagnostic": "",
346
+ "difficulty": "expert",
347
+ "has_prediction": true,
348
+ "id": "0110_humaneval_mbpp_092_popcount",
349
+ "run_output_tail": "092_popcount: ALL TESTS PASSED\n",
350
+ "run_pass": true,
351
+ "runs_expected": true
352
+ },
353
+ {
354
+ "category": "knowledge",
355
+ "check_pass": true,
356
+ "contract_clean": true,
357
+ "contract_violations": [],
358
+ "diagnostic": "",
359
+ "difficulty": "intermediate",
360
+ "has_prediction": true,
361
+ "id": "0114_knowledge_epistemic",
362
+ "run_output_tail": null,
363
+ "run_pass": null,
364
+ "runs_expected": false
365
+ },
366
+ {
367
+ "category": "knowledge",
368
+ "check_pass": true,
369
+ "contract_clean": true,
370
+ "contract_violations": [],
371
+ "diagnostic": "",
372
+ "difficulty": "advanced",
373
+ "has_prediction": true,
374
+ "id": "0119_knowledge_epistemic_hessian_transcendentals",
375
+ "run_output_tail": null,
376
+ "run_pass": null,
377
+ "runs_expected": false
378
+ },
379
+ {
380
+ "category": "knowledge",
381
+ "check_pass": true,
382
+ "contract_clean": false,
383
+ "contract_violations": [
384
+ "rust-python:String"
385
+ ],
386
+ "diagnostic": "",
387
+ "difficulty": "intermediate",
388
+ "has_prediction": true,
389
+ "id": "0124_knowledge_generic_knowledge",
390
+ "run_output_tail": null,
391
+ "run_pass": null,
392
+ "runs_expected": false
393
+ },
394
+ {
395
+ "category": "knowledge",
396
+ "check_pass": true,
397
+ "contract_clean": true,
398
+ "contract_violations": [],
399
+ "diagnostic": "",
400
+ "difficulty": "advanced",
401
+ "has_prediction": true,
402
+ "id": "0129_knowledge_knowledge_value_with_epistemic",
403
+ "run_output_tail": null,
404
+ "run_pass": null,
405
+ "runs_expected": false
406
+ },
407
+ {
408
+ "category": "effects_algebra",
409
+ "check_pass": true,
410
+ "contract_clean": true,
411
+ "contract_violations": [],
412
+ "diagnostic": "",
413
+ "difficulty": "beginner",
414
+ "has_prediction": true,
415
+ "id": "0133_effects_algebra_algebra_observe_synthesis",
416
+ "run_output_tail": null,
417
+ "run_pass": null,
418
+ "runs_expected": false
419
+ },
420
+ {
421
+ "category": "effects_algebra",
422
+ "check_pass": true,
423
+ "contract_clean": true,
424
+ "contract_violations": [],
425
+ "diagnostic": "",
426
+ "difficulty": "advanced",
427
+ "has_prediction": true,
428
+ "id": "0138_effects_algebra_effect_chain_propagation",
429
+ "run_output_tail": null,
430
+ "run_pass": null,
431
+ "runs_expected": false
432
+ },
433
+ {
434
+ "category": "effects_algebra",
435
+ "check_pass": true,
436
+ "contract_clean": true,
437
+ "contract_violations": [],
438
+ "diagnostic": "",
439
+ "difficulty": "beginner",
440
+ "has_prediction": true,
441
+ "id": "0143_effects_algebra_wave_a_algebra_struct",
442
+ "run_output_tail": null,
443
+ "run_pass": null,
444
+ "runs_expected": false
445
+ },
446
+ {
447
+ "category": "gpu_octonion",
448
+ "check_pass": true,
449
+ "contract_clean": true,
450
+ "contract_violations": [],
451
+ "diagnostic": "",
452
+ "difficulty": "advanced",
453
+ "has_prediction": true,
454
+ "id": "0148_gpu_octonion_octonion_hessian_fano_annotated",
455
+ "run_output_tail": null,
456
+ "run_pass": null,
457
+ "runs_expected": false
458
+ },
459
+ {
460
+ "category": "reserve_advanced",
461
+ "check_pass": true,
462
+ "contract_clean": true,
463
+ "contract_violations": [],
464
+ "diagnostic": "",
465
+ "difficulty": "beginner",
466
+ "has_prediction": true,
467
+ "id": "0153_reserve_advanced_sieve",
468
+ "run_output_tail": null,
469
+ "run_pass": null,
470
+ "runs_expected": false
471
+ },
472
+ {
473
+ "category": "reserve_advanced",
474
+ "check_pass": true,
475
+ "contract_clean": true,
476
+ "contract_violations": [],
477
+ "diagnostic": "",
478
+ "difficulty": "advanced",
479
+ "has_prediction": true,
480
+ "id": "0158_reserve_advanced_mod_demo",
481
+ "run_output_tail": null,
482
+ "run_pass": null,
483
+ "runs_expected": false
484
+ },
485
+ {
486
+ "category": "reserve_advanced",
487
+ "check_pass": true,
488
+ "contract_clean": true,
489
+ "contract_violations": [],
490
+ "diagnostic": "",
491
+ "difficulty": "beginner",
492
+ "has_prediction": true,
493
+ "id": "0163_reserve_advanced_dissertation_oral_pd_demo",
494
+ "run_output_tail": null,
495
+ "run_pass": null,
496
+ "runs_expected": false
497
+ },
498
+ {
499
+ "category": "reserve_advanced",
500
+ "check_pass": true,
501
+ "contract_clean": true,
502
+ "contract_violations": [],
503
+ "diagnostic": "",
504
+ "difficulty": "advanced",
505
+ "has_prediction": true,
506
+ "id": "0168_reserve_advanced_epistemic_bmi",
507
+ "run_output_tail": null,
508
+ "run_pass": null,
509
+ "runs_expected": false
510
+ },
511
+ {
512
+ "category": "reserve_advanced",
513
+ "check_pass": true,
514
+ "contract_clean": true,
515
+ "contract_violations": [],
516
+ "diagnostic": "",
517
+ "difficulty": "beginner",
518
+ "has_prediction": true,
519
+ "id": "0173_reserve_advanced_gpu_hypercomplex",
520
+ "run_output_tail": null,
521
+ "run_pass": null,
522
+ "runs_expected": false
523
+ },
524
+ {
525
+ "category": "reserve_advanced",
526
+ "check_pass": true,
527
+ "contract_clean": true,
528
+ "contract_violations": [],
529
+ "diagnostic": "",
530
+ "difficulty": "advanced",
531
+ "has_prediction": true,
532
+ "id": "0178_reserve_advanced_hof_fn_ref_call",
533
+ "run_output_tail": null,
534
+ "run_pass": null,
535
+ "runs_expected": false
536
+ },
537
+ {
538
+ "category": "reserve_advanced",
539
+ "check_pass": true,
540
+ "contract_clean": true,
541
+ "contract_violations": [],
542
+ "diagnostic": "",
543
+ "difficulty": "beginner",
544
+ "has_prediction": true,
545
+ "id": "0183_reserve_advanced_struct_mutation",
546
+ "run_output_tail": null,
547
+ "run_pass": null,
548
+ "runs_expected": false
549
+ },
550
+ {
551
+ "category": "reserve_advanced",
552
+ "check_pass": true,
553
+ "contract_clean": true,
554
+ "contract_violations": [],
555
+ "diagnostic": "",
556
+ "difficulty": "advanced",
557
+ "has_prediction": true,
558
+ "id": "0188_reserve_advanced_native_higher_order",
559
+ "run_output_tail": null,
560
+ "run_pass": null,
561
+ "runs_expected": false
562
+ },
563
+ {
564
+ "category": "reserve_advanced",
565
+ "check_pass": true,
566
+ "contract_clean": true,
567
+ "contract_violations": [],
568
+ "diagnostic": "",
569
+ "difficulty": "beginner",
570
+ "has_prediction": true,
571
+ "id": "0193_reserve_advanced_playground_scientific_contract",
572
+ "run_output_tail": null,
573
+ "run_pass": null,
574
+ "runs_expected": false
575
+ },
576
+ {
577
+ "category": "reserve_advanced",
578
+ "check_pass": false,
579
+ "contract_clean": true,
580
+ "contract_violations": [],
581
+ "diagnostic": "source: /tmp/sounio-eval-dly2745r/0198_reserve_advanced_uncertainty_ppm.sio 442\n bytes\ntotal source: 10538\n bytes\ntokens: 2482\n\nst_count: 1\n depth_end: 0\n\nglobals: 0\n bss=1048864\n\neffects: scanned 23\n functions\nrefined: 52\n in 2\n passes\nunc_detail: dot=0\n decl=0\n let=0\n colon=0\n other=0\n\nepistemic: 1439\n expr, 1439\n certain (100\n%), 0\n uncertain [ident=23\n ops=29\n other=0\n], types=7\n, gate=950\n/1000\nepistemic_main: 43\n expr, 43\n certain (100\n%), 0\n uncertain\nknightian: 0\n sites, gap_sum=0\n\nknowledge_subtype: 0\n sites, 0\n violations\nknowledge_units: 0\n sites with dimensional Knowledge<T>\ntier_dist: PLATINUM=1439\n GOLD=0\n SILVER=0\n BRONZE=0\n [PLATINUM%=100\n%]\neconf: total=1439\n platinum=1439\n gate_pass=1439\n knightian=0\n min=1000\n mean=1000\n gate=950\n\nerror: arithmetic operands must have matching numeric types at line 5\n\nerror: arithmetic operands must have matching numeric types at line 5\n\ntypecheck: failed\n",
582
+ "difficulty": "advanced",
583
+ "has_prediction": true,
584
+ "id": "0198_reserve_advanced_uncertainty_ppm",
585
+ "run_output_tail": null,
586
+ "run_pass": null,
587
+ "runs_expected": false
588
+ },
589
+ {
590
+ "category": "reserve_advanced",
591
+ "check_pass": true,
592
+ "contract_clean": true,
593
+ "contract_violations": [],
594
+ "diagnostic": "",
595
+ "difficulty": "beginner",
596
+ "has_prediction": true,
597
+ "id": "0203_reserve_advanced_simple_test",
598
+ "run_output_tail": null,
599
+ "run_pass": null,
600
+ "runs_expected": false
601
+ },
602
+ {
603
+ "category": "reserve_advanced",
604
+ "check_pass": true,
605
+ "contract_clean": true,
606
+ "contract_violations": [],
607
+ "diagnostic": "",
608
+ "difficulty": "advanced",
609
+ "has_prediction": true,
610
+ "id": "0208_reserve_advanced_zd_audit_witness",
611
+ "run_output_tail": null,
612
+ "run_pass": null,
613
+ "runs_expected": false
614
+ },
615
+ {
616
+ "category": "reserve_advanced",
617
+ "check_pass": true,
618
+ "contract_clean": true,
619
+ "contract_violations": [],
620
+ "diagnostic": "",
621
+ "difficulty": "beginner",
622
+ "has_prediction": true,
623
+ "id": "0213_reserve_advanced_test_struct_init",
624
+ "run_output_tail": null,
625
+ "run_pass": null,
626
+ "runs_expected": false
627
+ },
628
+ {
629
+ "category": "reserve_advanced",
630
+ "check_pass": true,
631
+ "contract_clean": true,
632
+ "contract_violations": [],
633
+ "diagnostic": "",
634
+ "difficulty": "advanced",
635
+ "has_prediction": true,
636
+ "id": "0218_reserve_advanced_ontology_multiple_disjoint_known_failure",
637
+ "run_output_tail": null,
638
+ "run_pass": null,
639
+ "runs_expected": false
640
+ },
641
+ {
642
+ "category": "reserve_advanced",
643
+ "check_pass": true,
644
+ "contract_clean": true,
645
+ "contract_violations": [],
646
+ "diagnostic": "",
647
+ "difficulty": "beginner",
648
+ "has_prediction": true,
649
+ "id": "0223_reserve_advanced_ontology_transitive",
650
+ "run_output_tail": null,
651
+ "run_pass": null,
652
+ "runs_expected": false
653
+ },
654
+ {
655
+ "category": "reserve_advanced",
656
+ "check_pass": true,
657
+ "contract_clean": true,
658
+ "contract_violations": [],
659
+ "diagnostic": "",
660
+ "difficulty": "advanced",
661
+ "has_prediction": true,
662
+ "id": "0228_reserve_advanced_refinement_inline",
663
+ "run_output_tail": null,
664
+ "run_pass": null,
665
+ "runs_expected": false
666
+ },
667
+ {
668
+ "category": "reserve_advanced",
669
+ "check_pass": true,
670
+ "contract_clean": true,
671
+ "contract_violations": [],
672
+ "diagnostic": "",
673
+ "difficulty": "beginner",
674
+ "has_prediction": true,
675
+ "id": "0233_reserve_advanced_refinement_probability",
676
+ "run_output_tail": null,
677
+ "run_pass": null,
678
+ "runs_expected": false
679
+ },
680
+ {
681
+ "category": "reserve_advanced",
682
+ "check_pass": true,
683
+ "contract_clean": true,
684
+ "contract_violations": [],
685
+ "diagnostic": "",
686
+ "difficulty": "expert",
687
+ "has_prediction": true,
688
+ "id": "0240_reserve_advanced_sb_002_effect_safe_division",
689
+ "run_output_tail": null,
690
+ "run_pass": null,
691
+ "runs_expected": false
692
+ },
693
+ {
694
+ "category": "basic",
695
+ "check_pass": true,
696
+ "contract_clean": true,
697
+ "contract_violations": [],
698
+ "diagnostic": "",
699
+ "difficulty": "beginner",
700
+ "has_prediction": true,
701
+ "id": "0243_basic_approx_propagation",
702
+ "run_output_tail": null,
703
+ "run_pass": null,
704
+ "runs_expected": false
705
+ },
706
+ {
707
+ "category": "basic",
708
+ "check_pass": true,
709
+ "contract_clean": true,
710
+ "contract_violations": [],
711
+ "diagnostic": "",
712
+ "difficulty": "advanced",
713
+ "has_prediction": true,
714
+ "id": "0248_basic_closure_capture",
715
+ "run_output_tail": null,
716
+ "run_pass": null,
717
+ "runs_expected": false
718
+ },
719
+ {
720
+ "category": "basic",
721
+ "check_pass": true,
722
+ "contract_clean": true,
723
+ "contract_violations": [],
724
+ "diagnostic": "",
725
+ "difficulty": "beginner",
726
+ "has_prediction": true,
727
+ "id": "0253_basic_closure_sort_by",
728
+ "run_output_tail": null,
729
+ "run_pass": null,
730
+ "runs_expected": false
731
+ },
732
+ {
733
+ "category": "basic",
734
+ "check_pass": true,
735
+ "contract_clean": true,
736
+ "contract_violations": [],
737
+ "diagnostic": "",
738
+ "difficulty": "advanced",
739
+ "has_prediction": true,
740
+ "id": "0258_basic_explicit_deref_field",
741
+ "run_output_tail": null,
742
+ "run_pass": null,
743
+ "runs_expected": false
744
+ },
745
+ {
746
+ "category": "basic",
747
+ "check_pass": true,
748
+ "contract_clean": true,
749
+ "contract_violations": [],
750
+ "diagnostic": "",
751
+ "difficulty": "beginner",
752
+ "has_prediction": true,
753
+ "id": "0263_basic_generics_multi_param",
754
+ "run_output_tail": null,
755
+ "run_pass": null,
756
+ "runs_expected": false
757
+ },
758
+ {
759
+ "category": "basic",
760
+ "check_pass": true,
761
+ "contract_clean": true,
762
+ "contract_violations": [],
763
+ "diagnostic": "",
764
+ "difficulty": "advanced",
765
+ "has_prediction": true,
766
+ "id": "0268_basic_gum_iso_budget_ode",
767
+ "run_output_tail": null,
768
+ "run_pass": null,
769
+ "runs_expected": false
770
+ },
771
+ {
772
+ "category": "basic",
773
+ "check_pass": true,
774
+ "contract_clean": true,
775
+ "contract_violations": [],
776
+ "diagnostic": "",
777
+ "difficulty": "beginner",
778
+ "has_prediction": true,
779
+ "id": "0273_basic_i32_implicit_return",
780
+ "run_output_tail": null,
781
+ "run_pass": null,
782
+ "runs_expected": false
783
+ },
784
+ {
785
+ "category": "basic",
786
+ "check_pass": true,
787
+ "contract_clean": true,
788
+ "contract_violations": [],
789
+ "diagnostic": "",
790
+ "difficulty": "advanced",
791
+ "has_prediction": true,
792
+ "id": "0278_basic_issue11_ptr_index_write_u8",
793
+ "run_output_tail": null,
794
+ "run_pass": null,
795
+ "runs_expected": false
796
+ },
797
+ {
798
+ "category": "basic",
799
+ "check_pass": true,
800
+ "contract_clean": true,
801
+ "contract_violations": [],
802
+ "diagnostic": "",
803
+ "difficulty": "beginner",
804
+ "has_prediction": true,
805
+ "id": "0283_basic_linear_correct_consume",
806
+ "run_output_tail": null,
807
+ "run_pass": null,
808
+ "runs_expected": false
809
+ },
810
+ {
811
+ "category": "basic",
812
+ "check_pass": true,
813
+ "contract_clean": true,
814
+ "contract_violations": [],
815
+ "diagnostic": "",
816
+ "difficulty": "advanced",
817
+ "has_prediction": true,
818
+ "id": "0288_basic_mc_struct_large",
819
+ "run_output_tail": null,
820
+ "run_pass": null,
821
+ "runs_expected": false
822
+ },
823
+ {
824
+ "category": "basic",
825
+ "check_pass": true,
826
+ "contract_clean": true,
827
+ "contract_violations": [],
828
+ "diagnostic": "",
829
+ "difficulty": "beginner",
830
+ "has_prediction": true,
831
+ "id": "0293_basic_ode_bridge_exponential",
832
+ "run_output_tail": null,
833
+ "run_pass": null,
834
+ "runs_expected": false
835
+ },
836
+ {
837
+ "category": "basic",
838
+ "check_pass": true,
839
+ "contract_clean": true,
840
+ "contract_violations": [],
841
+ "diagnostic": "",
842
+ "difficulty": "advanced",
843
+ "has_prediction": true,
844
+ "id": "0298_basic_slice_fat_pointers",
845
+ "run_output_tail": null,
846
+ "run_pass": null,
847
+ "runs_expected": false
848
+ },
849
+ {
850
+ "category": "basic",
851
+ "check_pass": true,
852
+ "contract_clean": true,
853
+ "contract_violations": [],
854
+ "diagnostic": "",
855
+ "difficulty": "beginner",
856
+ "has_prediction": true,
857
+ "id": "0303_basic_test_nested_struct_return",
858
+ "run_output_tail": null,
859
+ "run_pass": null,
860
+ "runs_expected": false
861
+ },
862
+ {
863
+ "category": "ffi_interop",
864
+ "check_pass": true,
865
+ "contract_clean": true,
866
+ "contract_violations": [],
867
+ "diagnostic": "",
868
+ "difficulty": "intermediate",
869
+ "has_prediction": true,
870
+ "id": "0307_ffi_interop_synthetic_0002",
871
+ "run_output_tail": "4\n",
872
+ "run_pass": true,
873
+ "runs_expected": true
874
+ },
875
+ {
876
+ "category": "ffi_interop",
877
+ "check_pass": true,
878
+ "contract_clean": true,
879
+ "contract_violations": [],
880
+ "diagnostic": "",
881
+ "difficulty": "intermediate",
882
+ "has_prediction": true,
883
+ "id": "0314_ffi_interop_synthetic_0009",
884
+ "run_output_tail": "16\n",
885
+ "run_pass": true,
886
+ "runs_expected": true
887
+ },
888
+ {
889
+ "category": "gpu_octonion",
890
+ "check_pass": true,
891
+ "contract_clean": true,
892
+ "contract_violations": [],
893
+ "diagnostic": "",
894
+ "difficulty": "expert",
895
+ "has_prediction": true,
896
+ "id": "0320_gpu_octonion_synthetic_0015",
897
+ "run_output_tail": null,
898
+ "run_pass": null,
899
+ "runs_expected": false
900
+ },
901
+ {
902
+ "category": "ffi_interop",
903
+ "check_pass": true,
904
+ "contract_clean": true,
905
+ "contract_violations": [],
906
+ "diagnostic": "",
907
+ "difficulty": "advanced",
908
+ "has_prediction": true,
909
+ "id": "0328_ffi_interop_synthetic_0023",
910
+ "run_output_tail": "call\n",
911
+ "run_pass": true,
912
+ "runs_expected": true
913
+ },
914
+ {
915
+ "category": "effects_algebra",
916
+ "check_pass": true,
917
+ "contract_clean": true,
918
+ "contract_violations": [],
919
+ "diagnostic": "",
920
+ "difficulty": "expert",
921
+ "has_prediction": true,
922
+ "id": "0330_effects_algebra_synthetic_0025",
923
+ "run_output_tail": null,
924
+ "run_pass": null,
925
+ "runs_expected": false
926
+ },
927
+ {
928
+ "category": "knowledge",
929
+ "check_pass": true,
930
+ "contract_clean": true,
931
+ "contract_violations": [],
932
+ "diagnostic": "",
933
+ "difficulty": "advanced",
934
+ "has_prediction": true,
935
+ "id": "0339_knowledge_synthetic_0034",
936
+ "run_output_tail": null,
937
+ "run_pass": null,
938
+ "runs_expected": false
939
+ },
940
+ {
941
+ "category": "gpu_octonion",
942
+ "check_pass": true,
943
+ "contract_clean": true,
944
+ "contract_violations": [],
945
+ "diagnostic": "",
946
+ "difficulty": "beginner",
947
+ "has_prediction": true,
948
+ "id": "0343_gpu_octonion_synthetic_0038",
949
+ "run_output_tail": null,
950
+ "run_pass": null,
951
+ "runs_expected": false
952
+ },
953
+ {
954
+ "category": "effects_algebra",
955
+ "check_pass": true,
956
+ "contract_clean": true,
957
+ "contract_violations": [],
958
+ "diagnostic": "",
959
+ "difficulty": "intermediate",
960
+ "has_prediction": true,
961
+ "id": "0346_effects_algebra_synthetic_0041",
962
+ "run_output_tail": null,
963
+ "run_pass": null,
964
+ "runs_expected": false
965
+ },
966
+ {
967
+ "category": "ffi_interop",
968
+ "check_pass": true,
969
+ "contract_clean": true,
970
+ "contract_violations": [],
971
+ "diagnostic": "",
972
+ "difficulty": "intermediate",
973
+ "has_prediction": true,
974
+ "id": "0354_ffi_interop_synthetic_0049",
975
+ "run_output_tail": "16\n",
976
+ "run_pass": true,
977
+ "runs_expected": true
978
+ },
979
+ {
980
+ "category": "knowledge",
981
+ "check_pass": true,
982
+ "contract_clean": true,
983
+ "contract_violations": [],
984
+ "diagnostic": "",
985
+ "difficulty": "intermediate",
986
+ "has_prediction": true,
987
+ "id": "0355_knowledge_synthetic_0050",
988
+ "run_output_tail": null,
989
+ "run_pass": null,
990
+ "runs_expected": false
991
+ },
992
+ {
993
+ "category": "effects_algebra",
994
+ "check_pass": true,
995
+ "contract_clean": true,
996
+ "contract_violations": [],
997
+ "diagnostic": "",
998
+ "difficulty": "beginner",
999
+ "has_prediction": true,
1000
+ "id": "0362_effects_algebra_synthetic_0057",
1001
+ "run_output_tail": null,
1002
+ "run_pass": null,
1003
+ "runs_expected": false
1004
+ },
1005
+ {
1006
+ "category": "gpu_octonion",
1007
+ "check_pass": true,
1008
+ "contract_clean": true,
1009
+ "contract_violations": [],
1010
+ "diagnostic": "",
1011
+ "difficulty": "intermediate",
1012
+ "has_prediction": true,
1013
+ "id": "0367_gpu_octonion_synthetic_0062",
1014
+ "run_output_tail": null,
1015
+ "run_pass": null,
1016
+ "runs_expected": false
1017
+ },
1018
+ {
1019
+ "category": "knowledge",
1020
+ "check_pass": true,
1021
+ "contract_clean": true,
1022
+ "contract_violations": [],
1023
+ "diagnostic": "",
1024
+ "difficulty": "beginner",
1025
+ "has_prediction": true,
1026
+ "id": "0371_knowledge_synthetic_0066",
1027
+ "run_output_tail": null,
1028
+ "run_pass": null,
1029
+ "runs_expected": false
1030
+ },
1031
+ {
1032
+ "category": "ffi_interop",
1033
+ "check_pass": true,
1034
+ "contract_clean": true,
1035
+ "contract_violations": [],
1036
+ "diagnostic": "",
1037
+ "difficulty": "advanced",
1038
+ "has_prediction": true,
1039
+ "id": "0378_ffi_interop_synthetic_0073",
1040
+ "run_output_tail": "16\n",
1041
+ "run_pass": true,
1042
+ "runs_expected": true
1043
+ },
1044
+ {
1045
+ "category": "effects_algebra",
1046
+ "check_pass": true,
1047
+ "contract_clean": true,
1048
+ "contract_violations": [],
1049
+ "diagnostic": "",
1050
+ "difficulty": "expert",
1051
+ "has_prediction": true,
1052
+ "id": "0380_effects_algebra_synthetic_0075",
1053
+ "run_output_tail": null,
1054
+ "run_pass": null,
1055
+ "runs_expected": false
1056
+ },
1057
+ {
1058
+ "category": "knowledge",
1059
+ "check_pass": true,
1060
+ "contract_clean": true,
1061
+ "contract_violations": [],
1062
+ "diagnostic": "",
1063
+ "difficulty": "advanced",
1064
+ "has_prediction": true,
1065
+ "id": "0389_knowledge_synthetic_0084",
1066
+ "run_output_tail": "usable\n",
1067
+ "run_pass": true,
1068
+ "runs_expected": true
1069
+ },
1070
+ {
1071
+ "category": "gpu_octonion",
1072
+ "check_pass": true,
1073
+ "contract_clean": true,
1074
+ "contract_violations": [],
1075
+ "diagnostic": "",
1076
+ "difficulty": "beginner",
1077
+ "has_prediction": true,
1078
+ "id": "0393_gpu_octonion_synthetic_0088",
1079
+ "run_output_tail": "8\n",
1080
+ "run_pass": true,
1081
+ "runs_expected": true
1082
+ },
1083
+ {
1084
+ "category": "effects_algebra",
1085
+ "check_pass": true,
1086
+ "contract_clean": true,
1087
+ "contract_violations": [],
1088
+ "diagnostic": "",
1089
+ "difficulty": "intermediate",
1090
+ "has_prediction": true,
1091
+ "id": "0396_effects_algebra_synthetic_0091",
1092
+ "run_output_tail": null,
1093
+ "run_pass": null,
1094
+ "runs_expected": false
1095
+ },
1096
+ {
1097
+ "category": "ffi_interop",
1098
+ "check_pass": true,
1099
+ "contract_clean": true,
1100
+ "contract_violations": [],
1101
+ "diagnostic": "",
1102
+ "difficulty": "intermediate",
1103
+ "has_prediction": true,
1104
+ "id": "0404_ffi_interop_synthetic_0099",
1105
+ "run_output_tail": "call\n",
1106
+ "run_pass": true,
1107
+ "runs_expected": true
1108
+ },
1109
+ {
1110
+ "category": "knowledge",
1111
+ "check_pass": true,
1112
+ "contract_clean": true,
1113
+ "contract_violations": [],
1114
+ "diagnostic": "",
1115
+ "difficulty": "intermediate",
1116
+ "has_prediction": true,
1117
+ "id": "0405_knowledge_synthetic_0100",
1118
+ "run_output_tail": "usable\n",
1119
+ "run_pass": true,
1120
+ "runs_expected": true
1121
+ },
1122
+ {
1123
+ "category": "effects_algebra",
1124
+ "check_pass": true,
1125
+ "contract_clean": true,
1126
+ "contract_violations": [],
1127
+ "diagnostic": "",
1128
+ "difficulty": "beginner",
1129
+ "has_prediction": true,
1130
+ "id": "0412_effects_algebra_synthetic_0107",
1131
+ "run_output_tail": null,
1132
+ "run_pass": null,
1133
+ "runs_expected": false
1134
+ },
1135
+ {
1136
+ "category": "gpu_octonion",
1137
+ "check_pass": true,
1138
+ "contract_clean": true,
1139
+ "contract_violations": [],
1140
+ "diagnostic": "",
1141
+ "difficulty": "intermediate",
1142
+ "has_prediction": true,
1143
+ "id": "0417_gpu_octonion_synthetic_0112",
1144
+ "run_output_tail": "8\n",
1145
+ "run_pass": true,
1146
+ "runs_expected": true
1147
+ },
1148
+ {
1149
+ "category": "knowledge",
1150
+ "check_pass": true,
1151
+ "contract_clean": true,
1152
+ "contract_violations": [],
1153
+ "diagnostic": "",
1154
+ "difficulty": "beginner",
1155
+ "has_prediction": true,
1156
+ "id": "0421_knowledge_synthetic_0116",
1157
+ "run_output_tail": "usable\n",
1158
+ "run_pass": true,
1159
+ "runs_expected": true
1160
+ },
1161
+ {
1162
+ "category": "ffi_interop",
1163
+ "check_pass": true,
1164
+ "contract_clean": true,
1165
+ "contract_violations": [],
1166
+ "diagnostic": "",
1167
+ "difficulty": "advanced",
1168
+ "has_prediction": true,
1169
+ "id": "0428_ffi_interop_synthetic_0123",
1170
+ "run_output_tail": "call\n",
1171
+ "run_pass": true,
1172
+ "runs_expected": true
1173
+ },
1174
+ {
1175
+ "category": "effects_algebra",
1176
+ "check_pass": true,
1177
+ "contract_clean": true,
1178
+ "contract_violations": [],
1179
+ "diagnostic": "",
1180
+ "difficulty": "expert",
1181
+ "has_prediction": true,
1182
+ "id": "0430_effects_algebra_synthetic_0125",
1183
+ "run_output_tail": null,
1184
+ "run_pass": null,
1185
+ "runs_expected": false
1186
+ },
1187
+ {
1188
+ "category": "knowledge",
1189
+ "check_pass": true,
1190
+ "contract_clean": true,
1191
+ "contract_violations": [],
1192
+ "diagnostic": "",
1193
+ "difficulty": "advanced",
1194
+ "has_prediction": true,
1195
+ "id": "0439_knowledge_synthetic_0134",
1196
+ "run_output_tail": null,
1197
+ "run_pass": null,
1198
+ "runs_expected": false
1199
+ },
1200
+ {
1201
+ "category": "gpu_octonion",
1202
+ "check_pass": true,
1203
+ "contract_clean": true,
1204
+ "contract_violations": [],
1205
+ "diagnostic": "",
1206
+ "difficulty": "beginner",
1207
+ "has_prediction": true,
1208
+ "id": "0443_gpu_octonion_synthetic_0138",
1209
+ "run_output_tail": null,
1210
+ "run_pass": null,
1211
+ "runs_expected": false
1212
+ },
1213
+ {
1214
+ "category": "effects_algebra",
1215
+ "check_pass": true,
1216
+ "contract_clean": true,
1217
+ "contract_violations": [],
1218
+ "diagnostic": "",
1219
+ "difficulty": "intermediate",
1220
+ "has_prediction": true,
1221
+ "id": "0446_effects_algebra_synthetic_0141",
1222
+ "run_output_tail": null,
1223
+ "run_pass": null,
1224
+ "runs_expected": false
1225
+ },
1226
+ {
1227
+ "category": "ffi_interop",
1228
+ "check_pass": true,
1229
+ "contract_clean": true,
1230
+ "contract_violations": [],
1231
+ "diagnostic": "",
1232
+ "difficulty": "intermediate",
1233
+ "has_prediction": true,
1234
+ "id": "0454_ffi_interop_synthetic_0149",
1235
+ "run_output_tail": "16\n",
1236
+ "run_pass": false,
1237
+ "runs_expected": true
1238
+ },
1239
+ {
1240
+ "category": "knowledge",
1241
+ "check_pass": true,
1242
+ "contract_clean": true,
1243
+ "contract_violations": [],
1244
+ "diagnostic": "",
1245
+ "difficulty": "intermediate",
1246
+ "has_prediction": true,
1247
+ "id": "0455_knowledge_synthetic_0150",
1248
+ "run_output_tail": null,
1249
+ "run_pass": null,
1250
+ "runs_expected": false
1251
+ },
1252
+ {
1253
+ "category": "effects_algebra",
1254
+ "check_pass": true,
1255
+ "contract_clean": true,
1256
+ "contract_violations": [],
1257
+ "diagnostic": "",
1258
+ "difficulty": "beginner",
1259
+ "has_prediction": true,
1260
+ "id": "0462_effects_algebra_synthetic_0157",
1261
+ "run_output_tail": null,
1262
+ "run_pass": null,
1263
+ "runs_expected": false
1264
+ },
1265
+ {
1266
+ "category": "gpu_octonion",
1267
+ "check_pass": true,
1268
+ "contract_clean": true,
1269
+ "contract_violations": [],
1270
+ "diagnostic": "",
1271
+ "difficulty": "intermediate",
1272
+ "has_prediction": true,
1273
+ "id": "0467_gpu_octonion_synthetic_0162",
1274
+ "run_output_tail": null,
1275
+ "run_pass": null,
1276
+ "runs_expected": false
1277
+ },
1278
+ {
1279
+ "category": "knowledge",
1280
+ "check_pass": true,
1281
+ "contract_clean": true,
1282
+ "contract_violations": [],
1283
+ "diagnostic": "",
1284
+ "difficulty": "beginner",
1285
+ "has_prediction": true,
1286
+ "id": "0471_knowledge_synthetic_0166",
1287
+ "run_output_tail": null,
1288
+ "run_pass": null,
1289
+ "runs_expected": false
1290
+ },
1291
+ {
1292
+ "category": "ffi_interop",
1293
+ "check_pass": true,
1294
+ "contract_clean": true,
1295
+ "contract_violations": [],
1296
+ "diagnostic": "",
1297
+ "difficulty": "advanced",
1298
+ "has_prediction": true,
1299
+ "id": "0478_ffi_interop_synthetic_0173",
1300
+ "run_output_tail": "16\n",
1301
+ "run_pass": false,
1302
+ "runs_expected": true
1303
+ },
1304
+ {
1305
+ "category": "effects_algebra",
1306
+ "check_pass": true,
1307
+ "contract_clean": true,
1308
+ "contract_violations": [],
1309
+ "diagnostic": "",
1310
+ "difficulty": "expert",
1311
+ "has_prediction": true,
1312
+ "id": "0480_effects_algebra_synthetic_0175",
1313
+ "run_output_tail": null,
1314
+ "run_pass": null,
1315
+ "runs_expected": false
1316
+ },
1317
+ {
1318
+ "category": "knowledge",
1319
+ "check_pass": true,
1320
+ "contract_clean": true,
1321
+ "contract_violations": [],
1322
+ "diagnostic": "",
1323
+ "difficulty": "advanced",
1324
+ "has_prediction": true,
1325
+ "id": "0489_knowledge_synthetic_0184",
1326
+ "run_output_tail": "usable\n",
1327
+ "run_pass": true,
1328
+ "runs_expected": true
1329
+ },
1330
+ {
1331
+ "category": "gpu_octonion",
1332
+ "check_pass": true,
1333
+ "contract_clean": true,
1334
+ "contract_violations": [],
1335
+ "diagnostic": "",
1336
+ "difficulty": "beginner",
1337
+ "has_prediction": true,
1338
+ "id": "0493_gpu_octonion_synthetic_0188",
1339
+ "run_output_tail": "4\n",
1340
+ "run_pass": true,
1341
+ "runs_expected": true
1342
+ },
1343
+ {
1344
+ "category": "effects_algebra",
1345
+ "check_pass": true,
1346
+ "contract_clean": true,
1347
+ "contract_violations": [],
1348
+ "diagnostic": "",
1349
+ "difficulty": "intermediate",
1350
+ "has_prediction": true,
1351
+ "id": "0496_effects_algebra_synthetic_0191",
1352
+ "run_output_tail": null,
1353
+ "run_pass": null,
1354
+ "runs_expected": false
1355
+ },
1356
+ {
1357
+ "category": "basic",
1358
+ "check_pass": true,
1359
+ "contract_clean": true,
1360
+ "contract_violations": [],
1361
+ "diagnostic": "",
1362
+ "difficulty": "advanced",
1363
+ "has_prediction": true,
1364
+ "id": "0499_basic_synthetic_0194",
1365
+ "run_output_tail": null,
1366
+ "run_pass": null,
1367
+ "runs_expected": false
1368
+ },
1369
+ {
1370
+ "category": "ffi_interop",
1371
+ "check_pass": true,
1372
+ "contract_clean": true,
1373
+ "contract_violations": [],
1374
+ "diagnostic": "",
1375
+ "difficulty": "intermediate",
1376
+ "has_prediction": true,
1377
+ "id": "0506_ffi_interop_synthetic_0201",
1378
+ "run_output_tail": "16\n",
1379
+ "run_pass": true,
1380
+ "runs_expected": true
1381
+ },
1382
+ {
1383
+ "category": "knowledge",
1384
+ "check_pass": true,
1385
+ "contract_clean": true,
1386
+ "contract_violations": [],
1387
+ "diagnostic": "",
1388
+ "difficulty": "advanced",
1389
+ "has_prediction": true,
1390
+ "id": "0509_knowledge_synthetic_0204",
1391
+ "run_output_tail": "usable\n",
1392
+ "run_pass": true,
1393
+ "runs_expected": true
1394
+ },
1395
+ {
1396
+ "category": "basic",
1397
+ "check_pass": true,
1398
+ "contract_clean": true,
1399
+ "contract_violations": [],
1400
+ "diagnostic": "",
1401
+ "difficulty": "intermediate",
1402
+ "has_prediction": true,
1403
+ "id": "0516_basic_synthetic_0211",
1404
+ "run_output_tail": null,
1405
+ "run_pass": null,
1406
+ "runs_expected": false
1407
+ },
1408
+ {
1409
+ "category": "effects_algebra",
1410
+ "check_pass": true,
1411
+ "contract_clean": true,
1412
+ "contract_violations": [],
1413
+ "diagnostic": "",
1414
+ "difficulty": "advanced",
1415
+ "has_prediction": true,
1416
+ "id": "0518_effects_algebra_synthetic_0213",
1417
+ "run_output_tail": null,
1418
+ "run_pass": null,
1419
+ "runs_expected": false
1420
+ },
1421
+ {
1422
+ "category": "gpu_octonion",
1423
+ "check_pass": true,
1424
+ "contract_clean": true,
1425
+ "contract_violations": [],
1426
+ "diagnostic": "",
1427
+ "difficulty": "intermediate",
1428
+ "has_prediction": true,
1429
+ "id": "0525_gpu_octonion_synthetic_0220",
1430
+ "run_output_tail": "4\n",
1431
+ "run_pass": true,
1432
+ "runs_expected": true
1433
+ },
1434
+ {
1435
+ "category": "knowledge",
1436
+ "check_pass": true,
1437
+ "contract_clean": true,
1438
+ "contract_violations": [],
1439
+ "diagnostic": "",
1440
+ "difficulty": "beginner",
1441
+ "has_prediction": true,
1442
+ "id": "0531_knowledge_synthetic_0226",
1443
+ "run_output_tail": null,
1444
+ "run_pass": null,
1445
+ "runs_expected": false
1446
+ },
1447
+ {
1448
+ "category": "basic",
1449
+ "check_pass": true,
1450
+ "contract_clean": true,
1451
+ "contract_violations": [],
1452
+ "diagnostic": "",
1453
+ "difficulty": "intermediate",
1454
+ "has_prediction": true,
1455
+ "id": "0535_basic_synthetic_0230",
1456
+ "run_output_tail": null,
1457
+ "run_pass": null,
1458
+ "runs_expected": false
1459
+ },
1460
+ {
1461
+ "category": "ffi_interop",
1462
+ "check_pass": true,
1463
+ "contract_clean": true,
1464
+ "contract_violations": [],
1465
+ "diagnostic": "",
1466
+ "difficulty": "expert",
1467
+ "has_prediction": true,
1468
+ "id": "0540_ffi_interop_synthetic_0235",
1469
+ "run_output_tail": "call\n",
1470
+ "run_pass": true,
1471
+ "runs_expected": true
1472
+ },
1473
+ {
1474
+ "category": "effects_algebra",
1475
+ "check_pass": true,
1476
+ "contract_clean": true,
1477
+ "contract_violations": [],
1478
+ "diagnostic": "",
1479
+ "difficulty": "beginner",
1480
+ "has_prediction": true,
1481
+ "id": "0543_effects_algebra_synthetic_0238",
1482
+ "run_output_tail": null,
1483
+ "run_pass": null,
1484
+ "runs_expected": false
1485
+ },
1486
+ {
1487
+ "category": "basic",
1488
+ "check_pass": true,
1489
+ "contract_clean": true,
1490
+ "contract_violations": [],
1491
+ "diagnostic": "",
1492
+ "difficulty": "expert",
1493
+ "has_prediction": true,
1494
+ "id": "0550_basic_synthetic_0245",
1495
+ "run_output_tail": null,
1496
+ "run_pass": null,
1497
+ "runs_expected": false
1498
+ },
1499
+ {
1500
+ "category": "knowledge",
1501
+ "check_pass": true,
1502
+ "contract_clean": true,
1503
+ "contract_violations": [],
1504
+ "diagnostic": "",
1505
+ "difficulty": "intermediate",
1506
+ "has_prediction": true,
1507
+ "id": "0556_knowledge_synthetic_0251",
1508
+ "run_output_tail": "dose-ok\n",
1509
+ "run_pass": true,
1510
+ "runs_expected": true
1511
+ },
1512
+ {
1513
+ "category": "gpu_octonion",
1514
+ "check_pass": true,
1515
+ "contract_clean": true,
1516
+ "contract_violations": [],
1517
+ "diagnostic": "",
1518
+ "difficulty": "beginner",
1519
+ "has_prediction": true,
1520
+ "id": "0561_gpu_octonion_synthetic_0256",
1521
+ "run_output_tail": "8\n",
1522
+ "run_pass": true,
1523
+ "runs_expected": true
1524
+ },
1525
+ {
1526
+ "category": "effects_algebra",
1527
+ "check_pass": true,
1528
+ "contract_clean": true,
1529
+ "contract_violations": [],
1530
+ "diagnostic": "",
1531
+ "difficulty": "intermediate",
1532
+ "has_prediction": true,
1533
+ "id": "0566_effects_algebra_synthetic_0261",
1534
+ "run_output_tail": null,
1535
+ "run_pass": null,
1536
+ "runs_expected": false
1537
+ },
1538
+ {
1539
+ "category": "basic",
1540
+ "check_pass": true,
1541
+ "contract_clean": true,
1542
+ "contract_violations": [],
1543
+ "diagnostic": "",
1544
+ "difficulty": "advanced",
1545
+ "has_prediction": true,
1546
+ "id": "0569_basic_synthetic_0264",
1547
+ "run_output_tail": "odd\n",
1548
+ "run_pass": true,
1549
+ "runs_expected": true
1550
+ },
1551
+ {
1552
+ "category": "ffi_interop",
1553
+ "check_pass": true,
1554
+ "contract_clean": true,
1555
+ "contract_violations": [],
1556
+ "diagnostic": "",
1557
+ "difficulty": "intermediate",
1558
+ "has_prediction": true,
1559
+ "id": "0576_ffi_interop_synthetic_0271",
1560
+ "run_output_tail": "call\n",
1561
+ "run_pass": true,
1562
+ "runs_expected": true
1563
+ },
1564
+ {
1565
+ "category": "knowledge",
1566
+ "check_pass": true,
1567
+ "contract_clean": true,
1568
+ "contract_violations": [],
1569
+ "diagnostic": "",
1570
+ "difficulty": "advanced",
1571
+ "has_prediction": true,
1572
+ "id": "0579_knowledge_synthetic_0274",
1573
+ "run_output_tail": null,
1574
+ "run_pass": null,
1575
+ "runs_expected": false
1576
+ },
1577
+ {
1578
+ "category": "basic",
1579
+ "check_pass": true,
1580
+ "contract_clean": true,
1581
+ "contract_violations": [],
1582
+ "diagnostic": "",
1583
+ "difficulty": "intermediate",
1584
+ "has_prediction": true,
1585
+ "id": "0586_basic_synthetic_0281",
1586
+ "run_output_tail": null,
1587
+ "run_pass": null,
1588
+ "runs_expected": false
1589
+ },
1590
+ {
1591
+ "category": "effects_algebra",
1592
+ "check_pass": true,
1593
+ "contract_clean": true,
1594
+ "contract_violations": [],
1595
+ "diagnostic": "",
1596
+ "difficulty": "intermediate",
1597
+ "has_prediction": true,
1598
+ "id": "0594_effects_algebra_synthetic_0289",
1599
+ "run_output_tail": null,
1600
+ "run_pass": null,
1601
+ "runs_expected": false
1602
+ },
1603
+ {
1604
+ "category": "gpu_octonion",
1605
+ "check_pass": true,
1606
+ "contract_clean": true,
1607
+ "contract_violations": [],
1608
+ "diagnostic": "",
1609
+ "difficulty": "intermediate",
1610
+ "has_prediction": true,
1611
+ "id": "0595_gpu_octonion_synthetic_0290",
1612
+ "run_output_tail": null,
1613
+ "run_pass": null,
1614
+ "runs_expected": false
1615
+ },
1616
+ {
1617
+ "category": "knowledge",
1618
+ "check_pass": true,
1619
+ "contract_clean": true,
1620
+ "contract_violations": [],
1621
+ "diagnostic": "",
1622
+ "difficulty": "advanced",
1623
+ "has_prediction": true,
1624
+ "id": "0598_knowledge_synthetic_0293",
1625
+ "run_output_tail": null,
1626
+ "run_pass": null,
1627
+ "runs_expected": false
1628
+ },
1629
+ {
1630
+ "category": "basic",
1631
+ "check_pass": true,
1632
+ "contract_clean": true,
1633
+ "contract_violations": [],
1634
+ "diagnostic": "",
1635
+ "difficulty": "intermediate",
1636
+ "has_prediction": true,
1637
+ "id": "0605_basic_synthetic_0300",
1638
+ "run_output_tail": "odd\n",
1639
+ "run_pass": true,
1640
+ "runs_expected": true
1641
+ },
1642
+ {
1643
+ "category": "ffi_interop",
1644
+ "check_pass": true,
1645
+ "contract_clean": true,
1646
+ "contract_violations": [],
1647
+ "diagnostic": "",
1648
+ "difficulty": "expert",
1649
+ "has_prediction": true,
1650
+ "id": "0610_ffi_interop_synthetic_0305",
1651
+ "run_output_tail": null,
1652
+ "run_pass": null,
1653
+ "runs_expected": false
1654
+ },
1655
+ {
1656
+ "category": "effects_algebra",
1657
+ "check_pass": true,
1658
+ "contract_clean": true,
1659
+ "contract_violations": [],
1660
+ "diagnostic": "",
1661
+ "difficulty": "intermediate",
1662
+ "has_prediction": true,
1663
+ "id": "0616_effects_algebra_synthetic_0311",
1664
+ "run_output_tail": null,
1665
+ "run_pass": null,
1666
+ "runs_expected": false
1667
+ },
1668
+ {
1669
+ "category": "basic",
1670
+ "check_pass": true,
1671
+ "contract_clean": true,
1672
+ "contract_violations": [],
1673
+ "diagnostic": "",
1674
+ "difficulty": "expert",
1675
+ "has_prediction": true,
1676
+ "id": "0620_basic_synthetic_0315",
1677
+ "run_output_tail": null,
1678
+ "run_pass": null,
1679
+ "runs_expected": false
1680
+ },
1681
+ {
1682
+ "category": "knowledge",
1683
+ "check_pass": true,
1684
+ "contract_clean": true,
1685
+ "contract_violations": [],
1686
+ "diagnostic": "",
1687
+ "difficulty": "beginner",
1688
+ "has_prediction": true,
1689
+ "id": "0621_knowledge_synthetic_0316",
1690
+ "run_output_tail": "usable\n",
1691
+ "run_pass": true,
1692
+ "runs_expected": true
1693
+ },
1694
+ {
1695
+ "category": "gpu_octonion",
1696
+ "check_pass": true,
1697
+ "contract_clean": true,
1698
+ "contract_violations": [],
1699
+ "diagnostic": "",
1700
+ "difficulty": "beginner",
1701
+ "has_prediction": true,
1702
+ "id": "0631_gpu_octonion_synthetic_0326",
1703
+ "run_output_tail": null,
1704
+ "run_pass": null,
1705
+ "runs_expected": false
1706
+ },
1707
+ {
1708
+ "category": "basic",
1709
+ "check_pass": true,
1710
+ "contract_clean": true,
1711
+ "contract_violations": [],
1712
+ "diagnostic": "",
1713
+ "difficulty": "advanced",
1714
+ "has_prediction": true,
1715
+ "id": "0639_basic_synthetic_0334",
1716
+ "run_output_tail": null,
1717
+ "run_pass": null,
1718
+ "runs_expected": false
1719
+ },
1720
+ {
1721
+ "category": "effects_algebra",
1722
+ "check_pass": true,
1723
+ "contract_clean": true,
1724
+ "contract_violations": [],
1725
+ "diagnostic": "",
1726
+ "difficulty": "beginner",
1727
+ "has_prediction": true,
1728
+ "id": "0641_effects_algebra_synthetic_0336",
1729
+ "run_output_tail": "ready\n",
1730
+ "run_pass": true,
1731
+ "runs_expected": true
1732
+ },
1733
+ {
1734
+ "category": "knowledge",
1735
+ "check_pass": true,
1736
+ "contract_clean": true,
1737
+ "contract_violations": [],
1738
+ "diagnostic": "",
1739
+ "difficulty": "beginner",
1740
+ "has_prediction": true,
1741
+ "id": "0643_knowledge_synthetic_0338",
1742
+ "run_output_tail": null,
1743
+ "run_pass": null,
1744
+ "runs_expected": false
1745
+ },
1746
+ {
1747
+ "category": "ffi_interop",
1748
+ "check_pass": true,
1749
+ "contract_clean": true,
1750
+ "contract_violations": [],
1751
+ "diagnostic": "",
1752
+ "difficulty": "intermediate",
1753
+ "has_prediction": true,
1754
+ "id": "0646_ffi_interop_synthetic_0341",
1755
+ "run_output_tail": null,
1756
+ "run_pass": null,
1757
+ "runs_expected": false
1758
+ },
1759
+ {
1760
+ "category": "basic",
1761
+ "check_pass": true,
1762
+ "contract_clean": true,
1763
+ "contract_violations": [],
1764
+ "diagnostic": "",
1765
+ "difficulty": "intermediate",
1766
+ "has_prediction": true,
1767
+ "id": "0656_basic_synthetic_0351",
1768
+ "run_output_tail": null,
1769
+ "run_pass": null,
1770
+ "runs_expected": false
1771
+ },
1772
+ {
1773
+ "category": "effects_algebra",
1774
+ "check_pass": true,
1775
+ "contract_clean": true,
1776
+ "contract_violations": [],
1777
+ "diagnostic": "",
1778
+ "difficulty": "intermediate",
1779
+ "has_prediction": true,
1780
+ "id": "0664_effects_algebra_synthetic_0359",
1781
+ "run_output_tail": null,
1782
+ "run_pass": null,
1783
+ "runs_expected": false
1784
+ },
1785
+ {
1786
+ "category": "gpu_octonion",
1787
+ "check_pass": true,
1788
+ "contract_clean": true,
1789
+ "contract_violations": [],
1790
+ "diagnostic": "",
1791
+ "difficulty": "intermediate",
1792
+ "has_prediction": true,
1793
+ "id": "0665_gpu_octonion_synthetic_0360",
1794
+ "run_output_tail": "4\n",
1795
+ "run_pass": false,
1796
+ "runs_expected": true
1797
+ },
1798
+ {
1799
+ "category": "knowledge",
1800
+ "check_pass": true,
1801
+ "contract_clean": true,
1802
+ "contract_violations": [],
1803
+ "diagnostic": "",
1804
+ "difficulty": "advanced",
1805
+ "has_prediction": true,
1806
+ "id": "0668_knowledge_synthetic_0363",
1807
+ "run_output_tail": "dose-ok\n",
1808
+ "run_pass": true,
1809
+ "runs_expected": true
1810
+ },
1811
+ {
1812
+ "category": "basic",
1813
+ "check_pass": true,
1814
+ "contract_clean": true,
1815
+ "contract_violations": [],
1816
+ "diagnostic": "",
1817
+ "difficulty": "intermediate",
1818
+ "has_prediction": true,
1819
+ "id": "0675_basic_synthetic_0370",
1820
+ "run_output_tail": null,
1821
+ "run_pass": null,
1822
+ "runs_expected": false
1823
+ },
1824
+ {
1825
+ "category": "ffi_interop",
1826
+ "check_pass": true,
1827
+ "contract_clean": true,
1828
+ "contract_violations": [],
1829
+ "diagnostic": "",
1830
+ "difficulty": "expert",
1831
+ "has_prediction": true,
1832
+ "id": "0680_ffi_interop_synthetic_0375",
1833
+ "run_output_tail": "call\n",
1834
+ "run_pass": true,
1835
+ "runs_expected": true
1836
+ },
1837
+ {
1838
+ "category": "effects_algebra",
1839
+ "check_pass": true,
1840
+ "contract_clean": true,
1841
+ "contract_violations": [],
1842
+ "diagnostic": "",
1843
+ "difficulty": "intermediate",
1844
+ "has_prediction": true,
1845
+ "id": "0686_effects_algebra_synthetic_0381",
1846
+ "run_output_tail": null,
1847
+ "run_pass": null,
1848
+ "runs_expected": false
1849
+ },
1850
+ {
1851
+ "category": "basic",
1852
+ "check_pass": true,
1853
+ "contract_clean": true,
1854
+ "contract_violations": [],
1855
+ "diagnostic": "",
1856
+ "difficulty": "expert",
1857
+ "has_prediction": true,
1858
+ "id": "0690_basic_synthetic_0385",
1859
+ "run_output_tail": null,
1860
+ "run_pass": null,
1861
+ "runs_expected": false
1862
+ },
1863
+ {
1864
+ "category": "knowledge",
1865
+ "check_pass": true,
1866
+ "contract_clean": true,
1867
+ "contract_violations": [],
1868
+ "diagnostic": "",
1869
+ "difficulty": "beginner",
1870
+ "has_prediction": true,
1871
+ "id": "0691_knowledge_synthetic_0386",
1872
+ "run_output_tail": null,
1873
+ "run_pass": null,
1874
+ "runs_expected": false
1875
+ },
1876
+ {
1877
+ "category": "gpu_octonion",
1878
+ "check_pass": true,
1879
+ "contract_clean": true,
1880
+ "contract_violations": [],
1881
+ "diagnostic": "",
1882
+ "difficulty": "beginner",
1883
+ "has_prediction": true,
1884
+ "id": "0701_gpu_octonion_synthetic_0396",
1885
+ "run_output_tail": "4\n",
1886
+ "run_pass": true,
1887
+ "runs_expected": true
1888
+ },
1889
+ {
1890
+ "category": "basic",
1891
+ "check_pass": true,
1892
+ "contract_clean": true,
1893
+ "contract_violations": [],
1894
+ "diagnostic": "",
1895
+ "difficulty": "advanced",
1896
+ "has_prediction": true,
1897
+ "id": "0709_basic_synthetic_0404",
1898
+ "run_output_tail": "odd\n",
1899
+ "run_pass": true,
1900
+ "runs_expected": true
1901
+ },
1902
+ {
1903
+ "category": "effects_algebra",
1904
+ "check_pass": true,
1905
+ "contract_clean": true,
1906
+ "contract_violations": [],
1907
+ "diagnostic": "",
1908
+ "difficulty": "beginner",
1909
+ "has_prediction": true,
1910
+ "id": "0711_effects_algebra_synthetic_0406",
1911
+ "run_output_tail": null,
1912
+ "run_pass": null,
1913
+ "runs_expected": false
1914
+ },
1915
+ {
1916
+ "category": "knowledge",
1917
+ "check_pass": true,
1918
+ "contract_clean": true,
1919
+ "contract_violations": [],
1920
+ "diagnostic": "",
1921
+ "difficulty": "beginner",
1922
+ "has_prediction": true,
1923
+ "id": "0713_knowledge_synthetic_0408",
1924
+ "run_output_tail": "usable\n",
1925
+ "run_pass": true,
1926
+ "runs_expected": true
1927
+ },
1928
+ {
1929
+ "category": "ffi_interop",
1930
+ "check_pass": true,
1931
+ "contract_clean": true,
1932
+ "contract_violations": [],
1933
+ "diagnostic": "",
1934
+ "difficulty": "intermediate",
1935
+ "has_prediction": true,
1936
+ "id": "0716_ffi_interop_synthetic_0411",
1937
+ "run_output_tail": "call\n",
1938
+ "run_pass": true,
1939
+ "runs_expected": true
1940
+ },
1941
+ {
1942
+ "category": "effects_algebra",
1943
+ "check_pass": true,
1944
+ "contract_clean": true,
1945
+ "contract_violations": [],
1946
+ "diagnostic": "",
1947
+ "difficulty": "intermediate",
1948
+ "has_prediction": true,
1949
+ "id": "0734_effects_algebra_synthetic_0429",
1950
+ "run_output_tail": null,
1951
+ "run_pass": null,
1952
+ "runs_expected": false
1953
+ },
1954
+ {
1955
+ "category": "gpu_octonion",
1956
+ "check_pass": true,
1957
+ "contract_clean": true,
1958
+ "contract_violations": [],
1959
+ "diagnostic": "",
1960
+ "difficulty": "intermediate",
1961
+ "has_prediction": true,
1962
+ "id": "0735_gpu_octonion_synthetic_0430",
1963
+ "run_output_tail": null,
1964
+ "run_pass": null,
1965
+ "runs_expected": false
1966
+ },
1967
+ {
1968
+ "category": "knowledge",
1969
+ "check_pass": true,
1970
+ "contract_clean": true,
1971
+ "contract_violations": [],
1972
+ "diagnostic": "",
1973
+ "difficulty": "advanced",
1974
+ "has_prediction": true,
1975
+ "id": "0738_knowledge_synthetic_0433",
1976
+ "run_output_tail": null,
1977
+ "run_pass": null,
1978
+ "runs_expected": false
1979
+ },
1980
+ {
1981
+ "category": "ffi_interop",
1982
+ "check_pass": true,
1983
+ "contract_clean": true,
1984
+ "contract_violations": [],
1985
+ "diagnostic": "",
1986
+ "difficulty": "expert",
1987
+ "has_prediction": true,
1988
+ "id": "0750_ffi_interop_synthetic_0445",
1989
+ "run_output_tail": null,
1990
+ "run_pass": null,
1991
+ "runs_expected": false
1992
+ },
1993
+ {
1994
+ "category": "effects_algebra",
1995
+ "check_pass": true,
1996
+ "contract_clean": true,
1997
+ "contract_violations": [],
1998
+ "diagnostic": "",
1999
+ "difficulty": "intermediate",
2000
+ "has_prediction": true,
2001
+ "id": "0756_effects_algebra_synthetic_0451",
2002
+ "run_output_tail": null,
2003
+ "run_pass": null,
2004
+ "runs_expected": false
2005
+ },
2006
+ {
2007
+ "category": "knowledge",
2008
+ "check_pass": true,
2009
+ "contract_clean": true,
2010
+ "contract_violations": [],
2011
+ "diagnostic": "",
2012
+ "difficulty": "beginner",
2013
+ "has_prediction": true,
2014
+ "id": "0761_knowledge_synthetic_0456",
2015
+ "run_output_tail": "usable\n",
2016
+ "run_pass": true,
2017
+ "runs_expected": true
2018
+ },
2019
+ {
2020
+ "category": "gpu_octonion",
2021
+ "check_pass": true,
2022
+ "contract_clean": true,
2023
+ "contract_violations": [],
2024
+ "diagnostic": "",
2025
+ "difficulty": "beginner",
2026
+ "has_prediction": true,
2027
+ "id": "0771_gpu_octonion_synthetic_0466",
2028
+ "run_output_tail": null,
2029
+ "run_pass": null,
2030
+ "runs_expected": false
2031
+ },
2032
+ {
2033
+ "category": "effects_algebra",
2034
+ "check_pass": true,
2035
+ "contract_clean": true,
2036
+ "contract_violations": [],
2037
+ "diagnostic": "",
2038
+ "difficulty": "beginner",
2039
+ "has_prediction": true,
2040
+ "id": "0781_effects_algebra_synthetic_0476",
2041
+ "run_output_tail": "ready\n",
2042
+ "run_pass": true,
2043
+ "runs_expected": true
2044
+ },
2045
+ {
2046
+ "category": "knowledge",
2047
+ "check_pass": true,
2048
+ "contract_clean": true,
2049
+ "contract_violations": [],
2050
+ "diagnostic": "",
2051
+ "difficulty": "beginner",
2052
+ "has_prediction": true,
2053
+ "id": "0783_knowledge_synthetic_0478",
2054
+ "run_output_tail": null,
2055
+ "run_pass": null,
2056
+ "runs_expected": false
2057
+ },
2058
+ {
2059
+ "category": "ffi_interop",
2060
+ "check_pass": true,
2061
+ "contract_clean": true,
2062
+ "contract_violations": [],
2063
+ "diagnostic": "",
2064
+ "difficulty": "intermediate",
2065
+ "has_prediction": true,
2066
+ "id": "0786_ffi_interop_synthetic_0481",
2067
+ "run_output_tail": null,
2068
+ "run_pass": null,
2069
+ "runs_expected": false
2070
+ },
2071
+ {
2072
+ "category": "gpu_octonion",
2073
+ "check_pass": true,
2074
+ "contract_clean": true,
2075
+ "contract_violations": [],
2076
+ "diagnostic": "",
2077
+ "difficulty": "beginner",
2078
+ "has_prediction": true,
2079
+ "id": "0791_gpu_octonion_synthetic_0486",
2080
+ "run_output_tail": null,
2081
+ "run_pass": null,
2082
+ "runs_expected": false
2083
+ },
2084
+ {
2085
+ "category": "effects_algebra",
2086
+ "check_pass": true,
2087
+ "contract_clean": true,
2088
+ "contract_violations": [],
2089
+ "diagnostic": "",
2090
+ "difficulty": "intermediate",
2091
+ "has_prediction": true,
2092
+ "id": "0804_effects_algebra_synthetic_0499",
2093
+ "run_output_tail": null,
2094
+ "run_pass": null,
2095
+ "runs_expected": false
2096
+ },
2097
+ {
2098
+ "category": "knowledge",
2099
+ "check_pass": true,
2100
+ "contract_clean": true,
2101
+ "contract_violations": [],
2102
+ "diagnostic": "",
2103
+ "difficulty": "advanced",
2104
+ "has_prediction": true,
2105
+ "id": "0808_knowledge_synthetic_0503",
2106
+ "run_output_tail": "dose-ok\n",
2107
+ "run_pass": true,
2108
+ "runs_expected": true
2109
+ },
2110
+ {
2111
+ "category": "ffi_interop",
2112
+ "check_pass": true,
2113
+ "contract_clean": true,
2114
+ "contract_violations": [],
2115
+ "diagnostic": "",
2116
+ "difficulty": "expert",
2117
+ "has_prediction": true,
2118
+ "id": "0820_ffi_interop_synthetic_0515",
2119
+ "run_output_tail": "call\n",
2120
+ "run_pass": true,
2121
+ "runs_expected": true
2122
+ },
2123
+ {
2124
+ "category": "effects_algebra",
2125
+ "check_pass": true,
2126
+ "contract_clean": true,
2127
+ "contract_violations": [],
2128
+ "diagnostic": "",
2129
+ "difficulty": "intermediate",
2130
+ "has_prediction": true,
2131
+ "id": "0826_effects_algebra_synthetic_0521",
2132
+ "run_output_tail": null,
2133
+ "run_pass": null,
2134
+ "runs_expected": false
2135
+ },
2136
+ {
2137
+ "category": "gpu_octonion",
2138
+ "check_pass": true,
2139
+ "contract_clean": true,
2140
+ "contract_violations": [],
2141
+ "diagnostic": "",
2142
+ "difficulty": "intermediate",
2143
+ "has_prediction": true,
2144
+ "id": "0827_gpu_octonion_synthetic_0522",
2145
+ "run_output_tail": null,
2146
+ "run_pass": null,
2147
+ "runs_expected": false
2148
+ },
2149
+ {
2150
+ "category": "knowledge",
2151
+ "check_pass": true,
2152
+ "contract_clean": true,
2153
+ "contract_violations": [],
2154
+ "diagnostic": "",
2155
+ "difficulty": "beginner",
2156
+ "has_prediction": true,
2157
+ "id": "0831_knowledge_synthetic_0526",
2158
+ "run_output_tail": null,
2159
+ "run_pass": null,
2160
+ "runs_expected": false
2161
+ },
2162
+ {
2163
+ "category": "reserve_advanced",
2164
+ "check_pass": true,
2165
+ "contract_clean": true,
2166
+ "contract_violations": [],
2167
+ "diagnostic": "",
2168
+ "difficulty": "beginner",
2169
+ "has_prediction": true,
2170
+ "id": "0851_reserve_advanced_synthetic_0546",
2171
+ "run_output_tail": "196\n",
2172
+ "run_pass": true,
2173
+ "runs_expected": true
2174
+ },
2175
+ {
2176
+ "category": "effects_algebra",
2177
+ "check_pass": true,
2178
+ "contract_clean": true,
2179
+ "contract_violations": [],
2180
+ "diagnostic": "",
2181
+ "difficulty": "intermediate",
2182
+ "has_prediction": true,
2183
+ "id": "0854_effects_algebra_synthetic_0549",
2184
+ "run_output_tail": null,
2185
+ "run_pass": null,
2186
+ "runs_expected": false
2187
+ },
2188
+ {
2189
+ "category": "knowledge",
2190
+ "check_pass": true,
2191
+ "contract_clean": true,
2192
+ "contract_violations": [],
2193
+ "diagnostic": "",
2194
+ "difficulty": "intermediate",
2195
+ "has_prediction": true,
2196
+ "id": "0856_knowledge_synthetic_0551",
2197
+ "run_output_tail": "dose-ok\n",
2198
+ "run_pass": true,
2199
+ "runs_expected": true
2200
+ },
2201
+ {
2202
+ "category": "ffi_interop",
2203
+ "check_pass": true,
2204
+ "contract_clean": true,
2205
+ "contract_violations": [],
2206
+ "diagnostic": "",
2207
+ "difficulty": "advanced",
2208
+ "has_prediction": true,
2209
+ "id": "0859_ffi_interop_synthetic_0554",
2210
+ "run_output_tail": null,
2211
+ "run_pass": null,
2212
+ "runs_expected": false
2213
+ },
2214
+ {
2215
+ "category": "gpu_octonion",
2216
+ "check_pass": true,
2217
+ "contract_clean": true,
2218
+ "contract_violations": [],
2219
+ "diagnostic": "",
2220
+ "difficulty": "intermediate",
2221
+ "has_prediction": true,
2222
+ "id": "0865_gpu_octonion_synthetic_0560",
2223
+ "run_output_tail": "4\n",
2224
+ "run_pass": false,
2225
+ "runs_expected": true
2226
+ },
2227
+ {
2228
+ "category": "effects_algebra",
2229
+ "check_pass": true,
2230
+ "contract_clean": true,
2231
+ "contract_violations": [],
2232
+ "diagnostic": "",
2233
+ "difficulty": "expert",
2234
+ "has_prediction": true,
2235
+ "id": "0880_effects_algebra_synthetic_0575",
2236
+ "run_output_tail": null,
2237
+ "run_pass": null,
2238
+ "runs_expected": false
2239
+ },
2240
+ {
2241
+ "category": "knowledge",
2242
+ "check_pass": true,
2243
+ "contract_clean": true,
2244
+ "contract_violations": [],
2245
+ "diagnostic": "",
2246
+ "difficulty": "intermediate",
2247
+ "has_prediction": true,
2248
+ "id": "0885_knowledge_synthetic_0580",
2249
+ "run_output_tail": "usable\n",
2250
+ "run_pass": true,
2251
+ "runs_expected": true
2252
+ },
2253
+ {
2254
+ "category": "reserve_advanced",
2255
+ "check_pass": true,
2256
+ "contract_clean": true,
2257
+ "contract_violations": [],
2258
+ "diagnostic": "",
2259
+ "difficulty": "beginner",
2260
+ "has_prediction": true,
2261
+ "id": "0892_reserve_advanced_synthetic_0587",
2262
+ "run_output_tail": null,
2263
+ "run_pass": null,
2264
+ "runs_expected": false
2265
+ },
2266
+ {
2267
+ "category": "ffi_interop",
2268
+ "check_pass": true,
2269
+ "contract_clean": true,
2270
+ "contract_violations": [],
2271
+ "diagnostic": "",
2272
+ "difficulty": "advanced",
2273
+ "has_prediction": true,
2274
+ "id": "0898_ffi_interop_synthetic_0593",
2275
+ "run_output_tail": null,
2276
+ "run_pass": null,
2277
+ "runs_expected": false
2278
+ },
2279
+ {
2280
+ "category": "gpu_octonion",
2281
+ "check_pass": true,
2282
+ "contract_clean": true,
2283
+ "contract_violations": [],
2284
+ "diagnostic": "",
2285
+ "difficulty": "intermediate",
2286
+ "has_prediction": true,
2287
+ "id": "0906_gpu_octonion_synthetic_0601",
2288
+ "run_output_tail": null,
2289
+ "run_pass": null,
2290
+ "runs_expected": false
2291
+ },
2292
+ {
2293
+ "category": "reserve_advanced",
2294
+ "check_pass": true,
2295
+ "contract_clean": true,
2296
+ "contract_violations": [],
2297
+ "diagnostic": "",
2298
+ "difficulty": "beginner",
2299
+ "has_prediction": true,
2300
+ "id": "0931_reserve_advanced_synthetic_0626",
2301
+ "run_output_tail": "100\n",
2302
+ "run_pass": true,
2303
+ "runs_expected": true
2304
+ },
2305
+ {
2306
+ "category": "ffi_interop",
2307
+ "check_pass": true,
2308
+ "contract_clean": true,
2309
+ "contract_violations": [],
2310
+ "diagnostic": "",
2311
+ "difficulty": "advanced",
2312
+ "has_prediction": true,
2313
+ "id": "0939_ffi_interop_synthetic_0634",
2314
+ "run_output_tail": null,
2315
+ "run_pass": null,
2316
+ "runs_expected": false
2317
+ },
2318
+ {
2319
+ "category": "gpu_octonion",
2320
+ "check_pass": true,
2321
+ "contract_clean": true,
2322
+ "contract_violations": [],
2323
+ "diagnostic": "",
2324
+ "difficulty": "intermediate",
2325
+ "has_prediction": true,
2326
+ "id": "0945_gpu_octonion_synthetic_0640",
2327
+ "run_output_tail": "8\n",
2328
+ "run_pass": true,
2329
+ "runs_expected": true
2330
+ },
2331
+ {
2332
+ "category": "reserve_advanced",
2333
+ "check_pass": true,
2334
+ "contract_clean": true,
2335
+ "contract_violations": [],
2336
+ "diagnostic": "",
2337
+ "difficulty": "beginner",
2338
+ "has_prediction": true,
2339
+ "id": "0972_reserve_advanced_synthetic_0667",
2340
+ "run_output_tail": null,
2341
+ "run_pass": null,
2342
+ "runs_expected": false
2343
+ },
2344
+ {
2345
+ "category": "ffi_interop",
2346
+ "check_pass": true,
2347
+ "contract_clean": true,
2348
+ "contract_violations": [],
2349
+ "diagnostic": "",
2350
+ "difficulty": "advanced",
2351
+ "has_prediction": true,
2352
+ "id": "0978_ffi_interop_synthetic_0673",
2353
+ "run_output_tail": null,
2354
+ "run_pass": null,
2355
+ "runs_expected": false
2356
+ },
2357
+ {
2358
+ "category": "gpu_octonion",
2359
+ "check_pass": true,
2360
+ "contract_clean": true,
2361
+ "contract_violations": [],
2362
+ "diagnostic": "",
2363
+ "difficulty": "intermediate",
2364
+ "has_prediction": true,
2365
+ "id": "0986_gpu_octonion_synthetic_0681",
2366
+ "run_output_tail": null,
2367
+ "run_pass": null,
2368
+ "runs_expected": false
2369
+ },
2370
+ {
2371
+ "category": "reserve_advanced",
2372
+ "check_pass": true,
2373
+ "contract_clean": true,
2374
+ "contract_violations": [],
2375
+ "diagnostic": "",
2376
+ "difficulty": "beginner",
2377
+ "has_prediction": true,
2378
+ "id": "1011_reserve_advanced_synthetic_0706",
2379
+ "run_output_tail": "36\n",
2380
+ "run_pass": true,
2381
+ "runs_expected": true
2382
+ },
2383
+ {
2384
+ "category": "ffi_interop",
2385
+ "check_pass": true,
2386
+ "contract_clean": true,
2387
+ "contract_violations": [],
2388
+ "diagnostic": "",
2389
+ "difficulty": "advanced",
2390
+ "has_prediction": true,
2391
+ "id": "1019_ffi_interop_synthetic_0714",
2392
+ "run_output_tail": null,
2393
+ "run_pass": null,
2394
+ "runs_expected": false
2395
+ },
2396
+ {
2397
+ "category": "gpu_octonion",
2398
+ "check_pass": true,
2399
+ "contract_clean": true,
2400
+ "contract_violations": [],
2401
+ "diagnostic": "",
2402
+ "difficulty": "intermediate",
2403
+ "has_prediction": true,
2404
+ "id": "1025_gpu_octonion_synthetic_0720",
2405
+ "run_output_tail": "8\n",
2406
+ "run_pass": true,
2407
+ "runs_expected": true
2408
+ },
2409
+ {
2410
+ "category": "reserve_advanced",
2411
+ "check_pass": true,
2412
+ "contract_clean": true,
2413
+ "contract_violations": [],
2414
+ "diagnostic": "",
2415
+ "difficulty": "beginner",
2416
+ "has_prediction": true,
2417
+ "id": "1052_reserve_advanced_synthetic_0747",
2418
+ "run_output_tail": null,
2419
+ "run_pass": null,
2420
+ "runs_expected": false
2421
+ },
2422
+ {
2423
+ "category": "ffi_interop",
2424
+ "check_pass": true,
2425
+ "contract_clean": true,
2426
+ "contract_violations": [],
2427
+ "diagnostic": "",
2428
+ "difficulty": "advanced",
2429
+ "has_prediction": true,
2430
+ "id": "1058_ffi_interop_synthetic_0753",
2431
+ "run_output_tail": null,
2432
+ "run_pass": null,
2433
+ "runs_expected": false
2434
+ },
2435
+ {
2436
+ "category": "gpu_octonion",
2437
+ "check_pass": true,
2438
+ "contract_clean": true,
2439
+ "contract_violations": [],
2440
+ "diagnostic": "",
2441
+ "difficulty": "intermediate",
2442
+ "has_prediction": true,
2443
+ "id": "1066_gpu_octonion_synthetic_0761",
2444
+ "run_output_tail": null,
2445
+ "run_pass": null,
2446
+ "runs_expected": false
2447
+ },
2448
+ {
2449
+ "category": "reserve_advanced",
2450
+ "check_pass": true,
2451
+ "contract_clean": true,
2452
+ "contract_violations": [],
2453
+ "diagnostic": "",
2454
+ "difficulty": "beginner",
2455
+ "has_prediction": true,
2456
+ "id": "1091_reserve_advanced_synthetic_0786",
2457
+ "run_output_tail": "64\n",
2458
+ "run_pass": false,
2459
+ "runs_expected": true
2460
+ },
2461
+ {
2462
+ "category": "ffi_interop",
2463
+ "check_pass": true,
2464
+ "contract_clean": true,
2465
+ "contract_violations": [],
2466
+ "diagnostic": "",
2467
+ "difficulty": "advanced",
2468
+ "has_prediction": true,
2469
+ "id": "1099_ffi_interop_synthetic_0794",
2470
+ "run_output_tail": null,
2471
+ "run_pass": null,
2472
+ "runs_expected": false
2473
+ },
2474
+ {
2475
+ "category": "gpu_octonion",
2476
+ "check_pass": true,
2477
+ "contract_clean": true,
2478
+ "contract_violations": [],
2479
+ "diagnostic": "",
2480
+ "difficulty": "intermediate",
2481
+ "has_prediction": true,
2482
+ "id": "1105_gpu_octonion_synthetic_0800",
2483
+ "run_output_tail": "8\n",
2484
+ "run_pass": true,
2485
+ "runs_expected": true
2486
+ },
2487
+ {
2488
+ "category": "reserve_advanced",
2489
+ "check_pass": true,
2490
+ "contract_clean": true,
2491
+ "contract_violations": [],
2492
+ "diagnostic": "",
2493
+ "difficulty": "beginner",
2494
+ "has_prediction": true,
2495
+ "id": "1132_reserve_advanced_synthetic_0827",
2496
+ "run_output_tail": null,
2497
+ "run_pass": null,
2498
+ "runs_expected": false
2499
+ },
2500
+ {
2501
+ "category": "ffi_interop",
2502
+ "check_pass": true,
2503
+ "contract_clean": true,
2504
+ "contract_violations": [],
2505
+ "diagnostic": "",
2506
+ "difficulty": "advanced",
2507
+ "has_prediction": true,
2508
+ "id": "1138_ffi_interop_synthetic_0833",
2509
+ "run_output_tail": null,
2510
+ "run_pass": null,
2511
+ "runs_expected": false
2512
+ },
2513
+ {
2514
+ "category": "gpu_octonion",
2515
+ "check_pass": true,
2516
+ "contract_clean": true,
2517
+ "contract_violations": [],
2518
+ "diagnostic": "",
2519
+ "difficulty": "intermediate",
2520
+ "has_prediction": true,
2521
+ "id": "1146_gpu_octonion_synthetic_0841",
2522
+ "run_output_tail": null,
2523
+ "run_pass": null,
2524
+ "runs_expected": false
2525
+ },
2526
+ {
2527
+ "category": "reserve_advanced",
2528
+ "check_pass": true,
2529
+ "contract_clean": true,
2530
+ "contract_violations": [],
2531
+ "diagnostic": "",
2532
+ "difficulty": "beginner",
2533
+ "has_prediction": true,
2534
+ "id": "1171_reserve_advanced_synthetic_0866",
2535
+ "run_output_tail": "144\n",
2536
+ "run_pass": true,
2537
+ "runs_expected": true
2538
+ },
2539
+ {
2540
+ "category": "ffi_interop",
2541
+ "check_pass": true,
2542
+ "contract_clean": true,
2543
+ "contract_violations": [],
2544
+ "diagnostic": "",
2545
+ "difficulty": "advanced",
2546
+ "has_prediction": true,
2547
+ "id": "1179_ffi_interop_synthetic_0874",
2548
+ "run_output_tail": null,
2549
+ "run_pass": null,
2550
+ "runs_expected": false
2551
+ },
2552
+ {
2553
+ "category": "gpu_octonion",
2554
+ "check_pass": true,
2555
+ "contract_clean": true,
2556
+ "contract_violations": [],
2557
+ "diagnostic": "",
2558
+ "difficulty": "intermediate",
2559
+ "has_prediction": true,
2560
+ "id": "1185_gpu_octonion_synthetic_0880",
2561
+ "run_output_tail": "8\n",
2562
+ "run_pass": true,
2563
+ "runs_expected": true
2564
+ },
2565
+ {
2566
+ "category": "reserve_advanced",
2567
+ "check_pass": true,
2568
+ "contract_clean": true,
2569
+ "contract_violations": [],
2570
+ "diagnostic": "",
2571
+ "difficulty": "beginner",
2572
+ "has_prediction": true,
2573
+ "id": "1212_reserve_advanced_synthetic_0907",
2574
+ "run_output_tail": null,
2575
+ "run_pass": null,
2576
+ "runs_expected": false
2577
+ },
2578
+ {
2579
+ "category": "ffi_interop",
2580
+ "check_pass": true,
2581
+ "contract_clean": true,
2582
+ "contract_violations": [],
2583
+ "diagnostic": "",
2584
+ "difficulty": "advanced",
2585
+ "has_prediction": true,
2586
+ "id": "1218_ffi_interop_synthetic_0913",
2587
+ "run_output_tail": null,
2588
+ "run_pass": null,
2589
+ "runs_expected": false
2590
+ },
2591
+ {
2592
+ "category": "gpu_octonion",
2593
+ "check_pass": true,
2594
+ "contract_clean": true,
2595
+ "contract_violations": [],
2596
+ "diagnostic": "",
2597
+ "difficulty": "intermediate",
2598
+ "has_prediction": true,
2599
+ "id": "1226_gpu_octonion_synthetic_0921",
2600
+ "run_output_tail": null,
2601
+ "run_pass": null,
2602
+ "runs_expected": false
2603
+ },
2604
+ {
2605
+ "category": "reserve_advanced",
2606
+ "check_pass": true,
2607
+ "contract_clean": true,
2608
+ "contract_violations": [],
2609
+ "diagnostic": "",
2610
+ "difficulty": "beginner",
2611
+ "has_prediction": true,
2612
+ "id": "1251_reserve_advanced_synthetic_0946",
2613
+ "run_output_tail": "64\n",
2614
+ "run_pass": true,
2615
+ "runs_expected": true
2616
+ },
2617
+ {
2618
+ "category": "ffi_interop",
2619
+ "check_pass": true,
2620
+ "contract_clean": true,
2621
+ "contract_violations": [],
2622
+ "diagnostic": "",
2623
+ "difficulty": "advanced",
2624
+ "has_prediction": true,
2625
+ "id": "1259_ffi_interop_synthetic_0954",
2626
+ "run_output_tail": null,
2627
+ "run_pass": null,
2628
+ "runs_expected": false
2629
+ },
2630
+ {
2631
+ "category": "gpu_octonion",
2632
+ "check_pass": true,
2633
+ "contract_clean": true,
2634
+ "contract_violations": [],
2635
+ "diagnostic": "",
2636
+ "difficulty": "intermediate",
2637
+ "has_prediction": true,
2638
+ "id": "1265_gpu_octonion_synthetic_0960",
2639
+ "run_output_tail": "8\n",
2640
+ "run_pass": true,
2641
+ "runs_expected": true
2642
+ },
2643
+ {
2644
+ "category": "reserve_advanced",
2645
+ "check_pass": true,
2646
+ "contract_clean": true,
2647
+ "contract_violations": [],
2648
+ "diagnostic": "",
2649
+ "difficulty": "beginner",
2650
+ "has_prediction": true,
2651
+ "id": "1292_reserve_advanced_synthetic_0987",
2652
+ "run_output_tail": null,
2653
+ "run_pass": null,
2654
+ "runs_expected": false
2655
+ },
2656
+ {
2657
+ "category": "ffi_interop",
2658
+ "check_pass": true,
2659
+ "contract_clean": true,
2660
+ "contract_violations": [],
2661
+ "diagnostic": "",
2662
+ "difficulty": "advanced",
2663
+ "has_prediction": true,
2664
+ "id": "1298_ffi_interop_synthetic_0993",
2665
+ "run_output_tail": null,
2666
+ "run_pass": null,
2667
+ "runs_expected": false
2668
+ }
2669
+ ],
2670
+ "run_expected": 65,
2671
+ "run_expected_predicted": 65,
2672
+ "run_pass": 59,
2673
+ "run_pass_overall_rate": 0.295,
2674
+ "run_rate": 0.9076923076923077,
2675
+ "run_rate_on_predicted": 0.9076923076923077,
2676
+ "total_eval_rows": 200
2677
+ }
adapter_eval_summary.json ADDED
@@ -0,0 +1,40 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "adapter_dir": "/orangefs/training/sounio/hf-examples/lora-smoke/sounio-qwen15-lora-full200-surgical-repair-20260522T021535/results/adapter",
3
+ "cuda_available": true,
4
+ "cuda_device_count": 1,
5
+ "duration_seconds": 981.4617891311646,
6
+ "eval_category": "all",
7
+ "eval_offset": 0,
8
+ "eval_rows_generated": 200,
9
+ "eval_stdout": "{\n \"check_pass\": 199,\n \"check_pass_contract_clean\": 198,\n \"check_pass_contract_clean_rate_on_predictions\": 0.99,\n \"check_rate\": 0.995,\n \"check_rate_on_predictions\": 0.995,\n \"contract_clean\": 199,\n \"contract_clean_rate_on_predictions\": 0.995,\n \"missing_predictions\": 0,\n \"mode\": \"predictions\",\n \"predictions_found\": 200,\n \"run_expected\": 65,\n \"run_expected_predicted\": 65,\n \"run_pass\": 59,\n \"run_pass_overall_rate\": 0.295,\n \"run_rate\": 0.9076923076923077,\n \"run_rate_on_predicted\": 0.9076923076923077,\n \"total_eval_rows\": 200\n}\n",
10
+ "eval_summary": {
11
+ "check_pass": 199,
12
+ "check_pass_contract_clean": 198,
13
+ "check_pass_contract_clean_rate_on_predictions": 0.99,
14
+ "check_rate": 0.995,
15
+ "contract_clean": 199,
16
+ "contract_clean_rate_on_predictions": 0.995,
17
+ "contract_violation_counts": {
18
+ "rust-python:String": 1
19
+ },
20
+ "predictions_found": 200,
21
+ "run_pass": 59,
22
+ "run_rate_on_predicted": 0.9076923076923077,
23
+ "total_eval_rows": 200
24
+ },
25
+ "max_new_tokens": 512,
26
+ "model": "Qwen/Qwen2.5-Coder-1.5B",
27
+ "output_dir": "/orangefs/training/sounio/hf-examples/lora-smoke/sounio-qwen15-adapter-eval-98plus-20260522T083913/results",
28
+ "prompt_style": "sounio-compact-completion",
29
+ "repair_counts": {
30
+ "effect_repair": 12,
31
+ "fallback_effects_algebra": 1,
32
+ "fallback_gpu_octonion": 1,
33
+ "fallback_humaneval": 3,
34
+ "fallback_reserve": 3,
35
+ "normalised_surface": 2,
36
+ "trimmed": 200
37
+ },
38
+ "repair_generated_effects": true,
39
+ "torch_version": "2.6.0+cu124"
40
+ }
adapter_model.safetensors ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:9d8540e218439bb28026115fbe8d4be5fe18162a0a1c07474d9850579ee36c4a
3
+ size 73911112
added_tokens.json ADDED
@@ -0,0 +1,24 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "</tool_call>": 151658,
3
+ "<tool_call>": 151657,
4
+ "<|box_end|>": 151649,
5
+ "<|box_start|>": 151648,
6
+ "<|endoftext|>": 151643,
7
+ "<|file_sep|>": 151664,
8
+ "<|fim_middle|>": 151660,
9
+ "<|fim_pad|>": 151662,
10
+ "<|fim_prefix|>": 151659,
11
+ "<|fim_suffix|>": 151661,
12
+ "<|im_end|>": 151645,
13
+ "<|im_start|>": 151644,
14
+ "<|image_pad|>": 151655,
15
+ "<|object_ref_end|>": 151647,
16
+ "<|object_ref_start|>": 151646,
17
+ "<|quad_end|>": 151651,
18
+ "<|quad_start|>": 151650,
19
+ "<|repo_name|>": 151663,
20
+ "<|video_pad|>": 151656,
21
+ "<|vision_end|>": 151653,
22
+ "<|vision_pad|>": 151654,
23
+ "<|vision_start|>": 151652
24
+ }
lora_smoke_eval_report.json ADDED
@@ -0,0 +1,2689 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "by_category": {
3
+ "basic": {
4
+ "check_pass": 30,
5
+ "check_pass_contract_clean": 30,
6
+ "contract_clean": 30,
7
+ "missing_predictions": 0,
8
+ "rows": 31
9
+ },
10
+ "effects_algebra": {
11
+ "check_pass": 29,
12
+ "check_pass_contract_clean": 29,
13
+ "contract_clean": 30,
14
+ "missing_predictions": 0,
15
+ "rows": 30
16
+ },
17
+ "ffi_interop": {
18
+ "check_pass": 31,
19
+ "check_pass_contract_clean": 31,
20
+ "contract_clean": 31,
21
+ "missing_predictions": 0,
22
+ "rows": 31
23
+ },
24
+ "gpu_octonion": {
25
+ "check_pass": 29,
26
+ "check_pass_contract_clean": 29,
27
+ "contract_clean": 30,
28
+ "missing_predictions": 0,
29
+ "rows": 30
30
+ },
31
+ "humaneval_mbpp": {
32
+ "check_pass": 16,
33
+ "check_pass_contract_clean": 16,
34
+ "contract_clean": 17,
35
+ "missing_predictions": 0,
36
+ "rows": 17
37
+ },
38
+ "knowledge": {
39
+ "check_pass": 31,
40
+ "check_pass_contract_clean": 31,
41
+ "contract_clean": 31,
42
+ "missing_predictions": 0,
43
+ "rows": 31
44
+ },
45
+ "reserve_advanced": {
46
+ "check_pass": 26,
47
+ "check_pass_contract_clean": 26,
48
+ "contract_clean": 27,
49
+ "missing_predictions": 0,
50
+ "rows": 30
51
+ }
52
+ },
53
+ "check_pass": 192,
54
+ "check_pass_contract_clean": 192,
55
+ "check_pass_contract_clean_rate_on_predictions": 0.96,
56
+ "check_rate": 0.96,
57
+ "check_rate_on_predictions": 0.96,
58
+ "contract_clean": 196,
59
+ "contract_clean_rate_on_predictions": 0.98,
60
+ "contract_violation_counts": {
61
+ "rust-python:.to_string()": 2,
62
+ "rust-python:String": 3,
63
+ "rust-python:Vec<": 1,
64
+ "rust-python:vec!": 1
65
+ },
66
+ "missing_predictions": 0,
67
+ "mode": "predictions",
68
+ "predictions_found": 200,
69
+ "results": [
70
+ {
71
+ "category": "basic",
72
+ "check_pass": true,
73
+ "contract_clean": true,
74
+ "contract_violations": [],
75
+ "diagnostic": "",
76
+ "difficulty": "beginner",
77
+ "has_prediction": true,
78
+ "id": "0002_basic_algebra_properties_basic",
79
+ "run_output_tail": null,
80
+ "run_pass": null,
81
+ "runs_expected": false
82
+ },
83
+ {
84
+ "category": "basic",
85
+ "check_pass": true,
86
+ "contract_clean": true,
87
+ "contract_violations": [],
88
+ "diagnostic": "",
89
+ "difficulty": "intermediate",
90
+ "has_prediction": true,
91
+ "id": "0007_basic_effect_handler_basic",
92
+ "run_output_tail": null,
93
+ "run_pass": null,
94
+ "runs_expected": false
95
+ },
96
+ {
97
+ "category": "basic",
98
+ "check_pass": true,
99
+ "contract_clean": true,
100
+ "contract_violations": [],
101
+ "diagnostic": "",
102
+ "difficulty": "beginner",
103
+ "has_prediction": true,
104
+ "id": "0012_basic_import_basic_a",
105
+ "run_output_tail": null,
106
+ "run_pass": null,
107
+ "runs_expected": false
108
+ },
109
+ {
110
+ "category": "basic",
111
+ "check_pass": true,
112
+ "contract_clean": true,
113
+ "contract_violations": [],
114
+ "diagnostic": "",
115
+ "difficulty": "intermediate",
116
+ "has_prediction": true,
117
+ "id": "0017_basic_native_match_int",
118
+ "run_output_tail": null,
119
+ "run_pass": null,
120
+ "runs_expected": false
121
+ },
122
+ {
123
+ "category": "basic",
124
+ "check_pass": true,
125
+ "contract_clean": true,
126
+ "contract_violations": [],
127
+ "diagnostic": "",
128
+ "difficulty": "beginner",
129
+ "has_prediction": true,
130
+ "id": "0022_basic_unobserved_basic",
131
+ "run_output_tail": null,
132
+ "run_pass": null,
133
+ "runs_expected": false
134
+ },
135
+ {
136
+ "category": "humaneval_mbpp",
137
+ "check_pass": true,
138
+ "contract_clean": true,
139
+ "contract_violations": [],
140
+ "diagnostic": "",
141
+ "difficulty": "expert",
142
+ "has_prediction": true,
143
+ "id": "0030_humaneval_mbpp_004_palindrome",
144
+ "run_output_tail": "004_palindrome: ALL TESTS PASSED\n",
145
+ "run_pass": true,
146
+ "runs_expected": true
147
+ },
148
+ {
149
+ "category": "humaneval_mbpp",
150
+ "check_pass": true,
151
+ "contract_clean": true,
152
+ "contract_violations": [],
153
+ "diagnostic": "",
154
+ "difficulty": "intermediate",
155
+ "has_prediction": true,
156
+ "id": "0035_humaneval_mbpp_009_power",
157
+ "run_output_tail": "009_power: ALL TESTS PASSED\n",
158
+ "run_pass": true,
159
+ "runs_expected": true
160
+ },
161
+ {
162
+ "category": "humaneval_mbpp",
163
+ "check_pass": true,
164
+ "contract_clean": true,
165
+ "contract_violations": [],
166
+ "diagnostic": "",
167
+ "difficulty": "expert",
168
+ "has_prediction": true,
169
+ "id": "0040_humaneval_mbpp_014_rotate_array",
170
+ "run_output_tail": "014_rotate_array: ALL TESTS PASSED\n",
171
+ "run_pass": true,
172
+ "runs_expected": true
173
+ },
174
+ {
175
+ "category": "humaneval_mbpp",
176
+ "check_pass": true,
177
+ "contract_clean": true,
178
+ "contract_violations": [],
179
+ "diagnostic": "",
180
+ "difficulty": "intermediate",
181
+ "has_prediction": true,
182
+ "id": "0045_humaneval_mbpp_019_string_to_int",
183
+ "run_output_tail": "019_string_to_int: ALL TESTS PASSED\n",
184
+ "run_pass": true,
185
+ "runs_expected": true
186
+ },
187
+ {
188
+ "category": "humaneval_mbpp",
189
+ "check_pass": true,
190
+ "contract_clean": true,
191
+ "contract_violations": [],
192
+ "diagnostic": "",
193
+ "difficulty": "expert",
194
+ "has_prediction": true,
195
+ "id": "0050_humaneval_mbpp_024_histogram",
196
+ "run_output_tail": "024_histogram: ALL TESTS PASSED\n",
197
+ "run_pass": true,
198
+ "runs_expected": true
199
+ },
200
+ {
201
+ "category": "humaneval_mbpp",
202
+ "check_pass": true,
203
+ "contract_clean": true,
204
+ "contract_violations": [],
205
+ "diagnostic": "",
206
+ "difficulty": "intermediate",
207
+ "has_prediction": true,
208
+ "id": "0055_humaneval_mbpp_029_selection_sort",
209
+ "run_output_tail": "029_selection_sort: ALL TESTS PASSED\n",
210
+ "run_pass": true,
211
+ "runs_expected": true
212
+ },
213
+ {
214
+ "category": "humaneval_mbpp",
215
+ "check_pass": true,
216
+ "contract_clean": true,
217
+ "contract_violations": [],
218
+ "diagnostic": "",
219
+ "difficulty": "expert",
220
+ "has_prediction": true,
221
+ "id": "0060_humaneval_mbpp_034_majority_element",
222
+ "run_output_tail": "034_majority_element: ALL TESTS PASSED\n",
223
+ "run_pass": true,
224
+ "runs_expected": true
225
+ },
226
+ {
227
+ "category": "humaneval_mbpp",
228
+ "check_pass": false,
229
+ "contract_clean": true,
230
+ "contract_violations": [],
231
+ "diagnostic": "source: /tmp/sounio-eval-_4fw7nrx/0065_humaneval_mbpp_039_house_robber.sio 412\n bytes\ntotal source: 10508\n bytes\ntokens: 2510\n\nst_count: 0\n depth_end: 0\n\nglobals: 0\n bss=1048864\n\neffects: scanned 23\n functions\nrefined: 54\n in 2\n passes\nunc_detail: dot=0\n decl=0\n let=0\n colon=0\n other=0\n\nepistemic: 1451\n expr, 1451\n certain (100\n%), 0\n uncertain [ident=25\n ops=29\n other=0\n], types=7\n, gate=950\n/1000\nepistemic_main: 55\n expr, 55\n certain (100\n%), 0\n uncertain\nknightian: 0\n sites, gap_sum=0\n\nknowledge_subtype: 0\n sites, 0\n violations\nknowledge_units: 0\n sites with dimensional Knowledge<T>\ntier_dist: PLATINUM=1451\n GOLD=0\n SILVER=0\n BRONZE=0\n [PLATINUM%=100\n%]\neconf: total=1451\n platinum=1451\n gate_pass=1451\n knightian=0\n min=1000\n mean=1000\n gate=950\n\nerror: unknown identifier at line 5\n\ntypecheck: failed\n",
232
+ "difficulty": "intermediate",
233
+ "has_prediction": true,
234
+ "id": "0065_humaneval_mbpp_039_house_robber",
235
+ "run_output_tail": null,
236
+ "run_pass": null,
237
+ "runs_expected": true
238
+ },
239
+ {
240
+ "category": "humaneval_mbpp",
241
+ "check_pass": true,
242
+ "contract_clean": true,
243
+ "contract_violations": [],
244
+ "diagnostic": "",
245
+ "difficulty": "expert",
246
+ "has_prediction": true,
247
+ "id": "0070_humaneval_mbpp_044_decode_ways",
248
+ "run_output_tail": "044_decode_ways: ALL TESTS PASSED\n",
249
+ "run_pass": true,
250
+ "runs_expected": true
251
+ },
252
+ {
253
+ "category": "humaneval_mbpp",
254
+ "check_pass": true,
255
+ "contract_clean": true,
256
+ "contract_violations": [],
257
+ "diagnostic": "",
258
+ "difficulty": "intermediate",
259
+ "has_prediction": true,
260
+ "id": "0075_humaneval_mbpp_049_count_inversions",
261
+ "run_output_tail": null,
262
+ "run_pass": null,
263
+ "runs_expected": false
264
+ },
265
+ {
266
+ "category": "humaneval_mbpp",
267
+ "check_pass": true,
268
+ "contract_clean": true,
269
+ "contract_violations": [],
270
+ "diagnostic": "",
271
+ "difficulty": "expert",
272
+ "has_prediction": true,
273
+ "id": "0080_humaneval_mbpp_054_valid_bst",
274
+ "run_output_tail": "054_valid_bst: ALL TESTS PASSED\n",
275
+ "run_pass": true,
276
+ "runs_expected": true
277
+ },
278
+ {
279
+ "category": "humaneval_mbpp",
280
+ "check_pass": true,
281
+ "contract_clean": true,
282
+ "contract_violations": [],
283
+ "diagnostic": "",
284
+ "difficulty": "intermediate",
285
+ "has_prediction": true,
286
+ "id": "0085_humaneval_mbpp_060_minimum_window",
287
+ "run_output_tail": null,
288
+ "run_pass": null,
289
+ "runs_expected": false
290
+ },
291
+ {
292
+ "category": "humaneval_mbpp",
293
+ "check_pass": true,
294
+ "contract_clean": true,
295
+ "contract_violations": [],
296
+ "diagnostic": "",
297
+ "difficulty": "expert",
298
+ "has_prediction": true,
299
+ "id": "0090_humaneval_mbpp_066_surrounded_regions",
300
+ "run_output_tail": null,
301
+ "run_pass": null,
302
+ "runs_expected": false
303
+ },
304
+ {
305
+ "category": "humaneval_mbpp",
306
+ "check_pass": true,
307
+ "contract_clean": true,
308
+ "contract_violations": [],
309
+ "diagnostic": "",
310
+ "difficulty": "intermediate",
311
+ "has_prediction": true,
312
+ "id": "0095_humaneval_mbpp_073_rabin_karp",
313
+ "run_output_tail": null,
314
+ "run_pass": null,
315
+ "runs_expected": false
316
+ },
317
+ {
318
+ "category": "humaneval_mbpp",
319
+ "check_pass": true,
320
+ "contract_clean": true,
321
+ "contract_violations": [],
322
+ "diagnostic": "",
323
+ "difficulty": "expert",
324
+ "has_prediction": true,
325
+ "id": "0100_humaneval_mbpp_080_search_rotated",
326
+ "run_output_tail": "080_search_rotated: ALL TESTS PASSED\n",
327
+ "run_pass": true,
328
+ "runs_expected": true
329
+ },
330
+ {
331
+ "category": "humaneval_mbpp",
332
+ "check_pass": true,
333
+ "contract_clean": true,
334
+ "contract_violations": [],
335
+ "diagnostic": "",
336
+ "difficulty": "intermediate",
337
+ "has_prediction": true,
338
+ "id": "0105_humaneval_mbpp_085_add_binary",
339
+ "run_output_tail": "0105_humaneval_mbpp_085_add_binary: ALL TESTS PASSED\n",
340
+ "run_pass": false,
341
+ "runs_expected": true
342
+ },
343
+ {
344
+ "category": "humaneval_mbpp",
345
+ "check_pass": true,
346
+ "contract_clean": true,
347
+ "contract_violations": [],
348
+ "diagnostic": "",
349
+ "difficulty": "expert",
350
+ "has_prediction": true,
351
+ "id": "0110_humaneval_mbpp_092_popcount",
352
+ "run_output_tail": "092_popcount: ALL TESTS PASSED\n",
353
+ "run_pass": true,
354
+ "runs_expected": true
355
+ },
356
+ {
357
+ "category": "knowledge",
358
+ "check_pass": true,
359
+ "contract_clean": true,
360
+ "contract_violations": [],
361
+ "diagnostic": "",
362
+ "difficulty": "intermediate",
363
+ "has_prediction": true,
364
+ "id": "0114_knowledge_epistemic",
365
+ "run_output_tail": null,
366
+ "run_pass": null,
367
+ "runs_expected": false
368
+ },
369
+ {
370
+ "category": "knowledge",
371
+ "check_pass": true,
372
+ "contract_clean": true,
373
+ "contract_violations": [],
374
+ "diagnostic": "",
375
+ "difficulty": "advanced",
376
+ "has_prediction": true,
377
+ "id": "0119_knowledge_epistemic_hessian_transcendentals",
378
+ "run_output_tail": null,
379
+ "run_pass": null,
380
+ "runs_expected": false
381
+ },
382
+ {
383
+ "category": "knowledge",
384
+ "check_pass": true,
385
+ "contract_clean": true,
386
+ "contract_violations": [],
387
+ "diagnostic": "",
388
+ "difficulty": "intermediate",
389
+ "has_prediction": true,
390
+ "id": "0124_knowledge_generic_knowledge",
391
+ "run_output_tail": null,
392
+ "run_pass": null,
393
+ "runs_expected": false
394
+ },
395
+ {
396
+ "category": "knowledge",
397
+ "check_pass": true,
398
+ "contract_clean": true,
399
+ "contract_violations": [],
400
+ "diagnostic": "",
401
+ "difficulty": "advanced",
402
+ "has_prediction": true,
403
+ "id": "0129_knowledge_knowledge_value_with_epistemic",
404
+ "run_output_tail": null,
405
+ "run_pass": null,
406
+ "runs_expected": false
407
+ },
408
+ {
409
+ "category": "effects_algebra",
410
+ "check_pass": false,
411
+ "contract_clean": true,
412
+ "contract_violations": [],
413
+ "diagnostic": "source: /tmp/sounio-eval-_4fw7nrx/0133_effects_algebra_algebra_observe_synthesis.sio 444\n bytes\ntotal source: 10540\n bytes\ntokens: 2483\n\nst_count: 0\n depth_end: 0\n\nglobals: 0\n bss=1048864\n\neffects: scanned 23\n functions\nrefined: 51\n in 2\n passes\n prev=70\n L1\n\n prev=28\n L2\n\n prev=28\n L3\n\n prev=3\n L6\n\n prev=3\n L6\n\n prev=16\n L16\n\nunc_detail: dot=0\n decl=0\n let=0\n colon=0\n other=6\n\nepistemic: 1442\n expr, 1436\n certain (99\n%), 6\n uncertain [ident=28\n ops=29\n other=6\n], types=7\n, gate=950\n/1000\nepistemic_main: 46\n expr, 40\n certain (86\n%), 6\n uncertain\nknightian: 0\n sites, gap_sum=0\n\nknowledge_subtype: 0\n sites, 0\n violations\nknowledge_units: 0\n sites with dimensional Knowledge<T>\ntier_dist: PLATINUM=1436\n GOLD=0\n SILVER=0\n BRONZE=0\n [PLATINUM%=99\n%]\neconf: total=1442\n platinum=1436\n gate_pass=1436\n knightian=6\n min=0\n mean=995\n gate=950\n\nE200 `x` at line 16\n\nE200 `y` at line 16\n\ntypecheck: failed\n",
414
+ "difficulty": "beginner",
415
+ "has_prediction": true,
416
+ "id": "0133_effects_algebra_algebra_observe_synthesis",
417
+ "run_output_tail": null,
418
+ "run_pass": null,
419
+ "runs_expected": false
420
+ },
421
+ {
422
+ "category": "effects_algebra",
423
+ "check_pass": true,
424
+ "contract_clean": true,
425
+ "contract_violations": [],
426
+ "diagnostic": "",
427
+ "difficulty": "advanced",
428
+ "has_prediction": true,
429
+ "id": "0138_effects_algebra_effect_chain_propagation",
430
+ "run_output_tail": null,
431
+ "run_pass": null,
432
+ "runs_expected": false
433
+ },
434
+ {
435
+ "category": "effects_algebra",
436
+ "check_pass": true,
437
+ "contract_clean": true,
438
+ "contract_violations": [],
439
+ "diagnostic": "",
440
+ "difficulty": "beginner",
441
+ "has_prediction": true,
442
+ "id": "0143_effects_algebra_wave_a_algebra_struct",
443
+ "run_output_tail": null,
444
+ "run_pass": null,
445
+ "runs_expected": false
446
+ },
447
+ {
448
+ "category": "gpu_octonion",
449
+ "check_pass": false,
450
+ "contract_clean": true,
451
+ "contract_violations": [],
452
+ "diagnostic": "source: /tmp/sounio-eval-_4fw7nrx/0148_gpu_octonion_octonion_hessian_fano_annotated.sio 473\n bytes\ntotal source: 10569\n bytes\ntokens: 2502\n\nst_count: 0\n depth_end: 0\n\nglobals: 0\n bss=1048864\n\neffects: scanned 23\n functions\nrefined: 54\n in 3\n passes\n prev=70\n L1\n\n prev=28\n L2\n\n prev=28\n L3\n\n prev=8\n L8\n\n prev=17\n L8\n\n prev=17\n L8\n\n prev=16\n L12\n\n prev=16\n L13\n\n prev=28\n L14\n\nunc_detail: dot=0\n decl=0\n let=0\n colon=0\n other=9\n\nepistemic: 1449\n expr, 1438\n certain (99\n%), 11\n uncertain [ident=33\n ops=31\n other=9\n], types=7\n, gate=950\n/1000\nepistemic_main: 53\n expr, 42\n certain (79\n%), 11\n uncertain\nknightian: 0\n sites, gap_sum=0\n\nknowledge_subtype: 0\n sites, 0\n violations\nknowledge_units: 0\n sites with dimensional Knowledge<T>\ntier_dist: PLATINUM=1438\n GOLD=0\n SILVER=0\n BRONZE=0\n [PLATINUM%=99\n%]\neconf: total=1449\n platinum=1438\n gate_pass=1438\n knightian=11\n min=0\n mean=992\n gate=950\n\nE200 `Beta8Phase2` at line 8\n\nE200 `real` at line 8\n\nerror: unknown field access at line 8\n\nerror: unknown field access at line 8\n\nE200 `beta` at line 8\n\nerror: unknown field access at line 8\n\nerror: unknown field access at line 8\n\nE200 `Beta8Phase2` at line 12\n\nE200 `real` at line 12\n\nE200 `beta` at line 12\n\ntypecheck: failed\n",
453
+ "difficulty": "advanced",
454
+ "has_prediction": true,
455
+ "id": "0148_gpu_octonion_octonion_hessian_fano_annotated",
456
+ "run_output_tail": null,
457
+ "run_pass": null,
458
+ "runs_expected": false
459
+ },
460
+ {
461
+ "category": "reserve_advanced",
462
+ "check_pass": true,
463
+ "contract_clean": true,
464
+ "contract_violations": [],
465
+ "diagnostic": "",
466
+ "difficulty": "beginner",
467
+ "has_prediction": true,
468
+ "id": "0153_reserve_advanced_sieve",
469
+ "run_output_tail": null,
470
+ "run_pass": null,
471
+ "runs_expected": false
472
+ },
473
+ {
474
+ "category": "reserve_advanced",
475
+ "check_pass": true,
476
+ "contract_clean": true,
477
+ "contract_violations": [],
478
+ "diagnostic": "",
479
+ "difficulty": "advanced",
480
+ "has_prediction": true,
481
+ "id": "0158_reserve_advanced_mod_demo",
482
+ "run_output_tail": null,
483
+ "run_pass": null,
484
+ "runs_expected": false
485
+ },
486
+ {
487
+ "category": "reserve_advanced",
488
+ "check_pass": true,
489
+ "contract_clean": true,
490
+ "contract_violations": [],
491
+ "diagnostic": "",
492
+ "difficulty": "beginner",
493
+ "has_prediction": true,
494
+ "id": "0163_reserve_advanced_dissertation_oral_pd_demo",
495
+ "run_output_tail": null,
496
+ "run_pass": null,
497
+ "runs_expected": false
498
+ },
499
+ {
500
+ "category": "reserve_advanced",
501
+ "check_pass": false,
502
+ "contract_clean": false,
503
+ "contract_violations": [
504
+ "rust-python:String"
505
+ ],
506
+ "diagnostic": "source: /tmp/sounio-eval-_4fw7nrx/0168_reserve_advanced_epistemic_bmi.sio 568\n bytes\ntotal source: 10664\n bytes\ntokens: 2512\n\nst_count: 1\n depth_end: 0\n\nglobals: 0\n bss=1048864\n\neffects: scanned 23\n functions\nrefined: 55\n in 2\n passes\nunc_detail: dot=0\n decl=0\n let=0\n colon=0\n other=0\n\nepistemic: 1451\n expr, 1451\n certain (100\n%), 0\n uncertain [ident=24\n ops=31\n other=0\n], types=7\n, gate=950\n/1000\nepistemic_main: 55\n expr, 55\n certain (100\n%), 0\n uncertain\nknightian: 0\n sites, gap_sum=0\n\nknowledge_subtype: 0\n sites, 0\n violations\nknowledge_units: 0\n sites with dimensional Knowledge<T>\ntier_dist: PLATINUM=1451\n GOLD=0\n SILVER=0\n BRONZE=0\n [PLATINUM%=100\n%]\neconf: total=1451\n platinum=1451\n gate_pass=1451\n knightian=0\n min=1000\n mean=1000\n gate=950\n\nerror: unknown method at line 10\n\ntypecheck: failed\n",
507
+ "difficulty": "advanced",
508
+ "has_prediction": true,
509
+ "id": "0168_reserve_advanced_epistemic_bmi",
510
+ "run_output_tail": null,
511
+ "run_pass": null,
512
+ "runs_expected": false
513
+ },
514
+ {
515
+ "category": "reserve_advanced",
516
+ "check_pass": false,
517
+ "contract_clean": true,
518
+ "contract_violations": [],
519
+ "diagnostic": "source: /tmp/sounio-eval-_4fw7nrx/0173_reserve_advanced_gpu_hypercomplex.sio 268\n bytes\ntotal source: 10364\n bytes\ntokens: 2490\n\nst_count: 1\n depth_end: 0\n\nglobals: 0\n bss=1048864\n\neffects: scanned 23\n functions\nrefined: 52\n in 2\n passes\n prev=19\n L4\n\nunc_detail: dot=0\n decl=0\n let=0\n colon=0\n other=1\n\nepistemic: 1448\n expr, 1446\n certain (99\n%), 2\n uncertain [ident=24\n ops=30\n other=1\n], types=7\n, gate=950\n/1000\nepistemic_main: 52\n expr, 50\n certain (96\n%), 2\n uncertain\nknightian: 0\n sites, gap_sum=0\n\nknowledge_subtype: 0\n sites, 0\n violations\nknowledge_units: 0\n sites with dimensional Knowledge<T>\ntier_dist: PLATINUM=1446\n GOLD=0\n SILVER=0\n BRONZE=0\n [PLATINUM%=99\n%]\neconf: total=1448\n platinum=1446\n gate_pass=1446\n knightian=2\n min=0\n mean=998\n gate=950\n\nE200 `d` at line 4\n\ntypecheck: failed\n",
520
+ "difficulty": "beginner",
521
+ "has_prediction": true,
522
+ "id": "0173_reserve_advanced_gpu_hypercomplex",
523
+ "run_output_tail": null,
524
+ "run_pass": null,
525
+ "runs_expected": false
526
+ },
527
+ {
528
+ "category": "reserve_advanced",
529
+ "check_pass": true,
530
+ "contract_clean": true,
531
+ "contract_violations": [],
532
+ "diagnostic": "",
533
+ "difficulty": "advanced",
534
+ "has_prediction": true,
535
+ "id": "0178_reserve_advanced_hof_fn_ref_call",
536
+ "run_output_tail": null,
537
+ "run_pass": null,
538
+ "runs_expected": false
539
+ },
540
+ {
541
+ "category": "reserve_advanced",
542
+ "check_pass": true,
543
+ "contract_clean": true,
544
+ "contract_violations": [],
545
+ "diagnostic": "",
546
+ "difficulty": "beginner",
547
+ "has_prediction": true,
548
+ "id": "0183_reserve_advanced_struct_mutation",
549
+ "run_output_tail": null,
550
+ "run_pass": null,
551
+ "runs_expected": false
552
+ },
553
+ {
554
+ "category": "reserve_advanced",
555
+ "check_pass": true,
556
+ "contract_clean": true,
557
+ "contract_violations": [],
558
+ "diagnostic": "",
559
+ "difficulty": "advanced",
560
+ "has_prediction": true,
561
+ "id": "0188_reserve_advanced_native_higher_order",
562
+ "run_output_tail": null,
563
+ "run_pass": null,
564
+ "runs_expected": false
565
+ },
566
+ {
567
+ "category": "reserve_advanced",
568
+ "check_pass": true,
569
+ "contract_clean": true,
570
+ "contract_violations": [],
571
+ "diagnostic": "",
572
+ "difficulty": "beginner",
573
+ "has_prediction": true,
574
+ "id": "0193_reserve_advanced_playground_scientific_contract",
575
+ "run_output_tail": null,
576
+ "run_pass": null,
577
+ "runs_expected": false
578
+ },
579
+ {
580
+ "category": "reserve_advanced",
581
+ "check_pass": true,
582
+ "contract_clean": true,
583
+ "contract_violations": [],
584
+ "diagnostic": "",
585
+ "difficulty": "advanced",
586
+ "has_prediction": true,
587
+ "id": "0198_reserve_advanced_uncertainty_ppm",
588
+ "run_output_tail": null,
589
+ "run_pass": null,
590
+ "runs_expected": false
591
+ },
592
+ {
593
+ "category": "reserve_advanced",
594
+ "check_pass": true,
595
+ "contract_clean": true,
596
+ "contract_violations": [],
597
+ "diagnostic": "",
598
+ "difficulty": "beginner",
599
+ "has_prediction": true,
600
+ "id": "0203_reserve_advanced_simple_test",
601
+ "run_output_tail": null,
602
+ "run_pass": null,
603
+ "runs_expected": false
604
+ },
605
+ {
606
+ "category": "reserve_advanced",
607
+ "check_pass": true,
608
+ "contract_clean": true,
609
+ "contract_violations": [],
610
+ "diagnostic": "",
611
+ "difficulty": "advanced",
612
+ "has_prediction": true,
613
+ "id": "0208_reserve_advanced_zd_audit_witness",
614
+ "run_output_tail": null,
615
+ "run_pass": null,
616
+ "runs_expected": false
617
+ },
618
+ {
619
+ "category": "reserve_advanced",
620
+ "check_pass": true,
621
+ "contract_clean": true,
622
+ "contract_violations": [],
623
+ "diagnostic": "",
624
+ "difficulty": "beginner",
625
+ "has_prediction": true,
626
+ "id": "0213_reserve_advanced_test_struct_init",
627
+ "run_output_tail": null,
628
+ "run_pass": null,
629
+ "runs_expected": false
630
+ },
631
+ {
632
+ "category": "reserve_advanced",
633
+ "check_pass": false,
634
+ "contract_clean": false,
635
+ "contract_violations": [
636
+ "rust-python:.to_string()",
637
+ "rust-python:String"
638
+ ],
639
+ "diagnostic": "source: /tmp/sounio-eval-_4fw7nrx/0218_reserve_advanced_ontology_multiple_disjoint_known_failure.sio 402\n bytes\ntotal source: 10498\n bytes\ntokens: 2485\n\nst_count: 1\n depth_end: 0\n\nglobals: 0\n bss=1048864\n\neffects: scanned 23\n functions\nrefined: 52\n in 2\n passes\nunc_detail: dot=0\n decl=0\n let=0\n colon=0\n other=0\n\nepistemic: 1438\n expr, 1438\n certain (100\n%), 0\n uncertain [ident=23\n ops=29\n other=0\n], types=7\n, gate=950\n/1000\nepistemic_main: 42\n expr, 42\n certain (100\n%), 0\n uncertain\nknightian: 0\n sites, gap_sum=0\n\nknowledge_subtype: 0\n sites, 0\n violations\nknowledge_units: 0\n sites with dimensional Knowledge<T>\ntier_dist: PLATINUM=1438\n GOLD=0\n SILVER=0\n BRONZE=0\n [PLATINUM%=100\n%]\neconf: total=1438\n platinum=1438\n gate_pass=1438\n knightian=0\n min=1000\n mean=1000\n gate=950\n\nerror: unknown method at line 8\n\ntypecheck: failed\n",
640
+ "difficulty": "advanced",
641
+ "has_prediction": true,
642
+ "id": "0218_reserve_advanced_ontology_multiple_disjoint_known_failure",
643
+ "run_output_tail": null,
644
+ "run_pass": null,
645
+ "runs_expected": false
646
+ },
647
+ {
648
+ "category": "reserve_advanced",
649
+ "check_pass": false,
650
+ "contract_clean": false,
651
+ "contract_violations": [
652
+ "rust-python:.to_string()",
653
+ "rust-python:String"
654
+ ],
655
+ "diagnostic": "source: /tmp/sounio-eval-_4fw7nrx/0223_reserve_advanced_ontology_transitive.sio 495\n bytes\ntotal source: 10591\n bytes\ntokens: 2505\n\nst_count: 1\n depth_end: 0\n\nglobals: 0\n bss=1048864\n\neffects: scanned 23\n functions\nrefined: 52\n in 2\n passes\nunc_detail: dot=0\n decl=0\n let=0\n colon=0\n other=0\n\nepistemic: 1446\n expr, 1446\n certain (100\n%), 0\n uncertain [ident=23\n ops=29\n other=0\n], types=7\n, gate=950\n/1000\nepistemic_main: 50\n expr, 50\n certain (100\n%), 0\n uncertain\nknightian: 0\n sites, gap_sum=0\n\nknowledge_subtype: 0\n sites, 0\n violations\nknowledge_units: 0\n sites with dimensional Knowledge<T>\ntier_dist: PLATINUM=1446\n GOLD=0\n SILVER=0\n BRONZE=0\n [PLATINUM%=100\n%]\neconf: total=1446\n platinum=1446\n gate_pass=1446\n knightian=0\n min=1000\n mean=1000\n gate=950\n\nerror: unknown method at line 8\n\nerror: unknown method at line 8\n\nerror: unknown method at line 8\n\ntypecheck: failed\n",
656
+ "difficulty": "beginner",
657
+ "has_prediction": true,
658
+ "id": "0223_reserve_advanced_ontology_transitive",
659
+ "run_output_tail": null,
660
+ "run_pass": null,
661
+ "runs_expected": false
662
+ },
663
+ {
664
+ "category": "reserve_advanced",
665
+ "check_pass": true,
666
+ "contract_clean": true,
667
+ "contract_violations": [],
668
+ "diagnostic": "",
669
+ "difficulty": "advanced",
670
+ "has_prediction": true,
671
+ "id": "0228_reserve_advanced_refinement_inline",
672
+ "run_output_tail": null,
673
+ "run_pass": null,
674
+ "runs_expected": false
675
+ },
676
+ {
677
+ "category": "reserve_advanced",
678
+ "check_pass": true,
679
+ "contract_clean": true,
680
+ "contract_violations": [],
681
+ "diagnostic": "",
682
+ "difficulty": "beginner",
683
+ "has_prediction": true,
684
+ "id": "0233_reserve_advanced_refinement_probability",
685
+ "run_output_tail": null,
686
+ "run_pass": null,
687
+ "runs_expected": false
688
+ },
689
+ {
690
+ "category": "reserve_advanced",
691
+ "check_pass": true,
692
+ "contract_clean": true,
693
+ "contract_violations": [],
694
+ "diagnostic": "",
695
+ "difficulty": "expert",
696
+ "has_prediction": true,
697
+ "id": "0240_reserve_advanced_sb_002_effect_safe_division",
698
+ "run_output_tail": null,
699
+ "run_pass": null,
700
+ "runs_expected": false
701
+ },
702
+ {
703
+ "category": "basic",
704
+ "check_pass": true,
705
+ "contract_clean": true,
706
+ "contract_violations": [],
707
+ "diagnostic": "",
708
+ "difficulty": "beginner",
709
+ "has_prediction": true,
710
+ "id": "0243_basic_approx_propagation",
711
+ "run_output_tail": null,
712
+ "run_pass": null,
713
+ "runs_expected": false
714
+ },
715
+ {
716
+ "category": "basic",
717
+ "check_pass": true,
718
+ "contract_clean": true,
719
+ "contract_violations": [],
720
+ "diagnostic": "",
721
+ "difficulty": "advanced",
722
+ "has_prediction": true,
723
+ "id": "0248_basic_closure_capture",
724
+ "run_output_tail": null,
725
+ "run_pass": null,
726
+ "runs_expected": false
727
+ },
728
+ {
729
+ "category": "basic",
730
+ "check_pass": true,
731
+ "contract_clean": true,
732
+ "contract_violations": [],
733
+ "diagnostic": "",
734
+ "difficulty": "beginner",
735
+ "has_prediction": true,
736
+ "id": "0253_basic_closure_sort_by",
737
+ "run_output_tail": null,
738
+ "run_pass": null,
739
+ "runs_expected": false
740
+ },
741
+ {
742
+ "category": "basic",
743
+ "check_pass": true,
744
+ "contract_clean": true,
745
+ "contract_violations": [],
746
+ "diagnostic": "",
747
+ "difficulty": "advanced",
748
+ "has_prediction": true,
749
+ "id": "0258_basic_explicit_deref_field",
750
+ "run_output_tail": null,
751
+ "run_pass": null,
752
+ "runs_expected": false
753
+ },
754
+ {
755
+ "category": "basic",
756
+ "check_pass": true,
757
+ "contract_clean": true,
758
+ "contract_violations": [],
759
+ "diagnostic": "",
760
+ "difficulty": "beginner",
761
+ "has_prediction": true,
762
+ "id": "0263_basic_generics_multi_param",
763
+ "run_output_tail": null,
764
+ "run_pass": null,
765
+ "runs_expected": false
766
+ },
767
+ {
768
+ "category": "basic",
769
+ "check_pass": true,
770
+ "contract_clean": true,
771
+ "contract_violations": [],
772
+ "diagnostic": "",
773
+ "difficulty": "advanced",
774
+ "has_prediction": true,
775
+ "id": "0268_basic_gum_iso_budget_ode",
776
+ "run_output_tail": null,
777
+ "run_pass": null,
778
+ "runs_expected": false
779
+ },
780
+ {
781
+ "category": "basic",
782
+ "check_pass": true,
783
+ "contract_clean": true,
784
+ "contract_violations": [],
785
+ "diagnostic": "",
786
+ "difficulty": "beginner",
787
+ "has_prediction": true,
788
+ "id": "0273_basic_i32_implicit_return",
789
+ "run_output_tail": null,
790
+ "run_pass": null,
791
+ "runs_expected": false
792
+ },
793
+ {
794
+ "category": "basic",
795
+ "check_pass": true,
796
+ "contract_clean": true,
797
+ "contract_violations": [],
798
+ "diagnostic": "",
799
+ "difficulty": "advanced",
800
+ "has_prediction": true,
801
+ "id": "0278_basic_issue11_ptr_index_write_u8",
802
+ "run_output_tail": null,
803
+ "run_pass": null,
804
+ "runs_expected": false
805
+ },
806
+ {
807
+ "category": "basic",
808
+ "check_pass": true,
809
+ "contract_clean": true,
810
+ "contract_violations": [],
811
+ "diagnostic": "",
812
+ "difficulty": "beginner",
813
+ "has_prediction": true,
814
+ "id": "0283_basic_linear_correct_consume",
815
+ "run_output_tail": null,
816
+ "run_pass": null,
817
+ "runs_expected": false
818
+ },
819
+ {
820
+ "category": "basic",
821
+ "check_pass": true,
822
+ "contract_clean": true,
823
+ "contract_violations": [],
824
+ "diagnostic": "",
825
+ "difficulty": "advanced",
826
+ "has_prediction": true,
827
+ "id": "0288_basic_mc_struct_large",
828
+ "run_output_tail": null,
829
+ "run_pass": null,
830
+ "runs_expected": false
831
+ },
832
+ {
833
+ "category": "basic",
834
+ "check_pass": true,
835
+ "contract_clean": true,
836
+ "contract_violations": [],
837
+ "diagnostic": "",
838
+ "difficulty": "beginner",
839
+ "has_prediction": true,
840
+ "id": "0293_basic_ode_bridge_exponential",
841
+ "run_output_tail": null,
842
+ "run_pass": null,
843
+ "runs_expected": false
844
+ },
845
+ {
846
+ "category": "basic",
847
+ "check_pass": true,
848
+ "contract_clean": true,
849
+ "contract_violations": [],
850
+ "diagnostic": "",
851
+ "difficulty": "advanced",
852
+ "has_prediction": true,
853
+ "id": "0298_basic_slice_fat_pointers",
854
+ "run_output_tail": null,
855
+ "run_pass": null,
856
+ "runs_expected": false
857
+ },
858
+ {
859
+ "category": "basic",
860
+ "check_pass": false,
861
+ "contract_clean": false,
862
+ "contract_violations": [
863
+ "rust-python:Vec<",
864
+ "rust-python:vec!"
865
+ ],
866
+ "diagnostic": "source: /tmp/sounio-eval-_4fw7nrx/0303_basic_test_nested_struct_return.sio 317\n bytes\ntotal source: 10413\n bytes\ntokens: 2484\n\nst_count: 1\n depth_end: 0\n\nglobals: 0\n bss=1048864\n\neffects: scanned 23\n functions\nrefined: 54\n in 2\n passes\nunc_detail: dot=0\n decl=0\n let=0\n colon=0\n other=0\n\nepistemic: 1436\n expr, 1436\n certain (100\n%), 0\n uncertain [ident=23\n ops=31\n other=0\n], types=7\n, gate=950\n/1000\nepistemic_main: 40\n expr, 40\n certain (100\n%), 0\n uncertain\nknightian: 0\n sites, gap_sum=0\n\nknowledge_subtype: 0\n sites, 0\n violations\nknowledge_units: 0\n sites with dimensional Knowledge<T>\ntier_dist: PLATINUM=1436\n GOLD=0\n SILVER=0\n BRONZE=0\n [PLATINUM%=100\n%]\neconf: total=1436\n platinum=1436\n gate_pass=1436\n knightian=0\n min=1000\n mean=1000\n gate=950\n\nerror: unknown method at line 4\n\nE200 `vec` at line 9\n\ntypecheck: failed\n",
867
+ "difficulty": "beginner",
868
+ "has_prediction": true,
869
+ "id": "0303_basic_test_nested_struct_return",
870
+ "run_output_tail": null,
871
+ "run_pass": null,
872
+ "runs_expected": false
873
+ },
874
+ {
875
+ "category": "ffi_interop",
876
+ "check_pass": true,
877
+ "contract_clean": true,
878
+ "contract_violations": [],
879
+ "diagnostic": "",
880
+ "difficulty": "intermediate",
881
+ "has_prediction": true,
882
+ "id": "0307_ffi_interop_synthetic_0002",
883
+ "run_output_tail": "4\n",
884
+ "run_pass": true,
885
+ "runs_expected": true
886
+ },
887
+ {
888
+ "category": "ffi_interop",
889
+ "check_pass": true,
890
+ "contract_clean": true,
891
+ "contract_violations": [],
892
+ "diagnostic": "",
893
+ "difficulty": "intermediate",
894
+ "has_prediction": true,
895
+ "id": "0314_ffi_interop_synthetic_0009",
896
+ "run_output_tail": "16\n",
897
+ "run_pass": true,
898
+ "runs_expected": true
899
+ },
900
+ {
901
+ "category": "gpu_octonion",
902
+ "check_pass": true,
903
+ "contract_clean": true,
904
+ "contract_violations": [],
905
+ "diagnostic": "",
906
+ "difficulty": "expert",
907
+ "has_prediction": true,
908
+ "id": "0320_gpu_octonion_synthetic_0015",
909
+ "run_output_tail": null,
910
+ "run_pass": null,
911
+ "runs_expected": false
912
+ },
913
+ {
914
+ "category": "ffi_interop",
915
+ "check_pass": true,
916
+ "contract_clean": true,
917
+ "contract_violations": [],
918
+ "diagnostic": "",
919
+ "difficulty": "advanced",
920
+ "has_prediction": true,
921
+ "id": "0328_ffi_interop_synthetic_0023",
922
+ "run_output_tail": "call\n",
923
+ "run_pass": true,
924
+ "runs_expected": true
925
+ },
926
+ {
927
+ "category": "effects_algebra",
928
+ "check_pass": true,
929
+ "contract_clean": true,
930
+ "contract_violations": [],
931
+ "diagnostic": "",
932
+ "difficulty": "expert",
933
+ "has_prediction": true,
934
+ "id": "0330_effects_algebra_synthetic_0025",
935
+ "run_output_tail": null,
936
+ "run_pass": null,
937
+ "runs_expected": false
938
+ },
939
+ {
940
+ "category": "knowledge",
941
+ "check_pass": true,
942
+ "contract_clean": true,
943
+ "contract_violations": [],
944
+ "diagnostic": "",
945
+ "difficulty": "advanced",
946
+ "has_prediction": true,
947
+ "id": "0339_knowledge_synthetic_0034",
948
+ "run_output_tail": null,
949
+ "run_pass": null,
950
+ "runs_expected": false
951
+ },
952
+ {
953
+ "category": "gpu_octonion",
954
+ "check_pass": true,
955
+ "contract_clean": true,
956
+ "contract_violations": [],
957
+ "diagnostic": "",
958
+ "difficulty": "beginner",
959
+ "has_prediction": true,
960
+ "id": "0343_gpu_octonion_synthetic_0038",
961
+ "run_output_tail": null,
962
+ "run_pass": null,
963
+ "runs_expected": false
964
+ },
965
+ {
966
+ "category": "effects_algebra",
967
+ "check_pass": true,
968
+ "contract_clean": true,
969
+ "contract_violations": [],
970
+ "diagnostic": "",
971
+ "difficulty": "intermediate",
972
+ "has_prediction": true,
973
+ "id": "0346_effects_algebra_synthetic_0041",
974
+ "run_output_tail": null,
975
+ "run_pass": null,
976
+ "runs_expected": false
977
+ },
978
+ {
979
+ "category": "ffi_interop",
980
+ "check_pass": true,
981
+ "contract_clean": true,
982
+ "contract_violations": [],
983
+ "diagnostic": "",
984
+ "difficulty": "intermediate",
985
+ "has_prediction": true,
986
+ "id": "0354_ffi_interop_synthetic_0049",
987
+ "run_output_tail": "16\n",
988
+ "run_pass": true,
989
+ "runs_expected": true
990
+ },
991
+ {
992
+ "category": "knowledge",
993
+ "check_pass": true,
994
+ "contract_clean": true,
995
+ "contract_violations": [],
996
+ "diagnostic": "",
997
+ "difficulty": "intermediate",
998
+ "has_prediction": true,
999
+ "id": "0355_knowledge_synthetic_0050",
1000
+ "run_output_tail": null,
1001
+ "run_pass": null,
1002
+ "runs_expected": false
1003
+ },
1004
+ {
1005
+ "category": "effects_algebra",
1006
+ "check_pass": true,
1007
+ "contract_clean": true,
1008
+ "contract_violations": [],
1009
+ "diagnostic": "",
1010
+ "difficulty": "beginner",
1011
+ "has_prediction": true,
1012
+ "id": "0362_effects_algebra_synthetic_0057",
1013
+ "run_output_tail": null,
1014
+ "run_pass": null,
1015
+ "runs_expected": false
1016
+ },
1017
+ {
1018
+ "category": "gpu_octonion",
1019
+ "check_pass": true,
1020
+ "contract_clean": true,
1021
+ "contract_violations": [],
1022
+ "diagnostic": "",
1023
+ "difficulty": "intermediate",
1024
+ "has_prediction": true,
1025
+ "id": "0367_gpu_octonion_synthetic_0062",
1026
+ "run_output_tail": null,
1027
+ "run_pass": null,
1028
+ "runs_expected": false
1029
+ },
1030
+ {
1031
+ "category": "knowledge",
1032
+ "check_pass": true,
1033
+ "contract_clean": true,
1034
+ "contract_violations": [],
1035
+ "diagnostic": "",
1036
+ "difficulty": "beginner",
1037
+ "has_prediction": true,
1038
+ "id": "0371_knowledge_synthetic_0066",
1039
+ "run_output_tail": null,
1040
+ "run_pass": null,
1041
+ "runs_expected": false
1042
+ },
1043
+ {
1044
+ "category": "ffi_interop",
1045
+ "check_pass": true,
1046
+ "contract_clean": true,
1047
+ "contract_violations": [],
1048
+ "diagnostic": "",
1049
+ "difficulty": "advanced",
1050
+ "has_prediction": true,
1051
+ "id": "0378_ffi_interop_synthetic_0073",
1052
+ "run_output_tail": "16\n",
1053
+ "run_pass": true,
1054
+ "runs_expected": true
1055
+ },
1056
+ {
1057
+ "category": "effects_algebra",
1058
+ "check_pass": true,
1059
+ "contract_clean": true,
1060
+ "contract_violations": [],
1061
+ "diagnostic": "",
1062
+ "difficulty": "expert",
1063
+ "has_prediction": true,
1064
+ "id": "0380_effects_algebra_synthetic_0075",
1065
+ "run_output_tail": null,
1066
+ "run_pass": null,
1067
+ "runs_expected": false
1068
+ },
1069
+ {
1070
+ "category": "knowledge",
1071
+ "check_pass": true,
1072
+ "contract_clean": true,
1073
+ "contract_violations": [],
1074
+ "diagnostic": "",
1075
+ "difficulty": "advanced",
1076
+ "has_prediction": true,
1077
+ "id": "0389_knowledge_synthetic_0084",
1078
+ "run_output_tail": "usable\n",
1079
+ "run_pass": true,
1080
+ "runs_expected": true
1081
+ },
1082
+ {
1083
+ "category": "gpu_octonion",
1084
+ "check_pass": true,
1085
+ "contract_clean": true,
1086
+ "contract_violations": [],
1087
+ "diagnostic": "",
1088
+ "difficulty": "beginner",
1089
+ "has_prediction": true,
1090
+ "id": "0393_gpu_octonion_synthetic_0088",
1091
+ "run_output_tail": "8\n",
1092
+ "run_pass": true,
1093
+ "runs_expected": true
1094
+ },
1095
+ {
1096
+ "category": "effects_algebra",
1097
+ "check_pass": true,
1098
+ "contract_clean": true,
1099
+ "contract_violations": [],
1100
+ "diagnostic": "",
1101
+ "difficulty": "intermediate",
1102
+ "has_prediction": true,
1103
+ "id": "0396_effects_algebra_synthetic_0091",
1104
+ "run_output_tail": null,
1105
+ "run_pass": null,
1106
+ "runs_expected": false
1107
+ },
1108
+ {
1109
+ "category": "ffi_interop",
1110
+ "check_pass": true,
1111
+ "contract_clean": true,
1112
+ "contract_violations": [],
1113
+ "diagnostic": "",
1114
+ "difficulty": "intermediate",
1115
+ "has_prediction": true,
1116
+ "id": "0404_ffi_interop_synthetic_0099",
1117
+ "run_output_tail": "call\n",
1118
+ "run_pass": true,
1119
+ "runs_expected": true
1120
+ },
1121
+ {
1122
+ "category": "knowledge",
1123
+ "check_pass": true,
1124
+ "contract_clean": true,
1125
+ "contract_violations": [],
1126
+ "diagnostic": "",
1127
+ "difficulty": "intermediate",
1128
+ "has_prediction": true,
1129
+ "id": "0405_knowledge_synthetic_0100",
1130
+ "run_output_tail": "usable\n",
1131
+ "run_pass": true,
1132
+ "runs_expected": true
1133
+ },
1134
+ {
1135
+ "category": "effects_algebra",
1136
+ "check_pass": true,
1137
+ "contract_clean": true,
1138
+ "contract_violations": [],
1139
+ "diagnostic": "",
1140
+ "difficulty": "beginner",
1141
+ "has_prediction": true,
1142
+ "id": "0412_effects_algebra_synthetic_0107",
1143
+ "run_output_tail": null,
1144
+ "run_pass": null,
1145
+ "runs_expected": false
1146
+ },
1147
+ {
1148
+ "category": "gpu_octonion",
1149
+ "check_pass": true,
1150
+ "contract_clean": true,
1151
+ "contract_violations": [],
1152
+ "diagnostic": "",
1153
+ "difficulty": "intermediate",
1154
+ "has_prediction": true,
1155
+ "id": "0417_gpu_octonion_synthetic_0112",
1156
+ "run_output_tail": "8\n",
1157
+ "run_pass": true,
1158
+ "runs_expected": true
1159
+ },
1160
+ {
1161
+ "category": "knowledge",
1162
+ "check_pass": true,
1163
+ "contract_clean": true,
1164
+ "contract_violations": [],
1165
+ "diagnostic": "",
1166
+ "difficulty": "beginner",
1167
+ "has_prediction": true,
1168
+ "id": "0421_knowledge_synthetic_0116",
1169
+ "run_output_tail": "usable\n",
1170
+ "run_pass": true,
1171
+ "runs_expected": true
1172
+ },
1173
+ {
1174
+ "category": "ffi_interop",
1175
+ "check_pass": true,
1176
+ "contract_clean": true,
1177
+ "contract_violations": [],
1178
+ "diagnostic": "",
1179
+ "difficulty": "advanced",
1180
+ "has_prediction": true,
1181
+ "id": "0428_ffi_interop_synthetic_0123",
1182
+ "run_output_tail": "call\n",
1183
+ "run_pass": true,
1184
+ "runs_expected": true
1185
+ },
1186
+ {
1187
+ "category": "effects_algebra",
1188
+ "check_pass": true,
1189
+ "contract_clean": true,
1190
+ "contract_violations": [],
1191
+ "diagnostic": "",
1192
+ "difficulty": "expert",
1193
+ "has_prediction": true,
1194
+ "id": "0430_effects_algebra_synthetic_0125",
1195
+ "run_output_tail": null,
1196
+ "run_pass": null,
1197
+ "runs_expected": false
1198
+ },
1199
+ {
1200
+ "category": "knowledge",
1201
+ "check_pass": true,
1202
+ "contract_clean": true,
1203
+ "contract_violations": [],
1204
+ "diagnostic": "",
1205
+ "difficulty": "advanced",
1206
+ "has_prediction": true,
1207
+ "id": "0439_knowledge_synthetic_0134",
1208
+ "run_output_tail": null,
1209
+ "run_pass": null,
1210
+ "runs_expected": false
1211
+ },
1212
+ {
1213
+ "category": "gpu_octonion",
1214
+ "check_pass": true,
1215
+ "contract_clean": true,
1216
+ "contract_violations": [],
1217
+ "diagnostic": "",
1218
+ "difficulty": "beginner",
1219
+ "has_prediction": true,
1220
+ "id": "0443_gpu_octonion_synthetic_0138",
1221
+ "run_output_tail": null,
1222
+ "run_pass": null,
1223
+ "runs_expected": false
1224
+ },
1225
+ {
1226
+ "category": "effects_algebra",
1227
+ "check_pass": true,
1228
+ "contract_clean": true,
1229
+ "contract_violations": [],
1230
+ "diagnostic": "",
1231
+ "difficulty": "intermediate",
1232
+ "has_prediction": true,
1233
+ "id": "0446_effects_algebra_synthetic_0141",
1234
+ "run_output_tail": null,
1235
+ "run_pass": null,
1236
+ "runs_expected": false
1237
+ },
1238
+ {
1239
+ "category": "ffi_interop",
1240
+ "check_pass": true,
1241
+ "contract_clean": true,
1242
+ "contract_violations": [],
1243
+ "diagnostic": "",
1244
+ "difficulty": "intermediate",
1245
+ "has_prediction": true,
1246
+ "id": "0454_ffi_interop_synthetic_0149",
1247
+ "run_output_tail": "16\n",
1248
+ "run_pass": false,
1249
+ "runs_expected": true
1250
+ },
1251
+ {
1252
+ "category": "knowledge",
1253
+ "check_pass": true,
1254
+ "contract_clean": true,
1255
+ "contract_violations": [],
1256
+ "diagnostic": "",
1257
+ "difficulty": "intermediate",
1258
+ "has_prediction": true,
1259
+ "id": "0455_knowledge_synthetic_0150",
1260
+ "run_output_tail": null,
1261
+ "run_pass": null,
1262
+ "runs_expected": false
1263
+ },
1264
+ {
1265
+ "category": "effects_algebra",
1266
+ "check_pass": true,
1267
+ "contract_clean": true,
1268
+ "contract_violations": [],
1269
+ "diagnostic": "",
1270
+ "difficulty": "beginner",
1271
+ "has_prediction": true,
1272
+ "id": "0462_effects_algebra_synthetic_0157",
1273
+ "run_output_tail": null,
1274
+ "run_pass": null,
1275
+ "runs_expected": false
1276
+ },
1277
+ {
1278
+ "category": "gpu_octonion",
1279
+ "check_pass": true,
1280
+ "contract_clean": true,
1281
+ "contract_violations": [],
1282
+ "diagnostic": "",
1283
+ "difficulty": "intermediate",
1284
+ "has_prediction": true,
1285
+ "id": "0467_gpu_octonion_synthetic_0162",
1286
+ "run_output_tail": null,
1287
+ "run_pass": null,
1288
+ "runs_expected": false
1289
+ },
1290
+ {
1291
+ "category": "knowledge",
1292
+ "check_pass": true,
1293
+ "contract_clean": true,
1294
+ "contract_violations": [],
1295
+ "diagnostic": "",
1296
+ "difficulty": "beginner",
1297
+ "has_prediction": true,
1298
+ "id": "0471_knowledge_synthetic_0166",
1299
+ "run_output_tail": null,
1300
+ "run_pass": null,
1301
+ "runs_expected": false
1302
+ },
1303
+ {
1304
+ "category": "ffi_interop",
1305
+ "check_pass": true,
1306
+ "contract_clean": true,
1307
+ "contract_violations": [],
1308
+ "diagnostic": "",
1309
+ "difficulty": "advanced",
1310
+ "has_prediction": true,
1311
+ "id": "0478_ffi_interop_synthetic_0173",
1312
+ "run_output_tail": "16\n",
1313
+ "run_pass": false,
1314
+ "runs_expected": true
1315
+ },
1316
+ {
1317
+ "category": "effects_algebra",
1318
+ "check_pass": true,
1319
+ "contract_clean": true,
1320
+ "contract_violations": [],
1321
+ "diagnostic": "",
1322
+ "difficulty": "expert",
1323
+ "has_prediction": true,
1324
+ "id": "0480_effects_algebra_synthetic_0175",
1325
+ "run_output_tail": null,
1326
+ "run_pass": null,
1327
+ "runs_expected": false
1328
+ },
1329
+ {
1330
+ "category": "knowledge",
1331
+ "check_pass": true,
1332
+ "contract_clean": true,
1333
+ "contract_violations": [],
1334
+ "diagnostic": "",
1335
+ "difficulty": "advanced",
1336
+ "has_prediction": true,
1337
+ "id": "0489_knowledge_synthetic_0184",
1338
+ "run_output_tail": "usable\n",
1339
+ "run_pass": true,
1340
+ "runs_expected": true
1341
+ },
1342
+ {
1343
+ "category": "gpu_octonion",
1344
+ "check_pass": true,
1345
+ "contract_clean": true,
1346
+ "contract_violations": [],
1347
+ "diagnostic": "",
1348
+ "difficulty": "beginner",
1349
+ "has_prediction": true,
1350
+ "id": "0493_gpu_octonion_synthetic_0188",
1351
+ "run_output_tail": "4\n",
1352
+ "run_pass": true,
1353
+ "runs_expected": true
1354
+ },
1355
+ {
1356
+ "category": "effects_algebra",
1357
+ "check_pass": true,
1358
+ "contract_clean": true,
1359
+ "contract_violations": [],
1360
+ "diagnostic": "",
1361
+ "difficulty": "intermediate",
1362
+ "has_prediction": true,
1363
+ "id": "0496_effects_algebra_synthetic_0191",
1364
+ "run_output_tail": null,
1365
+ "run_pass": null,
1366
+ "runs_expected": false
1367
+ },
1368
+ {
1369
+ "category": "basic",
1370
+ "check_pass": true,
1371
+ "contract_clean": true,
1372
+ "contract_violations": [],
1373
+ "diagnostic": "",
1374
+ "difficulty": "advanced",
1375
+ "has_prediction": true,
1376
+ "id": "0499_basic_synthetic_0194",
1377
+ "run_output_tail": null,
1378
+ "run_pass": null,
1379
+ "runs_expected": false
1380
+ },
1381
+ {
1382
+ "category": "ffi_interop",
1383
+ "check_pass": true,
1384
+ "contract_clean": true,
1385
+ "contract_violations": [],
1386
+ "diagnostic": "",
1387
+ "difficulty": "intermediate",
1388
+ "has_prediction": true,
1389
+ "id": "0506_ffi_interop_synthetic_0201",
1390
+ "run_output_tail": "16\n",
1391
+ "run_pass": true,
1392
+ "runs_expected": true
1393
+ },
1394
+ {
1395
+ "category": "knowledge",
1396
+ "check_pass": true,
1397
+ "contract_clean": true,
1398
+ "contract_violations": [],
1399
+ "diagnostic": "",
1400
+ "difficulty": "advanced",
1401
+ "has_prediction": true,
1402
+ "id": "0509_knowledge_synthetic_0204",
1403
+ "run_output_tail": "usable\n",
1404
+ "run_pass": true,
1405
+ "runs_expected": true
1406
+ },
1407
+ {
1408
+ "category": "basic",
1409
+ "check_pass": true,
1410
+ "contract_clean": true,
1411
+ "contract_violations": [],
1412
+ "diagnostic": "",
1413
+ "difficulty": "intermediate",
1414
+ "has_prediction": true,
1415
+ "id": "0516_basic_synthetic_0211",
1416
+ "run_output_tail": null,
1417
+ "run_pass": null,
1418
+ "runs_expected": false
1419
+ },
1420
+ {
1421
+ "category": "effects_algebra",
1422
+ "check_pass": true,
1423
+ "contract_clean": true,
1424
+ "contract_violations": [],
1425
+ "diagnostic": "",
1426
+ "difficulty": "advanced",
1427
+ "has_prediction": true,
1428
+ "id": "0518_effects_algebra_synthetic_0213",
1429
+ "run_output_tail": null,
1430
+ "run_pass": null,
1431
+ "runs_expected": false
1432
+ },
1433
+ {
1434
+ "category": "gpu_octonion",
1435
+ "check_pass": true,
1436
+ "contract_clean": true,
1437
+ "contract_violations": [],
1438
+ "diagnostic": "",
1439
+ "difficulty": "intermediate",
1440
+ "has_prediction": true,
1441
+ "id": "0525_gpu_octonion_synthetic_0220",
1442
+ "run_output_tail": "4\n",
1443
+ "run_pass": true,
1444
+ "runs_expected": true
1445
+ },
1446
+ {
1447
+ "category": "knowledge",
1448
+ "check_pass": true,
1449
+ "contract_clean": true,
1450
+ "contract_violations": [],
1451
+ "diagnostic": "",
1452
+ "difficulty": "beginner",
1453
+ "has_prediction": true,
1454
+ "id": "0531_knowledge_synthetic_0226",
1455
+ "run_output_tail": null,
1456
+ "run_pass": null,
1457
+ "runs_expected": false
1458
+ },
1459
+ {
1460
+ "category": "basic",
1461
+ "check_pass": true,
1462
+ "contract_clean": true,
1463
+ "contract_violations": [],
1464
+ "diagnostic": "",
1465
+ "difficulty": "intermediate",
1466
+ "has_prediction": true,
1467
+ "id": "0535_basic_synthetic_0230",
1468
+ "run_output_tail": null,
1469
+ "run_pass": null,
1470
+ "runs_expected": false
1471
+ },
1472
+ {
1473
+ "category": "ffi_interop",
1474
+ "check_pass": true,
1475
+ "contract_clean": true,
1476
+ "contract_violations": [],
1477
+ "diagnostic": "",
1478
+ "difficulty": "expert",
1479
+ "has_prediction": true,
1480
+ "id": "0540_ffi_interop_synthetic_0235",
1481
+ "run_output_tail": "call\n",
1482
+ "run_pass": true,
1483
+ "runs_expected": true
1484
+ },
1485
+ {
1486
+ "category": "effects_algebra",
1487
+ "check_pass": true,
1488
+ "contract_clean": true,
1489
+ "contract_violations": [],
1490
+ "diagnostic": "",
1491
+ "difficulty": "beginner",
1492
+ "has_prediction": true,
1493
+ "id": "0543_effects_algebra_synthetic_0238",
1494
+ "run_output_tail": null,
1495
+ "run_pass": null,
1496
+ "runs_expected": false
1497
+ },
1498
+ {
1499
+ "category": "basic",
1500
+ "check_pass": true,
1501
+ "contract_clean": true,
1502
+ "contract_violations": [],
1503
+ "diagnostic": "",
1504
+ "difficulty": "expert",
1505
+ "has_prediction": true,
1506
+ "id": "0550_basic_synthetic_0245",
1507
+ "run_output_tail": null,
1508
+ "run_pass": null,
1509
+ "runs_expected": false
1510
+ },
1511
+ {
1512
+ "category": "knowledge",
1513
+ "check_pass": true,
1514
+ "contract_clean": true,
1515
+ "contract_violations": [],
1516
+ "diagnostic": "",
1517
+ "difficulty": "intermediate",
1518
+ "has_prediction": true,
1519
+ "id": "0556_knowledge_synthetic_0251",
1520
+ "run_output_tail": "dose-ok\n",
1521
+ "run_pass": true,
1522
+ "runs_expected": true
1523
+ },
1524
+ {
1525
+ "category": "gpu_octonion",
1526
+ "check_pass": true,
1527
+ "contract_clean": true,
1528
+ "contract_violations": [],
1529
+ "diagnostic": "",
1530
+ "difficulty": "beginner",
1531
+ "has_prediction": true,
1532
+ "id": "0561_gpu_octonion_synthetic_0256",
1533
+ "run_output_tail": "8\n",
1534
+ "run_pass": true,
1535
+ "runs_expected": true
1536
+ },
1537
+ {
1538
+ "category": "effects_algebra",
1539
+ "check_pass": true,
1540
+ "contract_clean": true,
1541
+ "contract_violations": [],
1542
+ "diagnostic": "",
1543
+ "difficulty": "intermediate",
1544
+ "has_prediction": true,
1545
+ "id": "0566_effects_algebra_synthetic_0261",
1546
+ "run_output_tail": null,
1547
+ "run_pass": null,
1548
+ "runs_expected": false
1549
+ },
1550
+ {
1551
+ "category": "basic",
1552
+ "check_pass": true,
1553
+ "contract_clean": true,
1554
+ "contract_violations": [],
1555
+ "diagnostic": "",
1556
+ "difficulty": "advanced",
1557
+ "has_prediction": true,
1558
+ "id": "0569_basic_synthetic_0264",
1559
+ "run_output_tail": "odd\n",
1560
+ "run_pass": true,
1561
+ "runs_expected": true
1562
+ },
1563
+ {
1564
+ "category": "ffi_interop",
1565
+ "check_pass": true,
1566
+ "contract_clean": true,
1567
+ "contract_violations": [],
1568
+ "diagnostic": "",
1569
+ "difficulty": "intermediate",
1570
+ "has_prediction": true,
1571
+ "id": "0576_ffi_interop_synthetic_0271",
1572
+ "run_output_tail": "call\n",
1573
+ "run_pass": true,
1574
+ "runs_expected": true
1575
+ },
1576
+ {
1577
+ "category": "knowledge",
1578
+ "check_pass": true,
1579
+ "contract_clean": true,
1580
+ "contract_violations": [],
1581
+ "diagnostic": "",
1582
+ "difficulty": "advanced",
1583
+ "has_prediction": true,
1584
+ "id": "0579_knowledge_synthetic_0274",
1585
+ "run_output_tail": null,
1586
+ "run_pass": null,
1587
+ "runs_expected": false
1588
+ },
1589
+ {
1590
+ "category": "basic",
1591
+ "check_pass": true,
1592
+ "contract_clean": true,
1593
+ "contract_violations": [],
1594
+ "diagnostic": "",
1595
+ "difficulty": "intermediate",
1596
+ "has_prediction": true,
1597
+ "id": "0586_basic_synthetic_0281",
1598
+ "run_output_tail": null,
1599
+ "run_pass": null,
1600
+ "runs_expected": false
1601
+ },
1602
+ {
1603
+ "category": "effects_algebra",
1604
+ "check_pass": true,
1605
+ "contract_clean": true,
1606
+ "contract_violations": [],
1607
+ "diagnostic": "",
1608
+ "difficulty": "intermediate",
1609
+ "has_prediction": true,
1610
+ "id": "0594_effects_algebra_synthetic_0289",
1611
+ "run_output_tail": null,
1612
+ "run_pass": null,
1613
+ "runs_expected": false
1614
+ },
1615
+ {
1616
+ "category": "gpu_octonion",
1617
+ "check_pass": true,
1618
+ "contract_clean": true,
1619
+ "contract_violations": [],
1620
+ "diagnostic": "",
1621
+ "difficulty": "intermediate",
1622
+ "has_prediction": true,
1623
+ "id": "0595_gpu_octonion_synthetic_0290",
1624
+ "run_output_tail": null,
1625
+ "run_pass": null,
1626
+ "runs_expected": false
1627
+ },
1628
+ {
1629
+ "category": "knowledge",
1630
+ "check_pass": true,
1631
+ "contract_clean": true,
1632
+ "contract_violations": [],
1633
+ "diagnostic": "",
1634
+ "difficulty": "advanced",
1635
+ "has_prediction": true,
1636
+ "id": "0598_knowledge_synthetic_0293",
1637
+ "run_output_tail": null,
1638
+ "run_pass": null,
1639
+ "runs_expected": false
1640
+ },
1641
+ {
1642
+ "category": "basic",
1643
+ "check_pass": true,
1644
+ "contract_clean": true,
1645
+ "contract_violations": [],
1646
+ "diagnostic": "",
1647
+ "difficulty": "intermediate",
1648
+ "has_prediction": true,
1649
+ "id": "0605_basic_synthetic_0300",
1650
+ "run_output_tail": "odd\n",
1651
+ "run_pass": true,
1652
+ "runs_expected": true
1653
+ },
1654
+ {
1655
+ "category": "ffi_interop",
1656
+ "check_pass": true,
1657
+ "contract_clean": true,
1658
+ "contract_violations": [],
1659
+ "diagnostic": "",
1660
+ "difficulty": "expert",
1661
+ "has_prediction": true,
1662
+ "id": "0610_ffi_interop_synthetic_0305",
1663
+ "run_output_tail": null,
1664
+ "run_pass": null,
1665
+ "runs_expected": false
1666
+ },
1667
+ {
1668
+ "category": "effects_algebra",
1669
+ "check_pass": true,
1670
+ "contract_clean": true,
1671
+ "contract_violations": [],
1672
+ "diagnostic": "",
1673
+ "difficulty": "intermediate",
1674
+ "has_prediction": true,
1675
+ "id": "0616_effects_algebra_synthetic_0311",
1676
+ "run_output_tail": null,
1677
+ "run_pass": null,
1678
+ "runs_expected": false
1679
+ },
1680
+ {
1681
+ "category": "basic",
1682
+ "check_pass": true,
1683
+ "contract_clean": true,
1684
+ "contract_violations": [],
1685
+ "diagnostic": "",
1686
+ "difficulty": "expert",
1687
+ "has_prediction": true,
1688
+ "id": "0620_basic_synthetic_0315",
1689
+ "run_output_tail": null,
1690
+ "run_pass": null,
1691
+ "runs_expected": false
1692
+ },
1693
+ {
1694
+ "category": "knowledge",
1695
+ "check_pass": true,
1696
+ "contract_clean": true,
1697
+ "contract_violations": [],
1698
+ "diagnostic": "",
1699
+ "difficulty": "beginner",
1700
+ "has_prediction": true,
1701
+ "id": "0621_knowledge_synthetic_0316",
1702
+ "run_output_tail": "usable\n",
1703
+ "run_pass": true,
1704
+ "runs_expected": true
1705
+ },
1706
+ {
1707
+ "category": "gpu_octonion",
1708
+ "check_pass": true,
1709
+ "contract_clean": true,
1710
+ "contract_violations": [],
1711
+ "diagnostic": "",
1712
+ "difficulty": "beginner",
1713
+ "has_prediction": true,
1714
+ "id": "0631_gpu_octonion_synthetic_0326",
1715
+ "run_output_tail": null,
1716
+ "run_pass": null,
1717
+ "runs_expected": false
1718
+ },
1719
+ {
1720
+ "category": "basic",
1721
+ "check_pass": true,
1722
+ "contract_clean": true,
1723
+ "contract_violations": [],
1724
+ "diagnostic": "",
1725
+ "difficulty": "advanced",
1726
+ "has_prediction": true,
1727
+ "id": "0639_basic_synthetic_0334",
1728
+ "run_output_tail": null,
1729
+ "run_pass": null,
1730
+ "runs_expected": false
1731
+ },
1732
+ {
1733
+ "category": "effects_algebra",
1734
+ "check_pass": true,
1735
+ "contract_clean": true,
1736
+ "contract_violations": [],
1737
+ "diagnostic": "",
1738
+ "difficulty": "beginner",
1739
+ "has_prediction": true,
1740
+ "id": "0641_effects_algebra_synthetic_0336",
1741
+ "run_output_tail": "ready\n",
1742
+ "run_pass": true,
1743
+ "runs_expected": true
1744
+ },
1745
+ {
1746
+ "category": "knowledge",
1747
+ "check_pass": true,
1748
+ "contract_clean": true,
1749
+ "contract_violations": [],
1750
+ "diagnostic": "",
1751
+ "difficulty": "beginner",
1752
+ "has_prediction": true,
1753
+ "id": "0643_knowledge_synthetic_0338",
1754
+ "run_output_tail": null,
1755
+ "run_pass": null,
1756
+ "runs_expected": false
1757
+ },
1758
+ {
1759
+ "category": "ffi_interop",
1760
+ "check_pass": true,
1761
+ "contract_clean": true,
1762
+ "contract_violations": [],
1763
+ "diagnostic": "",
1764
+ "difficulty": "intermediate",
1765
+ "has_prediction": true,
1766
+ "id": "0646_ffi_interop_synthetic_0341",
1767
+ "run_output_tail": null,
1768
+ "run_pass": null,
1769
+ "runs_expected": false
1770
+ },
1771
+ {
1772
+ "category": "basic",
1773
+ "check_pass": true,
1774
+ "contract_clean": true,
1775
+ "contract_violations": [],
1776
+ "diagnostic": "",
1777
+ "difficulty": "intermediate",
1778
+ "has_prediction": true,
1779
+ "id": "0656_basic_synthetic_0351",
1780
+ "run_output_tail": null,
1781
+ "run_pass": null,
1782
+ "runs_expected": false
1783
+ },
1784
+ {
1785
+ "category": "effects_algebra",
1786
+ "check_pass": true,
1787
+ "contract_clean": true,
1788
+ "contract_violations": [],
1789
+ "diagnostic": "",
1790
+ "difficulty": "intermediate",
1791
+ "has_prediction": true,
1792
+ "id": "0664_effects_algebra_synthetic_0359",
1793
+ "run_output_tail": null,
1794
+ "run_pass": null,
1795
+ "runs_expected": false
1796
+ },
1797
+ {
1798
+ "category": "gpu_octonion",
1799
+ "check_pass": true,
1800
+ "contract_clean": true,
1801
+ "contract_violations": [],
1802
+ "diagnostic": "",
1803
+ "difficulty": "intermediate",
1804
+ "has_prediction": true,
1805
+ "id": "0665_gpu_octonion_synthetic_0360",
1806
+ "run_output_tail": "4\n",
1807
+ "run_pass": false,
1808
+ "runs_expected": true
1809
+ },
1810
+ {
1811
+ "category": "knowledge",
1812
+ "check_pass": true,
1813
+ "contract_clean": true,
1814
+ "contract_violations": [],
1815
+ "diagnostic": "",
1816
+ "difficulty": "advanced",
1817
+ "has_prediction": true,
1818
+ "id": "0668_knowledge_synthetic_0363",
1819
+ "run_output_tail": "dose-ok\n",
1820
+ "run_pass": true,
1821
+ "runs_expected": true
1822
+ },
1823
+ {
1824
+ "category": "basic",
1825
+ "check_pass": true,
1826
+ "contract_clean": true,
1827
+ "contract_violations": [],
1828
+ "diagnostic": "",
1829
+ "difficulty": "intermediate",
1830
+ "has_prediction": true,
1831
+ "id": "0675_basic_synthetic_0370",
1832
+ "run_output_tail": null,
1833
+ "run_pass": null,
1834
+ "runs_expected": false
1835
+ },
1836
+ {
1837
+ "category": "ffi_interop",
1838
+ "check_pass": true,
1839
+ "contract_clean": true,
1840
+ "contract_violations": [],
1841
+ "diagnostic": "",
1842
+ "difficulty": "expert",
1843
+ "has_prediction": true,
1844
+ "id": "0680_ffi_interop_synthetic_0375",
1845
+ "run_output_tail": "call\n",
1846
+ "run_pass": true,
1847
+ "runs_expected": true
1848
+ },
1849
+ {
1850
+ "category": "effects_algebra",
1851
+ "check_pass": true,
1852
+ "contract_clean": true,
1853
+ "contract_violations": [],
1854
+ "diagnostic": "",
1855
+ "difficulty": "intermediate",
1856
+ "has_prediction": true,
1857
+ "id": "0686_effects_algebra_synthetic_0381",
1858
+ "run_output_tail": null,
1859
+ "run_pass": null,
1860
+ "runs_expected": false
1861
+ },
1862
+ {
1863
+ "category": "basic",
1864
+ "check_pass": true,
1865
+ "contract_clean": true,
1866
+ "contract_violations": [],
1867
+ "diagnostic": "",
1868
+ "difficulty": "expert",
1869
+ "has_prediction": true,
1870
+ "id": "0690_basic_synthetic_0385",
1871
+ "run_output_tail": null,
1872
+ "run_pass": null,
1873
+ "runs_expected": false
1874
+ },
1875
+ {
1876
+ "category": "knowledge",
1877
+ "check_pass": true,
1878
+ "contract_clean": true,
1879
+ "contract_violations": [],
1880
+ "diagnostic": "",
1881
+ "difficulty": "beginner",
1882
+ "has_prediction": true,
1883
+ "id": "0691_knowledge_synthetic_0386",
1884
+ "run_output_tail": null,
1885
+ "run_pass": null,
1886
+ "runs_expected": false
1887
+ },
1888
+ {
1889
+ "category": "gpu_octonion",
1890
+ "check_pass": true,
1891
+ "contract_clean": true,
1892
+ "contract_violations": [],
1893
+ "diagnostic": "",
1894
+ "difficulty": "beginner",
1895
+ "has_prediction": true,
1896
+ "id": "0701_gpu_octonion_synthetic_0396",
1897
+ "run_output_tail": "4\n",
1898
+ "run_pass": true,
1899
+ "runs_expected": true
1900
+ },
1901
+ {
1902
+ "category": "basic",
1903
+ "check_pass": true,
1904
+ "contract_clean": true,
1905
+ "contract_violations": [],
1906
+ "diagnostic": "",
1907
+ "difficulty": "advanced",
1908
+ "has_prediction": true,
1909
+ "id": "0709_basic_synthetic_0404",
1910
+ "run_output_tail": "odd\n",
1911
+ "run_pass": true,
1912
+ "runs_expected": true
1913
+ },
1914
+ {
1915
+ "category": "effects_algebra",
1916
+ "check_pass": true,
1917
+ "contract_clean": true,
1918
+ "contract_violations": [],
1919
+ "diagnostic": "",
1920
+ "difficulty": "beginner",
1921
+ "has_prediction": true,
1922
+ "id": "0711_effects_algebra_synthetic_0406",
1923
+ "run_output_tail": null,
1924
+ "run_pass": null,
1925
+ "runs_expected": false
1926
+ },
1927
+ {
1928
+ "category": "knowledge",
1929
+ "check_pass": true,
1930
+ "contract_clean": true,
1931
+ "contract_violations": [],
1932
+ "diagnostic": "",
1933
+ "difficulty": "beginner",
1934
+ "has_prediction": true,
1935
+ "id": "0713_knowledge_synthetic_0408",
1936
+ "run_output_tail": "usable\n",
1937
+ "run_pass": true,
1938
+ "runs_expected": true
1939
+ },
1940
+ {
1941
+ "category": "ffi_interop",
1942
+ "check_pass": true,
1943
+ "contract_clean": true,
1944
+ "contract_violations": [],
1945
+ "diagnostic": "",
1946
+ "difficulty": "intermediate",
1947
+ "has_prediction": true,
1948
+ "id": "0716_ffi_interop_synthetic_0411",
1949
+ "run_output_tail": "call\n",
1950
+ "run_pass": true,
1951
+ "runs_expected": true
1952
+ },
1953
+ {
1954
+ "category": "effects_algebra",
1955
+ "check_pass": true,
1956
+ "contract_clean": true,
1957
+ "contract_violations": [],
1958
+ "diagnostic": "",
1959
+ "difficulty": "intermediate",
1960
+ "has_prediction": true,
1961
+ "id": "0734_effects_algebra_synthetic_0429",
1962
+ "run_output_tail": null,
1963
+ "run_pass": null,
1964
+ "runs_expected": false
1965
+ },
1966
+ {
1967
+ "category": "gpu_octonion",
1968
+ "check_pass": true,
1969
+ "contract_clean": true,
1970
+ "contract_violations": [],
1971
+ "diagnostic": "",
1972
+ "difficulty": "intermediate",
1973
+ "has_prediction": true,
1974
+ "id": "0735_gpu_octonion_synthetic_0430",
1975
+ "run_output_tail": null,
1976
+ "run_pass": null,
1977
+ "runs_expected": false
1978
+ },
1979
+ {
1980
+ "category": "knowledge",
1981
+ "check_pass": true,
1982
+ "contract_clean": true,
1983
+ "contract_violations": [],
1984
+ "diagnostic": "",
1985
+ "difficulty": "advanced",
1986
+ "has_prediction": true,
1987
+ "id": "0738_knowledge_synthetic_0433",
1988
+ "run_output_tail": null,
1989
+ "run_pass": null,
1990
+ "runs_expected": false
1991
+ },
1992
+ {
1993
+ "category": "ffi_interop",
1994
+ "check_pass": true,
1995
+ "contract_clean": true,
1996
+ "contract_violations": [],
1997
+ "diagnostic": "",
1998
+ "difficulty": "expert",
1999
+ "has_prediction": true,
2000
+ "id": "0750_ffi_interop_synthetic_0445",
2001
+ "run_output_tail": null,
2002
+ "run_pass": null,
2003
+ "runs_expected": false
2004
+ },
2005
+ {
2006
+ "category": "effects_algebra",
2007
+ "check_pass": true,
2008
+ "contract_clean": true,
2009
+ "contract_violations": [],
2010
+ "diagnostic": "",
2011
+ "difficulty": "intermediate",
2012
+ "has_prediction": true,
2013
+ "id": "0756_effects_algebra_synthetic_0451",
2014
+ "run_output_tail": null,
2015
+ "run_pass": null,
2016
+ "runs_expected": false
2017
+ },
2018
+ {
2019
+ "category": "knowledge",
2020
+ "check_pass": true,
2021
+ "contract_clean": true,
2022
+ "contract_violations": [],
2023
+ "diagnostic": "",
2024
+ "difficulty": "beginner",
2025
+ "has_prediction": true,
2026
+ "id": "0761_knowledge_synthetic_0456",
2027
+ "run_output_tail": "usable\n",
2028
+ "run_pass": true,
2029
+ "runs_expected": true
2030
+ },
2031
+ {
2032
+ "category": "gpu_octonion",
2033
+ "check_pass": true,
2034
+ "contract_clean": true,
2035
+ "contract_violations": [],
2036
+ "diagnostic": "",
2037
+ "difficulty": "beginner",
2038
+ "has_prediction": true,
2039
+ "id": "0771_gpu_octonion_synthetic_0466",
2040
+ "run_output_tail": null,
2041
+ "run_pass": null,
2042
+ "runs_expected": false
2043
+ },
2044
+ {
2045
+ "category": "effects_algebra",
2046
+ "check_pass": true,
2047
+ "contract_clean": true,
2048
+ "contract_violations": [],
2049
+ "diagnostic": "",
2050
+ "difficulty": "beginner",
2051
+ "has_prediction": true,
2052
+ "id": "0781_effects_algebra_synthetic_0476",
2053
+ "run_output_tail": "ready\n",
2054
+ "run_pass": true,
2055
+ "runs_expected": true
2056
+ },
2057
+ {
2058
+ "category": "knowledge",
2059
+ "check_pass": true,
2060
+ "contract_clean": true,
2061
+ "contract_violations": [],
2062
+ "diagnostic": "",
2063
+ "difficulty": "beginner",
2064
+ "has_prediction": true,
2065
+ "id": "0783_knowledge_synthetic_0478",
2066
+ "run_output_tail": null,
2067
+ "run_pass": null,
2068
+ "runs_expected": false
2069
+ },
2070
+ {
2071
+ "category": "ffi_interop",
2072
+ "check_pass": true,
2073
+ "contract_clean": true,
2074
+ "contract_violations": [],
2075
+ "diagnostic": "",
2076
+ "difficulty": "intermediate",
2077
+ "has_prediction": true,
2078
+ "id": "0786_ffi_interop_synthetic_0481",
2079
+ "run_output_tail": null,
2080
+ "run_pass": null,
2081
+ "runs_expected": false
2082
+ },
2083
+ {
2084
+ "category": "gpu_octonion",
2085
+ "check_pass": true,
2086
+ "contract_clean": true,
2087
+ "contract_violations": [],
2088
+ "diagnostic": "",
2089
+ "difficulty": "beginner",
2090
+ "has_prediction": true,
2091
+ "id": "0791_gpu_octonion_synthetic_0486",
2092
+ "run_output_tail": null,
2093
+ "run_pass": null,
2094
+ "runs_expected": false
2095
+ },
2096
+ {
2097
+ "category": "effects_algebra",
2098
+ "check_pass": true,
2099
+ "contract_clean": true,
2100
+ "contract_violations": [],
2101
+ "diagnostic": "",
2102
+ "difficulty": "intermediate",
2103
+ "has_prediction": true,
2104
+ "id": "0804_effects_algebra_synthetic_0499",
2105
+ "run_output_tail": null,
2106
+ "run_pass": null,
2107
+ "runs_expected": false
2108
+ },
2109
+ {
2110
+ "category": "knowledge",
2111
+ "check_pass": true,
2112
+ "contract_clean": true,
2113
+ "contract_violations": [],
2114
+ "diagnostic": "",
2115
+ "difficulty": "advanced",
2116
+ "has_prediction": true,
2117
+ "id": "0808_knowledge_synthetic_0503",
2118
+ "run_output_tail": "dose-ok\n",
2119
+ "run_pass": true,
2120
+ "runs_expected": true
2121
+ },
2122
+ {
2123
+ "category": "ffi_interop",
2124
+ "check_pass": true,
2125
+ "contract_clean": true,
2126
+ "contract_violations": [],
2127
+ "diagnostic": "",
2128
+ "difficulty": "expert",
2129
+ "has_prediction": true,
2130
+ "id": "0820_ffi_interop_synthetic_0515",
2131
+ "run_output_tail": "call\n",
2132
+ "run_pass": true,
2133
+ "runs_expected": true
2134
+ },
2135
+ {
2136
+ "category": "effects_algebra",
2137
+ "check_pass": true,
2138
+ "contract_clean": true,
2139
+ "contract_violations": [],
2140
+ "diagnostic": "",
2141
+ "difficulty": "intermediate",
2142
+ "has_prediction": true,
2143
+ "id": "0826_effects_algebra_synthetic_0521",
2144
+ "run_output_tail": null,
2145
+ "run_pass": null,
2146
+ "runs_expected": false
2147
+ },
2148
+ {
2149
+ "category": "gpu_octonion",
2150
+ "check_pass": true,
2151
+ "contract_clean": true,
2152
+ "contract_violations": [],
2153
+ "diagnostic": "",
2154
+ "difficulty": "intermediate",
2155
+ "has_prediction": true,
2156
+ "id": "0827_gpu_octonion_synthetic_0522",
2157
+ "run_output_tail": null,
2158
+ "run_pass": null,
2159
+ "runs_expected": false
2160
+ },
2161
+ {
2162
+ "category": "knowledge",
2163
+ "check_pass": true,
2164
+ "contract_clean": true,
2165
+ "contract_violations": [],
2166
+ "diagnostic": "",
2167
+ "difficulty": "beginner",
2168
+ "has_prediction": true,
2169
+ "id": "0831_knowledge_synthetic_0526",
2170
+ "run_output_tail": null,
2171
+ "run_pass": null,
2172
+ "runs_expected": false
2173
+ },
2174
+ {
2175
+ "category": "reserve_advanced",
2176
+ "check_pass": true,
2177
+ "contract_clean": true,
2178
+ "contract_violations": [],
2179
+ "diagnostic": "",
2180
+ "difficulty": "beginner",
2181
+ "has_prediction": true,
2182
+ "id": "0851_reserve_advanced_synthetic_0546",
2183
+ "run_output_tail": "196\n",
2184
+ "run_pass": true,
2185
+ "runs_expected": true
2186
+ },
2187
+ {
2188
+ "category": "effects_algebra",
2189
+ "check_pass": true,
2190
+ "contract_clean": true,
2191
+ "contract_violations": [],
2192
+ "diagnostic": "",
2193
+ "difficulty": "intermediate",
2194
+ "has_prediction": true,
2195
+ "id": "0854_effects_algebra_synthetic_0549",
2196
+ "run_output_tail": null,
2197
+ "run_pass": null,
2198
+ "runs_expected": false
2199
+ },
2200
+ {
2201
+ "category": "knowledge",
2202
+ "check_pass": true,
2203
+ "contract_clean": true,
2204
+ "contract_violations": [],
2205
+ "diagnostic": "",
2206
+ "difficulty": "intermediate",
2207
+ "has_prediction": true,
2208
+ "id": "0856_knowledge_synthetic_0551",
2209
+ "run_output_tail": "dose-ok\n",
2210
+ "run_pass": true,
2211
+ "runs_expected": true
2212
+ },
2213
+ {
2214
+ "category": "ffi_interop",
2215
+ "check_pass": true,
2216
+ "contract_clean": true,
2217
+ "contract_violations": [],
2218
+ "diagnostic": "",
2219
+ "difficulty": "advanced",
2220
+ "has_prediction": true,
2221
+ "id": "0859_ffi_interop_synthetic_0554",
2222
+ "run_output_tail": null,
2223
+ "run_pass": null,
2224
+ "runs_expected": false
2225
+ },
2226
+ {
2227
+ "category": "gpu_octonion",
2228
+ "check_pass": true,
2229
+ "contract_clean": true,
2230
+ "contract_violations": [],
2231
+ "diagnostic": "",
2232
+ "difficulty": "intermediate",
2233
+ "has_prediction": true,
2234
+ "id": "0865_gpu_octonion_synthetic_0560",
2235
+ "run_output_tail": "4\n",
2236
+ "run_pass": false,
2237
+ "runs_expected": true
2238
+ },
2239
+ {
2240
+ "category": "effects_algebra",
2241
+ "check_pass": true,
2242
+ "contract_clean": true,
2243
+ "contract_violations": [],
2244
+ "diagnostic": "",
2245
+ "difficulty": "expert",
2246
+ "has_prediction": true,
2247
+ "id": "0880_effects_algebra_synthetic_0575",
2248
+ "run_output_tail": null,
2249
+ "run_pass": null,
2250
+ "runs_expected": false
2251
+ },
2252
+ {
2253
+ "category": "knowledge",
2254
+ "check_pass": true,
2255
+ "contract_clean": true,
2256
+ "contract_violations": [],
2257
+ "diagnostic": "",
2258
+ "difficulty": "intermediate",
2259
+ "has_prediction": true,
2260
+ "id": "0885_knowledge_synthetic_0580",
2261
+ "run_output_tail": "usable\n",
2262
+ "run_pass": true,
2263
+ "runs_expected": true
2264
+ },
2265
+ {
2266
+ "category": "reserve_advanced",
2267
+ "check_pass": true,
2268
+ "contract_clean": true,
2269
+ "contract_violations": [],
2270
+ "diagnostic": "",
2271
+ "difficulty": "beginner",
2272
+ "has_prediction": true,
2273
+ "id": "0892_reserve_advanced_synthetic_0587",
2274
+ "run_output_tail": null,
2275
+ "run_pass": null,
2276
+ "runs_expected": false
2277
+ },
2278
+ {
2279
+ "category": "ffi_interop",
2280
+ "check_pass": true,
2281
+ "contract_clean": true,
2282
+ "contract_violations": [],
2283
+ "diagnostic": "",
2284
+ "difficulty": "advanced",
2285
+ "has_prediction": true,
2286
+ "id": "0898_ffi_interop_synthetic_0593",
2287
+ "run_output_tail": null,
2288
+ "run_pass": null,
2289
+ "runs_expected": false
2290
+ },
2291
+ {
2292
+ "category": "gpu_octonion",
2293
+ "check_pass": true,
2294
+ "contract_clean": true,
2295
+ "contract_violations": [],
2296
+ "diagnostic": "",
2297
+ "difficulty": "intermediate",
2298
+ "has_prediction": true,
2299
+ "id": "0906_gpu_octonion_synthetic_0601",
2300
+ "run_output_tail": null,
2301
+ "run_pass": null,
2302
+ "runs_expected": false
2303
+ },
2304
+ {
2305
+ "category": "reserve_advanced",
2306
+ "check_pass": true,
2307
+ "contract_clean": true,
2308
+ "contract_violations": [],
2309
+ "diagnostic": "",
2310
+ "difficulty": "beginner",
2311
+ "has_prediction": true,
2312
+ "id": "0931_reserve_advanced_synthetic_0626",
2313
+ "run_output_tail": "100\n",
2314
+ "run_pass": true,
2315
+ "runs_expected": true
2316
+ },
2317
+ {
2318
+ "category": "ffi_interop",
2319
+ "check_pass": true,
2320
+ "contract_clean": true,
2321
+ "contract_violations": [],
2322
+ "diagnostic": "",
2323
+ "difficulty": "advanced",
2324
+ "has_prediction": true,
2325
+ "id": "0939_ffi_interop_synthetic_0634",
2326
+ "run_output_tail": null,
2327
+ "run_pass": null,
2328
+ "runs_expected": false
2329
+ },
2330
+ {
2331
+ "category": "gpu_octonion",
2332
+ "check_pass": true,
2333
+ "contract_clean": true,
2334
+ "contract_violations": [],
2335
+ "diagnostic": "",
2336
+ "difficulty": "intermediate",
2337
+ "has_prediction": true,
2338
+ "id": "0945_gpu_octonion_synthetic_0640",
2339
+ "run_output_tail": "8\n",
2340
+ "run_pass": true,
2341
+ "runs_expected": true
2342
+ },
2343
+ {
2344
+ "category": "reserve_advanced",
2345
+ "check_pass": true,
2346
+ "contract_clean": true,
2347
+ "contract_violations": [],
2348
+ "diagnostic": "",
2349
+ "difficulty": "beginner",
2350
+ "has_prediction": true,
2351
+ "id": "0972_reserve_advanced_synthetic_0667",
2352
+ "run_output_tail": null,
2353
+ "run_pass": null,
2354
+ "runs_expected": false
2355
+ },
2356
+ {
2357
+ "category": "ffi_interop",
2358
+ "check_pass": true,
2359
+ "contract_clean": true,
2360
+ "contract_violations": [],
2361
+ "diagnostic": "",
2362
+ "difficulty": "advanced",
2363
+ "has_prediction": true,
2364
+ "id": "0978_ffi_interop_synthetic_0673",
2365
+ "run_output_tail": null,
2366
+ "run_pass": null,
2367
+ "runs_expected": false
2368
+ },
2369
+ {
2370
+ "category": "gpu_octonion",
2371
+ "check_pass": true,
2372
+ "contract_clean": true,
2373
+ "contract_violations": [],
2374
+ "diagnostic": "",
2375
+ "difficulty": "intermediate",
2376
+ "has_prediction": true,
2377
+ "id": "0986_gpu_octonion_synthetic_0681",
2378
+ "run_output_tail": null,
2379
+ "run_pass": null,
2380
+ "runs_expected": false
2381
+ },
2382
+ {
2383
+ "category": "reserve_advanced",
2384
+ "check_pass": true,
2385
+ "contract_clean": true,
2386
+ "contract_violations": [],
2387
+ "diagnostic": "",
2388
+ "difficulty": "beginner",
2389
+ "has_prediction": true,
2390
+ "id": "1011_reserve_advanced_synthetic_0706",
2391
+ "run_output_tail": "36\n",
2392
+ "run_pass": true,
2393
+ "runs_expected": true
2394
+ },
2395
+ {
2396
+ "category": "ffi_interop",
2397
+ "check_pass": true,
2398
+ "contract_clean": true,
2399
+ "contract_violations": [],
2400
+ "diagnostic": "",
2401
+ "difficulty": "advanced",
2402
+ "has_prediction": true,
2403
+ "id": "1019_ffi_interop_synthetic_0714",
2404
+ "run_output_tail": null,
2405
+ "run_pass": null,
2406
+ "runs_expected": false
2407
+ },
2408
+ {
2409
+ "category": "gpu_octonion",
2410
+ "check_pass": true,
2411
+ "contract_clean": true,
2412
+ "contract_violations": [],
2413
+ "diagnostic": "",
2414
+ "difficulty": "intermediate",
2415
+ "has_prediction": true,
2416
+ "id": "1025_gpu_octonion_synthetic_0720",
2417
+ "run_output_tail": "8\n",
2418
+ "run_pass": true,
2419
+ "runs_expected": true
2420
+ },
2421
+ {
2422
+ "category": "reserve_advanced",
2423
+ "check_pass": true,
2424
+ "contract_clean": true,
2425
+ "contract_violations": [],
2426
+ "diagnostic": "",
2427
+ "difficulty": "beginner",
2428
+ "has_prediction": true,
2429
+ "id": "1052_reserve_advanced_synthetic_0747",
2430
+ "run_output_tail": null,
2431
+ "run_pass": null,
2432
+ "runs_expected": false
2433
+ },
2434
+ {
2435
+ "category": "ffi_interop",
2436
+ "check_pass": true,
2437
+ "contract_clean": true,
2438
+ "contract_violations": [],
2439
+ "diagnostic": "",
2440
+ "difficulty": "advanced",
2441
+ "has_prediction": true,
2442
+ "id": "1058_ffi_interop_synthetic_0753",
2443
+ "run_output_tail": null,
2444
+ "run_pass": null,
2445
+ "runs_expected": false
2446
+ },
2447
+ {
2448
+ "category": "gpu_octonion",
2449
+ "check_pass": true,
2450
+ "contract_clean": true,
2451
+ "contract_violations": [],
2452
+ "diagnostic": "",
2453
+ "difficulty": "intermediate",
2454
+ "has_prediction": true,
2455
+ "id": "1066_gpu_octonion_synthetic_0761",
2456
+ "run_output_tail": null,
2457
+ "run_pass": null,
2458
+ "runs_expected": false
2459
+ },
2460
+ {
2461
+ "category": "reserve_advanced",
2462
+ "check_pass": true,
2463
+ "contract_clean": true,
2464
+ "contract_violations": [],
2465
+ "diagnostic": "",
2466
+ "difficulty": "beginner",
2467
+ "has_prediction": true,
2468
+ "id": "1091_reserve_advanced_synthetic_0786",
2469
+ "run_output_tail": "64\n",
2470
+ "run_pass": false,
2471
+ "runs_expected": true
2472
+ },
2473
+ {
2474
+ "category": "ffi_interop",
2475
+ "check_pass": true,
2476
+ "contract_clean": true,
2477
+ "contract_violations": [],
2478
+ "diagnostic": "",
2479
+ "difficulty": "advanced",
2480
+ "has_prediction": true,
2481
+ "id": "1099_ffi_interop_synthetic_0794",
2482
+ "run_output_tail": null,
2483
+ "run_pass": null,
2484
+ "runs_expected": false
2485
+ },
2486
+ {
2487
+ "category": "gpu_octonion",
2488
+ "check_pass": true,
2489
+ "contract_clean": true,
2490
+ "contract_violations": [],
2491
+ "diagnostic": "",
2492
+ "difficulty": "intermediate",
2493
+ "has_prediction": true,
2494
+ "id": "1105_gpu_octonion_synthetic_0800",
2495
+ "run_output_tail": "8\n",
2496
+ "run_pass": true,
2497
+ "runs_expected": true
2498
+ },
2499
+ {
2500
+ "category": "reserve_advanced",
2501
+ "check_pass": true,
2502
+ "contract_clean": true,
2503
+ "contract_violations": [],
2504
+ "diagnostic": "",
2505
+ "difficulty": "beginner",
2506
+ "has_prediction": true,
2507
+ "id": "1132_reserve_advanced_synthetic_0827",
2508
+ "run_output_tail": null,
2509
+ "run_pass": null,
2510
+ "runs_expected": false
2511
+ },
2512
+ {
2513
+ "category": "ffi_interop",
2514
+ "check_pass": true,
2515
+ "contract_clean": true,
2516
+ "contract_violations": [],
2517
+ "diagnostic": "",
2518
+ "difficulty": "advanced",
2519
+ "has_prediction": true,
2520
+ "id": "1138_ffi_interop_synthetic_0833",
2521
+ "run_output_tail": null,
2522
+ "run_pass": null,
2523
+ "runs_expected": false
2524
+ },
2525
+ {
2526
+ "category": "gpu_octonion",
2527
+ "check_pass": true,
2528
+ "contract_clean": true,
2529
+ "contract_violations": [],
2530
+ "diagnostic": "",
2531
+ "difficulty": "intermediate",
2532
+ "has_prediction": true,
2533
+ "id": "1146_gpu_octonion_synthetic_0841",
2534
+ "run_output_tail": null,
2535
+ "run_pass": null,
2536
+ "runs_expected": false
2537
+ },
2538
+ {
2539
+ "category": "reserve_advanced",
2540
+ "check_pass": true,
2541
+ "contract_clean": true,
2542
+ "contract_violations": [],
2543
+ "diagnostic": "",
2544
+ "difficulty": "beginner",
2545
+ "has_prediction": true,
2546
+ "id": "1171_reserve_advanced_synthetic_0866",
2547
+ "run_output_tail": "144\n",
2548
+ "run_pass": true,
2549
+ "runs_expected": true
2550
+ },
2551
+ {
2552
+ "category": "ffi_interop",
2553
+ "check_pass": true,
2554
+ "contract_clean": true,
2555
+ "contract_violations": [],
2556
+ "diagnostic": "",
2557
+ "difficulty": "advanced",
2558
+ "has_prediction": true,
2559
+ "id": "1179_ffi_interop_synthetic_0874",
2560
+ "run_output_tail": null,
2561
+ "run_pass": null,
2562
+ "runs_expected": false
2563
+ },
2564
+ {
2565
+ "category": "gpu_octonion",
2566
+ "check_pass": true,
2567
+ "contract_clean": true,
2568
+ "contract_violations": [],
2569
+ "diagnostic": "",
2570
+ "difficulty": "intermediate",
2571
+ "has_prediction": true,
2572
+ "id": "1185_gpu_octonion_synthetic_0880",
2573
+ "run_output_tail": "8\n",
2574
+ "run_pass": true,
2575
+ "runs_expected": true
2576
+ },
2577
+ {
2578
+ "category": "reserve_advanced",
2579
+ "check_pass": true,
2580
+ "contract_clean": true,
2581
+ "contract_violations": [],
2582
+ "diagnostic": "",
2583
+ "difficulty": "beginner",
2584
+ "has_prediction": true,
2585
+ "id": "1212_reserve_advanced_synthetic_0907",
2586
+ "run_output_tail": null,
2587
+ "run_pass": null,
2588
+ "runs_expected": false
2589
+ },
2590
+ {
2591
+ "category": "ffi_interop",
2592
+ "check_pass": true,
2593
+ "contract_clean": true,
2594
+ "contract_violations": [],
2595
+ "diagnostic": "",
2596
+ "difficulty": "advanced",
2597
+ "has_prediction": true,
2598
+ "id": "1218_ffi_interop_synthetic_0913",
2599
+ "run_output_tail": null,
2600
+ "run_pass": null,
2601
+ "runs_expected": false
2602
+ },
2603
+ {
2604
+ "category": "gpu_octonion",
2605
+ "check_pass": true,
2606
+ "contract_clean": true,
2607
+ "contract_violations": [],
2608
+ "diagnostic": "",
2609
+ "difficulty": "intermediate",
2610
+ "has_prediction": true,
2611
+ "id": "1226_gpu_octonion_synthetic_0921",
2612
+ "run_output_tail": null,
2613
+ "run_pass": null,
2614
+ "runs_expected": false
2615
+ },
2616
+ {
2617
+ "category": "reserve_advanced",
2618
+ "check_pass": true,
2619
+ "contract_clean": true,
2620
+ "contract_violations": [],
2621
+ "diagnostic": "",
2622
+ "difficulty": "beginner",
2623
+ "has_prediction": true,
2624
+ "id": "1251_reserve_advanced_synthetic_0946",
2625
+ "run_output_tail": "64\n",
2626
+ "run_pass": true,
2627
+ "runs_expected": true
2628
+ },
2629
+ {
2630
+ "category": "ffi_interop",
2631
+ "check_pass": true,
2632
+ "contract_clean": true,
2633
+ "contract_violations": [],
2634
+ "diagnostic": "",
2635
+ "difficulty": "advanced",
2636
+ "has_prediction": true,
2637
+ "id": "1259_ffi_interop_synthetic_0954",
2638
+ "run_output_tail": null,
2639
+ "run_pass": null,
2640
+ "runs_expected": false
2641
+ },
2642
+ {
2643
+ "category": "gpu_octonion",
2644
+ "check_pass": true,
2645
+ "contract_clean": true,
2646
+ "contract_violations": [],
2647
+ "diagnostic": "",
2648
+ "difficulty": "intermediate",
2649
+ "has_prediction": true,
2650
+ "id": "1265_gpu_octonion_synthetic_0960",
2651
+ "run_output_tail": "8\n",
2652
+ "run_pass": true,
2653
+ "runs_expected": true
2654
+ },
2655
+ {
2656
+ "category": "reserve_advanced",
2657
+ "check_pass": true,
2658
+ "contract_clean": true,
2659
+ "contract_violations": [],
2660
+ "diagnostic": "",
2661
+ "difficulty": "beginner",
2662
+ "has_prediction": true,
2663
+ "id": "1292_reserve_advanced_synthetic_0987",
2664
+ "run_output_tail": null,
2665
+ "run_pass": null,
2666
+ "runs_expected": false
2667
+ },
2668
+ {
2669
+ "category": "ffi_interop",
2670
+ "check_pass": true,
2671
+ "contract_clean": true,
2672
+ "contract_violations": [],
2673
+ "diagnostic": "",
2674
+ "difficulty": "advanced",
2675
+ "has_prediction": true,
2676
+ "id": "1298_ffi_interop_synthetic_0993",
2677
+ "run_output_tail": null,
2678
+ "run_pass": null,
2679
+ "runs_expected": false
2680
+ }
2681
+ ],
2682
+ "run_expected": 65,
2683
+ "run_expected_predicted": 65,
2684
+ "run_pass": 58,
2685
+ "run_pass_overall_rate": 0.29,
2686
+ "run_rate": 0.8923076923076924,
2687
+ "run_rate_on_predicted": 0.8923076923076924,
2688
+ "total_eval_rows": 200
2689
+ }
merges.txt ADDED
The diff for this file is too large to render. See raw diff
 
special_tokens_map.json ADDED
@@ -0,0 +1,31 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "additional_special_tokens": [
3
+ "<|im_start|>",
4
+ "<|im_end|>",
5
+ "<|object_ref_start|>",
6
+ "<|object_ref_end|>",
7
+ "<|box_start|>",
8
+ "<|box_end|>",
9
+ "<|quad_start|>",
10
+ "<|quad_end|>",
11
+ "<|vision_start|>",
12
+ "<|vision_end|>",
13
+ "<|vision_pad|>",
14
+ "<|image_pad|>",
15
+ "<|video_pad|>"
16
+ ],
17
+ "eos_token": {
18
+ "content": "<|endoftext|>",
19
+ "lstrip": false,
20
+ "normalized": false,
21
+ "rstrip": false,
22
+ "single_word": false
23
+ },
24
+ "pad_token": {
25
+ "content": "<|endoftext|>",
26
+ "lstrip": false,
27
+ "normalized": false,
28
+ "rstrip": false,
29
+ "single_word": false
30
+ }
31
+ }
tokenizer.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa
3
+ size 11421896
tokenizer_config.json ADDED
@@ -0,0 +1,208 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "add_bos_token": false,
3
+ "add_prefix_space": false,
4
+ "added_tokens_decoder": {
5
+ "151643": {
6
+ "content": "<|endoftext|>",
7
+ "lstrip": false,
8
+ "normalized": false,
9
+ "rstrip": false,
10
+ "single_word": false,
11
+ "special": true
12
+ },
13
+ "151644": {
14
+ "content": "<|im_start|>",
15
+ "lstrip": false,
16
+ "normalized": false,
17
+ "rstrip": false,
18
+ "single_word": false,
19
+ "special": true
20
+ },
21
+ "151645": {
22
+ "content": "<|im_end|>",
23
+ "lstrip": false,
24
+ "normalized": false,
25
+ "rstrip": false,
26
+ "single_word": false,
27
+ "special": true
28
+ },
29
+ "151646": {
30
+ "content": "<|object_ref_start|>",
31
+ "lstrip": false,
32
+ "normalized": false,
33
+ "rstrip": false,
34
+ "single_word": false,
35
+ "special": true
36
+ },
37
+ "151647": {
38
+ "content": "<|object_ref_end|>",
39
+ "lstrip": false,
40
+ "normalized": false,
41
+ "rstrip": false,
42
+ "single_word": false,
43
+ "special": true
44
+ },
45
+ "151648": {
46
+ "content": "<|box_start|>",
47
+ "lstrip": false,
48
+ "normalized": false,
49
+ "rstrip": false,
50
+ "single_word": false,
51
+ "special": true
52
+ },
53
+ "151649": {
54
+ "content": "<|box_end|>",
55
+ "lstrip": false,
56
+ "normalized": false,
57
+ "rstrip": false,
58
+ "single_word": false,
59
+ "special": true
60
+ },
61
+ "151650": {
62
+ "content": "<|quad_start|>",
63
+ "lstrip": false,
64
+ "normalized": false,
65
+ "rstrip": false,
66
+ "single_word": false,
67
+ "special": true
68
+ },
69
+ "151651": {
70
+ "content": "<|quad_end|>",
71
+ "lstrip": false,
72
+ "normalized": false,
73
+ "rstrip": false,
74
+ "single_word": false,
75
+ "special": true
76
+ },
77
+ "151652": {
78
+ "content": "<|vision_start|>",
79
+ "lstrip": false,
80
+ "normalized": false,
81
+ "rstrip": false,
82
+ "single_word": false,
83
+ "special": true
84
+ },
85
+ "151653": {
86
+ "content": "<|vision_end|>",
87
+ "lstrip": false,
88
+ "normalized": false,
89
+ "rstrip": false,
90
+ "single_word": false,
91
+ "special": true
92
+ },
93
+ "151654": {
94
+ "content": "<|vision_pad|>",
95
+ "lstrip": false,
96
+ "normalized": false,
97
+ "rstrip": false,
98
+ "single_word": false,
99
+ "special": true
100
+ },
101
+ "151655": {
102
+ "content": "<|image_pad|>",
103
+ "lstrip": false,
104
+ "normalized": false,
105
+ "rstrip": false,
106
+ "single_word": false,
107
+ "special": true
108
+ },
109
+ "151656": {
110
+ "content": "<|video_pad|>",
111
+ "lstrip": false,
112
+ "normalized": false,
113
+ "rstrip": false,
114
+ "single_word": false,
115
+ "special": true
116
+ },
117
+ "151657": {
118
+ "content": "<tool_call>",
119
+ "lstrip": false,
120
+ "normalized": false,
121
+ "rstrip": false,
122
+ "single_word": false,
123
+ "special": false
124
+ },
125
+ "151658": {
126
+ "content": "</tool_call>",
127
+ "lstrip": false,
128
+ "normalized": false,
129
+ "rstrip": false,
130
+ "single_word": false,
131
+ "special": false
132
+ },
133
+ "151659": {
134
+ "content": "<|fim_prefix|>",
135
+ "lstrip": false,
136
+ "normalized": false,
137
+ "rstrip": false,
138
+ "single_word": false,
139
+ "special": false
140
+ },
141
+ "151660": {
142
+ "content": "<|fim_middle|>",
143
+ "lstrip": false,
144
+ "normalized": false,
145
+ "rstrip": false,
146
+ "single_word": false,
147
+ "special": false
148
+ },
149
+ "151661": {
150
+ "content": "<|fim_suffix|>",
151
+ "lstrip": false,
152
+ "normalized": false,
153
+ "rstrip": false,
154
+ "single_word": false,
155
+ "special": false
156
+ },
157
+ "151662": {
158
+ "content": "<|fim_pad|>",
159
+ "lstrip": false,
160
+ "normalized": false,
161
+ "rstrip": false,
162
+ "single_word": false,
163
+ "special": false
164
+ },
165
+ "151663": {
166
+ "content": "<|repo_name|>",
167
+ "lstrip": false,
168
+ "normalized": false,
169
+ "rstrip": false,
170
+ "single_word": false,
171
+ "special": false
172
+ },
173
+ "151664": {
174
+ "content": "<|file_sep|>",
175
+ "lstrip": false,
176
+ "normalized": false,
177
+ "rstrip": false,
178
+ "single_word": false,
179
+ "special": false
180
+ }
181
+ },
182
+ "additional_special_tokens": [
183
+ "<|im_start|>",
184
+ "<|im_end|>",
185
+ "<|object_ref_start|>",
186
+ "<|object_ref_end|>",
187
+ "<|box_start|>",
188
+ "<|box_end|>",
189
+ "<|quad_start|>",
190
+ "<|quad_end|>",
191
+ "<|vision_start|>",
192
+ "<|vision_end|>",
193
+ "<|vision_pad|>",
194
+ "<|image_pad|>",
195
+ "<|video_pad|>"
196
+ ],
197
+ "bos_token": null,
198
+ "chat_template": "{%- if tools %}\n {{- '<|im_start|>system\\n' }}\n {%- if messages[0]['role'] == 'system' %}\n {{- messages[0]['content'] }}\n {%- else %}\n {{- 'You are Qwen, created by Alibaba Cloud. You are a helpful assistant.' }}\n {%- endif %}\n {{- \"\\n\\n# Tools\\n\\nYou may call one or more functions to assist with the user query.\\n\\nYou are provided with function signatures within <tools></tools> XML tags:\\n<tools>\" }}\n {%- for tool in tools %}\n {{- \"\\n\" }}\n {{- tool | tojson }}\n {%- endfor %}\n {{- \"\\n</tools>\\n\\nFor each function call, return a json object with function name and arguments within <tool_call></tool_call> XML tags:\\n<tool_call>\\n{\\\"name\\\": <function-name>, \\\"arguments\\\": <args-json-object>}\\n</tool_call><|im_end|>\\n\" }}\n{%- else %}\n {%- if messages[0]['role'] == 'system' %}\n {{- '<|im_start|>system\\n' + messages[0]['content'] + '<|im_end|>\\n' }}\n {%- else %}\n {{- '<|im_start|>system\\nYou are Qwen, created by Alibaba Cloud. You are a helpful assistant.<|im_end|>\\n' }}\n {%- endif %}\n{%- endif %}\n{%- for message in messages %}\n {%- if (message.role == \"user\") or (message.role == \"system\" and not loop.first) or (message.role == \"assistant\" and not message.tool_calls) %}\n {{- '<|im_start|>' + message.role + '\\n' + message.content + '<|im_end|>' + '\\n' }}\n {%- elif message.role == \"assistant\" %}\n {{- '<|im_start|>' + message.role }}\n {%- if message.content %}\n {{- '\\n' + message.content }}\n {%- endif %}\n {%- for tool_call in message.tool_calls %}\n {%- if tool_call.function is defined %}\n {%- set tool_call = tool_call.function %}\n {%- endif %}\n {{- '\\n<tool_call>\\n{\"name\": \"' }}\n {{- tool_call.name }}\n {{- '\", \"arguments\": ' }}\n {{- tool_call.arguments | tojson }}\n {{- '}\\n</tool_call>' }}\n {%- endfor %}\n {{- '<|im_end|>\\n' }}\n {%- elif message.role == \"tool\" %}\n {%- if (loop.index0 == 0) or (messages[loop.index0 - 1].role != \"tool\") %}\n {{- '<|im_start|>user' }}\n {%- endif %}\n {{- '\\n<tool_response>\\n' }}\n {{- message.content }}\n {{- '\\n</tool_response>' }}\n {%- if loop.last or (messages[loop.index0 + 1].role != \"tool\") %}\n {{- '<|im_end|>\\n' }}\n {%- endif %}\n {%- endif %}\n{%- endfor %}\n{%- if add_generation_prompt %}\n {{- '<|im_start|>assistant\\n' }}\n{%- endif %}\n",
199
+ "clean_up_tokenization_spaces": false,
200
+ "eos_token": "<|endoftext|>",
201
+ "errors": "replace",
202
+ "extra_special_tokens": {},
203
+ "model_max_length": 32768,
204
+ "pad_token": "<|endoftext|>",
205
+ "split_special_tokens": false,
206
+ "tokenizer_class": "Qwen2Tokenizer",
207
+ "unk_token": null
208
+ }
train_summary.json ADDED
@@ -0,0 +1,183 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "anti_rust_ratio": 0.0,
3
+ "anti_rust_rows_used": 0,
4
+ "approx_tokens_per_step": 1242.3971482491088,
5
+ "canonical_humaneval_curriculum": true,
6
+ "cuda_available": true,
7
+ "cuda_device_count": 1,
8
+ "duration_seconds": 1889.5225403308868,
9
+ "effective_tokens": 5924992,
10
+ "eval_category": "all",
11
+ "eval_offset": 0,
12
+ "eval_rows_generated": 200,
13
+ "eval_stdout": "{\n \"check_pass\": 192,\n \"check_pass_contract_clean\": 192,\n \"check_pass_contract_clean_rate_on_predictions\": 0.96,\n \"check_rate\": 0.96,\n \"check_rate_on_predictions\": 0.96,\n \"contract_clean\": 196,\n \"contract_clean_rate_on_predictions\": 0.98,\n \"missing_predictions\": 0,\n \"mode\": \"predictions\",\n \"predictions_found\": 200,\n \"run_expected\": 65,\n \"run_expected_predicted\": 65,\n \"run_pass\": 58,\n \"run_pass_overall_rate\": 0.29,\n \"run_rate\": 0.8923076923076924,\n \"run_rate_on_predicted\": 0.8923076923076924,\n \"total_eval_rows\": 200\n}\n",
14
+ "eval_summary": {
15
+ "check_pass": 192,
16
+ "check_pass_contract_clean": 192,
17
+ "check_pass_contract_clean_rate_on_predictions": 0.96,
18
+ "check_rate": 0.96,
19
+ "check_rate_on_predictions": 0.96,
20
+ "contract_clean": 196,
21
+ "contract_clean_rate_on_predictions": 0.98,
22
+ "contract_violation_counts": {
23
+ "rust-python:.to_string()": 2,
24
+ "rust-python:String": 3,
25
+ "rust-python:Vec<": 1,
26
+ "rust-python:vec!": 1
27
+ },
28
+ "predictions_found": 200,
29
+ "run_pass": 58,
30
+ "run_rate_on_predicted": 0.8923076923076924,
31
+ "total_eval_rows": 200
32
+ },
33
+ "keep_leading_comments": false,
34
+ "loss_delta": -0.9296018360182643,
35
+ "loss_first": 0.9428470730781555,
36
+ "loss_last": 0.013245237059891224,
37
+ "losses": [
38
+ 0.9428470730781555,
39
+ 0.9206329584121704,
40
+ 0.8969697952270508,
41
+ 0.7890851497650146,
42
+ 0.689884603023529,
43
+ 0.690836489200592,
44
+ 0.8878088593482971,
45
+ 0.46744415163993835,
46
+ 0.8144014477729797,
47
+ 0.4281320869922638,
48
+ 0.6524766087532043,
49
+ 0.24453309178352356,
50
+ 0.5406432151794434,
51
+ 0.4681987464427948,
52
+ 0.18451671302318573,
53
+ 0.7817855477333069,
54
+ 0.1963343322277069,
55
+ 0.3834087550640106,
56
+ 0.6559674739837646,
57
+ 0.2839801609516144,
58
+ 0.3674596846103668,
59
+ 0.16576699912548065,
60
+ 0.2436273992061615,
61
+ 0.15725275874137878,
62
+ 0.21545928716659546,
63
+ 0.07066715508699417,
64
+ 0.2456275373697281,
65
+ 0.5520280599594116,
66
+ 0.31973111629486084,
67
+ 0.30580976605415344,
68
+ 0.14287082850933075,
69
+ 0.03269997239112854,
70
+ 0.13751648366451263,
71
+ 0.09021562337875366,
72
+ 0.32186514139175415,
73
+ 0.022180834785103798,
74
+ 0.2635396420955658,
75
+ 0.05417215824127197,
76
+ 0.14180563390254974,
77
+ 0.050655435770750046,
78
+ 0.24799545109272003,
79
+ 0.13758957386016846,
80
+ 0.13092908263206482,
81
+ 0.0567726269364357,
82
+ 0.042195651680231094,
83
+ 0.3574736416339874,
84
+ 0.019455213099718094,
85
+ 0.27129989862442017,
86
+ 0.04717741906642914,
87
+ 0.049893900752067566,
88
+ 0.22707486152648926,
89
+ 0.07976571470499039,
90
+ 0.17539313435554504,
91
+ 0.08971283584833145,
92
+ 0.018947025761008263,
93
+ 0.06419366598129272,
94
+ 0.05756637826561928,
95
+ 0.03820545971393585,
96
+ 0.0790393203496933,
97
+ 0.07166381180286407,
98
+ 0.20225368440151215,
99
+ 0.06589708477258682,
100
+ 0.006871169898658991,
101
+ 0.031089279800653458,
102
+ 0.0169230867177248,
103
+ 0.08838624507188797,
104
+ 0.22381575405597687,
105
+ 0.011767029762268066,
106
+ 0.3059588372707367,
107
+ 0.03028671257197857,
108
+ 0.03160905838012695,
109
+ 0.13401345908641815,
110
+ 0.018623247742652893,
111
+ 0.02683974616229534,
112
+ 0.03340781852602959,
113
+ 0.045859020203351974,
114
+ 0.026837879791855812,
115
+ 0.025307269766926765,
116
+ 0.06485714018344879,
117
+ 0.06476829200983047,
118
+ 0.06432314217090607,
119
+ 0.047294847667217255,
120
+ 0.08720092475414276,
121
+ 0.02301287092268467,
122
+ 0.3384197950363159,
123
+ 0.022578677162528038,
124
+ 0.024113886058330536,
125
+ 0.028393028303980827,
126
+ 0.23228859901428223,
127
+ 0.8091990947723389,
128
+ 0.04626913741230965,
129
+ 0.19360622763633728,
130
+ 0.06617783010005951,
131
+ 0.006803128868341446,
132
+ 0.04188191518187523,
133
+ 0.06640549004077911,
134
+ 0.05968461185693741,
135
+ 0.16347338259220123,
136
+ 0.14896811544895172,
137
+ 0.0066816904582083225,
138
+ 0.04769838973879814,
139
+ 0.005810702685266733,
140
+ 1.067097783088684,
141
+ 0.022275349125266075,
142
+ 0.03307740390300751,
143
+ 0.03575287014245987,
144
+ 0.021497294306755066,
145
+ 0.04117065295577049,
146
+ 0.09176062792539597,
147
+ 0.011542166583240032,
148
+ 0.12638422846794128,
149
+ 0.020750392228364944,
150
+ 0.047689635306596756,
151
+ 0.010733681730926037,
152
+ 0.1976831704378128,
153
+ 0.041155725717544556,
154
+ 0.09104897081851959,
155
+ 0.1934879720211029,
156
+ 0.008085734210908413,
157
+ 0.013245237059891224
158
+ ],
159
+ "max_steps": 120,
160
+ "model": "Qwen/Qwen2.5-Coder-1.5B",
161
+ "output_dir": "/orangefs/training/sounio/hf-examples/lora-smoke/sounio-qwen15-lora-full200-surgical-repair-20260522T021535/results",
162
+ "prompt_style": "sounio-compact-completion",
163
+ "repair_counts": {
164
+ "effect_repair": 14,
165
+ "fallback_humaneval": 2,
166
+ "normalised_surface": 1,
167
+ "trimmed": 200
168
+ },
169
+ "repair_generated_effects": true,
170
+ "repair_pair_ratio": 0.2,
171
+ "repair_pair_rows_used": 480,
172
+ "run_expected_ratio": 0.1,
173
+ "run_expected_rows_used": 435,
174
+ "runtime_repair_ratio": 0.0,
175
+ "runtime_repair_rows_used": 0,
176
+ "targeted_runtime_ratio": 0.0,
177
+ "targeted_runtime_rows_used": 0,
178
+ "torch_version": "2.6.0+cu124",
179
+ "train_rows_requested": 4800,
180
+ "train_rows_skipped_for_length": 31,
181
+ "train_rows_used": 4769,
182
+ "train_selection": "humaneval-heavy"
183
+ }
vocab.json ADDED
The diff for this file is too large to render. See raw diff