Skip to content

differential gates have no complex dtype #20

Description

@chenyueqi

calc_roots' quadratic_solve and cubic_solve return complex( kind = core_rknd ). The bit-exact gate reports unsupported declared dtype(s) function result='UNKNOWN(COMPLEX)' and the two are left uncompared; new_pdf calls them and takes real(...) of the result. Enhancement: complex64/complex128 in the dtype table, the harness and the comparison (bit-exact on both parts).

Found 2026-09-03 running the recast-clubb extension's tier-0 units (CLUBB_core of larson-group/clubb_release at 8ab3902, double precision, statistics off).

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:verifierthe gates: static.rwset, differential.bitexact/tolerance, oraclesenhancementNew feature or requestfound-by:clubbsurfaced by the recast-clubb extension on CLUBB_core

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions