jakub
6a667d8deb
Include the current addon, terrain integrations, tools, regression tests and recorded development evidence.
52 lines
3.6 KiB
JSON
52 lines
3.6 KiB
JSON
{
|
|
"complete": true,
|
|
"verdict": "No concrete source blocker in bounded read-only full-probe review; focused actual-class harness green, five compiled runtime-negative mutations detected.",
|
|
"source_sha256": "32e6074e912491f2643a24cb44311b9fe5b069c76e4e94a45e7409ac82d36507",
|
|
"test_sha256": "045c055e96ba5a19bb79406fa1ae29ca2afac6ed0770801b5623d692087e01de",
|
|
"test_path": "tests/test_native_supply_travel.py",
|
|
"patch_sha256": "0aea9bb029d4ab82138d6f278d6c848dd0d9f5b4238aacce638a1b668070c79c",
|
|
"green_log_sha256": "bc1808ccc7a2dee191ab04fc3c6985888c817ceacf901d6d9b4237f2be967e97",
|
|
"actual_methods": "Complete formation/probe source translated, including constructor, Fail, Owner, RecordCurrent, RosterCurrent, Validate, Pin, Tick and Stop. Only Enforce-to-C++ syntax/default initialization/reference representation adapted.",
|
|
"coverage": [
|
|
"Six vehicles with exact 2/1/1/2/3/2 crews plus two original seven-person teams; immutable receipt/record/body/group/seat identity and per-agent census.",
|
|
"Movement baseline captured at first READY observation, no spawn-position credit; each of six must cross20m XZ while all original ownership/crew/driver checks still pass; earlier per-vehicle witnessed movement may remain latched.",
|
|
"Fixed120s admission and180s post-admission travel bounds, boundary late movement rejected, invalid/backwards clocks rejected, repeated terminal/Stop cannot pass.",
|
|
"First ready task pinned; malformed first task not replaced with later valid task; ordinary legacy task/service rejected.",
|
|
"36 post-admission refusal cases,12 malformed admission cases,10 owner/clock cases plus exact positive movement/dismount scenarios.",
|
|
"Read-only fixture token checks prohibit world/actor/cargo/route/order/contact mutation calls; no production methods edited."
|
|
],
|
|
"mutations": {
|
|
"spawn-baseline": {
|
|
"exit": 1,
|
|
"compiled_then_runtime_assertion_failed": true,
|
|
"mutation_source_sha256": "b532fdacb362a8119a85c4a096d17958d55e691a4d2e5db9d452c2c03795da54"
|
|
},
|
|
"only-five-vehicles": {
|
|
"exit": 1,
|
|
"compiled_then_runtime_assertion_failed": true,
|
|
"mutation_source_sha256": "2a3ecea845f3778a2a4ec9c6e317879a29e61c702968e213073affa0bfbde5fc"
|
|
},
|
|
"late-motion-at-deadline": {
|
|
"exit": 1,
|
|
"compiled_then_runtime_assertion_failed": true,
|
|
"mutation_source_sha256": "806348edecf40874c11ea5c9dc9d81b4d6dcdac3ecea8986ff946dece391b2ec"
|
|
},
|
|
"unconscious-driver": {
|
|
"exit": 1,
|
|
"compiled_then_runtime_assertion_failed": true,
|
|
"mutation_source_sha256": "9a6e1ee573f9be450f93be23d1db96cb5768ab9e62ac9b4c58acbc7b1a9d7089"
|
|
},
|
|
"roster-substitution": {
|
|
"exit": 1,
|
|
"compiled_then_runtime_assertion_failed": true,
|
|
"mutation_source_sha256": "aa0fba6827b8b614cf59f824b0e0b4c1bbf36b7c35ac81f5ce1d73e306d5cf57"
|
|
}
|
|
},
|
|
"limits": [
|
|
"Native APIs, actor positions, replication authority, service/ledger and compartment ownership are boundary doubles. No engine compilation, actual driving, multiplayer, tactics, stock distribution or full-route proof claimed.",
|
|
"C++ pointer adapter does not qualify Enforce managed-object lifetime; production retains task/receipt/formations and only clears its own references on Stop.",
|
|
"Original fixture file is new; meaningful negative evidence comes from compiled runtime mutations, not claiming a preexisting probe baseline."
|
|
],
|
|
"command": "PYTHONPATH=/home/jakub/devel/escapistsrereintroduced/tests ERR_NATIVE_SUPPLY_TRAVEL_SOURCE=/tmp/erri-supply-travel-probe-0235/addons/core/Scripts/Game/ERR/40_Chat/ERR_NativeSupplyTravelProbe.c python3 /tmp/erri-supply-travel-tests-0235/tests/test_native_supply_travel.py"
|
|
}
|