{"schema":"https://ver.cy/schemas/card/1.0.0","id":"vr.wm-vrt-011","code":"wm-vrt-011-smart-contract","url":"https://ver.cy/models/wm-vrt-011-smart-contract/","name":"Smart Contract","alternateNames":[],"kind":"world-model","status":"todo","version":"unversioned","language":"en","classifiers":{"family":"World Models","category":"Information and virtual systems","entryKind":"standalone-mm","plane":"","domain":["INF.VRT.SC"],"industry":["Cross-industry"],"navPath":"NAV.INF.VRT.SC","tags":["smart","contract","inf.vrt.sc"],"facets":{}},"whatItIs":"A smart contract is program code deployed on a distributed ledger that executes automatically when called, changing ledger state according to its logic. It may implement all or part of an agreement, a token or an application; whether it is a legally binding contract depends on the agreement around it, and the ledger network itself is a separate subject.","purpose":"Executable agreement deployed on a ledger","scope":{"in":[],"out":[],"boundaries":[]},"distinguishingFeatures":["It executes automatically on a ledger once called, without a party performing the obligation.","Deployed code is usually immutable; changes need a designed upgrade path.","It is code, and is a legal contract only when an agreement makes it so.","Distinct from a software package, which is distributed for installation rather than deployed to a shared ledger."],"structure":{"bundles":[{"id":"VRT011-B1","name":"Deployment and code","description":"What is deployed where.","layers":[{"id":"VRT011-B1-L1","name":"Deployed instance","description":"The address, network and code of the contract.","findings":[{"id":"VRT011-F01","name":"Deployment","description":"Where the contract lives and who deployed it.","questions":[{"text":"On which ledger network and at which address is the contract deployed?","id":"VRT011-Q01"},{"text":"Who deployed it, and when?","id":"VRT011-Q02"}]},{"id":"VRT011-F02","name":"Code and verification","description":"The code behind the deployment and whether it was verified.","questions":[{"text":"Is the source code published and verified against the deployed bytecode?","id":"VRT011-Q03"},{"text":"Has the code been audited, by whom and for which version?","id":"VRT011-Q04"}]}]}]},{"id":"VRT011-B2","name":"Control and upgrade","description":"Who can change or stop it.","layers":[{"id":"VRT011-B2-L1","name":"Administrative powers","description":"Owner keys, upgrade paths and pause functions.","findings":[{"id":"VRT011-F03","name":"Admin rights","description":"Privileged roles and how they are controlled.","questions":[{"text":"Which addresses hold administrative or upgrade rights?","id":"VRT011-Q05"},{"text":"Can the contract be paused, upgraded or destroyed, and by whom?","id":"VRT011-Q06"}]}]}]},{"id":"VRT011-B3","name":"Legal and economic link","description":"What it means outside the ledger.","layers":[{"id":"VRT011-B3-L1","name":"Agreement mapping","description":"The legal agreement and assets the code relates to.","findings":[{"id":"VRT011-F04","name":"Legal wrapper","description":"The agreement and jurisdiction around the code.","questions":[{"text":"Is there a legal agreement the contract implements, and which terms prevail in a conflict?","id":"VRT011-Q07"},{"text":"Which assets or rights does the contract control?","id":"VRT011-Q08"}]},{"id":"VRT011-F05","name":"External inputs","description":"Oracles and other dependencies.","questions":[{"text":"Which oracles or external contracts does it depend on?","id":"VRT011-Q09"},{"text":"What happens if an input is wrong or unavailable?","id":"VRT011-Q10"}]}]}]}]},"agentConduct":{"may":["Read contract state and events from the ledger.","Explain what a verified contract's functions do.","Check whether code is verified and audited.","Flag administrative powers and upgrade paths to users."],"mustNot":["Sign or submit transactions that move assets without the holder's explicit approval.","Handle or store private keys or seed phrases.","Give investment advice about tokens or contracts.","Describe unaudited code as safe.","Help exploit vulnerabilities in deployed contracts."],"requiresHuman":["Deploying, upgrading or pausing a contract.","Any transaction that transfers value.","Deciding which terms prevail between code and legal agreement."]},"ethics":{"considerations":["Bugs or exploits can cause irreversible losses for many users.","Hidden administrative powers undermine the trust users place in automated rules.","Users may not understand what they agree to when calling a contract."],"affectedParties":["Users and token holders","Developers and deployers","Counterparties to linked agreements"]},"owners":{"steward":"The deployer or governing body holding administrative rights, or no one when the contract is fully immutable.","roles":[],"masterSystems":["Distributed ledger","Source code repository","Block explorer verification records"]},"relations":[{"target":"WM-SFT-007","type":"parent"}],"interaction":{"identity":{"applicability":"required","items":["A smart contract is identified by its address on a named ledger network and chain identifier.","Its code version is identified by a hash of the deployed bytecode."]},"properties":{"applicability":"not-applicable","items":[]},"recognition":{"applicability":"optional","items":["A contract is recognised by its address, deployed code and emitted events on the ledger.","Often confused with the token it implements, the user interface that calls it or the legal agreement around it."]},"capabilities":{"applicability":"required","items":["A contract can hold and transfer assets, emit events and call other contracts.","Some contracts can be paused, upgraded or self-destructed by privileged roles."]},"hazards":{"applicability":"required","items":["Irreversible loss of assets through bugs or exploits.","Abuse of administrative keys.","Manipulated oracle inputs triggering wrong execution."]},"interfaces":{"applicability":"required","items":["Application binary interfaces published with verified source code.","ISO 22739 vocabulary for blockchain and distributed ledger technologies."]},"context":{"applicability":"required","items":["Used for tokens, decentralized finance, supply chain, registries and data sharing.","The EU Data Act sets essential requirements for smart contracts used in data sharing agreements."]}},"sources":[{"title":"ISO 22739 Blockchain and distributed ledger technologies - Vocabulary (ISO)"},{"title":"Regulation (EU) 2023/2854 Data Act, Article 36 on smart contracts (European Union)"}],"openQuestions":["Planned model: boundary questions, research and every section remain to be written."],"resources":{"spec":"https://ver.cy/models/wm-vrt-011-smart-contract/spec.yaml","agents":"https://ver.cy/models/wm-vrt-011-smart-contract/AGENTS.md"},"provenance":{"origin":"planned (registry candidate)","builtFrom":["models/runtime-index.json","ver-cy/world-models/card-supplements/wm-vrt-011-smart-contract.json"],"providers":[],"researchStatus":"todo","generatedAt":"","builder":"tools/build_cards.py@1.0.0"},"completeness":{"sections":{"classifiers":"filled","whatItIs":"filled","purpose":"filled","distinguishingFeatures":"filled","structure":"filled","agentConduct":"filled","ethics":"filled","owners":"filled","relations":"filled","interaction.identity":"filled","interaction.properties":"not-applicable","interaction.recognition":"filled","interaction.capabilities":"filled","interaction.hazards":"filled","interaction.interfaces":"filled","interaction.context":"filled","sources":"filled"},"notes":{"_":"Planned entry, hidden from the catalogue until researched.","interaction.properties":"A smart contract is an information or software construct; its measurable attributes are configuration and operational data, not physical properties.","_supplement":"Sections authored in card supplement 1.0.0 by Claude (Opus 5.5) (2026-10-06, unreviewed). Written from the card's existing content and established practice in the field; no new sources were read. Unreviewed."},"score":1.0}}