@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 ; owl:priorVersion ; rdfs:label "Eidos ontology" ; dcterms:title "Eidos ontology" ; dcterms:publisher "Eidos" ; dcterms:license ; vann:preferredNamespacePrefix "eidos" ; vann:preferredNamespaceUri "https://eidos.software/ontology#" ; dcterms:hasPart ; dcterms:hasPart ; dcterms:hasPart ; dcterms:hasPart ; dcterms:hasPart ; rdfs:seeAlso ; rdfs:comment "Generated from the registries in src/ by npm run ontology. Edit the source, not this file. One model in five modules — governance, observation, evidence, forecast, record — each also served as its own ontology at its IRI; this document is their union. Findings stay in their review: the forbidden concepts are named and made unsatisfiable rather than left as policy." ; rdfs:comment "Version IRIs identify a release; only the current one is served as Turtle, at /ontology/eidos.ttl. Releases that were not backward compatible with the one before them: 1.2.0, 2.0.0, 2.2.0, 3.0.0, 4.0.0, 5.0.0, 6.0.0, 7.0.0, 8.0.0, 9.0.0, 10.0.0, 11.0.0, 12.0.0, 13.0.0, 14.0.0, 15.0.0, 16.0.0, 17.0.0, 18.0.0, 19.0.0. A consumer pinned to a version earlier than the newest of these must re-read the vocabulary; one pinned later can read this document unchanged." . # ════ governance module (https://eidos.software/ontology/governance) ══════════════════════════════ # ── 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 . # ════ observation module (https://eidos.software/ontology/observation) ═════════════════════════════ # ── observation: classes ────────────────────────────────────────────── eidos:Market a owl:Class ; rdfs:label "Market" ; rdfs:subClassOf sosa:FeatureOfInterest ; rdfs:comment "One market the tape observes, by chain, market kind and market id: an organization's token on the spot kind, a proposal's conditional pool, an engine's option. The fact rows that observe it name these three columns." . eidos:Observation a owl:Class ; rdfs:label "Observation" ; rdfs:subClassOf sosa:Observation ; rdfs:comment "One approved observation the history publishes: a series' value for one market at one instant, with when it became known and the provenance that admitted it." . eidos:ObservationSeries a owl:Class ; rdfs:label "Observation series" ; rdfs:subClassOf sosa:ObservableProperty ; owl:disjointUnionOf ( eidos:PublishedSeries eidos:CrossCheckSeries ) ; rdfs:comment "One measured property on the append-only observation tape — what a reading of fdv or price-usd means — keyed per market as (chain, venue, market, series, ts). The tape records every reading; the rollup decides which readings are published, and a row naming a disproven derivation is recorded but never published or measured against." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:series-price-usd eidos:series-market-cap-usd eidos:series-fdv-usd eidos:series-volume-24h-usd eidos:series-provider-change-24h-pct eidos:series-circulating-supply eidos:series-total-supply eidos:series-largest-holder-pct eidos:series-top-10-holders-pct eidos:series-tracked-organization-count eidos:series-live-organization-count eidos:series-cited-treasury-usd eidos:series-quoted-market-cap-usd eidos:series-launched-organization-count eidos:series-launched-organization-market-cap-usd eidos:series-launched-organization-fdv-usd eidos:series-dao-vault-usd eidos:series-pending-market-count eidos:series-funded-draft-count eidos:series-program-proposal-count eidos:series-dao-vault-balance-usd eidos:series-final-pass-twap eidos:series-final-fail-twap eidos:series-threshold-pct eidos:series-pass-twap eidos:series-fail-twap eidos:series-pass-spot eidos:series-fail-spot eidos:series-pass-base-reserve eidos:series-pass-quote-reserve eidos:series-fail-base-reserve eidos:series-fail-quote-reserve eidos:series-option-twap eidos:series-option-spot ) . eidos:ObservationSeriesScheme a skos:ConceptScheme ; rdfs:label "Observation series scheme" ; rdfs:comment "The registered members of ObservationSeries, as a SKOS scheme: each individual states skos:inScheme." . eidos:PublishedSeries a owl:Class ; rdfs:label "Published series" ; rdfs:subClassOf eidos:ObservationSeries ; rdfs:comment "A series rendered on a public surface as our own measurement, against baselines the tape itself holds." . eidos:CrossCheckSeries a owl:Class ; rdfs:label "Cross-check series" ; rdfs:subClassOf eidos:ObservationSeries ; owl:disjointWith eidos:PublishedSeries ; rdfs:comment "A recorded claim — a provider's own figure or a raw input — kept to verify a published series against and never rendered as ours. The disjointness is the 24h-column rule as logic: someone else's measurement, against a baseline we cannot name, cannot also be a series we publish." . eidos:CoverageLane a owl:Class ; rdfs:label "Coverage lane" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:lane-price eidos:lane-caps eidos:lane-fdv eidos:lane-treasury eidos:lane-counts eidos:lane-vaults eidos:lane-proposals eidos:lane-windows ) ] ; rdfs:comment "A chart-bearing group of series that answer one question together; the lane is as deep as its shallowest member. Closed enumeration: the depth readout, the rollup, and the charts bind on exactly these lanes. The only sense of lane in this vocabulary; a review is a review." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:lane-price eidos:lane-caps eidos:lane-fdv eidos:lane-treasury eidos:lane-counts eidos:lane-vaults eidos:lane-proposals eidos:lane-windows ) . eidos:CoverageLaneScheme a skos:ConceptScheme ; rdfs:label "Coverage lane scheme" ; rdfs:comment "The closed members of CoverageLane, as a SKOS scheme: each individual states skos:inScheme." . eidos:ProvenanceMethod a owl:Class ; rdfs:label "Provenance method" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:method-live-collection eidos:method-chain-replay eidos:method-dated-source eidos:method-derived-step ) ] ; rdfs:comment "How rows come to exist, ordered by what the claim rests on: live collection, exact chain replay, a source's own dated readings, or a derived step over dated events. Only live collection earns unmarked depth; everything else is borrowed reach and says so." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:method-live-collection eidos:method-chain-replay eidos:method-dated-source eidos:method-derived-step ) . eidos:ProvenanceMethodScheme a skos:ConceptScheme ; rdfs:label "Provenance method scheme" ; rdfs:comment "The closed members of ProvenanceMethod, as a SKOS scheme: each individual states skos:inScheme." . eidos:DisprovenDerivation a owl:Class ; rdfs:label "Disproven derivation" ; rdfs:subClassOf prov:Entity ; rdfs:comment "A derivation a measurement closed. The tape keeps every row that names one — the record is the point — and the rollup publishes none of them, as a value, as history, or as a baseline. Each member carries the measurement that closed it; an entry scoped to a series, a market, or the time before a stated cutoff disproves only those readings, because a source that resolved the wrong asset for one member is not thereby wrong for the members it resolved correctly, and a feed that was fixed on a known day is not wrong for the days after it." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:disproven-implied-supply eidos:disproven-live-count-status-history eidos:disproven-zklsol-contract-lookup eidos:disproven-feed-cap-fdv-flip eidos:disproven-ranger-quote-source-flips eidos:disproven-metadao-dust-swap-stretch eidos:disproven-last-swap-dust-print eidos:disproven-ore-implausible-pool-volume ) . eidos:DisprovenDerivationScheme a skos:ConceptScheme ; rdfs:label "Disproven derivation scheme" ; rdfs:comment "The registered members of DisprovenDerivation, as a SKOS scheme: each individual states skos:inScheme." . eidos:CollectorSource a owl:Class ; rdfs:label "Collector source" ; rdfs:subClassOf sosa:Sensor ; rdfs:comment "One upstream the collector reads, as its attempts record it: the lanes it serves, when it was first and last asked, and whether it was retired and by what." . eidos:CalendarDate a owl:Class ; rdfs:label "Calendar date" ; rdfs:subClassOf time:DateTimeDescription ; rdfs:comment "One UTC calendar day in the span the run observed: the conformed day facts are grouped by." . eidos:WindowStage a owl:Class ; rdfs:label "Window stage" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:window-stage-queued eidos:window-stage-recording eidos:window-stage-closing eidos:window-stage-settling ) ] ; rdfs:comment "Where a recording window sits as the app watches it: queued (a market whose TWAP has not started), recording, closing (the final quarter of the window) and settling (closed, not yet finalized). One list (src/desk-watch-core.ts) for the watcher, the alerts and every table; the other words pages used — resolved, past, decided, awaiting finalization — are not states." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:window-stage-queued eidos:window-stage-recording eidos:window-stage-closing eidos:window-stage-settling ) . eidos:WindowStageScheme a skos:ConceptScheme ; rdfs:label "Window stage scheme" ; rdfs:comment "The closed members of WindowStage, as a SKOS scheme: each individual states skos:inScheme." . eidos:RecordingWindow a owl:Class ; rdfs:label "Recording window" ; rdfs:subClassOf time:ProperInterval ; rdfs:comment "A proposal's recording window: the threshold, the pass and fail TWAPs, the state the window reached, and its times, which are of two kinds that are not interchangeable. The public object (/api/live-proposals) carries openedAt and closesAt, the proposal's scheduled open and close as its account states them, the same instants as the decision's decisionOpenedAt and decisionClosesAt. The warehouse relation carries what the tape observed instead, windowTwapStartedAt and windowLastTickAt, and never the schedule. The object a forecast is recorded against and a filing will be made before." . # ── observation: object and annotation properties ───────────────────── eidos:inCoverageLane a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:ObservationSeries ; rdfs:range eidos:CoverageLane ; rdfs:comment "The chart-bearing lane a series answers within. Lanes are cut at the granularity the consuming charts bind at, because a lane grouped wider than its charts is how one stale point once read as a month of depth. A series outside every lane is a table cell or a cross-check, never a chart." . eidos:crossChecks a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:CrossCheckSeries ; rdfs:range eidos:PublishedSeries ; rdfs:comment "The published series a recorded claim exists to verify. The edge points from the claim to our measurement, never the reverse: the provider's figure is compared against ours and is not an input to it." . eidos:windowStage a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:RecordingWindow ; rdfs:range eidos:WindowStage ; rdfs:comment "Where a window sits as the app watches it: queued before its TWAP starts, recording, closing in the final quarter, settling after the close until finalization. One list, shared by the watcher, the alerts and every table." . eidos:refusesSeries a owl:ObjectProperty ; rdfs:domain eidos:DisprovenDerivation ; rdfs:range eidos:ObservationSeries ; rdfs:comment "A series a refusal is scoped to, by IRI. scopedToSeries carries the same scope as the registry's string ids; this edge lets a query join it to the series node." . eidos:decisionHasWindow a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:RecordingWindow ; owl:inverseOf eidos:windowOfDecision ; rdfs:comment "has recording window (one-or-none; asserted by tape, append-and-supersede, as-of-known-time). The recording window of the decision: MetaDAO proposals only today, keyed by the same account; the other engines' windows are series on the tape and not yet window objects. The public resolver (/api/live-proposals) answers for every proposal the published snapshot holds; the warehouse relation holds a row only for a window the tape read, so there it may be absent." . eidos:proposalHasWindow a owl:ObjectProperty ; rdfs:domain eidos:GovernanceProposal ; rdfs:range eidos:RecordingWindow ; rdfs:subPropertyOf eidos:decisionHasWindow ; rdfs:comment "has recording window (one-or-none; asserted by tape, append-and-supersede, as-of-known-time). The lifecycle the tape records for this proposal: each state transition is a new row with the time it became known; the latest is the window's current state. MetaDAO's form of decision-has-window, and like it one-or-none: the public resolver (/api/live-proposals) answers for every proposal the published snapshot holds, but the warehouse relation (main.window_outlook_windows) holds a row only for a window the tape read, and a proposal it never read, an open one included, has none there." . eidos:windowOfDecision a owl:ObjectProperty ; rdfs:domain eidos:RecordingWindow ; rdfs:range eidos:Decision ; rdfs:comment "window of (one; asserted by tape, immutable, at-read). The decision this window belongs to: a MetaDAO decision today, joined by its proposal account, the key both rows hold." . eidos:marketOfOrganization a owl:ObjectProperty ; rdfs:domain eidos:Market ; rdfs:range eidos:Organization ; rdfs:comment "market of organization (one-or-none; asserted by warehouse, re-derived-per-seal, at-read). The tracked organization whose token or decision the market prices; absent for a market no registry names." . eidos:marketOfDecision a owl:ObjectProperty ; rdfs:domain eidos:Market ; rdfs:range eidos:Decision ; rdfs:comment "market of decision (one-or-none; asserted by warehouse, re-derived-per-seal, at-read). The decision this market trades, joined by engine, canonical chain and decision id on every decoded engine. Spot, vault and KPI markets have no decision." . eidos:marketHasObservations a owl:ObjectProperty ; rdfs:domain eidos:Market ; rdfs:range eidos:Observation ; rdfs:subPropertyOf sosa:isFeatureOfInterestOf ; rdfs:comment "has observations (many; asserted by tape, append-and-supersede, as-of-known-time). Every approved observation of the market." . eidos:observationOfMarket a owl:ObjectProperty ; rdfs:domain eidos:Observation ; rdfs:range eidos:Market ; rdfs:subPropertyOf sosa:hasFeatureOfInterest ; owl:inverseOf eidos:marketHasObservations ; rdfs:comment "observes market (one; asserted by tape, immutable, at-read). The market the value was read from." . # ── observation: datatype properties ────────────────────────────────── eidos:calendarDay a owl:DatatypeProperty ; rdfs:domain eidos:CalendarDate ; rdfs:range xsd:date ; rdfs:comment "The UTC day. Bound to main.dim_date.date_day." . eidos:calendarIsoWeek a owl:DatatypeProperty ; rdfs:domain eidos:CalendarDate ; rdfs:range xsd:string ; rdfs:comment "Its ISO week, as YYYY-Www. Bound to main.dim_date.iso_week." . eidos:calendarIsWeekend a owl:DatatypeProperty ; rdfs:domain eidos:CalendarDate ; rdfs:range xsd:boolean ; rdfs:comment "Whether it is a Saturday or Sunday. Bound to main.dim_date.is_weekend." . eidos:calendarMonth a owl:DatatypeProperty ; rdfs:domain eidos:CalendarDate ; rdfs:range xsd:integer ; rdfs:comment "Its month, 1 to 12. Bound to main.dim_date.month." . eidos:calendarYear a owl:DatatypeProperty ; rdfs:domain eidos:CalendarDate ; rdfs:range xsd:integer ; rdfs:comment "Its year. Bound to main.dim_date.year." . eidos:consumers a owl:DatatypeProperty ; rdfs:domain eidos:CoverageLane ; rdfs:range xsd:string . eidos:disprovenBefore a owl:DatatypeProperty ; rdfs:domain eidos:DisprovenDerivation ; rdfs:range xsd:dateTime . eidos:disprovenFrom a owl:DatatypeProperty ; rdfs:domain eidos:DisprovenDerivation ; rdfs:range xsd:dateTime . eidos:disprovenSignature a owl:DatatypeProperty ; rdfs:domain eidos:DisprovenDerivation ; rdfs:range xsd:string . eidos:episodic a owl:DatatypeProperty ; rdfs:domain eidos:CoverageLane ; rdfs:range xsd:boolean . eidos:marketApprovedObservationCount a owl:DatatypeProperty ; rdfs:domain eidos:Market ; rdfs:range xsd:integer ; rdfs:comment "How many of them the admission rules approved: the readings the Observation class and approved_history hold. Bound to main.dim_market.approved_observations." . eidos:marketChain a owl:DatatypeProperty ; rdfs:domain eidos:Market ; rdfs:range xsd:string ; rdfs:comment "The chain the market trades on. Bound to main.dim_market.chain." . eidos:marketEngine a owl:DatatypeProperty ; rdfs:domain eidos:Market ; rdfs:range xsd:string ; rdfs:comment "The decision market engine, for a market an engine runs. Bound to main.dim_market.engine." . eidos:marketEntityType a owl:DatatypeProperty ; rdfs:domain eidos:Market ; rdfs:range xsd:string ; rdfs:comment "What the market prices: an organization's token, a proposal's pass or fail side, an engine option. Bound to main.dim_market.entity_type." . eidos:marketFirstApprovedAt a owl:DatatypeProperty ; rdfs:domain eidos:Market ; rdfs:range xsd:dateTime ; rdfs:comment "The first approved observation's time; absent where none was approved. Bound to main.dim_market.first_approved_at." . eidos:marketFirstObservedAt a owl:DatatypeProperty ; rdfs:domain eidos:Market ; rdfs:range xsd:dateTime ; rdfs:comment "The first observation's time, approved or not. Bound to main.dim_market.first_observed_at." . eidos:marketIdentifier a owl:DatatypeProperty ; rdfs:domain eidos:Market ; rdfs:range xsd:string ; rdfs:comment "The market's id on its venue (a slug, a pool account, an option). Bound to main.dim_market.market_id." . eidos:marketKind a owl:DatatypeProperty ; rdfs:domain eidos:Market ; rdfs:range xsd:string ; rdfs:comment "The kind of market the market id names on its chain: spot, token-spot, dao-vaults, desk-kpi, metadao-futarchy, or a decoded engine's id (the tape's market_kind column; named venue until 10.0.0). Never a Venue — where the tokens trade is the Venue class. Bound to main.dim_market.market_kind." . eidos:marketLastApprovedAt a owl:DatatypeProperty ; rdfs:domain eidos:Market ; rdfs:range xsd:dateTime ; rdfs:comment "The newest approved observation's time; absent where none was approved. Bound to main.dim_market.last_approved_at." . eidos:marketLastObservedAt a owl:DatatypeProperty ; rdfs:domain eidos:Market ; rdfs:range xsd:dateTime ; rdfs:comment "The newest observation's time, approved or not. Bound to main.dim_market.last_observed_at." . eidos:marketObservationCount a owl:DatatypeProperty ; rdfs:domain eidos:Market ; rdfs:range xsd:integer ; rdfs:comment "How many observations the run holds for the market, approved or withheld: every reading the tape recorded. Bound to main.dim_market.observations." . eidos:observationKnownAt a owl:DatatypeProperty ; rdfs:domain eidos:Observation ; rdfs:range xsd:dateTime ; rdfs:comment "When the tape first held the value. Bound to main.approved_history.known_at (stored as its lexical form)." . eidos:observationProvenance a owl:DatatypeProperty ; rdfs:domain eidos:Observation ; rdfs:range xsd:string ; rdfs:comment "The provenance the admission rules accepted it under. Bound to main.approved_history.provenance." . eidos:observationSeries a owl:DatatypeProperty ; rdfs:domain eidos:Observation ; rdfs:range xsd:string ; rdfs:comment "The series id (series-registry.ts) the value is a reading of. Bound to main.approved_history.series." . eidos:observedAt a owl:DatatypeProperty ; rdfs:domain eidos:Observation ; rdfs:range xsd:dateTime ; rdfs:comment "The instant the value is of. Bound to main.approved_history.ts (stored as its lexical form)." . eidos:observedValue a owl:DatatypeProperty ; rdfs:domain eidos:Observation ; rdfs:range xsd:decimal ; rdfs:subPropertyOf sosa:hasSimpleResult ; rdfs:comment "The value, in the series' unit. Bound to main.approved_history.value." . eidos:provenancePattern a owl:DatatypeProperty ; rdfs:domain eidos:DisprovenDerivation ; rdfs:range xsd:string . eidos:provenancePrefix a owl:DatatypeProperty ; rdfs:domain eidos:ProvenanceMethod ; rdfs:range xsd:string . eidos:scopedToMarket a owl:DatatypeProperty ; rdfs:domain eidos:DisprovenDerivation ; rdfs:range xsd:string . eidos:scopedToSeries a owl:DatatypeProperty ; rdfs:domain eidos:DisprovenDerivation ; rdfs:range xsd:string . eidos:seriesId a owl:DatatypeProperty ; rdfs:domain [ a owl:Class ; owl:unionOf ( eidos:CrossCheckSeries eidos:PublishedSeries ) ] ; rdfs:range xsd:string . eidos:sourceAttempts a owl:DatatypeProperty ; rdfs:domain eidos:CollectorSource ; rdfs:range xsd:integer ; rdfs:comment "How many reads the collector recorded by the cutoff. Bound to main.dim_source.attempts." . eidos:sourceFirstAttemptAt a owl:DatatypeProperty ; rdfs:domain eidos:CollectorSource ; rdfs:range xsd:dateTime ; rdfs:comment "The first recorded read. Bound to main.dim_source.first_attempt_at." . eidos:sourceIsRetired a owl:DatatypeProperty ; rdfs:domain eidos:CollectorSource ; rdfs:range xsd:boolean ; rdfs:comment "Whether a recorded retirement stopped the source by the cutoff. Bound to main.dim_source.is_retired." . eidos:sourceLastAttemptAt a owl:DatatypeProperty ; rdfs:domain eidos:CollectorSource ; rdfs:range xsd:dateTime ; rdfs:comment "The newest recorded read. Bound to main.dim_source.last_attempt_at." . eidos:sourceName a owl:DatatypeProperty ; rdfs:domain eidos:CollectorSource ; rdfs:range xsd:string ; rdfs:comment "The source's id as the collector records it. Bound to main.dim_source.source." . eidos:unit a owl:DatatypeProperty ; rdfs:range xsd:string . eidos:windowLastTickAt a owl:DatatypeProperty ; rdfs:domain eidos:RecordingWindow ; rdfs:range xsd:dateTime ; rdfs:comment "The last tick the tape holds for the window at the cutoff. Not the proposal's scheduled close (decisionClosesAt): no tape series carries the schedule, and the tape stops reading before or after it. Bound to main.window_outlook_windows.last_tick_at (stored as its lexical form)." . eidos:windowTwapStartedAt a owl:DatatypeProperty ; rdfs:domain eidos:RecordingWindow ; rdfs:range xsd:dateTime ; rdfs:comment "When the window's TWAP started as the tape saw it: the time of the threshold reading, or the first tick where the tape holds no threshold. Not the proposal's scheduled open (decisionOpenedAt), which comes before it. Bound to main.window_outlook_windows.twap_started_at (stored as its lexical form)." . # ── observation: individuals (generated from the registries) ────────── eidos:window-stage-queued a eidos:WindowStage ; rdfs:label "queued" ; skos:inScheme eidos:WindowStageScheme . eidos:window-stage-recording a eidos:WindowStage ; rdfs:label "recording" ; skos:inScheme eidos:WindowStageScheme . eidos:window-stage-closing a eidos:WindowStage ; rdfs:label "closing" ; skos:inScheme eidos:WindowStageScheme . eidos:window-stage-settling a eidos:WindowStage ; rdfs:label "settling" ; skos:inScheme eidos:WindowStageScheme . eidos:method-live-collection a eidos:ProvenanceMethod ; rdfs:label "Live collection" ; skos:inScheme eidos:ProvenanceMethodScheme ; eidos:note "The scheduled collector reading a published, schema-validated endpoint at the snapshot's own observation time." ; eidos:provenancePrefix "api:" ; eidos:provenancePrefix "registry:" . eidos:method-chain-replay a eidos:ProvenanceMethod ; rdfs:label "Chain replay" ; skos:inScheme eidos:ProvenanceMethodScheme ; eidos:note "Exact reconstruction from confirmed transaction history — determined by dated events, never estimated between them." ; eidos:provenancePrefix "solana-rpc:" ; eidos:provenancePrefix "replay:" ; eidos:provenancePrefix "index:finalization-event" . eidos:method-dated-source a eidos:ProvenanceMethod ; rdfs:label "Dated source" ; skos:inScheme eidos:ProvenanceMethodScheme ; eidos:note "A source's own dated readings, imported at the source's own resolution and named per row." ; eidos:provenancePrefix "coingecko:" ; eidos:provenancePrefix "metadao-external-api:" ; eidos:provenancePrefix "01resolved:" . eidos:method-derived-step a eidos:ProvenanceMethod ; rdfs:label "Derived step" ; skos:inScheme eidos:ProvenanceMethodScheme ; eidos:note "A step function over dated events; every intermediate instant carries an exactly-known value, or the row does not exist." ; eidos:provenancePrefix "reconstruction:" . eidos:disproven-implied-supply a eidos:DisprovenDerivation ; rdfs:label "implied-supply" ; skos:inScheme eidos:DisprovenDerivationScheme ; eidos:note "Implied supply — a market cap divided by a price — was closed by three measurements on 25–26 Aug 2026: the tape's own price/cap overlap implies supplies spread 0.56% to 17,053% across markets, the post-FDV-fix readings still swing 27× on one member in five hours, and every launched mint is mintable so no supply is verifiably fixed. A ±$13M error band on a +$34.7M published move is a wrong number, and the house rule is that a window with no honest baseline is withheld." ; eidos:provenancePattern "implied-supply" . eidos:disproven-live-count-status-history a eidos:DisprovenDerivation ; rdfs:label "live-count-status-history" ; skos:inScheme eidos:DisprovenDerivationScheme ; eidos:note "A past live count cannot be derived. The organization registry records today's status and no date it changed, so no step function over listings determines what the count was — which is what this series' own note already says. One pre-collection row naming this method reached the tape before the backfill tool was corrected, no shipped code emits the provenance, and the rollup was measuring the published 30-day delta against it while the drawn chart began 2.3 days ago. Refused 27 Aug 2026, so the window withholds until collection earns it." ; eidos:provenancePattern "01resolved-status-history" ; eidos:scopedToSeries "live-organization-count" . eidos:disproven-zklsol-contract-lookup a eidos:DisprovenDerivation ; rdfs:label "zklsol-contract-lookup" ; skos:inScheme eidos:DisprovenDerivationScheme ; eidos:note "The CoinGecko contract lookup resolved a different asset for this member. Its 18 pre-collection rows sit in two flat plateaus, 1.099e-06 and 0.009998, that disagree with each other by 9,099× and with the venue's own quote — 0.149–0.151 since collection began, independently 0.1509 on GeckoTerminal at the same supply the index reads on chain — by four and five orders of magnitude. Scoped to this member: the same source is within 1.6× of the live quote for areal-finance, coal, and superclaw, and those rows keep their reach." ; eidos:provenancePattern "coingecko:contract-market-chart-range" ; eidos:scopedToSeries "price-usd" ; eidos:scopedToMarket "zklsol" . eidos:disproven-feed-cap-fdv-flip a eidos:DisprovenDerivation ; rdfs:label "feed-cap-fdv-flip" ; skos:inScheme eidos:DisprovenDerivationScheme ; eidos:note "From collection start on 23 Aug 2026 until the source fix landed on 25 Aug, the quote feed substituted FDV for circulating cap per member per read, so the recorded cap flipped between two levels with no trade behind it: on the tape copy the per-member cap lane carries 328 adjacent reads more than 1.5× apart against 32 on fdv-usd over the same rows, concentrated in the large members (jito-dao 302M↔585M on 24 Aug, 39 flips before the fix and one after; p2p-protocol 51↔1, umbra 41↔0, solomon 40↔0), and the universe sum alternated 543M↔846M all of 24 Aug. The round-trip gate cannot see a 50/50 alternation between two plateaus. The last flipped row is 2026-08-25T21:58:44Z and no aggregate row moves more than 1.3× between reads after 22:14 that day, so the cutoff is the first read of the fixed feed; the reconstructed roster sums over the same rows carry the same defect. Without this entry those rows become the 30-day baseline of both aggregate cards on 22–26 Sep 2026 and the published delta swings by the whole flip within a day." ; eidos:provenancePattern "^(?:api:organization-quotes|reconstruction:tape-spot-market-cap-readings)" ; eidos:scopedToSeries "market-cap-usd" ; eidos:scopedToSeries "quoted-market-cap-usd" ; eidos:scopedToSeries "launched-organization-market-cap-usd" ; eidos:disprovenBefore "2026-08-25T22:00:00.000Z"^^xsd:dateTime . eidos:disproven-ranger-quote-source-flips a eidos:DisprovenDerivation ; rdfs:label "ranger-quote-source-flips" ; skos:inScheme eidos:DisprovenDerivationScheme ; eidos:note "Ranger (RNGR) never had a ticker row, and its only venues were a drained futarchy pool and, from 13 Sep 2026, one meteora pair holding $40.75 of liquidity on $0.71 of daily volume. With no liquidity floor and no staleness check, every read from 25 Aug 2026 published whichever source answered: the price lane on the tape copy is 1,377 rows in 30 interleaved plateaus that alternate between sources within the hour (0.02569 against 0.03021 on 25–26 Aug, 0.004129 against 0.002644 on 27 Aug), then a single Jupiter print from the drained pool, 0.001275 at block 443983644, repeated 596 times from 3 to 13 Sep with receipt time as its timestamp, then the dust pair at 0.02634 — a 20.7× step the provider's own 24h figure (−1.79%) does not contain, published as +1966% on the 24h and 7d columns. Not one plateau is a trade. Scoped to this member: the same provenance is within 7 points of the provider's 24h figure for every other entity. The cutoff is when the quote extractor that withholds stale and dust prints reaches the collector; a row observed after it either carries a real print or was never written." ; eidos:provenancePattern "^api:organization-quotes" ; eidos:scopedToSeries "price-usd" ; eidos:scopedToSeries "market-cap-usd" ; eidos:scopedToSeries "fdv-usd" ; eidos:scopedToMarket "ranger" ; eidos:disprovenBefore "2026-09-15T00:00:00.000Z"^^xsd:dateTime . eidos:disproven-metadao-dust-swap-stretch a eidos:DisprovenDerivation ; rdfs:label "metadao-dust-swap-stretch" ; skos:inScheme eidos:DisprovenDerivationScheme ; eidos:note "For two days the last swap of nearly every hour in MetaDAO's pool was a dust swap of 101 units of the quote, so the backfill that read each hour's last swap recorded its ratio instead of a price: 44 of the 48 hourly rows from 06:59 on 21 Aug to 05:59 on 23 Aug 2026 are exactly 101/18 (5.611111), 101/17 (5.941176) or 101/19 (5.315789), and 24 of them sit more than 2% above GeckoTerminal's high–low range for the surrounding hours, 16 by 3–7% (audit of 6 Oct 2026). The four rows between them read inside the range, but they are islands a chart would join into a line across hours no reading measured, so the stretch is refused whole and the chart breaks there: the rows either side, 05:49 on 21 Aug and 06:58 on 23 Aug, are 49 hours apart, past the contiguity tolerance. The other 736 MetaDAO rows from the same backfill keep their reach." ; eidos:provenancePattern "^metadao-external-api:dexscreener-events:last-swap-hour$" ; eidos:scopedToSeries "price-usd" ; eidos:scopedToMarket "metadao" ; eidos:disprovenBefore "2026-08-23T06:00:00.000Z"^^xsd:dateTime ; eidos:disprovenFrom "2026-08-21T06:00:00.000Z"^^xsd:dateTime . eidos:disproven-last-swap-dust-print a eidos:DisprovenDerivation ; rdfs:label "last-swap-dust-print" ; skos:inScheme eidos:DisprovenDerivationScheme ; eidos:note "The method is sound except where the hour's last swap was dust. Measured on 6 Oct 2026 against GeckoTerminal's hourly OHLCV for the same MetaDAO pools, the backfill's 7,709 price rows on 20 members land within 2% of the surrounding hours' high–low range in all but 56 cases, and every one of MetaDAO's 24 misses is an exact small ratio (101/17, 101/18, 101/19); Umbra's 496 and Solomon's 474 rows hold. Exact small ratios are the dust signature: 51 rows carry one with a denominator of 100 or less (46 MetaDAO, 2 Futardio Cult, 2 Umbra, 1 Avici), each too coarse to place the price within 1%, and they are refused wherever they fall. The same dust bot's prints against larger amounts (101/358 on Umbra, 101/770 on Loyal) resolve the price within about 1% and stay. The other 32 misses are not this defect: Paystream's 31 are measured against a different, $14-deep pool, and one Flash Trade print sits 3% below a thin hour's range." ; eidos:provenancePattern "^metadao-external-api:dexscreener-events:last-swap-hour$" ; eidos:scopedToSeries "price-usd" ; eidos:disprovenSignature "An exact ratio of small integers, denominator at most 100: a dust swap's print, whose one-unit step moves the price by 1% or more." . eidos:disproven-ore-implausible-pool-volume a eidos:DisprovenDerivation ; rdfs:label "ore-implausible-pool-volume" ; skos:inScheme eidos:DisprovenDerivationScheme ; eidos:note "From 5 Oct 2026 ORE's 24h volume summed two thin pools whose stated volume their trades could not have moved: ORE/STONK, averaging 146% of its $7,123 of liquidity a trade, and ORE/GLDx, 45% of its $93,001, while both pools' prices sat at the consensus. On 14 Oct they stated $8.3M of the $9.3M published, against GeckoTerminal's $1.18M for the token. Replaying the archived DexScreener receipts behind every ORE volume reading since receipts began (11 Sep, 3,100 readings; 3,071 reproduce exactly under the rule they were written with, and the other 29, on 6–8 Oct, by 0.2% under an earlier volume rule) finds 566 inflated, the first at 22:45 on 5 Oct and the last at 18:30 on 14 Oct, interleaved with 267 that hold and whose values overlap theirs ($0.84M–$4.4M either way), so neither a value test nor anything finer than the stretch separates them. The stretch is refused whole, 833 readings, so the chart breaks there rather than drawing islands through hours the inflated readings held; the cutoff is the first reading the collector took with the fixed rule (`isImplausibleVolume`), which read $983,844. The 11–12 Sep spike to $7.2M is not this defect: the replay leaves it unchanged, and it rises and falls over 24 hours as a real day's trading does." ; eidos:provenancePattern "^api:organization-quotes" ; eidos:scopedToSeries "volume-24h-usd" ; eidos:scopedToMarket "ore" ; eidos:disprovenBefore "2026-10-14T18:45:10.498Z"^^xsd:dateTime ; eidos:disprovenFrom "2026-10-05T22:45:16.869Z"^^xsd:dateTime . eidos:lane-price a eidos:CoverageLane ; rdfs:label "price lane" ; skos:inScheme eidos:CoverageLaneScheme ; eidos:consumers "organizations table 24h/7d/30d change columns; the organization page's recorded-history chart, read end to end from the warehouse-history index" ; eidos:episodic false . eidos:lane-caps a eidos:CoverageLane ; rdfs:label "caps lane" ; skos:inScheme eidos:CoverageLaneScheme ; eidos:consumers "launched composition stack and the recorded market-cap aggregates" ; eidos:episodic false . eidos:lane-fdv a eidos:CoverageLane ; rdfs:label "fdv lane" ; skos:inScheme eidos:CoverageLaneScheme ; eidos:consumers "the Overview's cohort FDV chart, merged with the published as-of index" ; eidos:episodic false . eidos:lane-treasury a eidos:CoverageLane ; rdfs:label "treasury lane" ; skos:inScheme eidos:CoverageLaneScheme ; eidos:consumers "cited-treasury KPI chart" ; eidos:episodic false . eidos:lane-counts a eidos:CoverageLane ; rdfs:label "counts lane" ; skos:inScheme eidos:CoverageLaneScheme ; eidos:consumers "tracked/live/launched count cards' 30-day indicators" ; eidos:episodic false . eidos:lane-vaults a eidos:CoverageLane ; rdfs:label "vaults lane" ; skos:inScheme eidos:CoverageLaneScheme ; eidos:consumers "DAO-vaults KPI card" ; eidos:episodic false . eidos:lane-proposals a eidos:CoverageLane ; rdfs:label "proposals lane" ; skos:inScheme eidos:CoverageLaneScheme ; eidos:consumers "proposals KPI charts" ; eidos:episodic false . eidos:lane-windows a eidos:CoverageLane ; rdfs:label "windows lane" ; skos:inScheme eidos:CoverageLaneScheme ; eidos:consumers "proposal window charts and the cohort cards, which also draw replayed windows" ; eidos:episodic true . eidos:series-price-usd a eidos:PublishedSeries ; rdfs:label "Spot price" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "price-usd" ; eidos:unit "price" ; eidos:note "Per-organization token price. Backing series for the organizations table's 24h/7d/30d change columns, measured against the tape's own baselines. Also the Combinator, Umia and futarchy.fi organizations' token prices, and MetaDAO tokens the quote feed does not price (each hour's last precise swap in the DAO's own spot pool, read at the hours its decisions are measured at), keyed by mint or token address under the token-spot market kind on the engine's chain, which the decision outcomes measure from the close." . eidos:series-market-cap-usd a eidos:PublishedSeries ; rdfs:label "Quoted market cap" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "market-cap-usd" ; eidos:unit "usd" ; eidos:note "Per-organization market cap as the quote states it: the published price times the quote's circulating supply (on-chain total minus registered lock balances where the chain read covers the mint, a feed's figure otherwise; the quote's marketCapBasis names which), never above the FDV. Where the source cannot tell cap from FDV the quote carries marketCapIsFdv and the reading is recorded all the same — the flag rides on the quote, not on this series, because dropping the member would withhold the whole-universe sum on every read. No observation when the quote has no cap, including a cap a quote gate withheld (marketCapWithheld or priceWithheld). The composition stack sums it per registry class at the instants the whole-universe sum was recorded." . eidos:series-fdv-usd a eidos:PublishedSeries ; rdfs:label "Fully diluted valuation" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "fdv-usd" ; eidos:unit "usd" ; eidos:note "Per-organization FDV as the quote feed states it; a current-value table cell, not a chart series." . eidos:series-volume-24h-usd a eidos:PublishedSeries ; rdfs:label "24h volume" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "volume-24h-usd" ; eidos:unit "usd" ; eidos:note "Per-organization trailing-24h volume as the quote feed states it: every pool DexScreener lists for the mint, summed, else Jupiter's token-wide buy plus sell volume; never the futarchy pool's alone. No observation when no feed states one, never a zero: a quote whose price stands after both feeds answered without a volume carries volumeWithheld (volume-unstated), and a feed that did not answer leaves the member missing from its series lane." . eidos:series-provider-change-24h-pct a eidos:CrossCheckSeries ; rdfs:label "Provider 24h change" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "provider-change-24h-pct" ; eidos:unit "percent" ; eidos:note "The provider's own 24h change figure, kept to cross-check the change we measure. Never rendered: measured by someone else, against a baseline we cannot name." . eidos:series-circulating-supply a eidos:CrossCheckSeries ; rdfs:label "Circulating supply" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "circulating-supply" ; eidos:unit "token" ; eidos:note "The circulating supply a quote's market cap rests on: the mint's on-chain total supply minus the balances registered lock programs hold (src/supply-locks.ts) where the chain read covers the mint, otherwise a feed's stated float. Each feed's own claim is recorded beside it under the feed's provenance, so a cap is checkable against its inputs and the feeds against the chain." . eidos:series-total-supply a eidos:CrossCheckSeries ; rdfs:label "Total supply" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "total-supply" ; eidos:unit "token" ; eidos:note "The mint's total supply: on-chain getTokenSupply where the chain answered, a feed's claim otherwise, recorded beside circulating supply for the same cross-check. Not collected under the token-spot market kind: the Combinator, Umia and futarchy.fi organizations' tokens carry only price-usd on the tape, because the collector does not ask the engine-token reader for supply or holders (src/engine-token-holders.ts). The reader would take a supply from chain state only (the mint account, or totalSupply() through Multicall3; a bridged futarchy.fi token's is its Ethereum home token's)." . eidos:series-largest-holder-pct a eidos:PublishedSeries ; rdfs:label "Largest holder share" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "largest-holder-pct" ; eidos:unit "percent" ; eidos:note "Per-organization share of the mint's on-chain total supply held by its largest holder: the twenty largest token accounts (getTokenLargestAccounts), each attributed to its owner, with balances owned by a registered lock program (src/supply-locks.ts) or a known pool vault (src/pool-vaults.ts) reported on the quote apart and never counted as a holder. Published beside the market cap because a chain float counts every token no registered lock holds, whoever holds it. No observation when the quote withholds the reading (holderConcentrationWithheld). Not collected under the token-spot market kind: the Combinator, Umia and futarchy.fi organizations' tokens carry only price-usd on the tape, because the collector does not ask the engine-token reader for supply or holders (src/engine-token-holders.ts). The reader would take Combinator's mints the same way; GNO's and PNK's from Blockscout's holder lists on Ethereum and Gnosis, every listed balance read on chain, summed by address across the two chains with the bridge's custody set apart, and no observation when a holder the indexer did not list could be larger; Umia's tokens have none, since no holder list can be read on Base." . eidos:series-top-10-holders-pct a eidos:PublishedSeries ; rdfs:label "Top-10 holder share" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "top-10-holders-pct" ; eidos:unit "percent" ; eidos:note "Per-organization share of the mint's on-chain total supply held by its ten largest holders, read and attributed as largest-holder-pct is. No observation when fewer than ten holders appear among the twenty largest accounts of a mint that has more, since the rest are out of sight, or when the quote withholds the reading. Not collected under the token-spot market kind: the Combinator, Umia and futarchy.fi organizations' tokens carry only price-usd on the tape, because the collector does not ask the engine-token reader for supply or holders (src/engine-token-holders.ts)." . eidos:series-tracked-organization-count a eidos:PublishedSeries ; rdfs:label "Tracked organizations" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "tracked-organization-count" ; eidos:unit "count" ; eidos:note "Registry row count. Reconstructable as an exact step over MetaDAO ticker start dates, which is how its history reaches past the collector's birth." . eidos:series-live-organization-count a eidos:PublishedSeries ; rdfs:label "Live organizations" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "live-organization-count" ; eidos:unit "count" ; eidos:note "Tracked orgs currently in live status. The registry records today's status, not when it changed, so this lane's honest history starts at collection." . eidos:series-cited-treasury-usd a eidos:PublishedSeries ; rdfs:label "Reported treasury" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "cited-treasury-usd" ; eidos:unit "usd" ; eidos:note "Sum of 01Resolved's cited treasury figures. A step over editions: the value between editions is exactly what the app cited, so edition-dated history is honest." . eidos:series-quoted-market-cap-usd a eidos:PublishedSeries ; rdfs:label "Quoted market cap (universe)" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "quoted-market-cap-usd" ; eidos:unit "usd" ; eidos:note "The whole quoted universe summed at complete instants only. Derivable exactly wherever the tape holds a complete instant, and no further: pre-tape history needs supplies nobody can verify and instants no source aligns." . eidos:series-launched-organization-count a eidos:PublishedSeries ; rdfs:label "Launched organizations" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "launched-organization-count" ; eidos:unit "count" ; eidos:note "Registry count of the launched cohort the app root lists; a step over the same dated listings as the tracked count." . eidos:series-launched-organization-market-cap-usd a eidos:PublishedSeries ; rdfs:label "Cohort market cap" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "launched-organization-market-cap-usd" ; eidos:unit "usd" ; eidos:note "The launched cohort summed at instants where the whole cohort reported — the cohort's own completeness gate, so an established organization's feed blinking cannot withhold it. Recorded and served on the API; the Overview draws the FDV series instead, because the feed's cap mixes circulating cap and FDV across members." . eidos:series-launched-organization-fdv-usd a eidos:PublishedSeries ; rdfs:label "Cohort FDV" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "launched-organization-fdv-usd" ; eidos:unit "usd" ; eidos:note "The cohort's fully diluted valuation summed at instants where the whole cohort reported — the one uniformly defined member quantity, and the aggregate the Overview draws. Its 30-day history is the published as-of index at /data/cohort-fdv-index.json until this lane earns the window itself." . eidos:series-dao-vault-usd a eidos:PublishedSeries ; rdfs:label "Cohort treasury cash" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "dao-vault-usd" ; eidos:unit "usd" ; eidos:note "USD-settled balances across tracked organization vaults. History is exact by transaction replay — a token account's balance cannot change outside a transaction that touches it." . eidos:series-pending-market-count a eidos:PublishedSeries ; rdfs:label "Pending markets" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "pending-market-count" ; eidos:unit "count" ; eidos:note "Live-proposal lifecycle count; history replayed exactly from confirmed program events." . eidos:series-funded-draft-count a eidos:PublishedSeries ; rdfs:label "Funded drafts" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "funded-draft-count" ; eidos:unit "count" ; eidos:note "Live-proposal lifecycle count; history replayed exactly from confirmed program events." . eidos:series-program-proposal-count a eidos:PublishedSeries ; rdfs:label "Program proposals" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "program-proposal-count" ; eidos:unit "count" ; eidos:note "Live-proposal lifecycle count; history replayed exactly from confirmed program events." . eidos:series-dao-vault-balance-usd a eidos:PublishedSeries ; rdfs:label "Treasury cash" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "dao-vault-balance-usd" ; eidos:unit "usd" ; eidos:note "One DAO account's USD-settled vault balance, exact by transaction replay of the vault's own token account." . eidos:series-final-pass-twap a eidos:PublishedSeries ; rdfs:label "Final pass TWAP" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "final-pass-twap" ; eidos:unit "normalized-price" ; eidos:note "The pass conditional market's TWAP the program finalized on, recorded once at the finalization instant from the indexed finalization event and its chain signature. The outcome's own number, not a reading during the window." . eidos:series-final-fail-twap a eidos:PublishedSeries ; rdfs:label "Final fail TWAP" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "final-fail-twap" ; eidos:unit "normalized-price" ; eidos:note "The fail conditional market's TWAP the program finalized on, recorded once at the finalization instant from the indexed finalization event and its chain signature." . eidos:series-threshold-pct a eidos:PublishedSeries ; rdfs:label "Pass threshold" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "threshold-pct" ; eidos:unit "percent" ; eidos:note "The pass threshold a recording window's finalization must reach — the edge the pass TWAP needs over the fail TWAP — from the proposal's own threshold. A constant per window, recorded once at the window's TWAP start so a cutoff query finds it without a per-read row." . eidos:series-pass-twap a eidos:PublishedSeries ; rdfs:label "Pass TWAP" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "pass-twap" ; eidos:unit "normalized-price" ; eidos:note "The pass conditional market's TWAP while a recording window is open. Windows are episodic: the series exists only while a market does." . eidos:series-fail-twap a eidos:PublishedSeries ; rdfs:label "Fail TWAP" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "fail-twap" ; eidos:unit "normalized-price" ; eidos:note "The fail conditional market's TWAP while a recording window is open." . eidos:series-pass-spot a eidos:PublishedSeries ; rdfs:label "Pass spot" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "pass-spot" ; eidos:unit "normalized-price" ; eidos:note "The pass conditional market's spot print." . eidos:series-fail-spot a eidos:PublishedSeries ; rdfs:label "Fail spot" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "fail-spot" ; eidos:unit "normalized-price" ; eidos:note "The fail conditional market's spot print." . eidos:series-pass-base-reserve a eidos:PublishedSeries ; rdfs:label "Pass base reserve" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "pass-base-reserve" ; eidos:unit "token" ; eidos:note "The pass pool's base reserve; the flip-cost scenario's input." . eidos:series-pass-quote-reserve a eidos:PublishedSeries ; rdfs:label "Pass quote reserve" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "pass-quote-reserve" ; eidos:unit "token" ; eidos:note "The pass pool's quote reserve; the flip-cost scenario's input." . eidos:series-fail-base-reserve a eidos:PublishedSeries ; rdfs:label "Fail base reserve" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "fail-base-reserve" ; eidos:unit "token" ; eidos:note "The fail pool's base reserve; the flip-cost scenario's input." . eidos:series-fail-quote-reserve a eidos:PublishedSeries ; rdfs:label "Fail quote reserve" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "fail-quote-reserve" ; eidos:unit "token" ; eidos:note "The fail pool's quote reserve; the flip-cost scenario's input." . eidos:series-option-twap a eidos:PublishedSeries ; rdfs:label "Option TWAP" ; skos:inScheme eidos:ObservationSeriesScheme ; eidos:seriesId "option-twap" ; eidos:unit "price" ; eidos:note "One option's time-weighted conditional price on an engine beyond MetaDAO, keyed #