Record: DEF-RENORM-CERTIFIED-RAW-ARROW
Source: Definition IV.1.
Short definition
A certified raw arrow is a raw refinement whose observable and carrier maps satisfy GLC, whose carrier preserves the distinguished vector, and whose carrier is Dirichlet-covariant.
What it means
Certification is relative to the specified Dirichlet interface. It says that the chosen scale arrow carries the declared fixed sector correctly. It is not a universal claim that every possible physical admissibility condition has been checked.
Read source manuscript. Research manuscript — not peer reviewed.