Hangul: Artifact for "A Contract Calculus for Carbon Accounting"
Anonymous
🤖 gxceed AI 要約
日本語
炭素会計の推定量を契約として形式化し、共有誤差源の保持と各要素の誤差上限を扱う研究基盤(Hangul)の記述。構成要素の差し替えが既存レポートの妥当性を保つかを検査する仕組みを提供する。Carbdownの強化風化実験を事例に排水系の差し替えと下流の丸め契約修復を検証し、Lean 4による健全性機械化とPython実装を含む。
English
Hangul is the research artifact for a contract calculus for carbon accounting, giving accounting components contracts that identify estimated quantities, preserve shared error sources, and bound introduced error. It supports compositional reporting guarantees and checks that a component replacement preserves accepted reports. A Carbdown enhanced-weathering case study examines drainage replacement and rounding-contract repair, backed by a Python implementation and a Lean 4 soundness mechanization.
Unofficial AI-generated summary based on the public title and abstract. Not an official translation.
📝 gxceed 編集解説 — Why this matters
日本のGX文脈において
炭素会計の数値の信頼性・監査可能性を形式手法で担保する試みは、SSBJ開示や第三者保証の高度化を目指す日本企業・監査実務にとって示唆的。算定誤差の伝播管理はScope 3推計の説明責任に直結する。
In the global GX context
As ISSB/CSRD assurance tightens, formal guarantees on carbon-accounting estimates and error propagation speak directly to disclosure-infrastructure debates on auditability and compositional reporting integrity.
👥 読者別の含意
🔬研究者:炭素会計の誤差伝播と構成性を形式検証する枠組みとして、会計・計算機科学の交叉研究に資する。
🏢実務担当者:算定要素の差し替え時に既存開示の妥当性を保つ検査手法として、算定プロセス管理に応用可能。
🏛政策担当者:第三者保証や算定基準の監査可能性を高める技術的裏付けとして参照価値がある。
📄 Abstract（原文）
Hangul is the research artifact accompanying A Contract Calculus for Carbon Accounting. It gives accounting components contracts that identify the quantity being estimated, preserve shared error sources, and bound the error each component introduces. These contracts support compositional reporting guarantees and checks that determine whether a replacement preserves the reports accepted by its clients. The artifact includes a Python implementation of the calculus, report-certificate construction and component-replacement checks; a Lean 4 mechanization of soundness for the integer core under its component and data premises; and optional OCaml checkers for earlier restricted fragments. The main case study uses the Carbdown enhanced rock weathering experiment to examine drainage replacement and repair of a downstream rounding contract. Supporting experiments evaluate replacement decisions, reporting rules and certificate premises. The archive contains proof sources, implementations, tests, synthetic fixtures, experimental results and reproduction instructions. It provides a lightweight offline smoke test, a complete offline proof-and-test workflow, and scripts that retrieve pinned public inputs for the published-data experiments. Original third-party datasets are retrieved from their source repositories rather than redistributed in the archive.
🔗 Provenance — このレコードを発見したソース
- openalex https://doi.org/10.5281/zenodo.23841746first seen 2026-11-02 04:52:31 · last seen 2026-11-06 04:57:37
🔔 こうした論文の新着を逃したくない方は キーワードアラート に登録（無料・3キーワードまで）。
gxceed は公開メタデータに基づく研究支援データセットです。要約・翻訳・解説は AI 支援で生成されています。 最終的な解釈・検証は利用者が原典資料に基づいて行うことを前提とします。