Model User requires `id`, which the documented response of S-3.5 does not contain.
highREJECTEDCLIENT_REQUIRES_UNDOCUMENTED_FIELD · F-c73ffe14 · S-3.5
artifacts/work/py-unifi-access/unifi_access_api/models/user.py:18
class User
Results
Endpoint sections extracted
108/108 (100.0%)
Items with a grounded citation
1406/1406 (100.0%)
Sections verified after the loop
115/116 (99.1%)
Audited precision (blind sample)
40/40 (100.0%)
95% CI 91.2% - 100.0%
Human-confirmed findings
28
CONFIRMED in review
Machine-verified numbers and human-confirmed numbers are labeled separately. Values are truncated, never rounded up.
Self-correction loop
After attempt 1: 97/116 sections without extraction errors
After retry 1: 111/116 sections without extraction errors
After retry 2: 115/116 sections without extraction errors
Final (terminal status): 115/116 sections without extraction errors
Findings (63)
Model User types `pin_code` as string; the PDF on page 13 documents it as object.
mediumCONFIRMEDCLIENT_TYPE_MISMATCH · F-1f37a3fc · S-3.5
artifacts/work/py-unifi-access/unifi_access_api/models/user.py:18
class User
Document, page 13
pin_code Object Token associated with the bound PIN code.
Model Door types `is_bind_hub` as boolean; the PDF on page 137 documents it as string.
mediumREJECTEDCLIENT_TYPE_MISMATCH · F-b21d3b42 · S-7.8
artifacts/work/py-unifi-access/unifi_access_api/models/door.py:89
class Door
Document, page 137
is_bind_hub T String to a hub device. It can only be used for
Community enum for `topic` differs from the PDF on page 158: missing none, extra ['all'].
mediumCONFIRMEDCOMMUNITY_ENUM_MISMATCH · F-b3aac90a · S-9.3
artifacts/work/community_openapi.yaml:4967
#/paths/~1api~1v1~1developer~1system~1logs~1export/post/requestBody/content/application~1json/schema/properties/topic/enum
Document, page 158
topic T String door_openings
Community enum for `topic` differs from the PDF on page 156: missing none, extra ['all'].
mediumCONFIRMEDCOMMUNITY_ENUM_MISMATCH · F-c0e391d0 · S-9.2
artifacts/work/community_openapi.yaml:4892
#/paths/~1api~1v1~1developer~1system~1logs/post/requestBody/content/application~1json/schema/properties/topic/enum
Document, page 156
topic T String door_openings
Community spec has `access_methods`, which the PDF section does not document.
infoCONFIRMEDCOMMUNITY_EXTRA_FIELD · F-317997a8 · S-8.3
artifacts/work/community_openapi.yaml:4795
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1settings/put/requestBody/content/application~1json/schema/properties/access_methods
Community spec has `resources`, which the PDF section does not document.
infoCONFIRMEDCOMMUNITY_EXTRA_FIELD · F-661399aa · S-5.3
artifacts/work/community_openapi.yaml:3003
#/paths/~1api~1v1~1developer~1access_policies~1{id}/put/requestBody/content/application~1json/schema/properties/resources
Community spec has `resources`, which the PDF section does not document.
infoCONFIRMEDCOMMUNITY_EXTRA_FIELD · F-7926672f · S-5.2
artifacts/work/community_openapi.yaml:2909
#/paths/~1api~1v1~1developer~1access_policies/post/requestBody/content/application~1json/schema/properties/resources
Community spec omits `bt_tap`, which the PDF documents on page 151.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-00efb06c · S-8.3
artifacts/work/community_openapi.yaml:4794
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1settings/put/requestBody/content/application~1json/schema/properties
Document, page 151
bt_tap F Object
Community spec omits `face`, which the PDF documents on page 151.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-057fc198 · S-8.3
artifacts/work/community_openapi.yaml:4794
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1settings/put/requestBody/content/application~1json/schema/properties
Document, page 151
face F Object Face Unlock access method setting.
Community spec omits `Id`, which the PDF documents on page 159.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-0bb8a784 · S-9.4
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1system~1logs~1resource~1{id}/get/requestBody/properties
Document, page 159
Id T String b5b172381fec","display_name":
Community spec omits `Id`, which the PDF documents on page 77.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-0e257d8c · S-5.4
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1access_policies~1{id}/delete/requestBody/properties
Document, page 77
Id T String Identity ID of the access policy.
Community spec omits `mobile_wave`, which the PDF documents on page 151.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-22e2f0e9 · S-8.3
artifacts/work/community_openapi.yaml:4794
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1settings/put/requestBody/content/application~1json/schema/properties
Document, page 151
mobile_wave F Object Mobile Wave access method setting.
Community spec omits `Id`, which the PDF documents on page 78.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-2a2ebe0e · S-5.5
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1access_policies~1{id}/get/requestBody/properties
Document, page 78
Id T String Identity ID of the access policy.
Community spec omits `id`, which the PDF documents on page 105.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-6546c17f · S-6.4
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1credentials~1nfc_cards~1sessions~1{id}/delete/requestBody/properties
Document, page 105
id T String from the API
Community spec omits `nfc`, which the PDF documents on page 151.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-6cf173af · S-8.3
artifacts/work/community_openapi.yaml:4794
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1settings/put/requestBody/content/application~1json/schema/properties
Document, page 151
nfc F Object NFC access method setting.
Community spec omits `resource`, which the PDF documents on page 76.
lowCONFIRMEDCOMMUNITY_MISSING_FIELD · F-7c094e3d · S-5.3
artifacts/work/community_openapi.yaml:2999
#/paths/~1api~1v1~1developer~1access_policies~1{id}/put/requestBody/content/application~1json/schema/properties
Document, page 76
resource F Array[Object] the access policy. Omit this parameter /api/v1/developer/door_groups/topology;
Community spec omits `Id`, which the PDF documents on page 87.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-8ae38c53 · S-5.11
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1access_policies~1holiday_groups~1{id}/get/requestBody/properties
Document, page 87
Id T String Identity ID of the holiday group.
Community spec omits `cert`, which the PDF documents on page 191.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-933cc645 · S-12.1
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1api_server~1certificates/post/requestBody/content/application~1json/schema/properties
Document, page 191
cert T File Certificate server.crt
Community spec omits `Id`, which the PDF documents on page 89.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-9d686227 · S-5.12
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1access_policies~1holiday_groups/get/requestBody/properties
Document, page 89
Id T String Identity ID of the holiday group.
Community spec omits `pin_code`, which the PDF documents on page 151.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-9e0f7761 · S-8.3
artifacts/work/community_openapi.yaml:4794
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1settings/put/requestBody/content/application~1json/schema/properties
Document, page 151
pin_code F Object PIN access method setting.
Community spec omits `wave`, which the PDF documents on page 151.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-a5b8c679 · S-8.3
artifacts/work/community_openapi.yaml:4794
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1settings/put/requestBody/content/application~1json/schema/properties
Document, page 151
wave F Object Hand Wave access method setting.
Community spec omits `bt_button`, which the PDF documents on page 151.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-a7ca89ef · S-8.3
artifacts/work/community_openapi.yaml:4794
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1settings/put/requestBody/content/application~1json/schema/properties
Document, page 151
bt_button F Object
Community spec omits `path`, which the PDF documents on page 160.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-acc5c7d6 · S-9.5
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1system~1static~1{path}/get/requestBody/properties
Document, page 160
path T String
Community spec omits `file`, which the PDF documents on page 51.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-af2adf84 · S-3.30
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1users~1{id}~1avatar/post/requestBody/content/application~1json/schema/properties
Document, page 51
file T File Profile picture image file to upload.
Community spec omits `id`, which the PDF documents on page 104.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-ca1d797f · S-6.3
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1credentials~1nfc_cards~1sessions~1{id}/get/requestBody/properties
Document, page 104
id T String from the API
Community spec omits `resource`, which the PDF documents on page 74.
lowCONFIRMEDCOMMUNITY_MISSING_FIELD · F-cea82680 · S-5.2
artifacts/work/community_openapi.yaml:2905
#/paths/~1api~1v1~1developer~1access_policies/post/requestBody/content/application~1json/schema/properties
Document, page 74
resource F Array[Object] /api/v1/developer/door_groups/topology;
Community spec omits `touch_pass`, which the PDF documents on page 152.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-d938154e · S-8.3
artifacts/work/community_openapi.yaml:4794
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1settings/put/requestBody/content/application~1json/schema/properties
Document, page 152
touch_pass F Object Touch Pass access method setting.
Community spec omits `qr_code`, which the PDF documents on page 151.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-f4d19869 · S-8.3
artifacts/work/community_openapi.yaml:4794
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1settings/put/requestBody/content/application~1json/schema/properties
Document, page 151
qr_code F Object QR code access method setting.
Community spec omits `bt_shake`, which the PDF documents on page 151.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-fa8911b9 · S-8.3
artifacts/work/community_openapi.yaml:4794
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1settings/put/requestBody/content/application~1json/schema/properties
Document, page 151
bt_shake F Object
Community spec omits `file`, which the PDF documents on page 124.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-fcda0304 · S-6.19
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1credentials~1nfc_cards~1import/post/requestBody/content/application~1json/schema/properties
Document, page 124
file T File A CSV file containing NFC IDs or optional aliases.
Community spec omits `key`, which the PDF documents on page 191.
lowREJECTEDCOMMUNITY_MISSING_FIELD · F-fd1c6e5e · S-12.1
artifacts/work/community_openapi.yaml
#/paths/~1api~1v1~1developer~1api_server~1certificates/post/requestBody/content/application~1json/schema/properties
Document, page 191
key T File Private Key server.key
Community spec marks `room_name` as required; the PDF row on page 153 marks it optional (F).
mediumCONFIRMEDCOMMUNITY_REQUIRED_MISMATCH · F-47123097 · S-8.4
artifacts/work/community_openapi.yaml:4833
#/paths/~1api~1v1~1developer~1devices~1{device_id}~1doorbell/post/requestBody/content/application~1json/schema/required
Document, page 153
room_name F String
Document sample is not valid JSON
mediumCONFIRMEDSPEC_MALFORMED_SAMPLE · F-0156e6d0 · S-11.5
Document, page 177
curl -XPUT '{{host}}/api/v1/developer/webhooks/endpoints/a22ee283-c91f-432b-9d0f-
Document sample is not valid JSON
mediumCONFIRMEDSPEC_MALFORMED_SAMPLE · F-13962a9e · S-3.4
Document, page 17
"code": "SUCCESS",
Document sample is not valid JSON
mediumCONFIRMEDSPEC_MALFORMED_SAMPLE · F-2d465646 · S-11.4
Document, page 175
curl -XPOST '{{host}}/api/v1/developer/webhooks/endpoints'
Document sample is not valid JSON
mediumCONFIRMEDSPEC_MALFORMED_SAMPLE · F-64374118 · S-5.9
Document, page 85
curl -XPUT '{{host}}/api/v1/developer/access_policies/holiday_groups/7be7a7a0-818f-4f76-
Document sample is not valid JSON
mediumCONFIRMEDSPEC_MALFORMED_SAMPLE · F-93d0b6a1 · S-10.1
Document, page 162
curl -XPOST '{{host}}/api/v1/developer/users/identity/invitations'
Document sample is not valid JSON
mediumCONFIRMEDSPEC_MALFORMED_SAMPLE · F-c704b394 · S-3.24
Document, page 43
"code": "SUCCESS",
Document sample is not valid JSON
mediumCONFIRMEDSPEC_MALFORMED_SAMPLE · F-d0f1ee66 · S-6.15
Document, page 119
curl --location --request PUT
Sample omits deleted, which the document marks required
mediumREJECTEDSPEC_SAMPLE_INCOMPLETE · F-040d4cd9 · S-10.6
Document, page 169
"code": "SUCCESS",
Document, page 169
deleted T Boolean Indicate whether a resource is disabled.
Sample omits deleted, which the document marks required
mediumREJECTEDSPEC_SAMPLE_INCOMPLETE · F-103cd2b4 · S-10.2
Document, page 163
deleted T Boolean Indicate whether the resource is disabled.
Document, page 164
"code": "SUCCESS",
Sample omits id, which the document marks required
mediumREJECTEDSPEC_SAMPLE_INCOMPLETE · F-2ce06a9c · S-10.6
Document, page 169
"code": "SUCCESS",
Document, page 169
id T String user group. /api/v1/developer/user_groups
Sample omits id, which the document marks required
mediumREJECTEDSPEC_SAMPLE_INCOMPLETE · F-3202ab46 · S-10.4
Document, page 166
"code": "SUCCESS",
Document, page 166
id T String user. /api/v1/developer/users
Sample omits name, which the document marks required
mediumREJECTEDSPEC_SAMPLE_INCOMPLETE · F-37cb6094 · S-10.2
Document, page 163
name T String Name of the resources.
Document, page 164
"code": "SUCCESS",
Sample omits actor, which the document marks required
mediumREJECTEDSPEC_SAMPLE_INCOMPLETE · F-4896b535 · S-9.2
Document, page 156
actor T Object Information about the event operator.
Document, page 157
"code": "SUCCESS",
Sample omits event, which the document marks required
mediumREJECTEDSPEC_SAMPLE_INCOMPLETE · F-57e3eddb · S-9.2
Document, page 157
"code": "SUCCESS",
Document, page 157
event T Object Basic information about the event.
Sample omits deleted, which the document marks required
mediumREJECTEDSPEC_SAMPLE_INCOMPLETE · F-88db75e8 · S-10.4
Document, page 166
"code": "SUCCESS",
Document, page 166
deleted T Boolean Indicate whether a resource is disabled.
Sample omits name, which the document marks required
mediumREJECTEDSPEC_SAMPLE_INCOMPLETE · F-90f85c70 · S-10.4
Document, page 166
"code": "SUCCESS",
Document, page 166
name T String Name of the resources.
Sample omits week_schedule, which the document marks required
mediumCONFIRMEDSPEC_SAMPLE_INCOMPLETE · F-959533e6 · S-5.16
Document, page 98
"code": "SUCCESS",
Document, page 98
week_schedule T Object
Sample omits id, which the document marks required
mediumREJECTEDSPEC_SAMPLE_INCOMPLETE · F-9ee3d244 · S-10.2
Document, page 163
id T String Identity ID of the resources.
Document, page 164
"code": "SUCCESS",
Sample omits msg, which the document marks required
mediumCONFIRMEDSPEC_SAMPLE_INCOMPLETE · F-b2274bf9 · S-9.2
Document, page 157
"code": "SUCCESS",
Sample omits name, which the document marks required
mediumREJECTEDSPEC_SAMPLE_INCOMPLETE · F-ee160a81 · S-10.6
Document, page 169
"code": "SUCCESS",
Document, page 169
name T String Name of the resources.
Sample omits id, which the document marks required
mediumCONFIRMEDSPEC_SAMPLE_INCOMPLETE · F-f718c698 · S-5.15
Document, page 96
id T String /api/v1/developer/access_policies
Document, page 97
"code": "SUCCESS",
Sample value type contradicts the documented type of resources
highCONFIRMEDSPEC_SELF_INCONSISTENCY · F-0f3b02b5 · S-7.4
Document, page 131
resources F Array[String] this parameter if it doesn't need to /api/v1/developer/door_groups/topology
Document, page 132
"code": "SUCCESS",
Sample value violates the documented enum for visit_reason
highCONFIRMEDSPEC_SELF_INCONSISTENCY · F-2518a1ed · S-4.2
Document, page 52
visit_reason String Visit reason: enum reason {Interview,Business,Cooperation,Others}
Document, page 56
"visit_reason": "Interviemw",
Sample value type contradicts the documented type of the sample
highCONFIRMEDSPEC_SELF_INCONSISTENCY · F-318d603b · S-8.1
Document, page 147
"code": "SUCCESS",
Sample value type contradicts the documented type of touch_pass
highCONFIRMEDSPEC_SELF_INCONSISTENCY · F-41067aa7 · S-3.5
Document, page 13
touch_pass Array[Object]
Document, page 20
"code": "SUCCESS",
Sample value type contradicts the documented type of is_bind_hub
highCONFIRMEDSPEC_SELF_INCONSISTENCY · F-4406a47e · S-7.8
Document, page 137
is_bind_hub T String to a hub device. It can only be used for
Document, page 138
"code": "SUCCESS",
Sample value type contradicts the documented type of resources
highCONFIRMEDSPEC_SELF_INCONSISTENCY · F-623698f4 · S-7.3
Document, page 129
resources T String All doors contained under the group.
Document, page 130
"code": "SUCCESS",
Sample value type contradicts the documented type of is_bind_hub
highCONFIRMEDSPEC_SELF_INCONSISTENCY · F-72ea066d · S-7.7
Document, page 136
"code": "SUCCESS",
Document, page 136
is_bind_hub T String to a hub device. It can only be used for
Sample value type contradicts the documented type of resources
highCONFIRMEDSPEC_SELF_INCONSISTENCY · F-895887db · S-7.2
Document, page 128
"code": "SUCCESS",
Document, page 128
resources T Array[String] Collection of door ID. /api/v1/developer/door_groups/topology
Sample value violates the documented enum for visit_reason
highCONFIRMEDSPEC_SELF_INCONSISTENCY · F-a96f5336 · S-4.5
Document, page 52
visit_reason String Visit reason: enum reason {Interview,Business,Cooperation,Others}
Document, page 63
"first_name": "Test", "last_name": "L", "remarks": "", "mobile_phone": ""
Endpoints (108)
| S-3.2 | POST | /api/v1/developer/users | VERIFIED | 1 | 8 | 8 | 6/6 |
| S-3.3 | PUT | /api/v1/developer/users/:id | VERIFIED | 1 | 29 | 29 | 8/8 |
| S-3.4 | GET | /api/v1/developer/users/:id | VERIFIED_WITH_SPEC_FINDINGS | 2 | 24 | 24 | 3/3 |
| S-3.5 | GET | /api/v1/developer/users | VERIFIED_WITH_SPEC_FINDINGS | 1 | 25 | 25 | 4/4 |
| S-3.6 | PUT | /api/v1/developer/users/:id/access_policies | VERIFIED | 1 | 7 | 7 | 3/3 |
| S-3.7 | PUT | /api/v1/developer/users/:id/nfc_cards | VERIFIED | 1 | 8 | 8 | 4/4 |
| S-3.8 | PUT | /api/v1/developer/users/:id/nfc_cards/delete | VERIFIED | 1 | 7 | 7 | 3/3 |
| S-3.9 | PUT | /api/v1/developer/users/:id/pin_codes | VERIFIED | 1 | 7 | 7 | 3/3 |
| S-3.10 | DELETE | /api/v1/developer/users/:id/pin_codes | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-3.11 | POST | /api/v1/developer/user_groups | VERIFIED | 1 | 8 | 8 | 3/3 |
| S-3.12 | GET | /api/v1/developer/user_groups | VERIFIED | 1 | 5 | 5 | 1/1 |
| S-3.13 | GET | /api/v1/developer/user_groups/:id | VERIFIED | 1 | 6 | 6 | 2/2 |
| S-3.14 | PUT | /api/v1/developer/user_groups/:id | VERIFIED | 1 | 8 | 8 | 4/4 |
| S-3.15 | DELETE | /api/v1/developer/user_groups/:id | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-3.16 | POST | /api/v1/developer/user_groups/:id/users | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-3.17 | POST | /api/v1/developer/user_groups/:id/users/delete | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-3.18 | GET | /api/v1/developer/user_groups/:id/users | VERIFIED | 1 | 23 | 23 | 2/2 |
| S-3.19 | GET | /api/v1/developer/user_groups/:id/users/all | VERIFIED | 1 | 23 | 23 | 2/2 |
| S-3.20 | GET | /api/v1/developer/users/:id/access_policies | VERIFIED | 1 | 7 | 7 | 3/3 |
| S-3.21 | PUT | /api/v1/developer/user_groups/:id/access_policies | VERIFIED | 1 | 7 | 7 | 3/3 |
| S-3.22 | GET | /api/v1/developer/user_groups/:id/access_policies | VERIFIED | 1 | 6 | 6 | 2/2 |
| S-3.23 | DELETE | /api/v1/developer/users/:id | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-3.24 | GET | /api/v1/developer/users/search | VERIFIED_WITH_SPEC_FINDINGS | 2 | 28 | 28 | 7/7 |
| S-3.25 | PUT | /api/v1/developer/users/:user_id/touch_passes/:touch_pass_id | VERIFIED | 1 | 19 | 19 | 3/3 |
| S-3.26 | DELETE | /api/v1/developer/users/:user_id/touch_passes/:touch_pass_id | VERIFIED | 1 | 21 | 21 | 3/3 |
| S-3.27 | PUT | /api/v1/developer/users/touch_passes/assign | VERIFIED | 1 | 19 | 19 | 1/1 |
| S-3.28 | PUT | /api/v1/developer/users/:id/license_plates | VERIFIED | 1 | 6 | 6 | 2/2 |
| S-3.29 | DELETE | /api/v1/developer/users/:user_id/license_plates/:license_plate_id | VERIFIED | 1 | 8 | 8 | 3/3 |
| S-3.30 | POST | /api/v1/developer/users/:id/avatar | VERIFIED | 1 | 8 | 8 | 3/3 |
| S-4.2 | POST | /api/v1/developer/visitors | VERIFIED_WITH_SPEC_FINDINGS | 1 | 20 | 20 | 17/17 |
| S-4.3 | GET | /api/v1/developer/visitors/:id | VERIFIED | 2 | 5 | 5 | 2/2 |
| S-4.4 | GET | /api/v1/developer/visitors | QUARANTINED | 3 | 10 | 10 | 6/6 |
| S-4.5 | PUT | /api/v1/developer/visitors/:id | VERIFIED_WITH_SPEC_FINDINGS | 2 | 22 | 22 | 18/18 |
| S-4.6 | DELETE | /api/v1/developer/visitors/:id | VERIFIED | 1 | 5 | 5 | 3/3 |
| S-4.7 | PUT | /api/v1/developer/visitors/:id/nfc_cards | VERIFIED | 2 | 6 | 6 | 4/4 |
| S-4.8 | PUT | /api/v1/developer/visitors/:id/nfc_cards/delete | VERIFIED | 2 | 5 | 5 | 3/3 |
| S-4.9 | PUT | /api/v1/developer/visitors/:id/pin_codes | VERIFIED | 2 | 5 | 5 | 3/3 |
| S-4.10 | DELETE | /api/v1/developer/visitors/:id/pin_codes | VERIFIED | 2 | 4 | 4 | 2/2 |
| S-4.11 | PUT | /api/v1/developer/visitors/:id/qr_codes | VERIFIED | 3 | 4 | 4 | 2/2 |
| S-4.12 | DELETE | /api/v1/developer/visitors/:id/qr_codes | VERIFIED | 3 | 4 | 4 | 2/2 |
| S-4.13 | PUT | /api/v1/developer/visitors/:id/license_plates | VERIFIED | 3 | 4 | 4 | 2/2 |
| S-4.14 | DELETE | /api/v1/developer/visitors/:visitor_id/license_plates/:license_plate_id | VERIFIED | 3 | 5 | 5 | 3/3 |
| S-5.2 | POST | /api/v1/developer/access_policies | VERIFIED | 1 | 16 | 16 | 6/6 |
| S-5.3 | PUT | /api/v1/developer/access_policies/:id | VERIFIED | 1 | 15 | 15 | 7/7 |
| S-5.4 | DELETE | /api/v1/developer/access_policies/:id | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-5.5 | GET | /api/v1/developer/access_policies/:id | VERIFIED | 1 | 11 | 11 | 2/2 |
| S-5.6 | GET | /api/v1/developer/access_policies | VERIFIED | 1 | 10 | 10 | 1/1 |
| S-5.8 | POST | /api/v1/developer/access_policies/holiday_groups | VERIFIED | 1 | 20 | 20 | 10/10 |
| S-5.9 | PUT | /api/v1/developer/access_policies/holiday_groups/:id | VERIFIED_WITH_SPEC_FINDINGS | 1 | 20 | 20 | 11/11 |
| S-5.10 | DELETE | /api/v1/developer/access_policies/holiday_groups/:id | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-5.11 | GET | /api/v1/developer/access_policies/holiday_groups/:id | VERIFIED | 1 | 11 | 11 | 2/2 |
| S-5.12 | GET | /api/v1/developer/access_policies/holiday_groups | VERIFIED | 1 | 12 | 12 | 2/2 |
| S-5.14 | POST | /api/v1/developer/access_policies/schedules | VERIFIED | 1 | 22 | 22 | 10/10 |
| S-5.15 | PUT | /api/v1/developer/access_policies/schedules/:id | VERIFIED_WITH_SPEC_FINDINGS | 1 | 22 | 22 | 11/11 |
| S-5.16 | GET | /api/v1/developer/access_policies/schedules/:id | VERIFIED_WITH_SPEC_FINDINGS | 1 | 15 | 15 | 2/2 |
| S-5.17 | GET | /api/v1/developer/access_policies/schedules | VERIFIED | 1 | 13 | 13 | 1/1 |
| S-5.18 | DELETE | /api/v1/developer/access_policies/schedules/:id | VERIFIED | 2 | 7 | 7 | 2/2 |
| S-6.1 | POST | /api/v1/developer/credentials/pin_codes | VERIFIED | 1 | 7 | 7 | 1/1 |
| S-6.2 | POST | /api/v1/developer/credentials/nfc_cards/sessions | VERIFIED | 1 | 9 | 9 | 3/3 |
| S-6.3 | GET | /api/v1/developer/credentials/nfc_cards/sessions/:id | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-6.4 | DELETE | /api/v1/developer/credentials/nfc_cards/sessions/:id | VERIFIED | 1 | 6 | 6 | 2/2 |
| S-6.7 | GET | /api/v1/developer/credentials/nfc_cards/tokens/:token | VERIFIED | 1 | 16 | 16 | 2/2 |
| S-6.8 | GET | /api/v1/developer/credentials/nfc_cards/tokens | VERIFIED | 1 | 17 | 17 | 3/3 |
| S-6.9 | DELETE | /api/v1/developer/credentials/nfc_cards/tokens/:token | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-6.10 | PUT | /api/v1/developer/credentials/nfc_cards/tokens/:token | VERIFIED | 1 | 7 | 7 | 3/3 |
| S-6.12 | GET | /api/v1/developer/credentials/touch_passes | VERIFIED | 1 | 24 | 24 | 4/4 |
| S-6.13 | GET | /api/v1/developer/credentials/touch_passes/search | VERIFIED | 1 | 21 | 21 | 2/2 |
| S-6.14 | GET | /api/v1/developer/credentials/touch_passes/assignable | VERIFIED | 1 | 17 | 17 | 1/1 |
| S-6.15 | PUT | /api/v1/developer/credentials/touch_passes/:id | VERIFIED_WITH_SPEC_FINDINGS | 1 | 28 | 28 | 7/7 |
| S-6.16 | GET | /api/v1/developer/credentials/touch_passes/:id | VERIFIED | 1 | 21 | 21 | 2/2 |
| S-6.17 | POST | /api/v1/developer/credentials/touch_passes | VERIFIED | 1 | 18 | 18 | 2/2 |
| S-6.18 | GET | /api/v1/developer/credentials/qr_codes/download/:visitor_id | VERIFIED | 1 | 5 | 5 | 2/2 |
| S-6.19 | POST | /api/v1/developer/credentials/nfc_cards/import | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-7.1 | GET | /api/v1/developer/door_groups/topology | VERIFIED | 1 | 17 | 17 | 1/1 |
| S-7.2 | POST | /api/v1/developer/door_groups | VERIFIED_WITH_SPEC_FINDINGS | 1 | 13 | 13 | 3/3 |
| S-7.3 | GET | /api/v1/developer/door_groups/:id | VERIFIED_WITH_SPEC_FINDINGS | 2 | 14 | 14 | 2/2 |
| S-7.4 | PUT | /api/v1/developer/door_groups/:id | VERIFIED_WITH_SPEC_FINDINGS | 2 | 13 | 13 | 4/4 |
| S-7.5 | GET | /api/v1/developer/door_groups | VERIFIED | 1 | 10 | 10 | 1/1 |
| S-7.6 | DELETE | /api/v1/developer/door_groups/:id | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-7.7 | GET | /api/v1/developer/doors/:id | VERIFIED_WITH_SPEC_FINDINGS | 1 | 15 | 15 | 2/2 |
| S-7.8 | GET | /api/v1/developer/doors | VERIFIED_WITH_SPEC_FINDINGS | 1 | 14 | 14 | 1/1 |
| S-7.9 | PUT | /api/v1/developer/doors/:id/unlock | VERIFIED | 1 | 9 | 9 | 4/4 |
| S-7.10 | PUT | /api/v1/developer/doors/:id/lock_rule | VERIFIED | 2 | 9 | 9 | 4/4 |
| S-7.11 | GET | /api/v1/developer/doors/:id/lock_rule | VERIFIED | 2 | 9 | 9 | 2/2 |
| S-7.12 | PUT | /api/v1/developer/doors/settings/emergency | VERIFIED | 2 | 7 | 7 | 3/3 |
| S-7.13 | GET | /api/v1/developer/doors/settings/emergency | VERIFIED | 1 | 7 | 7 | 1/1 |
| S-8.1 | GET | /api/v1/developer/devices | VERIFIED_WITH_SPEC_FINDINGS | 1 | 10 | 10 | 2/2 |
| S-8.2 | GET | /api/v1/developer/devices/:device_id/settings | VERIFIED | 1 | 31 | 31 | 2/2 |
| S-8.3 | PUT | /api/v1/developer/devices/:device_id/settings | VERIFIED | 1 | 33 | 33 | 25/25 |
| S-8.4 | POST | /api/v1/developer/devices/:device_id/doorbell | VERIFIED | 1 | 10 | 10 | 4/4 |
| S-9.2 | POST | /api/v1/developer/system/logs | VERIFIED_WITH_SPEC_FINDINGS | 1 | 17 | 17 | 7/7 |
| S-9.3 | POST | /api/v1/developer/system/logs/export | VERIFIED | 1 | 11 | 11 | 6/6 |
| S-9.4 | GET | /api/v1/developer/system/logs/resource/:id | VERIFIED | 1 | 6 | 6 | 2/2 |
| S-9.5 | GET | /api/v1/developer/system/static/:path | VERIFIED | 1 | 5 | 5 | 2/2 |
| S-10.1 | POST | /api/v1/developer/users/identity/invitations | VERIFIED_WITH_SPEC_FINDINGS | 1 | 8 | 8 | 3/3 |
| S-10.2 | GET | /api/v1/developer/users/identity/assignments | VERIFIED_WITH_SPEC_FINDINGS | 1 | 12 | 12 | 2/2 |
| S-10.3 | POST | /api/v1/developer/users/:id/identity/assignments | VERIFIED | 1 | 10 | 10 | 4/4 |
| S-10.4 | GET | /api/v1/developer/users/:id/identity/assignments | VERIFIED_WITH_SPEC_FINDINGS | 1 | 11 | 11 | 2/2 |
| S-10.5 | POST | /api/v1/developer/user_groups/:id/identity/assignments | VERIFIED | 1 | 10 | 10 | 4/4 |
| S-10.6 | GET | /api/v1/developer/user_groups/:id/identity/assignments | VERIFIED_WITH_SPEC_FINDINGS | 1 | 11 | 11 | 2/2 |
| S-11.1 | GET | /api/v1/developer/devices/notifications | VERIFIED | 1 | 2 | 2 | 0/0 |
| S-11.3 | GET | /api/v1/developer/webhooks/endpoints | VERIFIED | 1 | 11 | 11 | 1/1 |
| S-11.4 | POST | /api/v1/developer/webhooks/endpoints | VERIFIED_WITH_SPEC_FINDINGS | 1 | 10 | 10 | 4/4 |
| S-11.5 | PUT | /api/v1/developer/webhooks/endpoints/:id | VERIFIED_WITH_SPEC_FINDINGS | 1 | 10 | 10 | 5/5 |
| S-11.6 | DELETE | /api/v1/developer/webhooks/endpoints/:id | VERIFIED | 1 | 7 | 7 | 2/2 |
| S-11.7 | POST | VERIFIED | 1 | 3 | 3 | 1/1 | |
| S-12.1 | POST | /api/v1/developer/api_server/certificates | VERIFIED | 1 | 8 | 8 | 3/3 |
| S-12.2 | DELETE | /api/v1/developer/api_server/certificates | VERIFIED | 1 | 6 | 6 | 1/1 |
Community spec and client code
Community OpenAPI comparison
30 candidate findings, 8 human-confirmed
- COMMUNITY_ENUM_MISMATCH: 2
- COMMUNITY_EXTRA_FIELD: 3
- COMMUNITY_MISSING_FIELD: 24
- COMMUNITY_REQUIRED_MISMATCH: 1
Client conformance (py-unifi-access)
3 candidate findings, 1 human-confirmed
- CLIENT_REQUIRES_UNDOCUMENTED_FIELD: 1
- CLIENT_TYPE_MISMATCH: 2
Spec self-consistency
30 candidate findings, 19 human-confirmed
- SPEC_MALFORMED_SAMPLE: 7
- SPEC_SAMPLE_INCOMPLETE: 14
- SPEC_SELF_INCONSISTENCY: 9
How this was built
| Part | Built or produced by | Evidence |
|---|---|---|
| Deterministic engine (ingest, segment, verify, loop, compare, conformance, metrics, report) | Claude Code | Commits with Refs: T01-T06, T09-T12; docs/AI_USAGE_LOG.md |
| Spec extraction: reading the PDF and writing cited contracts | IBM Bob 2.0 (spec-auditor mode, specproof-extract skill) | artifacts/contract/*.json (producer ibm-bob); bob_sessions/INDEX.md |
| Chapter fan-out and parallel extraction | IBM Bob 2.0 subagents and background tasks | T08 session exports |
| Retry loop over verifier feedback | IBM Bob 2.0 (/sp-loop), judged only by the deterministic verifier | artifacts/feedback/, verification/*_attempt*.json |
| Client model to section mapping | IBM Bob 2.0 (spec-auditor mode), validated deterministically | artifacts/conformance/mapping.yaml |
| Verification verdicts | Deterministic Python only; no model judges its own output | src/specproof/verify/ (no LLM calls) |
Methodology
| Rule | Check |
|---|---|
| V1 | Contract JSON is valid against the schema |
| V2 | Each quote appears verbatim on its cited page; names appear in their quotes; enum values appear in their citations; samples are verbatim |
| V2b | Required flag and type match the single-line table row |
| V3 | The document's own samples parse as JSON and validate against the extracted contract |
| V4 | Method and path match the deterministic segmenter's hints |
| V5 | Every table row the detector finds is present in the contract |
A sample conflict becomes a finding about the document only when both sides are grounded in the document. Otherwise the section is retried (at most 3 attempts) or quarantined.
Limitations
- Validated on one vendor PDF with a regular table layout. Other layouts may need new row detectors.
- Prose-only rules (conditional requirements, version notes) are captured as descriptions, not verified semantics.
- Client conformance covers Python Pydantic models only.
- Hand-audit precision has the confidence interval of the audited sample size; the interval is shown next to the value.
- Rows whose cells wrap across lines cannot be row-checked; they are reported as not checked, never as passed.
Prior art
| Work | What it does | What it does not do |
|---|---|---|
| SpeCrawler (arXiv 2402.11625, 2024) | LLM pipeline that generates OpenAPI specs from API documentation | Per-claim citations, deterministic verification, code conformance |
| Trail of Bits Spec-to-Code Compliance Checker | LLM audit of code against a spec, citing sections and lines | The LLM judges compliance; no machine contract; no sample replay |
| Community UniFi OpenAPI (YuDefine) | One-off conversion of this PDF with MinerU + Claude | Verification; the authors warn of omissions and errors |
| OpenAPI diff tools (oasdiff, openapi-diff) | Diff two machine-readable specs | A machine-readable spec must already exist |
| Contract testing (Pact, Schemathesis) | Test against a machine-readable contract | A machine-readable contract must already exist |
Lineage
| Artifact | sha256 | Stage | Producer |
|---|---|---|---|
| artifacts/conformance/mapping.yaml | d57320de564b | map | external |
| artifacts/conformance/test_sample_replay.py | c81171c4f89a | conform | deterministic |
| artifacts/contract/S-10.1.json | 3a161bb2749e | extract | external |
| artifacts/contract/S-10.2.json | 44966fb5decf | extract | external |
| artifacts/contract/S-10.3.json | 548ae0ab801f | extract | external |
| artifacts/contract/S-10.4.json | 628194523e6b | extract | external |
| artifacts/contract/S-10.5.json | 1e10cba2718a | extract | external |
| artifacts/contract/S-10.6.json | a2a86366d2f8 | extract | external |
| artifacts/contract/S-11.1.json | f8560e7b1d16 | extract | external |
| artifacts/contract/S-11.3.json | ba5f8e87b85b | extract | external |
| artifacts/contract/S-11.4.json | 91aaebec6ca0 | extract | external |
| artifacts/contract/S-11.5.json | 80a73ff9ab0f | extract | external |
| artifacts/contract/S-11.6.json | 0bd6cbaebdb8 | extract | external |
| artifacts/contract/S-11.7.json | feda930c2834 | extract | external |
| artifacts/contract/S-12.1.json | dd1e64e90084 | extract | external |
| artifacts/contract/S-12.2.json | e93b85c8fb70 | extract | external |
| artifacts/contract/S-2.8.json | b02e19975250 | extract | external |
| artifacts/contract/S-3.1.json | 4f507923b1ad | extract | external |
| artifacts/contract/S-3.10.json | 71f298f64704 | extract | external |
| artifacts/contract/S-3.11.json | 1cf4b57df15c | extract | external |
| artifacts/contract/S-3.12.json | 462d4db3fc21 | extract | external |
| artifacts/contract/S-3.13.json | a1dcc8f7f069 | extract | external |
| artifacts/contract/S-3.14.json | f84987652ba9 | extract | external |
| artifacts/contract/S-3.15.json | 96a4f341503e | extract | external |
| artifacts/contract/S-3.16.json | 3f1bf5053786 | extract | external |
| artifacts/contract/S-3.17.json | 1d575e856111 | extract | external |
| artifacts/contract/S-3.18.json | 03c58b6ce4fb | extract | external |
| artifacts/contract/S-3.19.json | c368123637c6 | extract | external |
| artifacts/contract/S-3.2.json | 5ea8c7b55be7 | extract | ibm-bob |
| artifacts/contract/S-3.20.json | 71b6be5ca8b0 | extract | external |
| artifacts/contract/S-3.21.json | 5a080b95504c | extract | external |
| artifacts/contract/S-3.22.json | 9429541f29d5 | extract | external |
| artifacts/contract/S-3.23.json | 50b378489421 | extract | external |
| artifacts/contract/S-3.24.json | 20a509d9f8f9 | extract | external |
| artifacts/contract/S-3.25.json | a757a6ab3dbf | extract | external |
| artifacts/contract/S-3.26.json | 005f0feb8f6f | extract | external |
| artifacts/contract/S-3.27.json | ae43675b0cb0 | extract | external |
| artifacts/contract/S-3.28.json | 9c70704ae8c9 | extract | external |
| artifacts/contract/S-3.29.json | 64e6c92f9def | extract | external |
| artifacts/contract/S-3.3.json | cc00b4ec18fe | extract | external |
| artifacts/contract/S-3.30.json | 0bcf089555fb | extract | external |
| artifacts/contract/S-3.4.json | 889b92e2e164 | extract | external |
| artifacts/contract/S-3.5.json | e8b59b74ad3b | extract | external |
| artifacts/contract/S-3.6.json | 36a320f79558 | extract | external |
| artifacts/contract/S-3.7.json | 333417fc7621 | extract | external |
| artifacts/contract/S-3.8.json | c260ba349710 | extract | external |
| artifacts/contract/S-3.9.json | 95af076004d2 | extract | external |
| artifacts/contract/S-4.1.json | 1ddc6e8e228e | extract | ibm-bob |
| artifacts/contract/S-4.10.json | 09f41177833f | extract | external |
| artifacts/contract/S-4.11.json | 193bfba5a029 | extract | external |
| artifacts/contract/S-4.12.json | 03f7cc9b8bd8 | extract | external |
| artifacts/contract/S-4.13.json | 5d6e9c58381d | extract | external |
| artifacts/contract/S-4.14.json | c6895795b0f5 | extract | external |
| artifacts/contract/S-4.2.json | 4271a52e1fdd | extract | ibm-bob |
| artifacts/contract/S-4.3.json | 9352bee488f4 | extract | external |
| artifacts/contract/S-4.4.json | 685a55229c1e | extract | external |
| artifacts/contract/S-4.5.json | 4a45ed006195 | extract | external |
| artifacts/contract/S-4.6.json | ebf8f4b0a2f1 | extract | ibm-bob |
| artifacts/contract/S-4.7.json | c8e1fd24a6e2 | extract | external |
| artifacts/contract/S-4.8.json | cf411d798b67 | extract | external |
| artifacts/contract/S-4.9.json | b947122bb4ac | extract | external |
| artifacts/contract/S-5.1.json | 83f04a79c6ba | extract | external |
| artifacts/contract/S-5.10.json | 5aae5d82d384 | extract | external |
| artifacts/contract/S-5.11.json | 2cd91a0155d1 | extract | external |
| artifacts/contract/S-5.12.json | 7f9178ff0b33 | extract | external |
| artifacts/contract/S-5.13.json | 50b2f96af3b0 | extract | external |
| artifacts/contract/S-5.14.json | 7cb508b02e99 | extract | external |
| artifacts/contract/S-5.15.json | 75858fab09e6 | extract | external |
| artifacts/contract/S-5.16.json | 009439be9e13 | extract | external |
| artifacts/contract/S-5.17.json | 23f179b63a41 | extract | external |
| artifacts/contract/S-5.18.json | b22d85ca9a84 | extract | external |
| artifacts/contract/S-5.2.json | c6e3385c4167 | extract | external |
| artifacts/contract/S-5.3.json | 607d88990b57 | extract | external |
| artifacts/contract/S-5.4.json | 07d3eb92aee2 | extract | external |
| artifacts/contract/S-5.5.json | bdc1331c4488 | extract | external |
| artifacts/contract/S-5.6.json | ddff1fb99116 | extract | external |
| artifacts/contract/S-5.7.json | 3b9c641e4e72 | extract | external |
| artifacts/contract/S-5.8.json | d26b0af2a56f | extract | external |
| artifacts/contract/S-5.9.json | 5c4094f09c17 | extract | external |
| artifacts/contract/S-6.1.json | 4f2c051d9a5c | extract | external |
| artifacts/contract/S-6.10.json | cd9ee4677c90 | extract | external |
| artifacts/contract/S-6.11.json | 0364c8308555 | extract | external |
| artifacts/contract/S-6.12.json | 033de9e565f8 | extract | external |
| artifacts/contract/S-6.13.json | e0e22bcf2415 | extract | external |
| artifacts/contract/S-6.14.json | bce29ef76df3 | extract | external |
| artifacts/contract/S-6.15.json | f28055206398 | extract | external |
| artifacts/contract/S-6.16.json | f0c54e7aae37 | extract | external |
| artifacts/contract/S-6.17.json | 1a27a90cb94a | extract | external |
| artifacts/contract/S-6.18.json | afa2e3e0c3ca | extract | external |
| artifacts/contract/S-6.19.json | d21185795d02 | extract | external |
| artifacts/contract/S-6.2.json | f02f11c87240 | extract | external |
| artifacts/contract/S-6.3.json | c97e61dff26b | extract | external |
| artifacts/contract/S-6.4.json | 63fa4361b4d3 | extract | external |
| artifacts/contract/S-6.6.json | 012a0b4844a6 | extract | external |
| artifacts/contract/S-6.7.json | bf0e6348096a | extract | external |
| artifacts/contract/S-6.8.json | 6a4d24d6946a | extract | external |
| artifacts/contract/S-6.9.json | 98170cb29c2e | extract | external |
| artifacts/contract/S-7.1.json | 8d7a9a71dfdd | extract | external |
| artifacts/contract/S-7.10.json | ec1b20a73ef4 | extract | external |
| artifacts/contract/S-7.11.json | f117ba5db90b | extract | external |
| artifacts/contract/S-7.12.json | 8449660733fe | extract | external |
| artifacts/contract/S-7.13.json | 0ad134a4406c | extract | external |
| artifacts/contract/S-7.2.json | 56ad245b0bfb | extract | external |
| artifacts/contract/S-7.3.json | bab4474e112b | extract | external |
| artifacts/contract/S-7.4.json | e27ee5d9a97c | extract | external |
| artifacts/contract/S-7.5.json | 6aa708698e26 | extract | external |
| artifacts/contract/S-7.6.json | 7fc7420941c3 | extract | external |
| artifacts/contract/S-7.7.json | 93f71f974ef1 | extract | external |
| artifacts/contract/S-7.8.json | a683aee33a54 | extract | external |
| artifacts/contract/S-7.9.json | 348e6db8a450 | extract | external |
| artifacts/contract/S-8.1.json | 2a5fdf103a81 | extract | external |
| artifacts/contract/S-8.2.json | ecaf2189d2d0 | extract | external |
| artifacts/contract/S-8.3.json | cefab533beb1 | extract | external |
| artifacts/contract/S-8.4.json | c8f01fe6bd4c | extract | external |
| artifacts/contract/S-9.2.json | f551150c7dbb | extract | external |
| artifacts/contract/S-9.3.json | e44400cc8047 | extract | external |
| artifacts/contract/S-9.4.json | a4e8687d2074 | extract | external |
| artifacts/contract/S-9.5.json | df98497f5d62 | extract | external |
| artifacts/determinism.json | 674fb6ac0cca | determinism | deterministic |
| artifacts/eval_result.json | 1f0a334313d0 | eval | deterministic |
| artifacts/feedback/S-3.24.md | 61d5e7fd9079 | classify | deterministic |
| artifacts/feedback/S-3.4.md | 1c4a45278e8c | classify | deterministic |
| artifacts/feedback/S-4.10.md | dd5099698b7a | classify | deterministic |
| artifacts/feedback/S-4.11.md | 14b0ad416bcc | classify | deterministic |
| artifacts/feedback/S-4.12.md | 5f998ac677c0 | classify | deterministic |
| artifacts/feedback/S-4.13.md | ce4f3cfc3304 | classify | deterministic |
| artifacts/feedback/S-4.14.md | fa115874697d | classify | deterministic |
| artifacts/feedback/S-4.3.md | 7d2304ebbae3 | classify | deterministic |
| artifacts/feedback/S-4.4.md | 3c0ff3554540 | classify | deterministic |
| artifacts/feedback/S-4.5.md | 12abb2745e79 | classify | deterministic |
| artifacts/feedback/S-4.7.md | 12b37068647d | classify | deterministic |
| artifacts/feedback/S-4.8.md | b2ac9dae60ab | classify | deterministic |
| artifacts/feedback/S-4.9.md | f09cb1376a4d | classify | deterministic |
| artifacts/feedback/S-5.18.md | 400e17705f11 | classify | deterministic |
| artifacts/feedback/S-7.10.md | bde920882188 | classify | deterministic |
| artifacts/feedback/S-7.11.md | 304b578e02e5 | classify | deterministic |
| artifacts/feedback/S-7.12.md | 6703ec261ec9 | classify | deterministic |
| artifacts/feedback/S-7.3.md | 1d0aa86cc3cd | classify | deterministic |
| artifacts/feedback/S-7.4.md | 388c836766ae | classify | deterministic |
| artifacts/findings.json | 80ef3c9eea23 | report | deterministic |
| artifacts/findings.sarif | 355945b5c28d | report | deterministic |
| artifacts/findings/community.json | 6d57dac5d1eb | compare | deterministic |
| artifacts/findings/conformance.json | f55b0362067b | conform | deterministic |
| artifacts/findings/spec.json | 3ce9596168b8 | classify | deterministic |
| artifacts/metrics.json | 1a22b8cdbf1c | metrics | deterministic |
| artifacts/openapi.specproof.yaml | 4f08cd94b083 | export | deterministic |
| artifacts/report/index.html | 3979fb073c21 | report | deterministic |
| artifacts/sections_index.json | e96d2804f8fd | segment | deterministic |
| artifacts/status.json | 78b2e65bda4d | classify | deterministic |
| artifacts/verification/S-10.1.json | a6e8bd2c12ba | verify | deterministic |
| artifacts/verification/S-10.1_attempt1.json | a6e8bd2c12ba | verify | deterministic |
| artifacts/verification/S-10.2.json | 2f916329925c | verify | deterministic |
| artifacts/verification/S-10.2_attempt1.json | 2f916329925c | verify | deterministic |
| artifacts/verification/S-10.3.json | 60f7837d770b | verify | deterministic |
| artifacts/verification/S-10.3_attempt1.json | 60f7837d770b | verify | deterministic |
| artifacts/verification/S-10.4.json | 0be67a3a711c | verify | deterministic |
| artifacts/verification/S-10.4_attempt1.json | 0be67a3a711c | verify | deterministic |
| artifacts/verification/S-10.5.json | 395c7cd9a0a7 | verify | deterministic |
| artifacts/verification/S-10.5_attempt1.json | 395c7cd9a0a7 | verify | deterministic |
| artifacts/verification/S-10.6.json | 33436c6bb83b | verify | deterministic |
| artifacts/verification/S-10.6_attempt1.json | 33436c6bb83b | verify | deterministic |
| artifacts/verification/S-11.1.json | 9d3e4712196a | verify | deterministic |
| artifacts/verification/S-11.1_attempt1.json | 9d3e4712196a | verify | deterministic |
| artifacts/verification/S-11.3.json | 2c1b5768cb5b | verify | deterministic |
| artifacts/verification/S-11.3_attempt1.json | 2c1b5768cb5b | verify | deterministic |
| artifacts/verification/S-11.4.json | 95a7bcc6ec96 | verify | deterministic |
| artifacts/verification/S-11.4_attempt1.json | 95a7bcc6ec96 | verify | deterministic |
| artifacts/verification/S-11.5.json | 718da37eac40 | verify | deterministic |
| artifacts/verification/S-11.5_attempt1.json | 718da37eac40 | verify | deterministic |
| artifacts/verification/S-11.6.json | 2063f97e0e68 | verify | deterministic |
| artifacts/verification/S-11.6_attempt1.json | 2063f97e0e68 | verify | deterministic |
| artifacts/verification/S-11.7.json | 73a32d502e3c | verify | deterministic |
| artifacts/verification/S-11.7_attempt1.json | 73a32d502e3c | verify | deterministic |
| artifacts/verification/S-12.1.json | aae982560483 | verify | deterministic |
| artifacts/verification/S-12.1_attempt1.json | aae982560483 | verify | deterministic |
| artifacts/verification/S-12.2.json | cbff4f7223c0 | verify | deterministic |
| artifacts/verification/S-12.2_attempt1.json | cbff4f7223c0 | verify | deterministic |
| artifacts/verification/S-2.8.json | 59a197edd1e4 | verify | deterministic |
| artifacts/verification/S-2.8_attempt1.json | 59a197edd1e4 | verify | deterministic |
| artifacts/verification/S-3.1.json | fef77abec33e | verify | deterministic |
| artifacts/verification/S-3.10.json | 8e7b9c893689 | verify | deterministic |
| artifacts/verification/S-3.10_attempt1.json | 8e7b9c893689 | verify | deterministic |
| artifacts/verification/S-3.11.json | 511e35a17b64 | verify | deterministic |
| artifacts/verification/S-3.11_attempt1.json | 511e35a17b64 | verify | deterministic |
| artifacts/verification/S-3.12.json | c45e617af589 | verify | deterministic |
| artifacts/verification/S-3.12_attempt1.json | c45e617af589 | verify | deterministic |
| artifacts/verification/S-3.13.json | 9c191db5f969 | verify | deterministic |
| artifacts/verification/S-3.13_attempt1.json | 9c191db5f969 | verify | deterministic |
| artifacts/verification/S-3.14.json | 792ba797dd59 | verify | deterministic |
| artifacts/verification/S-3.14_attempt1.json | 792ba797dd59 | verify | deterministic |
| artifacts/verification/S-3.15.json | cf0f17a7d55b | verify | deterministic |
| artifacts/verification/S-3.15_attempt1.json | cf0f17a7d55b | verify | deterministic |
| artifacts/verification/S-3.16.json | 3409b5cbf721 | verify | deterministic |
| artifacts/verification/S-3.16_attempt1.json | 3409b5cbf721 | verify | deterministic |
| artifacts/verification/S-3.17.json | 657b5c776a42 | verify | deterministic |
| artifacts/verification/S-3.17_attempt1.json | 657b5c776a42 | verify | deterministic |
| artifacts/verification/S-3.18.json | 22f8fff7dbf2 | verify | deterministic |
| artifacts/verification/S-3.18_attempt1.json | 22f8fff7dbf2 | verify | deterministic |
| artifacts/verification/S-3.19.json | ae8d466ca7cb | verify | deterministic |
| artifacts/verification/S-3.19_attempt1.json | ae8d466ca7cb | verify | deterministic |
| artifacts/verification/S-3.1_attempt1.json | fef77abec33e | verify | deterministic |
| artifacts/verification/S-3.2.json | ce2f04ce6895 | verify | deterministic |
| artifacts/verification/S-3.20.json | 0d260b289fa4 | verify | deterministic |
| artifacts/verification/S-3.20_attempt1.json | 0d260b289fa4 | verify | deterministic |
| artifacts/verification/S-3.21.json | d6b39c0e9df2 | verify | deterministic |
| artifacts/verification/S-3.21_attempt1.json | d6b39c0e9df2 | verify | deterministic |
| artifacts/verification/S-3.22.json | 620df9abeb5b | verify | deterministic |
| artifacts/verification/S-3.22_attempt1.json | 620df9abeb5b | verify | deterministic |
| artifacts/verification/S-3.23.json | 266f09f4071b | verify | deterministic |
| artifacts/verification/S-3.23_attempt1.json | 266f09f4071b | verify | deterministic |
| artifacts/verification/S-3.24.json | 0bb528cba52b | verify | deterministic |
| artifacts/verification/S-3.24_attempt1.json | a4ad8e12db28 | verify | deterministic |
| artifacts/verification/S-3.24_attempt2.json | 0bb528cba52b | verify | deterministic |
| artifacts/verification/S-3.25.json | dafeed0ed03f | verify | deterministic |
| artifacts/verification/S-3.25_attempt1.json | dafeed0ed03f | verify | deterministic |
| artifacts/verification/S-3.26.json | ea7957ec6212 | verify | deterministic |
| artifacts/verification/S-3.26_attempt1.json | ea7957ec6212 | verify | deterministic |
| artifacts/verification/S-3.27.json | 72410223613d | verify | deterministic |
| artifacts/verification/S-3.27_attempt1.json | 72410223613d | verify | deterministic |
| artifacts/verification/S-3.28.json | d08701a2ab96 | verify | deterministic |
| artifacts/verification/S-3.28_attempt1.json | d08701a2ab96 | verify | deterministic |
| artifacts/verification/S-3.29.json | b1997a432178 | verify | deterministic |
| artifacts/verification/S-3.29_attempt1.json | b1997a432178 | verify | deterministic |
| artifacts/verification/S-3.2_attempt1.json | ce2f04ce6895 | verify | deterministic |
| artifacts/verification/S-3.3.json | 10cf4aebf1e7 | verify | deterministic |
| artifacts/verification/S-3.30.json | 19a67ebdf532 | verify | deterministic |
| artifacts/verification/S-3.30_attempt1.json | 19a67ebdf532 | verify | deterministic |
| artifacts/verification/S-3.3_attempt1.json | 10cf4aebf1e7 | verify | deterministic |
| artifacts/verification/S-3.4.json | 9a590b95dca2 | verify | deterministic |
| artifacts/verification/S-3.4_attempt1.json | a9f771e7eaa8 | verify | deterministic |
| artifacts/verification/S-3.4_attempt2.json | 9a590b95dca2 | verify | deterministic |
| artifacts/verification/S-3.5.json | 552574cdb0db | verify | deterministic |
| artifacts/verification/S-3.5_attempt1.json | 552574cdb0db | verify | deterministic |
| artifacts/verification/S-3.6.json | 0b72314040b4 | verify | deterministic |
| artifacts/verification/S-3.6_attempt1.json | 0b72314040b4 | verify | deterministic |
| artifacts/verification/S-3.7.json | b72163395d9b | verify | deterministic |
| artifacts/verification/S-3.7_attempt1.json | b72163395d9b | verify | deterministic |
| artifacts/verification/S-3.8.json | 8c6d5524fc98 | verify | deterministic |
| artifacts/verification/S-3.8_attempt1.json | 8c6d5524fc98 | verify | deterministic |
| artifacts/verification/S-3.9.json | 07181ef94a9a | verify | deterministic |
| artifacts/verification/S-3.9_attempt1.json | 07181ef94a9a | verify | deterministic |
| artifacts/verification/S-4.1.json | 366945e24f7c | verify | deterministic |
| artifacts/verification/S-4.10.json | 8262e58b36f5 | verify | deterministic |
| artifacts/verification/S-4.10_attempt1.json | 320f7d872f4c | verify | deterministic |
| artifacts/verification/S-4.10_attempt2.json | 8262e58b36f5 | verify | deterministic |
| artifacts/verification/S-4.11.json | f2bb568e279a | verify | deterministic |
| artifacts/verification/S-4.11_attempt1.json | e02cd2f015a4 | verify | deterministic |
| artifacts/verification/S-4.11_attempt2.json | 2d4a0d6cec4a | verify | deterministic |
| artifacts/verification/S-4.11_attempt3.json | f2bb568e279a | verify | deterministic |
| artifacts/verification/S-4.12.json | 1b641875fa00 | verify | deterministic |
| artifacts/verification/S-4.12_attempt1.json | cc467e02751d | verify | deterministic |
| artifacts/verification/S-4.12_attempt2.json | 296922c7d608 | verify | deterministic |
| artifacts/verification/S-4.12_attempt3.json | 1b641875fa00 | verify | deterministic |
| artifacts/verification/S-4.13.json | a496812d71f0 | verify | deterministic |
| artifacts/verification/S-4.13_attempt1.json | 58089fbc2b3f | verify | deterministic |
| artifacts/verification/S-4.13_attempt2.json | ec35b9f1e20e | verify | deterministic |
| artifacts/verification/S-4.13_attempt3.json | a496812d71f0 | verify | deterministic |
| artifacts/verification/S-4.14.json | ff1f9d85f920 | verify | deterministic |
| artifacts/verification/S-4.14_attempt1.json | 15c3d4bc2e17 | verify | deterministic |
| artifacts/verification/S-4.14_attempt2.json | 15a841f34600 | verify | deterministic |
| artifacts/verification/S-4.14_attempt3.json | ff1f9d85f920 | verify | deterministic |
| artifacts/verification/S-4.1_attempt1.json | 366945e24f7c | verify | deterministic |
| artifacts/verification/S-4.2.json | 50516f227065 | verify | deterministic |
| artifacts/verification/S-4.2_attempt1.json | 50516f227065 | verify | deterministic |
| artifacts/verification/S-4.3.json | 5ffd90977674 | verify | deterministic |
| artifacts/verification/S-4.3_attempt1.json | 63f251dec02b | verify | deterministic |
| artifacts/verification/S-4.3_attempt2.json | 5ffd90977674 | verify | deterministic |
| artifacts/verification/S-4.4.json | 1b6d2e8c1345 | verify | deterministic |
| artifacts/verification/S-4.4_attempt1.json | 3f1fc4e5ea90 | verify | deterministic |
| artifacts/verification/S-4.4_attempt2.json | d5329c67b881 | verify | deterministic |
| artifacts/verification/S-4.4_attempt3.json | 1b6d2e8c1345 | verify | deterministic |
| artifacts/verification/S-4.5.json | 4148aebb6e64 | verify | deterministic |
| artifacts/verification/S-4.5_attempt1.json | 4c2ae0ed6c19 | verify | deterministic |
| artifacts/verification/S-4.5_attempt2.json | 4148aebb6e64 | verify | deterministic |
| artifacts/verification/S-4.6.json | ad5e1b7cc22e | verify | deterministic |
| artifacts/verification/S-4.6_attempt1.json | ad5e1b7cc22e | verify | deterministic |
| artifacts/verification/S-4.7.json | 36049c06e1f0 | verify | deterministic |
| artifacts/verification/S-4.7_attempt1.json | 24c654241b23 | verify | deterministic |
| artifacts/verification/S-4.7_attempt2.json | 36049c06e1f0 | verify | deterministic |
| artifacts/verification/S-4.8.json | 2c2ed703d037 | verify | deterministic |
| artifacts/verification/S-4.8_attempt1.json | e528fd827105 | verify | deterministic |
| artifacts/verification/S-4.8_attempt2.json | 2c2ed703d037 | verify | deterministic |
| artifacts/verification/S-4.9.json | 85395870af6b | verify | deterministic |
| artifacts/verification/S-4.9_attempt1.json | cd59d45c4dbb | verify | deterministic |
| artifacts/verification/S-4.9_attempt2.json | 85395870af6b | verify | deterministic |
| artifacts/verification/S-5.1.json | b186baf70e86 | verify | deterministic |
| artifacts/verification/S-5.10.json | 1f8496c30774 | verify | deterministic |
| artifacts/verification/S-5.10_attempt1.json | 1f8496c30774 | verify | deterministic |
| artifacts/verification/S-5.11.json | 0952110bbca0 | verify | deterministic |
| artifacts/verification/S-5.11_attempt1.json | 0952110bbca0 | verify | deterministic |
| artifacts/verification/S-5.12.json | 35f78a8f6d98 | verify | deterministic |
| artifacts/verification/S-5.12_attempt1.json | 35f78a8f6d98 | verify | deterministic |
| artifacts/verification/S-5.13.json | 5ab1b50f2aed | verify | deterministic |
| artifacts/verification/S-5.13_attempt1.json | 5ab1b50f2aed | verify | deterministic |
| artifacts/verification/S-5.14.json | 5f2b40e30594 | verify | deterministic |
| artifacts/verification/S-5.14_attempt1.json | 5f2b40e30594 | verify | deterministic |
| artifacts/verification/S-5.15.json | e287d1fda0b5 | verify | deterministic |
| artifacts/verification/S-5.15_attempt1.json | e287d1fda0b5 | verify | deterministic |
| artifacts/verification/S-5.16.json | 58394a2c49f6 | verify | deterministic |
| artifacts/verification/S-5.16_attempt1.json | 58394a2c49f6 | verify | deterministic |
| artifacts/verification/S-5.17.json | d8180f37a8e0 | verify | deterministic |
| artifacts/verification/S-5.17_attempt1.json | d8180f37a8e0 | verify | deterministic |
| artifacts/verification/S-5.18.json | fcbabd8299d8 | verify | deterministic |
| artifacts/verification/S-5.18_attempt1.json | 06465fc4433c | verify | deterministic |
| artifacts/verification/S-5.18_attempt2.json | fcbabd8299d8 | verify | deterministic |
| artifacts/verification/S-5.1_attempt1.json | b186baf70e86 | verify | deterministic |
| artifacts/verification/S-5.2.json | 1ff4d877606f | verify | deterministic |
| artifacts/verification/S-5.2_attempt1.json | 1ff4d877606f | verify | deterministic |
| artifacts/verification/S-5.3.json | 3a3b5bcddff8 | verify | deterministic |
| artifacts/verification/S-5.3_attempt1.json | 3a3b5bcddff8 | verify | deterministic |
| artifacts/verification/S-5.4.json | 22d8a72b3ad2 | verify | deterministic |
| artifacts/verification/S-5.4_attempt1.json | 22d8a72b3ad2 | verify | deterministic |
| artifacts/verification/S-5.5.json | a6026344df5a | verify | deterministic |
| artifacts/verification/S-5.5_attempt1.json | a6026344df5a | verify | deterministic |
| artifacts/verification/S-5.6.json | 6eb1aa550b80 | verify | deterministic |
| artifacts/verification/S-5.6_attempt1.json | 6eb1aa550b80 | verify | deterministic |
| artifacts/verification/S-5.7.json | 965c771f5c63 | verify | deterministic |
| artifacts/verification/S-5.7_attempt1.json | 965c771f5c63 | verify | deterministic |
| artifacts/verification/S-5.8.json | f6b71404b97e | verify | deterministic |
| artifacts/verification/S-5.8_attempt1.json | f6b71404b97e | verify | deterministic |
| artifacts/verification/S-5.9.json | 4c03cc7df804 | verify | deterministic |
| artifacts/verification/S-5.9_attempt1.json | 4c03cc7df804 | verify | deterministic |
| artifacts/verification/S-6.1.json | 33b2ed0b8430 | verify | deterministic |
| artifacts/verification/S-6.10.json | d8e820188dc9 | verify | deterministic |
| artifacts/verification/S-6.10_attempt1.json | d8e820188dc9 | verify | deterministic |
| artifacts/verification/S-6.11.json | bb0f59ee7238 | verify | deterministic |
| artifacts/verification/S-6.11_attempt1.json | bb0f59ee7238 | verify | deterministic |
| artifacts/verification/S-6.12.json | 79b6a33cb0f4 | verify | deterministic |
| artifacts/verification/S-6.12_attempt1.json | 79b6a33cb0f4 | verify | deterministic |
| artifacts/verification/S-6.13.json | 41f2190373be | verify | deterministic |
| artifacts/verification/S-6.13_attempt1.json | 41f2190373be | verify | deterministic |
| artifacts/verification/S-6.14.json | 9388be8ea0d7 | verify | deterministic |
| artifacts/verification/S-6.14_attempt1.json | 9388be8ea0d7 | verify | deterministic |
| artifacts/verification/S-6.15.json | ae1948407404 | verify | deterministic |
| artifacts/verification/S-6.15_attempt1.json | ae1948407404 | verify | deterministic |
| artifacts/verification/S-6.16.json | 9909454828f3 | verify | deterministic |
| artifacts/verification/S-6.16_attempt1.json | 9909454828f3 | verify | deterministic |
| artifacts/verification/S-6.17.json | 6719e7f67b75 | verify | deterministic |
| artifacts/verification/S-6.17_attempt1.json | 6719e7f67b75 | verify | deterministic |
| artifacts/verification/S-6.18.json | 4c3e4ed18004 | verify | deterministic |
| artifacts/verification/S-6.18_attempt1.json | 4c3e4ed18004 | verify | deterministic |
| artifacts/verification/S-6.19.json | c9b0ddd3828b | verify | deterministic |
| artifacts/verification/S-6.19_attempt1.json | c9b0ddd3828b | verify | deterministic |
| artifacts/verification/S-6.1_attempt1.json | 33b2ed0b8430 | verify | deterministic |
| artifacts/verification/S-6.2.json | 6bb147b3a4ad | verify | deterministic |
| artifacts/verification/S-6.2_attempt1.json | 6bb147b3a4ad | verify | deterministic |
| artifacts/verification/S-6.3.json | c5b9e7d9f696 | verify | deterministic |
| artifacts/verification/S-6.3_attempt1.json | c5b9e7d9f696 | verify | deterministic |
| artifacts/verification/S-6.4.json | 29ec172fd804 | verify | deterministic |
| artifacts/verification/S-6.4_attempt1.json | 29ec172fd804 | verify | deterministic |
| artifacts/verification/S-6.6.json | e7fc84f2c66d | verify | deterministic |
| artifacts/verification/S-6.6_attempt1.json | e7fc84f2c66d | verify | deterministic |
| artifacts/verification/S-6.7.json | 57070959fbaa | verify | deterministic |
| artifacts/verification/S-6.7_attempt1.json | 57070959fbaa | verify | deterministic |
| artifacts/verification/S-6.8.json | 1ce4a63e0dff | verify | deterministic |
| artifacts/verification/S-6.8_attempt1.json | 1ce4a63e0dff | verify | deterministic |
| artifacts/verification/S-6.9.json | f57d4a86e51e | verify | deterministic |
| artifacts/verification/S-6.9_attempt1.json | f57d4a86e51e | verify | deterministic |
| artifacts/verification/S-7.1.json | dbe30bb7df92 | verify | deterministic |
| artifacts/verification/S-7.10.json | ce13deeddeca | verify | deterministic |
| artifacts/verification/S-7.10_attempt1.json | d480d9f4b126 | verify | deterministic |
| artifacts/verification/S-7.10_attempt2.json | ce13deeddeca | verify | deterministic |
| artifacts/verification/S-7.11.json | 74413767845d | verify | deterministic |
| artifacts/verification/S-7.11_attempt1.json | 7ba425b9357b | verify | deterministic |
| artifacts/verification/S-7.11_attempt2.json | 74413767845d | verify | deterministic |
| artifacts/verification/S-7.12.json | 3513ba74f823 | verify | deterministic |
| artifacts/verification/S-7.12_attempt1.json | 302d77a645d5 | verify | deterministic |
| artifacts/verification/S-7.12_attempt2.json | 3513ba74f823 | verify | deterministic |
| artifacts/verification/S-7.13.json | f60924bd760b | verify | deterministic |
| artifacts/verification/S-7.13_attempt1.json | f60924bd760b | verify | deterministic |
| artifacts/verification/S-7.1_attempt1.json | dbe30bb7df92 | verify | deterministic |
| artifacts/verification/S-7.2.json | 9e8b9f62320d | verify | deterministic |
| artifacts/verification/S-7.2_attempt1.json | 9e8b9f62320d | verify | deterministic |
| artifacts/verification/S-7.3.json | 69d00bb92e85 | verify | deterministic |
| artifacts/verification/S-7.3_attempt1.json | f9f4e5403abf | verify | deterministic |
| artifacts/verification/S-7.3_attempt2.json | 69d00bb92e85 | verify | deterministic |
| artifacts/verification/S-7.4.json | e0651a2a0aa4 | verify | deterministic |
| artifacts/verification/S-7.4_attempt1.json | 3017b0488f6f | verify | deterministic |
| artifacts/verification/S-7.4_attempt2.json | e0651a2a0aa4 | verify | deterministic |
| artifacts/verification/S-7.5.json | f1883afe65b4 | verify | deterministic |
| artifacts/verification/S-7.5_attempt1.json | f1883afe65b4 | verify | deterministic |
| artifacts/verification/S-7.6.json | de3e734d0547 | verify | deterministic |
| artifacts/verification/S-7.6_attempt1.json | de3e734d0547 | verify | deterministic |
| artifacts/verification/S-7.7.json | 1ce05fc53c4c | verify | deterministic |
| artifacts/verification/S-7.7_attempt1.json | 1ce05fc53c4c | verify | deterministic |
| artifacts/verification/S-7.8.json | 51be57772e10 | verify | deterministic |
| artifacts/verification/S-7.8_attempt1.json | 51be57772e10 | verify | deterministic |
| artifacts/verification/S-7.9.json | 12e8f63fed4f | verify | deterministic |
| artifacts/verification/S-7.9_attempt1.json | 12e8f63fed4f | verify | deterministic |
| artifacts/verification/S-8.1.json | ef77ca40b066 | verify | deterministic |
| artifacts/verification/S-8.1_attempt1.json | ef77ca40b066 | verify | deterministic |
| artifacts/verification/S-8.2.json | 9f246df2210c | verify | deterministic |
| artifacts/verification/S-8.2_attempt1.json | 9f246df2210c | verify | deterministic |
| artifacts/verification/S-8.3.json | 229cf3f5e7bd | verify | deterministic |
| artifacts/verification/S-8.3_attempt1.json | 229cf3f5e7bd | verify | deterministic |
| artifacts/verification/S-8.4.json | 97334efabeab | verify | deterministic |
| artifacts/verification/S-8.4_attempt1.json | 97334efabeab | verify | deterministic |
| artifacts/verification/S-9.2.json | 9f1f769d6430 | verify | deterministic |
| artifacts/verification/S-9.2_attempt1.json | 9f1f769d6430 | verify | deterministic |
| artifacts/verification/S-9.3.json | f21917170dc3 | verify | deterministic |
| artifacts/verification/S-9.3_attempt1.json | f21917170dc3 | verify | deterministic |
| artifacts/verification/S-9.4.json | b2a6417f842c | verify | deterministic |
| artifacts/verification/S-9.4_attempt1.json | b2a6417f842c | verify | deterministic |
| artifacts/verification/S-9.5.json | 5692452c8c4c | verify | deterministic |
| artifacts/verification/S-9.5_attempt1.json | 5692452c8c4c | verify | deterministic |
| artifacts/work/pages.jsonl | 321734601047 | ingest | deterministic |
| artifacts/work/sections.jsonl | e3e9efc39465 | segment | deterministic |