port: verify root pack ledger and repair runtime adapters

This commit is contained in:
shen
2026-09-24 00:18:33 -07:00
parent c84f913cfd
commit 330ec9745b
89 changed files with 17085 additions and 6808 deletions
+141 -57
View File
@@ -7,198 +7,282 @@
"TraceFile.write": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:TraceFile.write"
"pack://system.py:TraceFile.write"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"TraceErrorFile.write": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:TraceErrorFile.write"
"pack://system.py:TraceErrorFile.write"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"LogBoxFile.__init__": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:LogBoxFile.__init__"
"pack://system.py:LogBoxFile.__init__"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"LogBoxFile.__del__": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:LogBoxFile.__del__"
"pack://system.py:LogBoxFile.__del__"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"LogBoxFile.restore": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:LogBoxFile.restore"
"pack://system.py:LogBoxFile.restore"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"LogBoxFile.write": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:LogBoxFile.write"
"pack://system.py:LogBoxFile.write"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"LogBoxFile.show": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:LogBoxFile.show"
"pack://system.py:LogBoxFile.show"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"pack_file_iterator.__init__": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:pack_file_iterator.__init__"
"pack://system.py:pack_file_iterator.__init__"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"pack_file_iterator.next": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:pack_file_iterator.next"
"pack://system.py:pack_file_iterator.next"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"pack_file.__init__": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:pack_file.__init__"
"pack://system.py:pack_file.__init__"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"pack_file.__iter__": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:pack_file.__iter__"
"pack://system.py:pack_file.__iter__"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"pack_file.read": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:pack_file.read"
"pack://system.py:pack_file.read"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"pack_file.readline": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:pack_file.readline"
"pack://system.py:pack_file.readline"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"pack_file.readlines": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:pack_file.readlines"
"pack://system.py:pack_file.readlines"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"_process_result": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:_process_result"
"pack://system.py:_process_result"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"__pack_import": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:__pack_import"
"pack://system.py:__pack_import"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"splitext": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:splitext"
"pack://system.py:splitext"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"PythonExecutioner.Run": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:PythonExecutioner.Run"
"pack://system.py:PythonExecutioner.Run"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"PythonExecutioner.__IsCompiledFile__": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:PythonExecutioner.__IsCompiledFile__"
"pack://system.py:PythonExecutioner.__IsCompiledFile__"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"PythonExecutioner.__LoadTextFile__": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:PythonExecutioner.__LoadTextFile__"
"pack://system.py:PythonExecutioner.__LoadTextFile__"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"PythonExecutioner.__LoadCompiledFile__": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:PythonExecutioner.__LoadCompiledFile__"
"pack://system.py:PythonExecutioner.__LoadCompiledFile__"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"execfile": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:execfile"
"pack://system.py:execfile"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"exec_add_module_do": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:exec_add_module_do"
"pack://system.py:exec_add_module_do"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"bind_me": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:bind_me"
"pack://system.py:bind_me"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"module_bind": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:module_bind"
"pack://system.py:module_bind"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"GetExceptionString": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:GetExceptionString"
"pack://system.py:GetExceptionString"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"ShowException": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:ShowException"
"pack://system.py:ShowException"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
},
"RunMainScript": {
"status": "RUN_AS_IS",
"impl": [
"assets/root/system.py:RunMainScript"
"pack://system.py:RunMainScript"
],
"evidence": "executed directly by embedded CPython 2.7 runtime from 40250 pack/assets"
"evidence": [
"script/verify_root_pack.py: system.py bytes match 40250 source and root.epk",
"script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
]
}
}
}
}