Issues

Decidable probe for non-inductive heads uses metavariable args, so LE.le is recorded as a failed dep
strata-org/specimen#61 · opened on Sep 16, 2026
Synthesized typeclass instance nameclash
strata-org/specimen#57 · opened on Jul 24, 2026
Scored type classes for cross-derivation score visibility
strata-org/specimen#49 · opened on Jul 8, 2026
Scheduler doesn't bind an output variable from an equality before DecOpt-checking it
strata-org/specimen#48 · opened on Jul 8, 2026
2
LawfulScorable: formally verify scorer invariants
strata-org/specimen#45 · opened on Jul 6, 2026
2
Provide a single top-level import for all Specimen functionality
strata-org/specimen#31 · opened on Jun 17, 2026
Auto-derive Enum and Arbitrary instances when missing
strata-org/specimen#30 · opened on Jun 17, 2026
derive_mutual fails on universe-polymorphic inductives with implicit type parameters
strata-org/specimen#24 · 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
strata-org/specimen#22 · opened on Jun 11, 2026
derive_generator elaboration time is linear in #constructors (identical constructors not deduped); times out ~N=500
strata-org/specimen#21 · opened on Jun 11, 2026
Parameterized inductives get overly-restrictive typeclass constraints on type params
strata-org/specimen#19 · opened on Jun 10, 2026
derive_checker emits redundant wildcard arm when destructuring a single-constructor structure
strata-org/specimen#12 · opened on Jun 8, 2026
1
derive_generator elaboration is exponential in number of ≠ premises in a single clause
strata-org/specimen#9 · opened on Jun 8, 2026