|
3 | 3 | "version": "V30", |
4 | 4 | "checkedActiveCanonVersion": "V30", |
5 | 5 | "checkedDraftTargetVersion": "V31", |
6 | | - "pointerVersion": "V29", |
7 | | - "proofSourceCommit": "f1771573c885652055c86ced1b43ba06a3ba7706", |
8 | | - "generatedAt": "2026-05-21T20:27:10-03:00", |
| 6 | + "pointerVersion": "V30", |
| 7 | + "proofSourceCommit": "c5b238b9958430c4611ef396ac8cea248c1aecf4", |
| 8 | + "generatedAt": "2026-05-21T22:17:44-03:00", |
9 | 9 | "generatorId": "bitcode.proven-generator.v1", |
10 | | - "worktreeState": "dirty-preview", |
11 | | - "passed": false, |
| 10 | + "worktreeState": "clean", |
| 11 | + "passed": true, |
12 | 12 | "checkCount": 10, |
13 | | - "blockingFailureCount": 7, |
14 | | - "blockingFailures": [ |
15 | | - "pointer-active-canon-alignment: BITCODE_SPEC.txt points to V29 while runtime expects V30.", |
16 | | - "canon-posture-constant-alignment: canon-posture constants resolve V29/V30 with operator label V29 active canon / V30 system draft.", |
17 | | - "proven-appendix-alignment: active generated appendix path is BITCODE_SPEC_V29_PROVEN.md.", |
18 | | - "policy-ref-alignment: policy reference is policy://bitcode/spec-v29-active-v30-system-draft/current.", |
19 | | - "runtime-state-alignment: buildInitialState() reports Bitcode Spec V29 active canon / V30 system draft with canon posture V29/V30.", |
20 | | - "public-state-alignment: publicState() reports Bitcode Spec V29 active canon / V30 system draft with canon posture V29/V30.", |
21 | | - "readme-alignment: README states V30 active canon and BITCODE_SPEC_V29_PROVEN.md as the current generated appendix." |
22 | | - ], |
23 | | - "runtimeSpecVersion": "Bitcode Spec V29 active canon / V30 system draft", |
24 | | - "publicSpecVersion": "Bitcode Spec V29 active canon / V30 system draft", |
25 | | - "activeProvenAppendixPath": "BITCODE_SPEC_V29_PROVEN.md", |
26 | | - "policyRef": "policy://bitcode/spec-v29-active-v30-system-draft/current", |
| 13 | + "blockingFailureCount": 0, |
| 14 | + "blockingFailures": [], |
| 15 | + "runtimeSpecVersion": "Bitcode Spec V30 active canon / V31 system draft", |
| 16 | + "publicSpecVersion": "Bitcode Spec V30 active canon / V31 system draft", |
| 17 | + "activeProvenAppendixPath": "BITCODE_SPEC_V30_PROVEN.md", |
| 18 | + "policyRef": "policy://bitcode/spec-v30-active-v31-system-draft/current", |
27 | 19 | "checkedFiles": [ |
28 | 20 | "protocol-demonstration/README.md", |
29 | 21 | "protocol-demonstration/public/index.html", |
|
33 | 25 | "checks": [ |
34 | 26 | { |
35 | 27 | "checkId": "pointer-active-canon-alignment", |
36 | | - "passed": false, |
37 | | - "detail": "BITCODE_SPEC.txt points to V29 while runtime expects V30." |
| 28 | + "passed": true, |
| 29 | + "detail": "BITCODE_SPEC.txt points to V30 while runtime expects V30." |
38 | 30 | }, |
39 | 31 | { |
40 | 32 | "checkId": "canon-posture-constant-alignment", |
41 | | - "passed": false, |
42 | | - "detail": "canon-posture constants resolve V29/V30 with operator label V29 active canon / V30 system draft." |
| 33 | + "passed": true, |
| 34 | + "detail": "canon-posture constants resolve V30/V31 with operator label V30 active canon / V31 system draft." |
43 | 35 | }, |
44 | 36 | { |
45 | 37 | "checkId": "proven-appendix-alignment", |
46 | | - "passed": false, |
47 | | - "detail": "active generated appendix path is BITCODE_SPEC_V29_PROVEN.md." |
| 38 | + "passed": true, |
| 39 | + "detail": "active generated appendix path is BITCODE_SPEC_V30_PROVEN.md." |
48 | 40 | }, |
49 | 41 | { |
50 | 42 | "checkId": "policy-ref-alignment", |
51 | | - "passed": false, |
52 | | - "detail": "policy reference is policy://bitcode/spec-v29-active-v30-system-draft/current." |
| 43 | + "passed": true, |
| 44 | + "detail": "policy reference is policy://bitcode/spec-v30-active-v31-system-draft/current." |
53 | 45 | }, |
54 | 46 | { |
55 | 47 | "checkId": "runtime-state-alignment", |
56 | | - "passed": false, |
57 | | - "detail": "buildInitialState() reports Bitcode Spec V29 active canon / V30 system draft with canon posture V29/V30." |
| 48 | + "passed": true, |
| 49 | + "detail": "buildInitialState() reports Bitcode Spec V30 active canon / V31 system draft with canon posture V30/V31." |
58 | 50 | }, |
59 | 51 | { |
60 | 52 | "checkId": "public-state-alignment", |
61 | | - "passed": false, |
62 | | - "detail": "publicState() reports Bitcode Spec V29 active canon / V30 system draft with canon posture V29/V30." |
| 53 | + "passed": true, |
| 54 | + "detail": "publicState() reports Bitcode Spec V30 active canon / V31 system draft with canon posture V30/V31." |
63 | 55 | }, |
64 | 56 | { |
65 | 57 | "checkId": "server-api-alignment", |
|
78 | 70 | }, |
79 | 71 | { |
80 | 72 | "checkId": "readme-alignment", |
81 | | - "passed": false, |
82 | | - "detail": "README states V30 active canon and BITCODE_SPEC_V29_PROVEN.md as the current generated appendix." |
| 73 | + "passed": true, |
| 74 | + "detail": "README states V30 active canon and BITCODE_SPEC_V30_PROVEN.md as the current generated appendix." |
83 | 75 | } |
84 | 76 | ] |
85 | 77 | } |
0 commit comments