jakub
6a667d8deb
Include the current addon, terrain integrations, tools, regression tests and recorded development evidence.
29 lines
1.5 KiB
JSON
29 lines
1.5 KiB
JSON
{
|
|
"verdict": "approved",
|
|
"results": {
|
|
"baseline": {
|
|
"exit": 1,
|
|
"source_sha256": "8650c09afc46439a74e17cdf968b09d238ec9437113ffad784a031cddd65440a",
|
|
"log": "/tmp/erri-hq-gap-1456/independent-baseline.log",
|
|
"assertion_failure": true
|
|
},
|
|
"proposal": {
|
|
"exit": 0,
|
|
"source_sha256": "e98e931e010124ba567f415690999b96868f32a18edc7c4e1f21c0775b3c095f",
|
|
"log": "/tmp/erri-hq-gap-1456/independent-proposal.log",
|
|
"assertion_failure": false
|
|
}
|
|
},
|
|
"test_sha256": "2b2ebf810ef0084bad5f4cfaf3d155ecac0f002b82bbd54d9756a9592d364fa9",
|
|
"findings": [
|
|
"Persistent cursor remains nonnegative and less than previously observed count; modulo current nonzero count handles shrink. Empty list exits before modulo.",
|
|
"Cursor advances for every inspected entry, including ineligible or previously attempted records. Survey counter increments only for actual eligible Select calls, cap2 unchanged.",
|
|
"Each pass inspects at most count entries; full64-entry regression retains2surveys each pass and visits successive pairs over32passes.",
|
|
"All order construction, expiry, radio, force claims, attempted-revision bookkeeping and native Select policy remain unchanged. Memory mutates outside this synchronous selection loop; Select does not mutate HQ memory.",
|
|
"Baseline compiles and fails actual late-third-belief assertion; proposal completes all existing and added cases."
|
|
],
|
|
"limitations": [
|
|
"No engine execution. Test doubles native Select; native road reachability remains outside this source correction."
|
|
]
|
|
}
|