이 재무부 인출(treasury withdrawal)은 TWEAG가 제안한 11개 핵심 인프라 프로젝트를 지원하기 위한 것임.

이 프로젝트들은 Cardano 블록체인의 기술적 기반을 혁신적으로 발전시키는 것을 목표로 함.

TWEAG는 앞으로 수개월간 자격 있는 공급업체, DReps(Delegated Representatives), Intersect와 긴밀히 협력하여 각 프로젝트의 구조와 범위를 구체화할 계획임.

이 제안은 Cardano 생태계의 지속적 진화에 TWEAG가 기여하고자 하는 의지를 담고 있음.

다른 생태계 참여자들도 경쟁 또는 보완 제안을 제출할 수 있으며, 협업 파트너십도 적극적으로 모색할 예정임.

아래는 TWEAG가 제안한 프로젝트 목록임.

1. Peras(부분적)
2. Canonical Ledger State
3. Black box Ledger Conformance Testing
4. Conformance Testing of Consensus
5. Plutus Script Re-Executor
6. Genesis Sync Accelerator
7. Canonical Block and Transaction Diffusion Codecs
8. Hoarding Node
9. Block Cost Investigation
10. Cardano-node-emulator: Maintenance proposal
11. History Expiry

이 프로젝트들이 구현되면, Cardano 네트워크의 핵심 영역(ledger conformance testing, Plutus 재실행 도구, Genesis 동기화 최적화, history expiry, Cardano node emulator 개발 등)에서 혁신적 기술적 가치를 제공할 것으로 기대됨.

이 제안은 Cardano의 장기 목표인 확장성, 성능, 검증 가능성과 전략적으로 부합함.

이 재무부 인출은 Intersect가 공급업체를 대신하여 제출한 것임.

제안서의 요약, 동기, 근거, 공급업체 프로필 등은 Intersect 예산 심사 과정에서 승인된 제안서에서 발췌한 것임.

이 인출은 총 39개 제안 중 하나로, ₳275.27M(2억 7,527만 에이다) 규모의 승인된 예산을 집행하기 위한 것임.

예산 집행은 gov_action1u9x73kwufaxa70lfy59g4ynwyrcsaxdcd0gxzzmh67s9fxq4j8hqqk2phgh를 통해 Intersect가 관리함.

이 문서는 재무부 인출 정보 행동(constitutional requirement for a treasury withdrawal info action)의 취지에 따라, 제안 내용, 예산과의 연계성, 인출 금액 등 세부 정보를 제공함.

---

**주석**

- **DReps(Delegated Representatives):** Cardano의 새로운 거버넌스 모델에서 투표권을 위임받은 대표자임.
- **Intersect:** Cardano 생태계의 거버넌스 및 표준화를 주도하는 조직임.
- **Ledger Conformance Testing:** 원장(ledger) 규칙 준수 여부를 검증하는 테스트임.
- **Plutus Script Re-Executor:** Plutus 스마트 계약을 재실행하여 디버깅 및 검증을 지원하는 도구임.
- **Genesis Sync Accelerator:** 신규 노드가 네트워크에 빠르게 동기화되도록 지원하는 기술임.
- **History Expiry:** 블록체인 기록의 일부를 주기적으로 삭제하여 저장 부담을 줄이는 메커니즘임.
- **Cardano-node-emulator:** Cardano 노드의 동작을 시뮬레이션하는 도구임.

이 제안은 에이다(₳) 생태계의 핵심 인프라 개선을 목표로 함.
Tweag, Modus Create 및 신뢰받는 컨소시엄이 참여하여 기술적 전문성과 검증된 실행력을 결합했음.
현재의 기술적 한계를 해결함과 동시에, 에이다가 확장성·분산화·개방성을 갖춘 블록체인 플랫폼으로 지속 성장할 수 있는 기반을 마련했음.

각 프로젝트는 에이다 코어 인프라의 구체적 문제를 타겟팅함.
Peras, Canonical Ledger State, Canonical Block 및 Transaction Diffusion Codecs는 생태계 전반의 상호운용성, 명확성, 일관성을 높임.
Conformance Testing for Ledger and Consensus, Black Box Ledger Testing는 프로토콜 정확성과 미래 대응력을 강화하는 견고한 검증 프레임워크를 제공함.
Plutus Script Re-Executor, Block Cost Investigation은 DApp 개발자와 툴메이커에게 실용적인 성능 벤치마킹 및 Plutus 최적화 도구를 제공함.
Genesis Sync Accelerator, Hoarding Node는 네트워크 수준의 병목 현상을 해소하여 부트스트랩 시간과 신뢰성을 개선함.
Cardano-node-emulator, History Expiry는 테스트·디버깅 환경 강화 및 노드의 장기적 지속가능성에 기여함.

이러한 개선은 개발자, 연구자, 노드 운영자, DRep, 거버넌스 참여자 모두에게 신뢰성·성능·유지보수성 강화라는 직접적 이익을 제공함.
에이다 커뮤니티의 투자 대비 효과는 명확함.
네트워크 업그레이드 가속화, 온보딩 장벽 완화, 프로토콜 투명성 강화, 스마트 컨트랙트 팀을 위한 툴링 개선, 더욱 견고하고 테스트 가능한 인프라 확보 등이 실현됨.

---

**주석**
- **Peras**: 에이다 생태계의 상호운용성 및 데이터 일관성 강화를 위한 프로젝트임.
- **Canonical Ledger State**: 모든 노드가 동일한 원장 상태를 참조할 수 있도록 표준화하는 기술임.
- **Canonical Block and Transaction Diffusion Codecs**: 블록 및 트랜잭션 데이터의 효율적이고 일관된 전파를 위한 표준 코덱임.
- **Conformance Testing for Ledger and Consensus**: 원장 및 합의 프로토콜이 표준을 준수하는지 검증하는 테스트 프레임워크임.
- **Black Box Ledger Testing**: 내부 동작을 알 수 없는 상태에서 원장의 정합성을 검증하는 테스트 방법임.
- **Plutus Script Re-Executor**: Plutus 스마트 컨트랙트의 재실행 및 디버깅을 지원하는 도구임.
- **Block Cost Investigation**: 블록 생성 비용을 분석·최적화하는 연구 및 도구임.
- **Genesis Sync Accelerator**: 신규 노드의 초기 동기화(Genesis Sync) 속도를 높이는 기술임.
- **Hoarding Node**: 네트워크 데이터를 효율적으로 저장·관리하는 노드 유형임.
- **Cardano-node-emulator**: 에이다 노드 동작을 시뮬레이션하는 테스트 환경임.
- **History Expiry**: 오래된 블록체인 데이터를 효율적으로 관리하는 정책임.
- **DRep**: Delegated Representative, 에이다의 분산 거버넌스 참여자임.

### 프로젝트 솔루션

Tweag는 카르다노 블록체인의 기술적 기초를 발전시키기 위한 핵심 인프라 프로젝트 모음에 참여할 계획임. 이 프로젝트는 카르다노 스택의 주요 영역에서 새로운 고영향 개발에 중점을 두고 있으며, Tweag는 자격 있는 공급업체, DReps, Intersect와 긴밀히 협력하여 이 프로젝트의 구조와 범위를 구체화할 예정임.

### 벤더 프로파일

Tweag by Modus Create는 깊은 기술적 전문성과 전략적 컨설팅 능력을 결합하여, 오픈 소스 및 분산 시스템에 대한 장기적인 헌신을 보유하고 있음. Tweag는 2013년에 설립되어 10년 이상의 기간 동안 임계 인프라 프로젝트에서 엔지니어링 우수성을 입증해왔음.

2018년 1월부터 Tweag는 IOG(입력 출력 글로벌)와 함께 카르다노 생태계 내 다양한 이니셔티브에 지속적으로 참여해왔으며, 이는 감사 및 핵심 프로토콜 개발을 포함함. 2021년 5월부터는 카르다노 생태계에 대한 공식 감사도 제공해왔으며, 이는 임무에 중요한 코드의 신뢰성과 보안을 보장하는 데 기여함.

Tweag의 팀은 카르다노의 핵심 인프라 개발에서 중요한 역할을 했으며, 이는 합의 및 원장 팀을 이끄는 것, Ouroboros Genesis 프로토콜 구현, Ouroboros Peras 설계에 기여하는 것을 포함함. 또한, Tweag는 Haskell, Rust 등 다양한 기술을 활용하여 다중 언어 프로젝트에서 확장 가능하고 보안이 뛰어난 고성능 시스템을 구축하는 데 실질적인 경험을 보유하고 있음.

Modus Create라는 글로벌 디지털 변혁 컨설팅 회사 내에서 Tweag는 전략가, 디자이너, 기술자들로 구성된 다양한 팀의 지원을 받고 있으며, 이는 세계 최고의 브랜드가 디지털 우위를 구축하는 데 도움을 줌. Modus Create는 전략적 컨설팅, 제품 개발 전 생애 주기, 플랫폼 현대화, 디지털 운영에 전문성을 가지고 있으며, Atlassian, AWS, GitHub와 같은 상위 기술 제공업체와 공식 파트너 관계를 맺고 있음.

이 제안은 카르다노의 임무를 강력한 엔지니어링, 전략적 조정, 고영향 전달을 통해 발전시키는 데 대한 지속적인 헌신을 반영함.

### 계약 관리

Tweag와 카르다노 개발 홀딩스(CDH) 간의 서면 오프체인 법적 계약이 작성되며, 이는 헌법에 의해 명시된 대로 Intersect가 관리할 예정임. 이 계약에는 프로젝트 전달 일정 및 분쟁 해결에 대한 세부 사항이 포함됨.

### 프로젝트 전달

모든 마일스톤, 수락 기준, 지불 금액 및 예상 전달 날짜는 Tweag와 Intersect 간에 합의되며, Intersect는 CDH를 대신하여 행동함. Tweag는 법적 계약에 명시된 프로젝트 일정에 따라 전달할 예정이며, 필요한 정보는 예산 관리 플랫폼을 통해 트랜잭션 메타데이터로 공개됨.

마일스톤에 대한 승인은 Tweag가 커뮤니티, Intersect 또는 제3자 보증자에게 제출하고 인증받을 예정임. 프로젝트 진행은 Intersect의 전달 보증 기능을 통해 모니터링되며, 이는 커뮤니티에 전달됨.

각 마일스톤에서 완료된 작업의 승인은 제3자 보증자가 담당하며, 이는 법적 계약 내의 해당 마일스톤 전달물에 대해 검토하고 서명하는 역할임. 이 작업은 이 자금의 일부에서 자금을 지원받음.

### 예산 관리 도구

Intersect는 자금을 온체인으로 관리하기 위해 Sundae Labs가 개발한 재무 관리 스마트 계약 프레임워크를 사용할 예정임. 이 스마트 계약은 TxPipe와 MLabs의 감사 등을 포함하여 철저히 테스트되었으며, Intersect가 작성한 블로그 포스트에서 사용 예시를 볼 수 있음.

최종 메인넷 검증 테스트는 트랜잭션 0f591dc544ae14102dbb4a74d5311a6acffc1772b163d8b7a9656b9525950b17에서 Disburse 액션을 통해 확인할 수 있음. 확인된 재무 예약 계약 주소는 stake17xzc8pt7fgf0lc0x7eq6z7z6puhsxmzktna7dluahrj6g6ghh5qjr임.

#### 세부 사항

Intersect는 단일 Treasury Reserve Smart Contract(TRSC)와 여러 Project-Specific Smart Contracts(PSSC)를 사용할 예정이며, 이들은 Intersect가 관리할 예정임. Intersect의 관리는 세 명의 '관리자'와 두 명의 '리더십' 역할로 구성되며, 외부의 독립적인 다섯 개의 실체로 구성된 감독위원회가 TRSC와 PSSC의 특정 hành위를 독립적으로 검증하여 정확성과 일관성을 보장할 예정임.

감독위원회는 Sundae Labs, Cardano Foundation, Dquadrant, Xerberus, NMKR로 구성되며, 이들은 온체인 논리를 사용하여 주요 행정 행동을 검증함으로써 오류와 일방적인 통제를 방지할 예정임.

Intersect의 구성에 대한 모든 세부 사항은 **[스마트 계약 가이드](https://docs.intersectmbo.org/cardano-facilitation-services/cardano-budget/intersect-administration-services/smart-contracts-as-part-of-our-administration)**에서 확인할 수 있음.

고수준 권한은 다음과 같음:

- TRSC 자금 및 PSSC 수정: Intersect 관리자 3명 중 2명, 신뢰할 수 있는 실체 5명 중 2명, Intersect 리더십 2명 중 1명이 승인해야 함.
- TRSC 분배: Intersect 관리자 3명 중 2명, 신뢰할 수 있는 실체 5명 중 3명, Intersect 리더십 2명 중 2명이 승인해야 함.
- TRSC 일시 중지 및 재개: Intersect 관리자 3명 중 2명과 Intersect 리더십 2명 중 1명이 승인해야 함.
- TRSC 스윕: Intersect 관리자 3명 중 1명과 Intersect 리더십 2명 중 1명이 승인해야 함.
- TRSC 재조직: Intersect 관리자 3명 중 2명과 신뢰할 수 있는 실체 5명 중 3명이 승인해야 함.

#### 프로세스

이 거버넌스 행동이 시행되면, 이 프로젝트에 대한 자금은 TRSC의 스테이크 계정으로 지급될 예정임. 모든 TRSC 및 PSSC는 스테이크 풀(SPO)로 스테이크될 수 없으며, 미리 정의된 DRep에 위임될 예정임. 여기서 자금은 TRSC에 남아 있는 UTxO로 인출될 예정임.

법적 계약이 준비되고 공급자가 준비되면, 이 프로젝트에 대한 자금은 Fund 액션을 통해 PSSC로 이전될 예정임. 모든 마일스톤은 메타데이터 내에 명시될 예정임.

커뮤니티는 TRSC 또는 PSSC를 감사하고, 인출된 에이다(₳)와 관련된 메트릭을 추적할 수 있는 대시보드를 사용할 수 있음. 이는 온체인에서 불변으로 검증 가능함.

위의 계약 관리, 프로젝트 전달, 예산 관리 도구링은 헌법 제4조 제4항 및 제5항에 명시된 헌법적 요구사항을 충족함.

---

**주석:**

- **Nix**: 패키지 매니저로, 리눅스 및 기타 유닉스 계열 운영체제에서 사용되며, 패키지의 설치 및 관리를 용이하게 함.
- **Bazel**: Google에서 개발한 빌드 도구로, 대규모 프로젝트의 빌드 및 테스트를 효율적으로 관리하는 데 사용됨.
- **Haskell**: 함수형 프로그래밍 언어로, 강력한 타입 시스템과 고수준의 추상화를 제공하여 코드의 정확성과 확장성을 높임.
- **Ouroboros Genesis**: 카르다노 블록체인의 합의 알고리즘 중 하나로, 네트워크의 초기 상태를 설정하는 데 사용됨.
- **Ouroboros Peras**: 카르다노의 확장성과 보안을 높이기 위한 합의 알고리즘의 향후 버전.
- **UTxO (Unspent Transaction Output)**: 사용되지 않은 트랜잭션 출력으로, 블록체인에서 트랜잭션의 결과로 남아 있는 자금을 의미함.
- **DRep (Decentralized Representative)**: 카르다노 네트워크에서 자금을 관리하고 투표에 참여하는 역할을 하는 대리인.
- **TRSC (Treasury Reserve Smart Contract)**: 카르다노의 재무 예약을 관리하는 스마트 계약.
- **PSSC (Project-Specific Smart Contracts)**: 특정 프로젝트에 대한 자금 관리를 위한 스마트 계약.

This treasury withdrawal funds **TWEAG's Proposals for multiple core budget projects for Cardano 2025** which will provide the following services:

A suite of core infrastructure projects aimed at advancing the technical foundations of the Cardano blockchain. These initiatives focus on novel, high-impact developments across key areas of the Cardano stack. In the months ahead, Tweag intends to collaborate closely with qualified suppliers, DReps, and Intersect to further shape the structure and scope of these engagements.

The proposals presented here represent Tweag's intended contribution to Cardano's continued evolution. We invite other ecosystem participants to submit complementary or competitive proposals, and we are open to exploring collaborative partnerships where aligned. Below is a list of the proposals:

1. Peras (partial)

2. Canonical Ledger State

3. Black box Ledger Conformance Testing

4. Conformance Testing of Consensus

5. Plutus Script Re-Executor

6. Genesis Sync Accelerator

7. Canonical Block and Transaction Diffusion Codecs

8. Hoarding Node

9. Block Cost Investigation

10. Cardano-node-emulator: Maintenance proposal

11. History Expiry

If implemented, this proposal will deliver transformative technical value to the Cardano ecosystem, accelerating development across critical areas of the network stack. The proposed initiatives---ranging from ledger conformance testing and Plutus re-execution tooling, to Genesis synchronization optimization, history expiry, and the development of a Cardano node emulator---are strategically aligned with Cardano's long-term goals of scalability, performance, and verifiability.

This Treasury Withdrawal is submitted by Intersect on behalf of the vendor. The following sections; Abstract, Motivation, Rationale and Vendor Profile have been sourced from the approved proposal submitted by the Vendor as part of the Intersect budget process.

This treasury withdrawal funds one of 39 proposals to give effect to the approved budget info action for ₳275,269,340, administered by Intersect via gov_action1u9x73kwufaxa70lfy59g4ynwyrcsaxdcd0gxzzmh67s9fxq4j8hqqk2phgh. The information provided herein is intended to fulfill the spirit of the constitutional requirement for a treasury withdrawal info action by also providing the details of the proposed solution, alignment to the budget, and amount to be withdrawn from the Cardano Treasury.

This proposal aims to solve the following problem:

Backed by Tweag by Modus Create and a consortium of trusted ecosystem contributors, this proposal combines deep technical experience with proven delivery capability. It not only addresses current pain points but lays the groundwork for Cardano's continued success as a scalable, decentralized, and open blockchain platform.

Each project targets a specific technical challenge within the core infrastructure:

- Peras, Canonical Ledger State, and Canonical Block and Transaction Diffusion Codecs improve interoperability, clarity, and consistency across the ecosystem.

- Conformance Testing for Ledger and Consensus, alongside Black Box Ledger Testing, ensures protocol correctness and future-proofing through robust validation frameworks.

- Plutus Script Re-Executor and Block Cost Investigation provide practical tools for performance benchmarking and Plutus optimization, directly benefiting DApp developers and toolmakers.

- The Genesis Sync Accelerator and Hoarding Node address network-level performance bottlenecks, improving bootstrap times and reliability.

- The Cardano-node-emulator and History Expiry initiative contribute to better testing, debugging, and long-term node sustainability.

- Collectively, these projects support developers, researchers, node operators, DReps, and governance actors by reinforcing the reliability, performance, and maintainability of Cardano's core systems.

The return on investment to the Cardano community is clear:

- Faster network upgrades

- Reduced onboarding friction

- Improved protocol transparency

- Better tooling for smart contract teams

- More resilient and testable infrastructure

### Project Solution

A suite of core infrastructure projects aimed at advancing the technical foundations of the Cardano blockchain. These initiatives focus on novel, high-impact developments across key areas of the Cardano stack. In the months ahead, Tweag intends to collaborate closely with qualified suppliers, DReps, and Intersect to further shape the structure and scope of these engagements.

### Vendor Profile

At Tweag by Modus Create, we offer a unique combination of deep technical expertise and strategic consulting capabilities, with a long-standing commitment to open-source and decentralized systems. EURL Tweag has been in business for over a decade, having started in 2013, and has built a reputation for engineering excellence across critical infrastructure projects.

Since January 2018, we have been continuously engaged with IOG (Input Output Global) on a variety of initiatives within the Cardano ecosystem, including conducting audits and core protocol development. Since May 2021, we have also provided formal audits for the Cardano ecosystem, helping to ensure the reliability and security of mission-critical code.

Our team has played a leading role in the development of Cardano's core infrastructure, including leading the consensus and ledger teams, implementing the Ouroboros Genesis protocol, and contributing to the design of Ouroboros Peras. We have been involved in nearly all aspects of the core Cardano node, giving us a comprehensive understanding of the system's architecture, roadmap, and strategic direction.

Beyond Cardano, we bring deep, practical experience with Haskell, Rust, and a wide range of technologies used in polyglot projects, enabling us to engineer scalable, secure, and high-performance systems across domains.

As part of Modus Create, a global digital transformation consulting firm, we are backed by a diverse team of strategists, designers, and technologists who help the world's leading brands build digital advantage. Modus Create specializes in strategic consulting, full lifecycle product development, platform modernization, and digital operations and is an official partner of top-tier technology providers such as Atlassian, AWS, and GitHub. This global reach and cross-disciplinary strength provide our clients with unmatched capabilities throughout the full product development lifecycle.

This proposal reflects our ongoing commitment to advancing Cardano's mission through rigorous engineering, strategic alignment, and high-impact delivery.

### Contract Management

A written off-chain Legal Contract will be created between the Vendor and the Cardano Development Holdings (CDH), as mandated by the constitution, and will be administered by Intersect. This will include details of the project delivery schedule and dispute resolution.

### Project Delivery

All milestones, acceptance criteria, payment amounts and expected delivery dates will be agreed between the Vendor and Intersect, acting on behalf of the CDH. The vendor will deliver according to the agreed-upon project schedule within the Legal Contract, of which the necessary information will be made public via the budget management platform via transaction metadata.

Defined by the milestones within a Legal Contract, the vendor will submit and attest milestone acceptance to the community, Intersect or 3rd Party Assurer.

Project progress will be monitored via Intersect's delivery assurance function which will be communicated to the community.

Acceptance of the above work is expected to be supported by a 3rd Party Assurer, who will be responsible for reviewing and signing off the work completed at each project milestone against the corresponding milestone deliverables detailed within the Legal Contract. This work is funded from a portion of this treasury withdrawal.

### Budget Management Tooling

To administrate treasury funds on-chain, Intersect will utilize the treasury management smart contract framework developed by Sundae Labs. The smart contracts have been [extensively tested](https://github.com/SundaeSwap-finance/treasury-contracts/tree/main/offchain/tests) including audits from TxPipe and MLabs. Examples of the usage of these contracts can be seen across mainnet described across Intersect authored [Blog 1](https://www.intersectmbo.org/news/smart-contract-mainnet-demo-a-step-toward-on-chain-treasury-withdrawals), [Blog 2](https://www.intersectmbo.org/news/smart-contract-mainnet-demo-day-two-update) and [Blog 3](https://www.intersectmbo.org/news/smart-contract-mainnet-demo-day-three-update).

Final mainnet validation test can be seen via the Disburse action within transaction: 0f591dc544ae14102dbb4a74d5311a6acffc1772b163d8b7a9656b9525950b17

With the confirmed treasury reserve contract address being: stake17xzc8pt7fgf0lc0x7eq6z7z6puhsxmzktna7dluahrj6g6ghh5qjr

#### Specifics

Intersect will utilize a single Treasury Reserve Smart Contract (TRSC), with many Project-Specific Smart Contracts (PSSC), managed by Intersect. Intersect's management consists of three 'admin' and two Intersect 'leadership' roles. An Oversight Committee consisting of five external, independent third-party entities will provide checks and balances on Intersect, and safeguard against errors and unilateral control. The administration of both TRSC and PSSCs will be managed by Intersect, with external oversight on certain actions from the Oversight Committee.

The Oversight Committee consists of Sundae Labs, Cardano Foundation, Dquadrant, Xerberus and NMKR. Their role is to independently verify key administrative actions using on-chain logic, ensuring accuracy and consistency without exercising discretion over governance decisions.

For all details on Intersect's configuration please see the **[Smart Contract Guide](https://docs.intersectmbo.org/cardano-facilitation-services/cardano-budget/intersect-administration-services/smart-contracts-as-part-of-our-administration)** on the knowledgebase.

The high level permissions are as follows:

- TRSC Fund and PSSC Modify

- Two of the three Intersect admins, two of the five trusted entities and one of the two Intersect leadership sign-off must authorize

- TRSC Disperse

- Two of three Intersect admins, three of five trusted entities and two of two Intersect leadership sign-off must authorize

- TRSC Pause and Resume

- Two of three Intersect admins, and one of two Intersect leadership sign-off must authorize

- TRSC Sweep

- One of three Intersect admins, and one of two Intersect leadership sign-off must authorize

- TRSC Reorganize

- Two of three Intersect admins and three of five trusted entities must authorize

#### Processes

Upon enactment of this governance action, funding for this project will be directed into the TRSC's stake account. All instances of TRSC and PSSC can not be staked with a SPO and will be delegated to the auto-abstain predefined DRep. From here funds will be withdrawn into a UTxO remaining at the TRSC.

When the Legal contract is prepared and the vendor is ready, funding for this project will be transferred using the Fund action to a PSSC. All milestones will be outlined within the metadata.

A dashboard will be available for the community to audit the TRSC or PSSC and track metrics related to this withdrawn ada as well as being immutably verifiable on chain.

The subsections; Contract Management, Project Delivery, and Budget Management Tooling described above cover the constitutional requirements specified in Article IV section 4 and 5.