Issues

• Let the type enforce the no-zero invariant of Value's two count maps

  status: needs triage
  IntersectMBO/plutus#7961 · Filter by author Unisay opened on Sep 23, 2026
  

• Reduce special case handling for CaseReduce on data matching

  Plinth
  Feature

  IntersectMBO/plutus#7942 · Filter by author SeungheonOh opened on Sep 10, 2026
  

• Decide: require explicit size-measure wrappers for Value in builtin denotations

  IntersectMBO/plutus#7934 · Filter by author Unisay opened on Sep 4, 2026

• NEAT test suite: missing builtins + investigation

  Internalstatus: triagedTest
  IntersectMBO/plutus#7885 · Filter by author ana-pantilie opened on Aug 10, 2026

• eqByteString and three BLS12-381 equalities are stubbed to always return true, not left as postulates

  InternalMetatheorystatus: needs action from the team
  IntersectMBO/plutus#7882 · Filter by author jmchapman opened on Aug 8, 2026
  2

• Agda metatheory has no notion of builtin semantics variants (protocol-era-dependent builtin behavior) -- consByteString is the current concrete case

  Metatheorystatus: needs action from the team
  IntersectMBO/plutus#7881 · Filter by author jmchapman opened on Aug 8, 2026
  2

• UPLC textual parser (plutus-core 1.45.0.0): fails to parse large (case (constr 0 ...) (lam ...)) when branch body is ~490 lines

  status: triaged
  Bug

  IntersectMBO/plutus#7742 · Filter by author Unisay opened on Apr 24, 2026
  1

  

• Make profiling output include better source span

  Internalstatus: triaged
  IntersectMBO/plutus#7722 · Filter by author SeungheonOh opened on Apr 16, 2026

• BuiltinCasing crashes on GHC.Prim.Addr# when a join point exposes Data in its type

  bugInternalPlinth Pluginstatus: triaged
  Bug

  IntersectMBO/plutus#7716 · Filter by author Unisay opened on Apr 14, 2026
  

• Mainnet compatibility of Plutus releases is not discoverable

  Internalstatus: triaged
  IntersectMBO/plutus#7654 · Filter by author Unisay opened on Mar 9, 2026

• unionValue and unValueData are CPU-quadratic contrary to their Haddocks

  status: needs action from the team
  IntersectMBO/plutus#7604 · Filter by author effectfully opened on Feb 18, 2026

• When possible, remove un-need allow-newer stanzas for ghc-9.14

  Internalstatus: triaged
  IntersectMBO/plutus#7597 · Filter by author erikd opened on Feb 17, 2026

• Pull arrays for Plinth

  Internalstatus: triaged
  IntersectMBO/plutus#7536 · Filter by author kozross opened on Jan 21, 2026
  1

• dischargeCekValue doesn't handle open terms correctly

  bugGood first issuestatus: triaged
  IntersectMBO/plutus#7526 · Filter by author effectfully opened on Jan 15, 2026
  5

  

• PlutusTx.Foldable.foldMap, PlutusTx.AssocMap.<> and PlutusTx.AssocMap.mempty are non INLINEABLE

  bugstatus: triaged
  IntersectMBO/plutus#7512 · Filter by author paluh opened on Jan 9, 2026
  2

• mapData is more expensive than it needs to be

  CostingInternalstatus: triaged
  IntersectMBO/plutus#7508 · Filter by author effectfully opened on Dec 28, 2025

• BuiltinResult should only have two constructors

  InternalPerformancestatus: triaged
  IntersectMBO/plutus#7507 · Filter by author effectfully opened on Dec 28, 2025

• ReadKnownIn DefaultUni term Int64 should extract the Int directly

  InternalPerformancestatus: triaged
  IntersectMBO/plutus#7501 · Filter by author effectfully opened on Dec 21, 2025
  1

• Cannot compile some phantom types

  bugPlinth PluginPlinthstatus: triaged
  IntersectMBO/plutus#7498 · Filter by author bezirg opened on Dec 19, 2025

• Builtin semantic variants and language versions

  DocumentationPlutus Corestatus: triagedUser experience
  IntersectMBO/plutus#7426 · Filter by author carloskiki opened on Nov 17, 2025
  2

• uplc convert command sometimes generates an empty file on failure.

  bugLow prioritystatus: triagedUser experience
  IntersectMBO/plutus#7424 · Filter by author carloskiki opened on Nov 15, 2025
  1

  

• Optimize ScaleValue for special factors

  BuiltinsInternalstatus: triaged
  Feature

  IntersectMBO/plutus#7405 · Filter by author SeungheonOh opened on Nov 5, 2025

• Conform uplc parsing to spec

  BuiltinsLow prioritystatus: triagedTextual representation
  IntersectMBO/plutus#7383 · Filter by author carloskiki opened on Oct 12, 2025
  7

  

• Plutus Playground with Simple Startup Examples needed New Possibilities(extending the closed issue #6432)

  status: needs triage
  IntersectMBO/plutus#7379 · Filter by author besiwims opened on Oct 3, 2025
  2

• Redundant scope checking

  CostingLow priorityName handlingstatus: triaged
  IntersectMBO/plutus#7368 · Filter by author effectfully opened on Sep 25, 2025
  8