CARD H-7 (A3)  written 2026-09-26 01:14:39 -0700  -- BEFORE its first compile.  RESEARCH PROBE (zero credit)
base: copies/hs_H6. Goal: no TU-invented union at all (HCEX shapes throughout).
evidence: X HCEX SHIP: hs_global_runtime.value is 'long'; equality/inequality/logical/arithmetic each have a
  'long result_long' local; hs_stack_frame.child_result is 'long *'. J: January writes typed values into 4-byte
  slots and reads/passes the whole dword (byte store + dword load in the boolean packagings).
correction: struct hs_global_datum.value -> long; every 'global->value.<member>' -> typed view of the long
  ('*(boolean *)&global->value', '*(real *)&...', '*(short *)&...', '*(char const **)&...', plain for long);
  equality/inequality/logical/arithmetic use 'long result_long' with a typed store then
  hs_return(thread_index, result_long); if/sleep_until stack slots become 'long *' with typed views; the union
  definition is deleted.
prediction: 66/66 exact (same widths, same slots); /W3 unchanged vs H-6. Explicit indeterminate-byte reads added:
  the three boolean packagings (equality, inequality, logical) = January's byte-store/dword-load, same class as H-5b.
risk: VC7 alias/addressing differences for pointer views on struct members in the 1408-byte reconcile_read.
