Convention-adjusted extended named-trace comparison

Exact statement

Under Chen–Kricker's common orientation, labeling, product and state conventions, the comparison isomorphism intertwines their named extended Garoufalidis–Yu and normalized Panitch–Park traces.

StatusProved from FPRD-CK-T01 and Chen–Kricker's named-trace theorem

External reviewNo external or specialist review is recorded; the proof has passed an independent hostile internal audit.

Context

Chen–Kricker already proved the two named trace identities through their comparison module. Making the comparison invertible upgrades that diagram to an isomorphism statement.

Hypotheses and scope

All traces use Chen–Kricker's stated common conventions.
Only the extended target covered by their theorem is compared.

Proof or evidence

Chen–Kricker's two established trace identities factor through the comparison map; FPRD-CK-T01 makes that map invertible.

Corollary and convention boundary →

Verification notes

The research record tracks the normalized Panitch–Park branch, Weyl factors, central opposite-root quotient and the noninvertible discarded minus sector.

Limitations

The later supporting local-collar packet supplies the named six-root peripheral action at generic parameter; no integral-coefficient or special-parameter extension is asserted.
Raw Garoufalidis–Yu-index coordinates are not silently identified with Chen–Kricker's convention-adjusted trace.
Panitch–Romo Conjecture 7.1 remains open.

Open work

Use the completed generic-parameter local-collar dictionary as supporting evidence; the surviving frontier is actual exterior edge relations, intrinsic disk/product structure, and unrestricted nonvanishing.