Manuscript Hawk02-B@2 · Hawk02-B.tex · section · 95ea744f
Records are not complete mechanisms
Records, physical bridges, and final release › Records are not complete mechanisms · lines 1616–1626
The channel identities on matrix units determine linear maps,
including reference extensions. Occupation records alone do not.
En03-A records a residual-instrument obstruction under equal coarse
records CheungEn03A ({thm:obstruction}).
Psy02-B records equality of adaptive record laws under equality
of complete accessible process data
CheungPsy02B ({thm:process}).
Neither replaces the Hamiltonian and partial-trace derivation here.