Back to PBT run
check-report.json
{
"annotations": {
"implementation": "spectriad-checker/0.1.0.dev0",
"input_path": "/home/blimpan/projects/spectriad/rework-fresh/project-data/loom/48615bc5925ef4b9db8b4550b5d4322933cf4b7b/runs/mlir-stage-14-v1/20260911-084157/seeds/687/input.generic.mlir",
"output_path": "/home/blimpan/projects/spectriad/rework-fresh/project-data/loom/48615bc5925ef4b9db8b4550b5d4322933cf4b7b/runs/mlir-stage-14-v1/20260911-084157/seeds/687/output.generic.mlir",
"postcondition_path": "/home/blimpan/projects/spectriad/rework-fresh/project-data/loom/48615bc5925ef4b9db8b4550b5d4322933cf4b7b/runs/mlir-stage-14-v1/20260911-084157/profiles-all-v2-700-114d58876e85412f814dc2a098db4f17/postcondition.spct"
},
"dependencies": [],
"diagnostics": [],
"identity": {
"adapter": "mlir.generic@1/xdsl-0.69",
"input_digest": "sha256:95188fe2be7affd9ded29a60195f402b9989be4a42ff7886b528c213bae0a291",
"language_version": "v0",
"output_digest": "sha256:d2314584a5e6d664ef34bcdd5d1dadeecaf571ee8a0c4f2f5a9aef28993faa93",
"postcondition_digest": "sha256:4d70736d6383cf1db71046ef9d418e40b53e727f88e5c4c826ec228a91afdd1b",
"postcondition_name": "whole_callable_or_local_region_projection",
"typed_ast_digest": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec",
"vocabulary": "mlir.generic@1"
},
"outcome": "PASS",
"report_version": "spectriad.check-report@0",
"retention": {
"max_witnesses_per_site": 10
},
"terminal_phase": "evaluation",
"trace": {
"assertion_sites": [
{
"label": "whole_callable_projection_preferred",
"line": 35,
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/2/body/0/assert"
},
{
"label": "boundary_carries_values_used_outside",
"line": 43,
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/body/0/assert"
},
{
"label": "callables_published_in_place",
"line": 52,
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/4/assert"
}
],
"assertions": [
{
"error_count": 0,
"fail_count": 0,
"label": "whole_callable_projection_preferred",
"pass_count": 1,
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/2/body/0/assert",
"witnesses": []
},
{
"error_count": 0,
"fail_count": 0,
"label": "boundary_carries_values_used_outside",
"pass_count": 6,
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/body/0/assert",
"witnesses": []
},
{
"error_count": 0,
"fail_count": 0,
"label": "callables_published_in_place",
"pass_count": 1,
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/4/assert",
"witnesses": []
}
],
"decision_diagrams": {
"sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/2/body/0/assert": {
"nodes": {
"constraints/2/body/0/condition": {
"end": 1614,
"false": "FAIL",
"line": 36,
"start": 1583,
"true": "PASS"
}
},
"root": "constraints/2/body/0/condition"
},
"sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/body/0/assert": {
"nodes": {
"constraints/3/body/0/condition": {
"end": 2075,
"false": "FAIL",
"line": 44,
"start": 1935,
"true": "PASS"
}
},
"root": "constraints/3/body/0/condition"
},
"sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/4/assert": {
"nodes": {
"constraints/4/condition": {
"end": 2390,
"false": "FAIL",
"line": 53,
"start": 2343,
"true": "PASS"
}
},
"root": "constraints/4/condition"
}
},
"decision_paths": [
{
"path": [
[
"constraints/2/body/0/condition",
true
]
],
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/2/body/0/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/3/body/0/condition",
true
]
],
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/body/0/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/3/body/0/condition",
true
]
],
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/body/0/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/3/body/0/condition",
true
]
],
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/body/0/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/3/body/0/condition",
true
]
],
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/body/0/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/3/body/0/condition",
true
]
],
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/body/0/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/3/body/0/condition",
true
]
],
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/body/0/assert",
"terminal": "PASS"
},
{
"path": [
[
"constraints/4/condition",
true
]
],
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/4/assert",
"terminal": "PASS"
}
],
"predicate_observations": [
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": true
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": true
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/0/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": true
},
{
"path": "constraints/1/value/where",
"value": true
},
{
"path": "constraints/1/value/where",
"value": true
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/1/value/where",
"value": true
},
{
"path": "constraints/1/value/where",
"value": true
},
{
"path": "constraints/1/value/where",
"value": true
},
{
"path": "constraints/1/value/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": true
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": true
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": true
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": true
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/left",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where/right",
"value": false
},
{
"path": "constraints/2/where/left/argument/0/definition/local_obstacles/where",
"value": false
},
{
"path": "constraints/2/where",
"value": true
},
{
"path": "constraints/2/body/0/condition/left/argument/0/definition/cf_control/where",
"value": false
},
{
"path": "constraints/2/body/0/condition/left/argument/0/definition/cf_control/where",
"value": false
},
{
"path": "constraints/2/body/0/condition/left/argument/0/definition/cf_control/where",
"value": false
},
{
"path": "constraints/2/body/0/condition/left/argument/0/definition/cf_control/where",
"value": false
},
{
"path": "constraints/2/body/0/condition/left/argument/0/definition/cf_control/where",
"value": false
},
{
"path": "constraints/2/body/0/condition",
"value": true
},
{
"path": "constraints/3/body/0/condition/where",
"value": true
},
{
"path": "constraints/3/body/0/condition/where",
"value": true
},
{
"path": "constraints/3/body/0/condition",
"value": true
},
{
"path": "constraints/3/body/0/condition",
"value": true
},
{
"path": "constraints/3/body/0/condition",
"value": true
},
{
"path": "constraints/3/body/0/condition/where",
"value": true
},
{
"path": "constraints/3/body/0/condition/where",
"value": true
},
{
"path": "constraints/3/body/0/condition",
"value": true
},
{
"path": "constraints/3/body/0/condition",
"value": true
},
{
"path": "constraints/3/body/0/condition",
"value": true
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": true
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/right",
"value": true
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": true
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": true
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/right",
"value": true
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": true
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/left/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": true
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/right",
"value": true
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": true
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": true
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/right",
"value": true
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": true
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where/left",
"value": false
},
{
"path": "constraints/4/condition/right/definition/callable_names/where",
"value": false
},
{
"path": "constraints/4/condition",
"value": true
}
],
"quantifiers": [
{
"candidate_count": 2,
"error_count": 0,
"false_count": 0,
"kind": "forall",
"selected_count": 1,
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/2/forall",
"true_count": 1,
"vacuous_count": 0
},
{
"candidate_count": 6,
"error_count": 0,
"false_count": 0,
"kind": "forall",
"selected_count": 6,
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/forall",
"true_count": 6,
"vacuous_count": 0
},
{
"candidate_count": 4,
"error_count": 0,
"false_count": 0,
"kind": "forall",
"selected_count": 4,
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/body/0/condition/forall",
"true_count": 4,
"vacuous_count": 4
},
{
"candidate_count": 0,
"error_count": 0,
"false_count": 0,
"kind": "forall",
"selected_count": 0,
"site": "sha256:77f75354c0896d236bca8bb8afcb2b933852dfe01a5d1bded06498c466fe79ec:constraints/3/body/0/condition/where/forall",
"true_count": 0,
"vacuous_count": 4
}
]
}
}