ddidderr/tdkpin
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
aae4671586c8d9b7652970830f80583471ceab56
tdkpin/original/FUNCTION_RECONSTRUCTION.tsv
T
ddidderr 8b99e9607c feat(reconstruction): complete binary-backed C recovery 
Replace the partial mechanics transcriptions with a separate, readable C11
reconstruction of the complete Win16 image while preserving the original raw
Ghidra export as immutable evidence. Cover all ordinary and overlapping entry
points, Borland runtime behavior, Win16 imports, segmented data, callbacks,
resources, indirect control flow, physics, rendering, persistence, and
startup/shutdown lifecycles.

Add deterministic extraction and audit tooling plus address-linked ledgers for
functions, imports, DGROUP ranges and objects, relocations, resources, and
callbacks. The final gate records zero raw, partial, restored, unknown,
blocked, or unclassified required units. Keep the semantic-fidelity boundary
explicit: the portable C is not claimed to reproduce a byte-identical Borland
NE build.

Add strict focused harnesses for every reconstructed C unit, exact resource
round-trip checks, and a 16-bit Borland Real48 reference probe. No Rust source
or Cargo metadata is changed in this phase.

Test Plan:
- `bash original/tools/test_reconstructed_c.sh` -- passed
- `bash original/tools/probe_real48_reference.sh` -- passed bit-for-bit
- `python3 original/tools/audit_reconstruction.py --require-complete` -- passed
- `git diff --cached --check` -- passed
- `git diff HEAD -- '*.rs' Cargo.toml Cargo.lock` -- empty
2026-08-23 16:41:17 +02:00

161 KiB
Raw Blame History

1addressraw_namesegmentbody_bytesstatusreconstructed_namemoduleevidencenotes
21000:0002FUN_1000_0002Code1254verifiedtdkpin_composite_player_spritereconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:0002-00ff; exact GDI argument order correcting raw decompiler coordinate reversal; background and indexed 430b sprite tables; reconstructed/tests/test_player_sprite.cExact two-word ABI, three compatible DCs, 14x14 temporary bitmap, indexed sprite selection, background save at 84/77, 42x123 sprite blit at 55/79, 14x14 restore, reverse object/DC cleanup, ignored GDI results, and no destination presentation are represented and sequence-tested.
31000:0100FUN_1000_0100Code133verifiedtdkpin_application_init_instancereconstructed/tdkpin_game_application.cdisassembly 1000:0100-0120; TApplication VMT +0x14; verified ObjectWindows/CTL3D initialization; reconstructed/tests/test_game_application.cExact application receiver, initialization-before-multimedia order, fixed byte arguments 1/1/1, DGROUP module name 0222 far words, ignored loader result, and four-byte cleanup are represented and tested.
41000:0121FUN_1000_0121Code175verifiedtdkpin_application_init_applicationreconstructed/tdkpin_game_application.cdisassembly 1000:0121-016b; first-instance global 06fc; title/text 022c/0245; verified MessageBox/RuntimeExit; reconstructed/tests/test_game_application.cExact first-instance null-object/VMT 009e/title/null-parent constructor frame and MainWindow +8 store; second-instance owner/text/caption/0x2010 dialog and Halt(0) no-return path are represented and branch-tested.
51000:016cFUN_1000_016cCode1103verifiedtdkpin_build_main_window_classreconstructed/tdkpin_game_application.cdisassembly 1000:016c-01d2; verified base WNDCLASS builder; USER/GDI resource calls; reconstructed/tests/test_game_application.cExact base call, style 0x3000, instance icon resource 0x03e4, arrow cursor, stock object 0 brush, current instance, zero class/window extras, far descriptor, and eight-byte cleanup are tested.
61000:01d3FUN_1000_01d3Code1155verifiedtdkpin_main_window_constructreconstructed/tdkpin_game_windows.cdisassembly 1000:01d3-026d; verified Borland constructor and TWindow base; USER GetSystemMetrics; reconstructed/tests/test_game_windows.cExact 14-byte far-constructor frame, null base VMT, 640x480 geometry, signed divide-by-two screen centering, style 0x86ca0000 replacement, returned far object, and constructor-entry failure are represented and tested.
71000:0270FUN_1000_0270Code120357verifiedtdkpin_setup_game_windowreconstructed/tdkpin_game_setup.cdisassembly 1000:0270-51f4; generated typed collision data checked against TDKPIN_GHIDRA_COMPLETE_RAW.c; verified setup dependencies; exact 20 quad calls; reconstructed/tests/test_game_setup.c; tools/generate_game_setup_collision_data.py --checkExact far-window RETF-4 ABI, low-memory message/close/RuntimeExit branch, ObjectWindows/cursor/palette setup, tick seed, all globals/receiver/player defaults, milli/pixel state, executable-relative INI-name construction, clamped language/speed configuration, timer creation/failure-without-close path, 177 ordered typed collision calls including preliminary 169/170 then final overwrite, twenty word quads, and 175 active/contact/zero mirrors are represented; success, low-memory, timer-failure, call-order, table-boundary, and mirror tests pass.
81000:51f5FUN_1000_51f5Code1297verifiedtdkpin_asset_window_destructreconstructed/tdkpin_asset_cleanup.cdisassembly 1000:51f5-531d; verified sound/message/TWindow/Borland dependencies; exact global/window bitmap inventory; reconstructed/tests/test_asset_cleanup.cExact Wait cursor save/restore, sound unload, bd9/bd8 publication, optional +49 Dispose(mode 1), message drain, deletion order window+52 then 0859,0863,0865,085f,085b,0861,085d, arrays 430b[0..7],4319[1..4],4321[1..9], intentionally stale handles and retained window+54, PostQuitMessage(18), TWindow destructor, erase=true invalidation, derived ownership finish, six-byte cleanup, and 29-handle sequence are tested.
91000:531eFUN_1000_531eCode1114verifiedtdkpin_draw_loading_stagereconstructed/tdkpin_game_assets.cdisassembly 1000:531e-538f; exact caller-BP/SS offsets; GDI compatible-DC/select/BitBlt/DeleteObject; reconstructed/tests/test_game_assets.cExact BP-0c/-04/-02/+0e shared frame contract, byte-stage zero extension, 16-bit (stage-1)*7 wrap, fixed destination 13/y and 328x202 SRCCOPY, select/restore, intentional DeleteObject-on-HDC, four-byte cleanup, and scratch writes are branch-tested.
101000:5390FUN_1000_5390Code11367verifiedtdkpin_initialize_assets_and_redrawreconstructed/tdkpin_asset_initializer.cdisassembly 1000:5390-58e6; all internal dependencies verified; exact DAT/BITMAP ID sequence and DGROUP/window offsets; reconstructed/tests/test_asset_initializer.cExact public ten-byte ABI, entry palette select/unrealize/realize and message drain, static helper split at binary phases 53c5/5619, DAT IDs 995,994,998x2,400..407,701..704,801..809,900,997,901,600, BITMAP IDs 500/102/101, progress stages 2..35, sound init, handle publications, loading-surface draw/delete, palette/cursor restoration, already-redrawn palette retention, transient scene composition, optional mask/image ROPs with coordinate+19 dimensions, score factor/product and positive-player redraw, status sentinel/update, scene-ready publication, and all three control-flow phases are represented and tested.
111000:58e7FUN_1000_58e7Code1111verifiedtdkpin_palette_change_variant_areconstructed/tdkpin_game_assets.cdisassembly 1000:58e7-5955; exact ObjectWindowsMessage result offsets; USER IsIconic/InvalidateRect/UpdateWindow; reconstructed/tests/test_palette_messages.cExact zero-wParam reentrancy reset/result zero, active suppression, iconic suppression, non-iconic invalidate/update ordering, result DWORD clear, state publication, uninitialized uint16 suppressed return, and eight-byte cleanup are branch-tested.
121000:5956FUN_1000_5956Code174verifiedtdkpin_palette_change_variant_breconstructed/tdkpin_game_assets.cdisassembly 1000:5956-599f; shared palette-update state and invalidate helper; reconstructed/tests/test_palette_messages.cExact wParam==0 and inactive conjunction, state set, null-rect/non-erasing invalidate, synchronous update, message result DWORD clear, no-op branches, and eight-byte cleanup are represented and tested.
131000:59a0FUN_1000_59a0Code1151verifiedtdkpin_wm_palette_changedreconstructed/tdkpin_game_assets.cdisassembly 1000:59a0-5a36; exact ObjectWindowsMessage offsets; USER/GDI parent/DC/palette/update calls; reconstructed/tests/test_palette_window_messages.cExact self/child HWND suppression returning 1, foreign-window GetDC, background SelectPalette TRUE, RealizePalette/UpdateColors, restore FALSE, ReleaseDC, result DWORD zero, return 0, and eight-byte cleanup are branch-tested.
141000:5a37FUN_1000_5a37Code1128verifiedtdkpin_wm_query_new_palettereconstructed/tdkpin_game_assets.cdisassembly 1000:5a37-5ab6; foreground palette call frame; reconstructed/tests/test_palette_window_messages.cExact GetDC, foreground SelectPalette FALSE, signed RealizePalette result, restore FALSE, ReleaseDC, positive-only full-window invalidate, result low word/high zero, returned count, and eight-byte cleanup are tested for zero and positive changes.
151000:5ab7FUN_1000_5ab7Code151verifiedtdkpin_build_stock_brush_class_areconstructed/tdkpin_game_application.cdisassembly 1000:5ab7-5ae9; verified base builder; GDI GetStockObject(5); reconstructed/tests/test_game_application.cExact base call, background brush replacement, ordered style OR 0x0800/0x1000/0x2000, resulting preserved base bits, far frame, and eight-byte cleanup are tested.
161000:5aeaFUN_1000_5aeaCode1188verifiedtdkpin_centered_child_window_constructreconstructed/tdkpin_game_windows.cdisassembly 1000:5aea-5ba5; verified Borland constructor and TWindow base; USER SetFocus; reconstructed/tests/test_game_windows.cExact parent far-pointer publication at +41, 360x300 geometry centered around binary constants x=320/y=230, low/high style-word OR equivalent to 0x46800002, HWND +4 focus, returned far object, and constructor-entry failure are represented and tested.
171000:5ba6FUN_1000_5ba6Code163verifiedtdkpin_overlay_window_destructreconstructed/tdkpin_window_lifecycle.cdisassembly 1000:5ba6-5be4; verified 1018:121b; DGROUP bitmap 0867; reciprocal peer +41; reconstructed/tests/test_window_lifecycle.cExact DeleteObject without global clear, unguarded peer dereference, reciprocal far-pointer clearing, base TWindow destructor with hidden VMT zero, derived ownership finish, six-byte cleanup, and call ordering are tested.
181000:5be5FUN_1000_5be5Code146verifiedtdkpin_setup_overlay_windowreconstructed/tdkpin_game_assets.cdisassembly 1000:5be5-5c12; verified 1018:170c and 1008:149d dependencies; DGROUP bitmap 0867; USER SetFocus; reconstructed/tests/test_overlay_setup.cExact setup ordering, DAT 993/current-instance loader frame, HBITMAP publication, receiver HWND focus, ignored previous-focus result, and four-byte Pascal cleanup are represented and tested.
191000:5c13FUN_1000_5c13Code1723verifiedtdkpin_paint_highscoresreconstructed/tdkpin_highscores.cdisassembly 1000:5c13-5ee5; TWindow VMT +4c and ten-byte paint ABI; verified string/numeric helpers; exact Win16-PASCAL GDI push order and DGROUP tables; reconstructed/tests/test_highscores.cExact ignored receiver/PAINTSTRUCT plus HDC frame, palette realization/restoration, two compatible DCs, overlay source 32/204, 360x300 backbuffer matching the window geometry, saved text state, centered heading at 180/27, ten rank/name/score rows, rank-10 empty-prefix alias at 02ff, both SRCCOPY operations, and reverse GDI cleanup are represented and sequence-tested across all 21 TextOut calls.
201000:5ee6FUN_1000_5ee6Code122verifiedtdkpin_close_variant_areconstructed/tdkpin_message_pump.cdisassembly 1000:5ee6-5efb; verified 1008:00e2 and 1018:0f38; reconstructed/tests/test_message_pump.cExact queue drain before close-if-allowed, receiver far argument, and four-byte Pascal cleanup are represented and tested.
211000:5efcFUN_1000_5efcCode145verifiedtdkpin_conditional_close_variant_areconstructed/tdkpin_message_pump.cdisassembly 1000:5efc-5f28; event high-word low byte comparison 0x1c; reconstructed/tests/test_message_pump.cExact suppression value, drain/close nonmatch path, unchanged receiver/event frames, uninitialized uint16 local return via compatibility primitive on both paths, and eight-byte cleanup are branch-tested.
221000:5f29FUN_1000_5f29Code1151verifiedtdkpin_wm_palette_changed_variant_breconstructed/tdkpin_game_assets.cinstruction-for-instruction duplicate of verified 1000:59a0 at 1000:5f29-5fbf; shared static semantic core; reconstructed/tests/test_palette_window_messages.cExact second-class WM_PALETTECHANGED entry retains self/child suppression, background palette TRUE, UpdateColors, result/return contract, and eight-byte cleanup; duplicate-to-core factoring is explicitly recorded.
231000:5fc0FUN_1000_5fc0Code1128verifiedtdkpin_wm_query_new_palette_variant_breconstructed/tdkpin_game_assets.cinstruction-for-instruction duplicate of verified 1000:5a37 at 1000:5fc0-603f; shared static semantic core; palette-window testsExact second-class WM_QUERYNEWPALETTE entry retains foreground select, signed color count, positive invalidation, result/return contract, and cleanup.
241000:6040FUN_1000_6040Code151verifiedtdkpin_build_stock_brush_class_breconstructed/tdkpin_game_application.cdisassembly 1000:6040-6072; verified base builder; GDI GetStockObject(5); reconstructed/tests/test_game_application.cByte-identical second derived-class builder: exact base call, brush replacement, style OR 0x3800, far frame, and cleanup are represented and tested separately.
251000:6073FUN_1000_6073Code1116verifiedtdkpin_full_child_window_constructreconstructed/tdkpin_game_windows.cdisassembly 1000:6073-60e6; verified Borland constructor and TWindow base; USER SetFocus; reconstructed/tests/test_game_windows.cExact parent far-pointer publication at +41, origin 0/0, 640x460 geometry, style 0x46000002 replacement, HWND +4 focus, returned far object, and constructor-entry failure are represented and tested.
261000:60e7FUN_1000_60e7Code166verifiedtdkpin_board_window_destructreconstructed/tdkpin_window_lifecycle.cdisassembly 1000:60e7-6128; verified TWindow destructor; peer +41 to reciprocal +45; overlay bitmap 0867; reconstructed/tests/test_window_lifecycle.cExact unguarded peer dereference, peer +45/+47 clear, self +41/+43 clear, bitmap deletion without global clear, base/derived Borland destructor chaining, six-byte cleanup, and ordering are represented and tested.
271000:6129FUN_1000_6129Code169verifiedtdkpin_setup_board_windowreconstructed/tdkpin_game_assets.cdisassembly 1000:6129-616d; verified SetupWindow/DAT loader; board index 07cd; USER cursor/focus APIs; reconstructed/tests/test_board_overlay.cExact setup, system Wait cursor load/set, uint16 resource ID 1000+board_index with zero selector, current instance, global bitmap publication, HWND focus, ignored cursor/focus returns, and four-byte cleanup are tested.
281000:616eFUN_1000_616eCode1148verifiedtdkpin_draw_board_overlayreconstructed/tdkpin_game_assets.cdisassembly 1000:616e-6201; palette/bitmap globals; GDI compatible DC and 640x460 SRCCOPY; reconstructed/tests/test_board_overlay.cExact foreground palette select/unrealize/realize, compatible source DC, bitmap select, 640x460 origin SRCCOPY, object/DC/palette restoration, Arrow cursor load/set, three ignored arguments, ten-byte cleanup, and call order are tested.
291000:6202FUN_1000_6202Code122verifiedtdkpin_close_variant_breconstructed/tdkpin_message_pump.cdisassembly 1000:6202-6217; verified 1008:00e2 and 1018:0f38; reconstructed/tests/test_message_pump.cExact queue drain before close-if-allowed, receiver far argument, and four-byte Pascal cleanup are represented and tested.
301000:6218FUN_1000_6218Code145verifiedtdkpin_conditional_close_variant_breconstructed/tdkpin_message_pump.cdisassembly 1000:6218-6244; event high-word low byte comparison 0x3b; reconstructed/tests/test_message_pump.cExact suppression value, drain/close nonmatch path, unchanged receiver/event frames, uninitialized uint16 local return via compatibility primitive on both paths, and eight-byte cleanup are branch-tested.
311000:6245FUN_1000_6245Code1151verifiedtdkpin_wm_palette_changed_variant_creconstructed/tdkpin_game_assets.cinstruction-for-instruction duplicate of verified 1000:59a0 at 1000:6245-62db; shared static semantic core; palette-window testsExact third-class WM_PALETTECHANGED entry and all branches/call flags are represented through the documented duplicate core.
321000:62dcFUN_1000_62dcCode1128verifiedtdkpin_wm_query_new_palette_variant_creconstructed/tdkpin_game_assets.cinstruction-for-instruction duplicate of verified 1000:5a37 at 1000:62dc-635b; shared static semantic core; palette-window testsExact third-class WM_QUERYNEWPALETTE entry, result publication, positive invalidation, and cleanup are represented.
331000:635cFUN_1000_635cCode150verifiedtdkpin_blit_bitmap_and_presentreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:635c-638d; verified 1008:07b6/093f; reconstructed/tests/test_gameplay_helpers.cExact six-word forwarding into bitmap-to-background followed by present with the bitmap argument omitted, unchanged height/width/y/x/DC, ignored results, and 12-byte cleanup are represented and tested.
341000:638eFUN_1000_638eCode11961verifiedtdkpin_handle_key_releasereconstructed/tdkpin_key_input.cdisassembly 1000:638e-6b36; verified arithmetic/Real48/random/sound/render dependencies; exact USER GetDC/ReleaseDC call frames; reconstructed/tests/test_key_release.cExact two-far-pointer RETF-8 ABI, four-word auxiliary-window gate, dormant debug F2/F7 paths, scan-50 scalar*100 impulse with signed 32-bit wrap, lower clamp and exact Real48 0.6 upper clamp, random jitter, velocity mirror and decoration redraw, flipper-key clears, left/right/space nudges with exact random order and Real48 random*20-10 factor, two-slot velocity updates, unsigned tilt threshold and UI restore, sound toggle/device gate, add-player state publication, all four 175-byte/word mirrors, unused-player score/UI clears, record live-state refresh, normal event clears, and zero return are branch- and extent-tested.
351000:6b37FUN_1000_6b37Code1193verifiedtdkpin_draw_board_decoration_rowreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:6b37-6bf7; verified present-region dependency; exact 6bf8 caller-frame offsets; GDI imports; reconstructed/tests/test_gameplay_helpers.cExact four-byte nested ABI, caller HDC at SS:[BP-0c], four published GDI temporaries at -0e/-10/-12/-14, two compatible DCs, background/decoration selections, 21x18 SRCCOPY from atlas 314/426 to x0/caller-y, reverse restore/delete, and final background presentation are represented and sequence-tested.
361000:6bf8FUN_1000_6bf8Code1815verifiedtdkpin_handle_key_pressreconstructed/tdkpin_key_input.cdisassembly 1000:6bf8-6f26; verified window/application/board-decoration dependencies; exact far event layout and GDI threshold behavior; reconstructed/tests/test_key_input.cExact two-far-pointer RETF-8 ABI, four-word auxiliary-window gate, F1 HelpScreen VMT 017e creation/MakeWindow/+45 publication/Show and indeterminate return without event clearing, scan-50 scalar*50 velocity subtraction and baa clear, player-count DC gate, signed -1..-10 threshold selection to rows 21..210 or 231, scan 1d/1c flipper flags under tilt gate, normal event +0a/+0c clears, and zero return are branch-tested.
371000:6f27FUN_1000_6f27Code11305verifiedtdkpin_rotate_and_draw_targetsreconstructed/tdkpin_mechanism_render.cdisassembly 1000:6f27-743f; exact Win16-PASCAL GDI push order; verified item/sound dependencies; target words and player receiver row; reconstructed/tests/test_mechanism_render.cExact DC/91x90 bitmap lifetime, state<6 DAT600 frame selection with 91-pixel stride, state>=6 overlay-background capture and DAT600 reselection, cyclic rotation of five record words and five active-player bytes, item 15..19 refresh, state-1 sound 11, six complete five-point coordinate sets, nonzero-target 17x17 SRCAND/SRCPAINT atlas pairs at x455/y17/0, final presentation at 79/33, and cleanup are represented and tested for state 1 and state 6.
381000:7440FUN_1000_7440Code12514verifiedtdkpin_draw_panel_animationreconstructed/tdkpin_panel_animation.cdisassembly 1000:7440-7e11; exact Win16-PASCAL GDI push order correcting raw width/height mappings; DAT600/overlay/background assets; verified sound dependencies; reconstructed/tests/test_panel_animation.cExact 91x123 backbuffer and board location 79/0, nine signed-low-word frame intervals 1..44,45..57,58..65,66..128,129..158,159..221,222..229,230..237,238..281, entry-frame play/stop events, all times-two reveal/retract formulas, 91x90 and 45x88 mask/image compositions, frame-1 background initialization, frame-281 background commit through overlay B, final presentation, and GDI cleanup are represented as named phases and tested at all interval starts plus internal formula boundaries.
391000:7e12FUN_1000_7e12Code1128verifiedtdkpin_refresh_collision_recordreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:7e12-7e91; verified b30b/b3f3; packed collision layout; reconstructed/tests/test_gameplay_helpers.cExact id 1..175 gate, flags +41 priority 0080 before 0100, active byte +34 polarity/inversion, overlay-A/B dispatcher selection, no-op flags, and four-byte cleanup are represented and branch-tested.
401000:7e92FUN_1000_7e92Code171verifiedtdkpin_refresh_player_itemreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:7e92-7ed8; SS caller-frame receiver; player byte 07d1; reconstructed/tests/test_gameplay_helpers.cExact current-player times 20 plus item plus 0467 byte address, nonzero overlay-A/zero overlay-B polarity, item+1000 wrapped id, caller BP forwarding, and four-byte cleanup are represented and tested.
411000:7ed9FUN_1000_7ed9Code13124verifiedtdkpin_move_flipper_collision_geometryreconstructed/tdkpin_flipper_collision.cdisassembly 1000:7ed9-8b0c with every far call annotated; typed collision records 65-68/80-83; verified Mul32/Div32/Real48/sound/slot/move dependencies; reconstructed/tests/test_flipper_collision.cExact RETF-10 ABI, sound 21 entry effect, flipper-specific radius/pivot/edge loads and dead point reads, delta*radius pivot motion, direction-selected response records 66/68/81/83, snapshotted one-based ball loop with live multiball load/save gates, signed divide-by-1000 cross products, strict 54000 square/radial gates, mode/flipper/direction tests, exact Real48 0.1 vertical-edge fallback, interpolated or absolute penetration, sign-correct Real48 normals, deliberately discarded-and-zeroed normal projection, tangent projection, sqrt(distance/44000)*2+0.4 gain, per-record 1+response factor, ordered X/Y velocity publication, penetration*vx/vy ball movement, 32-bit wrap, and invalid-flipper indeterminate state are represented; four contact directions, distinct response coefficients, both vertical fallbacks, gates, and multiball iteration are tested.
421000:8b0dFUN_1000_8b0dCode13811verifiedtdkpin_move_flipper_bitmap_geometryreconstructed/tdkpin_flipper_bitmap_geometry.cdisassembly 1000:8b0d-99ef; typed 83-byte collision records; all 28 immediate scale factors and signed add/sub instructions; verified arithmetic/render dependencies; exact USER GetDC/ReleaseDC frames; reconstructed/tests/test_flipper_bitmap_geometry.cExact hidden static link through 99f0 and timer caller frames, GetDC-before-parent-scratch order, four parent-stack words including delta==1 positive 43000 versus all-other negative 43000, records 66-68 and 81-83, all point/bounds mutations with 32-bit wrap, four signed endpoint min/max recomputations padded by 5000, two direct swept-edge bounds updates, left/right restore polarity from receiver bd4/bd6, exact 52x47 at 373/93 and 53x45 at 372/175 presentation rectangles, invalid-flipper balanced-DC no-op, and RETF-8 ABI are represented and branch-/extent-tested.
431000:99f0FUN_1000_99f0Code1240verifiedtdkpin_update_flippersreconstructed/tdkpin_flippers.cdisassembly 1000:99f0-9adf; exact caller-BP receiver fields; verified 1000:7ed9/8b0d dependency cores; reconstructed/tests/test_flippers.cExact outer caller-frame receiver lookup, independent left/right key and position gates, uint16 position increment/decrement, delta -1 on the zero-position pressed edge and +1 on release, flipper IDs 1/2, collision-before-bitmap ordering, no-op steady states, and nested 8b0d semantic-core factoring are represented and press/release/steady tested for both flippers.
441000:9ae0FUN_1000_9ae0Code1137verifiedtdkpin_receiver_point_in_boundsreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:9ae0-9b68; SS caller-frame receiver; reconstructed/tests/test_gameplay_helpers.cExact receiver milli-X/Y fields +0bba/+0bbe, inclusive signed-int32 minimum/maximum comparisons using signed high/unsigned low words, short-circuit order, last-loaded AX high-byte residue, Boolean AL, and 18-byte cleanup are represented and branch-tested.
451000:9b69FUN_1000_9b69Code197verifiedtdkpin_ball_in_boundsreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:9b69-9bc9; DGROUP ball X/Y 07db/07df; reconstructed/tests/test_gameplay_helpers.cExact ignored static link, global milli-X/Y, inclusive signed-int32 bounds, short-circuit order, last-loaded AX high-byte residue, Boolean AL, and 18-byte cleanup are represented and branch-tested.
461000:9bcaFUN_1000_9bcaCode1699verifiedtdkpin_render_ball_from_caller_framereconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:9bca-9e84; exact caller-frame ABI; verified signed divide; USER/GDI prototypes; background/mask/image sources; reconstructed/tests/test_ball_render.cExact GetClientRect side effect, GetDC and three compatible DCs, 100x100 bitmap, wrapping add-500 signed divide-by-1000 minus-eight pixel conversion, receiver publications, 19x19 background capture, SRCAND/SRCPAINT composition, signed bottom clipping to row 442/443 including zero height, stale SS:[BP-6] third-DC reselection, and complete cleanup/release order are branch- and sequence-tested.
471000:9e85FUN_1000_9e85Code1238verifiedtdkpin_reset_ball_statereconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:9e85-9f72; verified 1000:9bca dependency; exact DGROUP/receiver offsets; reconstructed/tests/test_ball_render.cExact five-word all-nonzero gate, conditional 0851/0853 clears and 07c8 set, unconditional tilt/receiver reset, milli-position constants 325000/413000, duplicate current/previous coordinate fields, velocity/state zeroing, bdd byte clear, caller-BP propagation, and redraw are represented and both gate branches tested.
481000:9f73FUN_1000_9f73Code11051verifiedtdkpin_render_ball_swept_regionreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:9f73-a38d; exact caller-frame/receiver fields; verified signed divide; USER/GDI prototypes; reconstructed/tests/test_ball_sweep.cExact current pixel projection, signed current-minus-previous milli delta divided by 1000, bb2/bb6 publications, direction-dependent swept destination and mask/image source offsets, modulo-2^32 magnitude without C overflow UB, abs(delta)+19 geometry, background capture, 19x19 SRCAND/SRCPAINT composition, signed bottom clipping, whole swept-region presentation, stale SS:[BP-6] reselection, and complete cleanup are represented and tested for both delta polarities and clipped/unclipped branches.
491000:a38eFUN_1000_a38eCode1630verifiedtdkpin_restore_previous_ball_regionreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:a38e-a603; exact caller-frame ABI and receiver fields; verified signed divide; USER/GDI prototypes; reconstructed/tests/test_ball_restore.cExact GetClientRect/GetDC, three compatible DCs, 100x100 bitmap, prior milli-position +500/divide1000/minus8 projection, ba2/ba6 publication, velocity zeroing, 19x19 background capture, signed bottom clipping, low-byte presentation suppression, stale SS:[BP-6] reselection, and full object/DC/release cleanup are represented and both presentation branches tested.
501000:a604FUN_1000_a604Code1266verifiedtdkpin_refresh_player_progress_markersreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:a604-a70d; verified multiply and overlay/present dependencies; exact current-player/table addressing; reconstructed/tests/test_gameplay_helpers.cExact caller-BP receiver/HWND, GetDC lifetime, 32-bit counter 1..6, signed int16 marker threshold, player row (player-1)*44+298, marker column (counter-1)*8+391, inclusive 5x5 geometry, overlay A/B polarity, twelve draw/present calls, and ReleaseDC are represented and sequence-tested.
511000:a70eFUN_1000_a70eCode130verifiedtdkpin_set_gameplay_transition_flagsreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:a70e-a72b; SS caller-frame far receiver at BP+6; reconstructed/tests/test_gameplay_helpers.cExact player-count clear, caller-frame receiver recovery, object byte +0bde set, transition-pending byte set, write order, and two-byte cleanup are represented and tested.
521000:a72cFUN_1000_a72cCode1446verifiedtdkpin_initialize_player_statereconstructed/tdkpin_player_state.cdisassembly 1000:a72c-a8e9; all internal dependencies verified; exact collision/player/item tables and caller receiver; reconstructed/tests/test_player_state.cExact 175-record refresh plus record+43 copy into all four 0x15e-stride receiver rows, five item restores, zero score draw and 0874 clear, configured-player-only score/secondary/multiplier/sprite/marker/level/item initialization, initial 2-versus-3 marker counts, 20-byte receiver row clears, final current-player/highscore-index reset, and twenty item refreshes are count-, order-, and memory-tested.
531000:a8eaFUN_1000_a8eaCode1178verifiedtdkpin_save_highscoresreconstructed/tdkpin_highscores.cdisassembly 1000:a8ea-a99b; verified Borland fill/strcpy; KERNEL _lcreat/_lwrite/_lclose prototypes; exact DGROUP offsets; reconstructed/tests/test_highscores.cExact ignored two-byte static link, -1 create failure, 260-byte contiguous local layout, zeroed 220-byte name region, one-based ten-entry dword XOR with key 0010, 22-byte name slots, 16/40/220-byte write order, ignored write/close results, and close-on-success path are represented and byte-tested.
541000:a99cFUN_1000_a99cCode1416verifiedtdkpin_load_highscoresreconstructed/tdkpin_highscores.cdisassembly 1000:a99c-ab3b; verified ShortString conversion/compare, dword multiply, far strcpy; KERNEL _lopen/_lread/_lclose; reconstructed/tests/test_highscores.cExact two-byte static link, mode-0 then mode-0x40 open retry, 16-byte header read and ShortString comparison, ignored read returns, direct 220-byte DGROUP name read, ten dword XOR decodes, unconditional close of an opened file, descending 1000000..100000 defaults, and ten No Name copies are branch- and byte-tested, including short-read residue semantics.
551000:ab3cFUN_1000_ab3cCode1169verifiedtdkpin_show_highscore_windowsreconstructed/tdkpin_highscores.cdisassembly 1000:ab3c-abe4; verified far strcpy, text-dialog and centered-child constructors, ObjectWindows virtual slots +38/+34 and Show; exact caller SS:BP contract; reconstructed/tests/test_highscores.cExact optional insertion-index name reset, hidden text-dialog VMT 01ce versus control ID 0016, label/caption/name/parent order, ignored ExecDialog result, centered child VMT 010e/title, MakeWindow return publication at receiver +41, Show command 1, and zero-index dialog bypass are represented and tested.
561000:abe5FUN_1000_abe5Code1221verifiedtdkpin_insert_current_scorereconstructed/tdkpin_highscores.cdisassembly 1000:abe5-acc1; verified far-copy/show/save dependencies; current-player/player-score and high-score table offsets; reconstructed/tests/test_highscores.cExact one-based scan, signed high-word then unsigned low-word strict comparison, tie rejection, bottom-up dword and 22-byte name shift, index-10 no-shift case, score/index publication, caller-BP propagation, dialog/show then save ordering, and nonqualifying early return are represented and tested.
571000:acc2FUN_1000_acc2Code1428verifiedtdkpin_redraw_all_playersreconstructed/tdkpin_player_state.cdisassembly 1000:acc2-ae6d; verified score/sprite/overlay dependencies; exact player arrays and geometry; reconstructed/tests/test_player_state.cExact GetDC-before-zero-count behavior, saved current/player-count bytes, 44-pixel row loop, 31x139 panel restore, temporary current-player publication, active zero-delta score/status path, secondary-score times byte multiplier, sprite composition and 123x42 presentation, active overlay-A versus inactive redraw-only/overlay-B 11x11 marker polarity, saved-player restoration, and ReleaseDC are branch- and sequence-tested.
581000:ae6eFUN_1000_ae6eCode11114verifiedtdkpin_finish_ball_or_advance_playerreconstructed/tdkpin_turn_state.cdisassembly 1000:ae6e-b2c7; all internal dependencies verified; exact collision/player/receiver tables; Real48 register constant 80 cd cc cc cc 4c; reconstructed/tests/test_turn_state.cExact special-respawn gate and collision-position transfer, item-20 clear, dynamic record update, int32-to-Real48 times 0.8 rounded velocity, special flags, normal sound/restore/highscore-on-zero path, 175-record save/load mirrors, modulo player search with return-to-origin termination, game-over transition/dialog condition, changed-player collision/item/UI refresh, ready-item redraw, marker decrement, ball reset, 20x148 overlay refresh, and final marker redraw are represented and tested across special, live-next-player, and all-dead branches.
591000:b2c8FUN_1000_b2c8Code167verifiedtdkpin_restore_bounds_overlay_areconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:b2c8-b30a; verified 1008:0837/093f; reconstructed/tests/test_gameplay_helpers.cExact ignored static link, inclusive uint16 bottom-top+1/right-left+1 dimensions, wrapped INT16 arguments, overlay-A restore then present ordering, unchanged top/left/DC, and 12-byte cleanup are represented and tested.
601000:b30bFUN_1000_b30bCode1165verifiedtdkpin_restore_record_or_item_areconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:b30b-b3af; verified b2c8 and 1008:0dbd; collision/word-quad layouts; reconstructed/tests/test_gameplay_helpers.cExact caller-frame HWND/DC lifetime, ids 0..175 collision render bounds, ids 1006..1014 item-status mapping 1..9, all other ids via wrapped id-1000 times 8 word-quad bounds, overlay-A restore, and four-byte cleanup are represented and branch-tested.
611000:b3b0FUN_1000_b3b0Code167verifiedtdkpin_restore_bounds_overlay_breconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:b3b0-b3f2; verified 1008:08bb/093f; reconstructed/tests/test_gameplay_helpers.cExact ignored static link, inclusive uint16 bottom-top+1/right-left+1 dimensions, wrapped INT16 arguments, overlay-B restore then present ordering, unchanged top/left/DC, and 12-byte cleanup are represented and tested.
621000:b3f3FUN_1000_b3f3Code1131verifiedtdkpin_restore_record_breconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:b3f3-b475; verified b3b0; collision/word-quad layouts; reconstructed/tests/test_gameplay_helpers.cExact caller-frame HWND/DC lifetime, ids 0..175 collision render bounds, all larger ids through wrapped id-1000 times 8 word-quad bounds without the A-path item special case, overlay-B restore, and four-byte cleanup are represented and tested.
631000:b476FUN_1000_b476Code11984verifiedtdkpin_handle_collision_eventsreconstructed/tdkpin_collision_events.cdisassembly 1000:b476-bc35; all internal dependencies verified; exact collision/player/receiver aliases and bit order; reconstructed/tests/test_collision_events.cExact tilt-wide early return and ordered independent flags 0001,0002/2000,0400,0004,0008,0010,1000,0040 are represented: item activation, linked-record clear, rotation arm, random/nonrandom sprite award, five-group ready reward/reset, four-group item-bank <9/=9/>9 branches with completion rectangles or secondary bonus, three record switches, timed records, sounds, score deltas, record/player byte publications, DC sharing, and refresh ordering are branch-tested across every event class and boundary.
641000:bc36FUN_1000_bc36Code1364verifiedtdkpin_add_score_from_caller_framereconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:bc36-bda1; verified multiply/sound/marker/status/score dependencies; exact player tables and caller receiver; reconstructed/tests/test_scoring.cExact caller-BP plus int32 delta ABI, -1 redraw sentinel, tilt gate, independent global/receiver doubling with 32-bit wrap, active score update, signed-high/unsigned-low threshold comparison including equality, level<=4 gate and index-zero alias arithmetic, sound 7, 32-bit level and 16-bit marker increments, marker refresh, conditional status update, unconditional score redraw, and DC lifetime are branch-tested.
651000:bda2FUN_1000_bda2Code160verifiedtdkpin_draw_score_from_caller_framereconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:bda2-bddd; SS caller-frame receiver at BP+6; USER GetDC/ReleaseDC; verified 1008:0996; reconstructed/tests/test_gameplay_helpers.cExact caller-frame far receiver, HWND +4, matched DC lifetime, low/high score word assembly, score renderer argument order, ignored API results, and six-byte cleanup are represented and tested.
661000:bddeFUN_1000_bddeCode1289verifiedtdkpin_update_dynamic_ball_recordreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:bdde-befe; packed collision layout; reconstructed/tests/test_gameplay_helpers.cExact ignored static link, signed 32-bit displacement plus 173 with low-word 83-byte indexing, current ball point1 stores, modulo-2^32 +/-16000 then +/-5000 bounds equivalent to +/-21000, six field writes, and six-byte cleanup are represented and tested.
671000:beffFUN_1000_beffCode11132verifiedtdkpin_move_ball_and_renderreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:beff-c36a; body-equivalent swept-render tail proven against verified 1000:9f73; exact ten-byte ABI and position stores; reconstructed/tests/test_ball_sweep.cExact caller-BP plus delta-X/delta-Y int32 argument order, current-to-previous bc2/bc6 publication before mutation, modulo-2^32 Y-then-X additions, and the complete byte-equivalent signed-delta/geometry/mask/image/clipping/GDI tail shared with 1000:9f73 are represented; end-to-end state and rendered delta are tested with mixed-sign arguments.
681000:c36bFUN_1000_c36bCode1187verifiedtdkpin_load_ball_slotreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:c36b-c425; SS caller-frame receiver; reconstructed/tests/test_gameplay_helpers.cExact unchecked uint16 slot times 4/6 addressing, slot position to global ball X/Y, velocity and auxiliary dword fields to receiver +0baa/+0bae/+0bca, six-byte Real48 copy to +0bce, overlap behavior, and six-byte cleanup are represented and tested.
691000:c426FUN_1000_c426Code1187verifiedtdkpin_save_ball_slotreconstructed/tdkpin_gameplay_helpers.cdisassembly 1000:c426-c4e0; SS caller-frame receiver; reconstructed/tests/test_gameplay_helpers.cExact inverse unchecked uint16 slot times 4/6 transfer of global position, receiver velocity/auxiliary dwords and six-byte Real48 field into packed DGROUP slot arrays, overlapping out-of-range slot behavior, and six-byte cleanup are represented and tested.
701000:c4e1FUN_1000_c4e1Code1699verifiedtdkpin_apply_player_sprite_effectreconstructed/tdkpin_player_state.cdisassembly 1000:c4e1-c79b; verified multiply/score dependencies; exact player tables and record 399a access; reconstructed/tests/test_player_state.cExact sprite-index dispatch 1..7, wrapping secondary-score additions 10000/20000/50000/100000/200000, unsigned-byte multiplier redraw, effect-6 multiplied transfer/reset/zero redraw, effect-7 nonzero record gate, signed-negative or unequal argument condition, receiver +be0 and global 0874 publications, and default no-op behavior are represented and branch-tested.
711000:c79cFUN_1000_c79cCode18981verifiedtdkpin_simulate_ball_and_dispatch_collisionreconstructed/tdkpin_physics.cdisassembly 1000:c79c-eab0 and rz-ghidra stack-offset view; packed 83-byte records and exact 52-byte candidate layout; all integer/Real48/gameplay/GDI dependencies verified; reconstructed/tests/test_physics.cExact RETF-2 caller-frame ABI, simulation-call counter, snapshotted ball count and substep word, multiball load/save, gravity and two ordered speed clamps, previous/predicted coordinates, board-loss/layer gates, 175-record broadphase, types 1 circle, 2 segment, 3 capture/pocket, and 4 stateful trigger, subtype normal reversal, signed cross/end-point tests, contact-state sentinels, claw/target-set/sprite/score special paths, trigger 0x4000 lifecycle and random bounce, packed nearest-candidate copies, event/score dispatch, Real48 normal/tangent/spin/response/kick transform including deliberately zeroed intermediate, ball-to-ball impulse transfer, record 25/2 terminal paths, ordered velocity/position publication, dynamic-record update, swept rendering, 32-bit wrap, and Borland divide/error behavior are represented. Free integration, exact 3-4-5 clamp, circle/segment responses, four trigger/capture modes, distinct response/event/score paths, out-of-bounds, and zero-substep multiball are tested.
721000:eab1exported_ordinal_10Code14820verifiedtdkpin_timer_tickreconstructed/tdkpin_timer_tick.cdisassembly 1000:eab1-fd84 including RETF-8 and all annotated calls; exact Real48 claw-release table; complete verified dependency closure including 1000:c79c; reconstructed/tests/test_timer_tick.cExact two-DWORD callback ABI with unused second argument, all nine guard conditions, busy flag, 175-record refresh, two dword counters, claw movement/release/record activation, ten exact spawn states, 175 countdowns, target rotation, multiball collapse/promotion/reset/spawn, physics gate, quotient-versus-remainder intro schedules, record/item/chase/status animations, complete 30x284 score-marquee GDI lifetime, panel frames 1..281, game initialization, flipper/message epilogue, busy clear, redundant tilt read, and tilt-counter decrement are represented and branch-/sequence-tested.
731000:fd85ne_program_entryCode1181verifiedtdkpin_ne_program_entryreconstructed/tdkpin_program_entry.cdisassembly 1000:fd85-fe39; relocations 1669-1679; reconstructed/tests/test_program_entry.cExact InitTask register handoff, eight-unit initialization order, full DX:AX GetVersion store, Windows 3.10 threshold, indirect MessageBox error path, fixed application object construction, VMT +1c Run and +08 destructor calls, dispose mode zero, and unconditional Halt(0) are represented and branch-tested.
741008:0002FUN_1008_0002Code233verifiedtdkpin_play_sound_if_not_tiltedreconstructed/tdkpin_sound.cdisassembly 1008:0002-0022; verified 1008:1131 dependency; DGROUP game-tilted byte 07c6 and sound-enabled byte 43f2; reconstructed/tests/test_sound.cExact Tilted==0 then Enabled!=0 short-circuit order, unchanged sound-number argument, ignored player result, two-byte Pascal cleanup, and all gate combinations are branch-tested.
751008:0023FUN_1008_0023Code2191verifiedtdkpin_realize_nocollapse_palettereconstructed/tdkpin_palette.cdisassembly 1008:0023-00e1; exact LOGPALETTE256 layout; verified Borland allocation/free; GDI palette/DC APIs; reconstructed/tests/test_palette_gdi.cExact null-allocation early return, 1028-byte palette, version 0300/count 256, 256 zero RGB entries with flag 4, GetDC/Create/Select(false)/Realize/Select(previous,true)/Delete/Release ordering, ignored API returns, free, and RETF 2 are branch-tested.
761008:00e2FUN_1008_00e2Code286verifiedtdkpin_drain_messages_except_inputreconstructed/tdkpin_message_pump.cdisassembly 1008:00e2-0137; exact MSG16 and USER Peek/Translate/Dispatch calls; seven internal/export callers; reconstructed/tests/test_message_pump.cExact PeekMessage HWND/min/max=0x32/PM_REMOVE arguments, loop-to-empty behavior, suppression of 0x0580/0x0100/0x0101, translation/dispatch of all other returned messages, and far return are represented and tested.
771008:0138FUN_1008_0138Code21615verifiedtdkpin_initialize_collision_recordreconstructed/tdkpin_collision_records.cdisassembly 1008:0138-0786; 177 call sites in 1000:0270; OBJECTS.tsv live original dump; reconstructed/tests/test_collision_records.cExact 40-word ABI, index 0..175 gate, 83-byte packed layout, type/subtype/active truncation, radius geometry selection, absolute Y-20 and relative continuation modes, signed int32 bound ordering, modulo-2^32 scale/add/subtract, +/-5000 and fallback corrections, Real48 radius conversion, four Real48 copies, all scalar fields, continuation globals, slot-0 aliases, and slot-175/word-table overlap are represented and branch-tested; rows 1 and 4 match live original geometry.
781008:0787FUN_1008_0787Code247verifiedtdkpin_set_word_quadreconstructed/tdkpin_tables.cdisassembly 1008:0787-07b5; twenty direct setup calls with indices 1..20; reconstructed/tests/test_tables.cExact uint16 index*8 offset, DGROUP base 4263, reversed Pascal argument-to-field order, four word stores, ten-byte cleanup, and first/last written records are represented and tested.
791008:07b6FUN_1008_07b6Code2129verifiedtdkpin_blit_bitmap_to_backgroundreconstructed/tdkpin_render.cdisassembly 1008:07b6-0836; background bitmap 085b; two compatible DCs; reconstructed/tests/test_render.cExact supplied-bitmap origin to background (x,y,width,height) SRCCOPY, selections/restorations, bitmap/source DC roles, deletion order, 12-byte cleanup, and ignored API results are tested.
801008:0837FUN_1008_0837Code2132verifiedtdkpin_restore_background_region_areconstructed/tdkpin_render.cdisassembly 1008:0837-08ba; bitmaps 085b/085f; reconstructed/tests/test_render.cExact same-coordinate rectangle copy from overlay A into background, dual compatible DC lifecycle, object restoration, deletion order, ten-byte cleanup, and SRCCOPY are tested.
811008:08bbFUN_1008_08bbCode2132verifiedtdkpin_restore_background_region_breconstructed/tdkpin_render.cdisassembly 1008:08bb-093e; bitmaps 085b/085d; reconstructed/tests/test_render.cByte-identical second rectangle restore with overlay B's exact global slot, argument order, DC/object lifecycle, and ten-byte cleanup is independently tested.
821008:093fFUN_1008_093fCode287verifiedtdkpin_present_background_regionreconstructed/tdkpin_render.cdisassembly 1008:093f-0995; background bitmap 085b; reconstructed/tests/test_render.cExact background-to-destination same-coordinate SRCCOPY, single compatible DC/select/restore/delete lifecycle, ten-byte cleanup, and ignored BOOL results are represented and tested.
831008:0996FUN_1008_0996Code2520verifiedtdkpin_draw_scorereconstructed/tdkpin_render.cdisassembly 1008:0996-0b9d; verified 08e6 and blit dependencies; player-score table 0982-0991; digit bitmap 0861; reconstructed/tests/test_score_render.cExact one-based player-score selection, destination-x cases, 40x150 temporary surface, 40x130 background capture at y478, duplicated signed divide-by-10 calls, low-byte remainder digit, eight positions, leading-zero suppression, digit SRCAND coordinates, final SRCCOPY, selections/deletions, six-byte cleanup, and 16-bit coordinates are represented and tested.
841008:0b9eFUN_1008_0b9eCode2543verifiedtdkpin_update_status_displayreconstructed/tdkpin_status_render.cdisassembly 1008:0b9e-0dbc; player/score/status/bitmap DGROUP objects; verified four blit primitives; reconstructed/tests/test_status_render.cExact current-player/sentinel/1..4 gates, strict score thresholds 2000/140000/650000/1300000, unchanged-level skip, level bitmap one-based lookup, main 146x142 region at 380,69, five reversed-x 11x11 indicators at y544, active A/inactive B selection, player-zero full reset, sentinel 99, four-byte cleanup, and state publication are branch-tested.
851008:0dbdFUN_1008_0dbdCode275verifiedtdkpin_draw_item_statusreconstructed/tdkpin_status_render.cdisassembly 1008:0dbd-0e07; item bitmap base 4321; verified blit/restore/present primitives; reconstructed/tests/test_status_render.cExact signed item-zero branch, one-based HBITMAP lookup for nonzero values, binary argument order height61,width68,y300,x123, background-B restoration, bitmap-to-background blit, unconditional presentation, four-byte cleanup, and ignored returns are represented and tested.
861008:0e08FUN_1008_0e08Code2287verifiedtdkpin_draw_claw_framereconstructed/tdkpin_claw_render.cdisassembly 1008:0e08-0f26; verified background primitives; DAT900 bitmap 0863; reconstructed/tests/test_claw_render.cExact frame-zero restore/present, byte alternate gate, frame>9 subtract/switch, unsigned (frame-1)*100 source-x, source-y banks 0/74/148/222, fixed destination height74,width100,y47,x238, duplicate SRCCOPY to background and destination, select/restore/delete order, six-byte cleanup, and representative frames 1/10/18 are tested.
871008:0f27FUN_1008_0f27Code25verifiedtdkpin_initialize_unit_ordinal_72reconstructed/tdkpin_initialization.cdisassembly 1008:0f27-0f2b; NE entry 72; direct startup call at 1000:fda8Binary body is exactly PUSH BP; MOV BP,SP; LEAVE; RETF and therefore has no state or side effects beyond ordinary call-frame mechanics.
881008:0f2eFUN_1008_0f2eCode2437verifiedtdkpin_initialize_soundsreconstructed/tdkpin_sound.cdisassembly 1008:0f2e-10e2; exact DGROUP data and 48-byte WAVEOUTCAPS16 layout; verified Borland ParamStr/string/move/global-memory dependencies; 16 extracted WAV payload lengths; reconstructed/tests/test_sound.cExact entry resets, two-call ParamStr path construction, INI default/gate, device count/capability failures, volume-support rounding, one-based 1..22 traversal, absent-resource skips, Find/Load/allocate/Lock/Move/Unlock/Free ordering, state publication, and lack of failure checks are branch-tested.
891008:10e3FUN_1008_10e3Code278verifiedtdkpin_unload_soundsreconstructed/tdkpin_sound.cdisassembly 1008:10e3-1130; sndPlaySound and verified global-memory release; exact DGROUP address model; reconstructed/tests/test_sound.cExact device-count gate, optional stop, inclusive slots 1..22 release order, no pointer/count/enabled clearing, Playing-byte clear, disabled no-op, and far return are branch-tested.
901008:1131FUN_1008_1131Code294verifiedtdkpin_play_soundreconstructed/tdkpin_sound.cdisassembly 1008:1131-118e; resource-size table at conceptual base 03e6; sound-pointer base 43f2; MMSYSTEM sndPlaySound; reconstructed/tests/test_sound.cExact device-count/Enabled/nonzero-resource-size gates, prior-sound stop, selected far pointer, flags 5, BOOL-to-Playing publication, failure clear, no range check with 16-bit wrapped indexing, uninitialized word return, and all ordinary gate branches are tested.
911008:118fFUN_1008_118fCode241verifiedtdkpin_stop_sound_if_activereconstructed/tdkpin_sound.cdisassembly 1008:118f-11b7; MMSYSTEM sndPlaySound; DGROUP device count 43ee and Playing 43f3; reconstructed/tests/test_sound.cExact device-count-word and playing-byte conjunction, sndPlaySound(NULL,0), ignored BOOL16 return, unchanged playing flag, uninitialized uint16 result, and all gate combinations are tested.
921008:11b8FUN_1008_11b8Code25verifiedtdkpin_initialize_unit_ordinal_86reconstructed/tdkpin_initialization.cdisassembly 1008:11b8-11bc; NE entry 86; direct startup call at 1000:fda3Binary body is exactly PUSH BP; MOV BP,SP; LEAVE; RETF and therefore has no state or side effects beyond ordinary call-frame mechanics.
931008:11c5FUN_1008_11c5Code2345verifiedtdkpin_create_palette_from_rgb_tablereconstructed/tdkpin_palette.cdisassembly 1008:11c5-131d; exact LOGPALETTE256 layout; DGROUP RGB table 4450-474f; verified Borland allocation/range/free dependencies; GDI CreatePalette; reconstructed/tests/test_palette.cExact 1028-byte allocation, version 0300/count 256, index*3 RGB to index*4 PALETTEENTRY copy, zero flags, 32-bit loop shape, palette handle publication, 0..65535 descriptor check, temporary free, and far return are represented and tested.
941008:1326FUN_1008_1326Code2130verifiedtdkpin_load_palette_resourcereconstructed/tdkpin_palette.cdisassembly 1008:1326-13a7; PAL resource call frame; range descriptor 131e; reconstructed/tests/test_palette.cExact current-instance/resource-name/custom-type FindResource, Load/Lock chain, inclusive indices 0..767, two compiler range checks per byte, far source/destination copy, GlobalUnlock-only cleanup, lack of failure checks, RETF 0x0a, and resource 999 call shape are represented and tested.
951008:13a8FUN_1008_13a8Code2245verifiedtdkpin_fill_bitmap_info_palettereconstructed/tdkpin_palette.cdisassembly 1008:13a8-149c; exact BITMAPINFOHEADER/RGBQUAD offsets; verified 32-bit multiply helper equivalence; reconstructed/tests/test_palette.cExact bit-count shift and dead wrapped allocation-tail arithmetic, inclusive 0..255 loop, source index*3, destination index*4+40, RGB-to-BGR reversal, reserved-zero store, unaligned far accesses, and four-byte cleanup are represented and tested.
961008:15c2FUN_1008_15c2Code25verifiedtdkpin_initialize_unit_ordinal_91reconstructed/tdkpin_initialization.cdisassembly 1008:15c2-15c6; NE entry 91; direct startup call at 1000:fd9eBinary body is exactly PUSH BP; MOV BP,SP; LEAVE; RETF and therefore has no state or side effects beyond ordinary call-frame mechanics.
971008:15c7FUN_1008_15c7Code232verifiedtdkpin_global_allocate_lockedreconstructed/tdkpin_global_memory.cdisassembly 1008:15c7-15e6; NE entry 96; Win16 KERNEL ordinals 15 and 18; reconstructed/tests/test_global_memory.cExact UINT16 flags, uint32 byte count, GlobalAlloc handle flow, unconditional GlobalLock, and far-pointer result are represented and tested.
981008:15e7FUN_1008_15e7Code232verifiedtdkpin_global_unlock_and_freereconstructed/tdkpin_global_memory.cdisassembly 1008:15e7-1606; NE entry 97; Win16 KERNEL ordinals 21, 19, and 17; reconstructed/tests/test_global_memory.cExact selector-only GlobalHandle lookup, retained handle, GlobalUnlock-before-GlobalFree order, ignored pointer offset, and ignored API returns are represented and tested.
991008:1607FUN_1008_1607Code2135verifiedobject_windows_text_dialog_constructreconstructed/tdkpin_dialog.cdisassembly 1008:1607-168d; verified 1008:2996; reconstructed/tests/test_dialog.cExact hidden-VMT constructor gate, 066a template choice 7f02/7f05, base integer-resource constructor, unaligned caption/label/text far fields +26/+2a/+2e, signed control id +32, parent propagation, suppressed-construction return, and 24-byte cleanup are represented and tested.
1001008:168eFUN_1008_168eCode248verifiedobject_windows_dialog_read_textreconstructed/tdkpin_dialog.cdisassembly 1008:168e-16bd; USER GetDlgItemText ordinal 93; object fields +4/+0x2e/+0x32; reconstructed/tests/test_dialog.cExact HWND, signed control id, unaligned far buffer, maximum 0x65, ignored character count, fixed AL=1 return, and four-byte cleanup are represented and tested.
1011008:16beFUN_1008_16beCode2113verifiedobject_windows_dialog_setup_text_fieldsreconstructed/tdkpin_dialog.cdisassembly 1008:16be-172e; verified 1018:0d9b; reconstructed/tests/test_dialog.cExact prepare ordering, HWND caption, control 100 label, control 101 text, EM_LIMITTEXT 0415 to control 101, uint16 capacity-minus-one wrap, zero lParam, ignored USER results, and four-byte cleanup are represented and tested.
1021008:172fFUN_1008_172fCode237verifiedtpwincrt_min_i16reconstructed/tdkpin_runtime_ui.cdisassembly 1008:172f-1753Exact signed comparison, branch values, 16-bit result, and four-byte near-Pascal cleanup represented in C.
1031008:1754FUN_1008_1754Code237verifiedtpwincrt_max_i16reconstructed/tdkpin_runtime_ui.cdisassembly 1008:1754-1778Exact signed comparison, branch values, 16-bit result, and four-byte near-Pascal cleanup represented in C.
1041008:1779FUN_1008_1779Code2105verifiedtpwincrt_begin_drawingreconstructed/tdkpin_runtime_ui.cdisassembly 1008:1779-17e1; Wine 11.15 USER/GDI prototypes; fixed PAINTSTRUCT addressExact BeginPaint/GetDC selection, stock-font selection/save, system foreground/background colors, argument order, stores, and ignored return values represented in C.
1051008:17e2FUN_1008_17e2Code254verifiedtpwincrt_end_drawingreconstructed/tdkpin_runtime_ui.cdisassembly 1008:17e2-1817; matching drawing acquisition at 1008:1779Exact previous-font restoration and EndPaint/ReleaseDC branch with HWND/DC/PAINTSTRUCT arguments represented in C.
1061008:1818FUN_1008_1818Code267verifiedtpwincrt_create_caretreconstructed/tdkpin_runtime_ui.cdisassembly 1008:1818-185a; four USER import call sites reviewedExact control flow, argument order, unsigned 16-bit coordinate wrap, ignored results, and address-linked globals represented in C.
1071008:185bFUN_1008_185bCode210verifiedtpwincrt_destroy_caretreconstructed/tdkpin_runtime_ui.cdisassembly 1008:185b-1864; DestroyCaret16 call site reviewedExact no-argument call, ignored BOOL16 result, and return represented in C.
1081008:1865FUN_1008_1865Code2107verifiedtpwincrt_update_scrollbarsreconstructed/tdkpin_runtime_ui.cdisassembly 1008:1865-18cf; verified max helper; all SetScrollRange16/SetScrollPos16 call sites reviewedExact bar ids, redraw flags, signed max clamp, positions, ignored results, and call order represented in C.
1091008:18d0FUN_1008_18d0Code230verifiedtpwincrt_abort_on_ctrl_creconstructed/tdkpin_runtime_ui.cdisassembly 1008:18d0-18ed; verified RuntimeExit 1020:0061; reconstructed/tests/test_runtime_input.cExact focus-and-caret conjunction, conditional DestroyCaret-before-exit order, ignored BOOL16 result, fixed uint16 status 0xff, and all focus/caret combinations are tested.
1101008:18eeFUN_1008_18eeCode2201verifiedtpwincrt_scroll_toreconstructed/tdkpin_runtime_ui.cdisassembly 1008:18ee-19b6; verified signed min/max helpers; this function's SetScrollPos16/ScrollWindow16/UpdateWindow16 calls reviewedExact clamping, conditional scrollbar updates, low-word MUL deltas, signed API interpretation, viewport-store order, repaint call, and inactive-window early return represented in C.
1111008:19b7FUN_1008_19b7Code265verifiedtpwincrt_scroll_cursor_into_viewreconstructed/tdkpin_runtime_ui.cdisassembly 1008:19b7-19f7; verified signed min/max and scroll dependenciesExact 16-bit subtraction/increment wrap, nested bounds selection, argument order, and far-call return behavior represented in C.
1121008:19f8FUN_1008_19f8Code265verifiedtpwincrt_cell_pointerreconstructed/tdkpin_runtime_ui.cdisassembly 1008:19f8-1a38Exact signed one-wrap row test, unsigned MUL low word, offset-only 16-bit wrap, and unchanged selector represented in C.
1131008:1a39FUN_1008_1a39Code273verifiedtpwincrt_draw_row_rangereconstructed/tdkpin_tpwincrt_text.cdisassembly 1008:1a39-1a81; reconstructed/tests/test_tpwincrt_text.cExact signed empty-range gate, 16-bit pixel products, circular-buffer pointer, TextOut count, and matched drawing-context lifetime are represented and tested.
1141008:1a82FUN_1008_1a82Code2143verifiedtpwincrt_advance_linereconstructed/tdkpin_tpwincrt_text.cdisassembly 1008:1a82-1b10; caller-frame alias mapped to explicit changed-range pointers; reconstructed/tests/test_tpwincrt_text.cExact pending-row draw, local-range clears, CR column reset, row advance, bottom-row retention, ring-origin wrap, row clearing, negative-height ScrollWindow, and UpdateWindow are represented and tested.
1151008:1b11FUN_1008_1b11Code2216verifiedtpwincrt_write_bytesreconstructed/tdkpin_tpwincrt_text.cdisassembly 1008:1b11-1be8; reconstructed/tests/test_tpwincrt_text.cExact lazy-window call, printable/CR/BS/BEL dispatch, signed dirty-range tracking, 16-bit cursor wrap behavior, circular-screen writes, final draw, and optional cursor scroll are represented and tested.
1161008:1be9FUN_1008_1be9Code226verifiedtpwincrt_write_characterreconstructed/tdkpin_tpwincrt_text.cdisassembly 1008:1be9-1c02; reconstructed/tests/test_tpwincrt_text.cExact single-byte SS-backed wrapper into the bulk TPWinCrt writer and six-byte far-Pascal cleanup semantics are represented through line-edit echo tests.
1171008:1c03FUN_1008_1c03Code292verifiedtpwincrt_poll_inputreconstructed/tdkpin_tpwincrt_text.cdisassembly 1008:1c03-1c5e; reconstructed/tests/test_tpwincrt_text.cExact lazy-window creation, PeekMessage remove flag 1, full queue drain, WM_QUIT abort, Translate/Dispatch ordering, and signed-positive input-count result are represented and tested.
1181008:1c5fFUN_1008_1c5fCode2103verifiedtpwincrt_read_characterreconstructed/tdkpin_tpwincrt_text.cdisassembly 1008:1c5f-1cc5; reconstructed/tests/test_tpwincrt_text.cExact pre-read cursor scroll, nonblocking poll, WaitMessage loop, focus-conditional caret ownership, queue decrement, first-byte return, and overlap-safe tail shift are represented and tested.
1191008:1cc6FUN_1008_1cc6Code2177verifiedtpwincrt_read_linereconstructed/tdkpin_tpwincrt_text.cdisassembly 1008:1cc6-1d76; reconstructed/tests/test_tpwincrt_text.cExact backspace editing, unsigned capacity-minus-two gate, printable echo, CR or optional Ctrl-Z termination, retained terminator, CRLF expansion, final cursor scroll, and returned byte count are represented and tested.
1201008:1d77FUN_1008_1d77Code285verifiedtpwincrt_on_createreconstructed/tdkpin_runtime_ui.cdisassembly 1008:1d77-1dcb; verified GetMem/fill; reconstructed/tests/test_runtime_lifecycle.cExact created flag, low-word columns*rows wrap, allocation/store, space fill, BreakCheck gate, GetSystemMenu/EnableMenuItem arguments and order, ignored results, and both menu branches are tested.
1211008:1dccFUN_1008_1dccCode2190verifiedtpwincrt_on_paintreconstructed/tdkpin_runtime_ui.cdisassembly 1008:1dcc-1e89; PAINTSTRUCT16 layout; verified draw-context, min/max, and cell-pointer dependenciesExact paint flag lifetime, signed clipping math, 16-bit rounded bounds, signed row loop, low-word pixel coordinates, circular text pointer, TextOut16 arguments, and cleanup represented in C.
1221008:1e8aFUN_1008_1e8aCode2130verifiedtpwincrt_apply_scroll_commandreconstructed/tdkpin_runtime_ui.cdisassembly 1008:1e8a-1f0b; caller-frame layout from 1008:1f0cExact BP+4/BP+6 aliasing, all eight command/default paths, signed values, and 16-bit arithmetic wrap represented in C.
1231008:1f0cFUN_1008_1f0cCode292verifiedtpwincrt_handle_scrollreconstructed/tdkpin_runtime_ui.cdisassembly 1008:1f0c-1f67; verified 1008:1e8a and 1008:18ee dependenciesExact caller-frame handoff, horizontal half-page versus vertical full-page sizing, axis selection, unchanged-axis behavior, and common scroll call represented in C.
1241008:1f68FUN_1008_1f68Code2128verifiedtpwincrt_on_sizereconstructed/tdkpin_runtime_ui.cdisassembly 1008:1f68-1fe7; verified caret, min/max, and scrollbar dependenciesExact WM_SIZE width/height order, signed IDIV, 16-bit subtraction wrap, viewport clamps, scrollbar update, and caret teardown/recreation ordering represented in C.
1251008:1fe8FUN_1008_1fe8Code2306verifiedtpwincrt_fill_minmax_inforeconstructed/tdkpin_runtime_ui.cdisassembly 1008:1fe8-2119; exact TEXTMETRIC16/MINMAXINFO16; reconstructed/tests/test_runtime_minmax.cHost stack bound as emulated SS verifies local far TEXTMETRIC writes, drawing acquire/release, metric stores, every SystemMetrics-derived expression, signed screen clamp, low-word arithmetic, six exact target words, and untouched fields.
1261008:211aFUN_1008_211aCode245verifiedtpwincrt_queue_characterreconstructed/tdkpin_runtime_ui.cdisassembly 1008:211a-2146; verified abort path; reconstructed/tests/test_runtime_input.cExact BreakCheck/character-3 termination-before-append, ordinary byte append, uint16 count increment, signed count capacity comparison at 64, disabled-BreakCheck character 3, and full-queue no-op are branch-tested.
1271008:2147FUN_1008_2147Code2115verifiedtpwincrt_handle_keydownreconstructed/tdkpin_runtime_ui.cdisassembly 1008:2147-21b9; verified key table/RuntimeExit/scroll path; reconstructed/tests/test_runtime_input.cExact Ctrl-C termination, signed GetKeyState control bit, ordered first-match table scan, horizontal LineUp, Ctrl-PageUp, vertical LineUp, no-match no-op, and resulting viewport/API effects are branch-tested.
1281008:21baFUN_1008_21baCode220verifiedtpwincrt_on_set_focusreconstructed/tdkpin_runtime_ui.cdisassembly 1008:21ba-21cd; verified 1008:1818 dependencyExact store-before-conditional-caret-create ordering represented in C.
1291008:21ceFUN_1008_21ceCode220verifiedtpwincrt_on_kill_focusreconstructed/tdkpin_runtime_ui.cdisassembly 1008:21ce-21e1; verified 1008:185b dependencyExact conditional-caret-destroy-before-focus-clear ordering represented in C.
1301008:21e2FUN_1008_21e2Code255verifiedtpwincrt_on_destroyreconstructed/tdkpin_runtime_ui.cdisassembly 1008:21e2-2218; verified FreeMem; reconstructed/tests/test_runtime_lifecycle.cExact low-word columns*rows release size, far buffer, cursor/view zeroing, PostQuitMessage(0), created-flag clear, ordering, and wrapped-size case are represented and tested.
1311008:2219FUN_1008_2219Code2227verifiedtpwincrt_window_procreconstructed/tdkpin_runtime_ui.cdisassembly 1008:2219-22f9; NE entry 119; exact WNDPROC16 ABI; every direct handler row verifiedExact process-window publication, eleven handled message ids/argument extractions, handled DX:AX zero return, default DefWindowProc16 frame/LRESULT preservation, and complete address-linked handler mapping are represented; every dispatched handler and dependency is independently verified.
1321008:22fcFUN_1008_22fcCode264verifiedtpwincrt_text_write_bufferreconstructed/tdkpin_tpwincrt_text.cdisassembly 1008:22fc-233b; reconstructed/tests/test_tpwincrt_text.cExact zero-count bypass, BufPtr/BufPos bulk write, post-write BufPos clear, input-message poll, ignored poll result, and AX=0 callback result are represented and tested.
1331008:233cFUN_1008_233cCode256verifiedtpwincrt_text_read_bufferreconstructed/tdkpin_tpwincrt_text.cdisassembly 1008:233c-2373; reconstructed/tests/test_tpwincrt_text.cExact BufSize/BufPtr line read, returned count publication to BufEnd, BufPos clear, and AX=0 callback result are represented and tested.
1341008:2374FUN_1008_2374Code223verifiedtdkpin_file_close_noopreconstructed/tdkpin_borland_files.cdisassembly 1008:2374-238a; stored FileProc relocation at 1008:23de/23e1; reconstructed/tests/test_borland_files.cExact ignored far FileRec receiver, local uint16 zero, AX return, four-byte Pascal cleanup, and callback role are represented and tested.
1351008:238bFUN_1008_238bCode2114verifiedtpwincrt_open_text_recordreconstructed/tdkpin_tpwincrt_text.cdisassembly 1008:238b-23fc; relocations to 1008:22fc/233c/2374; reconstructed/tests/test_tpwincrt_text.cExact input versus output mode transition and relocated InOut/Flush/Close callback table, including null input FlushFunc and shared output callbacks, are represented and tested.
1361008:23fdFUN_1008_23fdCode269verifiedtpwincrt_initialize_text_recordreconstructed/tdkpin_tpwincrt_text.cdisassembly 1008:23fd-2441; relocation to 1008:238b; reconstructed/tests/test_tpwincrt_text.cExact ffff handle, closed sentinel, 128-byte buffer, embedded buffer pointer, OpenFunc, empty name, and deliberate preservation of all unwritten TextRec fields are represented and tested.
1371008:2442FUN_1008_2442Code299verifiedtpwincrt_create_windowreconstructed/tdkpin_tpwincrt_lifecycle.cdisassembly 1008:2442-24a4; sole CreateWindow/ShowWindow/UpdateWindow call sites; reconstructed/tests/test_tpwincrt_lifecycle.cExact created gate, class/title far pointers, style 00ff0000, four 8000 defaults, null parent/menu/parameter, process instance, show command, HWND publication, and ignored API results are represented and tested.
1381008:24a5FUN_1008_24a5Code2175verifiedtpwincrt_shutdown_exit_procreconstructed/tdkpin_tpwincrt_lifecycle.cdisassembly 1008:24a5-2553; stored callback relocation from 1008:2554; reconstructed/tests/test_tpwincrt_lifecycle.cExact predecessor restoration before guards, clean/live-window gate, far-title wvsprintf argument, inactive caption, SC_CLOSE enable, break-check disable, and GetMessage/Translate/Dispatch shutdown loop are represented and tested.
1391008:2554FUN_1008_2554Code2180verifiedtpwincrt_initialize_runtime_unitreconstructed/tdkpin_tpwincrt_lifecycle.cdisassembly 1008:2554-2607; relocations 274-286; reconstructed/tests/test_tpwincrt_lifecycle.cExact first-instance WNDCLASS completion/registration, shared icon/cursor integer resource, input/output TextRec Reset/Rewrite with IOResult checks, 80-byte module-title fetch, in-place OemToAnsi, and ExitProc predecessor/install sequence are represented and tested.
1401008:2608FUN_1008_2608Code259verifiedborland_dos_get_file_attributes_ansireconstructed/tdkpin_multimedia_paths.cdisassembly 1008:2608-2642; KEYBOARD ordinal 5; DOS AX=4300h; reconstructed/tests/test_multimedia_paths.cExact 79-byte bounded copy, unconditional NUL, in-place AnsiToOem conversion, restored AX/CX register contract, DOS carry, returned attribute word, and overlength case are represented and tested.
1411008:2643FUN_1008_2643Code2109verifiedmultimedia_search_filereconstructed/tdkpin_multimedia_paths.cdisassembly 1008:2643-26af; verified 1008:2608; reconstructed/tests/test_multimedia_paths.cExact bare-name-first search, 79+NUL result capacity, semicolon component parser, empty component behavior, colon/backslash separator suppression, file attribute 18 mask, exhausted empty result, far-pointer return, and truncation are represented and tested.
1421008:26b0FUN_1008_26b0Code2361verifiedmultimedia_split_pathreconstructed/tdkpin_multimedia_paths.cdisassembly 1008:26b0-2818; verified far string dependencies; reconstructed/tests/test_multimedia_paths.cExact last slash/colon base, first-dot extension, 67-byte prefix and 8-byte basename caps, fixed four-byte extension copy, optional outputs, overlap-safe in-place directory extraction, wildcard detection, and 8/4/2/1 flag word are represented and tested.
1431008:2819FUN_1008_2819Code2138verifiedmultimedia_environment_valuereconstructed/tdkpin_multimedia_paths.cdisassembly 1008:2819-28a2; KERNEL GetDOSEnvironment ordinal 131; verified far strlen/strnicmp; reconstructed/tests/test_multimedia_paths.cExact double-NUL environment traversal, ASCII case-insensitive bounded name match, mandatory equals delimiter, empty value pointer, missing-name null return, and selector-preserving offset advance are represented and tested.
1441008:28a3FUN_1008_28a3Code299verifiedtdkpin_system_timer_constructreconstructed/tdkpin_system_timer.cdisassembly 1008:28a3-2905; verified Borland object helpers; reconstructed/tests/test_system_timer.cExact six-byte object layout, existing/new ownership, root construction, recipient/timer stores, start call, zero-id failure cleanup, and far-object return are represented and branch-tested.
1451008:2906FUN_1008_2906Code244verifiedtdkpin_system_timer_destructreconstructed/tdkpin_system_timer.cdisassembly 1008:2906-2931; verified 1008:2932, 1008:2dcd, and 1020:0439; reconstructed/tests/test_system_timer.cExact stack check, timer cancellation, root destruction, hidden VMT ownership, and allocation release order are represented and tested.
1461008:2932FUN_1008_2932Code242verifiedtdkpin_system_timer_stopreconstructed/tdkpin_system_timer.cdisassembly 1008:2932-295b; MMSYSTEM timeKillEvent ordinal 603; reconstructed/tests/test_system_timer.cExact nonzero-id branch, imported cancellation call and ignored result, unconditional id clearing, and already-stopped path are represented and branch-tested.
1471008:295cFUN_1008_295cCode246verifiedtdkpin_system_timer_startreconstructed/tdkpin_system_timer.cdisassembly 1008:295c-2989; verified MMTIMER SystemTimerMake ordinal 1; reconstructed/tests/test_system_timer.cExact object recipient field, delay/resolution ordering, stack-check AX high byte retained across MOV AL, one-shot low byte, timer-id return, and 16-bit widths are represented and tested.
1481008:298aFUN_1008_298aCode212verifiedtdkpin_initialize_stack_guardreconstructed/tdkpin_stack.cdisassembly 1008:298a-2995; NE entry 132; direct startup call at 1000:fd8f; verified 1020:03cb; reconstructed/tests/test_stack.cExact AX=0 initialization call into the Borland stack guard is represented and tested against bound Win16 stack state.
1491008:2996FUN_1008_2996Code2120verifiedobject_windows_dialog_constructreconstructed/tdkpin_dialog.cdisassembly 1008:2996-2a0d; verified ObjectWindows/Borland/string dependencies; reconstructed/tests/test_dialog.cExact hidden-VMT gate, base object construction with VMT zero, flag-4 clear, selector-zero integer template retention, far-string duplication/ownership, unaligned template/init fields, modal clear, suppressed construction, return, and 14-byte cleanup are represented and tested.
1501008:2a0eFUN_1008_2a0eCode255verifiedobject_windows_dialog_destructreconstructed/tdkpin_dialog.cdisassembly 1008:2a0e-2a44; verified far string/base object/Borland destructor helpers; reconstructed/tests/test_dialog.cExact selector-word-only string guard at unaligned +0x1d/+0x1f, optional dispose, base destructor hidden VMT zero, caller-owned final frame, call order, and six-byte cleanup are branch-tested.
1511008:2a45FUN_1008_2a45Code2158verifiedobject_windows_create_modeless_dialogreconstructed/tdkpin_dialog.cdisassembly 1008:2a45-2ae2; DGROUP CreateDialogParam pointer 0652; callback ledger; reconstructed/tests/test_dialog.cExact status gate, flag clear/set, modal clear, null/parent HWND selection, instance/template/bound-proc/init arguments, HWND publication, zero-handle status ffff, retained AH plus Boolean AL return, indeterminate skipped-path AH, and four-byte cleanup are represented and tested.
1521008:2ae3FUN_1008_2ae3Code2206verifiedobject_windows_execute_modal_dialogreconstructed/tdkpin_dialog.cdisassembly 1008:2ae3-2bb0; DGROUP DialogBoxParam pointer 0656; callback ledger; reconstructed/tests/test_dialog.cExact status short-circuit, flag clear/set, modal set, parent HWND, application active-dialog save/restore around the indirect call, all five API arguments, -1 status propagation, HWND clear, returned INT16 result, and four-byte cleanup are represented and tested.
1531008:2bb1FUN_1008_2bb1Code232verifiedobject_windows_dialog_mark_childreconstructed/tdkpin_dialog.cdisassembly 1008:2bb1-2bd0; callback relocation at 1008:2be1/2be4; verified flag helper; reconstructed/tests/test_dialog.cExact ignored static-link word, child far pointer, HWND +4 zero gate, flag-4 set, six-byte cleanup, and ForEach callback role are represented and tested.
1541008:2bd1FUN_1008_2bd1Code255verifiedobject_windows_end_modal_dialogreconstructed/tdkpin_dialog.cdisassembly 1008:2bd1-2c07; modal byte +0x25; verified child iteration callback; USER EndDialog; reconstructed/tests/test_dialog.cExact inactive no-op, child marking before EndDialog, HWND +4/result ordering, ignored BOOL16 return, six-byte cleanup, and active/inactive branches are represented and tested.
1551008:2c08FUN_1008_2c08Code223verifiedobject_windows_call_slot_38reconstructed/tdkpin_window_messages.cdisassembly 1008:2c08-2c1e; VMT relocation at 1028:06e2; reconstructed/tests/test_window_messages.cExact receiver/event far arguments, ignored event, receiver-only VMT +0x38 call, and eight-byte Pascal cleanup are represented and tested.
1561008:2c1fFUN_1008_2c1fCode2100verifiedobject_windows_query_end_session_resultreconstructed/tdkpin_window_messages.cdisassembly 1008:2c1f-2c82; application MainWindow +8; VMT slots +44/+3c; reconstructed/tests/test_object_windows_handlers.cExact far MainWindow comparison, Application-versus-Window CanClose receiver selection, AL Boolean inversion, CBW/CWD 32-bit result publication at message +0a, and both approval/rejection branches are represented and tested.
1571008:2c83FUN_1008_2c83Code286verifiedobject_windows_focus_messagereconstructed/tdkpin_window_messages.cdisassembly 1008:2c83-2cd8; USER SetFocus ordinal 22; verified 1018:0097; reconstructed/tests/test_object_windows_handlers.cExact message wParam focus request, ignored SetFocus result, HWND-to-object recovery, null branches, unaligned attached far pointer +43, attached VMT +0c receiver call, and unconditional marker store are represented and tested.
1581008:2cd9FUN_1008_2cd9Code225verifiedobject_windows_zero_message_resultreconstructed/tdkpin_window_messages.cdisassembly 1008:2cd9-2cf1; dialog VMT relocation at 1028:01da slot +0x0c; reconstructed/tests/test_window_messages.cExact ignored receiver, event far pointer, two zero word stores at +0x0a/+0x0c, 32-bit LRESULT zero, and eight-byte cleanup are represented and tested.
1591008:2cf2FUN_1008_2cf2Code272verifiedobject_windows_dialog_validate_and_closereconstructed/tdkpin_dialog.cdisassembly 1008:2cf2-2d39; verified 1018:0f38; VMT slots +3c/+44/+50; reconstructed/tests/test_object_windows_handlers.cExact modal-byte gate, nonmodal close-if-allowed path, modal CanClose rejection, approved +44(object,1) then +50(object,1) ordering, ignored event, and eight-byte cleanup are represented and tested.
1601008:2d3aFUN_1008_2d3aCode244verifiedobject_windows_dialog_closereconstructed/tdkpin_dialog.cdisassembly 1008:2d3a-2d65; modal byte +0x25; verified close helper; VMT +0x50; reconstructed/tests/test_dialog.cExact ignored event far pointer, nonmodal close-if-allowed path, modal receiver/argument 2 virtual call, branch ordering, and eight-byte cleanup are represented and tested.
1611008:2d66FUN_1008_2d66Code233verifiedborland_dispatch_method_8002reconstructed/tdkpin_dispatch.cdisassembly 1008:2d66-2d86; VMT relocation at 1028:06ea; verified dynamic dispatcher; reconstructed/tests/test_dispatch.cExact receiver/argument far-pointer copies, receiver VMT load, dynamic id 0x8002, far target invocation, and eight-byte Pascal cleanup are represented and tested.
1621008:2d87FUN_1008_2d87Code218verifiedborland_abstract_method_errorreconstructed/tdkpin_borland_objects.cdisassembly 1008:2d87-2d98; NE entry 238; reconstructed/tests/test_borland_objects.cExact no-return Runtime Error 211 abstract-virtual trap is represented and tested.
1631008:2d99FUN_1008_2d99Code226verifiedborland_default_object_constructorreconstructed/tdkpin_borland_objects.cdisassembly 1008:2d99-2db2; NE entry 235; verified 1020:03ef; reconstructed/tests/test_borland_objects.cExact hidden object/VMT frame, DI=0 VMT-field offset, unchanged far-object return, and constructor allocation path are represented and tested.
1641008:2db3FUN_1008_2db3Code226verifiedborland_dispose_objectreconstructed/tdkpin_borland_objects.cdisassembly 1008:2db3-2dcc; NE entry 236; reconstructed/tests/test_borland_objects.cExact object VMT lookup, far virtual destructor slot +8, object argument, and hidden dispose mode 1 are represented and tested.
1651008:2dcdFUN_1008_2dcdCode219verifiedborland_default_object_destructorreconstructed/tdkpin_borland_objects.cdisassembly 1008:2dcd-2ddf; NE entry 237; verified 1020:0439; reconstructed/tests/test_borland_objects.cExact DI=0 destructor cleanup call and hidden object/VMT argument behavior are represented and tested.
1661008:2de0FUN_1008_2de0Code231verifiedborland_heap_reserve_is_unallocatedreconstructed/tdkpin_borland_runtime.cdisassembly 1008:2de0-2dfeExact far-pointer OR, AL boolean normalization, and ignored residual AH represented by a C bool result.
1671008:2dffFUN_1008_2dffCode235verifiedborland_ensure_heap_reservereconstructed/tdkpin_borland_runtime.cdisassembly 1008:2dff-2e21; null/existing reserve tests with mocked GetMemExact null guard, configured-size allocation, no-reallocation path, and far-pointer store verified; allocator internals remain a separate function row.
1681008:2e22FUN_1008_2e22Code284verifiedborland_release_heap_reserve_on_oomreconstructed/tdkpin_borland_runtime.cdisassembly 1008:2e22-2e75; complete branch/status/free testsExact zero/nonzero contract, disabled/null/reserve branches, FreeMem arguments, pointer clear, 0/1/2 statuses, and explicit indeterminate result verified.
1691008:2e76FUN_1008_2e76Code228verifiedborland_initialize_heap_reservereconstructed/tdkpin_borland_runtime.cdisassembly 1008:2e76-2e91; NE segment relocation binding testExact ensure call and segment-2 offset 2e22 handler publication verified.
1701008:2e92FUN_1008_2e92Code223verifiedborland_far_strlenreconstructed/tdkpin_strings.cdisassembly 1008:2e92-2ea8; selector-backed boundary testsExact CX=ffff REPNE scan, ordinary NUL, and no-NUL fffe result verified against the portable 16:16 memory model.
1711008:2ea9FUN_1008_2ea9Code223verifiedborland_far_strendreconstructed/tdkpin_strings.cdisassembly 1008:2ea9-2ebf; selector-backed boundary testsExact bounded scan, terminator pointer, and no-NUL offset fffe verified.
1721008:2ec0FUN_1008_2ec0Code237verifiedborland_far_memmovereconstructed/tdkpin_strings.cdisassembly 1008:2ec0-2ee4; overlap and cross-selector testsExact unsigned offset-only direction decision, backward overlap, cross-selector transfer, and destination return verified.
1731008:2ee5FUN_1008_2ee5Code234verifiedborland_far_strcpyreconstructed/tdkpin_strings.cdisassembly 1008:2ee5-2f06; selector-backed copy testsExact bounded NUL-inclusive copy and destination return verified.
1741008:2f07FUN_1008_2f07Code240verifiedborland_far_strncpyreconstructed/tdkpin_strings.cdisassembly 1008:2f07-2f2e; in-bound/out-of-bound NUL testsExact copied-count arithmetic and unconditional extra NUL, including the double-NUL case, verified.
1751008:2f2fFUN_1008_2f2fCode230verifiedborland_short_to_c_stringreconstructed/tdkpin_strings.cdisassembly 1008:2f2f-2f4c; short-string conversion testExact uint8 length, payload copy, appended NUL, and destination return verified.
1761008:2f4dFUN_1008_2f4dCode235verifiedborland_far_strcatreconstructed/tdkpin_strings.cdisassembly 1008:2f4d-2f6f; verified dependencies and concatenation testExact end lookup, append including NUL, and original destination return verified.
1771008:2f70FUN_1008_2f70Code275verifiedborland_far_strnicmpreconstructed/tdkpin_strings.cdisassembly 1008:2f70-2fba; bounded ASCII case-fold testsExact comparison bound, NUL participation, REPE continuation, ASCII-only fold, and signed difference verified.
1781008:2fbbFUN_1008_2fbbCode240verifiedborland_far_strchrreconstructed/tdkpin_strings.cdisassembly 1008:2fbb-2fe2; found/NUL testsExact NUL-inclusive forward search, pointer result, and null result verified.
1791008:2fe3FUN_1008_2fe3Code239verifiedborland_far_strrchrreconstructed/tdkpin_strings.cdisassembly 1008:2fe3-3009; last/NUL/missing testsExact NUL-inclusive reverse search, last-match pointer, and null result verified.
1801008:300aFUN_1008_300aCode234verifiedborland_c_to_short_stringreconstructed/tdkpin_strings.cdisassembly 1008:300a-302b; ordinary and 260-byte truncation testsExact full 16-bit copy count with low-byte Pascal length truncation and overflow behavior verified.
1811008:302cFUN_1008_302cCode2109verifiedborland_far_strdupreconstructed/tdkpin_strings.cdisassembly 1008:302c-3098; verified checked allocator and far copy; reconstructed/tests/test_strings.cExact null/empty rejection, uint16 length+1, allocation bytes, null allocation result, NUL-inclusive copy, far return, and Pascal cleanup are branch-tested.
1821008:3099FUN_1008_3099Code244verifiedborland_far_strdisposereconstructed/tdkpin_strings.cdisassembly 1008:3099-30c4; verified strlen and checked FreeMem; reconstructed/tests/test_strings.cExact null no-op, far strlen, uint16 length+1 including NUL, block/size release, and four-byte cleanup are represented and tested.
1831010:0002FUN_1010_0002Code3119verifiedmultimedia_unloadreconstructed/tdkpin_multimedia.cdisassembly 1010:0002-0078; eleven exact far slots; sole FreeLibrary16 call reviewedExact >=32 module guard, ignored FreeLibrary result, initialized-flag clear, eleven offset/selector clears, and retained module word represented in C.
1841010:0079FUN_1010_0079Code341verifiedmultimedia_finalize_current_taskreconstructed/tdkpin_multimedia.cdisassembly 1010:0079-00a1; guarded dynamic-call and cleanup testsExact initialized/proc guards, GetCurrentTask argument, dynamic far call target/result discard, conditional unload, and no-op paths verified.
1851010:00a2FUN_1010_00a2Code3288verifiedmultimedia_locate_libraryreconstructed/tdkpin_multimedia.cdisassembly 1010:00a2-01c1; verified 1008:2643/26b0/2819; KERNEL directory/module calls; reconstructed/tests/test_multimedia.c and test_multimedia_paths.cExact bare, Windows, System, caller-module-directory, and PATH search order; 256/80/9/5-byte stack objects; in-place module-directory split; no synthetic null-PATH bypass; and every first-hit/all-fail stop point are represented and tested.
1861010:01c2FUN_1010_01c2Code3493verifiedmultimedia_initializereconstructed/tdkpin_multimedia.cdisassembly 1010:01c2-03ae; eleven CTL3D names 1028:0470-0521; reviewed KERNEL loader imports; reconstructed/tests/test_multimedia.cExact already-initialized return, modern error-mode load, legacy locator/load, module >=32 gate, ordered procedure resolution with legacy slot 8 zero, task registration, GetVer >=9, Enabled gate, cleanup, argument stores, optional AutoSubclass, and all failure/success branches are represented and tested.
1871010:03afFUN_1010_03afCode349verifiedmultimedia_initialize_exportreconstructed/tdkpin_multimedia.cdisassembly 1010:03af-03df; verified 1010:01c2; exact ten-byte Pascal frame; reconstructed/tests/test_multimedia.cByte arguments in word slots, two uint16 arguments, verified loader call, AL result, unconditional pending-byte clear, and return are represented and tested.
1881010:03e0FUN_1010_03e0Code337verifiedmultimedia_application_destructreconstructed/tdkpin_multimedia.cdisassembly 1010:03e0-0404; verified 1010:0079, 1018:1b08, and 1020:0439 semantics; reconstructed/tests/test_multimedia.cExact multimedia-finalize first, application destructor hidden VMT zero, owned-allocation frame with caller VMT, object far pointer, and binary call order are represented and tested.
1891010:0405FUN_1010_0405Code3107verifiedmultimedia_short_file_existsreconstructed/tdkpin_multimedia_startup.cdisassembly 1010:0405-046f; verified Borland file/runtime dependencies; reconstructed/tests/test_multimedia_startup.cExact 255-byte ShortString copy, local FileRec assignment, one-byte generic open, destructive IOResult read, false-on-open-error, success close, close-error RuntimeError gate, and Boolean return are represented and tested.
1901010:0472FUN_1010_0472Code3378verifiedmultimedia_initialize_runtime_unitreconstructed/tdkpin_multimedia_startup.cdisassembly 1010:0472-05eb; code data 1010:0470-0471; reconstructed/tests/test_multimedia_startup.cExact 200-byte system-directory fetch, ShortString slash/name concatenation, two 256-byte full paths, V2/classic existence fallback policy, eleven far-slot clears, GetVersion low-word policy, Windows 3.0 legacy test, and all seven scalar reset stores are represented and branch-tested.
1911018:0002FUN_1018_0002Code467verifiedobject_windows_resolve_message_handlerreconstructed/tdkpin_object_windows.cdisassembly 1018:0002-0044; synthetic derived/parent/cache/miss tables in reconstructed/tests/test_message_dispatch.cExact VMT +4 table, most-derived cache, inherited linear search, four-byte handler stride, parent traversal, cache-on-parent-hit, and VMT fallback-slot behavior are represented and branch-tested.
1921018:0045FUN_1018_0045Code444verifiedobject_windows_bind_windowreconstructed/tdkpin_object_windows.cdisassembly 1018:0045-006e; DGROUP strings OW1 at 067a and OW2 at 067e; SetProp16 calls reviewedExact selector/offset split, property order, ignored BOOL16 results, and six-byte far-Pascal cleanup represented in C.
1931018:0071FUN_1018_0071Code438verifiedobject_windows_unbind_windowreconstructed/tdkpin_object_windows.cdisassembly 1018:0071-0096; verified OW1/OW2 data objectsExact RemoveProp16 order, HWND/name arguments, ignored results, and far-Pascal cleanup represented in C.
1941018:0097FUN_1018_0097Code4108verifiedobject_windows_object_from_windowreconstructed/tdkpin_object_windows.cdisassembly 1018:0097-0102; selector-backed generated-thunk, OW1/OW2 fallback, and invalid-HWND testsExact IsWindow guard, GWL_WNDPROC lookup, E8/self-relative/2e5b validation, embedded object pointer, property fallback order, selector/offset reconstruction, and null result verified.
1951018:0103FUN_1018_0103Code444verifiedobject_windows_call_message_hookreconstructed/tdkpin_object_windows.cdisassembly 1018:0103-012e; exact seven-argument hook frame; reconstructed/tests/test_message_dispatch.cExact bound object, selected far handler, HWND/message/WPARAM/LPARAM word ordering, global hook target, ignored hook return, and nonmutation of the original record are represented and tested.
1961018:0133FUN_1018_0133Code488verifiedobject_dispatch_window_or_dialog_procreconstructed/tdkpin_object_windows.cdisassembly 1018:0133-018a; NE entry 210; generated thunk call frame; reconstructed/tests/test_message_dispatch.cExact ES:BX object binding, HWND store, 14-byte stack message record, signed-message fallback, dynamic resolution, selector-word hook gate, indirect handler call, mutable initial result 1, and returned LRESULT16 are represented and branch-tested.
1971018:018bFUN_1018_018bCode481verifiedobject_window_bootstrap_procreconstructed/tdkpin_object_windows.cdisassembly 1018:018b-01d9; WNDCLASS relocation 1018:12e1/12e4 -> NE entry 211; reconstructed/tests/test_object_windows.cExact creating-object read, object +0x12 far thunk, GWL_WNDPROC replacement, OW1/OW2 binding, unchanged HWND/message/WPARAM/LPARAM dispatch frame, and returned LRESULT are represented and transition-tested.
1981018:01dcFUN_1018_01dcCode4286verifiedobject_windows_allocate_bound_thunkreconstructed/tdkpin_object_windows.cdisassembly 1018:01dc-02f9; verified 1020:16a5; reviewed KERNEL selector APIs; reconstructed/tests/test_bound_thunks.cExact 256-byte pool, header/template/dispatch target, 35 seven-byte CALL thunks, displacement arithmetic, LIFO list, selector conversion/aliasing, object patch, and returned code pointer are represented and branch-tested.
1991018:02faFUN_1018_02faCode471verifiedobject_windows_release_bound_thunkreconstructed/tdkpin_object_windows.cdisassembly 1018:02fa-0340; reviewed AllocCStoDSAlias/FreeSelector calls; reconstructed/tests/test_bound_thunks.cExact code-selector alias, embedded next-pointer write, alias release, and global LIFO-head publication are represented and tested through release/reallocation.
2001018:0341FUN_1018_0341Code4168verifiedobject_windows_object_constructreconstructed/tdkpin_object_lifecycle.cdisassembly 1018:0341-03e8; verified Borland/root/parent/thunk/flag helpers; reconstructed/tests/test_object_lifecycle.cExact hidden VMT frame, suppressed-construction return, root initialization, HWND/status/field +0x17 zeros, parent +6/+8 and circular append, no-parent next zero, child/transfer far zeros, bound thunk +0x12, flag byte reset/set-4, return, and call order are branch-tested.
2011018:03e9FUN_1018_03e9Code422verifiedobject_windows_dispose_child_callbackreconstructed/tdkpin_object_list.cdisassembly 1018:03e9-03fe; callback relocation at 1018:0410/0413; verified virtual dispose helper; reconstructed/tests/test_object_list.cExact ignored static-link word, child far argument, virtual dispose mode 1 forwarding, six-byte Pascal cleanup, and callback role in 1018:03ff child iteration are represented and tested.
2021018:03ffFUN_1018_03ffCode4103verifiedobject_windows_object_destructreconstructed/tdkpin_object_lifecycle.cdisassembly 1018:03ff-0465; verified VMT/list/parent/thunk/root/Borland helpers; reconstructed/tests/test_object_lifecycle.cExact VMT +0x24 teardown, child-dispose callback, optional parent unlink, bound thunk +0x12 release, root destructor hidden VMT zero, owned-allocation frame, and binary call order are represented and parent/no-parent tested.
2031018:0466FUN_1018_0466Code456verifiedobject_windows_child_group_matchesreconstructed/tdkpin_object_list.cdisassembly 1018:0466-049d; signed static-link group and unaligned child field +0x17; reconstructed/tests/test_child_validation.cExact negative-group rejection, uint16 equality, AL boolean result with inherited AH irrelevance, six-byte cleanup, and nested predicate role are represented and tested.
2041018:049eFUN_1018_049eCode4134verifiedobject_windows_try_child_activationreconstructed/tdkpin_object_list.cdisassembly 1018:049e-0523; flag 4/VMT +0x20; USER IsIconic/GetWindowText/SetWindowText; reconstructed/tests/test_child_validation.cExact flag/method inversion, 82-byte local buffer, maximum 81, minimized-window get/set-text side effect, AL result inversion, and six-byte callback cleanup are branch-tested.
2051018:0524FUN_1018_0524Code456verifiedobject_windows_unindexed_child_matchesreconstructed/tdkpin_object_list.cdisassembly 1018:0524-055b; child group +0x17 and verified 1018:049e; reconstructed/tests/test_child_validation.cExact group-zero gate, nested static-link forwarding, activation predicate, AL result, and six-byte cleanup are represented and tested.
2061018:055cFUN_1018_055cCode4128verifiedobject_windows_validate_child_groupsreconstructed/tdkpin_object_list.cdisassembly 1018:055c-05db; callbacks 1018:0466/0524 and helper 049e; verified circular list; reconstructed/tests/test_child_validation.cExact signed group counter from 1, first-match scan, activation stop condition, missing-group transition, group-zero callback search, final far-null inversion, and empty/multi-group cases are represented and branch-tested.
2071018:05dcFUN_1018_05dcCode423verifiedobject_windows_zero_word_defaultreconstructed/tdkpin_window_messages.cdisassembly 1018:05dc-05f2; reconstructed/tests/test_window_messages.cExact ignored receiver, local uint16 zero, AX return, and four-byte Pascal cleanup are represented and tested without assigning an unproved original virtual-method name.
2081018:05f3FUN_1018_05f3Code426verifiedobject_windows_set_flag_1reconstructed/tdkpin_window_messages.cdisassembly 1018:05f3-060c; verified 1018:0641; reconstructed/tests/test_window_messages.cExact receiver, set=true, mask=1 arguments and four-byte cleanup are represented and tested.
2091018:060dFUN_1018_060dCode426verifiedobject_windows_set_flag_4reconstructed/tdkpin_window_messages.cdisassembly 1018:060d-0626; verified 1018:0641; reconstructed/tests/test_window_messages.cExact receiver, set=true, mask=4 arguments and four-byte cleanup are represented and tested.
2101018:0627FUN_1018_0627Code426verifiedobject_windows_clear_flag_4reconstructed/tdkpin_window_messages.cdisassembly 1018:0627-0640; verified 1018:0641; reconstructed/tests/test_window_messages.cExact receiver, set=false, mask=4 arguments and four-byte cleanup are represented and tested.
2111018:0641FUN_1018_0641Code450verifiedobject_windows_update_flagsreconstructed/tdkpin_window_messages.cdisassembly 1018:0641-0672; object byte +0x16; reconstructed/tests/test_window_messages.cExact uint8 OR set path, complement-and-AND clear path, preservation of unrelated bits, boolean selector, mask width, and eight-byte cleanup are represented and branch-tested.
2121018:0673FUN_1018_0673Code439verifiedobject_windows_has_flagsreconstructed/tdkpin_window_messages.cdisassembly 1018:0673-0699; object flag byte +0x16; reconstructed/tests/test_window_messages.cExact uint8 mask, AND/compare all-bits-set rule, AL false/true result, inherited AH irrelevance at all callers, and six-byte Pascal cleanup are represented and tested.
2131018:069aFUN_1018_069aCode4130verifiedobject_windows_append_childreconstructed/tdkpin_object_list.cdisassembly 1018:069a-071b; container +0x0a/+0x0c and child +0x19/+0x1b far fields; reconstructed/tests/test_object_list.cExact null no-op, empty self-ring, tail->next insertion, new-tail publication, unaligned far fields, and eight-byte Pascal cleanup are represented and tested across three children.
2141018:071cFUN_1018_071cCode4241verifiedobject_windows_remove_childreconstructed/tdkpin_object_list.cdisassembly 1018:071c-080c; circular predecessor search; reconstructed/tests/test_object_list.cExact empty/missing/singleton/middle/tail cases, far equality, predecessor relink, tail replacement/zeroing, unaligned next fields, and eight-byte cleanup are represented and branch-tested.
2151018:080dFUN_1018_080dCode477verifiedobject_windows_find_childreconstructed/tdkpin_object_list.cdisassembly 1018:080d-0859; Borland nested callback frame abstracted by explicit bridge; reconstructed/tests/test_object_list.cExact head-to-tail order from tail->next, first-match far return, full-cycle miss, empty result, callback AL gate, and eight-byte cleanup are represented and tested.
2161018:085aFUN_1018_085aCode482verifiedobject_windows_for_each_childreconstructed/tdkpin_object_list.cdisassembly 1018:085a-08ab; reconstructed/tests/test_object_list.cExact head-to-tail visitation, next-pointer capture before callback, tail callback last, empty no-op, far procedure bridge, and eight-byte cleanup are represented and tested.
2171018:08acFUN_1018_08acCode423verifiedobject_windows_minus_one_defaultreconstructed/tdkpin_object_list.cdisassembly 1018:08ac-08c2; reconstructed/tests/test_object_list.cExact ignored receiver, local uint16 0xffff, AX return, and four-byte Pascal cleanup are represented and tested without inventing an original virtual-method name.
2181018:08c3FUN_1018_08c3Code445verifiedobject_windows_dispatch_eventreconstructed/tdkpin_object_windows.cdisassembly 1018:08c3-08ef; eight internal call sites; verified resolver/hook; reconstructed/tests/test_message_dispatch.cExact DX fallback slot, AX method id, original far event/object arguments, VMT resolution, selector-word hook gate, event-field hook copy, and indirect far handler frame are represented and tested.
2191018:08f0FUN_1018_08f0Code4405verifiedobject_windows_wm_commandreconstructed/tdkpin_window_messages.cdisassembly 1018:08f0-0a84; message table id 0x0111; reviewed GetDlgItem/SendMessage/GetFocus/GetParent calls; reconstructed/tests/test_window_command.cExact dialog-control synthesis via WM_GETDLGCODE mask 0x30, focus/parent object discovery, menu id minus 0x6000, control id minus 0x8000, notification minus 0x7000, child-object/high-word gates, VMT +0x0c/+0x14 defaults, and all dispatch targets are represented and branch-tested.
2201018:0a85FUN_1018_0a85Code4160verifiedobject_windows_route_scroll_notificationreconstructed/tdkpin_window_messages.cdisassembly 1018:0a85-0b24; four VMT relocations at +0x48; verified object lookup/dispatcher; USER GetWindowWord GWW_ID; reconstructed/tests/test_window_command.cExact zero-control default, child-object notification minus 0x7000/fallback +0x18, native GWW_ID minus 0x8000/fallback +0x14, id 0x1000 direct VMT +0x14, original event frame, and all branches are represented and tested.
2211018:0b25FUN_1018_0b25Code471verifiedobject_windows_wm_vscrollreconstructed/tdkpin_window_messages.cdisassembly 1018:0b25-0b6b; message table id 0x0115; USER GetWindowLong GWL_STYLE; reconstructed/tests/test_window_messages.cExact HWND +4, int32 style high word, WS_VSCROLL high mask 0x20, VMT +0x48 versus default +0x0c selection, unchanged event frame, and eight-byte cleanup are represented and branch-tested.
2221018:0b6cFUN_1018_0b6cCode471verifiedobject_windows_wm_hscrollreconstructed/tdkpin_window_messages.cdisassembly 1018:0b6c-0bb2; message table id 0x0114; USER GetWindowLong GWL_STYLE; reconstructed/tests/test_window_messages.cExact HWND +4, int32 style high word, WS_HSCROLL high mask 0x10, VMT +0x48 versus default +0x0c selection, unchanged event frame, and eight-byte cleanup are represented and branch-tested.
2231018:0bb3FUN_1018_0bb3Code4138verifiedobject_windows_route_command_targetreconstructed/tdkpin_window_messages.cdisassembly 1018:0bb3-0c3c; object HWND +4 and parent +6/+8; verified HWND lookup/dispatcher; reconstructed/tests/test_window_command.cExact self-HWND suppression, explicit-parent precedence, HWND property fallback, null default VMT +0x0c, WPARAM minus 0x6000/fallback +0x10 dispatch, and all far comparisons are represented and branch-tested.
2241018:0c3dFUN_1018_0c3dCode428verifiedobject_windows_forward_defaultreconstructed/tdkpin_window_messages.cdisassembly 1018:0c3d-0c58; four VMT relocations at slot +0x14; reconstructed/tests/test_window_messages.cExact object/event far arguments, VMT +0x0c indirect call, unchanged frame, and eight-byte Pascal cleanup are represented and tested without assigning an unproved original method name.
2251018:0c59FUN_1018_0c59Code4110verifiedobject_windows_forward_event_to_parentreconstructed/tdkpin_window_messages.cdisassembly 1018:0c59-0cc6; parent +6/+8; WM_COMMAND 0x0111; USER GetWindowWord GWW_ID; reconstructed/tests/test_window_command.cExact null-parent no-op, WM_COMMAND WPARAM versus noncommand GWW_ID selection, uint16 id minus 0x8000, fallback +0x14, parent/object/event far frame, and eight-byte cleanup are represented and branch-tested.
2261018:0cc7FUN_1018_0cc7Code432verifiedobject_windows_set_flag_4_if_windowedreconstructed/tdkpin_window_messages.cdisassembly 1018:0cc7-0ce6; relocation to verified 1018:060d; reconstructed/tests/test_window_messages.cExact ignored leading word, far object, field +4 zero gate, fixed flag-4 setter call, and six-byte Pascal cleanup are represented and branch-tested.
2271018:0ce7FUN_1018_0ce7Code4131verifiedobject_windows_destroy_native_windowreconstructed/tdkpin_window_messages.cdisassembly 1018:0ce7-0d69; verified child iteration/flag helpers; parent VMT +0x30; USER SendMessage/DestroyWindow; reconstructed/tests/test_window_destroy.cExact HWND zero gate, child callback 1018:0cc7, flag-8 MDI branch, deliberate double client getter, client HWND WM_MDIDESTROY frame, normal DestroyWindow fallback, and all call ordering are represented and branch-tested.
2281018:0d6aFUN_1018_0d6aCode432verifiedobject_windows_turbo_window_class_namereconstructed/tdkpin_window_messages.cdisassembly 1018:0d6a-0d89; four VMT relocations at slot +0x2c; DGROUP string 068c; reconstructed/tests/test_window_messages.cExact ignored receiver, DGROUP offset 068c, runtime DS selector in DX, far-pointer return, and four-byte Pascal cleanup are represented and tested.
2291018:0d8aFUN_1018_0d8aCode417verifiedobject_windows_abstract_methodreconstructed/tdkpin_borland_objects.cdisassembly 1018:0d8a-0d9a; relocation to NE entry 238 at 1008:2d87; reconstructed/tests/test_borland_objects.cExact ObjectWindows abstract-slot forwarding to the verified Borland Runtime Error 211 trap is represented and tested.
2301018:0d9bFUN_1018_0d9bCode450verifiedobject_windows_prepare_windowreconstructed/tdkpin_object_list.cdisassembly 1018:0d9b-0dcc; verified 1018:055c; object status +2 and VMT +0x44; reconstructed/tests/test_child_validation.cExact validation AL gate, failure status -4, success receiver/argument 2 virtual call, four-byte cleanup, and both branches are represented and tested.
2311018:0dcdFUN_1018_0dcdCode461verifiedobject_windows_transfer_child_callbackreconstructed/tdkpin_object_list.cdisassembly 1018:0dcd-0e09; flag 0x10, VMT +0x40, outer static-link cursor/direction; reconstructed/tests/test_child_validation.cExact participant gate, child/direction/far-cursor frame, uint16 AX consumption, offset-only wrapped cursor advance, selector preservation, ignored static mechanics, and six-byte callback cleanup are represented and tested.
2321018:0e0aFUN_1018_0e0aCode460verifiedobject_windows_transfer_child_datareconstructed/tdkpin_object_list.cdisassembly 1018:0e0a-0e45; object transfer pointer +0x0e/+0x10; callback relocation to 1018:0dcd; verified circular list; reconstructed/tests/test_child_validation.cExact null transfer-pointer gate, local far cursor, direction word, head-to-tail callback traversal with next capture, nonparticipant skip, cumulative offsets, and six-byte Pascal cleanup are represented and branch-tested.
2331018:0e46FUN_1018_0e46Code488verifiedobject_windows_register_classreconstructed/tdkpin_window_messages.cdisassembly 1018:0e46-0e9d; VMT +0x2c/+0x34; exact WNDCLASS16; USER GetClassInfo/RegisterClass; reconstructed/tests/test_class_registration.cExact current HINSTANCE, far class name, existing-class early success, 26-byte builder frame, RegisterClass zero/nonzero normalization, and four-byte cleanup are represented and branch-tested.
2341018:0e9eFUN_1018_0e9eCode434verifiedobject_windows_showreconstructed/tdkpin_application.cdisassembly 1018:0e9e-0ebf; USER ShowWindow ordinal 42; three internal call sites; reconstructed/tests/test_application.cExact object HWND +4 zero gate, HWND/INT16 command arguments, ignored BOOL16 return, and six-byte Pascal cleanup are represented and branch-tested.
2351018:0ec0FUN_1018_0ec0Code452verifiedobject_windows_child_blocks_closereconstructed/tdkpin_object_list.cdisassembly 1018:0ec0-0ef3; child HWND +4 and VMT +0x3c; reconstructed/tests/test_object_list.cExact ignored leading word, window-handle gate, virtual CanClose inversion, AL predicate result, and six-byte Pascal cleanup are represented and zero/allow/block tested.
2361018:0ef4FUN_1018_0ef4Code446verifiedobject_windows_all_children_can_closereconstructed/tdkpin_object_list.cdisassembly 1018:0ef4-0f21; relocation to predicate NE entry 151 at 1018:0ec0; verified ring search; reconstructed/tests/test_object_list.cExact nested predicate pointer, first-blocker far result, selector-or-offset null test, AL true only on no blocker, and four-byte cleanup are represented and branch-tested.
2371018:0f22FUN_1018_0f22Code422verifiedobject_windows_wm_closereconstructed/tdkpin_window_messages.cdisassembly 1018:0f22-0f37; message table 1028:05cc id 0x0010; verified 1018:0f38; reconstructed/tests/test_window_messages.cExact object argument forwarding, ignored message record, close-if-allowed call, and eight-byte Pascal cleanup are represented and branch-tested through main/nonmain windows.
2381018:0f38FUN_1018_0f38Code485verifiedobject_windows_close_if_allowedreconstructed/tdkpin_window_messages.cdisassembly 1018:0f38-0f8c; application MainWindow +8; VMT +0x44/+0x3c; reconstructed/tests/test_window_messages.cExact main-window far comparison, application-versus-window CanClose receiver/slot, AL gate, virtual dispose mode 1, and rejected-close path are represented and branch-tested.
2391018:0f8dFUN_1018_0f8dCode463verifiedobject_windows_wm_destroyreconstructed/tdkpin_window_messages.cdisassembly 1018:0f8d-0fcb; message table id 0x0002; USER PostQuitMessage ordinal 6; reconstructed/tests/test_window_messages.cExact main-window comparison, HWND +4 PostQuitMessage argument, nonmain skip, default VMT +0x0c event call, and eight-byte Pascal cleanup are represented and tested.
2401018:0fccFUN_1018_0fccCode449verifiedobject_windows_wm_nc_destroyreconstructed/tdkpin_window_messages.cdisassembly 1018:0fcc-0ffc; message table id 0x0082; verified OW1/OW2 unbind helper; reconstructed/tests/test_window_messages.cExact HWND property-unbind-before-default order, VMT +0x0c event frame, post-handler HWND zeroing, and eight-byte cleanup are represented and tested.
2411018:0ffdFUN_1018_0ffdCode487verifiedobject_windows_wm_activatereconstructed/tdkpin_window_messages.cdisassembly 1018:0ffd-1053; message table id 0x0006; verified flag/set-active-dialog helpers; reconstructed/tests/test_window_messages.cExact default-handler-first order, event WPARAM +4 zero gate, flag bit 1 test, window/null active-dialog publication, and eight-byte cleanup are represented and branch-tested.
2421018:1054FUN_1018_1054Code486verifiedobject_windows_wm_query_end_sessionreconstructed/tdkpin_window_messages.cdisassembly 1018:1054-10a9; message table id 0x0011; MainWindow/VMT +0x44 and window VMT +0x3c; reconstructed/tests/test_window_messages.cExact main/nonmain CanClose selection, CBW/CWD-compatible boolean result at message record +0x0a/+0x0c, and eight-byte cleanup are represented and true/false tested.
2431018:10aaFUN_1018_10aaCode463verifiedobject_windows_message_0014reconstructed/tdkpin_window_messages.cdisassembly 1018:10aa-10e8; message table id 0x0014; verified 1018:0f38; reconstructed/tests/test_window_messages.cExact numeric message id retained without speculative OWL naming; main windows use close-if-allowed, nonmain windows receive VMT +0x10 with the unchanged event far frame; both branches tested.
2441018:10e9FUN_1018_10e9Code429verifiedobject_windows_window_get_mdi_client_defaultreconstructed/tdkpin_application.cdisassembly 1018:10e9-1105; four VMT relocations at slot +0x30; verified MDI accelerator consumer 1018:1d64; reconstructed/tests/test_application_loop.cExact receiver far argument, local null far pointer, DX:AX zero return, and four-byte Pascal cleanup are represented and tested; non-MDI window classes inherit this default.
2451018:1106FUN_1018_1106Code4277verifiedobject_windows_window_constructreconstructed/tdkpin_window_placement.cdisassembly 1018:1106-121a; verified Borland/ObjectWindows/string dependencies; USER ordinal relocations 107/447; reconstructed/tests/test_window_creation.cExact hidden-VMT gate, base object/parent, owned title duplicate, DefWindowProc default, root/ordinary-child/MDI-child styles, parent VMT +30 MDI detection, flag 08 set, DefMDIChildProc substitution, all extended-style/placement/menu/parameter/attachment/focus initializers, suppressed construction, and 14-byte cleanup are represented and tested.
2461018:121bFUN_1018_121bCode489verifiedobject_windows_window_destructreconstructed/tdkpin_window_lifecycle.cdisassembly 1018:121b-1273; verified far-string/base-object/Borland destructor dependencies; attached VMT+8 Dispose semantics; reconstructed/tests/test_window_lifecycle.cExact unconditionally tolerant title disposal, optional attached-object Dispose(mode 1), +3b far-pointer clear, base destruction with hidden VMT zero, derived ownership finish, six-byte cleanup, and ordering are represented and tested.
2471018:1274FUN_1018_1274Code4129verifiedobject_windows_build_window_classreconstructed/tdkpin_window_messages.cdisassembly 1018:1274-12f4; exact WNDCLASS16; bootstrap relocation 1018:018b; VMT +0x2c; reconstructed/tests/test_class_registration.cExact style 3, bootstrap far proc, zero extras, current instance, application icon/arrow cursor, background brush 6, null menu, virtual class-name far pointer, field offsets, and eight-byte cleanup are tested.
2481018:12f5FUN_1018_12f5Code428verifiedobject_windows_get_field_35reconstructed/tdkpin_window_messages.cdisassembly 1018:12f5-1310; three VMT relocations at slot +0x28; reconstructed/tests/test_window_messages.cExact receiver far pointer, unaligned uint16 read at +0x35, AX return, and four-byte Pascal cleanup are represented and tested without assigning an unproved source field name.
2491018:1311FUN_1018_1311Code462verifiedobject_windows_call_original_window_procreconstructed/tdkpin_window_messages.cdisassembly 1018:1311-134e; USER CallWindowProc ordinal 122; object fields +4/+0x37; reconstructed/tests/test_window_messages.cExact unaligned far procedure, HWND, message, WPARAM, LPARAM low/high ordering, 14-byte Pascal import frame, DX:AX result store at record +0x0a/+0x0c, and eight-byte cleanup are represented and tested.
2501018:134fFUN_1018_134fCode4504verifiedobject_windows_create_native_windowreconstructed/tdkpin_window_placement.cdisassembly 1018:134f-1546; relocations 113-121; reconstructed/tests/test_window_creation.cExact status gate, flag clear, parent HWND, flag-02 GetDlgItem path, VMT +1c registration, creating-object publication, VMT +2c class, flag-08 CreateWindowEx versus WM_MDICREATE paths, packed 26-byte MDICREATESTRUCT16, all creation arguments, zero-handle status ffff, existing-object bypass, bind/SetWindowLong GWL_WNDPROC/original-proc store, VMT +38 callback, indeterminate AH preservation, Boolean AL, and four-byte cleanup are represented and branch-tested.
2511018:1547FUN_1018_1547Code463verifiedobject_windows_restore_child_focusreconstructed/tdkpin_window_messages.cdisassembly 1018:1547-1585; saved HWND +0x3f; USER IsWindow/IsIconic/SetFocus; reconstructed/tests/test_window_messages.cExact zero-saved skip, validity gate, owner HWND +4 iconic gate, SetFocus argument, ignored return, and all three suppression/success paths are tested.
2521018:1586FUN_1018_1586Code458verifiedobject_windows_remember_child_focusreconstructed/tdkpin_window_messages.cdisassembly 1018:1586-15bf; USER GetFocus/IsChild; object HWND +4 and unaligned saved focus +0x3f; reconstructed/tests/test_window_messages.cExact zero-focus skip, IsChild(parent HWND, focus) ordering, BOOL gate, unaligned HWND store, and four-byte cleanup are represented and branch-tested.
2531018:15c0FUN_1018_15c0Code4221verifiedobject_windows_capture_normal_placementreconstructed/tdkpin_window_placement.cdisassembly 1018:15c0-169c; exact RECT16 and object offsets; verified flag/far-virtual-call dependencies; USER IsIconic/IsZoomed/GetWindowRect/ScreenToClient; reconstructed/tests/test_window_placement.cExact minimized/maximized early exits, width/height capture, parent VMT+30 client lookup, flag-08 client conversion, attribute-40000000 parent conversion, screen-coordinate fallback, ignored BOOL results, unaligned saved fields 29/2b/2d/2f, and four-byte cleanup are branch-tested.
2541018:169dFUN_1018_169dCode478verifiedobject_windows_wm_activate_with_focusreconstructed/tdkpin_window_messages.cdisassembly 1018:169d-16ea; verified WM_ACTIVATE/flag/focus helpers; VMT relocation 1028:0626; reconstructed/tests/test_window_messages.cExact base-activate-first order, flag-1 gate, WPARAM zero save versus nonzero restore selection, unchanged event frame, and both branches are tested.
2551018:16ebFUN_1018_16ebCode433verifiedborland_dispatch_method_0006reconstructed/tdkpin_dispatch.cdisassembly 1018:16eb-170b; VMT relocation at 1028:062a; verified dynamic dispatcher; reconstructed/tests/test_dispatch.cExact receiver/argument far-pointer copies, receiver VMT load, dynamic id 0x0006, far target invocation, and eight-byte Pascal cleanup are represented and tested.
2561018:170cFUN_1018_170cCode485verifiedobject_windows_setup_windowreconstructed/tdkpin_window_placement.cdisassembly 1018:170c-1760; verified 1018:0d9b/0673/15c0 dependencies; USER SetFocus; reconstructed/tests/test_window_placement.cExact prepare, flag-08 focus, optional far object at +3b VMT+10 setup, placement-capture ordering, native HWND use, null-attached branch, and four-byte cleanup are represented and tested.
2571018:1761FUN_1018_1761Code439verifiedobject_windows_call_slot_38_then_defaultreconstructed/tdkpin_window_messages.cdisassembly 1018:1761-1787; VMT relocation at 1028:062e; reconstructed/tests/test_window_messages.cExact receiver-only VMT +0x38 call followed by object/event VMT +0x0c call, ordering, far frames, and eight-byte cleanup are represented and tested.
2581018:1788FUN_1018_1788Code4112verifiedobject_windows_wm_hscroll_attachedreconstructed/tdkpin_window_messages.cdisassembly 1018:1788-17f7; USER GetWindowLong ordinal 135; VMT +48/+20/+0c; reconstructed/tests/test_window_advanced_handlers.cExact HWND/GWL_STYLE -16 call, high-word WS_HSCROLL bit 10 test, style-absent window +48 forwarding, unaligned attached +3b null/default path, attached +20 position/command order, ignored API result, and eight-byte cleanup are represented and tested.
2591018:17f8FUN_1018_17f8Code4112verifiedobject_windows_wm_vscroll_attachedreconstructed/tdkpin_window_messages.cdisassembly 1018:17f8-1867; USER GetWindowLong ordinal 135; VMT +48/+1c/+0c; reconstructed/tests/test_window_advanced_handlers.cExact HWND/GWL_STYLE -16 call, high-word WS_VSCROLL bit 20 test, style-absent window +48 forwarding, unaligned attached +3b null/default path, attached +1c position/command order, ignored API result, and eight-byte cleanup are represented and tested.
2601018:1868FUN_1018_1868Code4129verifiedobject_windows_wm_paint_attachedreconstructed/tdkpin_window_messages.cdisassembly 1018:1868-18e8; USER BeginPaint/EndPaint; VMT +14/+4c/+18; reconstructed/tests/test_window_advanced_handlers.cExact 32-byte stack PAINTSTRUCT16, HWND Begin/End lifetime, optional attached before-paint +14(paint,dc), window paint +4c(paint,dc), optional attached after-paint +18, shared DC, ordering, ignored results, and eight-byte cleanup are represented and tested.
2611018:18e9FUN_1018_18e9Code4119verifiedobject_windows_wm_size_attachedreconstructed/tdkpin_window_messages.cdisassembly 1018:18e9-195f; USER GetWindowRect ordinal 32; VMT +0c; reconstructed/tests/test_window_advanced_handlers.cExact attached notification except SIZE_MINIMIZED=1, restored/default forwarding, SIZE_RESTORED=0 rectangle query, signed right-left/bottom-top 16-bit differences, unaligned width/height stores +2d/+2f, call ordering, and eight-byte cleanup are represented and tested.
2621018:1960FUN_1018_1960Code438verifiedobject_windows_remember_focus_then_defaultreconstructed/tdkpin_window_messages.cdisassembly 1018:1960-1985; verified 1018:1586; VMT relocation at 1028:0642; reconstructed/tests/test_window_messages.cExact child-focus capture before unchanged default event dispatch, receiver/event frames, call ordering, and eight-byte cleanup are represented and tested.
2631018:1986FUN_1018_1986Code4136verifiedobject_windows_track_mouse_until_button_upreconstructed/tdkpin_window_messages.cdisassembly 1018:1986-1a0d; USER SetCapture/PeekMessage/Translate/Dispatch/ReleaseCapture; attached VMT +24; reconstructed/tests/test_window_advanced_handlers.cExact attached/null and byte +22 gates, HWND capture, remove-mode nonblocking pump, retained/explicitly indeterminate MSG when empty, per-iteration attached +24(HWND), inclusive WM_LBUTTONUP iteration, release ordering, final default handler, and eight-byte cleanup are represented and tested.
2641018:1a0eFUN_1018_1a0eCode483verifiedobject_windows_wm_syscommand_focusreconstructed/tdkpin_window_messages.cdisassembly 1018:1a0e-1a60; flag 1; SC_MINIMIZE f020/SC_RESTORE f120; VMT relocation 1028:064a; reconstructed/tests/test_window_messages.cExact flag gate, minimize save, restore focus, other-command no-op, mandatory default-handler-after-focus order, event frame, and all command branches are tested.
2651018:1a61FUN_1018_1a61Code4167verifiedobject_windows_application_constructreconstructed/tdkpin_application.cdisassembly 1018:1a61-1b07; verified Borland object/reserve helpers; KERNEL MakeProcInstance ordinal 51; reconstructed/tests/test_application.cExact object fields, global publication, relocated 1018:0133 procedure instance, heap reserve setup, previous-instance gate, status-word gate, VMT +0x10/+0x14 calls, and far return are represented and branch-tested.
2661018:1b08FUN_1018_1b08Code445verifiedobject_windows_application_destructreconstructed/tdkpin_application.cdisassembly 1018:1b08-1b34; KERNEL FreeProcInstance ordinal 52; verified root/destructor helpers; reconstructed/tests/test_application.cExact shared proc-instance release, root destructor call with hidden VMT zero, owned-allocation cleanup, and object-size recovery are represented and tested.
2671018:1b35FUN_1018_1b35Code422verifiedobject_windows_application_idle_defaultreconstructed/tdkpin_application.cdisassembly 1018:1b35-1b4a; TApplication VMT +0x0c at 1028:0030; message-loop call at 1018:1c21; reconstructed/tests/test_application.cExact receiver far argument, local uint8 false value, AL return, and four-byte Pascal cleanup are represented and tested; this default causes WaitMessage when the queue is empty.
2681018:1b4bFUN_1018_1b4bCode412verifiedobject_windows_application_init_application_defaultreconstructed/tdkpin_application.cdisassembly 1018:1b4b-1b56; TApplication VMT +0x10 at 1028:0034; verified constructor first-instance gateExact no-op virtual InitApplication method with receiver far argument and four-byte Pascal cleanup is represented; application-specific subclasses may override the slot.
2691018:1b57FUN_1018_1b57Code489verifiedobject_windows_application_initializereconstructed/tdkpin_application.cdisassembly 1018:1b57-1baf; TApplication VMT +0x18/+0x34; verified 1018:0e9e; reconstructed/tests/test_application.cExact setup/creator virtual order, far MainWindow +8 publication, null result status -5, startup show command, HWND gate, and nonnull ShowWindow path are represented and branch-tested.
2701018:1bb0FUN_1018_1bb0Code447verifiedobject_windows_application_runreconstructed/tdkpin_application.cdisassembly 1018:1bb0-1bde; TApplication VMT +0x20/+0x40; reconstructed/tests/test_application_loop.cExact status +2 branch, zero-status receiver-only Run call, nonzero-status receiver-plus-uint16 Error call, virtual far slots, and four-byte Pascal cleanup are represented and branch-tested.
2711018:1bdfFUN_1018_1bdfCode429verifiedobject_windows_application_set_active_dialogreconstructed/tdkpin_application.cdisassembly 1018:1bdf-1bfb; call sites 1018:1037/1048; message-loop consumer 1018:1cd6; reconstructed/tests/test_application.cExact application/dialog far arguments, offset +0x0e/+0x10 stores, and eight-byte Pascal cleanup are represented and tested; the pointer feeds modal-dialog preservation and IsDialogMessage routing.
2721018:1bfcFUN_1018_1bfcCode4131verifiedobject_windows_application_message_loopreconstructed/tdkpin_application.cdisassembly 1018:1bfc-1c7e; exact 18-byte MSG16; reviewed USER calls; reconstructed/tests/test_application_loop.cExact PM_REMOVE loop, empty-queue IdleAction/WaitMessage repetition, WM_QUIT-only termination, VMT +0x24 prefilter, conditional Translate/Dispatch, and quit-WPARAM status store are represented and path-tested.
2731018:1c7fFUN_1018_1c7fCode487verifiedobject_windows_application_preprocess_messagereconstructed/tdkpin_application.cdisassembly 1018:1c7f-1cd5; TApplication VMT slots +0x28/+0x30/+0x2c; reconstructed/tests/test_application_loop.cExact dialog-then-MDI-then-ordinary-accelerator order, first-true short circuit, receiver/MSG arguments, AL boolean interpretation, and all-false result are represented and branch-tested.
2741018:1cd6FUN_1018_1cd6Code476verifiedobject_windows_application_process_dialog_messagereconstructed/tdkpin_application.cdisassembly 1018:1cd6-1d21; USER IsDialogMessage ordinal 90; reconstructed/tests/test_application_loop.cExact active-dialog far pointer, dialog HWND +4 gate, MSG argument, NEG AX/SBB AL/NEG AL normalization with preserved AH, zero paths, and uint16 result are represented and tested.
2751018:1d22FUN_1018_1d22Code466verifiedobject_windows_application_process_acceleratorreconstructed/tdkpin_application.cdisassembly 1018:1d22-1d63; USER TranslateAccelerator ordinal 178; reconstructed/tests/test_application_loop.cExact HACCEL +0x0c gate, main-window far pointer +8, HWND +4, MSG argument, API result booleanization, and zero-table path are represented and tested.
2761018:1d64FUN_1018_1d64Code477verifiedobject_windows_application_process_mdi_acceleratorreconstructed/tdkpin_application.cdisassembly 1018:1d64-1db0; USER TranslateMDISysAccel ordinal 451; reconstructed/tests/test_application_loop.cExact main-window +8 lookup, virtual client getter +0x30, null client path, client HWND +4, MSG argument, and API result booleanization are represented and branch-tested.
2771018:1db1FUN_1018_1db1Code4136verifiedobject_windows_application_validate_windowreconstructed/tdkpin_application.cdisassembly 1018:1db1-1e38; verified Borland reserve/dispose helpers; reconstructed/tests/test_application_windows.cExact null candidate, reserve-missing error -2/dispose/reprovision order, object-status error/dispose path, VMT +0x40 error arguments, successful far return, and null failure return are represented and branch-tested.
2781018:1e39FUN_1018_1e39Code4119verifiedobject_windows_application_make_windowreconstructed/tdkpin_application.cdisassembly 1018:1e39-1eaf; TApplication VMT +0x3c/+0x40 and window VMT +0x20/+0x08; reconstructed/tests/test_application_windows.cExact null/validator gates, Create virtual boolean, successful original far return, status-word error report, virtual dispose mode 1, and null failure result are represented and branch-tested.
2791018:1eb0FUN_1018_1eb0Code4100verifiedobject_windows_application_exec_dialogreconstructed/tdkpin_application.cdisassembly 1018:1eb0-1f13; TApplication VMT +0x3c/+0x40 and dialog VMT +0x4c/+0x08; reconstructed/tests/test_application_windows.cExact default result 2, validator gate, signed dialog result, negative-result error report/fallback, nonnegative result, unconditional post-execution dispose, and all return paths are represented and branch-tested.
2801018:1f14FUN_1018_1f14Code466verifiedobject_windows_application_errorreconstructed/tdkpin_application.cdisassembly 1018:1f14-1f55; USER wvsprintf ordinal 421; DGROUP MessageBox pointer 0666; strings 0698/06b3; reconstructed/tests/test_application_windows.cExact 32-byte buffer, caller error-word argument list, signed %d formatting, indirect MessageBox owner/text/caption/type, IDNO 7 branch, and full uint16 runtime-exit status are represented and branch-tested.
2811018:1f56FUN_1018_1f56Code436verifiedobject_windows_application_can_closereconstructed/tdkpin_application.cdisassembly 1018:1f56-1f79; TApplication MainWindow +8 and window VMT +0x3c; reconstructed/tests/test_application_loop.cExact far MainWindow/VMT lookup, CanClose virtual receiver call, AL boolean result, and four-byte Pascal cleanup are represented and true/false tested.
2821020:0002FUN_1020_0002Code591verifiedborland_initialize_win16_runtimereconstructed/tdkpin_borland_startup.cdisassembly 1020:0002-005c; entry call at 1000:fd8a; relocations to KERNEL WaitEvent/GetWinFlags/__AHINCR and USER InitApp; reconstructed/tests/test_borland_startup.cExact AX fatal gate, SI/DI/DX/ES:BX loader-register capture, WaitEvent(0), InitApp failure, low-AL CPU classification, __AHINCR equate publication, normal far return, and INT 21h/AH=4c status ff termination are represented and branch-tested.
2831020:005dFUN_1020_005dCode54verifiedborland_runtime_errorreconstructed/tdkpin_borland_runtime.cdisassembly 1020:005d-0060 plus shared 0065 path; reconstructed/tests/test_heap_reserve.cExact current far return address, ffff selector special case, normal selector:0 logical segment translation, uint16 error code, stored offset/segment, and DOS termination are represented and tested through Runtime Errors 203/204.
2841020:0061FUN_1020_0061Code5113verifiedborland_runtime_exitreconstructed/tdkpin_borland_runtime.cdisassembly 1020:0061-00d1; Runtime error template; MessageBox relocation; reconstructed/tests/test_heap_reserve.cExact full uint16 exit word, cleared error location, Windows-mode ExitProc gate, mutable chain, decimal/hex backward formatting, MessageBox flags 0x1010, DOS low-byte status, and no-dialog/dialog termination paths are tested.
2851020:00d2FUN_1020_00d2Code530verifiedborland_run_exit_proceduresreconstructed/tdkpin_borland_runtime.cdisassembly 1020:00d2-00ef; reconstructed/tests/test_heap_reserve.cExact mutable far ExitProc capture, clear-before-call, IOResult zero before every callback, callback-installed successor, two-entry order, and final null head are represented and tested.
2861020:00f0FUN_1020_00f0Code523verifiedborland_prepend_unsignedreconstructed/tdkpin_borland_runtime.cdisassembly 1020:00f0-0106Exact unsigned DIV loop, uppercase digit mapping, pre-decrement destination write, and zero-value single-digit behavior represented in C.
2871020:012dFUN_1020_012dCode526verifiedborland_get_memreconstructed/tdkpin_borland_runtime.cdisassembly 1020:012d-0146; verified 1020:01ca/005d; reconstructed/tests/test_heap_reserve.cExact uint16 size, far allocation result, success return, failure/carry Runtime Error 203, ffff caller location, and termination are represented and branch-tested.
2881020:0147FUN_1020_0147Code532verifiedborland_free_memreconstructed/tdkpin_borland_runtime.cdisassembly 1020:0147-0166; verified 1020:02d7/005d; reconstructed/tests/test_heap_reserve.cExact far block/uint16 size, successful release, failure Runtime Error 204, normal selector logical segment tag, caller offset, and termination are represented and branch-tested.
2891020:0167FUN_1020_0167Code546verifiedborland_heap_free_spacereconstructed/tdkpin_heap.cdisassembly 1020:0167-0194; local/global sum testExact GetFreeSpace16(0x1000), circular segment traversal, uint16 local-free additions with 32-bit carry, and total result verified.
2901020:0195runtime_1020_0195Code553verifiedborland_heap_largest_blockreconstructed/tdkpin_heap.cdisassembly 1020:0195-01c9; low/high GlobalCompact and local maximum testsExact GlobalCompact16(0), high-word short circuit, circular local free-byte maximum, and uint32 result verified.
2911020:01caFUN_1020_01caCode588verifiedborland_try_get_memreconstructed/tdkpin_heap.cdisassembly 1020:01ca-0221; reconstructed/tests/test_heap_core.c; reconstructed/tests/test_heap_paths.cZero, local-first, global-first, cross-heap fallback, and HeapError actions 0, 1, and 2 including retry are represented and branch-tested.
2921020:0222FUN_1020_0222Code526verifiedborland_global_allocatereconstructed/tdkpin_borland_runtime.cdisassembly 1020:0222-023b; zero/nonzero GlobalAlloc16 mock testsExact configured flags, zero-extended uint16 size, handle-zero failure, conditional GlobalLock16, and far-pointer result verified.
2931020:023cFUN_1020_023cCode546verifiedborland_try_local_allocationreconstructed/tdkpin_heap.cdisassembly 1020:023c-0269; reconstructed/tests/test_heap_core.c; reconstructed/tests/test_heap_paths.cExact 4-byte alignment, circular scan, new-segment insertion/fallback, successful-head update, failure, and far-pointer result are represented and branch-tested across two segments.
2941020:026aFUN_1020_026aCode560verifiedborland_create_local_heap_segmentreconstructed/tdkpin_heap.cdisassembly 1020:026a-02a5; initialized header/ring testExact 0x5054 header, free-list offsets/sizes, free-byte count, circular ring insertion, segment-size allocation, and selector result verified.
2951020:02a6FUN_1020_02a6Code549verifiedborland_local_allocate_in_segmentreconstructed/tdkpin_heap.cdisassembly 1020:02a6-02d6; sequential allocation/split/free-byte testsExact first-fit traversal, unsigned size test, exact-fit unlink, remainder split, previous-link update, free-byte subtraction, offset result, and failure represented and verified.
2961020:02d7FUN_1020_02d7Code5150verifiedborland_try_free_memreconstructed/tdkpin_heap.cdisassembly 1020:02d7-0387; reconstructed/tests/test_heap_core.c; reconstructed/tests/test_heap_paths.cZero-size, global/local split, validation failures, ordered insertion, accounting, both merges, circular-ring unlink, single/multi-segment release, and GlobalHandle/Unlock/Free behavior are represented and branch-tested.
2971020:0327FUN_1020_0327Code527verifiedborland_local_merge_nextreconstructed/tdkpin_heap.cdisassembly 1020:0327-0341; adjacent/nonadjacent behavior exercised by heap-core testsExact offset+size adjacency check, link bypass, and uint16 size merge represented and verified.
2981020:0388FUN_1020_0388Code57verifiedborland_take_io_resultreconstructed/tdkpin_borland_runtime.cdisassembly 1020:0388-038eExact sequentially consistent 16-bit atomic exchange-to-zero and returned prior value represented in C.
2991020:038fFUN_1020_038fCode514verifiedborland_require_io_successreconstructed/tdkpin_borland_runtime.cdisassembly 1020:038f-039c; verified runtime-error path; reconstructed/tests/test_heap_reserve.cExact atomic IOResult read, zero return, nonzero unchanged code transfer, caller location, and DOS termination are branch-tested.
3001020:039dFUN_1020_039dCode540verifiedborland_check_int32_rangereconstructed/tdkpin_borland_runtime.cdisassembly 1020:039d-03c4; verified Runtime Error 201; reconstructed/tests/test_heap_reserve.cExact inclusive int32 minimum/maximum, boundary success, below/above failure, signed-high/unsigned-low-equivalent semantics, and error termination are tested.
3011020:03c5runtime_1020_03c5Code56verifiedborland_runtime_error_215reconstructed/tdkpin_borland_runtime.cdisassembly 1020:03c5-03ca; verified runtime-error path; reconstructed/tests/test_heap_reserve.cExact fixed uint16 code 215 transfer, caller-location handling, and DOS termination are represented and tested.
3021020:03cbFUN_1020_03cbCode536verifiedborland_check_stackreconstructed/tdkpin_stack.cdisassembly 1020:03cb-03ee; SS:000a/000e accesses; reconstructed/tests/test_stack.c; reconstructed/tests/test_system_timer.cExact uint16 request plus 0x400 safety margin, carry/collision/lower-limit errors, low-water update, equality boundary, returned remaining-byte AX value, and Runtime Error 202 are explicitly represented and branch-tested.
3031020:03efFUN_1020_03efCode574verifiedborland_enter_object_constructorreconstructed/tdkpin_borland_objects.cdisassembly 1020:03ef-0438; verified 1020:01ca; reconstructed/tests/test_borland_objects.cVMT-zero no-op, existing-object ownership mutation, DGROUP VMT size, allocation success/null/failure, caller object update, VMT-field offset, and Runtime Error 203 are explicitly represented and branch-tested.
3041020:0439FUN_1020_0439Code551verifiedborland_finish_object_destructorreconstructed/tdkpin_borland_objects.cdisassembly 1020:0439-046b; verified 1020:02d7; reconstructed/tests/test_borland_objects.cHidden ownership marker, installed-VMT size recovery, arbitrary VMT-field offset, release success/failure, caller object clearing, and Runtime Error 204 are explicitly represented and branch-tested.
3051020:046cruntime_1020_046cCode535verifiedborland_copy_typed_recordreconstructed/tdkpin_borland_runtime.cdisassembly 1020:046c-048e; reconstructed/tests/test_heap_reserve.cExact far source/destination, embedded near descriptor pointer, DGROUP length lookup, always-forward copy, descriptor restoration, 16-bit offsets, and zero-length behavior are represented and branch-tested.
3061020:048fruntime_1020_048fCode516verifiedborland_validate_vmt_descriptorreconstructed/tdkpin_borland_records.cdisassembly 1020:048f-049e; Borland Runtime Error 210; reconstructed/tests/test_borland_records.cExact nonzero size, uint16 size+negative-size zero invariant, valid return, invalid descriptor error transfer, and VMT field widths are represented and branch-tested.
3071020:049fruntime_1020_049fCode593verifiedborland_assign_text_c; borland_assign_text_shortreconstructed/tdkpin_borland_records.cdisassembly 1020:049f-04fb; shared overlapping entry 1020:04a0; relocation to 1020:0be9; reconstructed/tests/test_borland_records.cExact 128-byte TextRec header, buffer/open far pointers, 14 cleared words, 79-byte name cap, C-string and ShortString entries, embedded-NUL stop, NUL append, in-place AnsiToOem, and eight-byte cleanup are represented and tested.
3081020:04fcruntime_1020_04fcCode543verifiedborland_initialize_file_recordreconstructed/tdkpin_borland_records.cdisassembly 1020:04fc-0526; reconstructed/tests/test_borland_records.cExact far record argument, fields +4/+0c/+0e, zero stores +8/+0a, three uint16 inputs, ten-byte Pascal cleanup, and untouched surrounding bytes are represented and tested.
3091020:0527FUN_1020_0527Code55verifiedborland_reset_filereconstructed/tdkpin_borland_files.cdisassembly 1020:0527-052b; mode DX=0xd7b1 tail entry; reconstructed/tests/test_borland_files.cExact input-mode selector and common open dispatcher behavior are represented and tested.
3101020:052cFUN_1020_052cCode55verifiedborland_rewrite_filereconstructed/tdkpin_borland_files.cdisassembly 1020:052c-0530; mode DX=0xd7b2 tail entry; reconstructed/tests/test_borland_files.cExact output-mode selector and common open dispatcher behavior are represented and tested.
3111020:0534FUN_1020_0534Code578verifiedborland_open_filereconstructed/tdkpin_borland_files.cdisassembly 1020:0534-0581; mode sentinels and FileProc +0x10; reconstructed/tests/test_borland_files.cExact existing input/output close, invalid-mode IOResult 0x66, desired-mode preservation, buffer position/end zeroing, open call, error rollback to closed, and all paths are branch-tested.
3121020:0586FUN_1020_0586Code565verifiedborland_close_filereconstructed/tdkpin_borland_files.cdisassembly 1020:0586-05c6; FileProc +0x14/+0x1c; reconstructed/tests/test_borland_files.cExact input close-only, output flush-then-close even on flush error, invalid-mode IOResult 0x67, closed sentinel store, and FileProc order are branch-tested.
3131020:05c7FUN_1020_05c7Code517verifiedborland_call_file_procedurereconstructed/tdkpin_borland_files.cdisassembly 1020:05c7-05d7; reconstructed/tests/test_borland_files.cExact far FileProc slot lookup, preserved ES:DI record argument, uint16 AX return, nonzero-only atomic IOResult publication, and near return are represented and tested.
3141020:05d8FUN_1020_05d8Code548verifiedborland_file_read_bufferreconstructed/tdkpin_borland_files.cdisassembly 1020:05d8-0607; DOS INT21 AH=3f; reconstructed/tests/test_borland_files.cExact handle +0, count +4, buffer far +0x0c, carry/error AX, bytes-read +0x0a, position +8 zero, success zero return, and error paths are tested.
3151020:0608FUN_1020_0608Code537verifiedborland_file_flush_bufferreconstructed/tdkpin_borland_files.cdisassembly 1020:0608-062c; atomic XCHG and DOS INT21 AH=40; reconstructed/tests/test_borland_files.cExact atomic pending-count read/zero, handle/buffer/count frame, carry error, full-write zero, short-write error 0x65, and all returns are branch-tested.
3161020:062dFUN_1020_062dCode532verifiedborland_file_write_bufferreconstructed/tdkpin_borland_files.cdisassembly 1020:062d-064c; atomic XCHG and DOS INT21 AH=40; reconstructed/tests/test_borland_files.cExact pending-count exchange, DOS write frame, carry-only error semantics, intentional short-write acceptance, and success/error returns are tested.
3171020:064dFUN_1020_064dCode525verifiedborland_file_close_handlereconstructed/tdkpin_borland_files.cdisassembly 1020:064d-0666; DOS INT21 AH=3e; reconstructed/tests/test_borland_files.cExact handle <=4 preservation, >4 DOS close, carry AX error, zero success, no-call standard-handle path, and four-byte cleanup are branch-tested.
3181020:0667FUN_1020_0667Code568verifiedborland_assign_file_shortreconstructed/tdkpin_borland_records.cdisassembly 1020:0667-06aa; generic FileRec layout; KEYBOARD AnsiToOem; reconstructed/tests/test_borland_records.cExact handle/mode words, 22 cleared runtime words, 80-byte name field, ShortString cap 79, embedded-NUL stop, NUL append, in-place ANSI-to-OEM call, and eight-byte cleanup are represented and tested.
3191020:06abFUN_1020_06abCode595verifiedborland_open_generic_file; borland_create_generic_filereconstructed/tdkpin_borland_files.cdisassembly 1020:06ab-070f; shared Create entry 1020:06b4; DOS AH=3d/3c; reconstructed/tests/test_borland_files.cExact global access mode 2, create attributes zero, current-open close, invalid-mode 0x66, empty-name handles 0/1, named DOS carry error, handle/open sentinel/record-size stores, and both overlapping entries are branch-tested.
3201020:0710runtime_1020_0710Code528verifiedborland_truncate_filereconstructed/tdkpin_borland_files.cdisassembly 1020:0710-072b; verified open validator; DOS AH=40/CX=0; reconstructed/tests/test_borland_files.cExact invalid-mode skip, handle, zero count, indeterminate DS:DX preservation model, carry-only IOResult publication, success no-op, and four-byte cleanup are branch-tested.
3211020:072cFUN_1020_072cCode537verifiedborland_close_generic_filereconstructed/tdkpin_borland_files.cdisassembly 1020:072c-0750; verified open validator; DOS AH=3e; reconstructed/tests/test_borland_files.cExact invalid-mode no-change, handle <=4 skip, larger-handle close, carry IOResult, closed sentinel despite close error, and four-byte cleanup are branch-tested.
3221020:0751FUN_1020_0751Code515verifiedborland_validate_open_filereconstructed/tdkpin_borland_files.cdisassembly 1020:0751-075f; reconstructed/tests/test_borland_files.cExact mode 0xd7b3 equality/ZF contract, valid no-op, invalid IOResult 0x67, and near return are represented and tested.
3231020:0760runtime_1020_0760Code549verifiedborland_file_read_record; borland_file_write_recordreconstructed/tdkpin_borland_files.cdisassembly 1020:0760-0795; shared write entry 1020:0765; DOS AH=3f/40; reconstructed/tests/test_borland_files.cExact open validation, record-size count, far buffer, read/write selector, carry AX, full-transfer success, short-transfer errors 0x64/0x65, and both shared entries are branch-tested.
3241020:0796runtime_1020_0796Code599verifiedborland_file_block_read; borland_file_block_writereconstructed/tdkpin_borland_files.cdisassembly 1020:0796-07fd; shared write entry 1020:079b; reconstructed/tests/test_borland_files.cExact requested*record-size low-word byte count, DOS read/write, carry IOResult, bytes/record-size quotient, optional far result count, no-result short-transfer errors, validation-failure zero publication, and both entries are tested.
3251020:07feFUN_1020_07feCode548verifiedborland_file_seek_recordreconstructed/tdkpin_borland_files.cdisassembly 1020:07fe-082d; DOS AH=42 origin zero; reconstructed/tests/test_borland_files.cExact open validation, uint32 record index times uint16 record size modulo 2^32, CX:DX offset, handle, origin zero, carry-only IOResult, and eight-byte cleanup are represented and tested.
3261020:082eFUN_1020_082eCode556verifiedborland_parameter_stringreconstructed/tdkpin_command_line.cdisassembly 1020:082e-0865; verified scanner; KERNEL GetModuleFileName; reconstructed/tests/test_command_line.cExact hidden far result, index-zero module filename, max 0xff, low-byte returned length, indexed token scan, full uint16 copy despite byte-length wrap, missing token, and two-byte explicit-argument cleanup are tested.
3271020:0866runtime_1020_0866Code511verifiedborland_parameter_countreconstructed/tdkpin_command_line.cdisassembly 1020:0866-0870; CX=0 underflow token-count testExact zero-index scan, XCHG, two's-complement negation, and returned uint16 parameter count verified.
3281020:0871FUN_1020_0871Code532verifiedborland_scan_command_tokenreconstructed/tdkpin_command_line.cdisassembly 1020:0871-0890; selector-backed whitespace/token/missing-index testsExact <=space skipping, token extent, zero-length termination, LOOP decrement/wrap, far pointer, length, and residual CX represented and verified.
3291020:0891FUN_1020_0891Code524verifiedborland_far_copyreconstructed/tdkpin_strings.cdisassembly 1020:0891-08a8; cross-selector copy testExact full 16-bit count, forward CLD behavior, selector-preserving offsets, and byte order verified.
3301020:08a9FUN_1020_08a9Code561verifiedborland_multiply_i32reconstructed/tdkpin_arithmetic.cdisassembly 1020:08a9-08e5; 286 partial-product/386 IMUL equivalence testsExact low 32 bits of signed DX:AX*BX:CX represented without C signed-overflow UB and verified on positive, negative, and overflow cases.
3311020:08e6FUN_1020_08e6Code5166verifiedborland_divide_i32reconstructed/tdkpin_arithmetic.cdisassembly 1020:08e6-098b; reconstructed/tests/test_arithmetic.cExact signs/remainders, divisor-zero Runtime Error 200, INT32_MIN/-1 286 wrap result, 386 divide fault, and ordinary signed combinations are represented and branch-tested.
3321020:098cruntime_1020_098cCode535verifiedborland_shift_right_u32reconstructed/tdkpin_shortstrings.cdisassembly 1020:098c-09ae; loop/386-path equivalence; masked-count testsExact logical DX:AX right shift with count&31 represented and verified across zero, ordinary, and wrapped counts.
3331020:09afruntime_1020_09afCode535verifiedborland_shift_left_u32reconstructed/tdkpin_shortstrings.cdisassembly 1020:09af-09d1; loop/386-path equivalence; masked-count testsExact DX:AX left shift with count&31 represented and verified across zero, ordinary, and wrapped counts.
3341020:09d2runtime_1020_09d2Code526verifiedborland_short_assignreconstructed/tdkpin_shortstrings.cdisassembly 1020:09d2-09eb; selector-backed assignment testExact length-byte and payload copy across far selectors verified.
3351020:09ecFUN_1020_09ecCode536verifiedborland_short_assign_truncatedreconstructed/tdkpin_shortstrings.cdisassembly 1020:09ec-0a0f; truncation testExact uint8 minimum length, stored length, and far payload copy verified.
3361020:0a10FUN_1020_0a10Code565verifiedborland_short_substringreconstructed/tdkpin_shortstrings.cdisassembly 1020:0a10-0a50; positive and negative bounds testsExact one-based index clamp, signed negative count clamp, available/count minimum, and payload source offset verified.
3371020:0a51FUN_1020_0a51Code544verifiedborland_short_concatreconstructed/tdkpin_shortstrings.cdisassembly 1020:0a51-0a7c; normal and 255-byte overflow testsExact length-byte carry, saturation to 255, complement copy count, append offset, and far transfer verified.
3381020:0a7dFUN_1020_0a7dCode570verifiedborland_short_positionreconstructed/tdkpin_shortstrings.cdisassembly 1020:0a7d-0ac2; found/empty testsExact one-based first-match search, empty/oversized rejection, first-byte scan, remaining-byte compare, and zero result verified.
3391020:0ac3FUN_1020_0ac3Code543verifiedborland_short_comparereconstructed/tdkpin_shortstrings.cdisassembly 1020:0ac3-0aed; selector-backed ordering tests; sole caller 1000:aa04 immediately uses JNZPayload-byte comparison followed by length comparison is materialized as a signed C result; zero/nonzero exactly preserves the sole caller's equality branch.
3401020:0aeeruntime_1020_0aeeCode518verifiedborland_character_to_shortreconstructed/tdkpin_shortstrings.cdisassembly 1020:0aee-0aff; character conversion testExact length 1 and payload-byte stores verified.
3411020:0b00FUN_1020_0b00Code527verifiedborland_bytes_to_shortreconstructed/tdkpin_shortstrings.cdisassembly 1020:0b00-0b1a; byte-array conversion testExact low-byte length truncation and full 16-bit REP MOVSB count represented and verified.
3421020:0b1bFUN_1020_0b1bCode595verifiedborland_short_insertreconstructed/tdkpin_shortstrings.cdisassembly 1020:0b1b-0b79; prefix/insert/suffix and max-length testsExact index clamp, two temporary ShortString composition, saturation to destination maximum, append-beyond-end behavior, and in-place result verified.
3431020:0b7aFUN_1020_0b7aCode5111verifiedborland_short_deletereconstructed/tdkpin_shortstrings.cdisassembly 1020:0b7a-0be8; valid/invalid deletion testsExact positive index/count gates, index clamp to 255, prefix/suffix composition, unchanged invalid input, and in-place result verified.
3441020:0be9FUN_1020_0be9Code5141verifiedborland_open_text_recordreconstructed/tdkpin_borland_files.cdisassembly 1020:0be9-0c75; relocations 18-25 to 1020:05d8/0608/062d/064d; reconstructed/tests/test_borland_files.cExact Reset/Rewrite/Append DOS open/create selection, empty-name handles 0/1, ignored IOCTL carry with device bit in DL, relocated InOut/Flush/Close callbacks, output-mode transition, and DOS-error AX return are represented and tested.
3451020:0c76FUN_1020_0c76Code590verifiedborland_text_truncate_at_ctrl_zreconstructed/tdkpin_borland_files.cdisassembly 1020:0c76-0ccf; reconstructed/tests/test_borland_files.cExact last-128-byte scan, 32-bit DX:AX seek arithmetic, first Ctrl-Z selection, FFFF:(index-read-count) relative EOF seek, zero-byte truncating write, DS:DX residue, and deliberately ignored DOS errors are represented and tested.
3461020:0cd0FUN_1020_0cd0Code54verifiedborland_real48_subtract_registersreconstructed/tdkpin_real48.cdisassembly 1020:0cd0-0cd3 sign-bit XOR followed by shared 0cd4 body; original-byte DOSBox arithmetic probe; reconstructed/tests/test_real48.cExact second-operand sign toggle and shared add/sub normalization are represented, including ignored operands beyond exponent distance 40, cancellation, guard-byte rounding, underflow zero, and overflow carry.
3471020:0cd4FUN_1020_0cd4Code5195verifiedborland_real48_add_registersreconstructed/tdkpin_real48.cdisassembly 1020:0cd4-0d96; 48-bit internal significands with eight guard bits; original-byte DOSBox arithmetic probe; reconstructed/tests/test_real48.cExact exponent ordering/alignment, same-sign carry normalization, opposite-sign magnitude selection and renormalization, add-0x80 rounding, sign/exponent packing, zero/underflow, and overflow carry match the unmodified 16-bit routine.
3481020:0d97FUN_1020_0d97Code5251verifiedborland_real48_multiply_registersreconstructed/tdkpin_real48.cdisassembly 1020:0d97-0e91 plus alignment NOP 0e92; exact 40x40 product projection; original-byte DOSBox arithmetic probe; reconstructed/tests/test_real48.cExact zero short-circuit, sign XOR, 80-bit product, top-bit normalization, exponent bias, eight guard bits, add-0x80 rounding, underflow zero, and overflow carry are represented without host floating point.
3491020:0e93FUN_1020_0e93Code57verifiedborland_real48_zero_registersreconstructed/tdkpin_real48.cdisassembly 1020:0e93-0e99; shared underflow targets from 0cd4 and 0d97; reconstructed/tests/test_real48.cExact AX=BX=DX=0 canonical Real48 zero result and near return are represented; no hidden state or memory effect exists.
3501020:0e9aFUN_1020_0e9aCode5119verifiedborland_real48_divide_registersreconstructed/tdkpin_real48.cdisassembly 1020:0e9a-0f10; restoring quotient loop; original-byte DOSBox arithmetic probe; reconstructed/tests/test_real48.cExact numerator-zero result, normalized 48-bit quotient generation, exponent difference/bias, sign XOR, guard-byte rounding, underflow zero, and overflow flag are represented; denominator-zero classification is exposed for the far wrapper's Error 200 path.
3511020:0f11FUN_1020_0f11Code523verifiedborland_real48_compare_registersreconstructed/tdkpin_real48.cdisassembly 1020:0f11-0f27; verified magnitude core 0f28; reconstructed/tests/test_real48.cExact sign-difference carry, positive magnitude order, negative-order reversal, equality preservation, and FLAGS result materialized as signed -1/0/1 are branch-tested.
3521020:0f28FUN_1020_0f28Code519verifiedborland_real48_compare_magnitude_registersreconstructed/tdkpin_real48.cdisassembly 1020:0f28-0f3a; AL/CL exponent then DX/DI, BX/SI, AH/CH comparison order; reconstructed/tests/test_real48.cExact unsigned lexicographic magnitude order and exponent-zero early equality that ignores noncanonical payload bytes are represented and tested.
3531020:0f3bFUN_1020_0f3bCode560verifiedborland_i32_to_real48_registersreconstructed/tdkpin_real48.cdisassembly 1020:0f3b-0f76; exact exponent/significand derivation; original-byte DOSBox probe tools/probes/real48_reference.asm; reconstructed/tests/test_real48.cExact signed DX:AX two's-complement magnitude, normalization, exponent bias 129, sign bit, canonical zero, and all int32 endpoints are represented; eight vectors match the unmodified 16-bit routine byte-for-byte.
3541020:0f77FUN_1020_0f77Code5110verifiedborland_real48_to_i32_registersreconstructed/tdkpin_real48.cdisassembly 1020:0f77-0fe4; CH truncate/round modes; original-byte DOSBox probe; reconstructed/tests/test_real48.cExact exponent-derived shift, implicit significand, CH-controlled first-discarded-bit addition, halves-away-from-zero behavior, signed negation, overflow candidate and carry semantics, canonical zero, and int32 endpoints match the unmodified 16-bit core.
3551020:0fe5FUN_1020_0fe5Code56verifiedborland_real48_addreconstructed/tdkpin_real48.cdisassembly 1020:0fe5-0fea; verified 0cd4; shared Error 205 target 1025; DOSBox probe and sanitizer harnessExact far Add entry, successful RETF, and arithmetic-overflow Runtime Error 205 path are represented.
3561020:0febFUN_1020_0febCode56verifiedborland_real48_subtractreconstructed/tdkpin_real48.cdisassembly 1020:0feb-0ff0; verified 0cd0; shared Error 205 target 1025; DOSBox probe and sanitizer harnessExact far Subtract entry, successful RETF, sign-toggle semantics, and arithmetic-overflow Runtime Error 205 path are represented.
3571020:0ff1FUN_1020_0ff1Code56verifiedborland_real48_squarereconstructed/tdkpin_real48.cdisassembly 1020:0ff1-0ff6 copies AX/BX/DX to CX/SI/DI and falls through into 0ff7; verified multiply core; reconstructed/tests/test_real48.cExact shared-entry square operation and overflow behavior are represented rather than treating the six-byte staging prefix as an independent opaque wrapper.
3581020:0ff7FUN_1020_0ff7Code56verifiedborland_real48_multiplyreconstructed/tdkpin_real48.cdisassembly 1020:0ff7-0ffc; verified 0d97; shared Error 205 target; DOSBox probe and sanitizer harnessExact far Multiply entry, successful RETF, and arithmetic-overflow Runtime Error 205 path are represented.
3591020:0ffdFUN_1020_0ffdCode522verifiedborland_real48_dividereconstructed/tdkpin_real48.cdisassembly 1020:0ffd-1006 plus shared error targets 1025/102b; verified 0e9a; DOSBox probe and sanitizer harnessExact denominator exponent-zero Runtime Error 200 path, successful far Divide, overflow Runtime Error 205 path, and unchanged operand order are represented and branch-tested.
3601020:1007FUN_1020_1007Code54verifiedborland_real48_comparereconstructed/tdkpin_real48.cdisassembly 1020:1007-100a; verified near core 0f11; reconstructed/tests/test_real48.cExact far comparison entry consists solely of near comparison and RETF; the readable signed result preserves every caller-visible equality/ordering condition.
3611020:100bFUN_1020_100bCode54verifiedborland_i32_to_real48reconstructed/tdkpin_real48.cdisassembly 1020:100b-100e; verified near core 0f3b; original-byte DOSBox probeExact far integer-conversion entry and register result are represented without replacing the six-byte Real48 format by host floating point.
3621020:1017FUN_1020_1017Code514verifiedborland_real48_round_to_i32reconstructed/tdkpin_real48.cdisassembly 1020:1017-1024; CH=1; shared Runtime Error 207 tail with entry 100f; original-byte DOSBox probe; reconstructed/tests/test_real48.cExact Round mode, candidate DX:AX, overflow carry, Runtime Error 207 path, halves-away-from-zero behavior, and shared-tail control flow are represented and tested.
3631020:1031FUN_1020_1031Code510verifiedborland_real48_add_preserving_rightreconstructed/tdkpin_real48.cdisassembly 1020:1031-103a; verified 0cd4; reconstructed/tests/test_real48.cExact PUSH DI/SI/CX, Add core, POP CX/SI/DI, RET sequence is represented as by-value right operand preservation with identical result/error flags.
3641020:103bruntime_1020_103bCode510verifiedborland_real48_subtract_preserving_rightreconstructed/tdkpin_real48.cdisassembly 1020:103b-1044; verified 0cd0; reconstructed/tests/test_real48.cExact PUSH DI/SI/CX, Subtract core, POP CX/SI/DI, RET sequence and preserved secondary operand are represented.
3651020:1045runtime_1020_1045Code510verifiedborland_real48_multiply_preserving_rightreconstructed/tdkpin_real48.cdisassembly 1020:1045-104e; verified 0d97; reconstructed/tests/test_real48.cExact PUSH DI/SI/CX, Multiply core, POP CX/SI/DI, RET sequence and preserved secondary operand are represented.
3661020:104fFUN_1020_104fCode510verifiedborland_real48_divide_preserving_rightreconstructed/tdkpin_real48.cdisassembly 1020:104f-1058; verified 0e9a; reconstructed/tests/test_real48.cExact PUSH DI/SI/CX, Divide core, POP CX/SI/DI, RET sequence and preserved secondary operand are represented.
3671020:1059runtime_1020_1059Code581verifiedborland_real48_integer_partreconstructed/tdkpin_real48.cdisassembly 1020:1059-10a9; exponent-derived mask construction; original-byte DOSBox Int/Frac probe; reconstructed/tests/test_real48.cExact Pascal Int semantics are represented: exponent >=168 unchanged, magnitude below one becomes canonical zero, otherwise only fractional significand bits are cleared toward zero while exponent and sign remain unchanged.
3681020:10aaruntime_1020_10aaCode520verifiedborland_real48_fractional_partreconstructed/tdkpin_real48.cdisassembly 1020:10aa-10bd; verified 1059 and 0cd0; original-byte DOSBox Int/Frac probe; reconstructed/tests/test_real48.cExact Pascal Frac register choreography and value-minus-Int(value) semantics are represented, including signed fractions, magnitudes below one, wholly integral values, and far return.
3691020:10beFUN_1020_10beCode595verifiedborland_real48_sqrtreconstructed/tdkpin_real48.cdisassembly 1020:10be-111c; verified Real48 divide/add/subtract preserving cores; original-byte DOSBox Sqrt probe; ASan/UBSan reconstructed/tests/test_real48.cExact zero identity, negative Runtime Error 207, signed-byte initial exponent transform with retained mantissa, Newton quotient-plus-guess/2 iteration, exponent-of-difference convergence threshold, and bit-exact outputs for 1, 2, 4, and 1.5 match the unmodified routine.
3701020:111druntime_1020_111dCode5116verifiedborland_real48_cosreconstructed/tdkpin_real48.cdisassembly 1020:111d-1190; shared Sin entry 1130; 2pi/pi reductions and table 1191-11ba; original-offset DOSBox Sin/Cos probe; ASan/UBSan testsExact pi/2-x Cos prelude, modulo-2pi via Frac, negative remainder correction, pi/pi2 quadrant folding, exponent-6c small-argument bypass, seven-term odd Sin polynomial, half-cycle sign, and far return match original bytes for zero, pi/6, pi/2, pi, 2pi, -pi/2, and one.
3711020:11bbruntime_1020_11bbCode5133verifiedborland_real48_lnreconstructed/tdkpin_real48.cdisassembly 1020:11bb-123f; coefficient table 1240-1263; sqrt(1/2), ln(2)/2, ln(2) constants; original-offset DOSBox Ln probe; ASan/UBSan testsExact positive-domain Runtime Error 207, exponent displacement, normalized mantissa times sqrt(1/2), (m-1)/(m+1), six-term odd atanh series, doubling, ln(2)/2 correction, exponent*ln(2) addition, exponent-67 flush, and outputs for 0.5,1,1.5,2,10 match original bytes.
3721020:1264runtime_1020_1264Code5115verifiedborland_real48_expreconstructed/tdkpin_real48.cdisassembly 1020:1264-12d6; coefficient table 12d7-1306; verified conversion/arithmetic primitives; original-offset DOSBox Exp probe; ASan/UBSan testsExact absolute-value reduction by ln(2), exponent-88 overflow gate, Round(2q), q-n/2 remainder, eight-term polynomial, odd sqrt(2) factor, exponent-byte scaling/carry Error 205, negative reciprocal, and outputs for -2,-1,-0.5,0,0.5,1,2,10 match original bytes.
3731020:1307runtime_1020_1307Code5225verifiedborland_real48_arctanreconstructed/tdkpin_real48.cdisassembly 1020:1307-13e7; reduction table 13e8-1417; verified 1436/143c/1455; original-offset DOSBox ArcTan probe; ASan/UBSan testsExact sign capture, >=1 reciprocal, direct threshold, tan(pi/12)/tan(pi/6)/1 reductions with angle additions, pi/2 reciprocal correction, final sign, zero path, and outputs for 0,0.125,0.5,1,2,-1 match original bytes.
3741020:1436runtime_1020_1436Code56verifiedborland_real48_arctan_seriesreconstructed/tdkpin_real48.cdisassembly 1020:1436-143b loads table 1418/count 5 then falls through 143c; exact coefficient bytes; original-offset DOSBox probe; reconstructed/tests/test_real48.cExact fixed ArcTan odd-series entry and fallthrough are represented; zero, 0.25, 0.5, and tan(pi/8) outputs match the original bytes exactly.
3751020:143cFUN_1020_143cCode525verifiedborland_real48_odd_polynomialreconstructed/tdkpin_real48.cdisassembly 1020:143c-1454; verified multiply core and 1455 evaluator; reconstructed/tests/test_real48.cExact x*x staging, caller-supplied CS table/count, polynomial evaluation, restored x, and tail multiply producing x*P(x*x) are represented without host floating point.
3761020:1455FUN_1020_1455Code579verifiedborland_real48_polynomial_plus_onereconstructed/tdkpin_real48.cdisassembly 1020:1455-14a3; exact local input save, CS coefficient order, multiply-before-advance loop, add/multiply sequence, final +1; DOSBox probeExact Horner order result=1+x*(c[n-1]+x*(...+x*c[0])), Real48 rounding after every primitive, table stride six, and count-controlled loop are represented and differentially exercised through ArcTan.
3771020:14a4FUN_1020_14a4Code529verifiedborland_random_belowreconstructed/tdkpin_random.cdisassembly 1020:14a4-14c0; verified LCG; high-product testsExact seed advance and high 32 bits of unsigned seed*uint16 bound represented and verified, including bound zero.
3781020:14c1FUN_1020_14c1Code529verifiedborland_random_exponentreconstructed/tdkpin_random.cdisassembly 1020:14c1-14dd; leading-bit testExact seed advance, zero special case, 32-step MSB search, and signed int8 exponent sequence verified.
3791020:14deruntime_1020_14deCode529verifiedborland_random_unit_intervalreconstructed/tdkpin_random.cdisassembly 1020:14de-14fa; embedded IEEE single 2^31 at 14fb and signed scale -32 at 14ff; verified 1501 dependency; reconstructed/tests/test_random.cExact next-seed call, signed FILD plus 2^31 unsigned correction, FSCALE by -32, x87 stack cleanup, and [0,1) result are represented; binary64 is exact for every uint32/2^32 output.
3801020:1501FUN_1020_1501Code554verifiedborland_next_randomreconstructed/tdkpin_random.cdisassembly 1020:1501-1536; embedded multiplier word 1537; independent LCG testsWord-level multiply/add sequence is exactly equivalent to modulo-2^32 seed*0x08088405+1 and verified across chained calls.
3811020:1539runtime_1020_1539Code513verifiedborland_seed_random_from_dos_timereconstructed/tdkpin_random.cdisassembly 1020:1539-1545; DOS int21 AH=2c register contract; bound DOS-time word testExact CX low word and DX high word assignment to RandSeed represented and verified.
3821020:1546FUN_1020_1546Code528verifiedborland_format_i32_decimal_backwardreconstructed/tdkpin_numeric.cdisassembly 1020:1546-1561; negative/ordinary formatting testsExact signed high-word test, two's-complement magnitude, base 10 handoff, prefix minus store, start pointer, and length increment verified.
3831020:1562FUN_1020_1562Code532verifiedborland_format_u32_backwardreconstructed/tdkpin_numeric.cdisassembly 1020:1562-1581; decimal/hex backward-format testsExact two-word unsigned division loop, uppercase digit mapping, pre-decrement far writes, zero representation, start pointer, and length verified.
3841020:1582FUN_1020_1582Code5167verifiedborland_parse_i32_spanreconstructed/tdkpin_numeric.cdisassembly 1020:1582-1628; signed/hex/overflow/trailing testsExact optional sign, decimal and $-hex grammars, lowercase fold, shift/multiply overflow gates, full-hex signed exception, cursor/remaining words, carry failure, and int32 result verified.
3851020:1629FUN_1020_1629Code575verifiedborland_format_i32_short_stringreconstructed/tdkpin_numeric.cdisassembly 1020:1629-1673; verified backward formatter 1546; exact 32-byte local workspace and 12-byte Pascal frame; reconstructed/tests/test_numeric.cExact signed maximum/field-width clamps, formatted-length clamp, width promotion, low-byte ShortString length, left space padding, leading-byte truncation, forward copy, DS restoration semantics, and RETF 0x0c are represented and tested.
3861020:1674FUN_1020_1674Code549verifiedborland_val_i32_short_stringreconstructed/tdkpin_numeric.cdisassembly 1020:1674-16a4; leading-space/success/error-position testsExact ShortString length, leading-space skip, parser span, trailing/carry failure, one-based error position, zero-on-error, and value return verified.
3871020:16a5FUN_1020_16a5Code536verifiedborland_move_bytesreconstructed/tdkpin_borland_runtime.cdisassembly 1020:16a5-16c8; NE entry 282; reconstructed/tests/test_heap_reserve.cExact far source/destination selectors, uint16 count, offset-only direction choice, CLD/STD overlap behavior, 16-bit offset arithmetic, and zero count are represented and branch-tested.
3881020:16c9FUN_1020_16c9Code520verifiedborland_fill_bytesreconstructed/tdkpin_borland_runtime.cdisassembly 1020:16c9-16dc; selector-backed fill testExact destination far pointer, full 16-bit count, low-byte value, forward CLD semantics, and repeated stores verified.
3891020:16ddruntime_1020_16ddCode54verifiedborland_find_dynamic_methodreconstructed/tdkpin_dispatch.cdisassembly 1020:16dd-16e0; verified 1020:16e6; reconstructed/tests/test_dispatch.cExact public lookup entry and returned DGROUP address of the selected far-procedure slot are represented and tested.
3901020:16e1FUN_1020_16e1Code55verifiedborland_dispatch_dynamic_methodreconstructed/tdkpin_dispatch.cdisassembly 1020:16e1-16e5; verified 1020:16e6; call sites 1008:2d66 and 1018:16eb; reconstructed/tests/test_dispatch.cExact lookup followed by FF /5 far-indirect dispatch through the four-byte procedure slot is represented and tested.
3911020:16e6FUN_1020_16e6Code561verifiedborland_resolve_dynamic_method_slotreconstructed/tdkpin_dispatch.cdisassembly 1020:16e6-1722; synthetic table branch tests in reconstructed/tests/test_dispatch.cExact VMT +4 table pointer, mutable id/slot cache, uint16 id scan, target-slot stride, parent chain, cache update, and Runtime Error 210 miss path are represented and branch-tested.
Reference in New Issue View Git Blame Copy Permalink