Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
327 changes: 327 additions & 0 deletions research/selected-final-closure-linux-audit/COMPARISON.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,327 @@
{
"authenticated_raw_edges_per_side": 30,
"checked_files": 105,
"equivalent": true,
"files": {
"ADMISSION-CONTROLS.json": {
"cls": "bytes"
},
"ASSEMBLY.json": {
"cls": "bytes"
},
"BIT-SUPPLIER-CONTROLS.json": {
"cls": "bytes"
},
"INDEPENDENT-T16.json": {
"cls": "bytes"
},
"REPLAY.json": {
"cls": "json-diff",
"verdict": "declared-timing"
},
"STAGES.json": {
"cls": "json-diff",
"verdict": "declared-timing"
},
"admission-controls.log": {
"cls": "bytes"
},
"assembly.log": {
"cls": "bytes"
},
"audit.log": {
"cls": "bytes"
},
"bind.log": {
"cls": "bytes"
},
"bind8.log": {
"cls": "bytes"
},
"bit-supplier-controls.log": {
"cls": "bytes"
},
"emit.log": {
"cls": "bytes"
},
"global/BINDING.json": {
"cls": "bytes"
},
"global/PLAN.json": {
"cls": "bytes"
},
"global/audit/ASYNC-AUDIT.json": {
"cls": "bytes"
},
"global/audit/GLOBAL-PREFIX.json": {
"cls": "bytes"
},
"global/audit/IDLE-REMAINDER-FRAMES.json": {
"cls": "bytes"
},
"global/audit/OWNERS-AND-PROFILE.json": {
"cls": "bytes"
},
"global/audit/PREFIX-AND-INVOICE.json": {
"cls": "bytes"
},
"global/base/providers/gauge44/CANONICAL-WORD.json.gz": {
"cls": "bytes"
},
"global/base/providers/gauge44/CLIFFORD-RECIPES.json": {
"cls": "bytes"
},
"global/base/providers/gauge44/CLIFFORD-REVIEW.json": {
"cls": "bytes"
},
"global/base/providers/gauge44/FULL-WORD.json.gz": {
"cls": "bytes"
},
"global/base/providers/gauge44/INDEPENDENT-LOCAL-REPLAY.json": {
"cls": "bytes"
},
"global/base/providers/gauge44/LOCAL-CHECKS.json": {
"cls": "bytes"
},
"global/base/providers/gauge44/LOCAL-PROGRAMS.json.gz": {
"cls": "bytes"
},
"global/base/providers/gauge44/RESIDUAL-ADAPTERS.json": {
"cls": "bytes"
},
"global/base/providers/gauge44/SCALAR-FRAME-AUDIT.json": {
"cls": "bytes"
},
"global/base/providers/gauge44/WRAPPER-CHECKS.json": {
"cls": "bytes"
},
"global/base/split-centres/CANONICAL-WORD.json.gz": {
"cls": "bytes"
},
"global/base/split-centres/CLIFFORD-RECIPES.json": {
"cls": "bytes"
},
"global/base/split-centres/CLIFFORD-REVIEW.json": {
"cls": "bytes"
},
"global/base/split-centres/GLOBAL-TEMPLATE.json.gz": {
"cls": "bytes"
},
"global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json": {
"cls": "bytes"
},
"global/base/split-centres/INDEPENDENT-REPLAY.json": {
"cls": "bytes"
},
"global/base/split-centres/INTEGRATION.json": {
"cls": "bytes"
},
"global/base/split-centres/LOCAL-CHECKS.json": {
"cls": "bytes"
},
"global/base/split-centres/LOCAL-PROGRAMS.json.gz": {
"cls": "bytes"
},
"global/base/split-centres/RESIDUAL-ADAPTERS.json": {
"cls": "bytes"
},
"global/base/split-centres/SCALAR-FRAME-AUDIT.json": {
"cls": "bytes"
},
"global/base/split-centres/WRAPPER-CHECKS.json": {
"cls": "bytes"
},
"global/base/work/complex-nine-native/DATA-PHASES.json": {
"cls": "bytes"
},
"global/hosted/ACTUAL-SIGMAS.json.gz": {
"cls": "bytes"
},
"global/hosted/GLOBAL-TEMPLATE.json.gz": {
"cls": "bytes"
},
"global/hosted/HOSTED.json": {
"cls": "bytes"
},
"global/hosted/IDLE-REMAINDER-FRAMES.json.gz": {
"cls": "bytes"
},
"global8/BINDING.json": {
"cls": "bytes"
},
"global8/PLAN.json": {
"cls": "bytes"
},
"global8/base/providers/gauge44/CANONICAL-WORD.json.gz": {
"cls": "bytes"
},
"global8/base/providers/gauge44/CLIFFORD-RECIPES.json": {
"cls": "bytes"
},
"global8/base/providers/gauge44/CLIFFORD-REVIEW.json": {
"cls": "bytes"
},
"global8/base/providers/gauge44/FULL-WORD.json.gz": {
"cls": "bytes"
},
"global8/base/providers/gauge44/INDEPENDENT-LOCAL-REPLAY.json": {
"cls": "bytes"
},
"global8/base/providers/gauge44/LOCAL-CHECKS.json": {
"cls": "bytes"
},
"global8/base/providers/gauge44/LOCAL-PROGRAMS.json.gz": {
"cls": "bytes"
},
"global8/base/providers/gauge44/RESIDUAL-ADAPTERS.json": {
"cls": "bytes"
},
"global8/base/providers/gauge44/SCALAR-FRAME-AUDIT.json": {
"cls": "bytes"
},
"global8/base/providers/gauge44/WRAPPER-CHECKS.json": {
"cls": "bytes"
},
"global8/base/split-centres/CANONICAL-WORD.json.gz": {
"cls": "bytes"
},
"global8/base/split-centres/CLIFFORD-RECIPES.json": {
"cls": "bytes"
},
"global8/base/split-centres/CLIFFORD-REVIEW.json": {
"cls": "bytes"
},
"global8/base/split-centres/GLOBAL-TEMPLATE.json.gz": {
"cls": "bytes"
},
"global8/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json": {
"cls": "bytes"
},
"global8/base/split-centres/INDEPENDENT-REPLAY.json": {
"cls": "bytes"
},
"global8/base/split-centres/INTEGRATION.json": {
"cls": "bytes"
},
"global8/base/split-centres/LOCAL-CHECKS.json": {
"cls": "bytes"
},
"global8/base/split-centres/LOCAL-PROGRAMS.json.gz": {
"cls": "bytes"
},
"global8/base/split-centres/RESIDUAL-ADAPTERS.json": {
"cls": "bytes"
},
"global8/base/split-centres/SCALAR-FRAME-AUDIT.json": {
"cls": "bytes"
},
"global8/base/split-centres/WRAPPER-CHECKS.json": {
"cls": "bytes"
},
"global8/base/work/complex-nine-native/DATA-PHASES.json": {
"cls": "bytes"
},
"independent-t16.log": {
"cls": "bytes"
},
"invoice.log": {
"cls": "bytes"
},
"lift/GLOBAL-TEMPLATE.json.gz": {
"cls": "bytes"
},
"lift/PARENT-LIFT-RECEIPT.json": {
"cls": "bytes"
},
"lift/PLAN.json": {
"cls": "bytes"
},
"lift16.log": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/CANONICAL-WORD.json.gz": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/CLIFFORD-RECIPES.json": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/CLIFFORD-REVIEW.json": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/GLOBAL-TEMPLATE.json.gz": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/INDEPENDENT-REPLAY.json": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/INTEGRATION.json": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/LOCAL-CHECKS.json": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json": {
"cls": "bytes"
},
"parent16/complex-global/base/split-centres/WRAPPER-CHECKS.json": {
"cls": "bytes"
},
"parent16/complex-global/base/work/complex-nine-native/DATA-PHASES.json": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/CANONICAL-WORD.json.gz": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/CLIFFORD-RECIPES.json": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/CLIFFORD-REVIEW.json": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/GLOBAL-TEMPLATE.json.gz": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/INDEPENDENT-LOCAL-REPLAY.json": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/INDEPENDENT-REPLAY.json": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/INTEGRATION.json": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/LOCAL-CHECKS.json": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/LOCAL-PROGRAMS.json.gz": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/RESIDUAL-ADAPTERS.json": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/SCALAR-FRAME-AUDIT.json": {
"cls": "bytes"
},
"parent558/complex-global/base/split-centres/WRAPPER-CHECKS.json": {
"cls": "bytes"
},
"parent558/complex-global/base/work/complex-nine-native/DATA-PHASES.json": {
"cls": "bytes"
},
"restore-parent.log": {
"cls": "bytes"
}
},
"normalized_invoice_edges_per_side": 2,
"permitted_stage_timing_fields_per_side": 22,
"relocated_input_roles_per_side": 6
}
Loading
Loading