Issues

• Compiler: BigInteger.intValue()/longValue() do not narrow on-chain

  bloxbean/julc#294 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: @Param static final fields with a constant initializer are inlined by javac, so the applied parameter differs off-chain

  bloxbean/julc#293 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: String.equals with a non-String argument fails on-chain instead of returning false

  bloxbean/julc#292 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: a local declared in a switch default block leaks its type past the switch (silent wrong field read)

  bloxbean/julc#291 · Filter by author beanbot-gh opened on Oct 30, 2026
  2

• Compiler: method calls on a switch-expression or constructor-expression receiver are rejected (JULC0055)

  bloxbean/julc#290 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: String == compares values on-chain but references in Java

  bloxbean/julc#289 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: a downcast to the wrong record or variant type succeeds on-chain instead of failing

  bloxbean/julc#288 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: no nominal type check when assigning or passing a different record type

  bloxbean/julc#287 · Filter by author beanbot-gh opened on Oct 30, 2026
  2

• Compiler: ledger hash types resolve by simple name, bypassing import resolution

  bloxbean/julc#286 · Filter by author beanbot-gh opened on Oct 30, 2026
  1

• Compiler: top-level instanceof on a sealed value treats an unknown tag as not-an-instance

  bloxbean/julc#285 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: a top-level user record named like a ledger type is silently replaced by the ledger type

  bloxbean/julc#284 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: a colon-form switch arm without yield returns its expression instead of falling through

  bloxbean/julc#283 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: explicit accessors and equals declared in a record are silently ignored

  bloxbean/julc#282 · Filter by author beanbot-gh opened on Oct 30, 2026
  1

• Compiler: a zero-parameter static helper runs once at script start, even if never called

  bloxbean/julc#280 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: a record implementing two sealed interfaces gets one tag, so switch picks the wrong arm

  bloxbean/julc#279 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: equals between different record types with equal fields is true on-chain

  bloxbean/julc#277 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: record patterns in switch cases are silently dropped, so default runs instead

  bloxbean/julc#276 · Filter by author beanbot-gh opened on Oct 30, 2026

• Compiler: switch case guards (when) are ignored, so the wrong arm runs

  bloxbean/julc#275 · Filter by author beanbot-gh opened on Oct 30, 2026

• difftest: reuse each configuration's compiled program for its confirmation rerun

  enhancement
  bloxbean/julc#274 · Filter by author beanbot-gh opened on Oct 29, 2026

• Nested for-each with break and no accumulator ignores the break (T26)

  bugcompilersemantic-consistency
  bloxbean/julc#273 · Filter by author beanbot-gh opened on Oct 29, 2026

• Integer literals are not decoded as Java decodes them (T25)

  bugcompilersemantic-consistency
  bloxbean/julc#270 · Filter by author beanbot-gh opened on Oct 29, 2026

• Unicode escapes are not translated before parsing (T24)

  bugcompilersemantic-consistency
  bloxbean/julc#268 · Filter by author beanbot-gh opened on Oct 29, 2026

• PlutusData class initialization deadlocks on concurrent first use (interface UNIT + default methods)

  yano
  bloxbean/julc#266 · Filter by author beanbot-gh opened on Oct 29, 2026

• JavaVmProvider: prepared evaluation (time CEK without setup) and CEK allocation on turbo scripts

  conformanceyano
  bloxbean/julc#259 · Filter by author beanbot-gh opened on Oct 28, 2026
  1

• Semantic-consistency findings from the differential harness (T20–T23)

  semantic-consistency
  bloxbean/julc#258 · Filter by author beanbot-gh opened on Oct 28, 2026