Skip to content

Commit 272df71

Browse files
frawarecursoragent
andcommitted
Regenerate benchmark fixtures for pcs-core-aligned valid case fields.
Co-authored-by: Cursor <cursoragent@cursor.com>
1 parent 8f1d66e commit 272df71

21 files changed

Lines changed: 88 additions & 47 deletions

File tree

examples/pcs_qc_release/benchmark/certificate_id_tamper/benchmark_case.v0.json

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
"expected_repair_hint_kind": "align_certificate_id",
66
"expected_responsible_component": "certificate_producer",
77
"expected_status": "failed",
8+
"expected_system_outcome": "rejected",
89
"input_artifacts": {
910
"artifacts": [
1011
{
@@ -66,8 +67,8 @@
6667
"release_directory": "input_artifacts/"
6768
},
6869
"schema_version": "v0",
69-
"signature_or_digest": "sha256:9e476bb4688b9e89e8606e302ecd312995586558fdee6916c0e43227fa589e62",
70-
"source_commit": "c07e15a4714a2b45c971d8d4e524e6edbd0c392a",
70+
"signature_or_digest": "sha256:c1eda73ba5cfc34212499025909917c2d36fcdb1e50f65302ccc1da6bb165108",
71+
"source_commit": "8f1d66edffbb436e004acd4a9a6aad30f2742f0f",
7172
"source_repo": "https://github.com/fraware/LabTrust-Gym",
7273
"task_id": "labtrust-qc-release-v0",
7374
"workflow_id": "hospital_lab.qc_release"

examples/pcs_qc_release/benchmark/coverage_report.v0.json

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,6 @@
3939
"align_hash",
4040
"align_provenance",
4141
"fix_import_report",
42-
"none",
4342
"rerun_formal_check",
4443
"rerun_verification",
4544
"unknown"

examples/pcs_qc_release/benchmark/lean_rejected_certificate/benchmark_case.v0.json

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
"expected_repair_hint_kind": "rerun_formal_check",
66
"expected_responsible_component": "formal_kernel",
77
"expected_status": "failed",
8+
"expected_system_outcome": "formal_failed",
89
"input_artifacts": {
910
"artifacts": [
1011
{
@@ -66,8 +67,8 @@
6667
"release_directory": "input_artifacts/"
6768
},
6869
"schema_version": "v0",
69-
"signature_or_digest": "sha256:bc705e3d05c6d1cd8568087bea4ea25a1f7f5d7ceb8644033ed96e9045dacb46",
70-
"source_commit": "c07e15a4714a2b45c971d8d4e524e6edbd0c392a",
70+
"signature_or_digest": "sha256:dc3efbd511c17bbdd5e0d9c25185d0593079421630df0a14087e0d70162e72e3",
71+
"source_commit": "8f1d66edffbb436e004acd4a9a6aad30f2742f0f",
7172
"source_repo": "https://github.com/fraware/LabTrust-Gym",
7273
"task_id": "labtrust-qc-release-v0",
7374
"workflow_id": "hospital_lab.qc_release"

examples/pcs_qc_release/benchmark/lean_signed_hash_mismatch/benchmark_case.v0.json

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
"expected_repair_hint_kind": "rerun_verification",
66
"expected_responsible_component": "verifier",
77
"expected_status": "failed",
8+
"expected_system_outcome": "formal_failed",
89
"input_artifacts": {
910
"artifacts": [
1011
{
@@ -76,8 +77,8 @@
7677
"release_directory": "input_artifacts/"
7778
},
7879
"schema_version": "v0",
79-
"signature_or_digest": "sha256:556b90ecd0d98eb03c923c1ca8b0207ca5550e75e03fafca35f6174890ff5084",
80-
"source_commit": "c07e15a4714a2b45c971d8d4e524e6edbd0c392a",
80+
"signature_or_digest": "sha256:cc30092c354bba4e54fbae87e4e92eb6cbee6d800d94c6c6a46336baabed1f06",
81+
"source_commit": "8f1d66edffbb436e004acd4a9a6aad30f2742f0f",
8182
"source_repo": "https://github.com/fraware/LabTrust-Gym",
8283
"task_id": "labtrust-qc-release-v0",
8384
"workflow_id": "hospital_lab.qc_release"

examples/pcs_qc_release/benchmark/lean_stale_certificate/benchmark_case.v0.json

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
"expected_repair_hint_kind": "rerun_formal_check",
66
"expected_responsible_component": "formal_kernel",
77
"expected_status": "failed",
8+
"expected_system_outcome": "formal_failed",
89
"input_artifacts": {
910
"artifacts": [
1011
{
@@ -66,8 +67,8 @@
6667
"release_directory": "input_artifacts/"
6768
},
6869
"schema_version": "v0",
69-
"signature_or_digest": "sha256:e82a72a2c9a6bab0d7508f1651d1ec14cb788090e1ce775af4f4fab4a6b154a2",
70-
"source_commit": "c07e15a4714a2b45c971d8d4e524e6edbd0c392a",
70+
"signature_or_digest": "sha256:cf73ebc411c478677b02f95785ebf4a4bbe70b745bb3af60d87b0f496b7faadd",
71+
"source_commit": "8f1d66edffbb436e004acd4a9a6aad30f2742f0f",
7172
"source_repo": "https://github.com/fraware/LabTrust-Gym",
7273
"task_id": "labtrust-qc-release-v0",
7374
"workflow_id": "hospital_lab.qc_release"

examples/pcs_qc_release/benchmark/lean_trace_hash_mismatch/benchmark_case.v0.json

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
"expected_repair_hint_kind": "rerun_formal_check",
66
"expected_responsible_component": "formal_kernel",
77
"expected_status": "failed",
8+
"expected_system_outcome": "formal_failed",
89
"input_artifacts": {
910
"artifacts": [
1011
{
@@ -66,8 +67,8 @@
6667
"release_directory": "input_artifacts/"
6768
},
6869
"schema_version": "v0",
69-
"signature_or_digest": "sha256:a8e8ee8fc25a4fa75162b07839e09a070d3ff4c995ccc362436715ecfa7c62df",
70-
"source_commit": "c07e15a4714a2b45c971d8d4e524e6edbd0c392a",
70+
"signature_or_digest": "sha256:318cc9bcacff873f6d8ddfe865ed185da2c25c9fe00ffdbaccad17eda37de2ef",
71+
"source_commit": "8f1d66edffbb436e004acd4a9a6aad30f2742f0f",
7172
"source_repo": "https://github.com/fraware/LabTrust-Gym",
7273
"task_id": "labtrust-qc-release-v0",
7374
"workflow_id": "hospital_lab.qc_release"

examples/pcs_qc_release/benchmark/legacy_handoff_file/benchmark_case.v0.json

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
"expected_repair_hint_kind": "align_handoff",
66
"expected_responsible_component": "handoff",
77
"expected_status": "failed",
8+
"expected_system_outcome": "rejected",
89
"input_artifacts": {
910
"artifacts": [
1011
{
@@ -71,8 +72,8 @@
7172
"release_directory": "input_artifacts/"
7273
},
7374
"schema_version": "v0",
74-
"signature_or_digest": "sha256:dd3b245551ee09afaee04d6b7d9a523a921c01a1d0363d58ab2d0a21d9c5c608",
75-
"source_commit": "c07e15a4714a2b45c971d8d4e524e6edbd0c392a",
75+
"signature_or_digest": "sha256:504b0032e0cacfb3d0dfd2f4bccaf12885c8815c14c6239e03c627751e332c53",
76+
"source_commit": "8f1d66edffbb436e004acd4a9a6aad30f2742f0f",
7677
"source_repo": "https://github.com/fraware/LabTrust-Gym",
7778
"task_id": "labtrust-qc-release-v0",
7879
"workflow_id": "hospital_lab.qc_release"

examples/pcs_qc_release/benchmark/missing_qc_result/benchmark_case.v0.json

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
"expected_repair_hint_kind": "unknown",
66
"expected_responsible_component": "runtime_producer",
77
"expected_status": "failed",
8+
"expected_system_outcome": "render_failed",
89
"input_artifacts": {
910
"artifacts": [
1011
{
@@ -26,8 +27,8 @@
2627
"release_directory": "input_artifacts/"
2728
},
2829
"schema_version": "v0",
29-
"signature_or_digest": "sha256:813e8b78a0d4d2f2f87ef8ad531442d3e04f3620acd7ec21d650575a049345fa",
30-
"source_commit": "c07e15a4714a2b45c971d8d4e524e6edbd0c392a",
30+
"signature_or_digest": "sha256:72813d8877180ac09b80376a1cdfff083034deb4f15ac76f0e35ebe17bc1c741",
31+
"source_commit": "8f1d66edffbb436e004acd4a9a6aad30f2742f0f",
3132
"source_repo": "https://github.com/fraware/LabTrust-Gym",
3233
"task_id": "labtrust-qc-release-v0",
3334
"workflow_id": "hospital_lab.qc_release"

examples/pcs_qc_release/benchmark/missing_qc_result/input_artifacts/_run/pcs/runtime_receipt.json

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22
"ended_at": "2026-01-15T10:00:00Z",
33
"environment": {
44
"labtrust_version": "0.2.0",
5-
"platform": "Windows-11-10.0.26200-SP0",
6-
"python": "3.13.11"
5+
"platform": "pcs-golden-fixture",
6+
"python": "3.11.0"
77
},
88
"events_hash": "sha256:f89ebf5e214a4e153ce5cf13df8a7cc8d57ee4ebd3f383d222f81e2b0c0ec79c",
99
"final_reason_code": "missing_qc",
@@ -21,8 +21,8 @@
2121
"run_id": "qc-release-invalid-missing-qc",
2222
"run_outcome": "failed",
2323
"schema_version": "v0",
24-
"signature_or_digest": "sha256:7a08eba51ca09a40d4383a0cd2b08fd69e235570bbb230b7dddaeeacd9899f6c",
25-
"source_commit": "c07e15a4714a2b45c971d8d4e524e6edbd0c392a",
24+
"signature_or_digest": "sha256:2698f3a73b85bdf7d501109e37fa1f9caa9468647cc7a4bbfa51ecf7f73a8b1e",
25+
"source_commit": "c20139460f7e46b0fe3031e9da70a1c36e4dda33",
2626
"source_repo": "https://github.com/fraware/LabTrust-Gym",
2727
"started_at": "2026-01-15T08:00:00Z",
2828
"status": "RuntimeObserved",

examples/pcs_qc_release/benchmark/missing_qc_result/input_artifacts/runtime_receipt.json

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22
"ended_at": "2026-01-15T10:00:00Z",
33
"environment": {
44
"labtrust_version": "0.2.0",
5-
"platform": "Windows-11-10.0.26200-SP0",
6-
"python": "3.13.11"
5+
"platform": "pcs-golden-fixture",
6+
"python": "3.11.0"
77
},
88
"events_hash": "sha256:f89ebf5e214a4e153ce5cf13df8a7cc8d57ee4ebd3f383d222f81e2b0c0ec79c",
99
"final_reason_code": "missing_qc",
@@ -21,8 +21,8 @@
2121
"run_id": "qc-release-invalid-missing-qc",
2222
"run_outcome": "failed",
2323
"schema_version": "v0",
24-
"signature_or_digest": "sha256:7a08eba51ca09a40d4383a0cd2b08fd69e235570bbb230b7dddaeeacd9899f6c",
25-
"source_commit": "c07e15a4714a2b45c971d8d4e524e6edbd0c392a",
24+
"signature_or_digest": "sha256:2698f3a73b85bdf7d501109e37fa1f9caa9468647cc7a4bbfa51ecf7f73a8b1e",
25+
"source_commit": "c20139460f7e46b0fe3031e9da70a1c36e4dda33",
2626
"source_repo": "https://github.com/fraware/LabTrust-Gym",
2727
"started_at": "2026-01-15T08:00:00Z",
2828
"status": "RuntimeObserved",

0 commit comments

Comments
 (0)