[wildcard] Eliminate the Checker/Emitter Semantic Split: Emit-Driven Verification via Explicit Desugared MIR (`hy-mir`)
Open-source bounty · GitHub (bounty labels) · open as of 18 Oct 2026
- Amount as listed
- —
- Platform
- GitHub (bounty labels)
- Kind of work
- Open-source bounty · Engineering
- Open to
- not stated by the platform
- Deadline
- not stated by the platform
- Status
- Open
- Checked
- 18 Oct 2026, 18:04 UTC
What the listing says
The idea, in a paragraph Replace the direct hy-syntax (AST) - hy-check and hy-syntax (AST) - hy-emit dual-interpretation pipeline with a single, explicit, desugared Mid-level Intermediate Representation ( hy-mir ) that lowers all implicit Go emission semantics BEFORE hy-check runs. Today, hy-check proves ownership and
Excerpt we recorded when we checked: Etiketten: 💎 Bounty, 💎 Bounty, wildcard
Open on GitHub (bounty labels) ↗
The work is offered, scoped and paid by GitHub (bounty labels) — not by GOAT Market. We record what they publish and link to it. Claiming, delivering and getting paid all happen on their site, under their terms.
More open on GitHub (bounty labels)
- [Feature] Implement Basic Anti-Cheat Protection $10,000
- [ Bounty $9k ] [ SDK ] Fix encoding.ts decodeParameter doesn't handle dynamic types — back... $9,000
- [ Bounty $9k ] [ Solidity ] Add gas sponsorship relay for agent transactions — security cr... $9,000
- [ Bounty $9k ] [ API ] Fix agents.py doesn't validate endpoint URL format — testnet findin... $9,000
- [ Bounty $9k ] [ SDK ] Fix rpc.ts doesn't handle JSON-RPC batch response ordering — backwa... $9,000