@prefix eidos: . @prefix owl: . @prefix rdf: . @prefix rdfs: . @prefix xsd: . @prefix prov: . @prefix sosa: . @prefix skos: . @prefix dcterms: . @prefix dcat: . @prefix time: . @prefix schema: . @prefix vann: . a owl:Ontology ; owl:versionInfo "19.5.0" ; owl:versionIRI ; dcterms:isPartOf ; dcterms:license ; rdfs:label "Eidos governance module" ; rdfs:comment "The spine: an organization puts a decision to an engine, whose markets trade on a venue and settle on a chain; the decision's form — purpose, information state, execution, measured outcome, impact, capital, parties, authority — and MetaDAO's proposal as its identity subclass." ; rdfs:comment "One module of the Eidos ontology, release 19.5.0; the whole is at https://eidos.software/ontology, generated from the registries in src/ by npm run ontology. Edit the source, not this file." . # ── governance: classes ─────────────────────────────────────────────── eidos:Organization a owl:Class ; rdfs:label "Organization" ; rdfs:subClassOf schema:Organization ; rdfs:seeAlso ; rdfs:comment "A tracked organization: the slug the app ranks under, its token, its kind and status. Hand-authored in the organization registry, sealed with every warehouse run as the organization dimension. MetaDAO's cohort, and the organizations a decision on another engine names through a decider claim (src/organization-deciders.ts)." . eidos:DaoAccount a owl:Class ; rdfs:label "DAO account" ; rdfs:subClassOf eidos:Authority ; rdfs:comment "A futarchy DAO account on the program: the public key its proposals name, decoded from the program's own accounts, never from a page. An authority: the account under which the organization's proposals run and whose treasury their execution moves." . eidos:Decision a owl:Class ; rdfs:label "Decision" ; rdfs:comment "One decision a market made or is making, on any engine, by engine, chain and decision id: the record's subject. Its form is what it was for, what was known, what was done and what followed — Purpose, InformationState, Execution and MeasuredOutcome — with the options it chose among and the measure it was judged on. A market's result selects an option; outcome is reserved for what followed." . [] a owl:AllDisjointClasses ; owl:members ( eidos:Decision eidos:Purpose eidos:InformationState eidos:Execution eidos:MeasuredOutcome eidos:Impact eidos:CapitalMovement eidos:Party eidos:Authority ) . eidos:Purpose a owl:Class ; rdfs:label "Purpose" ; rdfs:comment "What a decision was for: the ask as its proposer published it, the options, and the measure the market would judge it on. The proposer's words, cited; never a summary that replaces them." . eidos:InformationState a owl:Class ; rdfs:label "Information state" ; rdfs:comment "What was known about a decision at a stated time: the evidence the record held then, with what was withheld and why. Pinned to its time, so a later reading never rewrites an earlier one. Named KnowledgeState until 9.0.0." . eidos:Execution a owl:Class ; rdfs:label "Execution" ; rdfs:comment "What was done: whether the selected option was carried out onchain, read against a stated rule with its evidence. Not ExecutionMode, which says whether an engine binds at all." . eidos:OutcomeRecord a owl:Class ; rdfs:label "Outcome record" ; rdfs:subClassOf prov:Entity ; owl:disjointWith eidos:MeasuredOutcome , eidos:Impact ; rdfs:comment "A record of requested outcome measurements, at section, checkpoint or scalar branch scope. Its status and reason describe availability; only recordedOutcome asserts a measurement." . eidos:ImpactRecord a owl:Class ; rdfs:label "Impact record" ; rdfs:subClassOf prov:Entity ; owl:disjointWith eidos:MeasuredOutcome , eidos:Impact ; rdfs:comment "A conditional value comparison at a checkpoint. Retains a sourced market estimate independently of the availability of realized readings. Not an option-selection probability or a DecisionForecast." . eidos:MeasuredOutcome a owl:Class ; rdfs:label "Measured outcome" ; rdfs:comment "A sourced reading of the measure a decision was judged on: a close baseline, a later checkpoint or a resolved scalar branch. An available price lane with no checkpoint reading is only an OutcomeRecord. The only sense of outcome in this vocabulary — a market's pass or fail is its result, and what came of one of Eidos's own receipts is a ReceiptOutcome." . eidos:Impact a owl:Class ; rdfs:label "Impact" ; rdfs:comment "A market's forecast for the option it selected, beside what the measure did afterwards at one horizon: two numbers, built from a MeasuredOutcome, never a grade and never a verdict on the decision." . eidos:CapitalMovement a owl:Class ; rdfs:label "Capital movement" ; rdfs:subClassOf prov:Activity ; rdfs:comment "Capital a decision's execution moved, as read from the chain: the asset, the amount, the accounts it left and reached, and the transaction." . eidos:Party a owl:Class ; rdfs:label "Party" ; rdfs:subClassOf prov:Agent ; rdfs:comment "A party that acted on a decision — proposed it, signed its execution, deployed its market — named by its onchain account. A person or a model is named only where a source states it. Named Agent until 9.0.0, a word this product also uses for the models that read the record; a party is whoever acted." . eidos:Authority a owl:Class ; rdfs:label "Authority" ; rdfs:comment "What could carry a decision out: a treasury multisig, an engine's market contract, a funding market's sponsor, a DAO account. The power to act, as distinct from the party that acted." . eidos:GovernanceProposal a owl:Class ; rdfs:label "Governance proposal" ; rdfs:subClassOf eidos:Decision ; rdfs:comment "One MetaDAO proposal by exact chain, program and account identity: MetaDAO's form of a Decision. MetaDAO's own decision number may span program migrations and is not a chain key." . eidos:GovernanceProgramDeployment a owl:Class ; rdfs:label "Governance program deployment" ; rdfs:comment "A published program ID and version, with separate app decoder coverage. A known deployment is not evidence that its proposals have been indexed." . eidos:DecisionMarketEngine a owl:Class ; rdfs:label "Decision market engine" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:engine-metadao eidos:engine-combinator eidos:engine-butter eidos:engine-umia eidos:engine-futarchy-fi ) ] ; rdfs:comment "An independent decision market mechanism: the markets and the rule that turns their prices into a decision. The engine decides; the venue its tokens trade on and the chain it settles on are its own classes. Launchpads and apps on an engine's rails are its deployments, never engines of their own. Coverage says whether the record decodes it; an engine the record cannot yet decode is counted from sources and never synthesized into records." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:engine-metadao eidos:engine-combinator eidos:engine-butter eidos:engine-umia eidos:engine-futarchy-fi ) . eidos:DecisionMarketEngineScheme a skos:ConceptScheme ; rdfs:label "Decision market engine scheme" ; rdfs:comment "The closed members of DecisionMarketEngine, as a SKOS scheme: each individual states skos:inScheme." . eidos:EngineDeployment a owl:Class ; rdfs:label "Engine deployment" ; rdfs:comment "A launchpad or app that runs its decisions on an engine's rails, such as Futardio on MetaDAO or Star on Combinator." . eidos:PublishedRule a owl:Class ; rdfs:label "Published rule" ; rdfs:comment "A decision rule a named party published and ran, at a version, with its own execution mode and the rule component it uses: the engine's rule where an engine ran it, a party's own otherwise (Kleros KIP-76). Named FutarchyImplementation, \"a named venue\", until 9.0.0; a venue is where tokens trade, not a rule." . eidos:Chain a owl:Class ; rdfs:label "Chain" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:chain-solana-mainnet-beta eidos:chain-base eidos:chain-ethereum eidos:chain-optimism eidos:chain-unichain eidos:chain-gnosis ) ] ; rdfs:comment "A distributed ledger an engine's markets settle on. A decision's identity names its chain; the same address on two chains is two decisions. Where the observation tape stored a chain under an older spelling (Solana as solana), the individual carries it as chainTapeKey; gold conforms the tape's key to the id." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:chain-solana-mainnet-beta eidos:chain-base eidos:chain-ethereum eidos:chain-optimism eidos:chain-unichain eidos:chain-gnosis ) . eidos:ChainScheme a skos:ConceptScheme ; rdfs:label "Chain scheme" ; rdfs:comment "The closed members of Chain, as a SKOS scheme: each individual states skos:inScheme." . eidos:Venue a owl:Class ; rdfs:label "Venue" ; rdfs:seeAlso ; rdfs:comment "Where a market's conditional tokens trade: the pools an engine runs as its own, or a general-purpose exchange another party operates — Uniswap on Unichain for Butter, Swapr on Gnosis for futarchy.fi. Distinct from the engine that decides and the chain that settles, which is why the word is never used for either; the tape keys a market by its kind (marketKind: spot, token-spot, dao-vaults, desk-kpi, metadao-futarchy or an engine's id), which is not one of these." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:venue-metadao-conditional-amm eidos:venue-combinator-amm eidos:venue-umia-market-core eidos:venue-uniswap-v2-unichain eidos:venue-uniswap-v4-unichain eidos:venue-swapr-gnosis ) . eidos:VenueScheme a skos:ConceptScheme ; rdfs:label "Venue scheme" ; rdfs:comment "The registered members of Venue, as a SKOS scheme: each individual states skos:inScheme." . eidos:MechanismFamily a owl:Class ; rdfs:label "Mechanism family" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:mechanism-family-binary-token-value eidos:mechanism-family-multi-option-token-value eidos:mechanism-family-outcome-judged-funding eidos:mechanism-family-advisory ) ] ; rdfs:comment "The family of decision rule an engine implements. Closed enumeration: a new family is a registry edit and a release." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:mechanism-family-binary-token-value eidos:mechanism-family-multi-option-token-value eidos:mechanism-family-outcome-judged-funding eidos:mechanism-family-advisory ) . eidos:MechanismFamilyScheme a skos:ConceptScheme ; rdfs:label "Mechanism family scheme" ; rdfs:comment "The closed members of MechanismFamily, as a SKOS scheme: each individual states skos:inScheme." . eidos:ExecutionMode a owl:Class ; rdfs:label "Execution mode" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:execution-binding eidos:execution-advisory ) ] ; rdfs:comment "Whether a market's result decides or selects the action (binding) or informs a vote that remains free to ignore it (advisory)." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:execution-binding eidos:execution-advisory ) . eidos:ExecutionModeScheme a skos:ConceptScheme ; rdfs:label "Execution mode scheme" ; rdfs:comment "The closed members of ExecutionMode, as a SKOS scheme: each individual states skos:inScheme." . eidos:DecisionOption a owl:Class ; rdfs:label "Decision option" ; rdfs:comment "One action a decision market chose among. Pass and fail are the two options of a pass/fail decision; a multi-option decision carries one per candidate. The decision's form holds every option, not only the one selected. The field's word for these is outcome; here an outcome is what followed." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:option-binary-pass eidos:option-binary-fail ) . eidos:NoOpOption a owl:Class ; rdfs:label "No-op option" ; rdfs:subClassOf eidos:DecisionOption ; rdfs:comment "The option that leaves things as they are: fail in a pass/fail decision, the explicit no-op in a multi-option one. A decision has at most one." . eidos:ProposalState a owl:Class ; rdfs:label "Proposal state" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:proposal-state-draft eidos:proposal-state-pending eidos:proposal-state-passed eidos:proposal-state-failed eidos:proposal-state-removed eidos:proposal-state-finalized eidos:proposal-state-unknown ) ] ; rdfs:comment "The record lifecycle of a MetaDAO proposal: draft, pending, passed, failed, removed as the program states them, finalized once the TWAPs are, unknown where the read failed. One list (src/types.ts), so the index, the app and the ontology spell a state one way." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:proposal-state-draft eidos:proposal-state-pending eidos:proposal-state-passed eidos:proposal-state-failed eidos:proposal-state-removed eidos:proposal-state-finalized eidos:proposal-state-unknown ) . eidos:ProposalStateScheme a skos:ConceptScheme ; rdfs:label "Proposal state scheme" ; rdfs:comment "The closed members of ProposalState, as a SKOS scheme: each individual states skos:inScheme." . eidos:ExecutionState a owl:Class ; rdfs:label "Execution state" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:execution-state-executed eidos:execution-state-not-executed eidos:execution-state-pending eidos:execution-state-no-op-selected eidos:execution-state-not-applicable eidos:execution-state-not-checked ) ] ; rdfs:comment "What an execution reading can say: executed, not executed, pending, the no-op was selected so nothing was due, not applicable, or not checked. Not ExecutionMode, which says whether an engine binds at all. One list (src/decision-records.ts) for every engine and every page." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:execution-state-executed eidos:execution-state-not-executed eidos:execution-state-pending eidos:execution-state-no-op-selected eidos:execution-state-not-applicable eidos:execution-state-not-checked ) . eidos:ExecutionStateScheme a skos:ConceptScheme ; rdfs:label "Execution state scheme" ; rdfs:comment "The closed members of ExecutionState, as a SKOS scheme: each individual states skos:inScheme." . eidos:OutcomeMeasure a owl:Class ; rdfs:label "Outcome measure" ; rdfs:comment "What a decision market is judged on: the organization's token value under each option, with the threshold the leader must clear over the no-op, or a measured outcome such as value locked that a funding market forecasts and that is observed after the decision." . eidos:ProposalSource a owl:Class ; rdfs:label "Proposal source" ; rdfs:subClassOf prov:Entity ; rdfs:comment "Evidence about a governance proposal, with its own authority and acquisition status." . eidos:OnchainProposalSource a owl:Class ; rdfs:label "Onchain proposal source" ; rdfs:subClassOf eidos:ProposalSource ; owl:disjointWith eidos:OffchainProposalSource ; rdfs:comment "A source read from the chain itself: an account, a transaction, an instruction's bytes." . eidos:OffchainProposalSource a owl:Class ; rdfs:label "Offchain proposal source" ; rdfs:subClassOf eidos:ProposalSource ; rdfs:comment "A source published off the chain — a page, a document — joined to the proposal only through a verified account identity." . eidos:FutarchyProposalAccount a owl:Class ; rdfs:label "Futarchy proposal account" ; rdfs:subClassOf eidos:OnchainProposalSource ; rdfs:comment "Records state, DAO account, market and Squads reference, but no narrative text field. Program version is part of identity." . eidos:SquadsProposalAccount a owl:Class ; rdfs:label "Squads proposal account" ; rdfs:subClassOf eidos:OnchainProposalSource ; rdfs:comment "The Squads multisig proposal a Futarchy account references, decoded from its own account." . eidos:SquadsVaultTransaction a owl:Class ; rdfs:label "Squads vault transaction" ; rdfs:subClassOf eidos:OnchainProposalSource ; rdfs:comment "Executable instructions; an address lookup table may supply compiled program IDs." . eidos:OnchainMemoInstruction a owl:Class ; rdfs:label "Onchain memo instruction" ; rdfs:subClassOf eidos:OnchainProposalSource ; rdfs:comment "Exact UTF-8 Memo bytes, possibly just a title or URL; not necessarily the full proposal." . eidos:MetaDaoDecisionPage a owl:Class ; rdfs:label "MetaDAO decision page" ; rdfs:subClassOf eidos:OffchainProposalSource ; rdfs:comment "MetaDAO's published title, summary or prose for a proposal, joined to a chain proposal only through a verified account identity." . eidos:ExternalProposalDocument a owl:Class ; rdfs:label "External proposal document" ; rdfs:subClassOf eidos:OffchainProposalSource ; rdfs:comment "A linked full document whose content and availability are separate from the onchain pointer." . eidos:Futarchy a owl:Class ; rdfs:label "Futarchy" ; rdfs:comment "The mechanism the engines' families specialise: a voted welfare measure, conditional markets per option, and a published rule that turns conditional prices into the decision. One individual; the component taxonomy hangs off it." . eidos:MechanismComponent a owl:Class ; rdfs:label "Mechanism component" ; rdfs:comment "One component of the mechanism — the unit of attack-surface bookkeeping. Coverage counts detectors in this library; an uncovered component is undefended in the library's terms, never a claim the component is safe." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:component-welfare-metric eidos:component-conditional-market-pair eidos:component-twap-oracle eidos:component-decision-rule eidos:component-full-window-twap-rule eidos:component-terminal-window-twap-rule eidos:component-stake-requirement eidos:component-alignment-signal eidos:component-execution-binding eidos:component-gatekeeper-role eidos:component-proposal-specification eidos:component-delivery-enforcement eidos:component-corrective-participation-access eidos:component-branch-independence eidos:component-causal-assumption-transparency ) . eidos:OnchainConstruct a owl:Class ; rdfs:label "Onchain construct" ; rdfs:comment "A decoded onchain structure bridged to the abstract component it realizes." . eidos:Trade a owl:Class ; rdfs:label "Trade" ; rdfs:comment "One final swap the trade ledger recorded on a decision market, on any engine: finalized on chain and confirmed by two providers, named by engine, chain, market, transaction and the event's position in it. A swap of 0 for 0 is recorded too and is not a trade (tradeIsEconomic false; src/non-economic-swap.ts). Resolved publicly from its market's published trade document: a MetaDAO proposal's evidence, another engine's trade tape." . # ── governance: object and annotation properties ────────────────────── eidos:recordsProposal a owl:ObjectProperty ; rdfs:domain eidos:ProposalSource ; rdfs:range eidos:GovernanceProposal ; rdfs:comment "The exact proposal account a source describes; a page title or MetaDAO's own decision number alone is not an identity join." . eidos:pointsToSquadsProposal a owl:ObjectProperty ; rdfs:domain eidos:FutarchyProposalAccount ; rdfs:range eidos:SquadsProposalAccount ; rdfs:comment "The Squads proposal public key decoded from the Futarchy account, verified against the derived PDA." . eidos:pointsToVaultTransaction a owl:ObjectProperty ; rdfs:domain eidos:SquadsProposalAccount ; rdfs:range eidos:SquadsVaultTransaction ; rdfs:comment "The vault transaction derived from the Squads multisig and transaction index." . eidos:containsMemoInstruction a owl:ObjectProperty ; rdfs:domain eidos:SquadsVaultTransaction ; rdfs:range eidos:OnchainMemoInstruction ; rdfs:comment "One UTF-8 Memo instruction actually stored in the transaction; absence is known only after a successful read." . eidos:linksExternalDocument a owl:ObjectProperty ; rdfs:domain eidos:OnchainMemoInstruction ; rdfs:range eidos:ExternalProposalDocument ; rdfs:comment "A URL carried in onchain Memo bytes points to an offchain document; the document content is not onchain." . eidos:runsOnChain a owl:ObjectProperty ; rdfs:domain eidos:DecisionMarketEngine ; rdfs:range eidos:Chain ; rdfs:comment "A chain the engine's markets settle on. An engine may run on several." . eidos:hasMechanismFamily a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:DecisionMarketEngine ; rdfs:range eidos:MechanismFamily ; rdfs:comment "The family of decision rule the engine implements: pass or fail on token value, several options on token value, funding judged on a measured outcome, or advisory prices beside a vote. Functional; an engine implements one family." . eidos:bindsAs a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:DecisionMarketEngine ; rdfs:range eidos:ExecutionMode ; rdfs:comment "Whether the engine's market result decides or selects the action (binding) or informs a vote (advisory). The census counts an advisory engine where a registered organization decides on it (futarchy.fi, 6 October 2026)." . eidos:tradesOn a owl:ObjectProperty ; rdfs:domain eidos:DecisionMarketEngine ; rdfs:range eidos:Venue ; rdfs:comment "A venue the engine's conditional tokens trade on: its own pools for most engines, a general-purpose exchange for Butter (Uniswap on Unichain) and futarchy.fi (Swapr on Gnosis). The engine decides; the venue trades; the chain settles." . eidos:ownVenueOf a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:Venue ; rdfs:range eidos:DecisionMarketEngine ; rdfs:comment "The engine that runs this venue as its own pools. Absent for an exchange another party operates." . eidos:venueOnChain a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:Venue ; rdfs:range eidos:Chain ; rdfs:comment "The chain the venue's pools live on. Functional; a venue is one deployment on one chain." . eidos:deploymentOf a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:EngineDeployment ; rdfs:range eidos:DecisionMarketEngine ; rdfs:comment "The engine whose rails a launchpad or app runs on. A deployment is never counted as an engine of its own." . eidos:programOfEngine a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:GovernanceProgramDeployment ; rdfs:range eidos:DecisionMarketEngine ; rdfs:comment "The engine a published program deployment belongs to." . eidos:ruleOfEngine a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:PublishedRule ; rdfs:range eidos:DecisionMarketEngine ; rdfs:comment "The engine that ran a published rule, where the registry records one. A rule keeps its own execution mode: Optimism's advisory Futarchy v1 was Butter's before its binding funding markets." . eidos:hasStandardOption a owl:ObjectProperty ; rdfs:domain eidos:MechanismFamily ; rdfs:range eidos:DecisionOption ; rdfs:comment "An option every decision of this family carries: pass, and fail as the no-op, for a pass/fail family." . eidos:hasOption a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:DecisionOption ; rdfs:comment "An option the decision's market chose among. A pass/fail proposal has two; a multi-option decision has one per candidate, at most one of them the no-op." . eidos:judgedOn a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:OutcomeMeasure ; rdfs:comment "What the market was judged on: the organization's token value under each option, or a measured outcome such as value locked for a funding market." . eidos:selectedOption a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:DecisionOption ; rdfs:comment "The option the engine selected, as the source states it — the market's result. Never inferred from prices; absent while undecided or unstated. A funding market may select several." . eidos:onEngine a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:DecisionMarketEngine ; rdfs:comment "The engine whose market made the decision. Functional; part of the decision's identity." . eidos:onChain a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:Chain ; rdfs:comment "The chain the decision's market settled on. Functional; part of the decision's identity — the same id on two chains is two decisions." . eidos:onVenue a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:Venue ; rdfs:comment "A venue the decision's conditional tokens traded on. Stated from the decision record where it names one; an engine with one venue implies it." . eidos:hasPurpose a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:Purpose ; rdfs:comment "What the decision was for: the ask as its proposer published it, the options and the measure it would be judged on. One per decision is a shape rule (shapes.ttl), not a functional axiom: purposes are an open population no release can declare pairwise distinct." . eidos:hasInformationState a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:InformationState ; rdfs:comment "What was known: the evidence the record held at a stated time, pinned to that time so a later reading never rewrites an earlier one." . eidos:hasExecution a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:Execution ; rdfs:comment "What was done: an execution check of the selected option against the chain, with its rule and evidence. A decision that cannot be read yet has none, never a guessed one." . eidos:executionState a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:Execution ; rdfs:range eidos:ExecutionState ; rdfs:comment "The one state an execution reading carries: executed, not executed, pending, the no-op selected so nothing was due, not applicable, or not checked. Functional over a closed enumeration." . eidos:proposalState a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:GovernanceProposal ; rdfs:range eidos:ProposalState ; rdfs:comment "The record lifecycle state a MetaDAO proposal is in: the program's own states, finalized once the TWAPs are, unknown where the read failed." . eidos:hasOutcomeRecord a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:OutcomeRecord ; rdfs:comment "A requested outcome reading, including a withheld checkpoint and its reason. Availability is not a measured result." . eidos:hasImpactRecord a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:ImpactRecord ; rdfs:comment "A comparison checkpoint, retaining the conditional value estimate even when the realized comparison is withheld." . eidos:recordedOutcome a owl:ObjectProperty ; rdfs:domain eidos:OutcomeRecord ; rdfs:range eidos:MeasuredOutcome ; rdfs:comment "The sourced reading this record holds; absent for a withheld measurement." . eidos:recordedImpact a owl:ObjectProperty ; rdfs:domain eidos:ImpactRecord ; rdfs:range eidos:Impact ; rdfs:comment "The completed comparison this record holds; absent without a realized change." . eidos:impactBaseline a owl:ObjectProperty ; rdfs:domain eidos:Impact ; rdfs:range eidos:MeasuredOutcome ; rdfs:comment "The measured close reading used as the baseline for the realized change." . eidos:impactOfRecord a owl:ObjectProperty ; rdfs:domain eidos:Impact ; rdfs:range eidos:ImpactRecord ; rdfs:comment "The comparison record retaining the market estimate and its source." . eidos:hasOutcome a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:MeasuredOutcome ; rdfs:comment "Sourced readings of the decision's outcome measure, including the close baseline, later checkpoints and resolved scalar branches. Requested but unavailable readings belong to hasOutcomeRecord." . eidos:hasImpact a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:Impact ; rdfs:comment "The market's forecast for the selected option beside what the measure did afterwards, at one horizon." . eidos:impactOfOutcome a owl:ObjectProperty ; rdfs:domain eidos:Impact ; rdfs:range eidos:MeasuredOutcome ; rdfs:comment "The realized reading the comparison was made against. Together with impactBaseline it supplies the measured endpoints of the realized percentage change." . eidos:movedCapital a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:CapitalMovement ; rdfs:comment "Capital the decision's execution moved, as read from the chain." . eidos:actedBy a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:Party ; rdfs:comment "A party that acted on the decision — proposed it, signed its execution, deployed its market — named by its onchain account." . eidos:authorizedBy a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:Authority ; rdfs:comment "The authority that could carry the decision out: a treasury multisig, an engine's market contract, a funding market's sponsor." . eidos:variantOf a owl:ObjectProperty ; rdfs:domain eidos:MechanismComponent ; rdfs:range eidos:MechanismComponent ; rdfs:comment "A rule variant specializes its parent component." . eidos:hasComponent a owl:ObjectProperty ; rdfs:domain eidos:Futarchy ; rdfs:range eidos:MechanismComponent ; rdfs:comment "A root component in the registry-derived mechanism taxonomy. Rule variants attach to their root with variantOf." . eidos:implements a owl:ObjectProperty ; rdfs:domain eidos:PublishedRule ; rdfs:range eidos:Futarchy ; rdfs:comment "The mechanism a published rule is a rule of." . eidos:executesAs a owl:ObjectProperty ; rdfs:domain eidos:PublishedRule ; rdfs:range eidos:ExecutionMode ; rdfs:comment "Whether markets under the published rule execute onchain or advise." . eidos:usesRule a owl:ObjectProperty ; rdfs:domain eidos:PublishedRule ; rdfs:range eidos:MechanismComponent ; rdfs:comment "The decision-rule variant the published rule uses, when published." . eidos:realizesComponent a owl:ObjectProperty ; rdfs:domain eidos:OnchainConstruct ; rdfs:range eidos:MechanismComponent ; rdfs:comment "Bridges a decoded onchain construct to the abstract mechanism component it realizes." . eidos:organizationHasDaoAccount a owl:ObjectProperty ; rdfs:domain eidos:Organization ; rdfs:range eidos:DaoAccount ; rdfs:comment "governed by DAO account (many; asserted by warehouse, re-derived-per-seal, at-read). The futarchy DAO accounts the organization's proposals run under (an organization that moved DAO accounts holds more than one), from the identity registry's claims or a recorded live snapshot; a contested mapping fails the seal rather than picking." . eidos:daoAccountHasOrganization a owl:ObjectProperty ; rdfs:domain eidos:DaoAccount ; rdfs:range eidos:Organization ; owl:inverseOf eidos:organizationHasDaoAccount ; rdfs:comment "identified as organization (one-or-none; asserted by warehouse, re-derived-per-seal, at-read). The inverse of the organization's governing DAO account; absent for the program's test mints and for DAO accounts no registry names." . eidos:daoAccountHasProposals a owl:ObjectProperty ; rdfs:domain eidos:DaoAccount ; rdfs:range eidos:GovernanceProposal ; rdfs:comment "has proposals (many; asserted by published-database, immutable, at-read). Every proposal account whose dao field names this DAO account." . eidos:decisionGovernedBy a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:DaoAccount ; rdfs:comment "decided for DAO account (one-or-none; asserted by published-database, immutable, at-read). For a MetaDAO decision, the DAO account the proposal names. Other engines' DAO accounts are named in the row and are not yet DAO account objects." . eidos:decisionForOrganization a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:Organization ; rdfs:comment "decided for organization (one-or-none; asserted by warehouse, re-derived-per-seal, at-read). The tracked organization the decision was about: on MetaDAO through its DAO account's identity, on another engine through the registry's claim on its decider (src/organization-deciders.ts: a futarchy.fi market's organization token, an Umia venture, a Butter funder), sealed with the census. Absent for a decision no registry names: a decider no claim names (every Combinator moderator today) is named on the decision (organization) and is not a tracked organization." . eidos:proposalGovernedBy a owl:ObjectProperty ; rdfs:domain eidos:GovernanceProposal ; rdfs:range eidos:DaoAccount ; rdfs:subPropertyOf eidos:decisionGovernedBy ; owl:inverseOf eidos:daoAccountHasProposals ; rdfs:comment "governed by (one; asserted by published-database, immutable, at-read). The dao field of the proposal account. MetaDAO's form of decision-governed-by, where it is always present." . eidos:tradeOnDecision a owl:ObjectProperty ; rdfs:domain eidos:Trade ; rdfs:range eidos:Decision ; rdfs:comment "trade on decision (one-or-none; asserted by warehouse, re-derived-per-seal, at-read). The decision whose market the trade was on, joined by engine, chain and the market id the decision carries. None where the record decodes no decision for the market." . # ── governance: datatype properties ─────────────────────────────────── eidos:chainFamily a owl:DatatypeProperty ; rdfs:domain eidos:Chain ; rdfs:range xsd:string . eidos:chainId a owl:DatatypeProperty ; rdfs:domain eidos:Chain ; rdfs:range xsd:string . eidos:chainTapeKey a owl:DatatypeProperty ; rdfs:domain eidos:Chain ; rdfs:range xsd:string . eidos:comparisonBasis a owl:DatatypeProperty ; rdfs:domain eidos:ImpactRecord ; rdfs:range xsd:string ; rdfs:comment "How the closing conditional value comparison was measured." . eidos:comparisonCheckpoint a owl:DatatypeProperty ; rdfs:domain eidos:ImpactRecord ; rdfs:range xsd:string ; rdfs:comment "The realized horizon, when a market estimate is available." . eidos:comparisonForecastPct a owl:DatatypeProperty ; rdfs:domain eidos:ImpactRecord ; rdfs:range xsd:double ; rdfs:comment "The conditional value premium, not a probability of option selection." . eidos:comparisonReferenceOption a owl:DatatypeProperty ; rdfs:domain eidos:ImpactRecord ; rdfs:range xsd:string ; rdfs:comment "The reference option for the conditional value comparison." . eidos:comparisonSelectedOption a owl:DatatypeProperty ; rdfs:domain eidos:ImpactRecord ; rdfs:range xsd:string ; rdfs:comment "The selected option whose conditional value was compared." . eidos:comparisonSource a owl:DatatypeProperty ; rdfs:domain eidos:ImpactRecord ; rdfs:range xsd:string ; rdfs:comment "The source of the conditional market estimate." . eidos:comparisonStatus a owl:DatatypeProperty ; rdfs:domain eidos:ImpactRecord ; rdfs:range xsd:string ; rdfs:comment "Whether the realized comparison is recorded or withheld." . eidos:comparisonWithheldReason a owl:DatatypeProperty ; rdfs:domain eidos:ImpactRecord ; rdfs:range xsd:string ; rdfs:comment "Why this comparison is unavailable." . eidos:daoAccountKey a owl:DatatypeProperty ; rdfs:domain eidos:DaoAccount ; rdfs:range xsd:string ; rdfs:comment "The DAO account's public key on the futarchy program. Bound to main.dim_dao_account.dao." . eidos:decisionAttackReviewFiled a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "Whether the Attack review filed a finding on the decision itself. Attack files only on a complete Evidence packet (a playbook runs only on its own complete evidence), so it implies decisionEvidenceReviewFiled. Bound to main.dim_decision.attack_review_filed." . eidos:decisionCapitalState a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:string ; rdfs:comment "Whether the decision's execution moved capital (moved, none, not-executed), as the record read it; null where no capital reading is recorded. Bound to main.dim_decision.capital_state." . eidos:decisionChain a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:string ; rdfs:comment "The chain's id; the same value onChain names as an individual. Bound to main.dim_decision.chain." . eidos:decisionClosesAt a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:dateTime ; rdfs:comment "When the decision's market closes or closed, as its source states it. Bound to main.dim_decision.closes_at." . eidos:decisionDeciderKey a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:string ; rdfs:comment "The census's decider for the decision (deciderKey in src/decision-summary.ts): whoever put it to its market, keyed by its engine and account (a MetaDAO DAO account, a Combinator moderator), or its name where the engine records no account (an Umia venture, a Butter deployer), or the decision itself where it names neither; null where the census had not yet seen it. Called the census's organization until 11.0.0, which it is not: most deciders are not tracked organizations. Bound to main.dim_decision.decider_key." . eidos:decisionEngine a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:string ; rdfs:comment "The engine's id (src/decision-engines.ts); the same value onEngine names as an individual. Bound to main.dim_decision.engine." . eidos:decisionEvidenceReviewFiled a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "Whether the Evidence review filed a finding on the decision itself. Bound to main.dim_decision.evidence_review_filed." . eidos:decisionExecutionState a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:string ; rdfs:comment "What execution the record read for the decision (executed, not-executed, pending, no-op-selected, not-applicable, not-checked), sealed from the published record with the census; null where no execution reading is recorded. Bound to main.dim_decision.execution_state." . eidos:decisionFinalThresholdPct a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:decimal ; rdfs:comment "The pass threshold, in percent, that a MetaDAO proposal's FinalizeProposalEvent applied: the edge the pass TWAP needed over the fail TWAP, recovered exactly from the event's own integers as the trade ledger recorded them by the cutoff, a threshold decoded later (an append-only amendment) included (src/metadao-resolution.ts). Null on another engine, on a proposal the ledger holds no pass or fail for, and where the event does not state one: never zero, and never the DAO's current threshold. Bound to main.dim_decision.final_threshold_pct." . eidos:decisionHasAnalysis a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "At least one analytical instrument produced an available result. This does not imply complete coverage. Bound to main.dim_decision.analyzed." . eidos:decisionHasDetectorAssessment a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "At least one named detector ran on its qualified evidence. Bound to main.dim_decision.detector_assessed." . eidos:decisionHasMarketReading a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "A price-rule reading or a measured-outcome resolution is available. Bound to main.dim_decision.market_reading_available." . eidos:decisionHasParticipation a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "Observed trading participation is available, with completeness stated on its result. Bound to main.dim_decision.participation_available." . eidos:decisionIdentifier a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:string ; rdfs:comment "The decision's id on its engine: a MetaDAO proposal account, a Combinator decision account, an Umia market id, a Butter market address. Bound to main.dim_decision.decision_id." . eidos:decisionIsCounted a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "Whether the census counts the decision (src/decision-records.ts, the one census rule), sealed from the decision-census input bundle; null for a decision the census had not yet seen at the cutoff. Bound to main.dim_decision.counted." . eidos:decisionIsDecided a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "Whether the engine has stated a result. Bound to main.dim_decision.decided." . eidos:decisionIsFundedDraft a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "Whether the decision is a funded draft: a MetaDAO draft whose stake is above zero (its proposal's proposalIsFundedDraft, carried onto the decision it is). False for every other MetaDAO state; null on the other engines, which have no drafts, and for a draft whose stake the snapshot did not state. Bound to main.dim_decision.funded." . eidos:decisionIsReviewed a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "Whether the record holds a review reading for the decision: the six reviews for a MetaDAO proposal, the engine review for another engine's decision. Bound to main.dim_decision.reviewed." . eidos:decisionMarketReviewFiled a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "Whether the Market review filed a finding on the decision itself. Bound to main.dim_decision.market_review_filed." . eidos:decisionNamesPassOption a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:boolean ; rdfs:comment "Whether the decision's options are pass and fail, so a pass rate counts it: true on every MetaDAO decision, false on a multi-option market and on a binary one whose options are named otherwise. Bound to main.dim_decision.pass_option." . eidos:decisionNonEconomicSwapCount a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:integer ; rdfs:comment "The final swaps of 0 for 0 among them: both raw legs zero, so they moved nothing. The ledger records them as the chain did and no count of trades counts them (src/non-economic-swap.ts, operator decision, 6 October 2026). Null exactly when decisionSwapCount is. Bound to main.dim_decision.non_economic_swaps." . eidos:decisionOpenedAt a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:dateTime ; rdfs:comment "When the decision's market opened, as its source states it. Bound to main.dim_decision.opened_at." . eidos:decisionOptionCount a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:integer ; rdfs:comment "How many options the market chose among, the no-op included. Bound to main.dim_decision.option_count." . eidos:decisionRecordId a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:string ; rdfs:comment "`--`, EVM ids lowercased: the last segment of the decision's IRI and the key of /data/decisions.json. Bound to main.dim_decision.record_id." . eidos:decisionSelectedOptionId a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:string ; rdfs:comment "The first selected option's id — the market's result — or null while undecided or unstated. Bound to main.dim_decision.selected_option." . eidos:decisionState a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:string ; rdfs:comment "The decision's state as its engine states it: MetaDAO's program states (draft, pending, passed, failed, removed) on a MetaDAO decision, decided, open or resolved-without-selection on the other engines. Bound to main.dim_decision.state." . eidos:decisionSwapCount a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:integer ; rdfs:comment "Every final swap the trade ledger recorded on the decision's market by the cutoff: its trades and its swaps of 0 for 0 together. Null where the ledger holds no row for the market, or where the market's trades are another decision's: a futarchy.fi proposal that repeats an earlier condition, or one no pool was born for (unmeasured, never zero). Bound to main.dim_decision.swaps." . eidos:decisionTitle a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:string ; rdfs:comment "The decision's title as its source states it, or the organization's name where no title is published. Bound to main.dim_decision.title." . eidos:decisionTradeCount a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:integer ; rdfs:comment "The final trades the trade ledger recorded on the decision's market by the cutoff, swaps of 0 for 0 excluded (src/non-economic-swap.ts). Null where the ledger holds no row for the market, or where the market's trades are another decision's: a futarchy.fi proposal that repeats an earlier condition, or one no pool was born for (unmeasured, never zero). Bound to main.dim_decision.trades." . eidos:decisionTraderCount a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:integer ; rdfs:comment "The distinct wallets among those trades. Distinct per decision only: a wallet that traded two decisions is counted on each, so a sum over decisions is not a count of people. Null exactly when decisionTradeCount is. Bound to main.dim_decision.traders." . eidos:decisionVolumeUsd a owl:DatatypeProperty ; rdfs:domain eidos:Decision ; rdfs:range xsd:decimal ; rdfs:comment "The dollar size of those trades, summed, where the market is quoted in a USD stablecoin; null where it is not, or where the ledger holds no row for the market or its trades are another decision's (a futarchy.fi repeat, or a proposal no pool was born for; unmeasured, never zero). Bound to main.dim_decision.volume_usd." . eidos:definition a owl:DatatypeProperty ; rdfs:domain [ a owl:Class ; owl:unionOf ( eidos:Futarchy eidos:MechanismComponent eidos:OnchainConstruct ) ] ; rdfs:range xsd:string . eidos:engineCoverage a owl:DatatypeProperty ; rdfs:domain eidos:DecisionMarketEngine ; rdfs:range xsd:string . eidos:engineId a owl:DatatypeProperty ; rdfs:domain eidos:DecisionMarketEngine ; rdfs:range xsd:string . eidos:impactChangePct a owl:DatatypeProperty ; rdfs:domain eidos:Impact ; rdfs:range xsd:double ; rdfs:comment "The realized percentage change from the measured baseline to the measured outcome." . eidos:note a owl:DatatypeProperty ; rdfs:range xsd:string . eidos:optionId a owl:DatatypeProperty ; rdfs:domain [ a owl:Class ; owl:unionOf ( eidos:DecisionOption eidos:NoOpOption ) ] ; rdfs:range xsd:string . eidos:organizationDaoAccountCount a owl:DatatypeProperty ; rdfs:domain eidos:Organization ; rdfs:range xsd:integer ; rdfs:comment "The futarchy DAO accounts the identity registry assigns the organization; zero where it assigns none. More than one where the organization moved DAO accounts. Bound to main.dim_organization.dao_account_count." . eidos:organizationDocs a owl:DatatypeProperty ; rdfs:domain eidos:Organization ; rdfs:range xsd:string ; rdfs:comment "The documentation site the newest sealed profile collection found, when it found one. Bound to main.dim_organization.docs_url." . eidos:organizationIsActive a owl:DatatypeProperty ; rdfs:domain eidos:Organization ; rdfs:range xsd:boolean ; rdfs:comment "Whether the status is live or winding-down. Bound to main.dim_organization.is_active." . eidos:organizationKind a owl:DatatypeProperty ; rdfs:domain eidos:Organization ; rdfs:range xsd:string ; rdfs:comment "launched or established. Bound to main.dim_organization.kind." . eidos:organizationName a owl:DatatypeProperty ; rdfs:domain eidos:Organization ; rdfs:range xsd:string ; rdfs:comment "The organization's display name. Bound to main.dim_organization.name." . eidos:organizationSlug a owl:DatatypeProperty ; rdfs:domain eidos:Organization ; rdfs:range xsd:string ; rdfs:comment "The organization's registry slug, the key the app ranks under. Bound to main.dim_organization.slug." . eidos:organizationStatus a owl:DatatypeProperty ; rdfs:domain eidos:Organization ; rdfs:range xsd:string ; rdfs:comment "live, winding-down, liquidated or dissolved. Bound to main.dim_organization.status." . eidos:organizationTokenSymbol a owl:DatatypeProperty ; rdfs:domain eidos:Organization ; rdfs:range xsd:string ; rdfs:comment "The ticker of the organization's token, when it has one. Bound to main.dim_organization.token_symbol." . eidos:organizationWebsite a owl:DatatypeProperty ; rdfs:domain eidos:Organization ; rdfs:range xsd:string ; rdfs:comment "The website the newest sealed profile collection found, when it found one. Bound to main.dim_organization.website_url." . eidos:organizationXProfile a owl:DatatypeProperty ; rdfs:domain eidos:Organization ; rdfs:range xsd:string ; rdfs:comment "The X profile the newest sealed profile collection found, when it found one. Bound to main.dim_organization.x_url." . eidos:outcomeAt a owl:DatatypeProperty ; rdfs:domain eidos:MeasuredOutcome ; rdfs:range xsd:dateTime ; rdfs:comment "The reading observation time, when the source carries one." . eidos:outcomeBound a owl:DatatypeProperty ; rdfs:domain eidos:MeasuredOutcome ; rdfs:range xsd:string ; rdfs:comment "Whether a resolved scalar reading is exact or bounded by the scalar range." . eidos:outcomeSource a owl:DatatypeProperty ; rdfs:domain eidos:MeasuredOutcome ; rdfs:range xsd:string ; rdfs:comment "The source document or tape lane for the reading." . eidos:outcomeUnit a owl:DatatypeProperty ; rdfs:domain eidos:MeasuredOutcome ; rdfs:range xsd:string ; rdfs:comment "The unit of the reading." . eidos:outcomeValue a owl:DatatypeProperty ; rdfs:domain eidos:MeasuredOutcome ; rdfs:range xsd:double ; rdfs:comment "The observed numeric value, never a missing-value zero." . eidos:programCoverage a owl:DatatypeProperty ; rdfs:domain eidos:GovernanceProgramDeployment ; rdfs:range xsd:string . eidos:programFamily a owl:DatatypeProperty ; rdfs:domain eidos:GovernanceProgramDeployment ; rdfs:range xsd:string . eidos:programId a owl:DatatypeProperty ; rdfs:domain eidos:GovernanceProgramDeployment ; rdfs:range xsd:string . eidos:proposalDaoAccount a owl:DatatypeProperty ; rdfs:domain eidos:GovernanceProposal ; rdfs:range xsd:string ; rdfs:comment "The futarchy DAO account the proposal names: the account its program-account row carries. Bound to main.dim_proposal.dao." . eidos:proposalIsDecided a owl:DatatypeProperty ; rdfs:domain eidos:GovernanceProposal ; rdfs:range xsd:boolean ; rdfs:comment "Whether the proposal's market decided it: the account reads passed or failed and the DAO's admin did not cancel it (an admin cancellation, which the trade ledger records, also leaves the account failed). Bound to main.dim_proposal.decided." . eidos:proposalIsFundedDraft a owl:DatatypeProperty ; rdfs:domain eidos:GovernanceProposal ; rdfs:range xsd:boolean ; rdfs:comment "Whether the proposal is a funded draft: a draft whose stake is above zero, which the program counts as active. False for every other state; null for a draft whose stake the snapshot did not state. Bound to main.dim_proposal.funded." . eidos:proposalStateCode a owl:DatatypeProperty ; rdfs:domain eidos:GovernanceProposal ; rdfs:range xsd:string ; rdfs:comment "The proposal account's state as the program records it, as text: draft, pending, passed, failed or removed (proposalState names the same state as a ProposalState individual). Bound to main.dim_proposal.state." . eidos:recordCheckpoint a owl:DatatypeProperty ; rdfs:domain eidos:OutcomeRecord ; rdfs:range xsd:string ; rdfs:comment "The requested checkpoint or resolved branch identifier." . eidos:recordStatus a owl:DatatypeProperty ; rdfs:domain eidos:OutcomeRecord ; rdfs:range xsd:string ; rdfs:comment "Whether this requested measurement is recorded or withheld." . eidos:recordWithheldReason a owl:DatatypeProperty ; rdfs:domain eidos:OutcomeRecord ; rdfs:range xsd:string ; rdfs:comment "Why this measurement is unavailable." . eidos:sourceLabel a owl:DatatypeProperty ; rdfs:domain eidos:PublishedRule ; rdfs:range xsd:string . eidos:sourceUrl a owl:DatatypeProperty ; rdfs:range xsd:string . eidos:tradeBlockTime a owl:DatatypeProperty ; rdfs:domain eidos:Trade ; rdfs:range xsd:dateTime ; rdfs:comment "When the block holding the trade was produced. Bound to main.fct_trades.block_time." . eidos:tradeChain a owl:DatatypeProperty ; rdfs:domain eidos:Trade ; rdfs:range xsd:string ; rdfs:comment "The chain the trade settled on. Bound to main.fct_trades.chain." . eidos:tradeEngine a owl:DatatypeProperty ; rdfs:domain eidos:Trade ; rdfs:range xsd:string ; rdfs:comment "The engine whose market the trade was on (src/decision-engines.ts). Bound to main.fct_trades.engine." . eidos:tradeIsEconomic a owl:DatatypeProperty ; rdfs:domain eidos:Trade ; rdfs:range xsd:boolean ; rdfs:comment "Whether the swap is a trade: false for a swap of 0 for 0, which moved nothing (src/non-economic-swap.ts). Bound to main.fct_trades.economic." . eidos:tradeMarket a owl:DatatypeProperty ; rdfs:domain eidos:Trade ; rdfs:range xsd:string ; rdfs:comment "The market as the trade ledger names it: a MetaDAO proposal account, another engine's decision id. Bound to main.fct_trades.market." . eidos:tradePosition a owl:DatatypeProperty ; rdfs:domain eidos:Trade ; rdfs:range xsd:integer ; rdfs:comment "The event's position within its transaction. Bound to main.fct_trades.position." . eidos:tradeSizeUsd a owl:DatatypeProperty ; rdfs:domain eidos:Trade ; rdfs:range xsd:decimal ; rdfs:comment "The trade's size in dollars where it has an exact one: a market quoted in a USD stablecoin, a futarchy.fi market quoted in sDAI (at the vault's rate) or its conditional outcome, a Butter Long against its Short (by the redemption identity); null otherwise, and a size amended after recording is known only from its amendment. Bound to main.fct_trades.size_usd." . eidos:tradeTrader a owl:DatatypeProperty ; rdfs:domain eidos:Trade ; rdfs:range xsd:string ; rdfs:comment "The wallet that traded. Bound to main.fct_trades.trader." . eidos:tradeTransaction a owl:DatatypeProperty ; rdfs:domain eidos:Trade ; rdfs:range xsd:string ; rdfs:comment "The transaction signature or hash. Bound to main.fct_trades.tx." . eidos:venueId a owl:DatatypeProperty ; rdfs:domain eidos:Venue ; rdfs:range xsd:string . eidos:venueKind a owl:DatatypeProperty ; rdfs:domain eidos:Venue ; rdfs:range xsd:string . eidos:venueOperator a owl:DatatypeProperty ; rdfs:domain eidos:Venue ; rdfs:range xsd:string . eidos:version a owl:DatatypeProperty ; rdfs:range xsd:string . # ── governance: individuals (generated from the registries) ─────────── eidos:execution-binding a eidos:ExecutionMode ; rdfs:label "binding" ; skos:inScheme eidos:ExecutionModeScheme . eidos:execution-advisory a eidos:ExecutionMode ; rdfs:label "advisory" ; skos:inScheme eidos:ExecutionModeScheme . eidos:proposal-state-draft a eidos:ProposalState ; rdfs:label "draft" ; skos:inScheme eidos:ProposalStateScheme . eidos:proposal-state-pending a eidos:ProposalState ; rdfs:label "pending" ; skos:inScheme eidos:ProposalStateScheme . eidos:proposal-state-passed a eidos:ProposalState ; rdfs:label "passed" ; skos:inScheme eidos:ProposalStateScheme . eidos:proposal-state-failed a eidos:ProposalState ; rdfs:label "failed" ; skos:inScheme eidos:ProposalStateScheme . eidos:proposal-state-removed a eidos:ProposalState ; rdfs:label "removed" ; skos:inScheme eidos:ProposalStateScheme . eidos:proposal-state-finalized a eidos:ProposalState ; rdfs:label "finalized" ; skos:inScheme eidos:ProposalStateScheme . eidos:proposal-state-unknown a eidos:ProposalState ; rdfs:label "unknown" ; skos:inScheme eidos:ProposalStateScheme . eidos:execution-state-executed a eidos:ExecutionState ; rdfs:label "executed" ; skos:inScheme eidos:ExecutionStateScheme . eidos:execution-state-not-executed a eidos:ExecutionState ; rdfs:label "not-executed" ; skos:inScheme eidos:ExecutionStateScheme . eidos:execution-state-pending a eidos:ExecutionState ; rdfs:label "pending" ; skos:inScheme eidos:ExecutionStateScheme . eidos:execution-state-no-op-selected a eidos:ExecutionState ; rdfs:label "no-op-selected" ; skos:inScheme eidos:ExecutionStateScheme . eidos:execution-state-not-applicable a eidos:ExecutionState ; rdfs:label "not-applicable" ; skos:inScheme eidos:ExecutionStateScheme . eidos:execution-state-not-checked a eidos:ExecutionState ; rdfs:label "not-checked" ; skos:inScheme eidos:ExecutionStateScheme . eidos:governance-program-futarelbfjfq8rdghg1wdhddq1odmajuephfubyfuxkq a eidos:GovernanceProgramDeployment ; rdfs:label "futarchy v0.6.0" ; eidos:programId "FUTARELBfJfQ8RDGhg1wdhddq1odMAJUePHFuBYfUxKq" ; eidos:programFamily "futarchy" ; eidos:version "v0.6.0" ; eidos:programCoverage "indexed" ; eidos:sourceUrl "https://github.com/metaDAOproject/programs#deployments" . eidos:governance-program-autour3cqza3d4qret6std2mtomfzvreecc5qh7ivw5 a eidos:GovernanceProgramDeployment ; rdfs:label "autocrat v0.5.0" ; eidos:programId "auToUr3CQza3D4qreT6Std2MTomfzvrEeCC5qh7ivW5" ; eidos:programFamily "autocrat" ; eidos:version "v0.5.0" ; eidos:programCoverage "decoder-pending" ; eidos:sourceUrl "https://github.com/metaDAOproject/programs#deployments" . eidos:governance-program-autowmzcbm29yxmgvg3t62hkgo7rcyrvgqqkd54fdql a eidos:GovernanceProgramDeployment ; rdfs:label "autocrat proposal-duration-v0.4.2" ; eidos:programId "autowMzCbM29YXMgVG3T62Hkgo7RcyrvgQQkd54fDQL" ; eidos:programFamily "autocrat" ; eidos:version "proposal-duration-v0.4.2" ; eidos:programCoverage "decoder-pending" ; eidos:sourceUrl "https://github.com/metaDAOproject/programs#deployments" . eidos:governance-program-autoqp9rmunkzzkrxsmkwicdvz3h29vvymdcayjcxxg a eidos:GovernanceProgramDeployment ; rdfs:label "autocrat v0.3" ; eidos:programId "autoQP9RmUNkzzKRXsMkWicDVZ3h29vvyMDcAYjCxxg" ; eidos:programFamily "autocrat" ; eidos:version "v0.3" ; eidos:programCoverage "decoder-pending" ; eidos:sourceUrl "https://github.com/metaDAOproject/programs#deployments" . eidos:governance-program-metark9dubnradzn6uudkvxbvkw5pycbpvmltuzwtbp a eidos:GovernanceProgramDeployment ; rdfs:label "autocrat_v0 v0.2" ; eidos:programId "metaRK9dUBnrAdZN6uUDKvxBVKW5pyCbPVmLtUZwtBp" ; eidos:programFamily "autocrat_v0" ; eidos:version "v0.2" ; eidos:programCoverage "decoder-pending" ; eidos:sourceUrl "https://github.com/metaDAOproject/programs#deployments" . eidos:governance-program-metax99lhn3a7gr7vaccfxhpfocvpmpqq3eyp3pguuq a eidos:GovernanceProgramDeployment ; rdfs:label "autocrat_v0 v0.1" ; eidos:programId "metaX99LHn3A7Gr7VAcCfXhpfocvpMpqQ3eyp3PGUUq" ; eidos:programFamily "autocrat_v0" ; eidos:version "v0.1" ; eidos:programCoverage "decoder-pending" ; eidos:sourceUrl "https://github.com/metaDAOproject/programs#deployments" . eidos:governance-program-meta3cxkzfbmwygcvozmvcqas3y9b3fgxrg9hkhl7wi a eidos:GovernanceProgramDeployment ; rdfs:label "autocrat_v0 v0" ; eidos:programId "meta3cxKzFBmWYgCVozmvCQAS3y9b3fGxrG9HkHL7Wi" ; eidos:programFamily "autocrat_v0" ; eidos:version "v0" ; eidos:programCoverage "decoder-pending" ; eidos:sourceUrl "https://github.com/metaDAOproject/programs#deployments" . eidos:mechanism-futarchy a eidos:Futarchy ; rdfs:label "Futarchy" ; eidos:definition "Market-based governance: a voted welfare metric, conditional markets pricing each decision option, and a published rule that turns conditional prints into the result." . eidos:component-welfare-metric a eidos:MechanismComponent ; rdfs:label "Welfare metric" ; eidos:definition "The measure of value the venue asks its markets to optimize — what conditional prices are read as forecasts of." . eidos:component-conditional-market-pair a eidos:MechanismComponent ; rdfs:label "Conditional market pair" ; eidos:definition "The pass and fail conditional markets that price the proposal's two futures against each other." . eidos:component-twap-oracle a eidos:MechanismComponent ; rdfs:label "TWAP oracle" ; eidos:definition "The time-weighted average price accumulator that turns each conditional market's trade series into the print the decision rule reads." . eidos:component-decision-rule a eidos:MechanismComponent ; rdfs:label "Decision rule" ; eidos:definition "The published rule that turns conditional prints into an outcome — which TWAPs are compared, over what window, against what configured threshold." . eidos:component-full-window-twap-rule a eidos:MechanismComponent ; rdfs:label "Full-window TWAP rule" ; eidos:definition "A decision rule that accrues resolving weight across the whole decision period, so late trades carry the least time-weight." . eidos:component-terminal-window-twap-rule a eidos:MechanismComponent ; rdfs:label "Terminal-window TWAP rule" ; eidos:definition "A decision rule that accrues all resolving weight in a short terminal slice of a much longer decision period." . eidos:component-stake-requirement a eidos:MechanismComponent ; rdfs:label "Stake requirement" ; eidos:definition "The stake a proposer must post for eligibility — its size, its recoverability, and its per-address accounting." . eidos:component-alignment-signal a eidos:MechanismComponent ; rdfs:label "Alignment signal" ; eidos:definition "The observer-facing reading of volume and economic alignment around a market — evidence about conviction, not part of the decision rule." . eidos:component-execution-binding a eidos:MechanismComponent ; rdfs:label "Execution binding" ; eidos:definition "Whether the market's outcome executes onchain (binding) or informs a vote or a bound delegate while executing nothing (advisory)." . eidos:component-gatekeeper-role a eidos:MechanismComponent ; rdfs:label "Gatekeeper role" ; eidos:definition "Whoever curates which proposals reach a market — the trusted-gatekeeper dependency named in the published insecurity result." . eidos:component-proposal-specification a eidos:MechanismComponent ; rdfs:label "Proposal specification" ; eidos:definition "The complete, time-stamped terms a market is asked to price — counterparties, scope, fees, milestones, dependencies, and value-relevant disclosures." . eidos:component-delivery-enforcement a eidos:MechanismComponent ; rdfs:label "Delivery enforcement" ; eidos:definition "The obligations, escrow, remedies, and recourse that make promised post-passage delivery binding rather than optional under weak resistance." . eidos:component-corrective-participation-access a eidos:MechanismComponent ; rdfs:label "Corrective participation access" ; eidos:definition "Who can create corrective pass/fail exposure, on what collateral terms, and whether opposition requires an existing holder to exit the underlying asset." . eidos:component-branch-independence a eidos:MechanismComponent ; rdfs:label "Branch independence" ; eidos:definition "Whether pass and fail describe the proposal's execution and non-execution without proposer-controlled retaliation or another action that poisons one branch." . eidos:component-causal-assumption-transparency a eidos:MechanismComponent ; rdfs:label "Causal-assumption transparency" ; eidos:definition "The explicit assumptions under which a conditional price is read as evidence about the proposal's causal effect. This uncovered detector surface records an unsettled inference; it is not causal proof, a finding, or a classification." . eidos:metadao-futarchy-v0-6 a eidos:PublishedRule ; rdfs:label "MetaDAO Futarchy v0.6" ; eidos:sourceLabel "MetaDAO documentation (TWAP window mechanics)" ; eidos:sourceUrl "https://docs.metadao.fi" . eidos:kleros-kip-76 a eidos:PublishedRule ; rdfs:label "Kleros KIP-76" ; eidos:sourceLabel "Kleros KIP-76 — Futarchy-Based Governance Rule for PNK Minting (Snapshot, kleros.eth)" ; eidos:sourceUrl "https://snapshot.org/#/kleros.eth/proposal/0xa213179debfca1cb5b8f65ac9d641e6e4e8fb5df480196c909e9ae1ab548daa7" . eidos:gnosis-gip-145 a eidos:PublishedRule ; rdfs:label "Gnosis GIP-145 pilot" ; eidos:sourceLabel "Gnosis forum — GIP-145 futarchy pilot discussion" ; eidos:sourceUrl "https://forum.gnosis.io/t/11816" . eidos:optimism-futarchy-v1 a eidos:PublishedRule ; rdfs:label "Optimism Futarchy v1" ; eidos:sourceLabel "Optimism governance — Futarchy v1 preliminary findings" ; eidos:sourceUrl "https://gov.optimism.io/t/futarchy-v1-preliminary-findings/10062" . eidos:chain-solana-mainnet-beta a eidos:Chain ; rdfs:label "Solana" ; skos:inScheme eidos:ChainScheme ; eidos:chainId "solana-mainnet-beta" ; eidos:chainFamily "solana" ; eidos:chainTapeKey "solana" . eidos:chain-base a eidos:Chain ; rdfs:label "Base" ; skos:inScheme eidos:ChainScheme ; eidos:chainId "base" ; eidos:chainFamily "evm" . eidos:chain-ethereum a eidos:Chain ; rdfs:label "Ethereum" ; skos:inScheme eidos:ChainScheme ; eidos:chainId "ethereum" ; eidos:chainFamily "evm" . eidos:chain-optimism a eidos:Chain ; rdfs:label "OP Mainnet" ; skos:inScheme eidos:ChainScheme ; eidos:chainId "optimism" ; eidos:chainFamily "evm" . eidos:chain-unichain a eidos:Chain ; rdfs:label "Unichain" ; skos:inScheme eidos:ChainScheme ; eidos:chainId "unichain" ; eidos:chainFamily "evm" . eidos:chain-gnosis a eidos:Chain ; rdfs:label "Gnosis Chain" ; skos:inScheme eidos:ChainScheme ; eidos:chainId "gnosis" ; eidos:chainFamily "evm" . eidos:venue-metadao-conditional-amm a eidos:Venue ; rdfs:label "MetaDAO conditional AMM" ; skos:inScheme eidos:VenueScheme ; eidos:venueId "metadao-conditional-amm" ; eidos:venueOperator "MetaDAO" ; eidos:venueKind "amm" ; eidos:sourceUrl "https://docs.metadao.fi/governance/markets" . eidos:venue-combinator-amm a eidos:Venue ; rdfs:label "Combinator AMM" ; skos:inScheme eidos:VenueScheme ; eidos:venueId "combinator-amm" ; eidos:venueOperator "Combinator" ; eidos:venueKind "amm" ; eidos:sourceUrl "https://docs.combinator.trade/" . eidos:venue-umia-market-core a eidos:Venue ; rdfs:label "Umia market core" ; skos:inScheme eidos:VenueScheme ; eidos:venueId "umia-market-core" ; eidos:venueOperator "Umia" ; eidos:venueKind "amm" ; eidos:sourceUrl "https://www.umia.finance/docs/decision-markets" . eidos:venue-uniswap-v2-unichain a eidos:Venue ; rdfs:label "Uniswap v2 on Unichain" ; skos:inScheme eidos:VenueScheme ; eidos:venueId "uniswap-v2-unichain" ; eidos:venueOperator "Uniswap" ; eidos:venueKind "amm" ; eidos:sourceUrl "https://docs.uniswap.org/contracts/v2/overview" . eidos:venue-uniswap-v4-unichain a eidos:Venue ; rdfs:label "Uniswap v4 on Unichain" ; skos:inScheme eidos:VenueScheme ; eidos:venueId "uniswap-v4-unichain" ; eidos:venueOperator "Uniswap" ; eidos:venueKind "amm" ; eidos:sourceUrl "https://docs.uniswap.org/contracts/v4/overview" . eidos:venue-swapr-gnosis a eidos:Venue ; rdfs:label "Swapr on Gnosis Chain" ; skos:inScheme eidos:VenueScheme ; eidos:venueId "swapr-gnosis" ; eidos:venueOperator "Swapr" ; eidos:venueKind "amm" ; eidos:sourceUrl "https://swapr.eth.limo/" . eidos:option-binary-pass a eidos:DecisionOption ; rdfs:label "Pass" ; eidos:optionId "pass" . eidos:option-binary-fail a eidos:NoOpOption ; rdfs:label "Fail (no change)" ; eidos:optionId "fail" . eidos:mechanism-family-binary-token-value a eidos:MechanismFamily ; rdfs:label "Pass or fail, judged on token value" ; skos:inScheme eidos:MechanismFamilyScheme ; eidos:note "Two conditional markets price the organization's token if the proposal passes and if it fails; the decision follows the time-weighted comparison against a threshold. Fail is the no-op." . eidos:mechanism-family-multi-option-token-value a eidos:MechanismFamily ; rdfs:label "Several options, judged on token value" ; skos:inScheme eidos:MechanismFamilyScheme ; eidos:note "One conditional market per option, including doing nothing; the option whose market prices the token highest over the window, past any threshold, is selected." . eidos:mechanism-family-outcome-judged-funding a eidos:MechanismFamily ; rdfs:label "Funding judged on a measured outcome" ; skos:inScheme eidos:MechanismFamilyScheme ; eidos:note "Markets forecast a measured result (value locked, users, revenue) if each candidate is funded; funding goes to the candidates forecast to move it most, and the measure is observed afterwards." . eidos:mechanism-family-advisory a eidos:MechanismFamily ; rdfs:label "Advisory prices beside a vote" ; skos:inScheme eidos:MechanismFamilyScheme ; eidos:note "Conditional prices are shown beside the organization's own vote, which remains free to ignore them. Not a binding decision market." . eidos:engine-metadao a eidos:DecisionMarketEngine ; rdfs:label "MetaDAO" ; skos:inScheme eidos:DecisionMarketEngineScheme ; eidos:engineId "metadao" ; eidos:engineCoverage "indexed" ; eidos:sourceUrl "https://docs.metadao.fi" . eidos:deployment-futardio a eidos:EngineDeployment ; rdfs:label "Futardio" . eidos:engine-combinator a eidos:DecisionMarketEngine ; rdfs:label "Combinator" ; skos:inScheme eidos:DecisionMarketEngineScheme ; eidos:engineId "combinator" ; eidos:engineCoverage "decoded" ; eidos:sourceUrl "https://www.combinator.trade/" . eidos:deployment-fairscale a eidos:EngineDeployment ; rdfs:label "FairScale" . eidos:deployment-star a eidos:EngineDeployment ; rdfs:label "Star" . eidos:deployment-surfcash a eidos:EngineDeployment ; rdfs:label "SurfCash" . eidos:deployment-spark a eidos:EngineDeployment ; rdfs:label "Spark" . eidos:engine-butter a eidos:DecisionMarketEngine ; rdfs:label "Butter" ; skos:inScheme eidos:DecisionMarketEngineScheme ; eidos:engineId "butter" ; eidos:engineCoverage "decoded" ; eidos:sourceUrl "https://www.uniswapfoundation.org/conditional-funding-markets" . eidos:engine-umia a eidos:DecisionMarketEngine ; rdfs:label "Umia" ; skos:inScheme eidos:DecisionMarketEngineScheme ; eidos:engineId "umia" ; eidos:engineCoverage "decoded" ; eidos:sourceUrl "https://www.umia.finance/docs/decision-markets" . eidos:engine-futarchy-fi a eidos:DecisionMarketEngine ; rdfs:label "Futarchy.fi" ; skos:inScheme eidos:DecisionMarketEngineScheme ; eidos:engineId "futarchy-fi" ; eidos:engineCoverage "decoded" ; eidos:sourceUrl "https://docs.futarchy.fi/dao/" . eidos:onchain-twap-accumulator a eidos:OnchainConstruct ; rdfs:label "TWAP accumulator" ; eidos:definition "Decoded from confirmed MetaDAO Futarchy v0.6 program accounts by the live read." . eidos:onchain-conditional-amm-pair a eidos:OnchainConstruct ; rdfs:label "Conditional AMM pair" ; eidos:definition "Decoded from confirmed MetaDAO Futarchy v0.6 program accounts by the live read." . eidos:onchain-dao-account a eidos:OnchainConstruct ; rdfs:label "DAO account (configured threshold)" ; eidos:definition "Decoded from confirmed MetaDAO Futarchy v0.6 program accounts by the live read." . eidos:onchain-proposal-stake a eidos:OnchainConstruct ; rdfs:label "Proposal stake" ; eidos:definition "Decoded from confirmed MetaDAO Futarchy v0.6 program accounts by the live read." . # ── governance: statements ──────────────────────────────────────────── eidos:mechanism-futarchy eidos:hasComponent eidos:component-welfare-metric . eidos:mechanism-futarchy eidos:hasComponent eidos:component-conditional-market-pair . eidos:mechanism-futarchy eidos:hasComponent eidos:component-twap-oracle . eidos:mechanism-futarchy eidos:hasComponent eidos:component-decision-rule . eidos:component-full-window-twap-rule eidos:variantOf eidos:component-decision-rule . eidos:component-terminal-window-twap-rule eidos:variantOf eidos:component-decision-rule . eidos:mechanism-futarchy eidos:hasComponent eidos:component-stake-requirement . eidos:mechanism-futarchy eidos:hasComponent eidos:component-alignment-signal . eidos:mechanism-futarchy eidos:hasComponent eidos:component-execution-binding . eidos:mechanism-futarchy eidos:hasComponent eidos:component-gatekeeper-role . eidos:mechanism-futarchy eidos:hasComponent eidos:component-proposal-specification . eidos:mechanism-futarchy eidos:hasComponent eidos:component-delivery-enforcement . eidos:mechanism-futarchy eidos:hasComponent eidos:component-corrective-participation-access . eidos:mechanism-futarchy eidos:hasComponent eidos:component-branch-independence . eidos:mechanism-futarchy eidos:hasComponent eidos:component-causal-assumption-transparency . eidos:metadao-futarchy-v0-6 eidos:implements eidos:mechanism-futarchy . eidos:metadao-futarchy-v0-6 eidos:executesAs eidos:execution-binding . eidos:metadao-futarchy-v0-6 eidos:usesRule eidos:component-full-window-twap-rule . eidos:kleros-kip-76 eidos:implements eidos:mechanism-futarchy . eidos:kleros-kip-76 eidos:executesAs eidos:execution-binding . eidos:kleros-kip-76 eidos:usesRule eidos:component-terminal-window-twap-rule . eidos:gnosis-gip-145 eidos:implements eidos:mechanism-futarchy . eidos:gnosis-gip-145 eidos:executesAs eidos:execution-advisory . eidos:optimism-futarchy-v1 eidos:implements eidos:mechanism-futarchy . eidos:optimism-futarchy-v1 eidos:executesAs eidos:execution-advisory . eidos:venue-metadao-conditional-amm eidos:venueOnChain eidos:chain-solana-mainnet-beta . eidos:venue-combinator-amm eidos:venueOnChain eidos:chain-solana-mainnet-beta . eidos:venue-umia-market-core eidos:venueOnChain eidos:chain-base . eidos:venue-uniswap-v2-unichain eidos:venueOnChain eidos:chain-unichain . eidos:venue-uniswap-v4-unichain eidos:venueOnChain eidos:chain-unichain . eidos:venue-swapr-gnosis eidos:venueOnChain eidos:chain-gnosis . eidos:mechanism-family-binary-token-value eidos:hasStandardOption eidos:option-binary-pass . eidos:mechanism-family-binary-token-value eidos:hasStandardOption eidos:option-binary-fail . eidos:engine-metadao eidos:runsOnChain eidos:chain-solana-mainnet-beta . eidos:engine-metadao eidos:hasMechanismFamily eidos:mechanism-family-binary-token-value . eidos:engine-metadao eidos:bindsAs eidos:execution-binding . eidos:engine-metadao eidos:tradesOn eidos:venue-metadao-conditional-amm . eidos:venue-metadao-conditional-amm eidos:ownVenueOf eidos:engine-metadao . eidos:deployment-futardio eidos:deploymentOf eidos:engine-metadao . eidos:metadao-futarchy-v0-6 eidos:ruleOfEngine eidos:engine-metadao . eidos:engine-combinator eidos:runsOnChain eidos:chain-solana-mainnet-beta . eidos:engine-combinator eidos:hasMechanismFamily eidos:mechanism-family-multi-option-token-value . eidos:engine-combinator eidos:bindsAs eidos:execution-binding . eidos:engine-combinator eidos:tradesOn eidos:venue-combinator-amm . eidos:venue-combinator-amm eidos:ownVenueOf eidos:engine-combinator . eidos:deployment-fairscale eidos:deploymentOf eidos:engine-combinator . eidos:deployment-star eidos:deploymentOf eidos:engine-combinator . eidos:deployment-surfcash eidos:deploymentOf eidos:engine-combinator . eidos:deployment-spark eidos:deploymentOf eidos:engine-combinator . eidos:engine-butter eidos:runsOnChain eidos:chain-unichain . eidos:engine-butter eidos:hasMechanismFamily eidos:mechanism-family-outcome-judged-funding . eidos:engine-butter eidos:bindsAs eidos:execution-binding . eidos:engine-butter eidos:tradesOn eidos:venue-uniswap-v2-unichain . eidos:engine-butter eidos:tradesOn eidos:venue-uniswap-v4-unichain . eidos:optimism-futarchy-v1 eidos:ruleOfEngine eidos:engine-butter . eidos:engine-umia eidos:runsOnChain eidos:chain-base . eidos:engine-umia eidos:hasMechanismFamily eidos:mechanism-family-multi-option-token-value . eidos:engine-umia eidos:bindsAs eidos:execution-binding . eidos:engine-umia eidos:tradesOn eidos:venue-umia-market-core . eidos:venue-umia-market-core eidos:ownVenueOf eidos:engine-umia . eidos:engine-futarchy-fi eidos:runsOnChain eidos:chain-gnosis . eidos:engine-futarchy-fi eidos:hasMechanismFamily eidos:mechanism-family-advisory . eidos:engine-futarchy-fi eidos:bindsAs eidos:execution-advisory . eidos:engine-futarchy-fi eidos:tradesOn eidos:venue-swapr-gnosis . eidos:gnosis-gip-145 eidos:ruleOfEngine eidos:engine-futarchy-fi . eidos:governance-program-futarelbfjfq8rdghg1wdhddq1odmajuephfubyfuxkq eidos:programOfEngine eidos:engine-metadao . eidos:governance-program-autour3cqza3d4qret6std2mtomfzvreecc5qh7ivw5 eidos:programOfEngine eidos:engine-metadao . eidos:governance-program-autowmzcbm29yxmgvg3t62hkgo7rcyrvgqqkd54fdql eidos:programOfEngine eidos:engine-metadao . eidos:governance-program-autoqp9rmunkzzkrxsmkwicdvz3h29vvymdcayjcxxg eidos:programOfEngine eidos:engine-metadao . eidos:governance-program-metark9dubnradzn6uudkvxbvkw5pycbpvmltuzwtbp eidos:programOfEngine eidos:engine-metadao . eidos:governance-program-metax99lhn3a7gr7vaccfxhpfocvpmpqq3eyp3pguuq eidos:programOfEngine eidos:engine-metadao . eidos:governance-program-meta3cxkzfbmwygcvozmvcqas3y9b3fgxrg9hkhl7wi eidos:programOfEngine eidos:engine-metadao . eidos:onchain-twap-accumulator eidos:realizesComponent eidos:component-twap-oracle . eidos:onchain-conditional-amm-pair eidos:realizesComponent eidos:component-conditional-market-pair . eidos:onchain-dao-account eidos:realizesComponent eidos:component-decision-rule . eidos:onchain-proposal-stake eidos:realizesComponent eidos:component-stake-requirement .