Blockchain Papers

K Takahashi

This preprint develops a contract-based framework for evaluating operational claims in open, partially observable, and potentially adaptive systems. Rather than treating safety, service delivery, resilience, or recovery as intrinsic attributes of a system, it represents them as typed, evidence-carrying propositions relative to a declared physical and institutional boundary, environment mechanism, observation history, intervention regime, policy class, shared resources, and finite physical horizon. The framework integrates hybrid path-space models generated by a common modular mechanism; exact physical ledgers that distinguish atomic events from non-atomic finite-variation flows; calibrated observation models and measurement uncertainty; causal identification and transportability; scenario-fixed experiment interfaces; and policy-uniform correspondences between evidence models, computable concrete models, and abstractions. Its principal formal result is a finite-horizon, one-sided deployment certificate that transfers an abstract lower safety value to deployment under partial observation. Statistical coverage over learning datasets, deployment-path probabilities, reconciliation discrepancies, and implementation or abstraction radii are kept as distinct quantities rather than combined into a single confidence score. Claim-sufficient scopes are not assumed to be unique. They are evaluated through a Pareto profile covering completion nonemptiness, query diameter, decision stability, action support, latent sensitivity, and query type. Explicit verdict semantics distinguish accepted claims, contradictions, unsupported refusals, unresolved decision margins, incomparable claims, and invalid records. A machine-readable implementation based on JSON Schema Draft 2020-12 and exact decimal arithmetic checks finite types, relation coverage, physical balance, provenance exclusivity, artifact containment, hashes, and recomputation of certificate quantities. Synthetic examples involving a distributed AI service and human–AI emergency logistics, together with finite counterexamples and reproducible stochastic fixtures, illustrate the framework. The validator does not establish the truth of external evidence, causal assumptions, statistical models, or real-world safety. The work does not propose a universal performance scale, a new causal calculus, or a replacement for formal assurance cases or runtime monitoring.

Gabriela Mariutac, Claudiu Brândaș, Otniel Didraga, Mihai Plesa

The voluntary carbon market (VCM) has faced sustained legitimacy stress since 2023, when peer-reviewed work found that fewer than one in six issued credits represented a real emission reduction. In parallel, tokenisation through Web3 protocols, decentralised autonomous organisations (DAOs), and regenerative finance (ReFi) infrastructures introduced new participants interacting with incumbent registries without a shared coordination framework. Existing scholarship examines commons governance, complex system governance (CSG), and tokenised carbon markets largely in isolation; the gap addressed here is the absence of an integrated system-of-systems (SoS) governance treatment of the tokenised VCM. This study develops and empirically applies a polycentric SoS governance framework for the tokenised VCM, structured around four research questions and five foundational contributions. We treat the tokenised VCM as an SoS that is polycentric in configuration but not by design, and develop a system-of-systems engineering (SoSE) governance reading of it. We reformulate Ostrom’s eight design principles as SoS governance criteria for digital–physical hybrid commons, map each to CSG metasystem functions, and apply the framework to four cases: KlimaDAO, Toucan Protocol, Regen Network, and the post-2023 Verra reforms. Qualitative coding is complemented by on-chain and Base Carbon Tonne spot-price evidence from October 2021 to December 2025. Disclosure by an analytical intermediary acted on the SoS roughly seven weeks before formal regulatory action and was associated with about 90% of the observed bridging slowdown, interpreted descriptively rather than causally. We derive an eight-item reform agenda, six DAO–registry interface specifications, and a five-level governance maturity rubric.