IntersectMBO/formal-ledger-specifications

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

• `UTXO` doesn't check the number of collateral inputs

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance era: conway era: dijkstra sts:UTXO

  難易度 4/5 3〜5日 初心者へのやさしさ 55/100

  IntersectMBO/formal-ledger-specifications#1372 · 2026年10月28日 に作成

  メンテナーはふだん 3 日以内に返信

• Voting stake computation for pools with zero stake

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 1〜2日 初心者へのやさしさ 48/100

  IntersectMBO/formal-ledger-specifications#1366 · コメント 1 件 · 2026年10月20日 に作成

  メンテナーはふだん 3 日以内に返信

• [Leios] Worked example: the certificate branch, slot by slot

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: dijkstra Leios sts:CHAIN

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  IntersectMBO/formal-ledger-specifications#1365 · 2026年10月20日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Add DRep update certificate

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: dijkstra

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1325 · 2026年9月14日 に作成

  メンテナーはふだん 3 日以内に返信

• `txAuxData` does not contain scripts

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance era: alonzo era: shelley-ma era:conway

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  IntersectMBO/formal-ledger-specifications#1323 · 2026年9月11日 に作成

  メンテナーはふだん 3 日以内に返信

• `poolOwners` missing from `witsVKeyNeeded`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 55/100

  IntersectMBO/formal-ledger-specifications#1321 · 2026年9月11日 に作成

  メンテナーはふだん 3 日以内に返信

• [Conway] The last vote is applied at the CHAIN level

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era:conway property status:idea sts:CHAIN

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1312 · 2026年9月4日 に作成

  メンテナーはふだん 3 日以内に返信

• [Property tracking] improved design: replace prose marker with typechecked statement-proof pair

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  🛠️ infrastructure documentation

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1311 · 2026年9月4日 に作成

  メンテナーはふだん 3 日以内に返信

• Conformance failure: StakePoolParams metadata size constraint

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance

  難易度 3/5 1〜2日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1293 · 2026年8月13日 に作成

  メンテナーはふだん 3 日以内に返信

• Conformance failure: `MalformedReferenceScripts` and `MalformedScriptWitnesses`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance

  難易度 4/5 3〜5日 初心者へのやさしさ 25/100

  IntersectMBO/formal-ledger-specifications#1287 · 2026年8月4日 に作成

  メンテナーはふだん 3 日以内に返信

• Conformance failure: Vote delegations removed if a DRep is unregistered and reregistered within the same tx

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance

  難易度 3/5 1〜2日 初心者へのやさしさ 42/100

  IntersectMBO/formal-ledger-specifications#1284 · 2026年7月31日 に作成

  メンテナーはふだん 3 日以内に返信

• Conformance failure: Min-utxo value with output too large

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1281 · 2026年7月29日 に作成

  メンテナーはふだん 3 日以内に返信

• Support multi-assets in conformance testing

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance

  難易度 4/5 3〜5日 初心者へのやさしさ 25/100

  IntersectMBO/formal-ledger-specifications#1279 · 2026年7月29日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Rewire LEDGER-pov to consume the proved PoV modules and drop the discharged parameters

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  CIP 159 era: dijkstra property

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  IntersectMBO/formal-ledger-specifications#1277 · 2026年7月29日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Discharge the no-truncation withdrawal bounds (ENTITIES/SUBENTITIES-wdrls-bounded)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  CIP 159 era: dijkstra property

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1275 · 2026年7月29日 に作成

  メンテナーはふだん 3 日以内に返信

• Reduce typechecking time of `genErrors`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  IntersectMBO/formal-ledger-specifications#1269 · 2026年7月24日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Prevent prts in collateral return

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance era: dijkstra

  難易度 3/5 1〜2日 初心者へのやさしさ 55/100

  IntersectMBO/formal-ledger-specifications#1264 · 2026年7月20日 に作成

  メンテナーはふだん 3 日以内に返信

• [Conway] Derive the EventuallyRefunded refund-deadline invariant from the CHAIN rule

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: conway property

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1260 · 2026年7月15日 に作成

  メンテナーはふだん 3 日以内に返信

• Missing fields from `StakePoolParams`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug era: shelley

  難易度 4/5 3〜5日 初心者へのやさしさ 55/100

  IntersectMBO/formal-ledger-specifications#1259 · コメント 1 件 · 2026年7月14日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Document ENTITIES/SUBENTITIES

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  documentation era: dijkstra

  難易度 3/5 1〜2日 初心者へのやさしさ 55/100

  IntersectMBO/formal-ledger-specifications#1257 · 2026年7月14日 に作成

  メンテナーはふだん 3 日以内に返信

• Conformance failure: delegate and unregister after a hardfork

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance era: conway

  難易度 4/5 3〜5日 初心者へのやさしさ 55/100

  IntersectMBO/formal-ledger-specifications#1249 · 2026年7月3日 に作成

  メンテナーはふだん 3 日以内に返信

• [Conway] Add `<⇒sucᵉ≤` axiom to `EpochStructure`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  discuss in meeting era: conway

  難易度 3/5 1〜2日 初心者へのやさしさ 68/100

  IntersectMBO/formal-ledger-specifications#1248 · 2026年7月1日 に作成

  メンテナーはふだん 3 日以内に返信

• Change `pvCanFollow` relation so positional arguments have clear roles

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1246 · リアクション 1 件 · 2026年6月26日 に作成

  メンテナーはふだん 3 日以内に返信

• [Conway] Active DReps are unchanged across an epoch when there are no proposals

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: conway property status:stated

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1232 · 2026年6月23日 に作成

  メンテナーはふだん 3 日以内に返信

• [Conway] Well-formedness of PParams is a CHAIN invariant

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: conway property status:stated

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1231 · 2026年6月23日 に作成

  メンテナーはふだん 3 日以内に返信

• [Conway] dom rewards = CredentialDeposit⁻¹ (dom deposits) is a CHAIN invariant

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: conway property status:stated

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  IntersectMBO/formal-ledger-specifications#1230 · 2026年6月23日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Properties of the ledger (tracking)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: dijkstra property

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  IntersectMBO/formal-ledger-specifications#1227 · 2026年6月23日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Prove `updateCertDepositsStep` agrees with `CERT` sub-rule deposit updates

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: dijkstra property

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1213 · 2026年5月29日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Move `Coin-TokenAlgebra` to a shared location

  再び着手できるかも @williamdemeo が 187 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  discussion easy era: dijkstra refactor

  IntersectMBO/formal-ledger-specifications#1183 · 担当者 1 名 · 2026年4月30日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Show instances for Foreign step results

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance discussion era: dijkstra

  難易度 5/5 1週間以上 初心者へのやさしさ 30/100

  IntersectMBO/formal-ledger-specifications#1181 · 2026年4月30日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Foreign step functions for new sub-rules

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance discussion era: dijkstra

  難易度 4/5 3〜5日 初心者へのやさしさ 55/100

  IntersectMBO/formal-ledger-specifications#1180 · 2026年4月30日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] document prohibiting within-batch withdrawals

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1172 · 2026年4月22日 に作成

  メンテナーはふだん 3 日以内に返信

• Clarify whether `maxRefScriptSize` takes duplicate scripts or not into account

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: conway

  難易度 3/5 1〜2日 初心者へのやさしさ 52/100

  IntersectMBO/formal-ledger-specifications#1171 · 2026年4月20日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Class `TxFeesOf` should be removed in favour of `FeesOf`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1158 · 2026年4月9日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Move `minFee` predicate check to a `feesOk` in the style of Conway

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: dijkstra nested transactions

  難易度 3/5 1〜2日 初心者へのやさしさ 45/100

  IntersectMBO/formal-ledger-specifications#1155 · 2026年4月9日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Check that collateral returns do not have pointers

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: dijkstra nested transactions

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1154 · 2026年4月9日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] CIP-159-11: Prove preservation of value and invariant properties for CIP-159

  再び着手できるかも @williamdemeo が 203 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  CIP 159 era: dijkstra

  IntersectMBO/formal-ledger-specifications#1123 · 担当者 1 名 · 2026年3月12日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] CIP-159 MASTER PLAN: Formalize Account Address Enhancement

  再び着手できるかも @carlostome が 217 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  CIP 159 era: dijkstra

  IntersectMBO/formal-ledger-specifications#1112 · 担当者 2 名 · 2026年3月12日 に作成

  メンテナーはふだん 3 日以内に返信

• Support unknown cost models

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance era: conway

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  IntersectMBO/formal-ledger-specifications#1108 · 2026年3月11日 に作成

  メンテナーはふだん 3 日以内に返信

• Conformance failure in NEWEPOCH when updating cost models

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance era: conway

  難易度 3/5 1〜2日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1104 · 2026年3月10日 に作成

  メンテナーはふだん 3 日以内に返信

• Investigate the lack of conformance failure after Version restriction

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance era: conway

  難易度 4/5 3〜5日 初心者へのやさしさ 30/100

  IntersectMBO/formal-ledger-specifications#1098 · 2026年3月5日 に作成

  メンテナーはふだん 3 日以内に返信

• Use a hash function to compute the script integrity hash check

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1086 · 2026年2月19日 に作成

  メンテナーはふだん 3 日以内に返信

• Where will the formal specification of the block header validity rules live?

  再び着手できるかも @williamdemeo が 179 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  IntersectMBO/formal-ledger-specifications#1073 · コメント 4 件 · リアクション 1 件 · 担当者 1 名 · 2026年2月5日 に作成

  メンテナーはふだん 3 日以内に返信

• "legacy" specifications not linked to

  再び着手できるかも @williamdemeo が 272 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  IntersectMBO/formal-ledger-specifications#1072 · コメント 1 件 · 担当者 1 名 · 2026年2月5日 に作成

  メンテナーはふだん 3 日以内に返信

• Make explicit relationship between `transVITime` and `epochInfoSlotToUTCTime`

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: alonzo

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  IntersectMBO/formal-ledger-specifications#1062 · 2026年1月29日 に作成

  メンテナーはふだん 3 日以内に返信

• Implement txSize check

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1061 · 2026年1月29日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] Add premise about "dom txrdmrs" to UTXOW rule

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: dijkstra nested transactions

  難易度 3/5 1〜2日 初心者へのやさしさ 45/100

  IntersectMBO/formal-ledger-specifications#1054 · 2026年1月28日 に作成

  メンテナーはふだん 3 日以内に返信

• [Alonzo] collectP2ScriptWithContext should not drop scripts

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: alonzo

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1041 · 2026年1月22日 に作成

  メンテナーはふだん 3 日以内に返信

• Support Plutus (phase 2) scripts in conformance testing

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  conformance

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  IntersectMBO/formal-ledger-specifications#1029 · 2026年1月13日 に作成

  メンテナーはふだん 3 日以内に返信

• [Dijkstra] consider adding transaction level parameter to TxInfo

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  era: dijkstra nested transactions

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  IntersectMBO/formal-ledger-specifications#1026 · 2026年1月12日 に作成

  メンテナーはふだん 3 日以内に返信