{
 "@context": "https://schema.org",
 "@type": "Claim",
 "@id": "https://wulfkaal.github.io/positions/2026-08-08-064",
 "identifier": "kaal:position:2026-08-08-064",
 "additionalType": "https://wulfkaal.github.io/positions/schema.json#AffirmedPositionClaim",
 "name": "Streaming An Ontology Driven Approach To Security Analysis Of Sui Move Smart Contracts 71B5638711",
 "text": "An ontology-driven approach to security analysis of Sui Move smart contracts argues that mature Ethereum tools often detect syntactic vulnerabilities while missing divergences between intended design and on-chain implementation, leaving functionality open to manipulation. This independently corresponds to the implementation-flaw mechanism in Kaal's account of the DAO failure. The proposition does not study the DAO incident or its reported loss.",
 "author": {
  "@type": "Person",
  "name": "Wulf A. Kaal",
  "identifier": "https://orcid.org/0009-0008-7840-1847"
 },
 "datePublished": "2026-08-08",
 "dateModified": "2026-08-08",
 "creativeWorkStatus": "Affirmed",
 "responseType": "qualification",
 "keywords": [
  "dao",
  "blockchain",
  "smart-contracts",
  "decentralization",
  "governance-design",
  "historical-response",
  "scholarly-literature",
  "crossref"
 ],
 "scope_conditions": [
  "The response is limited to the retrieved source proposition and mapped Kaal claim unless fuller source review supports a broader conclusion.",
  "External evidence level: abstract indexed.",
  "Mapping review tier: substantively reviewed abstract-level qualification.",
  "Primary mapping confidence: 0.62.",
  "The primary mapping cleared the automated ambiguity test; substantive scope remains review-bound.",
  "Evidence is limited to an exact proposition in a Crossref-indexed abstract; full text was not reviewed.",
  "No relationship is treated as external endorsement, citation, causation, or validation of a broader Kaal claim.",
  "The Greek-language source identifies a concrete implementation-risk mechanism: mature Ethereum security tools can miss divergence between intended contract design and on-chain implementation, enabling malicious manipulation. This corresponds to Kaal's implementation-flaw account of the DAO failure, but it does not study that DAO or its one-third loss."
 ],
 "currentDebate": {
  "name": "An ontology-driven approach to security analysis of Sui Move smart contracts",
  "url": "https://doi.org/10.12681/eadd/62314"
 },
 "extends": {
  "identifier": "kaal:claim:2922176-035",
  "url": "https://wulfkaal.github.io/claims/2922176-035",
  "citation": "Mark Fenwick, Wulf A. Kaal, Erik P. M. Vermeulen, The ‘Unmediated’ and ‘Tech-Driven’ Corporate Governance of Today's Winning Companies (2017). SSRN: https://ssrn.com/abstract=2922176",
  "paper": "Mark Fenwick, Wulf A. Kaal, Erik P. M. Vermeulen, The ‘Unmediated’ and ‘Tech-Driven’ Corporate Governance of Today's Winning Companies",
  "authors": [
   "Wulf A. Kaal"
  ],
  "year": "2017",
  "ssrn": "https://ssrn.com/abstract=2922176",
  "source_pdf_sha256": "fa4e986917d437cb1504281e7b986be2698e9507d8feaf426c9d7d1754ca882c"
 },
 "isBasedOn": [
  {
   "@id": "https://wulfkaal.github.io/claims/2922176-035"
  },
  {
   "@type": "CreativeWork",
   "name": "An ontology-driven approach to security analysis of Sui Move smart contracts",
   "url": "https://doi.org/10.12681/eadd/62314"
  }
 ],
 "batch_id": "kaal-review:2026-08-08:continuous-crossref-0010-remainder-0001-reviewed-v1",
 "review_provenance": "https://kaal-signal-desk.wulf577462.chatgpt.site/#review",
 "publicationStatus": "public",
 "recordTypeNote": "Dated commentary position extending a scholarly corpus claim. Not a verbatim claim extracted from the paper.",
 "isPartOf": {
  "@id": "https://wulfkaal.github.io/positions/index.json"
 },
 "version": "1.0",
 "canonical_url": "https://wulfkaal.github.io/positions/2026-08-08-064",
 "canonicalForm": "https://wulfkaal.github.io/positions/2026-08-08-064.md",
 "candidateId": "kaal:response-draft:2026-08-08:6aed7f93462def12eb79",
 "evidenceLevel": "abstract indexed",
 "reviewTier": "substantively reviewed abstract-level qualification",
 "mappingConfidence": 0.62,
 "mappingAmbiguous": false,
 "mappingMethod": "complete-corpus source-proposition mechanism and scope adjudication",
 "mappingWhyRelevant": "The Greek-language source identifies a concrete implementation-risk mechanism: mature Ethereum security tools can miss divergence between intended contract design and on-chain implementation, enabling malicious manipulation. This corresponds to Kaal's implementation-flaw account of the DAO failure, but it does not study that DAO or its one-third loss.",
 "sourceProvenance": {
  "source": "crossref",
  "sourceRecordId": "10.12681/eadd/62314",
  "queryId": "concept:7130a5f5ec8c",
  "queryText": "smart contracts tokenomics",
  "canonicalUrl": "https://doi.org/10.12681/eadd/62314",
  "doi": "10.12681/eadd/62314",
  "externalIds": {
   "DOI": "10.12681/eadd/62314",
   "Crossref": "10.12681/eadd/62314"
  },
  "retrievedAt": "2026-08-09T07:09:52.333Z",
  "providerPage": 1,
  "rawObservationSha256": "7c3ddd80bce0a5f9e32f7d93539f802d93d18047584301dd60c7402155bff136",
  "inputSnapshotSha256": "afbc0acf8bd09a62a5756d11e2ece80b266d06ee86f94aa735e3281225c5a828",
  "inputLine": 4728,
  "chunkId": "crossref-00001",
  "workId": "work:doi:10.12681/eadd/62314",
  "workAuthors": [
   "Αντώνιος Γιατζής"
  ],
  "workPublishedAt": "null-01-01",
  "identityKeys": [
   "doi:10.12681/eadd/62314",
   "crossref:10.12681/eadd/62314",
   "url:https://doi.org/10.12681/eadd/62314",
   "title:d136f8c4572fd8fc08afbaa8",
   "proposition:07f7183d29799d56171dfba59f465252decdce4449ace050b04b54f932019c69"
  ],
  "sourceProposition": "Αν και το οικοσύστημα του Ethereum επωφελείται από μια ώριμη σουίτα εργαλείων ασφαλείας, αυτά είναι κυρίως σχεδιασμένα για τον εντοπισμό συντακτικών αδυναμιών (syntactic vulnerabilities), παραλείποντας συχνά σφάλματα που προκύπτουν από την απόκλιση μεταξύ του επιδιωκόμενου σχεδιασμού ενός έξυπνου συμβολαίου και της υλοποίησής του στην αλυσίδα (on-chain implementation), επιτρέποντας έτσι στους επιτιθέμενους να χειραγωγήσουν τη λειτουργικότητα του συμβολαίου για κακόβουλο όφελος.",
  "sourcePropositionSha256": "2ab2e9ee0b83f72d3cb0dcf741b56d39b353fcc199fbc64a6b8ef835fbbe57da",
  "sourcePropositionIndex": 2,
  "claimMappings": [
   {
    "claimId": "kaal:claim:2922176-035",
    "claimUrl": "https://wulfkaal.github.io/claims/2922176-035",
    "rank": 1,
    "confidence": 0.62,
    "method": "complete-corpus source-proposition mechanism and scope adjudication",
    "whyRelevant": "The Greek-language source identifies a concrete implementation-risk mechanism: mature Ethereum security tools can miss divergence between intended contract design and on-chain implementation, enabling malicious manipulation. This corresponds to Kaal's implementation-flaw account of the DAO failure, but it does not study that DAO or its one-third loss.",
    "ambiguous": false
   }
  ],
  "substantiveReview": {
   "disposition": "retained",
   "reviewVersion": "kaal-continuous-crossref-substantive-review-v1",
   "reviewedAt": "2026-08-09T08:17:43.051Z",
   "reviewer": "Codex continuous substantive reviewer",
   "rationale": "The Greek-language source identifies a concrete implementation-risk mechanism: mature Ethereum security tools can miss divergence between intended contract design and on-chain implementation, enabling malicious manipulation. This corresponds to Kaal's implementation-flaw account of the DAO failure, but it does not study that DAO or its one-third loss.",
   "limitations": [
    "Evidence is limited to an exact proposition in a Crossref-indexed abstract; full text was not reviewed.",
    "No relationship is treated as external endorsement, citation, causation, or validation of a broader Kaal claim.",
    "The Greek-language source identifies a concrete implementation-risk mechanism: mature Ethereum security tools can miss divergence between intended contract design and on-chain implementation, enabling malicious manipulation. This corresponds to Kaal's implementation-flaw account of the DAO failure, but it does not study that DAO or its one-third loss."
   ],
   "sourceIdentity": {
    "status": "verified",
    "source": "Crossref REST work record",
    "doi": "10.12681/eadd/62314",
    "title": "An ontology-driven approach to security analysis of Sui Move smart contracts",
    "authors": [
     "Αντώνιος Γιατζής"
    ],
    "language": null,
    "publisher": "National Documentation Centre (EKT)",
    "checkedAt": "2026-08-09T08:17:43.051Z",
    "responseBodySha256": "31aabaac4110f629ad0c0b1ef3148d5f433203082849f29911ddaeef77b4afb2",
    "providerReceipt": {
     "path": "outputs/historical-backfill-2026-08-08-crossref/raw-receipts/crossref-010-00001.json",
     "sha256": "1d236d82c4cfb2fedad371cc6445b9b515f8e8965cb8d53bfe58ef478d1de319",
     "byteLength": 2044106
    }
   },
   "independentRationale": "The exact proposition is present in the live Crossref abstract and the deposited reference list contains no Kaal-authored reference; the relationship is limited to the independently stated proposition.",
   "nonOverlap": {
    "candidateIdMatches": 0,
    "canonicalUrlMatches": 0,
    "propositionHashMatches": 0
   }
  }
 },
 "userAffirmation": "Automatically authorized under standing authority receipt kaal-standing-publication-authorization:2026-08-01:hourly-reviewed-batches, SHA-256 e2126054b58bb4e88db65c334ef4fc8ae78dcaadc63543c408133c4eefceb9b1, limited to this substantively reviewed batch and the unchanged 5,033 scholarly claims.",
 "sha256": "ce0e9547c66d4f2e6bab3004a30dbfe401fd88a2941f777a93de527064d8a3f5"
}