FPRD LabShare an approach

← Claims

Definition · candidate receipt

QA-GR-D04

Marked-extension orbit receipt

Exact statement

A slot (C,v)(C,v) is refined by the Aut⁡(C)\operatorname{Aut}(C)-orbit of the marked vertex vv.

StatusExact
External reviewNo documented external or specialist review of this Quotient Arsenal result is recorded.

Context

Anonymous overlap types can all agree while the cards still fail to share one coherent naming. The smallest computed witness converts that mismatch into an equivariant matching defect.

Proof or evidence

The definition is canonical under card isomorphism and implemented in the marked-extension census.

Graph-deck synchronization proof and independent audit →

Verification notes

An independent implementation reconstructed all 18 type-slot synchronizations, all 73,728 candidate row namings, the two symmetry orbits, all 864 S2 x S4 equivariance actions, and the 52-graph marked-orbit control through order five.

Limitations

  • It can coincide with the deletion type and add no information.

Open work

Test whether higher marked tuples refine the obstruction.