Search results

Scored type classes for cross-derivation score visibility

Status: Open.

#49 In strata-org/specimen;

· segevem opened on Jul 8, 2026

Scheduler doesn't bind an output variable from an equality before DecOpt-checking it

Status: Open.

#48 In strata-org/specimen;

· mwhicks1 opened on Jul 8, 2026

LawfulScorable: formally verify scorer invariants

Status: Open.

#45 In strata-org/specimen;

· segevem opened on Jul 6, 2026

Provide a single top-level import for all Specimen functionality

Status: Open.

#31 In strata-org/specimen;

· segevem opened on Jun 17, 2026

Auto-derive Enum and Arbitrary instances when missing

Status: Open.

#30 In strata-org/specimen;

· segevem opened on Jun 17, 2026

derive_mutual fails on universe-polymorphic inductives with implicit type parameters

Status: Open.

#24 In strata-org/specimen;

· segevem opened on Jun 16, 2026

autoDeriveDeps: shared multi-output dependency producer is re-derived per module under the same global name; co-importing two consumers collides

Status: Open.

#22 In strata-org/specimen;

· seanmcl opened on Jun 11, 2026

derive_generator elaboration time is linear in #constructors (identical constructors not deduped); times out ~N=500

Status: Open.

#21 In strata-org/specimen;

· seanmcl opened on Jun 11, 2026

Parameterized inductives get overly-restrictive typeclass constraints on type params

Status: Open.

#19 In strata-org/specimen;

· segevem opened on Jun 10, 2026

derive_checker emits redundant wildcard arm when destructuring a single-constructor structure

Status: Open.

#12 In strata-org/specimen;

· seanmcl opened on Jun 8, 2026

derive_generator elaboration is exponential in number of ≠ premises in a single clause

Status: Open.

#9 In strata-org/specimen;

· seanmcl opened on Jun 8, 2026