@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:imports ; owl:imports ; dcterms:isPartOf ; dcterms:license ; rdfs:label "Eidos evidence module" ; rdfs:comment "What Eidos records about a decision: analytical runs, instruments, results, interpretations and contributions; historical reviews and their roster, findings and their states, the attack library, covenants, dossiers, claims, sources, investigations and reports. SafetyRating is declared unsatisfiable. Aligned to PROV-O and schema.org." ; rdfs:comment "One module of the Eidos ontology, release 19.5.0; the whole is at https://eidos.software/ontology, generated from the registries in src/ by npm run ontology. Edit the source, not this file." . # ── evidence: classes ───────────────────────────────────────────────── eidos:DiligenceAnswer a owl:Class ; rdfs:label "Diligence answer" ; rdfs:comment "One organization's answer to one fixed diligence question (src/diligence-questions.ts): its state (answered, not checked, not disclosed, not applicable), how many sourced facts it carries and when they were observed, and whether every fact is inside the question's re-check window at the run's cutoff. Never a grade: the facts are values, and an answer's state says what Eidos holds, not what the organization is worth." . eidos:Review a owl:Class ; rdfs:label "Review" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:review-evidence eidos:review-attack eidos:review-market eidos:review-playbooks eidos:review-learning eidos:review-claims ) ] ; rdfs:comment "One of the historical reviews — Evidence, Attack, Market, Playbooks, Learning, Claims — that filed decision records, each with a versioned contract and the boundaries it refuses to cross. Closed and pairwise distinct: exactly the enumerated reviews, so a seventh asserted distinct from these six is a contradiction rather than merely an unlisted name. The individuals are named by role (review-evidence … review-claims) since 10.0.0; the colour ids the roster was first recorded under were migrated out of every stored finding on 4 October 2026." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:review-evidence eidos:review-attack eidos:review-market eidos:review-playbooks eidos:review-learning eidos:review-claims ) . eidos:ReviewScheme a skos:ConceptScheme ; rdfs:label "Review scheme" ; rdfs:comment "The closed members of Review, as a SKOS scheme: each individual states skos:inScheme." . eidos:ReviewRoster a owl:Class ; rdfs:label "Review roster" ; rdfs:subClassOf skos:Collection ; rdfs:comment "One released set of review contracts, versioned as a whole and pinned by a digest. It exists because a per-review contract version cannot describe the roster: adding, retiring, or renaming a review moves no surviving review's version, so a finding stamped only with its own review's version cannot say which roster it belonged to. A stored finding names its roster through filedUnderRoster and stays re-readable after the contracts have moved on." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:roster-1-0-0 eidos:roster-1-0-1 eidos:roster-1-0-2 eidos:roster-1-0-3 eidos:roster-1-0-4 eidos:roster-1-1-0 eidos:roster-1-2-0 eidos:roster-1-3-0 eidos:roster-1-4-0 eidos:roster-1-4-1 eidos:roster-1-4-2 eidos:roster-2-0-0 eidos:roster-3-0-0 ) . eidos:RosterStatus a owl:Class ; rdfs:label "Roster status" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:roster-status-filed eidos:roster-status-withheld eidos:roster-status-standing ) ] ; rdfs:comment "A review's roster answer for one decision at one time: filed, withheld or standing — the status every stored finding carries, spelled as every page prints it (filed was stored as complete until 10.0.0). Not a Classification: that is one monitored vector's state, and a finding may carry both." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:roster-status-filed eidos:roster-status-withheld eidos:roster-status-standing ) . eidos:RosterStatusScheme a skos:ConceptScheme ; rdfs:label "Roster status scheme" ; rdfs:comment "The closed members of RosterStatus, as a SKOS scheme: each individual states skos:inScheme." . eidos:AnalyticalInstrument a owl:Class ; rdfs:label "Analytical instrument" ; rdfs:subClassOf prov:Plan ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:analytical-instrument-disclosures eidos:analytical-instrument-participation eidos:analytical-instrument-market-selection eidos:analytical-instrument-selection-rule eidos:analytical-instrument-closing-window eidos:analytical-instrument-prior-decisions eidos:analytical-instrument-measured-outcome eidos:analytical-instrument-recycled-stake-treasury-extraction eidos:analytical-instrument-late-window-outcome-steering eidos:analytical-instrument-wash-volume-alignment-inflation eidos:analytical-instrument-coordinated-multiwallet-stake-assembly ) ] ; rdfs:comment "A registered versioned calculation or detector with its own input requirements. Methods answer distinct questions; a missing input withholds that result without suppressing other applicable instruments." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:analytical-instrument-disclosures eidos:analytical-instrument-participation eidos:analytical-instrument-market-selection eidos:analytical-instrument-selection-rule eidos:analytical-instrument-closing-window eidos:analytical-instrument-prior-decisions eidos:analytical-instrument-measured-outcome eidos:analytical-instrument-recycled-stake-treasury-extraction eidos:analytical-instrument-late-window-outcome-steering eidos:analytical-instrument-wash-volume-alignment-inflation eidos:analytical-instrument-coordinated-multiwallet-stake-assembly ) . eidos:AnalyticalInstrumentScheme a skos:ConceptScheme ; rdfs:label "Analytical instrument scheme" ; rdfs:comment "The closed members of AnalyticalInstrument, as a SKOS scheme: each individual states skos:inScheme." . eidos:AnalyticalRun a owl:Class ; rdfs:label "Analytical run" ; rdfs:subClassOf prov:Entity ; rdfs:comment "An immutable calculation over retained decision inputs, with versioned instruments, evidence coverage, results and interpretations. Corrections append and supersede; historical runs remain available." . eidos:AnalyticalResult a owl:Class ; rdfs:label "Analytical result" ; rdfs:subClassOf prov:Entity ; rdfs:comment "An instrument-specific measurement or finding with evidence references, version, applicability, availability, completeness and freshness. Each result stands on its own evidence requirements." . eidos:Interpretation a owl:Class ; rdfs:label "Interpretation" ; rdfs:subClassOf prov:Entity ; rdfs:comment "A sourced statement over identified analytical results, distinguishing observations, derivations and hypotheses and naming limitations and revision conditions." . eidos:EvidenceContribution a owl:Class ; rdfs:label "Evidence contribution" ; rdfs:subClassOf prov:Entity ; rdfs:comment "A source-linked proposed correction with author, review history and sharing scope. Acceptance recomputes affected results and preserves the original record." . eidos:Finding a owl:Class ; rdfs:label "Finding" ; rdfs:subClassOf schema:Review ; owl:disjointWith eidos:AttackVector ; rdfs:comment "One review's answer for one decision, filed by the review that made it. Findings stay in their review; the roster never folds them into a composite score." . eidos:VectorFinding a owl:Class ; rdfs:label "Vector finding" ; rdfs:subClassOf eidos:Finding ; rdfs:comment "A review finding that classifies exactly one monitored vector. Other review findings need not classify." . eidos:AttackVector a owl:Class ; rdfs:label "Attack vector" ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty eidos:exploitsComponent ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; rdfs:comment "A versioned economic attack mechanism. A vector describes a reusable mechanism, never an incident." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:recycled-stake-treasury-extraction eidos:late-window-outcome-steering eidos:wash-volume-alignment-inflation eidos:coordinated-multiwallet-stake-assembly eidos:terminal-window-twap-capture eidos:advisory-signal-inflation eidos:resistance-contingent-delivery eidos:conditional-holder-exit-supply-failure eidos:proposal-convexity-selection eidos:countertrade-adverse-selection-deterrence eidos:fail-branch-sabotage ) . eidos:MonitoredVector a owl:Class ; rdfs:label "Monitored vector" ; rdfs:subClassOf eidos:AttackVector ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty eidos:hasDetector ; owl:cardinality "1"^^xsd:nonNegativeInteger ] ; owl:disjointWith eidos:DocumentedVector ; rdfs:comment "Detector shipped: the vector runs in the scorer." . eidos:DocumentedVector a owl:Class ; rdfs:label "Documented vector" ; rdfs:subClassOf eidos:AttackVector ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty eidos:hasDetector ; owl:maxCardinality "0"^^xsd:nonNegativeInteger ] ; rdfs:comment "Detector pending: a documented vector is never assessed and never classifies." . eidos:Indicator a owl:Class ; rdfs:label "Indicator" ; rdfs:comment "One evidence signal inside one vector. Indicator counts are never added across vectors." . eidos:Detector a owl:Class ; rdfs:label "Detector" ; rdfs:comment "The shipped evaluation of one monitored vector's indicators over a qualified evidence packet." . eidos:MethodologySource a owl:Class ; rdfs:label "Methodology source" ; rdfs:subClassOf prov:Entity ; rdfs:comment "Published research a definition cites." . eidos:IncidentStudy a owl:Class ; rdfs:label "Incident study" ; rdfs:subClassOf prov:Entity ; rdfs:comment "A published incident kept as provenance beneath a vector. The check travels forward; the incident's conclusion does not. Named CaseStudy until 9.0.0; the app's cases are decisions." . eidos:Classification a owl:Class ; rdfs:label "Classification" ; owl:disjointUnionOf ( eidos:MatchState eidos:WithheldState ) ; rdfs:comment "What the scorer may emit for one vector on one record. The whole state vocabulary, LOW included, is declared pairwise distinct here." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:state-high-risk eidos:state-elevated eidos:state-watch eidos:state-no-match eidos:state-unscored eidos:state-unknown eidos:state-stale eidos:state-under-review eidos:state-low ) . eidos:MatchState a owl:Class ; rdfs:label "Match state" ; rdfs:subClassOf eidos:Classification ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:state-high-risk eidos:state-elevated eidos:state-watch eidos:state-no-match ) ] ; owl:disjointWith eidos:WithheldState ; rdfs:comment "Complete-evidence match states for one monitored vector. LOW is not a member of either partition: it is a named rejected token disjoint from Classification. NO-MATCH means this vector did not match; it is never a claim the proposal is safe." . eidos:MatchStateScheme a skos:ConceptScheme ; rdfs:label "Match state scheme" ; rdfs:comment "The closed members of MatchState, as a SKOS scheme: each individual states skos:inScheme." . eidos:WithheldState a owl:Class ; rdfs:label "Withheld state" ; rdfs:subClassOf eidos:Classification ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:state-unscored eidos:state-unknown eidos:state-stale eidos:state-under-review ) ] ; rdfs:comment "Withheld states for incomplete evidence. Missing inputs land here and never grade." . eidos:WithheldStateScheme a skos:ConceptScheme ; rdfs:label "Withheld state scheme" ; rdfs:comment "The closed members of WithheldState, as a SKOS scheme: each individual states skos:inScheme." . eidos:RejectedClassificationState a owl:Class ; rdfs:label "Rejected classification state" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:state-low ) ] ; owl:disjointWith eidos:Classification ; rdfs:comment "A known token the product explicitly rejects as a classification. LOW cannot be asserted as a finding state without contradiction." . eidos:RejectedClassificationStateScheme a skos:ConceptScheme ; rdfs:label "Rejected classification state scheme" ; rdfs:comment "The closed members of RejectedClassificationState, as a SKOS scheme: each individual states skos:inScheme." . eidos:CovenantCheck a owl:Class ; rdfs:label "Covenant check" ; rdfs:comment "A versioned check anchored to published launch-covenant terms. A covenant review is never a proposal classification." . eidos:CovenantTermState a owl:Class ; rdfs:label "Covenant term state" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:covenant-term-present eidos:covenant-term-absent eidos:covenant-term-unknown ) ] ; rdfs:comment "Tri-state, fail closed: an unknown term stays unknown and never rounds to present; a known violation is absent even when a paired term is unknown." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:covenant-term-present eidos:covenant-term-absent eidos:covenant-term-unknown ) . eidos:CovenantTermStateScheme a skos:ConceptScheme ; rdfs:label "Covenant term state scheme" ; rdfs:comment "The closed members of CovenantTermState, as a SKOS scheme: each individual states skos:inScheme." . eidos:LaunchCovenant a owl:Class ; rdfs:label "Launch covenant" ; rdfs:comment "A published launch covenant whose terms the checks evaluate." . eidos:PreWindowReview a owl:Class ; rdfs:label "Pre-window review" ; rdfs:subClassOf prov:Entity ; owl:disjointWith eidos:Finding , eidos:Classification ; rdfs:comment "A review filed for one decision before its recording window opens: the ask as published, the covenant and market parameters as configured, which day-one checks can run on the evidence available and which are withheld, and the send that carried it to the organization. The first decision-lineage object: it names the decision by exact identity and is superseded, never edited, once the window opens. Never a classification, never a forecast (WindowForecast is declared disjoint from it)." . eidos:Instrument a owl:Class ; rdfs:label "Instrument" ; rdfs:comment "A review's observation instrument. Its output is an observation under stated assumptions, never a classification." . eidos:UnavailableMeasure a owl:Class ; rdfs:label "Unavailable measure" ; rdfs:comment "A measure these markets cannot supply the inputs for, recorded rather than omitted. Most are book-dependent: these are constant-product conditional pools with no bid, ask, queue, or maker inventory, so an effective spread or a depth imbalance would be a number with no referent. One is timestamp-dependent: an information-leakage score needs the moment the public learned, and every timestamp a proposal account carries is a moment the market learned. Each member names the input it would need and the honest local substitute, so a consumer can tell a refusal from an oversight." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:unavailable-effective-spread eidos:unavailable-post-fill-markout eidos:unavailable-depth-imbalance eidos:unavailable-trade-based-spread-estimators eidos:unavailable-longshot-spread-premium eidos:unavailable-self-counterparty-wash eidos:unavailable-information-leakage-score ) . eidos:UnavailableMeasureScheme a skos:ConceptScheme ; rdfs:label "Unavailable measure scheme" ; rdfs:comment "The registered members of UnavailableMeasure, as a SKOS scheme: each individual states skos:inScheme." . eidos:Dossier a owl:Class ; rdfs:label "Dossier" ; rdfs:subClassOf prov:Entity ; rdfs:comment "The public dossier on one decision, validated by DossierSchema in src/dossiers.ts, retaining exact identity and separately attributed reviews. Named DecisionDossier until 9.0.0; the decision record is the Decision." . eidos:AttributedClaim a owl:Class ; rdfs:label "Attributed claim" ; rdfs:subClassOf schema:Claim ; rdfs:subClassOf prov:Entity ; rdfs:comment "A source-linked observation or hypothesis in DossierSchema. A hypothesis is not established evidence." . eidos:EvidenceSource a owl:Class ; rdfs:label "Evidence source" ; rdfs:subClassOf prov:Entity ; rdfs:comment "A retained source assertion with identity, URL, observation time and method, validated by SourceSchema; not independent verification." . eidos:EvidenceRevision a owl:Class ; rdfs:label "Evidence revision" ; rdfs:subClassOf prov:Entity ; rdfs:comment "A retained public publication or dossier revision with distinct observation and recording clocks; not a historical knowledge guarantee." . eidos:DiligenceClaim a owl:Class ; rdfs:label "Diligence claim" ; rdfs:subClassOf schema:Claim ; rdfs:subClassOf prov:Entity ; rdfs:comment "A source-linked relationship in the operational evidence graph: subject, predicate, object, source, and its review and publication state. Private until it carries both gates; the public projection, the app's Diligence page, holds only accepted-and-published claims. Named EvidenceGraphClaim until 9.0.0; the app's Diligence page is its public projection." . eidos:Investigation a owl:Class ; rdfs:label "Investigation" ; rdfs:subClassOf prov:Activity ; rdfs:comment "An owner-scoped run: a question, the decision context it pinned, the instrument it executed, and the events that followed. Lives in the application database; resolves only for its owner's session." . eidos:Report a owl:Class ; rdfs:label "Report" ; rdfs:subClassOf schema:Report ; rdfs:comment "A dated, permalinked note Eidos published on the state of the open recording windows, addressed by a permanent six-character id (/reports//) and keyed internally by its file stem. One per notable move, never one per day; prose carries no live figure. The Reports collection in the app." . eidos:CompositeProposalRiskScore a owl:Class ; rdfs:label "Composite proposal risk score" ; rdfs:subClassOf eidos:AnalyticalResult ; rdfs:comment "An aggregate estimate with a defined target and a validated method. No such model is currently registered; its existence is permitted only with explicit inputs, assumptions, evaluation and limitations." . eidos:SafetyRating a owl:Class ; rdfs:label "Safety rating" ; owl:equivalentClass owl:Nothing ; rdfs:comment "Deliberately unsatisfiable. A vector no-match is never a safety rating, and nothing here ships green." . eidos:DiligenceQuestion a owl:Class ; rdfs:label "Diligence question" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:diligence-question-engine eidos:diligence-question-identity eidos:diligence-question-treasury-control eidos:diligence-question-spending-limit eidos:diligence-question-treasury-holdings eidos:diligence-question-revenue-destination eidos:diligence-question-mint-authority eidos:diligence-question-team-package eidos:diligence-question-concentration eidos:diligence-question-decision-rules eidos:diligence-question-admin-override eidos:diligence-question-market-depth eidos:diligence-question-legal-entity eidos:diligence-question-liabilities eidos:diligence-question-raise-claims eidos:diligence-question-programs eidos:diligence-question-exit-path ) ] ; rdfs:comment "One of the fixed questions Eidos answers for every organization (src/diligence-questions.ts): who controls its treasury, its mint and its decisions, what it promised at its raise, and what is held only in documents. Each asks for a value, never a verdict, and says where its answer lives. The set is versioned (diligenceQuestionSetVersion): a question added later reads as not asked then, never as a gap. A new question is a registry edit and a release." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:diligence-question-engine eidos:diligence-question-identity eidos:diligence-question-treasury-control eidos:diligence-question-spending-limit eidos:diligence-question-treasury-holdings eidos:diligence-question-revenue-destination eidos:diligence-question-mint-authority eidos:diligence-question-team-package eidos:diligence-question-concentration eidos:diligence-question-decision-rules eidos:diligence-question-admin-override eidos:diligence-question-market-depth eidos:diligence-question-legal-entity eidos:diligence-question-liabilities eidos:diligence-question-raise-claims eidos:diligence-question-programs eidos:diligence-question-exit-path ) . eidos:DiligenceQuestionScheme a skos:ConceptScheme ; rdfs:label "Diligence question scheme" ; rdfs:comment "The closed members of DiligenceQuestion, as a SKOS scheme: each individual states skos:inScheme." . eidos:OrganizationStatementField a owl:Class ; rdfs:label "Organization statement field" ; owl:equivalentClass [ a owl:Class ; owl:oneOf ( eidos:statement-field-purpose eidos:statement-field-obligations eidos:statement-field-commitments eidos:statement-field-documents ) ] ; rdfs:comment "One of the four things the chain does not hold that an organization is asked to state in its own words (src/organization-statements.ts): its purpose, who is bound and to what, what it committed to deliver and by when, and the documents that state it. Each field says how long a statement stays current (statementFieldRefreshAfterDays). A new field is a registry edit and a release." . [] a owl:AllDifferent ; owl:distinctMembers ( eidos:statement-field-purpose eidos:statement-field-obligations eidos:statement-field-commitments eidos:statement-field-documents ) . eidos:OrganizationStatementFieldScheme a skos:ConceptScheme ; rdfs:label "Organization statement field scheme" ; rdfs:comment "The closed members of OrganizationStatementField, as a SKOS scheme: each individual states skos:inScheme." . eidos:OrganizationStatement a owl:Class ; rdfs:label "Organization statement" ; rdfs:subClassOf prov:Entity ; rdfs:comment "One reviewed version of what an organization says about one OrganizationStatementField: its words, quoted and attributed to it, the day it stated them, the document it cites, and the day Eidos checked that the document says it. Published only after that check, from the reviewed fixture (/data/organization-statements.json). Versions are kept and each names the one it supersedes; a version older than its field's window is not current, and the field reads as unanswered rather than carrying the old words forward. A statement is the organization's, never Eidos's reading, and changes no finding." . # ── evidence: object and annotation properties ──────────────────────── eidos:evaluatedWith a owl:ObjectProperty ; rdfs:domain eidos:AnalyticalResult ; rdfs:range eidos:AnalyticalInstrument ; rdfs:comment "The registered method whose version the retained result names." . eidos:analyticalVector a owl:ObjectProperty ; rdfs:domain eidos:AnalyticalInstrument ; rdfs:range eidos:AttackVector ; rdfs:comment "The economic mechanism an analytical detector assesses; each result remains scoped to its qualified packet." . eidos:hasAnalyticalResult a owl:ObjectProperty ; rdfs:domain eidos:AnalyticalRun ; rdfs:range eidos:AnalyticalResult ; rdfs:comment "Independent instrument outputs retained by this exact run." . eidos:hasInterpretation a owl:ObjectProperty ; rdfs:domain eidos:AnalyticalRun ; rdfs:range eidos:Interpretation ; rdfs:comment "Sourced interpretations retained by this run, not later model prose." . eidos:interpretationSupportedBy a owl:ObjectProperty ; rdfs:domain eidos:Interpretation ; rdfs:range eidos:AnalyticalResult ; rdfs:comment "The specific results supporting an interpretation within its retained run." . eidos:statementByOrganization a owl:ObjectProperty ; rdfs:domain eidos:OrganizationStatement ; rdfs:range eidos:Organization ; rdfs:comment "The organization whose words the statement is: attributed to it, never Eidos's reading." . eidos:statementAnswersField a owl:ObjectProperty ; rdfs:domain eidos:OrganizationStatement ; rdfs:range eidos:OrganizationStatementField ; rdfs:comment "Which of the four fields the statement answers." . eidos:statementSupersedes a owl:ObjectProperty ; rdfs:domain eidos:OrganizationStatement ; rdfs:range eidos:OrganizationStatement ; rdfs:comment "The version this one replaces; the replaced version stays in the history." . eidos:contributionTargetsRun a owl:ObjectProperty ; rdfs:domain eidos:EvidenceContribution ; rdfs:range eidos:AnalyticalRun ; rdfs:comment "The immutable run a source-linked correction proposes to replace, within its sharing scope." . eidos:hasIndicator a owl:ObjectProperty ; rdfs:domain eidos:AttackVector ; rdfs:range eidos:Indicator ; rdfs:comment "A vector's indicators. Their explicit position preserves registry order; counts stay scoped to one vector." . eidos:hasDetector a owl:ObjectProperty ; rdfs:domain eidos:MonitoredVector ; rdfs:range eidos:Detector ; rdfs:comment "Only monitored vectors carry a shipped detector; DocumentedVector is restricted to zero." . eidos:hasIncidentStudy a owl:ObjectProperty ; rdfs:domain eidos:AttackVector ; rdfs:range eidos:IncidentStudy ; rdfs:comment "Published incidents are provenance beneath a vector; the incident never becomes the detector's name." . eidos:hasMethodologySource a owl:ObjectProperty ; rdfs:domain eidos:AttackVector ; rdfs:range eidos:MethodologySource ; rdfs:subPropertyOf prov:wasDerivedFrom ; rdfs:comment "The published research a definition is codified from." . eidos:exploitsComponent a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:AttackVector ; rdfs:range eidos:MechanismComponent ; rdfs:comment "Definitional: the one mechanism component a vector abuses. This edge describes mechanisms and never attaches to a finding, so mechanism-level judgments cannot leak into per-proposal results." . eidos:presupposesExecution a owl:ObjectProperty ; rdfs:domain eidos:AttackVector ; rdfs:range eidos:ExecutionMode ; rdfs:comment "The execution binding a vector's payoff presupposes; absent when the mechanism works under either." . eidos:codifiedBy a owl:ObjectProperty ; rdfs:domain [ a owl:Class ; owl:unionOf ( eidos:AttackVector eidos:CovenantCheck ) ] ; rdfs:range eidos:Review ; rdfs:comment "The Playbooks review codifies playbooks and covenant checks from published research: its subjects are attack vectors and covenant checks, and nothing else." . eidos:runBy a owl:ObjectProperty ; rdfs:domain eidos:MonitoredVector ; rdfs:range eidos:Review ; rdfs:comment "The Attack review runs monitored playbooks; documented vectors are never run." . eidos:filedBy a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:Finding ; rdfs:range eidos:Review ; rdfs:comment "The review that filed the finding. Functional over the closed, pairwise-distinct roster, so a finding filed by two reviews is a contradiction — the composite the roster refuses. Until 9.0.0 this was six subclasses of Finding, one per review, none of which a stored finding was ever typed with." . eidos:scopedToVector a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:Finding ; rdfs:range eidos:MonitoredVector ; rdfs:comment "Functional with monitored range: every classification is scoped to exactly one monitored vector. This is the axiom form of the no-composite rule. The vector individuals are declared pairwise distinct, so scoping one finding to two vectors is a contradiction rather than a silent identification of the two." . eidos:hasClassification a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:Finding ; rdfs:range eidos:Classification ; rdfs:comment "The one state a finding carries. Range Classification, which is the disjoint union of the match and withheld partitions — so LOW, a RejectedClassificationState disjoint from Classification, cannot be a finding's state without contradiction. Functional: a finding has one state, never a spread." . eidos:hasRosterStatus a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:Finding ; rdfs:range eidos:RosterStatus ; rdfs:comment "The roster answer a stored finding carries: filed, withheld or standing (the status column of every lane_findings row). A different axis from hasClassification, which is one vector's state; a finding has one roster status. Functional over a closed, pairwise-distinct enumeration, so a second status is a contradiction." . eidos:checksCovenant a owl:ObjectProperty ; rdfs:domain eidos:CovenantCheck ; rdfs:range eidos:LaunchCovenant ; rdfs:comment "The published launch covenant a versioned check is anchored to." . eidos:rosterMember a owl:ObjectProperty ; rdfs:domain eidos:ReviewRoster ; rdfs:range eidos:Review ; rdfs:subPropertyOf skos:member ; rdfs:comment "The reviews a roster release contains. Membership is what a per-review contract version cannot express: adding or retiring a review moves no existing review's version, so without this edge two different rosters are indistinguishable from their reviews alone." . eidos:filedUnderRoster a owl:ObjectProperty, owl:FunctionalProperty ; rdfs:domain eidos:Finding ; rdfs:range eidos:ReviewRoster ; rdfs:comment "The roster release a finding was filed under. Functional: a finding is the answer of one roster at one moment, never a reading blended across releases. This is what makes a stored finding re-readable after the contracts it ran under have moved on." . eidos:instrumentOf a owl:ObjectProperty ; rdfs:domain eidos:Instrument ; rdfs:range eidos:Review ; rdfs:comment "The review an observation instrument belongs to; its output is never a classification." . eidos:unavailableTo a owl:ObjectProperty ; rdfs:domain eidos:UnavailableMeasure ; rdfs:range eidos:Review ; rdfs:comment "A measure the review refuses because constant-product conditional pools cannot supply what it presupposes — a quoted book, a maker's inventory, a public-announcement time. Recorded rather than omitted, so a consumer can tell a refusal from an oversight, and each entry names both the missing input and the honest local substitute." . eidos:reviewsDecision a owl:ObjectProperty ; rdfs:domain eidos:PreWindowReview ; rdfs:range eidos:Decision ; rdfs:comment "The decision a pre-window review was filed for — a MetaDAO proposal by exact chain, program and account identity today, any engine's decision by its identity. A review is written about one decision and superseded, never re-pointed; that stays a registry rule, not a functional axiom, because decisions are an open population no release can declare pairwise distinct — a second value would be identified with the first instead of contradicting it." . eidos:dossierOfDecision a owl:ObjectProperty ; rdfs:domain eidos:Dossier ; rdfs:range eidos:Decision ; rdfs:comment "The decision a dossier describes, by the exact identity DossierSchema requires." . eidos:hasAttributedClaim a owl:ObjectProperty ; rdfs:domain eidos:Dossier ; rdfs:range eidos:AttributedClaim ; rdfs:comment "An observation or hypothesis the dossier states (DossierSchema claims)." . eidos:claimCitesSource a owl:ObjectProperty ; rdfs:domain eidos:AttributedClaim ; rdfs:range eidos:EvidenceSource ; rdfs:subPropertyOf prov:wasDerivedFrom ; rdfs:comment "A source an attributed claim is linked to; every claim cites at least one." . eidos:dossierCitesSource a owl:ObjectProperty ; rdfs:domain eidos:Dossier ; rdfs:range eidos:EvidenceSource ; rdfs:subPropertyOf prov:wasDerivedFrom ; rdfs:comment "A source the dossier as a whole retains (DossierSchema sources)." . eidos:revisesDossier a owl:ObjectProperty ; rdfs:domain eidos:EvidenceRevision ; rdfs:range eidos:Dossier ; rdfs:subPropertyOf prov:specializationOf ; rdfs:comment "The dossier a retained revision is a version of (RevisionSchema)." . eidos:reportAbout a owl:ObjectProperty ; rdfs:domain eidos:Report ; rdfs:range eidos:Organization ; rdfs:subPropertyOf schema:about ; rdfs:comment "An organization a report names: the related-organizations rail on its page." . eidos:decisionHasFindings a owl:ObjectProperty ; rdfs:domain eidos:Decision ; rdfs:range eidos:Finding ; owl:inverseOf eidos:findingOfDecision ; rdfs:comment "has findings (many; asserted by tape, append-and-supersede, as-of-known-time). Six-review findings recorded for the decision on any engine (6 Oct 2026), stamped with the roster release and each review's contract version, keyed by the decision's engine, chain and id." . eidos:proposalHasFindings a owl:ObjectProperty ; rdfs:domain eidos:GovernanceProposal ; rdfs:range eidos:Finding ; rdfs:subPropertyOf eidos:decisionHasFindings ; rdfs:comment "has findings (many; asserted by tape, append-and-supersede, as-of-known-time). Six-review findings recorded for this proposal, stamped with the roster release and each review's contract version. MetaDAO's form of decision-has-findings: a MetaDAO finding's decision is the proposal account." . eidos:analysisOfDecision a owl:ObjectProperty ; rdfs:domain eidos:AnalyticalRun ; rdfs:range eidos:Decision ; rdfs:comment "analyzes (one; asserted by tape, immutable, at-read). The decision whose retained inputs this run evaluates." . eidos:analysisSupersedes a owl:ObjectProperty ; rdfs:domain eidos:AnalyticalRun ; rdfs:range eidos:AnalyticalRun ; rdfs:comment "supersedes (one-or-none; asserted by tape, append-and-supersede, as-of-known-time). An accepted correction retains and replaces an earlier analytical run." . eidos:findingOfDecision a owl:ObjectProperty ; rdfs:domain eidos:Finding ; rdfs:range eidos:Decision ; rdfs:comment "finding of (one; asserted by tape, immutable, at-read). The decision the finding was recorded for, on any engine, joined by its engine, chain and id." . eidos:claimSupersedes a owl:ObjectProperty ; rdfs:domain eidos:DiligenceClaim ; rdfs:range eidos:DiligenceClaim ; rdfs:subPropertyOf prov:wasRevisionOf ; rdfs:comment "supersedes (one-or-none; asserted by private-ledger, append-and-supersede, as-of-known-time). A correction names the accepted claim it replaces; the earlier claim stays in the ledger as superseded." . eidos:investigationOfDecision a owl:ObjectProperty ; rdfs:domain eidos:Investigation ; rdfs:range eidos:Decision ; rdfs:comment "investigates (one; asserted by application-database, immutable, at-read). The exact identity the run's context manifest names." . eidos:diligenceAnswerForOrganization a owl:ObjectProperty ; rdfs:domain eidos:DiligenceAnswer ; rdfs:range eidos:Organization ; rdfs:comment "answer about (one; asserted by warehouse, re-derived-per-seal, at-read). The organization the answer is about, by its slug." . # ── evidence: datatype properties ───────────────────────────────────── eidos:accent a owl:DatatypeProperty ; rdfs:domain eidos:Review ; rdfs:range xsd:string . eidos:assumption a owl:DatatypeProperty ; rdfs:domain eidos:Instrument ; rdfs:range xsd:string . eidos:boundaryRule a owl:DatatypeProperty ; rdfs:domain eidos:Review ; rdfs:range xsd:string . eidos:bucketCount a owl:DatatypeProperty ; rdfs:domain eidos:Instrument ; rdfs:range xsd:integer . eidos:category a owl:DatatypeProperty ; rdfs:domain [ a owl:Class ; owl:unionOf ( eidos:DocumentedVector eidos:MonitoredVector ) ] ; rdfs:range xsd:string . eidos:contractHandoff a owl:DatatypeProperty ; rdfs:domain eidos:Review ; rdfs:range xsd:string . eidos:contractInputs a owl:DatatypeProperty ; rdfs:domain eidos:Review ; rdfs:range xsd:string . eidos:contractOutputs a owl:DatatypeProperty ; rdfs:domain eidos:Review ; rdfs:range xsd:string . eidos:description a owl:DatatypeProperty ; rdfs:range xsd:string . eidos:detail a owl:DatatypeProperty ; rdfs:domain eidos:CovenantCheck ; rdfs:range xsd:string . eidos:diligenceAnswerFactCount a owl:DatatypeProperty ; rdfs:domain eidos:DiligenceAnswer ; rdfs:range xsd:integer ; rdfs:comment "The sourced facts the answer carries. Bound to main.diligence_answers.fact_count." . eidos:diligenceAnswerIsAnswered a owl:DatatypeProperty ; rdfs:domain eidos:DiligenceAnswer ; rdfs:range xsd:boolean ; rdfs:comment "Whether the answer carries at least one sourced, dated fact. Bound to main.diligence_answers.is_answered." . eidos:diligenceAnswerIsCurrent a owl:DatatypeProperty ; rdfs:domain eidos:DiligenceAnswer ; rdfs:range xsd:boolean ; rdfs:comment "Whether every fact was observed within the question's re-check window at the run's cutoff, by the day of the oldest. An unanswered question is never current. Bound to main.diligence_answers.is_current." . eidos:diligenceAnswerNewestObservedAt a owl:DatatypeProperty ; rdfs:domain eidos:DiligenceAnswer ; rdfs:range xsd:dateTime ; rdfs:comment "Noon UTC on the day the answer's newest fact was observed. Bound to main.diligence_answers.newest_observed_at." . eidos:diligenceAnswerOrganization a owl:DatatypeProperty ; rdfs:domain eidos:DiligenceAnswer ; rdfs:range xsd:string ; rdfs:comment "The slug of the organization the answer is about. Bound to main.diligence_answers.slug." . eidos:diligenceAnswerQuestion a owl:DatatypeProperty ; rdfs:domain eidos:DiligenceAnswer ; rdfs:range xsd:string ; rdfs:comment "The question's id in the fixed set (src/diligence-questions.ts). Bound to main.diligence_answers.question." . eidos:diligenceAnswerState a owl:DatatypeProperty ; rdfs:domain eidos:DiligenceAnswer ; rdfs:range xsd:string ; rdfs:comment "answered, not-checked (Eidos has not looked), not-disclosed (a reviewed source held none) or not-applicable. Bound to main.diligence_answers.state." . eidos:diligenceQuestionBasis a owl:DatatypeProperty ; rdfs:domain eidos:DiligenceQuestion ; rdfs:range xsd:string . eidos:diligenceQuestionId a owl:DatatypeProperty ; rdfs:domain eidos:DiligenceQuestion ; rdfs:range xsd:string . eidos:diligenceQuestionSetVersion a owl:DatatypeProperty ; rdfs:domain eidos:DiligenceQuestion ; rdfs:range xsd:string . eidos:diligenceQuestionText a owl:DatatypeProperty ; rdfs:domain eidos:DiligenceQuestion ; rdfs:range xsd:string . eidos:discipline a owl:DatatypeProperty ; rdfs:domain eidos:Review ; rdfs:range xsd:string . eidos:heading a owl:DatatypeProperty ; rdfs:domain eidos:Review ; rdfs:range xsd:string . eidos:incidentOrganizationSlug a owl:DatatypeProperty ; rdfs:domain eidos:IncidentStudy ; rdfs:range xsd:string . eidos:incidentProposalAccount a owl:DatatypeProperty ; rdfs:domain eidos:IncidentStudy ; rdfs:range xsd:string . eidos:investorReserveCapPct a owl:DatatypeProperty ; rdfs:domain eidos:LaunchCovenant ; rdfs:range xsd:integer . eidos:localSubstitute a owl:DatatypeProperty ; rdfs:domain eidos:UnavailableMeasure ; rdfs:range xsd:string . eidos:member a owl:DatatypeProperty ; rdfs:domain eidos:Instrument ; rdfs:range xsd:string . eidos:methodSource a owl:DatatypeProperty ; rdfs:domain eidos:Instrument ; rdfs:range xsd:string . eidos:minimumTrades a owl:DatatypeProperty ; rdfs:domain eidos:Instrument ; rdfs:range xsd:integer . eidos:mission a owl:DatatypeProperty ; rdfs:domain eidos:Review ; rdfs:range xsd:string . eidos:note rdfs:domain [ a owl:Class ; owl:unionOf ( eidos:CrossCheckSeries eidos:DisprovenDerivation eidos:Instrument eidos:MechanismFamily eidos:ProvenanceMethod eidos:PublishedSeries eidos:RejectedClassificationState eidos:UnavailableMeasure ) ] . eidos:position a owl:DatatypeProperty ; rdfs:domain eidos:Indicator ; rdfs:range xsd:integer . eidos:publishedAt a owl:DatatypeProperty ; rdfs:domain eidos:IncidentStudy ; rdfs:range xsd:date ; rdfs:subPropertyOf dcterms:issued . eidos:publisher a owl:DatatypeProperty ; rdfs:domain eidos:IncidentStudy ; rdfs:range xsd:string . eidos:releaseNote a owl:DatatypeProperty ; rdfs:domain eidos:ReviewRoster ; rdfs:range xsd:string . eidos:requires a owl:DatatypeProperty ; rdfs:domain eidos:UnavailableMeasure ; rdfs:range xsd:string . eidos:reviewCount a owl:DatatypeProperty ; rdfs:domain eidos:ReviewRoster ; rdfs:range xsd:integer . eidos:role a owl:DatatypeProperty ; rdfs:domain [ a owl:Class ; owl:unionOf ( eidos:Indicator eidos:Review ) ] ; rdfs:range xsd:string . eidos:rosterDigest a owl:DatatypeProperty ; rdfs:domain eidos:ReviewRoster ; rdfs:range xsd:string . eidos:rosterVersion a owl:DatatypeProperty ; rdfs:domain eidos:ReviewRoster ; rdfs:range xsd:string . eidos:scopeNote a owl:DatatypeProperty ; rdfs:domain [ a owl:Class ; owl:unionOf ( eidos:DocumentedVector eidos:MonitoredVector ) ] ; rdfs:range xsd:string . eidos:sourceUrl rdfs:domain [ a owl:Class ; owl:unionOf ( eidos:CovenantCheck eidos:DecisionMarketEngine eidos:GovernanceProgramDeployment eidos:IncidentStudy eidos:LaunchCovenant eidos:MethodologySource eidos:PublishedRule eidos:Venue ) ] . eidos:statementFieldId a owl:DatatypeProperty ; rdfs:domain eidos:OrganizationStatementField ; rdfs:range xsd:string . eidos:statementFieldQuestion a owl:DatatypeProperty ; rdfs:domain eidos:OrganizationStatementField ; rdfs:range xsd:string . eidos:statementFieldRefreshAfterDays a owl:DatatypeProperty ; rdfs:domain eidos:OrganizationStatementField ; rdfs:range xsd:integer . eidos:status a owl:DatatypeProperty ; rdfs:domain [ a owl:Class ; owl:unionOf ( eidos:DocumentedVector eidos:MonitoredVector ) ] ; rdfs:range xsd:string . eidos:statusId a owl:DatatypeProperty ; rdfs:domain eidos:RosterStatus ; rdfs:range xsd:string . eidos:summary a owl:DatatypeProperty ; rdfs:domain [ a owl:Class ; owl:unionOf ( eidos:AnalyticalInstrument eidos:Review ) ] ; rdfs:range xsd:string . eidos:teamAllocationMaxPct a owl:DatatypeProperty ; rdfs:domain eidos:LaunchCovenant ; rdfs:range xsd:integer . eidos:teamAllocationMinPct a owl:DatatypeProperty ; rdfs:domain eidos:LaunchCovenant ; rdfs:range xsd:integer . eidos:vestingMonths a owl:DatatypeProperty ; rdfs:domain eidos:LaunchCovenant ; rdfs:range xsd:integer . # ── evidence: individuals (generated from the registries) ───────────── eidos:roster-status-filed a eidos:RosterStatus ; rdfs:label "Filed" ; skos:inScheme eidos:RosterStatusScheme ; eidos:statusId "filed" . eidos:roster-status-withheld a eidos:RosterStatus ; rdfs:label "Withheld" ; skos:inScheme eidos:RosterStatusScheme ; eidos:statusId "withheld" . eidos:roster-status-standing a eidos:RosterStatus ; rdfs:label "Standing" ; skos:inScheme eidos:RosterStatusScheme ; eidos:statusId "standing" . eidos:state-high-risk a eidos:MatchState ; rdfs:label "HIGH-RISK" ; skos:inScheme eidos:MatchStateScheme . eidos:state-elevated a eidos:MatchState ; rdfs:label "ELEVATED" ; skos:inScheme eidos:MatchStateScheme . eidos:state-watch a eidos:MatchState ; rdfs:label "WATCH" ; skos:inScheme eidos:MatchStateScheme . eidos:state-no-match a eidos:MatchState ; rdfs:label "NO-MATCH" ; skos:inScheme eidos:MatchStateScheme . eidos:state-unscored a eidos:WithheldState ; rdfs:label "UNSCORED" ; skos:inScheme eidos:WithheldStateScheme . eidos:state-unknown a eidos:WithheldState ; rdfs:label "UNKNOWN" ; skos:inScheme eidos:WithheldStateScheme . eidos:state-stale a eidos:WithheldState ; rdfs:label "STALE" ; skos:inScheme eidos:WithheldStateScheme . eidos:state-under-review a eidos:WithheldState ; rdfs:label "UNDER_REVIEW" ; skos:inScheme eidos:WithheldStateScheme . eidos:state-low a eidos:RejectedClassificationState ; rdfs:label "LOW" ; skos:inScheme eidos:RejectedClassificationStateScheme ; eidos:note "A known rejected token, disjoint from Classification. It is never a scorer output." . eidos:covenant-term-present a eidos:CovenantTermState ; rdfs:label "present" ; skos:inScheme eidos:CovenantTermStateScheme . eidos:covenant-term-absent a eidos:CovenantTermState ; rdfs:label "absent" ; skos:inScheme eidos:CovenantTermStateScheme . eidos:covenant-term-unknown a eidos:CovenantTermState ; rdfs:label "unknown" ; skos:inScheme eidos:CovenantTermStateScheme . eidos:roster-1-0-0 a eidos:ReviewRoster ; rdfs:label "Review roster 1.0.0" ; eidos:rosterVersion "1.0.0" ; eidos:rosterDigest "5ee5f23e" ; eidos:releaseNote "The closed six-team roster as first recorded against proposals: Pink 1.2.0, Red 1.1.0, Blue 1.4.0, Yellow 1.2.0, Purple 1.1.0, White 1.2.0." . eidos:roster-1-0-1 a eidos:ReviewRoster ; rdfs:label "Review roster 1.0.1" ; eidos:rosterVersion "1.0.1" ; eidos:rosterDigest "08b5d31f" ; eidos:releaseNote "Condenses the Blue Team Threshold read contract copy: Pink 1.2.0, Red 1.1.0, Blue 1.4.1, Yellow 1.2.0, Purple 1.1.0, White 1.2.0." . eidos:roster-1-0-2 a eidos:ReviewRoster ; rdfs:label "Review roster 1.0.2" ; eidos:rosterVersion "1.0.2" ; eidos:rosterDigest "2b75173f" ; eidos:releaseNote "Adds the Blue Team's microstructure stack over the indexed swap record — order-flow toxicity, signed imbalance, cumulative delta, per-pool price impact, participation — with three boundaries: a one-sided decision market is not a finding, the readings are never folded into an index, and a metric that presupposes a limit order book is refused rather than approximated: Pink 1.2.0, Red 1.1.0, Blue 1.5.0, Yellow 1.2.0, Purple 1.1.0, White 1.2.0." . eidos:roster-1-0-3 a eidos:ReviewRoster ; rdfs:label "Review roster 1.0.3" ; eidos:rosterVersion "1.0.3" ; eidos:rosterDigest "5f885ff3" ; eidos:releaseNote "Recolours the roster to the Signal palette (the Six Names study): every lane now measures nearer to a plain reading of its own name than to any other lane's, clears both polarity poles, and holds the categorical separation floors. Accents are the same hues dropped to carry text on paper. Contracts are untouched: Pink 1.2.0, Red 1.1.0, Blue 1.5.0, Yellow 1.2.0, Purple 1.1.0, White 1.2.0." . eidos:roster-1-0-4 a eidos:ReviewRoster ; rdfs:label "Review roster 1.0.4" ; eidos:rosterVersion "1.0.4" ; eidos:rosterDigest "14dca88f" ; eidos:releaseNote "Completes the Brass & rose palette with paper accents derived from the selected dark tints at the prior OKLab lightness, lowered only to clear 4.5:1 text contrast on white. Blue shades and all team contracts remain unchanged." . eidos:roster-1-1-0 a eidos:ReviewRoster ; rdfs:label "Review roster 1.1.0" ; eidos:rosterVersion "1.1.0" ; eidos:rosterDigest "7fb34ee0" ; eidos:releaseNote "Names the six reviews by their discipline in every label and in the contract prose — Evidence, Attack, Market, Playbooks, Learning, Claims — instead of by colour. Ids, contract structure, boundaries, accents, and the finding classes are unchanged; each contract takes a patch bump for its copy: Pink 1.2.1, Red 1.1.1, Blue 1.5.1, Yellow 1.2.1, Purple 1.1.1, White 1.2.1. Colour stays a visual key on the mark and the palette." . eidos:roster-1-2-0 a eidos:ReviewRoster ; rdfs:label "Review roster 1.2.0" ; eidos:rosterVersion "1.2.0" ; eidos:rosterDigest "1b585a66" ; eidos:releaseNote "Retires pink and purple from the palette (decided 21 September 2026): colour is an accent, not a review's name. Four accents remain — red, blue, yellow and a true neutral white — and the six arms of the mark are painted from them: the pink arm takes red, the purple arm takes blue, the white arm is #ffffff on dark and a neutral grey on paper. Labels, contracts, ids and finding classes are unchanged; only the accent fields move." . eidos:roster-1-3-0 a eidos:ReviewRoster ; rdfs:label "Review roster 1.3.0" ; eidos:rosterVersion "1.3.0" ; eidos:rosterDigest "e89fce1f" ; eidos:releaseNote "Paints the roster as six shades of one blue (decided 21 September 2026): a scale, lightest at the mark's apex and darkening clockwise — Claims, Playbooks, Evidence, Attack, Learning, Market. OKLab hue of the former Market blue; dark-ground tints at lightness 0.90 → 0.60, paper accents at 0.56 → 0.36, every step clearing 4.6:1 on its ground. Colour is a position on the scale, never a review's name; labels, contracts, ids and finding classes are unchanged." . eidos:roster-1-4-0 a eidos:ReviewRoster ; rdfs:label "Review roster 1.4.0" ; eidos:rosterVersion "1.4.0" ; eidos:rosterDigest "f3eb7176" ; eidos:releaseNote "Files a proposal-specific reading in every review (decided 2 October 2026): Evidence qualifies an indexed conditional-swap record against each monitored playbook's own gate, Attack runs the playbooks whose gates it fills and withholds the rest with their missing evidence named, Playbooks says which ran and what the others wait on, Learning reads the organization's decisions that closed before the window opened, and Claims bounds exactly what was measured. No gate is relaxed. Evidence 1.3.0, Attack 1.3.0 (with wash-volume-alignment-inflation 3.0.0: routine conditional arbitrage is netted before any wash indicator counts, and presence in both pools, machine cadence, frequency and tilt shift count only beside wash evidence: same-pool round trips or a near-neutral ending), Market 1.6.0 (a settled window without retained reads files its completed print from the indexed finalization event), Playbooks 1.3.0, Learning 1.2.0, Claims 1.3.0." . eidos:roster-1-4-1 a eidos:ReviewRoster ; rdfs:label "Review roster 1.4.1" ; eidos:rosterVersion "1.4.1" ; eidos:rosterDigest "d8f36e4a" ; eidos:releaseNote "Copy only (2 October 2026): the Claims contract and the roster note call the other findings reviews, never lanes, as every public surface does, and the Playbooks input is published research, not intelligence. Playbooks 1.3.1, Claims 1.3.1; no gate, input, output or boundary changes meaning." . eidos:roster-1-4-2 a eidos:ReviewRoster ; rdfs:label "Review roster 1.4.2" ; eidos:rosterVersion "1.4.2" ; eidos:rosterDigest "4821a21f" ; eidos:releaseNote "Copy only (2 October 2026, ontology 8.0.0): the Market contract reads the DAO account's configured threshold and the Learning contract the same DAO account's earlier windows, the word the ontology now gives the futarchy account a proposal names; the readings themselves were already per DAO account. Market 1.6.1, Learning 1.2.1; no gate, input, output or boundary changes meaning." . eidos:roster-2-0-0 a eidos:ReviewRoster ; rdfs:label "Review roster 2.0.0" ; eidos:rosterVersion "2.0.0" ; eidos:rosterDigest "5b2167ad" ; eidos:releaseNote "The review ids are the role words (operator decision, 4 October 2026: migrate stored identifiers rather than keep them): evidence, attack, market, playbooks, learning and claims replace the colour words the roster was first recorded under, in every finding, ledger record, feed state, ontology individual (eidos:review-evidence …) and CSS token; and a reading that assessed the proposal is stored as filed, the word every page prints, where it was stored as complete. Contracts, boundaries, accents and display order are unchanged — Evidence 1.3.0, Attack 1.3.0, Market 1.6.1, Playbooks 1.3.1, Learning 1.2.1, Claims 1.3.1 — so no finding changes meaning; every stored row was re-stamped under the new ids by the identifier migration and nothing reads the old ones." . eidos:roster-3-0-0 a eidos:ReviewRoster ; rdfs:label "Review roster 3.0.0" ; eidos:rosterVersion "3.0.0" ; eidos:rosterDigest "e6def3fe" ; eidos:releaseNote "The six reviews read every engine's decisions (operator request, 6 October 2026: \"all six reviews on all the engines … cleanly abstracted for all engines and DRY\"). A decision on any engine is reviewed by one set of readings over its engine's adapter: Evidence qualifies the disclosures its engine's record carries and its swap record from the trade ledger; Attack runs the wash-volume playbook over any number of options (4.0.0) beside a stress test of the engine's disclosed selection rule; Market reads the engine's selection rule — the best challenger against the default by the threshold, or a measured outcome — with the closing stretch and an outlook from retained reads; Playbooks names what each waiting playbook's packet lacks; Learning reads the same decider's earlier decisions on its engine; Claims bounds the result per decision. Findings are keyed by engine, chain and decision. Every team is 2.0.0; a MetaDAO proposal's readings keep their gates and classifications, and its wording names a decision." ; eidos:reviewCount 6 . eidos:review-evidence a eidos:Review ; rdfs:label "Evidence" ; skos:inScheme eidos:ReviewScheme ; eidos:version "2.0.0" ; eidos:role "Evidence" ; eidos:discipline "evidence qualification" ; eidos:heading "Qualify the evidence." ; eidos:summary "Qualifies market, wallet, and decision disclosures before another team treats the packet as priceable." ; eidos:mission "Before a decision gets a vector classification or priceability review, the Evidence review records what is present, what is missing, and how current it is. It qualifies disclosed specification, delivery terms, corrective access, and causal assumptions without filling gaps or deciding what those terms are worth." ; eidos:accent "#215fa1" ; eidos:contractInputs "Evidence packet: Wallet history, funding path, stake accumulation and recovery, trade execution, market data, a source-dated treasury snapshot, and the time-stamped disclosures of the decision's record — its options, selection rule, window, decider and terms — covering material facts, the disclosure cutoff, specification, delivery enforcement, participation access, branch dependencies, and causal assumptions. Where the decision's trades are recorded, the wallet-attributed swap record is qualified too, across every option's pool. For a launch-covenant record, the packet is the disclosed terms at issuance." ; eidos:contractOutputs "Coverage state: Availability, confidence, source freshness, field-level forensic coverage, disclosure qualification, a wallet-level census of an indexed swap record with the playbook gates it fills and the ones it cannot, and an explicit withheld state when required evidence is incomplete; a vector classification never runs without its own complete evidence gate." ; eidos:contractHandoff "Qualified record: Complete forensic evidence can move to monitored-vector matching; qualified proposal terms can move to priceability stress testing. Partial and unavailable packets keep their uncertainty attached for every downstream team." ; eidos:boundaryRule "Missing wallet-forensics or market inputs never classify LOW. Work can be withheld as UNSCORED, UNKNOWN, STALE, or UNDER_REVIEW." ; eidos:boundaryRule "The Evidence review qualifies evidence; it never scores a proposal and never fills a gap with a fixture value." ; eidos:boundaryRule "A disclosed term is not proof that delivery is enforceable, a branch is independent, or a conditional price is causal." . eidos:review-attack a eidos:Review ; rdfs:label "Attack" ; skos:inScheme eidos:ReviewScheme ; eidos:version "2.0.0" ; eidos:role "Attack" ; eidos:discipline "attack testing" ; eidos:heading "Try to break it." ; eidos:summary "Stress-tests a decision's disclosed rules and runs only monitored economic attack playbooks against evidence." ; eidos:mission "The Attack review stress-tests the decision's disclosed selection rule, specification, delivery options, participation constraints, and branch dependencies, then runs versioned monitored playbooks against qualified evidence. Every classified result belongs to one mechanism, and no match is not a claim of safety. Documented threats remain sourced hypotheses with detector requirements: the Attack review may challenge them but never assess or classify them." ; eidos:accent "#135394" ; eidos:contractInputs "Qualified packet: An Evidence-qualified packet: wallet history, funding path, accumulation, stake recovery, execution series, and the complete time-stamped semantics the market is asked to price. A qualified swap record feeds only the playbooks whose gates it fills; the rest stay withheld with their missing evidence named." ; eidos:contractOutputs "Vector finding: A semantic stress-test record plus, only for a monitored detector with complete evidence, a count of matched indicators and a classification scoped to that one vector; otherwise the state is explicitly withheld or documented-only." ; eidos:contractHandoff "Scoped result: A monitored finding travels with its vector id, version, and scope note. A documented threat travels as an unclassified candidate and evidence request. The Claims review checks both claim boundaries before publication." ; eidos:boundaryRule "Indicators are never added across vectors into a composite proposal-risk score." ; eidos:boundaryRule "A documented vector never produces a classification; only monitored vectors run." ; eidos:boundaryRule "A vector no-match is never presented as a safety rating." ; eidos:boundaryRule "Routine arbitrage and directional bots are never counted as wash: paired conditional legs are netted out first, and presence in more than one option's pool, machine cadence, frequency and tilt shift count only beside round trips or a near-neutral ending." ; eidos:boundaryRule "A semantic weakness in a decision's disclosed rules may be stress-tested without being asserted as an attack finding." . eidos:review-market a eidos:Review ; rdfs:label "Market" ; skos:inScheme eidos:ReviewScheme ; eidos:version "2.0.0" ; eidos:role "Market" ; eidos:discipline "market watch" ; eidos:heading "Watch the market." ; eidos:summary "Observes live decision fragility and corrective participation access without turning either into a rating." ; eidos:mission "The Market review reads the decision's state, each option's time-weighted price, the engine's selection rule — a default option that stands unless a challenger beats it by a threshold, or a measured outcome read after the window — and observable access to corrective exposure. It describes decision fragility and participation constraints as market structure; its observations stay separate from the Attack review’s forensic result." ; eidos:accent "#003d75" ; eidos:contractInputs "Decision record: The engine's own accounts and decision record provide current state, the selection rule and threshold, each option's time-weighted price, and, for a measured-outcome market, the outcome measured; retained reads place prices in the window, and venue rules and live depth describe who can supply corrective exposure. Where a decision's swaps are indexed, that public event record supplies the signed order flow, and it states how much of the window it reaches." ; eidos:contractOutputs "Threshold read: Under a price rule the best challenger's time-weighted price must strictly beat the default's by the threshold; a pass/fail market is the two-option case. Retained reads report the margin, crossings, closing-stretch pressure, an outlook while the window is open, corrective access, and disclosed-depth flip cost; a closed decision reports its completed print, and a measured-outcome market the outcome it was decided on; an indexed swap record additionally reports order-flow toxicity, signed imbalance, cumulative delta, per-pool price impact, and participation structure, each separately. Live math stays provisional; after settlement, the tape sits beneath the engine’s authoritative outcome." ; eidos:contractHandoff "Defense watch: Market state, corrective access, and decision fragility travel beside forensic context without standing in for missing wallet history, volume, execution evidence, or causal attribution." ; eidos:boundaryRule "The Market review may not invent forensics: attack indicators stay dark unless an indexed swap record fills a playbook's own gate, and that reading belongs to the Attack review." ; eidos:boundaryRule "Provisional live math is never presented as a final outcome." ; eidos:boundaryRule "A pressure watch is a market observation over retained reads; it never becomes an attack-vector indicator or classification." ; eidos:boundaryRule "A flip-cost figure is a lower bound under stated assumptions; it is never a safety rating." ; eidos:boundaryRule "An order-flow toxicity reading is a measurement of imbalance in volume time. A decision market concludes by trading one-sided, so a high reading is never an attack finding and a low one is never safety." ; eidos:boundaryRule "Microstructure readings ship separately and are never folded into a signal-credibility or market-quality index; a composite hides which input moved." ; eidos:boundaryRule "A metric that presupposes a limit order book is refused rather than approximated. These markets trade in automated pools with no bid, ask, queue, or maker inventory." ; eidos:boundaryRule "Corrective-access and decision-fragility observations are not approval, a causal claim, an attack finding, or a rating." . eidos:review-playbooks a eidos:Review ; rdfs:label "Playbooks" ; skos:inScheme eidos:ReviewScheme ; eidos:version "2.0.0" ; eidos:role "Playbooks" ; eidos:discipline "playbook building" ; eidos:heading "Codify the research." ; eidos:summary "Versions sourced attack candidates, evidence gates, and runnable checks without promoting theory into findings." ; eidos:mission "The Playbooks review turns published investigations into reusable definitions. A decision-priceability candidate gets a stable name, semver version, source, explicit assumptions, evidence requirements, indicators, and detector-pending status before any implementation exists; the incident or theory never becomes a classification." ; eidos:accent "#2e6bad" ; eidos:contractInputs "Published research: Cited decision records, market math, wallet forensics, explicit observations, theoretical mechanisms, counterarguments, and falsifiers from published source research." ; eidos:contractOutputs "Runnable definition: A versioned monitored mechanism with ordered indicators and an independent scope boundary, or a documented candidate with its detector evidence gate left visibly pending; covenant checks remain versioned against published launch terms. Against one decision, which monitored playbooks its evidence could run and what each other playbook still waits on." ; eidos:contractHandoff "Standing check: The Attack review receives runnable monitored playbooks and unclassified documented candidates. Published cases and theory remain provenance beneath them rather than hard-coded conclusions." ; eidos:boundaryRule "The incident never becomes the detector’s name." ; eidos:boundaryRule "A playbook ships only with a stable id, a semver version, ordered indicators, methodology sources, and a scope note." ; eidos:boundaryRule "A sourced candidate stays documented until its named evidence gate and detector both ship." . eidos:review-learning a eidos:Review ; rdfs:label "Learning" ; skos:inScheme eidos:ReviewScheme ; eidos:version "2.0.0" ; eidos:role "Learning" ; eidos:discipline "learning loop" ; eidos:heading "Close the loop." ; eidos:summary "Retains observed outcomes and falsifiers so later reviews can learn without inventing counterfactuals." ; eidos:mission "The Learning review links what the Attack review learned in published cases with what the Market review should watch next. For decision-priceability candidates it retains disclosed assumptions, observed outcomes, sanctions, delivery, and falsifiers while keeping unobserved branches explicitly unobserved." ; eidos:accent "#014787" ; eidos:contractInputs "Closed cases: Published incidents and experiments with their evidence, market outcome, delivery record, falsifiers, and vector result preserved together as cited replays." ; eidos:contractOutputs "Standing checks: Reusable, versioned checks and documented-candidate evidence updates extracted from observed outcomes, with unresolved and counterfactual outcomes kept out. Against one decision, what the same decider's earlier decisions on its engine selected, counting only those that closed before it opened, cited to the engine's record." ; eidos:contractHandoff "Refreshed watch: The Market and Attack reviews receive the updated check and its falsifiers; the old case keeps its citation, observed branches, and uncertainty as a replay." ; eidos:boundaryRule "The check moves forward; the old case’s conclusion does not." ; eidos:boundaryRule "An uncited lesson does not enter the loop — every replay keeps its source." ; eidos:boundaryRule "An unobserved branch is never invented to declare what would have happened under a different decision." . eidos:review-claims a eidos:Review ; rdfs:label "Claims" ; skos:inScheme eidos:ReviewScheme ; eidos:version "2.0.0" ; eidos:role "Claims" ; eidos:discipline "claim control" ; eidos:heading "Keep claims honest." ; eidos:summary "Refuses approval, causal-proof, composite, and safety claims; a vector no-match is never a safety rating." ; eidos:mission "The Claims review checks the boundary around every published conclusion: what was measured, which vector it belongs to, whether evidence was complete, which causal assumptions remain unsettled, and what the result cannot establish. It refuses to turn six review findings into approval, causal proof, a composite score, or a safety rating." ; eidos:accent "#3a77ba" ; eidos:contractInputs "Draft findings: Every team’s finding with its evidence state, vector scope, data vintage, decision terms, causal assumptions, and documented-versus-monitored status attached." ; eidos:contractOutputs "Publishable claims: Claims trimmed to what the evidence establishes, with withheld states and detector-pending threats explicit rather than rounded into approval, causal proof, or safety; against one decision, the vectors measured, their scope, and how many said nothing." ; eidos:contractHandoff "Published record: Only scoped, cited, per-review claims reach the page; approval, causal-proof, composite, and safety language goes back to the team that made it." ; eidos:boundaryRule "Complete evidence with 0–1 matched indicators is NO-MATCH, never LOW. NO-MATCH means this vector did not match; it does not mean the decision is safe." ; eidos:boundaryRule "A classification never leaves its vector’s scope; market outcome and forensic match stay separate." ; eidos:boundaryRule "A covenant review is never a decision classification: unknown covenant terms stay unknown, and a disclosed covenant is not a safety rating." ; eidos:boundaryRule "No roster output approves a decision, proves causation, combines reviews into a composite score, or supplies a safety rating." . eidos:analytical-instrument-disclosures a eidos:AnalyticalInstrument ; rdfs:label "Disclosed terms" ; skos:inScheme eidos:AnalyticalInstrumentScheme ; eidos:version "1.0.0" ; eidos:summary "Which decision terms are present?" . eidos:analytical-instrument-participation a eidos:AnalyticalInstrument ; rdfs:label "Trading participation" ; skos:inScheme eidos:AnalyticalInstrumentScheme ; eidos:version "2.0.0" ; eidos:summary "Who traded, and how concentrated was the observed volume?" . eidos:analytical-instrument-market-selection a eidos:AnalyticalInstrument ; rdfs:label "Market reading" ; skos:inScheme eidos:AnalyticalInstrumentScheme ; eidos:version "1.0.0" ; eidos:summary "What do the observed prices imply under the selection rule?" . eidos:analytical-instrument-selection-rule a eidos:AnalyticalInstrument ; rdfs:label "Selection rule" ; skos:inScheme eidos:AnalyticalInstrumentScheme ; eidos:version "1.0.0" ; eidos:summary "Which disclosed terms affect how an option wins?" . eidos:analytical-instrument-closing-window a eidos:AnalyticalInstrument ; rdfs:label "Closing stretch" ; skos:inScheme eidos:AnalyticalInstrumentScheme ; eidos:version "1.0.0" ; eidos:summary "Did the leader or implied outcome change near the close?" . eidos:analytical-instrument-prior-decisions a eidos:AnalyticalInstrument ; rdfs:label "Earlier decisions" ; skos:inScheme eidos:AnalyticalInstrumentScheme ; eidos:version "1.0.0" ; eidos:summary "What had this decider selected before this window opened?" . eidos:analytical-instrument-measured-outcome a eidos:AnalyticalInstrument ; rdfs:label "Measured outcome" ; skos:inScheme eidos:AnalyticalInstrumentScheme ; eidos:version "1.0.0" ; eidos:summary "What outcome did the resolver record?" . eidos:analytical-instrument-recycled-stake-treasury-extraction a eidos:AnalyticalInstrument ; rdfs:label "Recycled-stake treasury extraction" ; skos:inScheme eidos:AnalyticalInstrumentScheme ; eidos:version "1.0.2" ; eidos:summary "A proposer acquires the required stake, rapidly recovers and reuses it in the decision market, with wallet-funding and execution behavior providing supporting evidence." . eidos:analytical-instrument-late-window-outcome-steering a eidos:AnalyticalInstrument ; rdfs:label "Late-window TWAP outcome steering" ; skos:inScheme eidos:AnalyticalInstrumentScheme ; eidos:version "3.0.0" ; eidos:summary "A trader waits out most of the TWAP window, then pushes a marginal print across its threshold in the closing stretch — when the required move is fully known and defenders have the least accrual time left to trade the price back. Late trades carry the least time-weight, so the target is a market already near its threshold, not the TWAP itself. Late activity also has benign forms — organic close-out and activist pressure — so a detector must separate steering from ordinary end-of-window trading." . eidos:analytical-instrument-wash-volume-alignment-inflation a eidos:AnalyticalInstrument ; rdfs:label "Wash-volume alignment inflation" ; skos:inScheme eidos:AnalyticalInstrumentScheme ; eidos:version "4.0.0" ; eidos:summary "Automated near-neutral flow inflates a market's apparent volume and economic alignment, dressing thin conviction up as broad support while contributing no real position either way. The same fingerprint matches benign arbitrage flow, which published analysis strips as routine; a detector must separate deliberate wash from ordinary arb before it can say anything. So routine conditional arbitrage — one wallet's same-side legs on two options inside the cadence window — is netted out before any indicator is counted, and a wallet's presence on several options' markets counts only with same-pool round trips of at least the minimum turnover beside it. A market may have any number of options; pass and fail are the two of a pass/fail market. Machine cadence, frequency and tilt shift count only for wallets that show wash evidence — such round trips or a near-neutral ending — so a directional bot on a timer is not wash." . eidos:analytical-instrument-coordinated-multiwallet-stake-assembly a eidos:AnalyticalInstrument ; rdfs:label "Coordinated multi-wallet stake assembly" ; skos:inScheme eidos:AnalyticalInstrumentScheme ; eidos:version "3.0.0" ; eidos:summary "An operator splits stake acquisition or market activity across coordinated wallets so no single address crosses the eligibility thresholds the organization enforces or the attribution thresholds a reviewer watches. Coordination alone is not an attack — multi-wallet holders and coordinated defenders share parts of this shape — so the mechanism is the threshold evasion, not the wallet count." . eidos:recycled-stake-treasury-extraction a eidos:MonitoredVector ; rdfs:label "Recycled-stake treasury extraction" ; eidos:version "1.0.2" ; eidos:status "monitored" ; eidos:category "Economic governance attack" ; eidos:description "A proposer acquires the required stake, rapidly recovers and reuses it in the decision market, with wallet-funding and execution behavior providing supporting evidence." ; eidos:scopeNote "This classification is scoped to one monitored attack vector, not a validated composite proposal-risk score or a complete claim of safety." . eidos:recycled-stake-treasury-extraction-fresh-wallet a eidos:Indicator ; rdfs:label "Fresh wallet with no prior history" ; eidos:role "Identity context" ; eidos:position 1 . eidos:recycled-stake-treasury-extraction-bridge-funding a eidos:Indicator ; rdfs:label "Cross-chain / bridge funding" ; eidos:role "Funding context" ; eidos:position 2 . eidos:recycled-stake-treasury-extraction-exact-stake-trim a eidos:Indicator ; rdfs:label "Accumulation trimmed to exact proposal-stake threshold" ; eidos:role "Eligibility acquisition" ; eidos:position 3 . eidos:recycled-stake-treasury-extraction-stake-recover-reuse a eidos:Indicator ; rdfs:label "Stake recovered and reused in the decision market" ; eidos:role "Capital reuse" ; eidos:position 4 . eidos:recycled-stake-treasury-extraction-clustered-cadence a eidos:Indicator ; rdfs:label "Clustered fixed-size cadence trades" ; eidos:role "Market execution" ; eidos:position 5 . eidos:detector-recycled-stake-treasury-extraction a eidos:Detector ; rdfs:label "Recycled-stake treasury extraction detector" ; eidos:version "1.0.2" . eidos:source-01resolved-com-research-the-umbra-treasury-attack-cost-its-attacker-4-623 a eidos:MethodologySource ; rdfs:label "01Resolved — The Umbra treasury attack cost its attacker $4,623" ; eidos:sourceUrl "https://01resolved.com/research/the-umbra-treasury-attack-cost-its-attacker-4-623/" . eidos:incident-umbra-treasury-attack-2026-08 a eidos:IncidentStudy ; rdfs:label "Umbra's Decision Market Rejected a $1.5M Treasury Attack" ; eidos:incidentOrganizationSlug "umbra" ; eidos:incidentProposalAccount "8sysa3XPrvKPmUA4qoZCn9h4vp7Mb45Ynezg542nui8Q" ; eidos:publisher "01Resolved" ; eidos:publishedAt "2026-08-05"^^xsd:date ; eidos:sourceUrl "https://01resolved.com/research/the-umbra-treasury-attack-cost-its-attacker-4-623/" . eidos:late-window-outcome-steering a eidos:MonitoredVector ; rdfs:label "Late-window TWAP outcome steering" ; eidos:version "3.0.0" ; eidos:status "monitored" ; eidos:category "Decision market manipulation" ; eidos:description "A trader waits out most of the TWAP window, then pushes a marginal print across its threshold in the closing stretch — when the required move is fully known and defenders have the least accrual time left to trade the price back. Late trades carry the least time-weight, so the target is a market already near its threshold, not the TWAP itself. Late activity also has benign forms — organic close-out and activist pressure — so a detector must separate steering from ordinary end-of-window trading." ; eidos:scopeNote "This classification is scoped to one monitored attack vector, not a validated composite proposal-risk score or a complete claim of safety." . eidos:late-window-outcome-steering-late-weight-concentration a eidos:Indicator ; rdfs:label "Aligned volume concentrated in the closing hours of the TWAP window" ; eidos:role "Timing" ; eidos:position 1 . eidos:late-window-outcome-steering-single-trade-fragility a eidos:Indicator ; rdfs:label "Printed outcome crosses the threshold on one marginal trade" ; eidos:role "Fragility" ; eidos:position 2 . eidos:late-window-outcome-steering-thin-closing-move a eidos:Indicator ; rdfs:label "Closing move toward pass made with little money" ; eidos:role "Liquidity" ; eidos:position 3 . eidos:late-window-outcome-steering-after-close-reversal a eidos:Indicator ; rdfs:label "The token's own price undoes the closing edge after the window" ; eidos:role "Reversal" ; eidos:position 4 . eidos:late-window-outcome-steering-spike-clears-configured-threshold a eidos:Indicator ; rdfs:label "Intra-window spike alone would clear the configured threshold" ; eidos:role "Threshold pressure" ; eidos:position 5 . eidos:detector-late-window-outcome-steering a eidos:Detector ; rdfs:label "Late-window TWAP outcome steering detector" ; eidos:version "3.0.0" . eidos:source-01resolved-com-research a eidos:MethodologySource ; rdfs:label "01Resolved — research index (late-activity taxonomy and signal quality)" ; eidos:sourceUrl "https://01resolved.com/research/" . eidos:source-docs-metadao-fi a eidos:MethodologySource ; rdfs:label "MetaDAO documentation (TWAP window mechanics)" ; eidos:sourceUrl "https://docs.metadao.fi" . eidos:wash-volume-alignment-inflation a eidos:MonitoredVector ; rdfs:label "Wash-volume alignment inflation" ; eidos:version "4.0.0" ; eidos:status "monitored" ; eidos:category "Decision market manipulation" ; eidos:description "Automated near-neutral flow inflates a market's apparent volume and economic alignment, dressing thin conviction up as broad support while contributing no real position either way. The same fingerprint matches benign arbitrage flow, which published analysis strips as routine; a detector must separate deliberate wash from ordinary arb before it can say anything. So routine conditional arbitrage — one wallet's same-side legs on two options inside the cadence window — is netted out before any indicator is counted, and a wallet's presence on several options' markets counts only with same-pool round trips of at least the minimum turnover beside it. A market may have any number of options; pass and fail are the two of a pass/fail market. Machine cadence, frequency and tilt shift count only for wallets that show wash evidence — such round trips or a near-neutral ending — so a directional bot on a timer is not wash." ; eidos:scopeNote "This classification is scoped to one monitored attack vector, not a validated composite proposal-risk score or a complete claim of safety." . eidos:wash-volume-alignment-inflation-paired-branch-executions a eidos:Indicator ; rdfs:label "Executions on more than one option's market from one wallet" ; eidos:role "Execution symmetry" ; eidos:position 1 . eidos:wash-volume-alignment-inflation-fixed-size-cluster a eidos:Indicator ; rdfs:label "Fixed-size trade clusters at machine cadence" ; eidos:role "Cadence" ; eidos:position 2 . eidos:wash-volume-alignment-inflation-near-neutral-net a eidos:Indicator ; rdfs:label "Near-neutral ending exposure despite high turnover" ; eidos:role "Exposure" ; eidos:position 3 . eidos:wash-volume-alignment-inflation-arb-frequency-band a eidos:Indicator ; rdfs:label "Per-wallet trade frequency in the arbitrage band" ; eidos:role "Frequency" ; eidos:position 4 . eidos:wash-volume-alignment-inflation-stripped-tilt-shift a eidos:Indicator ; rdfs:label "Net volume tilt moves materially once the flow is stripped" ; eidos:role "Alignment distortion" ; eidos:position 5 . eidos:detector-wash-volume-alignment-inflation a eidos:Detector ; rdfs:label "Wash-volume alignment inflation detector" ; eidos:version "4.0.0" . eidos:source-01resolved-com a eidos:MethodologySource ; rdfs:label "01Resolved — platform (Decision Market Analysis Model)" ; eidos:sourceUrl "https://www.01resolved.com/" . eidos:coordinated-multiwallet-stake-assembly a eidos:MonitoredVector ; rdfs:label "Coordinated multi-wallet stake assembly" ; eidos:version "3.0.0" ; eidos:status "monitored" ; eidos:category "Economic governance attack" ; eidos:description "An operator splits stake acquisition or market activity across coordinated wallets so no single address crosses the eligibility thresholds the organization enforces or the attribution thresholds a reviewer watches. Coordination alone is not an attack — multi-wallet holders and coordinated defenders share parts of this shape — so the mechanism is the threshold evasion, not the wallet count." ; eidos:scopeNote "This classification is scoped to one monitored attack vector, not a validated composite proposal-risk score or a complete claim of safety." . eidos:coordinated-multiwallet-stake-assembly-common-funding-source a eidos:Indicator ; rdfs:label "Participating wallets linked by funding: one upstream source, or one funded by another" ; eidos:role "Funding context" ; eidos:position 1 . eidos:coordinated-multiwallet-stake-assembly-synchronized-first-activity a eidos:Indicator ; rdfs:label "Wallets first active inside a tight shared window" ; eidos:role "Identity context" ; eidos:position 2 . eidos:coordinated-multiwallet-stake-assembly-split-threshold-assembly a eidos:Indicator ; rdfs:label "Combined position crosses a stake threshold no single wallet crosses" ; eidos:role "Eligibility acquisition" ; eidos:position 3 . eidos:coordinated-multiwallet-stake-assembly-shared-execution-fingerprint a eidos:Indicator ; rdfs:label "Matching trade-size and cadence fingerprint across wallets" ; eidos:role "Market execution" ; eidos:position 4 . eidos:coordinated-multiwallet-stake-assembly-synchronized-exit a eidos:Indicator ; rdfs:label "Coordinated exit across the wallet set after resolution" ; eidos:role "Exit behavior" ; eidos:position 5 . eidos:detector-coordinated-multiwallet-stake-assembly a eidos:Detector ; rdfs:label "Coordinated multi-wallet stake assembly detector" ; eidos:version "3.0.0" . eidos:source-01resolved-com-research-ownership-score-what-the-first-experiment-reveals a eidos:MethodologySource ; rdfs:label "01Resolved — Ownership Score, what the first experiment reveals" ; eidos:sourceUrl "https://01resolved.com/research/ownership-score-what-the-first-experiment-reveals/" . eidos:terminal-window-twap-capture a eidos:DocumentedVector ; rdfs:label "Terminal-window TWAP capture" ; eidos:version "1.0.0" ; eidos:status "documented" ; eidos:category "Decision market manipulation" ; eidos:description "A governance rule resolves on a TWAP measured over only a short terminal slice of a much longer decision period, on pools that need only clear a published minimum-liquidity floor. The entire resolving window is the closing stretch: the capital needed to own the print is calculable in advance from the floor and the window length, and defenders have no earlier accrual to lean on. Distinct from late-window outcome steering, which targets the tail of a full-length TWAP window — here the rule itself confines every unit of resolving weight to the terminal window. Genuine late information arrival produces the same late repricing, so a detector must separate engineered capture from honest end-of-period discovery." ; eidos:scopeNote "This vector is documented, not monitored: its detector has not shipped, so it never produces a classification. The definition records the mechanism and the evidence a detector would need first." . eidos:terminal-window-twap-capture-terminal-only-weight a eidos:Indicator ; rdfs:label "All resolving TWAP weight accrues in a terminal window that is a small fraction of the decision period" ; eidos:role "Window structure" ; eidos:position 1 . eidos:terminal-window-twap-capture-floor-hugging-liquidity a eidos:Indicator ; rdfs:label "Full-range depth sits at or barely above the published liquidity floor" ; eidos:role "Liquidity" ; eidos:position 2 . eidos:terminal-window-twap-capture-quiet-then-capture a eidos:Indicator ; rdfs:label "Markets stay quiet until the resolving window opens, then absorb concentrated aligned flow" ; eidos:role "Timing" ; eidos:position 3 . eidos:terminal-window-twap-capture-in-window-inversion a eidos:Indicator ; rdfs:label "Pass/fail ordering flips inside the resolving window after holding steady before it" ; eidos:role "Fragility" ; eidos:position 4 . eidos:terminal-window-twap-capture-post-window-reversion a eidos:Indicator ; rdfs:label "Prices revert once the terminal window closes and weight stops accruing" ; eidos:role "Reversal" ; eidos:position 5 . eidos:source-snapshot-org-kleros-eth-proposal-0xa213179debfca1cb5b8f65ac9d641e6e4e8fb5df48019 a eidos:MethodologySource ; rdfs:label "Kleros KIP-76 — Futarchy-Based Governance Rule for PNK Minting (Snapshot, kleros.eth)" ; eidos:sourceUrl "https://snapshot.org/#/kleros.eth/proposal/0xa213179debfca1cb5b8f65ac9d641e6e4e8fb5df480196c909e9ae1ab548daa7" . eidos:source-ethresear-ch-t-futarchy-is-insecure-without-a-trusted-gatekeeper-25235 a eidos:MethodologySource ; rdfs:label "ethresear.ch — Futarchy is insecure without a trusted gatekeeper" ; eidos:sourceUrl "https://ethresear.ch/t/futarchy-is-insecure-without-a-trusted-gatekeeper/25235" . eidos:advisory-signal-inflation a eidos:DocumentedVector ; rdfs:label "Advisory-signal inflation" ; eidos:version "1.0.0" ; eidos:status "documented" ; eidos:category "Governance-signal manipulation" ; eidos:description "Where a decision market is advisory — its price signal informs a vote or a bound delegate but executes nothing — moving the signal is cheap: no treasury settlement forces the manipulator to hold losing risk, and thin honest flow is the norm. An inflated print then travels as social proof through forums, delegates, and dashboards that cite the market as an endorsement. Honest participants also trade advisory markets at low volume, so a detector must separate manufactured endorsement from a thin but genuine signal." ; eidos:scopeNote "This vector is documented, not monitored: its detector has not shipped, so it never produces a classification. The definition records the mechanism and the evidence a detector would need first." . eidos:advisory-signal-inflation-stakeless-directional-print a eidos:Indicator ; rdfs:label "Directional prints arrive without exposure held through the signal read" ; eidos:role "Exposure" ; eidos:position 1 . eidos:advisory-signal-inflation-signal-scale-mismatch a eidos:Indicator ; rdfs:label "Signal-moving flow is trivial against the decision's stated stakes" ; eidos:role "Capital sizing" ; eidos:position 2 . eidos:advisory-signal-inflation-read-timed-concentration a eidos:Indicator ; rdfs:label "Aligned flow concentrates just before the signal is read or a bound delegate executes" ; eidos:role "Timing" ; eidos:position 3 . eidos:advisory-signal-inflation-venue-alignment-divergence a eidos:Indicator ; rdfs:label "Market signal diverges from the venue's own vote and forum alignment" ; eidos:role "Cross-check" ; eidos:position 4 . eidos:advisory-signal-inflation-post-read-unwind a eidos:Indicator ; rdfs:label "Positions unwind once the advisory signal has been consumed" ; eidos:role "Reversal" ; eidos:position 5 . eidos:source-forum-gnosis-io-t-11816 a eidos:MethodologySource ; rdfs:label "Gnosis forum — GIP-145 futarchy pilot discussion" ; eidos:sourceUrl "https://forum.gnosis.io/t/11816" . eidos:source-forum-gnosis-io-t-12197 a eidos:MethodologySource ; rdfs:label "Gnosis forum — futarchist.eth, a delegate bound to the futarchy signal" ; eidos:sourceUrl "https://forum.gnosis.io/t/12197" . eidos:source-gov-optimism-io-t-futarchy-v1-preliminary-findings-10062 a eidos:MethodologySource ; rdfs:label "Optimism governance — Futarchy v1 preliminary findings" ; eidos:sourceUrl "https://gov.optimism.io/t/futarchy-v1-preliminary-findings/10062" . eidos:resistance-contingent-delivery a eidos:DocumentedVector ; rdfs:label "Resistance-contingent delivery" ; eidos:version "1.0.0" ; eidos:status "documented" ; eidos:category "Proposal-priceability failure" ; eidos:description "A proposer leaves delivery discretionary, defends the pass/fail spread, and performs the promised work only when corrective trading makes continued price defense more expensive than delivery. The market can price the value of the promised work without pricing an enforceable obligation to perform it. This is a candidate mechanism from published threat-model research, not an observed attack finding." ; eidos:scopeNote "This vector is documented, not monitored: its detector has not shipped, so it never produces a classification. The definition records the mechanism and the evidence a detector would need first." . eidos:resistance-contingent-delivery-discretionary-delivery-terms a eidos:Indicator ; rdfs:label "Proposal terms leave value-creating delivery at the proposer's discretion" ; eidos:role "Delivery terms" ; eidos:position 1 . eidos:resistance-contingent-delivery-pass-defense-before-delivery a eidos:Indicator ; rdfs:label "Proposer-controlled pass-price defense appears before evidence of delivery" ; eidos:role "Market execution" ; eidos:position 2 . eidos:resistance-contingent-delivery-resistance-linked-performance a eidos:Indicator ; rdfs:label "Delivery begins or improves only after corrective sell pressure rises" ; eidos:role "Contingency" ; eidos:position 3 . eidos:resistance-contingent-delivery-unenforceable-nonperformance a eidos:Indicator ; rdfs:label "Non-delivery carries no enforceable loss comparable with the proposal benefit" ; eidos:role "Enforcement" ; eidos:position 4 . eidos:source-lesswrong-com-posts-oaksux5xppxfseohm-futarchy-is-insecure-without-a-trusted-gat a eidos:MethodologySource ; rdfs:label "LessWrong — Futarchy is insecure without a trusted gatekeeper" ; eidos:sourceUrl "https://www.lesswrong.com/posts/oAKsuX5XpPxFSEoHM/futarchy-is-insecure-without-a-trusted-gatekeeper" . eidos:conditional-holder-exit-supply-failure a eidos:DocumentedVector ; rdfs:label "Conditional holder-exit supply failure" ; eidos:version "1.0.0" ; eidos:status "documented" ; eidos:category "Proposal-priceability failure" ; eidos:description "Corrective pass-branch selling is constrained because a spot holder who sells is conditionally exiting the underlying asset, not merely opposing the proposal, while non-holders may lack short access and synthetic sellers bear adverse-selection risk. Mild proposal harm can therefore face less corrective supply than its holder base suggests. This is a candidate market-access mechanism, not evidence that a thin book was manipulated." ; eidos:scopeNote "This vector is documented, not monitored: its detector has not shipped, so it never produces a classification. The definition records the mechanism and the evidence a detector would need first." . eidos:conditional-holder-exit-supply-failure-holder-only-pass-supply a eidos:Indicator ; rdfs:label "Pass-branch sell flow is limited to existing holders willing to exit after passage" ; eidos:role "Participation access" ; eidos:position 1 . eidos:conditional-holder-exit-supply-failure-no-synthetic-short-access a eidos:Indicator ; rdfs:label "Non-holders cannot create pass-branch short exposure" ; eidos:role "Market access" ; eidos:position 2 . eidos:conditional-holder-exit-supply-failure-corrective-flow-below-private-benefit a eidos:Indicator ; rdfs:label "Corrective flow below the passage threshold is small against the proposer's private benefit" ; eidos:role "Capital sizing" ; eidos:position 3 . eidos:conditional-holder-exit-supply-failure-short-side-adverse-selection a eidos:Indicator ; rdfs:label "Withheld proposal information creates material adverse-selection risk for corrective sellers" ; eidos:role "Risk bearing" ; eidos:position 4 . eidos:proposal-convexity-selection a eidos:DocumentedVector ; rdfs:label "Proposal-convexity selection" ; eidos:version "1.0.0" ; eidos:status "documented" ; eidos:category "Proposal-priceability failure" ; eidos:description "A proposer submits before material proposal-specific uncertainty resolves, so passage selects for favorable-information worlds and the pass price can exceed the fail price even when unconditional approval has negative expected value. The mechanism depends on an unsettled conditional-versus-causal argument and records that causal assumption rather than claiming proof." ; eidos:scopeNote "This vector is documented, not monitored: its detector has not shipped, so it never produces a classification. The definition records the mechanism and the evidence a detector would need first." . eidos:proposal-convexity-selection-material-unresolved-detail a eidos:Indicator ; rdfs:label "A material proposal-specific fact remains unresolved when the decision window opens" ; eidos:role "Causal assumption" ; eidos:position 1 . eidos:proposal-convexity-selection-information-resolves-in-window a eidos:Indicator ; rdfs:label "The unresolved fact can become known before the market-guided decision executes" ; eidos:role "Selection timing" ; eidos:position 2 . eidos:proposal-convexity-selection-favorable-state-passage-coupling a eidos:Indicator ; rdfs:label "Favorable realizations are mechanically more likely to produce passage" ; eidos:role "Conditional selection" ; eidos:position 3 . eidos:proposal-convexity-selection-conditional-unconditional-value-gap a eidos:Indicator ; rdfs:label "Conditional pass value and ex ante approval value diverge under disclosed assumptions" ; eidos:role "Value model" ; eidos:position 4 . eidos:source-lesswrong-com-posts-mw4ypzr6ctwkqncvp-futarchy-is-parasitic-on-what-it-tries-to a eidos:MethodologySource ; rdfs:label "LessWrong — Futarchy is Parasitic on What It Tries to Govern" ; eidos:sourceUrl "https://www.lesswrong.com/posts/mW4ypzR6cTwKqncvp/futarchy-is-parasitic-on-what-it-tries-to-govern" . eidos:source-lesswrong-com-posts-deoyawznnktm5gmnm-no-futarchy-doesn-t-have-this-edt-flaw a eidos:MethodologySource ; rdfs:label "LessWrong — No, Futarchy Doesn't Have This EDT Flaw" ; eidos:sourceUrl "https://www.lesswrong.com/posts/dEoyaWznnKtM5GMnM/no-futarchy-doesn-t-have-this-edt-flaw" . eidos:countertrade-adverse-selection-deterrence a eidos:DocumentedVector ; rdfs:label "Countertrade adverse-selection deterrence" ; eidos:version "1.0.0" ; eidos:status "documented" ; eidos:category "Proposal-priceability failure" ; eidos:description "A proposer withholds value-relevant specification and buys pass exposure, while corrective traders hesitate because the missing terms might conceal either a harmful deal or favorable private information that makes selling costly. The resulting participation gap is a candidate proposal-specification threat, not a classification of every confidential proposal." ; eidos:scopeNote "This vector is documented, not monitored: its detector has not shipped, so it never produces a classification. The definition records the mechanism and the evidence a detector would need first." . eidos:countertrade-adverse-selection-deterrence-withheld-value-terms a eidos:Indicator ; rdfs:label "Counterparty, scope, fees, milestones, or performance commitments are withheld" ; eidos:role "Proposal specification" ; eidos:position 1 . eidos:countertrade-adverse-selection-deterrence-proposer-pass-accumulation a eidos:Indicator ; rdfs:label "Proposer-linked wallets accumulate pass exposure while material terms remain hidden" ; eidos:role "Market execution" ; eidos:position 2 . eidos:countertrade-adverse-selection-deterrence-hidden-good-loss-dominates a eidos:Indicator ; rdfs:label "Corrective sellers face larger losses in a plausible hidden-good state than gains in the visible bad state" ; eidos:role "Adverse selection" ; eidos:position 3 . eidos:countertrade-adverse-selection-deterrence-late-specification-release a eidos:Indicator ; rdfs:label "Value-relevant terms arrive only after corrective participation has been deterred" ; eidos:role "Disclosure timing" ; eidos:position 4 . eidos:fail-branch-sabotage a eidos:DocumentedVector ; rdfs:label "Fail-branch sabotage" ; eidos:version "1.0.0" ; eidos:status "documented" ; eidos:category "Proposal-priceability failure" ; eidos:description "A proposer credibly commits to withdrawing support, liquidity, or another dependency if rejected, making the fail branch worse until accepting an otherwise harmful proposal becomes the locally higher-priced outcome. The candidate mechanism concerns branch independence and commitment, not proof that an observed fail discount was retaliation." ; eidos:scopeNote "This vector is documented, not monitored: its detector has not shipped, so it never produces a classification. The definition records the mechanism and the evidence a detector would need first." . eidos:fail-branch-sabotage-rejection-contingent-threat a eidos:Indicator ; rdfs:label "A proposer-controlled harm is explicitly or implicitly contingent on rejection" ; eidos:role "Branch independence" ; eidos:position 1 . eidos:fail-branch-sabotage-credible-sabotage-capability a eidos:Indicator ; rdfs:label "The proposer controls a dependency capable of imposing the threatened harm" ; eidos:role "Capability" ; eidos:position 2 . eidos:fail-branch-sabotage-fail-discount-tracks-threat a eidos:Indicator ; rdfs:label "The fail-branch discount appears with or strengthens after the threat" ; eidos:role "Market response" ; eidos:position 3 . eidos:fail-branch-sabotage-off-path-private-cost-gap a eidos:Indicator ; rdfs:label "The proposer's off-path cost of carrying out the threat is smaller than the organization's loss" ; eidos:role "Incentive" ; eidos:position 4 . eidos:covenant-stamp a eidos:LaunchCovenant ; rdfs:label "STAMP launch covenant" ; eidos:investorReserveCapPct 20 ; eidos:teamAllocationMinPct 10 ; eidos:teamAllocationMaxPct 40 ; eidos:vestingMonths 24 ; eidos:sourceUrl "https://docs.metadao.fi/how-launches-work/stamp.md" . eidos:covenant-check-use-of-proceeds-restricted a eidos:CovenantCheck ; rdfs:label "Use of proceeds restricted" ; eidos:version "1.0.0" ; eidos:detail "Funds can only be used for product development and operating expenses." ; eidos:sourceUrl "https://docs.metadao.fi/how-launches-work/stamp.md" . eidos:covenant-check-investor-reserve-capped a eidos:CovenantCheck ; rdfs:label "Investor reserve capped and non-dilutable" ; eidos:version "1.0.0" ; eidos:detail "Investor reserve at most 20% of total organization tokens and not dilutable post-agreement." ; eidos:sourceUrl "https://docs.metadao.fi/how-launches-work/stamp.md" . eidos:covenant-check-team-allocation-band a eidos:CovenantCheck ; rdfs:label "Team allocation in band with milestone vesting" ; eidos:version "1.0.0" ; eidos:detail "Team allocation between 10% and 40% of total supply on milestone-based vesting." ; eidos:sourceUrl "https://docs.metadao.fi/how-launches-work/stamp.md" . eidos:covenant-check-vesting-schedule a eidos:CovenantCheck ; rdfs:label "Linear unlock schedule" ; eidos:version "1.0.0" ; eidos:detail "Tokens enter a 24-month linear unlock once the Delivery Notice is received." ; eidos:sourceUrl "https://docs.metadao.fi/how-launches-work/stamp.md" . eidos:covenant-check-legal-entity a eidos:CovenantCheck ; rdfs:label "Cayman SPC/SP entity created" ; eidos:version "1.0.0" ; eidos:detail "Founders create a Cayman SPC/SP entity through the venue interface." ; eidos:sourceUrl "https://docs.metadao.fi/how-launches-work/stamp.md" . eidos:covenant-check-third-party-review a eidos:CovenantCheck ; rdfs:label "Third-party review commissioned" ; eidos:version "1.0.0" ; eidos:detail "A third-party review of the covenant or programs exists. STAMP itself requires none, so absence is the venue default, not a violation." ; eidos:sourceUrl "https://docs.metadao.fi/how-launches-work/stamp.md" . eidos:instrument-flip-cost-scenario a eidos:Instrument ; rdfs:label "Flip-cost scenario" ; eidos:version "1.0.0" ; eidos:assumption "Constant-product pools: spending q against quote-side depth Q moves spot by the factor (1 + q/Q)^2." ; eidos:assumption "Single-sided: only buying the pass market up from parity is costed; selling the fail market down is not." ; eidos:assumption "No defensive or arbitrage flow: every dollar of opposing depth raises the real cost above this floor." ; eidos:assumption "No swap fees, and move cost only: holding the print across the TWAP window against sellers is not costed." ; eidos:note "A stated-assumptions lower bound on moving one conditional pool's print; never an indicator, a classification, or a safety rating." . eidos:instrument-order-flow-toxicity a eidos:Instrument ; rdfs:label "Order-flow toxicity (VPIN)" ; eidos:version "1.0.0" ; eidos:assumption "Volume clock: trades are bucketed into equal-volume buckets in the chain's own order, and a trade that straddles a boundary is split across both buckets. Time is not the axis." ; eidos:assumption "Exact side, not bulk classification: the published metric estimates the buy/sell split from price changes because a tape carries no initiator side. A ConditionalSwap event carries it, so the split here is read from the chain — these readings are not numerically comparable to BVC-estimated VPIN." ; eidos:assumption "Direction is economic: buying pass and selling fail count as one side, buying fail and selling pass as the other. A decision market has no single asset to sign against." ; eidos:assumption "The window is the sample: the mean runs over the whole indexed window rather than the paper's rolling last-n buckets, so this is one reading per proposal, not a rolling series." ; eidos:assumption "A decision market concludes by trading one-sided, so a high reading is the expected shape of a market that reached a decision — never evidence of informed or manipulative flow, and a low reading is never safety." ; eidos:assumption "Coverage rides along: where the signature scan did not reach the proposal's opening, the earliest trades are not indexed and the reading covers only the stretch that was." ; eidos:assumption "Concentration is disclosed, not smoothed: a single order wider than a bucket fixes that bucket's imbalance at 1 on its own, so the reading reports the largest trade as a multiple of a bucket beside the mean." ; eidos:methodSource "Easley, López de Prado & O'Hara, Flow Toxicity and Liquidity in a High Frequency World, Review of Financial Studies 25(5), 2012" ; eidos:bucketCount 50 ; eidos:minimumTrades 40 ; eidos:note "Mean absolute order-flow imbalance across equal-volume buckets of a proposal's indexed conditional swaps. A measurement, never an indicator, a classification, or a safety rating: a decision market concludes by trading one-sided, so a high reading is the expected shape of a market that decided." . eidos:instrument-microstructure-stack a eidos:Instrument ; rdfs:label "Microstructure stack" ; eidos:version "1.0.0" ; eidos:member "order-flow-imbalance" ; eidos:member "cumulative-volume-delta" ; eidos:member "kyle-lambda" ; eidos:member "amihud-illiquidity" ; eidos:member "variance-ratio" ; eidos:member "participation" ; eidos:member "pre-recording-volume" ; eidos:note "Seven separate readings over a proposal's indexed conditional swaps, each with its own withheld reasons. They are never folded into a signal-credibility or market-quality index — these instruments have no validated aggregate model." . eidos:unavailable-effective-spread a eidos:UnavailableMeasure ; rdfs:label "Effective and realized spread" ; skos:inScheme eidos:UnavailableMeasureScheme ; eidos:requires "A quoted mid at fill time, and a maker whose inventory the realized half is measured against." ; eidos:localSubstitute "An AMM's spread is its fee plus its curve, and both are known exactly rather than estimated. The comparable quantity is a fill's slippage against the pool's pre-trade spot, which needs the reserves the ConditionalSwap event carries and the indexer currently discards." . eidos:unavailable-post-fill-markout a eidos:UnavailableMeasure ; rdfs:label "Post-fill markout" ; skos:inScheme eidos:UnavailableMeasureScheme ; eidos:requires "The mid a few seconds or minutes after a fill, from a quote series independent of the fills themselves." ; eidos:localSubstitute "The pool's own post-trade spot is a function of the same trade, so a markout taken against it measures the curve rather than adverse selection. An independent mid would have to come from the retained account reads, whose cadence is minutes, not seconds." . eidos:unavailable-depth-imbalance a eidos:UnavailableMeasure ; rdfs:label "Depth and near-touch imbalance" ; skos:inScheme eidos:UnavailableMeasureScheme ; eidos:requires "Resting size at the touch and the levels behind it." ; eidos:localSubstitute "The pool's quote-side reserves are the whole book, and the flip-cost scenario already costs a move against them on both legs." . eidos:unavailable-trade-based-spread-estimators a eidos:UnavailableMeasure ; rdfs:label "Roll, Gibbs, Corwin-Schultz and Abdi-Ranaldo" ; skos:inScheme eidos:UnavailableMeasureScheme ; eidos:requires "A bid-ask spread that exists but is unobserved, which is what these estimate from prints." ; eidos:localSubstitute "There is no unobserved spread here to estimate. Publishing one of these would put a confident number on a quantity the venue does not have." . eidos:unavailable-longshot-spread-premium a eidos:UnavailableMeasure ; rdfs:label "Longshot spread premium" ; skos:inScheme eidos:UnavailableMeasureScheme ; eidos:requires "A bounded contract priced as a probability, where a 2c quote carries payoff leverage a 50c quote does not." ; eidos:localSubstitute "A futarchy conditional market prices a token under a branch, not a bounded probability, so there is no zero-or-one boundary for a premium to widen against." . eidos:unavailable-self-counterparty-wash a eidos:UnavailableMeasure ; rdfs:label "Self-counterparty wash share" ; skos:inScheme eidos:UnavailableMeasureScheme ; eidos:requires "Two sides of a fill that can belong to the same beneficial owner." ; eidos:localSubstitute "The pool is always the counterparty, so a wallet cannot trade with itself. The comparable pattern is a wallet round-tripping both conditional branches, which is an Attack-review wash-volume indicator rather than a Market-review observation." . eidos:unavailable-information-leakage-score a eidos:UnavailableMeasure ; rdfs:label "Information leakage score" ; skos:inScheme eidos:UnavailableMeasureScheme ; eidos:requires "A public-announcement timestamp for the decision the proposal encodes, sourced independently of the market's own lifecycle." ; eidos:note "Every timestamp the proposal account carries is a moment the market learned, not a moment the public did. A leakage score anchored to one of them measures the anchor, and its sign flips with the choice." ; eidos:localSubstitute "The pre-recording volume share is published in its place: it measures against the TWAP start, which is exactly known, and it claims only that flow arrived before the stretch that counts." . eidos:diligence-question-engine a eidos:DiligenceQuestion ; rdfs:label "Engine" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "engine" ; eidos:diligenceQuestionText "Which engine governs the organization, and is its market binding, advisory, or binding only for some actions?" ; eidos:diligenceQuestionBasis "Documents" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-identity a eidos:DiligenceQuestion ; rdfs:label "Mint and DAO account" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "identity" ; eidos:diligenceQuestionText "Which token mint and DAO account belong to it?" ; eidos:diligenceQuestionBasis "Documents, checked on chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-treasury-control a eidos:DiligenceQuestion ; rdfs:label "Treasury vault" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "treasury-control" ; eidos:diligenceQuestionText "Which vault holds the treasury, who are its signers, and what is the signing threshold?" ; eidos:diligenceQuestionBasis "On chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-spending-limit a eidos:DiligenceQuestion ; rdfs:label "Spending without a market" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "spending-limit" ; eidos:diligenceQuestionText "What can be spent without a market: the monthly spending limit, who may spend it, and whether optimistic governance is on?" ; eidos:diligenceQuestionBasis "On chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-treasury-holdings a eidos:DiligenceQuestion ; rdfs:label "Holdings" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "treasury-holdings" ; eidos:diligenceQuestionText "What does the vault hold now, and what treasury figure has a third party cited? Shown side by side, never merged." ; eidos:diligenceQuestionBasis "Documents, checked on chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-revenue-destination a eidos:DiligenceQuestion ; rdfs:label "Revenue lands in" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "revenue-destination" ; eidos:diligenceQuestionText "Where does revenue land: the treasury, or an operating company?" ; eidos:diligenceQuestionBasis "Documents" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-mint-authority a eidos:DiligenceQuestion ; rdfs:label "Mint authority" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "mint-authority" ; eidos:diligenceQuestionText "Who holds mint authority and freeze authority over the token, and can the authority be reclaimed?" ; eidos:diligenceQuestionBasis "On chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-team-package a eidos:DiligenceQuestion ; rdfs:label "Team package" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "team-package" ; eidos:diligenceQuestionText "What are the team's performance-package terms, and has a proposal changed them?" ; eidos:diligenceQuestionBasis "Documents, checked on chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-concentration a eidos:DiligenceQuestion ; rdfs:label "Concentration" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "concentration" ; eidos:diligenceQuestionText "How concentrated were raise commitments, and how concentrated are holdings now?" ; eidos:diligenceQuestionBasis "On chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-decision-rules a eidos:DiligenceQuestion ; rdfs:label "Decision rules" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "decision-rules" ; eidos:diligenceQuestionText "What pass threshold applies to team and other proposals, how large is the proposal stake, and how long does a proposal run?" ; eidos:diligenceQuestionBasis "On chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-admin-override a eidos:DiligenceQuestion ; rdfs:label "Admin override" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "admin-override" ; eidos:diligenceQuestionText "What admin override exists over its decisions, and has it been used?" ; eidos:diligenceQuestionBasis "Documents, checked on chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-market-depth a eidos:DiligenceQuestion ; rdfs:label "Market depth" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "market-depth" ; eidos:diligenceQuestionText "How deep were its past decision markets: traders, volume and days open?" ; eidos:diligenceQuestionBasis "On chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-legal-entity a eidos:DiligenceQuestion ; rdfs:label "Legal entity and IP" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "legal-entity" ; eidos:diligenceQuestionText "Which legal entity holds the intellectual property, in which jurisdiction, and was the assignment completed?" ; eidos:diligenceQuestionBasis "Documents" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-liabilities a eidos:DiligenceQuestion ; rdfs:label "Off-chain liabilities" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "liabilities" ; eidos:diligenceQuestionText "What off-chain liabilities and service agreements exist?" ; eidos:diligenceQuestionBasis "Documents" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-raise-claims a eidos:DiligenceQuestion ; rdfs:label "Claims at the raise" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "raise-claims" ; eidos:diligenceQuestionText "What did the team claim before the raise, and who has confirmed or disputed it?" ; eidos:diligenceQuestionBasis "Documents" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-programs a eidos:DiligenceQuestion ; rdfs:label "Programs and audits" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "programs" ; eidos:diligenceQuestionText "Which programs does it run on, are they audited and verified builds, and who holds upgrade authority?" ; eidos:diligenceQuestionBasis "Documents, checked on chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:diligence-question-exit-path a eidos:DiligenceQuestion ; rdfs:label "Exit path" ; skos:inScheme eidos:DiligenceQuestionScheme ; eidos:diligenceQuestionId "exit-path" ; eidos:diligenceQuestionText "How would holders exit: the liquidation path, who builds the refund list, and any past redemption?" ; eidos:diligenceQuestionBasis "Documents, checked on chain" ; eidos:diligenceQuestionSetVersion "1.0.0" . eidos:statement-field-purpose a eidos:OrganizationStatementField ; rdfs:label "Purpose" ; skos:inScheme eidos:OrganizationStatementFieldScheme ; eidos:statementFieldId "purpose" ; eidos:statementFieldQuestion "What is the decision or organization for?" ; eidos:statementFieldRefreshAfterDays 180 . eidos:statement-field-obligations a eidos:OrganizationStatementField ; rdfs:label "Obligations" ; skos:inScheme eidos:OrganizationStatementFieldScheme ; eidos:statementFieldId "obligations" ; eidos:statementFieldQuestion "Who is bound if it passes, and to what?" ; eidos:statementFieldRefreshAfterDays 90 . eidos:statement-field-commitments a eidos:OrganizationStatementField ; rdfs:label "Commitments" ; skos:inScheme eidos:OrganizationStatementFieldScheme ; eidos:statementFieldId "commitments" ; eidos:statementFieldQuestion "What did the organization commit to deliver, and by when?" ; eidos:statementFieldRefreshAfterDays 90 . eidos:statement-field-documents a eidos:OrganizationStatementField ; rdfs:label "Documents" ; skos:inScheme eidos:OrganizationStatementFieldScheme ; eidos:statementFieldId "documents" ; eidos:statementFieldQuestion "Which documents state it, in the organization's words?" ; eidos:statementFieldRefreshAfterDays 180 . # ── evidence: statements ────────────────────────────────────────────── eidos:roster-3-0-0 eidos:rosterMember eidos:review-evidence . eidos:roster-3-0-0 eidos:rosterMember eidos:review-attack . eidos:roster-3-0-0 eidos:rosterMember eidos:review-market . eidos:roster-3-0-0 eidos:rosterMember eidos:review-playbooks . eidos:roster-3-0-0 eidos:rosterMember eidos:review-learning . eidos:roster-3-0-0 eidos:rosterMember eidos:review-claims . eidos:analytical-instrument-recycled-stake-treasury-extraction eidos:analyticalVector eidos:recycled-stake-treasury-extraction . eidos:analytical-instrument-late-window-outcome-steering eidos:analyticalVector eidos:late-window-outcome-steering . eidos:analytical-instrument-wash-volume-alignment-inflation eidos:analyticalVector eidos:wash-volume-alignment-inflation . eidos:analytical-instrument-coordinated-multiwallet-stake-assembly eidos:analyticalVector eidos:coordinated-multiwallet-stake-assembly . eidos:recycled-stake-treasury-extraction eidos:hasIndicator eidos:recycled-stake-treasury-extraction-fresh-wallet . eidos:recycled-stake-treasury-extraction eidos:hasIndicator eidos:recycled-stake-treasury-extraction-bridge-funding . eidos:recycled-stake-treasury-extraction eidos:hasIndicator eidos:recycled-stake-treasury-extraction-exact-stake-trim . eidos:recycled-stake-treasury-extraction eidos:hasIndicator eidos:recycled-stake-treasury-extraction-stake-recover-reuse . eidos:recycled-stake-treasury-extraction eidos:hasIndicator eidos:recycled-stake-treasury-extraction-clustered-cadence . eidos:recycled-stake-treasury-extraction eidos:hasDetector eidos:detector-recycled-stake-treasury-extraction . eidos:recycled-stake-treasury-extraction eidos:runBy eidos:review-attack . eidos:recycled-stake-treasury-extraction eidos:codifiedBy eidos:review-playbooks . eidos:recycled-stake-treasury-extraction eidos:hasMethodologySource eidos:source-01resolved-com-research-the-umbra-treasury-attack-cost-its-attacker-4-623 . eidos:recycled-stake-treasury-extraction eidos:hasIncidentStudy eidos:incident-umbra-treasury-attack-2026-08 . eidos:recycled-stake-treasury-extraction eidos:exploitsComponent eidos:component-stake-requirement . eidos:recycled-stake-treasury-extraction eidos:presupposesExecution eidos:execution-binding . eidos:late-window-outcome-steering eidos:hasIndicator eidos:late-window-outcome-steering-late-weight-concentration . eidos:late-window-outcome-steering eidos:hasIndicator eidos:late-window-outcome-steering-single-trade-fragility . eidos:late-window-outcome-steering eidos:hasIndicator eidos:late-window-outcome-steering-thin-closing-move . eidos:late-window-outcome-steering eidos:hasIndicator eidos:late-window-outcome-steering-after-close-reversal . eidos:late-window-outcome-steering eidos:hasIndicator eidos:late-window-outcome-steering-spike-clears-configured-threshold . eidos:late-window-outcome-steering eidos:hasDetector eidos:detector-late-window-outcome-steering . eidos:late-window-outcome-steering eidos:runBy eidos:review-attack . eidos:late-window-outcome-steering eidos:codifiedBy eidos:review-playbooks . eidos:late-window-outcome-steering eidos:hasMethodologySource eidos:source-01resolved-com-research . eidos:late-window-outcome-steering eidos:hasMethodologySource eidos:source-docs-metadao-fi . eidos:late-window-outcome-steering eidos:exploitsComponent eidos:component-full-window-twap-rule . eidos:late-window-outcome-steering eidos:presupposesExecution eidos:execution-binding . eidos:wash-volume-alignment-inflation eidos:hasIndicator eidos:wash-volume-alignment-inflation-paired-branch-executions . eidos:wash-volume-alignment-inflation eidos:hasIndicator eidos:wash-volume-alignment-inflation-fixed-size-cluster . eidos:wash-volume-alignment-inflation eidos:hasIndicator eidos:wash-volume-alignment-inflation-near-neutral-net . eidos:wash-volume-alignment-inflation eidos:hasIndicator eidos:wash-volume-alignment-inflation-arb-frequency-band . eidos:wash-volume-alignment-inflation eidos:hasIndicator eidos:wash-volume-alignment-inflation-stripped-tilt-shift . eidos:wash-volume-alignment-inflation eidos:hasDetector eidos:detector-wash-volume-alignment-inflation . eidos:wash-volume-alignment-inflation eidos:runBy eidos:review-attack . eidos:wash-volume-alignment-inflation eidos:codifiedBy eidos:review-playbooks . eidos:wash-volume-alignment-inflation eidos:hasMethodologySource eidos:source-01resolved-com-research . eidos:wash-volume-alignment-inflation eidos:hasMethodologySource eidos:source-01resolved-com . eidos:wash-volume-alignment-inflation eidos:exploitsComponent eidos:component-alignment-signal . eidos:coordinated-multiwallet-stake-assembly eidos:hasIndicator eidos:coordinated-multiwallet-stake-assembly-common-funding-source . eidos:coordinated-multiwallet-stake-assembly eidos:hasIndicator eidos:coordinated-multiwallet-stake-assembly-synchronized-first-activity . eidos:coordinated-multiwallet-stake-assembly eidos:hasIndicator eidos:coordinated-multiwallet-stake-assembly-split-threshold-assembly . eidos:coordinated-multiwallet-stake-assembly eidos:hasIndicator eidos:coordinated-multiwallet-stake-assembly-shared-execution-fingerprint . eidos:coordinated-multiwallet-stake-assembly eidos:hasIndicator eidos:coordinated-multiwallet-stake-assembly-synchronized-exit . eidos:coordinated-multiwallet-stake-assembly eidos:hasDetector eidos:detector-coordinated-multiwallet-stake-assembly . eidos:coordinated-multiwallet-stake-assembly eidos:runBy eidos:review-attack . eidos:coordinated-multiwallet-stake-assembly eidos:codifiedBy eidos:review-playbooks . eidos:coordinated-multiwallet-stake-assembly eidos:hasMethodologySource eidos:source-01resolved-com-research-ownership-score-what-the-first-experiment-reveals . eidos:coordinated-multiwallet-stake-assembly eidos:hasMethodologySource eidos:source-01resolved-com-research-the-umbra-treasury-attack-cost-its-attacker-4-623 . eidos:coordinated-multiwallet-stake-assembly eidos:exploitsComponent eidos:component-stake-requirement . eidos:terminal-window-twap-capture eidos:hasIndicator eidos:terminal-window-twap-capture-terminal-only-weight . eidos:terminal-window-twap-capture eidos:hasIndicator eidos:terminal-window-twap-capture-floor-hugging-liquidity . eidos:terminal-window-twap-capture eidos:hasIndicator eidos:terminal-window-twap-capture-quiet-then-capture . eidos:terminal-window-twap-capture eidos:hasIndicator eidos:terminal-window-twap-capture-in-window-inversion . eidos:terminal-window-twap-capture eidos:hasIndicator eidos:terminal-window-twap-capture-post-window-reversion . eidos:terminal-window-twap-capture eidos:codifiedBy eidos:review-playbooks . eidos:terminal-window-twap-capture eidos:hasMethodologySource eidos:source-snapshot-org-kleros-eth-proposal-0xa213179debfca1cb5b8f65ac9d641e6e4e8fb5df48019 . eidos:terminal-window-twap-capture eidos:hasMethodologySource eidos:source-ethresear-ch-t-futarchy-is-insecure-without-a-trusted-gatekeeper-25235 . eidos:terminal-window-twap-capture eidos:exploitsComponent eidos:component-terminal-window-twap-rule . eidos:terminal-window-twap-capture eidos:presupposesExecution eidos:execution-binding . eidos:advisory-signal-inflation eidos:hasIndicator eidos:advisory-signal-inflation-stakeless-directional-print . eidos:advisory-signal-inflation eidos:hasIndicator eidos:advisory-signal-inflation-signal-scale-mismatch . eidos:advisory-signal-inflation eidos:hasIndicator eidos:advisory-signal-inflation-read-timed-concentration . eidos:advisory-signal-inflation eidos:hasIndicator eidos:advisory-signal-inflation-venue-alignment-divergence . eidos:advisory-signal-inflation eidos:hasIndicator eidos:advisory-signal-inflation-post-read-unwind . eidos:advisory-signal-inflation eidos:codifiedBy eidos:review-playbooks . eidos:advisory-signal-inflation eidos:hasMethodologySource eidos:source-forum-gnosis-io-t-11816 . eidos:advisory-signal-inflation eidos:hasMethodologySource eidos:source-forum-gnosis-io-t-12197 . eidos:advisory-signal-inflation eidos:hasMethodologySource eidos:source-gov-optimism-io-t-futarchy-v1-preliminary-findings-10062 . eidos:advisory-signal-inflation eidos:exploitsComponent eidos:component-execution-binding . eidos:advisory-signal-inflation eidos:presupposesExecution eidos:execution-advisory . eidos:resistance-contingent-delivery eidos:hasIndicator eidos:resistance-contingent-delivery-discretionary-delivery-terms . eidos:resistance-contingent-delivery eidos:hasIndicator eidos:resistance-contingent-delivery-pass-defense-before-delivery . eidos:resistance-contingent-delivery eidos:hasIndicator eidos:resistance-contingent-delivery-resistance-linked-performance . eidos:resistance-contingent-delivery eidos:hasIndicator eidos:resistance-contingent-delivery-unenforceable-nonperformance . eidos:resistance-contingent-delivery eidos:codifiedBy eidos:review-playbooks . eidos:resistance-contingent-delivery eidos:hasMethodologySource eidos:source-lesswrong-com-posts-oaksux5xppxfseohm-futarchy-is-insecure-without-a-trusted-gat . eidos:resistance-contingent-delivery eidos:exploitsComponent eidos:component-delivery-enforcement . eidos:resistance-contingent-delivery eidos:presupposesExecution eidos:execution-binding . eidos:conditional-holder-exit-supply-failure eidos:hasIndicator eidos:conditional-holder-exit-supply-failure-holder-only-pass-supply . eidos:conditional-holder-exit-supply-failure eidos:hasIndicator eidos:conditional-holder-exit-supply-failure-no-synthetic-short-access . eidos:conditional-holder-exit-supply-failure eidos:hasIndicator eidos:conditional-holder-exit-supply-failure-corrective-flow-below-private-benefit . eidos:conditional-holder-exit-supply-failure eidos:hasIndicator eidos:conditional-holder-exit-supply-failure-short-side-adverse-selection . eidos:conditional-holder-exit-supply-failure eidos:codifiedBy eidos:review-playbooks . eidos:conditional-holder-exit-supply-failure eidos:hasMethodologySource eidos:source-lesswrong-com-posts-oaksux5xppxfseohm-futarchy-is-insecure-without-a-trusted-gat . eidos:conditional-holder-exit-supply-failure eidos:exploitsComponent eidos:component-corrective-participation-access . eidos:conditional-holder-exit-supply-failure eidos:presupposesExecution eidos:execution-binding . eidos:proposal-convexity-selection eidos:hasIndicator eidos:proposal-convexity-selection-material-unresolved-detail . eidos:proposal-convexity-selection eidos:hasIndicator eidos:proposal-convexity-selection-information-resolves-in-window . eidos:proposal-convexity-selection eidos:hasIndicator eidos:proposal-convexity-selection-favorable-state-passage-coupling . eidos:proposal-convexity-selection eidos:hasIndicator eidos:proposal-convexity-selection-conditional-unconditional-value-gap . eidos:proposal-convexity-selection eidos:codifiedBy eidos:review-playbooks . eidos:proposal-convexity-selection eidos:hasMethodologySource eidos:source-lesswrong-com-posts-oaksux5xppxfseohm-futarchy-is-insecure-without-a-trusted-gat . eidos:proposal-convexity-selection eidos:hasMethodologySource eidos:source-lesswrong-com-posts-mw4ypzr6ctwkqncvp-futarchy-is-parasitic-on-what-it-tries-to . eidos:proposal-convexity-selection eidos:hasMethodologySource eidos:source-lesswrong-com-posts-deoyawznnktm5gmnm-no-futarchy-doesn-t-have-this-edt-flaw . eidos:proposal-convexity-selection eidos:exploitsComponent eidos:component-causal-assumption-transparency . eidos:proposal-convexity-selection eidos:presupposesExecution eidos:execution-binding . eidos:countertrade-adverse-selection-deterrence eidos:hasIndicator eidos:countertrade-adverse-selection-deterrence-withheld-value-terms . eidos:countertrade-adverse-selection-deterrence eidos:hasIndicator eidos:countertrade-adverse-selection-deterrence-proposer-pass-accumulation . eidos:countertrade-adverse-selection-deterrence eidos:hasIndicator eidos:countertrade-adverse-selection-deterrence-hidden-good-loss-dominates . eidos:countertrade-adverse-selection-deterrence eidos:hasIndicator eidos:countertrade-adverse-selection-deterrence-late-specification-release . eidos:countertrade-adverse-selection-deterrence eidos:codifiedBy eidos:review-playbooks . eidos:countertrade-adverse-selection-deterrence eidos:hasMethodologySource eidos:source-lesswrong-com-posts-oaksux5xppxfseohm-futarchy-is-insecure-without-a-trusted-gat . eidos:countertrade-adverse-selection-deterrence eidos:exploitsComponent eidos:component-proposal-specification . eidos:countertrade-adverse-selection-deterrence eidos:presupposesExecution eidos:execution-binding . eidos:fail-branch-sabotage eidos:hasIndicator eidos:fail-branch-sabotage-rejection-contingent-threat . eidos:fail-branch-sabotage eidos:hasIndicator eidos:fail-branch-sabotage-credible-sabotage-capability . eidos:fail-branch-sabotage eidos:hasIndicator eidos:fail-branch-sabotage-fail-discount-tracks-threat . eidos:fail-branch-sabotage eidos:hasIndicator eidos:fail-branch-sabotage-off-path-private-cost-gap . eidos:fail-branch-sabotage eidos:codifiedBy eidos:review-playbooks . eidos:fail-branch-sabotage eidos:hasMethodologySource eidos:source-lesswrong-com-posts-oaksux5xppxfseohm-futarchy-is-insecure-without-a-trusted-gat . eidos:fail-branch-sabotage eidos:exploitsComponent eidos:component-branch-independence . eidos:fail-branch-sabotage eidos:presupposesExecution eidos:execution-binding . eidos:covenant-check-use-of-proceeds-restricted eidos:checksCovenant eidos:covenant-stamp . eidos:covenant-check-use-of-proceeds-restricted eidos:codifiedBy eidos:review-playbooks . eidos:covenant-check-investor-reserve-capped eidos:checksCovenant eidos:covenant-stamp . eidos:covenant-check-investor-reserve-capped eidos:codifiedBy eidos:review-playbooks . eidos:covenant-check-team-allocation-band eidos:checksCovenant eidos:covenant-stamp . eidos:covenant-check-team-allocation-band eidos:codifiedBy eidos:review-playbooks . eidos:covenant-check-vesting-schedule eidos:checksCovenant eidos:covenant-stamp . eidos:covenant-check-vesting-schedule eidos:codifiedBy eidos:review-playbooks . eidos:covenant-check-legal-entity eidos:checksCovenant eidos:covenant-stamp . eidos:covenant-check-legal-entity eidos:codifiedBy eidos:review-playbooks . eidos:covenant-check-third-party-review eidos:checksCovenant eidos:covenant-stamp . eidos:covenant-check-third-party-review eidos:codifiedBy eidos:review-playbooks . eidos:instrument-flip-cost-scenario eidos:instrumentOf eidos:review-market . eidos:instrument-order-flow-toxicity eidos:instrumentOf eidos:review-market . eidos:instrument-microstructure-stack eidos:instrumentOf eidos:review-market . eidos:unavailable-effective-spread eidos:unavailableTo eidos:review-market . eidos:unavailable-post-fill-markout eidos:unavailableTo eidos:review-market . eidos:unavailable-depth-imbalance eidos:unavailableTo eidos:review-market . eidos:unavailable-trade-based-spread-estimators eidos:unavailableTo eidos:review-market . eidos:unavailable-longshot-spread-premium eidos:unavailableTo eidos:review-market . eidos:unavailable-self-counterparty-wash eidos:unavailableTo eidos:review-market . eidos:unavailable-information-leakage-score eidos:unavailableTo eidos:review-market .