はじめに
2026年5月5日にエポック629で提出されたガバナンスアクション「Pebble & Ecosystem maintenance: TypeScript core of Cardano」について、SIPO DRepとしての分析と判断をお伝えします。
本提案は、Harmonic Laboratories（以下HLabs）が提出したTreasury Withdrawal（トレジャリー出金）提案であり、申請額は₳4,600,000（約$1.15M、$0.25 ADA/USD換算）です。12ヶ月の期間で、Pebble（スマートコントラクト言語＋開発ツール）の開発と、HLabsが既にメンテナンスしている基盤TypeScriptライブラリ群のハードフォーク対応への資金提供を求めています。
本提案は単独の新規提案ではありません。2026年4月10日にSIPOが「期待事項付きYES」を投じた当初のHLabs 2026 Budget提案（₳8,035,714の単一提案）が、DRep批准において66.78%となり、67%閾値に僅差で届かなかったことを受け、HLabsがコミュニティフィードバックを反映して2つの独立投票可能な提案に分割再提出した片方です。もう片方の「The first node in the browser; a Cardano USP (Gerolamo)」については別記事で扱います。
SIPOは本提案に賛成（YES）を投じます。以下、構造的に何が改善されたのか、SIPOが当初投票時に付した5つの期待事項にどう応答されているのか、そして今回新たに付す8つの拘束力ある運用上の期待事項を整理してお伝えします。
提案の全体像
| 項目 | 内容 |
|---|---|
| 提案名 | Pebble & Ecosystem maintenance: TypeScript core of Cardano |
| タイプ | Treasury Withdrawal |
| 申請額 | ₳4,600,000（$1M + 15%コンティンジェンシー、$0.25/ADA換算） |
| 期間 | 12ヶ月（Q2 2026 – Q1 2027） |
| 提案者 | Harmonic Laboratories (HLabs) |
| 提出エポック | 629（2026年5月5日） |
| 失効エポック | 635（2026年6月9日） |
| Governance Action ID | gov_action1ggr2uz7prwn5l84cdn2krwngfez0p7wluy4u3u3ez9pz5ls2whesqnsjly8 |
配分内訳：
| スコープ | FTE | 金額 |
|---|---|---|
| Pebble（言語＋開発ツール） | 3.5 | $700,000 |
| ハードフォーク＆ツーリングメンテナンス | 1.5 | $300,000 |
| 小計 | 5.0 | $1,000,000 |
| 15%コンティンジェンシー | – | $150,000 |
| 合計 | 5.0 | $1,150,000 |
$0.25 ADA/USDで換算し、₳4,600,000となります。
合算で見ると、もう片方のGerolamo提案（同₳4,600,000）と合わせて₳9,200,000、約$2.3Mとなり、当初の₳8,035,714（$2.8125M @ $0.35/ADA）と比較してUSD換算で約30%の削減になっています。
当初提案との差分 ― 何が構造的に変わったか
SIPOは当初提案に対し「期待事項付きYES」を投じる際に、7つの拘束力ある運用上のコミットメントを期待事項として示しました。そのうち本Pebble提案に直接該当する5項目について、再提出版でどう構造的に応答されたかを順に確認します。
① 月次ベロシティの透明性
本再提出は、HarmonicLabs/2026-treasury-proposal リポジトリの docs/reports/ 配下に Monthly Lightweight Updates を毎月公開することを明示的にコミットしています。さらに四半期詳細レポート（財務サマリー、差異分析、リスクレジスタ更新）と、各オンチェーン支払を記録する Public Transaction Journal（tx hash、アクション種別、金額、署名者、オンチェーンメタデータハッシュ）が併設されます。
これはSIPOがAmaru・Dingoに対して既に求めてきた報告規律の標準と一致しており、当初期待事項①への直接応答と評価できます。
② Q2ハードフォーク（intra-era / Plutus V4）対応を構造的ゲートとして
これが本再提出における最も重要な構造的改善です。
当初提案ではHF対応は「Pebble開発と並行的にメンテナンスする」位置づけでしたが、再提出版では Milestone 1.B（Q2 2026, 4-6月）：Hard Fork Readiness として、独立支払可能なサブマイルストーン（₳210,000 = ₳180,000ベース + ₳30,000コンティンジェンシー、M1の20%）に分離されました。
Acceptance Criterionは、4ライブラリ（cardano-ledger-ts、ouroboros-miniprotocols-ts、plutus-machine、uplc）すべてについてPlutus V4テストネットスナップショットへのCIグリーンが必要となります。Independent Oversight Committeeがこれを検証してから支払を共同署名します。
ここで構造的に重要なのは、M1.A（Pebble型システム）とM1.B（HF対応）が独立して共同署名・支払可能という点です。Pebble側の進捗とHFメンテナンスをバンドルしたり遅延させたりするインセンティブが、HLabsから構造的に排除されています。SIPOが当初期待事項②で「最も荷重を担うデリバリー」と位置づけたHF対応に対する、想定を上回る構造的回答と評価できます。
③ 過去Catalyst / トレジャリー案件の説明責任
本再提出は、HLabsが初めてトレジャリー資金を受領した EC-0014-25 Gerolamoトレジャリー契約（₳578,571、2025年8月12日〜2026年3月30日実行）に関する 2025 Retrospective を IPFS（QmZVw82XNXNsgGmBj39R26Mx7jgzWaNjSw4A7JM9Erye9c）で公開しています。
Retrospectiveは計画13項目のうち11項目を完全デリバリ、2項目を基盤実装済みで進行中と記録しています。完納項目はOuroboros mini-protocols、multi-era chain sync、block/header parsing、VRF検証付きheader validation、transaction submission、block validation、rollback handling、WAL concurrency付きfull storage、HTTP block API、mempool management、terminal UI/loggingに及びます。進行中の2項目はP2P peer management（複数ピア対応自体は実装済みで動的ピア選択が次フェーズ）とMithril integration（初期サポート実装済みで改善継続中）です。
さらに注目すべきは、ADA/USDレートが提出時の約0.7から現在0.3以下に下落したことで実効USDが半分以下になったにもかかわらず、HLabsがコミットメントを履行した事実です。これは「資金提供を受けても市場環境次第で履行しない」リスクへの、過去実績ベースの強い反証です。
SIPOは本Retrospectiveを、当初4月10日投票時には存在していなかった有意義なトラックレコードシグナルと評価します。
④ Aikenとの補完関係を言葉だけでなく実務で
本再提出は『Why Pebble and Aiken can coexist (and Cardano benefits from both)』というセクションを明示的に含み、補完性テーブルでPebbleを命令型/TypeScript的/Web2・EVM開発者向けと、Aikenを関数型/Rust的/FP堪能開発者向けと位置づけています。
さらにIndependent Oversight BoardにはLucas Rosa氏（Aiken、Starstream、Midnight）が含まれており、Aikenの視点がマイルストーン共同署名プロセス内部に直接配置されています。これは「補完するつもりだ」という言葉ではなく、ガバナンス構造として補完性が強制されることを意味します。
SIPOはこれを補完性期待事項に対する最強の構造的回答と評価します。
⑤ 25%コンティンジェンシーバッファの規律
本再提出はコンティンジェンシーを25%から15%へ、絶対値で10パーセンテージポイント削減し、明示的に返還可能なリザーブとして構造化しています。
コンティンジェンシーはSundaeLabs vendor.ak 契約にエスクローされ、契約満了時の未使用残高は契約レベルで強制的にCardanoトレジャリーにfailsafe sweepで戻ります。SIPOが当初期待事項⑤で「コンティンジェンシーはリスクポリシーであり裁量的拡張予算であってはならない」と示した規律に、直接かつ構造的に応答されています。
戦略的価値の評価 ― なぜPebbleか、なぜTSメンテナンスか
Pebble ― 開発者ファネルの拡張
Cardano Foundationの年次開発者調査によれば、TypeScript・JavaScriptはCardano開発者の中で最も使用されている言語であり、Stack OverflowなどのグローバルなIT開発者調査でも10年以上トップにランクされ続けています。現役の開発者人口は数千万人規模です。
PebbleはTypeScript的な構文を意図的に採用しており、完全型推論を備えた命令型優先のUPLCターゲット言語です。公開されているUPLC-CAPEベンチマーク（IntersectMBOによる独立評価）は、Pebbleが：
- CPUとメモリ予算で同等のAikenコントラクトを厳格に上回る
- スクリプトサイズも小さい
- 手調整Plutarchと同等の領域のパフォーマンスを示す
ことを明らかにしています。
重要なのは、これがAiken対Pebbleという競合構図ではなく、異なる認知モデルを持つ開発者のための複数の正統な入口を持つことです。両者はいずれも最終的に最適化されたUPLCにコンパイルされ、オンチェーンでは同じ効率性を発揮します。
これはCardano 2030戦略フレームワークのPillar 2（A.3 Developer Experience — Education & migration）と直接整合します。同項目はEVMやアカウントベース開発者がCardanoへ移行するための資料と経路を明示的に求めており、Pebbleはその構造的回答となります。
TSライブラリメンテナンス ― 負荷を担う公共財インフラ
1.5 FTEのメンテナンススコープでファンディングされる4ライブラリは、Cardano TypeScriptエコシステムの相当部分にとって、直接または間接の依存関係として基盤となっています：
- Mesh（Cardano上で最も広く使われているdApp SDK）
- Lucid Evolution（Anastasia Labsが積極的にメンテナンスしているLucidフォーク、多数のプロダクションウォレットとdAppが依存）
- Midgard（Anastasia LabsのLayer 2）
- 多数のウォレット、インデクサ、dAppバックエンド
プロトコルが変更されるたびに、これらのライブラリは速やかに更新される必要があります。更新が遅れれば、下流プロジェクトはビルド破壊、緊急書き直し、または静かな正しさのバグに直面します。
ファンディングをスキップしてもコストは消えません。代わりに下流の数十チームに分散・吸収されることになり、各チームが個別かつ不均一に対応することで、エコシステム全体のリソースが重複消費されます。1.5 FTEでこの構造的リスクを回避できるのであれば、極めて費用対効果の高い投資です。
ガバナンス構造の評価
本提案は、資金をSundaeLabs treasury-contracts フレームワーク（TxPipeとMLabsにより独立監査済み）に保持します。これはSIPOが既にAmaru、Dingo、IOG 9提案ラウンド（2026-05-09）、Blockfrost、Pogunに対してYESを投じた際と同じ監査済みエスクロー契約です。
Independent Oversight Boardは以下の3名で構成されています：
- Santiago Carmuega（TxPipe、Dolos）
- Lucas Rosa（Aiken、Starstream、Midnight）
- Chris Gianelloni（BlinkLabs、Dingo）
いずれもHLabsに持分を持たず、Cardanoインフラに直接的な技術的信頼性を持つ運用者です。AikenとDingoの中心人物がボードに含まれている点は、異なる言語実装・異なる開発哲学を持つプロジェクト間で協力関係が築かれていることを示す強いシグナルです。
権限スキームは以下の通りです：
| アクション | 権限 |
|---|---|
| 定期支払（Disburse） | HLabs + ボードメンバー1名 |
| 早期返却（Sweep） | HLabs + ボードメンバー1名 |
| マイルストーン調整（Reorganize） | HLabs単独 |
| 初期設定（Fund） | ボード過半数 |
| マイルストーン停止（Pause） | ボードメンバー1名 |
| マイルストーン再開（Resume） | ボード過半数 |
| プロジェクト変更（Modify） | HLabs + ボード過半数 |
単一ボードメンバーがマイルストーンを一時停止できる構造になっており、日常運用は軽量、構造的変更は重い承認プロセスが求められる、妥当な設計です。
エスクロー中のトレジャリー資金はDRepレベルでAuto-abstain強制かつSPO委任不可、契約満了時の未使用資金は契約強制failsafeでCardanoトレジャリーへ自動返却されます。SIPOが既に複数回承認し、この規模のトレジャリー出金として適切と引き続き考える標準です。
マイルストーン構造 ― 検証可能な配送計画
| マイルストーン | 期間 | 配送内容 | 配分（base + contingency） |
|---|---|---|---|
| M0 | 起動時 | プロジェクト初期化・ガバナンス設定 | ₳400,000（10%、コンティンジェンシーなし） |
| M1.A | Q2 2026 | Pebble型システム完成 + 例コントラクト ≥3本 | ₳720k + ₳120k = ₳840,000 |
| M1.B | Q2 2026 | 4ライブラリPlutus V4対応リリース（独立支払） | ₳180k + ₳30k = ₳210,000 |
| M2 | Q3 2026 | Pebble言語完成度 + Plutus V4 codegen + UPLC-CAPE submissions | ₳900k + ₳150k = ₳1,050,000 |
| M3 | Q4 2026 | 開発者ツーリング・IDE体験（REPL、ソースマップ、LSP） | ₳900k + ₳150k = ₳1,050,000 |
| M4 | Q1 2027 | ドキュメンテーション・チュートリアル・採用プッシュ | ₳900k + ₳150k = ₳1,050,000 |
各マイルストーンは、コミットされたGitHubリリース、UPLC-CAPE提出、公開ベンチマークレポート、コミット済みテストログといった公開アーティファクトから客観的に検証可能なAcceptance Criterionが定義されており、自己報告ではなく独立監視委員会がオープンに確認できる構造です。
SIPOが新たに付す拘束力ある運用上の期待事項
SIPOのYESは、以下が拘束力ある運用コミットメントとして扱われ、Independent Oversight Committeeの公開レビューに基づき、コミュニティが四半期ごとに評価することを条件とします：
- M1.B HF対応：Q2 2026中に4ライブラリすべてについてPlutus V4テストネットスナップショットへのCIグリーン証跡をタグ付きリリースとして公開し、リリースコミットから検証可能とすること。本ゲート達成失敗時は証跡提供までOversight CommitteeがM1.Bを一時停止すべきであり、M1.Aは独立して支払継続可能とすること。
- Pebble採用指標を四半期ごとに一次証跡で報告：Pebbleタグ付きリリースのnpmダウンロード数、GitHubリポジトリのスター数および貢献者数、該当する場合のDiscordメンバー数、公開エンドツーエンドチュートリアルへのリンク。目標は12ヶ月で20以上の開発者オンボーディング、100%文書化、3以上のエンドツーエンドチュートリアル。年末単一クレーム不可。
- Aiken相互運用性は主張ではなく実証：ファンディング期間中にLucas Rosa氏（Oversight Board）およびAikenチームと、共有Plutus blueprint、共有conformanceテストコーパス、またはAikenチームと共同定義のUPLC-CAPEベンチマークカテゴリのいずれかで具体デリバラブルに取り組むこと。
- UPLC-CAPE参加の拡張：M2（Q3 2026）までに、Pebbleはnaive-recursion Fibonacci/Factorial以外の少なくとも1つの追加UPLC-CAPEカテゴリ（open-optimization Fibonacci、Factorial、または3つの実世界コントラクトシナリオ — Two-Party Escrow、Linear Vesting、HTLC — のうち少なくとも1つ）で結果を提出すること。
- コンティンジェンシー使用の公開会計：マイルストーンベースライン分を超える₳600,000コンティンジェンシーリザーブの支払はすべて、四半期レポートおよびトランザクションジャーナルに公開正当化エントリを伴うものとし、原因と引き出し額を識別する。契約満了時の未使用コンティンジェンシーはSundaeLabs failsafeを通じてCardanoトレジャリーへ返却されること。
- Plutus V4 codegen（M2）のエンドツーエンド実証：Plutus V4 preview/preprodノード上でPebbleコントラクトが成功裏に実行可能であることを、コミットされたログまたはtxリンクをAcceptance Evidenceとして達成すること。
- Independent Oversight Committeeレビューの安定フォーマット公開：マイルストーン進捗、KPI推移、遅延理由、次四半期のクリティカルパスを、四半期間で比較可能な形で公開すること。SIPOがAmaru・Dingoに求めてきたのと同じ報告規律を期待。
- スコープ封じ込め：ファンディング期間中、Pebble言語+4ライブラリ外への方向転換（PebbleをUPLCを超えて拡張する、4ライブラリを超える追加引き受け、Aikenロードマップと重複するスコープの吸収等）は、独自の監査計画と予算をもつ別個のガバナンスアクションとして戻されるべきであり、現在の申請に吸収されるべきではない。
過去投票スタンスとの整合性
SIPOは本提案を、過去にYESを投じてきた以下のドクトリンの自然な延長として位置づけます：
ノード多様性ドクトリン
- Amaru（Rust block producer）→ YES
- Dingo（Go block producer）→ YES
- 原 HLabs Pebble + Gerolamo Budget → YES（期待事項付き）
論理：Haskell単一実装リスクはEthereum Prysmインシデント（2026年3月）が証明した実在のリスクであり、マルチクライアントアーキテクチャはインフラ保険である。Pebbleはこのドクトリンを「ノード実装」から「スマートコントラクト言語実装」へと拡張するもので、Aiken・Plutarch・Pebbleの三言語体制はUPLCターゲットでの開発者選択肢の多様化に貢献する。
公共財インフラドクトリン
- DeFi Liquidity Budget → YES
- Cardano DeFi Liquidity Budget再提出 → YES
- IOG 9提案ラウンド全件 → YES
- Blockfrost: Maintenance + Next Generation Indexing → YES
論理：「実験的DAOから公共ブロックチェーンへの制度設計コスト」として、エコシステムが既に依存しているインフラの維持・拡張はTreasury資金提供の正統な対象である。TSライブラリメンテナンスはこの分類の典型例。
Cardano 2030戦略整合
本提案はCardano 2030戦略フレームワークのPillar 2（A.3 Developer Experience — Education & migration）と直接整合し、測定可能な採用指標（≥20 devs、≥3 tutorials、100%文書化）を明示しています。
Treasury Fitドクトリンv2.0照合
2026年4月18日のCardano Summit / TOKEN2049提案でNOを投じた際に確立したTreasury Fitドクトリンv2.0は、Treasury Withdrawal提案へのNO判定をトリガーする8つの構造シグナルを定義します。本提案はそのいずれも引き起こしません：HLabsは自己資金不可能なR&D企業、Oversight Board構造は三重利益相反パターンを防いでおり、本提案は公共財インフラ（プログラミング言語と共有TSライブラリ）であってブランドマーケティングではなく、IOG presenceは構造的に必要ではなく、具体的でニュース価値のある技術的デリバラブル（Plutus V4 codegen、LSP、UPLC-CAPE提出）を含み、イベント提案ではない。Treasury Fitはポジティブです。
結び
SIPOは本提案を、当初HLabs 2026 askの言語およびツーリング半分の、首尾一貫した構造的に改善された再提出として評価します。SIPOが当初YESに付した拘束力ある期待事項のすべてが、再提出されたテキストとマイルストーン構造で対応されています。基礎にある公共財ケース — 命令型UPLCターゲット言語を通じたCardano開発者ファネルの拡大、およびエコシステムの相当部分が既に依存しているTypeScriptライブラリの継続維持 — は弱まっていません。
SIPOのYESは、デリバリーから切り離されたHLabsという組織への信認票ではありません。本提案の特定の作業スコープを、特定の予算水準で、特定のガバナンス構造のもとで資金提供する価値があるとの判断票です。ただし、上記の8つの期待事項が拘束力ある運用上のコミットメントとして扱われ、各支払前にIndependent Oversight Committeeによって検証されることを条件とします。
以上の理由により、SIPO DRepとして本提案に賛成（YES）を投じます。
SIPO DRep: How We View the Resubmitted “Pebble & Ecosystem Maintenance: TypeScript Core of Cardano” Proposal ― Analysis, YES Vote, and Stance
Introduction
This article presents SIPO DRep’s analysis and decision on the governance action “Pebble & Ecosystem maintenance: TypeScript core of Cardano,” submitted in Epoch 629 on 2026-05-05.
This is a Treasury Withdrawal proposal submitted by Harmonic Laboratories (HLabs), requesting ₳4,600,000 (approximately $1.15M at $0.25 ADA/USD). Over a 12-month period, it funds the development of Pebble (a smart-contract language with developer tooling) and the hard-fork maintenance of the foundational TypeScript libraries HLabs already maintains.
This is not a standalone new proposal. The original HLabs 2026 Budget proposal (a single ₳8,035,714 ask), on which SIPO voted YES with expectations on 2026-04-10, narrowly missed DRep ratification at 66.78%, just below the 67% threshold. HLabs responded to community feedback by splitting the work into two independently-votable proposals. This is one half. The other half (“The first node in the browser; a Cardano USP — Gerolamo”) is covered in a separate article.
SIPO votes YES on this proposal. Below we lay out what was structurally improved, how the five expectations SIPO attached to the original vote are addressed, and the eight new binding operational expectations SIPO attaches to this YES.
Proposal Overview
| Item | Detail |
|---|---|
| Title | Pebble & Ecosystem maintenance: TypeScript core of Cardano |
| Type | Treasury Withdrawal |
| Ask | ₳4,600,000 ($1M + 15% contingency at $0.25/ADA) |
| Duration | 12 months (Q2 2026 – Q1 2027) |
| Proposer | Harmonic Laboratories (HLabs) |
| Submitted | Epoch 629 (2026-05-05) |
| Expires | Epoch 635 (2026-06-09) |
| Governance Action ID | gov_action1ggr2uz7prwn5l84cdn2krwngfez0p7wluy4u3u3ez9pz5ls2whesqnsjly8 |
Allocation:
| Scope | FTE | USD |
|---|---|---|
| Pebble (language + dev tools) | 3.5 | $700,000 |
| Hard-fork & tooling maintenance | 1.5 | $300,000 |
| Subtotal | 5.0 | $1,000,000 |
| 15% contingency | – | $150,000 |
| Total | 5.0 | $1,150,000 |
At $0.25 ADA/USD, this converts to ₳4,600,000.
Combined with the other resubmission (Gerolamo, also ₳4,600,000), the total ask is ₳9,200,000 (~$2.3M), an approximately 30% USD reduction from the original ₳8,035,714 ($2.8125M @ $0.35/ADA).
What Changed Structurally from the Original
SIPO’s original YES vote was conditional on seven binding operational commitments. The five that apply directly to this scope have been addressed structurally in the resubmission:
① Monthly velocity transparency
The resubmission explicitly commits to Monthly Lightweight Updates published to docs/reports/ in the HarmonicLabs/2026-treasury-proposal repository, alongside Quarterly Detailed Reports (financial summary, variance analysis, updated risk register) and a Public Transaction Journal recording each on-chain disbursement with tx hash, action type, amount, signers, and on-chain metadata hash.
This matches the reporting standard SIPO has already asked of Amaru and Dingo, and is a direct response to original expectation ①.
② Q2 hard-fork (intra-era / Plutus V4) readiness as a structural gate
This is the most important structural improvement in the resubmission.
In the original proposal, HF maintenance was positioned as “concurrent with Pebble development.” In the resubmission, Milestone 1.B (Q2 2026, Apr–Jun): Hard Fork Readiness is broken out as an independently-payable sub-milestone (₳210,000 = ₳180,000 base + ₳30,000 contingency, 20% of M1).
Acceptance criterion: all four libraries (cardano-ledger-ts, ouroboros-miniprotocols-ts, plutus-machine, uplc) must publish tagged releases supporting Plutus V4 + revised cost model + new protocol parameters, with each library’s existing test suite passing against a Plutus V4 testnet snapshot (CI green on the release commit). The Independent Oversight Committee verifies this before co-signing disbursement.
Structurally, the key property is that M1.A (Pebble type system) and M1.B (HF maintenance) can be co-signed and paid independently. This eliminates any incentive for HLabs to bundle HF maintenance with Pebble’s own progress or to delay HF work. SIPO had positioned HF readiness as “the most load-bearing deliverable” in the original expectation; the resubmission delivers a stronger structural answer than SIPO asked for.
③ Past Catalyst / treasury delivery accountability
The resubmission publishes a 2025 Retrospective at IPFS QmZVw82XNXNsgGmBj39R26Mx7jgzWaNjSw4A7JM9Erye9c covering HLabs’s first treasury-funded work, the EC-0014-25 Gerolamo Treasury Contract (₳578,571, executed 2025-08-12 to 2026-03-30).
The retrospective documents 11 of 13 planned items as fully shipped (Ouroboros mini-protocols, multi-era chain sync, block/header parsing, header validation with VRF, transaction submission, block validation, rollback handling, full storage with WAL concurrency, HTTP block API, mempool management, terminal UI/logging) and 2 of 13 as in progress with foundations in place (P2P peer management — multi-peer handling is implemented, dynamic peer selection is next; Mithril integration — initial support integrated, ongoing).
Notably, HLabs delivered on its commitments despite the project being effectively underfunded by more than half in USD terms: the ADA/USD rate dropped from approximately 0.7 at submission to under 0.3 today. This is a meaningful counter-signal against the risk that “a team receives treasury funding then fails to deliver if market conditions deteriorate.”
SIPO considers this published retrospective a meaningful track-record signal that did not exist at the time of the original 2026-04-10 vote.
④ Aiken complementarity maintained in practice
The resubmission contains an explicit section titled “Why Pebble and Aiken can coexist (and Cardano benefits from both).” The complementarity table maps Pebble to imperative / TypeScript-shaped / Web2 and EVM developers, and Aiken to functional / Rust-shaped / FP-fluent developers.
More importantly, the Independent Oversight Board includes Lucas Rosa (Aiken, Starstream, Midnight), placing Aiken’s perspective directly inside the milestone co-signing process. This is not “we intend to be complementary” — it is complementarity enforced as a governance structure.
SIPO considers this the strongest possible structural answer to the complementarity expectation.
⑤ 25% contingency discipline
The resubmission reduces contingency from 25% to 15%, a 10-percentage-point absolute reduction, and explicitly structures it as a refundable reserve.
The contingency is escrowed in the SundaeLabs vendor.ak contract, and unused balance at contract expiration sweeps back to the Cardano treasury via a contract-level failsafe sweep that cannot be overridden. This is a direct and structural response to SIPO’s original expectation that contingency be a risk policy, not a discretionary expansion budget.
Strategic Value ― Why Pebble, Why TypeScript Maintenance
Pebble ― expanding the developer funnel
Cardano Foundation’s annual developer surveys consistently show TypeScript and JavaScript as the most-used languages among Cardano developers, by a wide margin. Global surveys consistently rank JavaScript and TypeScript at or near the top for over a decade, with a working developer population in the tens of millions.
Pebble’s surface syntax is deliberately TypeScript-shaped. It is an imperative-first language with strong static typing and full type inference, targeting UPLC. The published UPLC-CAPE benchmarks (independently produced by IntersectMBO) show that Pebble:
- strictly outperforms equivalent Aiken contracts in both CPU and memory budget, with smaller script sizes
- comes within range (or better) of hand-tuned Plutarch on the same workloads
- achieves this without asking developers to think about UPLC primitives, scopes, or builtin selection
The choice is not Aiken versus Pebble. It is Cardano having multiple legitimate on-ramps for developers with different cognitive models, all compiling to optimized UPLC. Aiken remains the FP-fluent option; Pebble opens the EVM / Web2 / Solidity-shaped onramp.
This aligns directly with the Cardano 2030 Strategic Framework’s Pillar 2 (A.3 Developer Experience — Education & migration), which explicitly calls for materials and pathways helping EVM and account-based developers move to Cardano / UTxO.
TypeScript library maintenance ― load-bearing public-good infrastructure
The four libraries funded under the 1.5 FTE maintenance scope — cardano-ledger-ts, ouroboros-miniprotocols-ts, plutus-machine, uplc — are direct or transitive dependencies of a significant share of the Cardano TypeScript ecosystem:
- Mesh, the most widely-used dApp SDK on Cardano
- Lucid Evolution, the actively-maintained Lucid fork from Anastasia Labs, depended on by a large fraction of production wallets and dApps
- Midgard, Anastasia Labs’s Layer 2 running in production
- A long tail of wallets, indexers, and dApp backends
When the protocol changes, these libraries must be updated promptly, or downstream projects face broken builds, emergency rewrites, or silent correctness bugs. Skipping this funding does not save money — it pushes the cost to dozens of downstream teams who absorb it independently and inconsistently. Letting these libraries fall into the common open-source pattern of maintainer burnout would be a foreseeable and avoidable self-inflicted wound for the ecosystem. 1.5 FTE to prevent this is a high-leverage investment.
Governance Structure
Funds are held in the SundaeLabs treasury-contracts framework (independently audited by TxPipe and MLabs). This is the same audited escrow SIPO has already approved for Amaru, Dingo, the IOG 9-proposal round (2026-05-09), Blockfrost, and Pogun.
The Independent Oversight Board consists of:
- Santiago Carmuega (TxPipe, Dolos)
- Lucas Rosa (Aiken, Starstream, Midnight)
- Chris Gianelloni (BlinkLabs, Dingo)
None hold a stake in HLabs, and each has direct technical credibility in Cardano infrastructure. The presence of Aiken and Dingo leadership on the board is a strong signal of inter-project cooperation across language and implementation choices.
Permission scheme:
| Action | Authority |
|---|---|
| Periodic disbursement | HLabs + any 1 board member |
| Early sweep | HLabs + any 1 board member |
| Reorganize milestones | HLabs only |
| Initial vendor setup | Board majority |
| Pause milestone | Any 1 board member |
| Resume milestone | Board majority |
| Modify project | HLabs + board majority |
Escrowed treasury funds are forced to auto-abstain at the DRep level and cannot be SPO-delegated. Unused funds at contract expiration sweep back to the Cardano treasury via a contract-enforced failsafe. This is the standard SIPO has approved repeatedly and continues to consider appropriate for treasury withdrawals of this size.
Milestone Structure ― Verifiable Delivery Plan
| Milestone | Period | Deliverables | Allocation (base + contingency) |
|---|---|---|---|
| M0 | Kickoff | Project initialization + governance setup | ₳400,000 (10%, no contingency) |
| M1.A | Q2 2026 | Pebble type system + ≥3 example contracts | ₳720k + ₳120k = ₳840,000 |
| M1.B | Q2 2026 | 4 libraries Plutus V4-ready releases (independently payable) | ₳180k + ₳30k = ₳210,000 |
| M2 | Q3 2026 | Pebble language completeness + Plutus V4 codegen + UPLC-CAPE submissions | ₳900k + ₳150k = ₳1,050,000 |
| M3 | Q4 2026 | Developer tooling & IDE experience (REPL, sourcemaps, LSP) | ₳900k + ₳150k = ₳1,050,000 |
| M4 | Q1 2027 | Documentation, tutorials, adoption push | ₳900k + ₳150k = ₳1,050,000 |
Acceptance criteria are written to be objective and inspectable from a public artifact (a tagged release, a UPLC-CAPE submission, a published benchmark report, a committed test log), not self-reported.
SIPO’s New Binding Operational Expectations
SIPO’s YES is conditional on the following being treated as binding operational commitments, evaluated quarterly by the community against the Independent Oversight Committee’s published reviews:
- M1.B HF readiness must produce CI-green Plutus V4 testnet snapshot evidence for all four maintained libraries within Q2 2026, published as tagged releases verifiable from the release commits. Failure to ship this gate must trigger an M1.B pause by the oversight committee until evidence is supplied; M1.A may continue to disburse independently.
- Pebble adoption indicators reported quarterly with primary evidence: npm download counts for Pebble tagged releases, GitHub repository stars and contributor counts, Discord member counts where applicable, and links to the published end-to-end tutorials. Targets remain ≥20 developers onboarded, 100% documentation coverage, and ≥3 end-to-end tutorials within 12 months. These should be reported alongside each quarterly disbursement, not as a year-end claim.
- Aiken interoperability demonstrated, not merely asserted: HLabs is expected to engage Lucas Rosa (already on the oversight board) and the Aiken team on at least one concrete interoperability deliverable during the funding period — shared Plutus blueprints, shared conformance test corpus, or a UPLC-CAPE benchmark category co-defined with the Aiken team.
- UPLC-CAPE participation extended beyond naive-recursion entries: by M2 (Q3 2026), Pebble is expected to submit results in at least one additional UPLC-CAPE category (open-optimization Fibonacci, Factorial, or at least one of the three real-world contract scenarios — Two-Party Escrow, Linear Vesting, HTLC).
- Contingency drawdown publicly accounted for: any disbursement of the ₳600,000 contingency reserve beyond the milestone-baseline portions must be accompanied by a public justification entry in the quarterly report and the public transaction journal, identifying the cause and the amount drawn. Unused contingency at contract expiration must sweep back to the Cardano treasury via the SundaeLabs failsafe.
- Plutus V4 codegen end-to-end execution (M2): must enable a Pebble contract to execute successfully on a Plutus V4 preview/preprod node, with a committed log or tx link as acceptance evidence.
- Independent Oversight Committee reviews published in a stable format comparable across quarters, covering milestone progress, KPI trends, delays with reasons, and the next quarter’s critical path. SIPO expects the same reporting discipline asked of Amaru and Dingo.
- Scope containment: any pivot outside Pebble language + the four named libraries during this funding period (expanding Pebble beyond UPLC, taking over additional libraries, absorbing scope that overlaps with Aiken’s roadmap) should come back as a separate governance action with its own audit plan and budget, not be absorbed into the current ask.
Consistency with Past SIPO Votes
SIPO positions this proposal as a natural extension of the following doctrines on which SIPO has previously voted YES:
Node and implementation diversity
- Amaru (Rust block producer) → YES
- Dingo (Go block producer) → YES
- Original HLabs Pebble + Gerolamo Budget → YES (with expectations)
Logic: Haskell single-implementation risk is real (Ethereum’s 2026-03 Prysm incident is the canonical reference); multi-client architecture is infrastructure insurance. Pebble extends this doctrine from “node implementation” to “smart-contract language implementation.” The Aiken / Plutarch / Pebble three-language structure for UPLC diversifies the developer-choice axis.
Public-good infrastructure
- DeFi Liquidity Budget → YES
- Cardano DeFi Liquidity Budget resubmission → YES
- IOG 9-proposal round → YES (all)
- Blockfrost: Maintenance + Next Generation Indexing → YES
Logic: As “the institutional-design cost of moving from experimental DAO to public blockchain,” maintenance and expansion of infrastructure the ecosystem already depends on is a legitimate object of treasury funding. TypeScript library maintenance is a canonical example of this category.
Cardano 2030 alignment
The proposal maps directly to Pillar 2 (A.3 Developer Experience — Education & migration) of the Cardano 2030 Strategic Framework and commits to measurable adoption indicators (≥20 developers, ≥3 tutorials, 100% documentation coverage).
Treasury Fit doctrine v2.0 check
SIPO’s Treasury Fit doctrine v2.0, established during the 2026-04-18 Cardano Summit / TOKEN2049 NO vote, defines eight structural signals that push toward NO. This proposal triggers none of them: HLabs is an R&D firm whose work cannot be self-funded; the Oversight Board structure prevents the triple-conflict-of-interest pattern; the proposal funds public-good infrastructure (a programming language and shared TypeScript libraries) rather than brand marketing; IOG presence is not structurally required; the proposal contains specific, news-worthy technical deliverables (Plutus V4 codegen, LSP, UPLC-CAPE submissions); and the speaker / track / content axes are not applicable because this is not an event proposal. Treasury Fit is positive.
Closing
SIPO views this proposal as a coherent and structurally improved resubmission of the language-and-tooling half of the original HLabs 2026 ask. Every binding expectation SIPO attached to the original YES is addressed in the resubmitted text and milestone structure. The underlying public-good case — expanding Cardano’s developer funnel through an imperative UPLC-targeted language and sustaining the TypeScript libraries the ecosystem already depends on — has not weakened.
SIPO’s YES is not a vote of confidence in HLabs as an organization abstracted from deliverables; it is a vote that this specific scope of work, at this specific budget level, under this specific governance structure, is worth funding — subject to the eight expectations above being treated as binding operational commitments and verified by the Independent Oversight Committee before each disbursement.
For these reasons, SIPO DRep votes YES.
References
- Proposal IPFS metadata:
ipfs://QmYJynuvpv1mY7yWDL763LcscHrFSCAW9d8SvCDf4BRdHK - HLabs proposal repo: https://github.com/HarmonicLabs/2026-treasury-proposal
- Pebble repo: https://github.com/HarmonicLabs/pebble
- Gerolamo repo: https://github.com/HarmonicLabs/gerolamo
- 2025 Retrospective (EC-0014-25): https://gateway.pinata.cloud/ipfs/QmZVw82XNXNsgGmBj39R26Mx7jgzWaNjSw4A7JM9Erye9c
- UPLC-CAPE: https://intersectmbo.github.io/UPLC-CAPE/
- SundaeLabs treasury-contracts: https://github.com/SundaeSwap-finance/treasury-contracts
- Cardano 2030 Strategic Framework: https://product.cardano.intersectmbo.org/vision/strategy-2030/
