{ "model": { "rank": 5997, "code": "thing-q7983", "model_id": "vr.tr.international-mathematical-olympiad", "name": "International Mathematical Olympiad", "purpose": "Enable an AI agent to recognise the International Mathematical Olympiad, assess the readiness and integrity of a particular edition, and determine which participation, contest and results actions are authorised.", "family": "Thing Registry", "category": "Activities and processes", "status": "research-draft", "kind": "thing", "plane": "ACT", "domain": "ACT.ACT", "industry": "", "version": "", "url": "/models/thing/q7983/", "tier": 2, "score": 63, "payload": { "layer": "wikidata", "aliases": [], "aliasCount": 0, "merged": 0, "knownIn": 63, "facets": null, "markers": [], "lexicalClass": "", "senseRank": null, "alsoRegisteredAs": null, "source": { "dataset": "wikidata", "item": "Q7983", "url": "https://www.wikidata.org/wiki/Q7983", "license": "CC0 1.0" } }, "research": { "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-07T10:41:12Z", "providers": [ "Codex", "Grok" ], "missingProviders": [], "pass": 2, "cost": { "grok": { "usd": 0.00798728, "turns": 1, "seconds": 276.8, "error": null }, "codex": { "seconds": 232.3, "error": "Reading additional input from stdin...\nOpenAI Codex v0.153.3\n--------\nworkdir: R:\\02_PROJECTS\\02_Meta_Models_Platforms\\Ver.cy\\current\\thing-registry-backlog\nmodel: gpt-6-astra\nprovider: openai\napproval: never\nsandbox: read-only\nreasoning effort: none\nreasoning summaries: none\nsession id: 01a07b6d-879b-7063-9dbd-e12aafe7735d\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: International Mathematical Olympiad\nRegistry id: vr.tr.international-mathematical-olympiad\nPlane / domain: ACT / ACT.ACT\nRegistry definition: (none r" } } }, "metaModel": { "id": "THING-Q7983", "registryId": "vr.tr.international-mathematical-olympiad", "name": "International Mathematical Olympiad", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "ACT.ACT" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q7983/", "model": { "registry_id": "vr.tr.international-mathematical-olympiad", "name": "International Mathematical Olympiad", "purpose": "Enable an AI agent to recognise the International Mathematical Olympiad, assess the readiness and integrity of a particular edition, and determine which participation, contest and results actions are authorised.", "definition": "The International Mathematical Olympiad (IMO) is an annual, invitation-based high-school mathematics contest run under IMO Board regulations, in which each participating country may enter up to six pre-university students under 20 to sit two 4.5-hour papers of three proof problems each, with individual scores out of 42 determining medals.", "scope_statement": "Own the competition identity registered as vr.tr.international-mathematical-olympiad in ACT / ACT.ACT, including edition-specific rules, delegation admission, problem handling, contest delivery, adjudication and official outcomes; represent annual editions within this identity without creating additional registry entries.", "in_scope": [ "Competition identity, annual editions and the authority of applicable regulations", "Invited delegations, contestant eligibility and participation decisions", "Problem selection, approved translations and confidentiality", "Contest sessions, permitted assistance and incident handling", "Marking, coordination, unresolved scoring decisions and awards", "Official publication, corrections and edition closure" ], "out_of_scope": [ "National olympiads, selection examinations and training programmes", "The IMO Association's corporate administration beyond its competition authority", "Contestants' general biographies, education records and subsequent careers", "Mathematical knowledge and proof libraries beyond their use in contest problems and adjudication", "Host travel, accommodation and venue operations except where they affect participation or contest validity", "Other competitions using IMO initials or similar mathematical olympiad branding" ], "distinguishing_features": [ "The identity must connect to the officially recognised annual International Mathematical Olympiad for high-school students; a matching acronym or commercial competition title is insufficient. [Official IMO overview](https://www.imo-official.org/about/?language=en)", "Participation is organised through invited country delegations with up to six contestants, a Leader and a Deputy Leader, distinguishing the IMO from an open individual-entry mathematics examination. [IMO regulations](https://www.imo-official.org/regulations/)", "The standard contest uses six problems across two consecutive days, with final problems selected by a Jury consisting of team leaders; historical or exceptional editions require their own supporting evidence. [Official IMO overview](https://www.imo-official.org/about/?language=en)", "An edition's authority must be traceable through the IMO General Regulations, applicable Annual Regulations and relevant Articles of Association, rather than inferred from a national team's selection rules. [IMO regulations](https://www.imo-official.org/regulations/)" ], "characteristics": [ { "name": "Edition identity", "kind": "relation", "unit_or_values": "Competition identity linked to official edition number, year and host record", "why_it_matters": "Prevents rules, contestants and results from different editions being combined." }, { "name": "Applicable rule set", "kind": "relation", "unit_or_values": "General Regulations version, Annual Regulations version and documented amendments or decisions", "why_it_matters": "Makes each eligibility, procedural and award judgement reproducible." }, { "name": "Edition phase", "kind": "state", "unit_or_values": "Proposed model vocabulary: preparation, registration, contest, coordination, results published, closed; exceptional status recorded separately", "why_it_matters": "Determines whether actions such as changing a roster or releasing a paper are appropriate." }, { "name": "Delegation admission", "kind": "state", "unit_or_values": "Invited, awaiting confirmation, admitted, withdrawn or refused, with decision evidence", "why_it_matters": "Separates an intended participant from an authorised delegation." }, { "name": "Contestant eligibility assessment", "kind": "state", "unit_or_values": "Unassessed, evidence incomplete, eligible, ineligible or disputed under the applicable edition rules", "why_it_matters": "Prevents participation decisions based only on age summaries or national nomination." }, { "name": "Contest paper configuration", "kind": "measurement", "unit_or_values": "Problems per session and allotted minutes, recorded for the edition", "why_it_matters": "Supports session validation without imposing the current format on historical editions." }, { "name": "Problem access status", "kind": "state", "unit_or_values": "Proposed model vocabulary: restricted proposal, restricted shortlist, selected paper, authorised release", "why_it_matters": "Controls whether an agent may retrieve, share or publish problem material." }, { "name": "Script score", "kind": "measurement", "unit_or_values": "Points per problem and total, using the edition's authorised scale", "why_it_matters": "Supports score reconciliation while preserving provisional and agreed values." }, { "name": "Adjudication status", "kind": "state", "unit_or_values": "Awaiting assessment, under coordination, unresolved, agreed or officially corrected", "why_it_matters": "Prevents unsettled marks from being presented as final results." }, { "name": "Award determination", "kind": "category", "unit_or_values": "Edition-authorised award category or no award, linked to the official decision", "why_it_matters": "Distinguishes a predicted award from an officially conferred outcome." } ], "affordances": [ "Resolve a purported IMO edition, delegation or result against official competition records.", "Assess registration and contestant eligibility evidence and identify the decision still required.", "Check contest readiness across approved papers, translations, sessions and authorised roles.", "Gate access to unreleased problems and identify confidentiality or contest-integrity incidents requiring escalation.", "Reconcile per-problem marks, coordination decisions and published outcomes.", "Prepare a results publication or correction for the authorised actor, preserving its evidence and approval status." ] }, "sources": [ { "id": "imo-official", "title": "International Mathematical Olympiad (official site, results and regulations)", "url": "https://www.imo-official.org/", "what_it_supports": "Official definition of the contest, eligibility, paper format, scoring out of 42, medal rules, country teams of at most six, and the historical results archive.", "url_status": "live" }, { "id": "imo-regulations", "title": "IMO Regulations", "url": "", "what_it_supports": "Governance by the IMO Board and the jury of team leaders; host obligations; age and non-enrolment eligibility; two 4.5-hour papers; 7 points per problem; medal-ratio rule (about 1:2:3, medals not more than half the contestants); honourable mentions." }, { "id": "wikipedia-imo", "title": "International Mathematical Olympiad", "url": "https://en.wikipedia.org/wiki/International_Mathematical_Olympiad", "what_it_supports": "Series history from the 1959 Romanian first edition, typical participation scale, remote 2020-2021 editions, and the distinction from regional olympiads and university contests.", "url_status": "live" }, { "id": "imo-compendium", "title": "The IMO Compendium: A Collection of Problems Suggested for the International Mathematical Olympiads, 1959-2009", "url": "", "what_it_supports": "The practical distinction among contest papers, shortlist, and longlist, and the use of IMO problems as a training and research corpus." } ], "structure": { "bundles": [ { "id": "imo-identity-and-edition-authority", "name": "IMO identity and edition authority", "description": "Establish which competition and annual edition a record concerns and which rules govern it.", "rationale": "The IMO is a continuing competition whose individual editions can have different hosts, arrangements and applicable rules.", "layers": [ { "id": "competition-and-edition-recognition", "name": "Competition and edition recognition", "description": "Connect the registered identity to authoritative edition records.", "findings": [ { "id": "official-edition-linkage", "name": "Official edition linkage", "description": "Record evidence connecting the claimed edition, year and host to the registered IMO identity.", "questions": [ { "text": "Which official record identifies this edition's number, year and host?", "kind": "provenance", "id": "official-edition-linkage-q01" }, { "text": "Does the record concern the IMO itself, a national selection event or another competition with similar branding?", "kind": "boundary", "id": "official-edition-linkage-q02" } ] } ] }, { "id": "rules-and-decision-authority", "name": "Rules and decision authority", "description": "Identify applicable rule versions and the actors empowered to interpret or apply them.", "findings": [ { "id": "edition-rule-authority", "name": "Edition rule authority", "description": "Record the governing documents and the authority supporting edition-specific decisions or exceptions.", "questions": [ { "text": "Which General and Annual Regulations, amendments and recorded decisions apply to this edition?", "kind": "provenance", "id": "edition-rule-authority-q01" }, { "text": "Which decisions belong to the Jury, IMO Board, host organisation or another designated role?", "kind": "action", "id": "edition-rule-authority-q02" } ] } ] } ] }, { "id": "delegations-and-contestant-admission", "name": "Delegations and contestant admission", "description": "Represent the route from invitation and nomination to authorised participation.", "rationale": "National selection alone does not establish that a delegation or contestant satisfies the IMO edition's admission requirements.", "layers": [ { "id": "delegation-recognition", "name": "Delegation recognition", "description": "Establish the represented country or territory, invitation and accepted delegation roles.", "findings": [ { "id": "authorised-delegation-roster", "name": "Authorised delegation roster", "description": "Record invitation evidence, participation confirmation and the status of the nominated roster.", "questions": [ { "text": "What invitation and confirmation establish this delegation's participation status?", "kind": "provenance", "id": "authorised-delegation-roster-q01" }, { "text": "Does the roster satisfy the edition's contestant limit and requirements for Leader, Deputy Leader and any additional roles?", "kind": "measurement", "id": "authorised-delegation-roster-q02" } ] } ] }, { "id": "individual-eligibility", "name": "Individual eligibility", "description": "Assess each nominee against the applicable age, education and representation requirements.", "findings": [ { "id": "evidenced-eligibility-decision", "name": "Evidenced eligibility decision", "description": "Separate nomination, supporting evidence and an authorised eligibility determination.", "questions": [ { "text": "What evidence establishes compliance with the edition's exact age cutoff, education conditions and country-representation requirements?", "kind": "provenance", "id": "evidenced-eligibility-decision-q01" }, { "text": "Who may resolve missing evidence, a disputed qualification or a proposed contestant substitution?", "kind": "action", "id": "evidenced-eligibility-decision-q02" } ] } ] } ] }, { "id": "problem-selection-and-secrecy", "name": "Problem selection and secrecy", "description": "Track competition problems from submitted proposals through selection, translation and authorised release.", "rationale": "Problem suitability, equivalent wording and restricted access directly affect whether the IMO can be conducted fairly.", "layers": [ { "id": "proposal-to-contest-paper", "name": "Proposal to contest paper", "description": "Record the authority and evidence behind shortlist inclusion and final paper selection.", "findings": [ { "id": "problem-selection-record", "name": "Problem selection record", "description": "Distinguish a submitted proposal, shortlisted candidate and selected contest problem without implying that all are publicly accessible.", "questions": [ { "text": "What evidence establishes the problem's origin, review status and selection for a particular contest position?", "kind": "provenance", "id": "problem-selection-record-q01" }, { "text": "What checks or unresolved concerns concern prior exposure, correctness, difficulty or overlap with other selected problems?", "kind": "boundary", "id": "problem-selection-record-q02" } ] } ] }, { "id": "translations-and-restricted-access", "name": "Translations and restricted access", "description": "Control problem versions, approved languages and disclosure permissions.", "findings": [ { "id": "authorised-problem-version-and-access", "name": "Authorised problem version and access", "description": "Record which wording is approved for use and who may access it at the current competition phase.", "questions": [ { "text": "Which approved translation and version must each contestant receive, and how are wording discrepancies resolved?", "kind": "definition", "id": "authorised-problem-version-and-access-q01" }, { "text": "May this actor access or disclose this problem now, and what recorded authority permits release?", "kind": "action", "id": "authorised-problem-version-and-access-q02" } ] } ] } ] }, { "id": "contest-delivery-and-integrity", "name": "Contest delivery and integrity", "description": "Represent the conditions under which contestants write and submit their solutions.", "rationale": "A score is meaningful only when the associated sitting followed authorised timing, assistance and submission conditions.", "layers": [ { "id": "authorised-contest-sittings", "name": "Authorised contest sittings", "description": "Describe the edition's actual sessions and any approved departures from standard delivery.", "findings": [ { "id": "sitting-conditions-and-completion", "name": "Sitting conditions and completion", "description": "Record paper allocation, timing, attendance and script receipt for each contestant's sitting.", "questions": [ { "text": "What problems, duration, location or delivery arrangement and approved accommodations apply to this sitting?", "kind": "definition", "id": "sitting-conditions-and-completion-q01" }, { "text": "Were the authorised time conditions met, and is every submitted script accounted for?", "kind": "measurement", "id": "sitting-conditions-and-completion-q02" } ] } ] }, { "id": "clarifications-and-contest-incidents", "name": "Clarifications and contest incidents", "description": "Distinguish permitted procedural help from assistance or disruption that requires an integrity decision.", "findings": [ { "id": "incident-and-response-record", "name": "Incident and response record", "description": "Preserve clarification requests, suspected breaches, interruptions and authorised responses without treating allegations as findings.", "questions": [ { "text": "What evidence distinguishes an authorised clarification from prohibited assistance or access to restricted material?", "kind": "boundary", "id": "incident-and-response-record-q01" }, { "text": "Who must decide the response to this incident, and which participation or scoring actions depend on that decision?", "kind": "action", "id": "incident-and-response-record-q02" } ] } ] } ] }, { "id": "proof-assessment-and-coordination", "name": "Proof assessment and coordination", "description": "Connect submitted mathematical arguments to marking criteria and resolved scores.", "rationale": "The model must distinguish a proposed evaluation of a proof from the score established through the edition's authorised adjudication process.", "layers": [ { "id": "scripts-and-marking-criteria", "name": "Scripts and marking criteria", "description": "Associate each score proposal with the contestant's actual work and the applicable marking guidance.", "findings": [ { "id": "traceable-problem-assessment", "name": "Traceable problem assessment", "description": "Record the evidence for credit, including alternative arguments and identified gaps.", "questions": [ { "text": "Which script passages and applicable marking criteria support the proposed points for this problem?", "kind": "provenance", "id": "traceable-problem-assessment-q01" }, { "text": "Does an alternative solution or disputed proof gap require a decision beyond the currently documented criteria?", "kind": "boundary", "id": "traceable-problem-assessment-q02" } ] } ] }, { "id": "score-agreement-and-escalation", "name": "Score agreement and escalation", "description": "Track coordination, unresolved differences and the authority for final marks.", "findings": [ { "id": "resolved-coordination-outcome", "name": "Resolved coordination outcome", "description": "Preserve proposed marks, agreement evidence and any escalation or subsequent correction.", "questions": [ { "text": "Which marks are agreed, which remain disputed, and what record establishes each status?", "kind": "measurement", "id": "resolved-coordination-outcome-q01" }, { "text": "What authorised coordination or escalation step must occur before this score can be treated as final?", "kind": "action", "id": "resolved-coordination-outcome-q02" } ] } ] } ] }, { "id": "awards-and-official-results", "name": "Awards and official results", "description": "Convert settled scores and authorised award decisions into traceable published outcomes.", "rationale": "Computed totals, predicted medals and country summaries must remain distinguishable from officially adopted and published results.", "layers": [ { "id": "award-determination", "name": "Award determination", "description": "Represent the edition's award rules, adopted thresholds and contestant outcomes.", "findings": [ { "id": "authorised-award-allocation", "name": "Authorised award allocation", "description": "Link each award to settled marks and the edition's recorded award decisions.", "questions": [ { "text": "Which adopted thresholds and other criteria govern medals, honourable mentions and any additional awards in this edition?", "kind": "provenance", "id": "authorised-award-allocation-q01" }, { "text": "Do the proposed awards reconcile with final problem scores and all applicable award decisions?", "kind": "measurement", "id": "authorised-award-allocation-q02" } ] } ] }, { "id": "publication-and-corrections", "name": "Publication and corrections", "description": "Identify authoritative result releases and preserve the history of amendments.", "findings": [ { "id": "official-result-version", "name": "Official result version", "description": "Record the published result version, its approval and its relationship to derived standings or later corrections.", "questions": [ { "text": "Which official release supports this result, and is a displayed country standing an official classification or a derived aggregation?", "kind": "provenance", "id": "official-result-version-q01" }, { "text": "Who may approve a correction, and which totals, awards and published views must be updated with it?", "kind": "action", "id": "official-result-version-q02" } ] } ] } ] }, { "id": "evidence-and-external-alignment", "name": "Evidence and external alignment", "description": "What the world already says about this thing, gathered so the model can be checked against it.", "rationale": "A model that cannot be lined up against existing standards, identifiers and practice cannot be adopted by anyone who already uses them.", "layers": [ { "id": "reported-evidence", "name": "Reported evidence", "description": "Findings from the breadth pass, kept separate from the structural claims.", "findings": [ { "id": "evidence-kinds", "name": "Kinds and varieties", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ "Annual in-person contest edition (the canonical IMO, hosted by a country)", "Remote or virtual contest edition (used in 2020-2021)", "Contest papers (Day 1 / Day 2, problems 1-6)", "IMO Shortlist (jury-considered problems, published after an embargo)", "IMO Longlist (all problems submitted by participating countries)", "National team (up to six contestants plus leader and deputy leader)", "Individual classification with gold, silver, bronze, and honourable mention", "Unofficial team ranking (sum of the six individual scores)" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of International Mathematical Olympiad this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-identifiers", "name": "Identifiers and schemes", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ { "scheme": "Wikidata", "value_or_pattern": "Q7983", "note": "Item for the International Mathematical Olympiad as a recurring contest." }, { "scheme": "IMO official edition name", "value_or_pattern": "IMO YYYY (also sequential number from IMO 1 in 1959)", "note": "Used on imo-official.org for each annual contest." }, { "scheme": "IMO problem identifier", "value_or_pattern": "IMO YYYY Pn with n in 1-6", "note": "Day 1 is P1-P3, Day 2 is P4-P6; shortlist items use a separate shortlist code." }, { "scheme": "imo-official.org person/country records", "value_or_pattern": "Numeric contestant and ISO-style country codes in the official results database", "note": "Canonical public result identifiers, not a formal ISO standard for the contest itself." } ], "questions": [ { "id": "evidence-identifiers-q01", "text": "Which of these identifiers and schemes hold for the sense of International Mathematical Olympiad this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-standards-and-regulation", "name": "Standards and regulation", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ "IMO Regulations, issued by the IMO Board and applied by the jury of national team leaders", "Host-country agreement and local site rules, issued by the host organisation under IMO Board oversight", "Eligibility rule: contestant under 20 on the day of the second paper and not officially registered at a university or equivalent (IMO Regulations)", "Medal rule: gold:silver:bronze approximately 1:2:3, with total medals not exceeding half the contestants; honourable mention for a complete solution without a medal (IMO Regulations)", "IMO Foundation (supporting charity) provides continuity, fundraising, and organiser support; it does not itself set the contest mathematics" ], "questions": [ { "id": "evidence-standards-and-regulation-q01", "text": "Which of these standards and regulation hold for the sense of International Mathematical Olympiad this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-real-world-use", "name": "Real-world use", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ "National olympiad pipelines (for example USAMO/TST, China's CMO and training camp, or a single national olympiad in smaller countries) used to choose the six-person team", "Past contest papers and shortlists used as the main training corpus for olympiad programmes worldwide", "Individual medals and team totals used as a university-admissions and scholarship signal, especially in Eastern Europe and East and Southeast Asia", "Jury of team leaders approves the six problems, translates papers, and coordinates marking against agreed schemes", "Recent benchmark for machine mathematical reasoning (systems attempting IMO-level proof problems), which is not itself an official contest class" ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of International Mathematical Olympiad this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-measurements", "name": "Typical measurements", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ { "quantity": "Individual total score", "typical_range": "0-42", "unit": "points" }, { "quantity": "Score per problem", "typical_range": "0-7", "unit": "points" }, { "quantity": "Unofficial team total (six contestants)", "typical_range": "0-252", "unit": "points" }, { "quantity": "Written time", "typical_range": "4.5 hours on each of two days", "unit": "hours" }, { "quantity": "Team size", "typical_range": "1-6 contestants (maximum 6)", "unit": "persons" }, { "quantity": "Participating countries (recent editions)", "typical_range": "about 100-110", "unit": "countries" }, { "quantity": "Contestants (recent editions)", "typical_range": "about 600-700", "unit": "persons" }, { "quantity": "Gold-medal cutoff (year-dependent)", "typical_range": "typically about 24-32 out of 42", "unit": "points" } ], "questions": [ { "id": "evidence-measurements-q01", "text": "Which of these typical measurements hold for the sense of International Mathematical Olympiad this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-failure-modes-and-hazards", "name": "Failure modes and hazards", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ "Translation error that changes the intended problem", "Leak of the shortlist or contest paper before the sitting", "Inconsistent coordination of partial-credit marks across marking teams", "Ineligible contestants (age or already registered at a tertiary institution)", "Integrity failure in remote sittings (collusion, outside help)", "Difficulty collapse, with near-zero scores on P3 and P6", "Host cancellation, venue failure, or funding collapse", "Chronic under-representation of female contestants relative to the eligible population" ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of International Mathematical Olympiad this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-regional-variation", "name": "Regional variation", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ "Official English name is International Mathematical Olympiad (IMO); French and other Romance languages often use Olympiade Internationale de Mathématiques / Olimpiada Internacional de Matemáticas (OIM)", "School-system embedding and selection intensity are much higher in China, Korea, Vietnam, Russia and the former USSR, Romania, and Hungary than in most of Western Europe", "Some countries run multi-stage camps after the national olympiad; others send the national-olympiad winners with little extra selection", "Historical unofficial extra contestants existed in some programmes; current regulations cap the official team at six" ], "questions": [ { "id": "evidence-regional-variation-q01", "text": "Which of these regional variation hold for the sense of International Mathematical Olympiad this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-neighbours", "name": "Neighbouring kinds and how to tell them apart", "description": "Reported by the breadth pass; each item needs checking against its source before it becomes normative.", "evidence": [ { "name": "European Girls' Mathematical Olympiad (EGMO)", "difference": "Girls-only invitational olympiad, typically four contestants and four problems, not the open-gender IMO." }, { "name": "William Lowell Putnam Mathematical Competition", "difference": "Undergraduate contest for the US and Canada, twelve problems in two three-hour sessions, not a high-school international olympiad." }, { "name": "International Mathematics Competition for University Students (IMC)", "difference": "Undergraduate international contest, not the pre-university IMO." }, { "name": "International Physics Olympiad (IPhO)", "difference": "Same olympiad movement and national-team pattern, but physics rather than proof-based mathematics." }, { "name": "Mathematical Kangaroo (Kangourou)", "difference": "Mass-participation multiple-choice contest, not a six-problem proof olympiad with medals by rank cutoff." }, { "name": "Regional proof olympiads (APMO, Balkan MO, Romanian Master of Mathematics, and similar)", "difference": "IMO-like proof format and often overlapping contestants, but they are regional or invitational events, not the IMO itself." }, { "name": "International Congress of Mathematicians (ICM)", "difference": "Professional research congress that awards Fields Medals; it is not a student contest." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of International Mathematical Olympiad this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Does an existing Vercy world model already own this competition or a concept that requires linking this registry entry instead of publishing a separate model?", "With no registry definition recorded, should the identity include the IMO's associated educational and social programme, or only the competition and activities necessary for its validity?", "Which historical format changes and exceptional delivery arrangements must the model represent, and where are their authoritative rules archived?", "What are the exact current authority boundaries and procedures for eligibility disputes, confidentiality incidents, scoring escalation and post-publication corrections?", "Which internal selection, coordination and contestant-evidence records are available to an authorised agent, and what access and retention conditions govern them?" ], "statistics": { "bundles": 7, "layers": 13, "findings": 20, "questions": 32 } }, "draft": { "generator": "vr.draft.v3", "status": "draft-generated", "researched": false, "archetype": "abstract concept", "method": "Written from the archetype playbook - what this kind of thing needs beyond identity and provenance - and from the structure that recurred across 6,333 models already researched by two engines. Applied to this entry by rule. No source was read for this thing and no claim here is researched. This entry carries no facets of its own, so they were inferred from its domain - a guess about a whole domain applied to one thing.", "facetsInferred": true, "nextPass": "A researcher replaces this draft with a sourced specification. Treat every sentence below as a proposal to argue with.", "purpose": "Give an agent a durable, checkable way to recognise a International Mathematical Olympiad, record what state it is in, and decide what may be done with it.", "whatItIs": "Enable an AI agent to recognise the International Mathematical Olympiad, assess the readiness and integrity of a particular edition, and determine which participation, contest and results actions are authorised.", "characteristics": { "substance": "activity", "origin": "conceptual", "agency": "inert" }, "whatYouCanDoWithIt": [ "observed and measured" ], "distinguishingFeatures": [ "Described in 63 Wikipedia languages, which is a measure of how widely the thing is known, not of how important it is." ], "openQuestionsForResearch": [ "Which of the bundles below does a real task actually need, and which are ceremony?", "What does this thing have that the facets do not capture at all?", "Which neighbouring kind is most often confused with a International Mathematical Olympiad, and on what evidence are they told apart?" ], "whatItIsMadeOf": "something that happens over time", "physicalCharacter": [ "Does nothing on its own; everything it does, something else did to it.", "These come from the domain this entry sits in rather than from the entry itself, so treat them as a first guess about the whole domain applied to one thing." ], "whatCanBeDoneWithIt": [ "observe it, measure it, record its state" ], "howItIsRecognised": [ "Nothing to see. What is recognised is an instance of it, and which instances count is exactly what is argued about." ], "relatedModels": [], "standing": "Described in 63 Wikipedia languages, which measures how widely it is written about rather than how important or how common it is.", "structure": { "bundles": [ { "id": "identity-and-classification", "name": "Identity, naming and classification", "description": "How an agent tells one International Mathematical Olympiad from another, and a International Mathematical Olympiad from things that resemble it.", "rationale": "Recognition comes before every other claim. Without stable identity nothing else in the model can be trusted to be about the same thing twice.", "layers": [ { "id": "naming-and-identifiers", "name": "Names and identifiers", "description": "The names this thing goes by and the identifiers that survive translation and time.", "findings": [ { "id": "preferred-name-and-aliases", "name": "Preferred name, aliases and local names", "description": "Which name to use, which names mean the same thing, and which merely sound similar.", "questions": [ { "id": "preferred-name-and-aliases-q01", "text": "What identifies and describes the name of a International Mathematical Olympiad, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "preferred-name-and-aliases-q02", "text": "Who or what asserted this about the name of a International Mathematical Olympiad, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "preferred-name-and-aliases-q03", "text": "What may an agent decide or do once the name of a International Mathematical Olympiad is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] }, { "id": "stable-identifiers", "name": "Stable identifiers and external keys", "description": "Identifiers that keep pointing at this kind of thing across systems and languages.", "questions": [ { "id": "stable-identifiers-q01", "text": "What identifies and describes an identifier for a International Mathematical Olympiad, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "stable-identifiers-q02", "text": "Who or what asserted this about an identifier for a International Mathematical Olympiad, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "stable-identifiers-q03", "text": "What may an agent decide or do once an identifier for a International Mathematical Olympiad is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] }, { "id": "classification-and-granularity", "name": "Classification and granularity", "description": "Where a International Mathematical Olympiad sits among kinds, and how finely a task needs to cut it.", "findings": [ { "id": "kind-and-parents", "name": "Kind, parents and neighbouring kinds", "description": "The classes this thing belongs to and the ones it is next to.", "questions": [ { "id": "kind-and-parents-q01", "text": "What identifies and describes the kind of a International Mathematical Olympiad, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "kind-and-parents-q02", "text": "Who or what asserted this about the kind of a International Mathematical Olympiad, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "kind-and-parents-q03", "text": "What may an agent decide or do once the kind of a International Mathematical Olympiad is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] }, { "id": "distinguishing-features", "name": "Distinguishing features", "description": "What separates a International Mathematical Olympiad from the things most often confused with it.", "questions": [ { "id": "distinguishing-features-q01", "text": "What identifies and describes what distinguishes a International Mathematical Olympiad, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "distinguishing-features-q02", "text": "Who or what asserted this about what distinguishes a International Mathematical Olympiad, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "distinguishing-features-q03", "text": "What may an agent decide or do once what distinguishes a International Mathematical Olympiad is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] } ] }, { "id": "state-and-lifecycle", "name": "State and lifecycle", "description": "The states a International Mathematical Olympiad passes through and the events that move it between them.", "rationale": "Most decisions about a thing depend on what state it is in now, which is a claim with a time on it, not a property.", "layers": [ { "id": "lifecycle-stages", "name": "Lifecycle stages", "description": "From coming into existence to ceasing to be one of these.", "findings": [ { "id": "stages-and-transitions", "name": "Stages and transitions", "description": "The stages worth naming and what moves a International Mathematical Olympiad between them.", "questions": [ { "id": "stages-and-transitions-q01", "text": "What identifies and describes the lifecycle of a International Mathematical Olympiad, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "stages-and-transitions-q02", "text": "Who or what asserted this about the lifecycle of a International Mathematical Olympiad, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "stages-and-transitions-q03", "text": "What may an agent decide or do once the lifecycle of a International Mathematical Olympiad is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] }, { "id": "observations-and-status", "name": "Observations and current status", "description": "What is observed about a International Mathematical Olympiad, how often and by whom.", "findings": [ { "id": "observation-record", "name": "Observation record", "description": "How an observation of a International Mathematical Olympiad is recorded so that it can be superseded rather than overwritten.", "questions": [ { "id": "observation-record-q01", "text": "What identifies and describes an observation of a International Mathematical Olympiad, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "observation-record-q02", "text": "Who or what asserted this about an observation of a International Mathematical Olympiad, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "observation-record-q03", "text": "What may an agent decide or do once an observation of a International Mathematical Olympiad is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] } ] }, { "id": "process-and-outcome", "name": "Process, inputs and outcome", "description": "How a International Mathematical Olympiad proceeds, what it needs and what it leaves behind.", "rationale": "An activity is known by its steps and its results, and both have to be recordable while it is still running.", "layers": [ { "id": "steps-and-sequence", "name": "Steps and sequence", "description": "The steps of a International Mathematical Olympiad, their order and what may run in parallel.", "findings": [ { "id": "steps-and-preconditions", "name": "Steps, preconditions and completion", "description": "What has to be true before each step of a International Mathematical Olympiad and what marks it done.", "questions": [ { "id": "steps-and-preconditions-q01", "text": "What identifies and describes a step of a International Mathematical Olympiad, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "steps-and-preconditions-q02", "text": "Who or what asserted this about a step of a International Mathematical Olympiad, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "steps-and-preconditions-q03", "text": "What may an agent decide or do once a step of a International Mathematical Olympiad is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] }, { "id": "inputs-and-results", "name": "Inputs, resources and results", "description": "What a International Mathematical Olympiad consumes and what it produces.", "findings": [ { "id": "inputs-and-outputs", "name": "Inputs, outputs and side effects", "description": "The resources a International Mathematical Olympiad takes and the results it leaves, wanted or not.", "questions": [ { "id": "inputs-and-outputs-q01", "text": "What identifies and describes the inputs and results of a International Mathematical Olympiad, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "inputs-and-outputs-q02", "text": "Who or what asserted this about the inputs and results of a International Mathematical Olympiad, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "inputs-and-outputs-q03", "text": "What may an agent decide or do once the inputs and results of a International Mathematical Olympiad is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] } ] }, { "id": "definitions-in-contest", "name": "Definitions and who holds them", "description": "What International Mathematical Olympiad is taken to mean, and by whom.", "rationale": "When a field disagrees about a concept, the disagreement is the content. A model that picks one definition silently destroys the information.", "layers": [ { "id": "competing-definitions", "name": "Competing definitions", "description": "The main readings and the traditions behind them.", "findings": [ { "id": "definition-map", "name": "Definitions and their holders", "description": "Each definition with the school or body that holds it.", "questions": [ { "id": "definition-map-q01", "text": "Which definitions of International Mathematical Olympiad are in use, and which tradition or body holds each?", "kind": "definition" }, { "id": "definition-map-q02", "text": "What turns on the difference between them in practice?", "kind": "boundary" } ] } ] }, { "id": "operationalisation", "name": "Operationalisation", "description": "How it is measured or applied when it has to be.", "findings": [ { "id": "operational-record", "name": "Measures and proxies", "description": "Instruments and indicators used to stand in for it.", "questions": [ { "id": "operational-record-q01", "text": "How is International Mathematical Olympiad operationalised or measured in practice, and by what instrument?", "kind": "measurement" }, { "id": "operational-record-q02", "text": "What does that operationalisation leave out, and when does that matter?", "kind": "boundary" } ] } ] } ] }, { "id": "instances-and-use", "name": "Instances, use and consequence", "description": "What counts as an instance of International Mathematical Olympiad and what follows from calling something that.", "rationale": "Applying a concept is an act with consequences, so a model must say what the label licenses and what it does not.", "layers": [ { "id": "instances", "name": "What counts as an instance", "description": "Clear cases, borderline cases and non-cases.", "findings": [ { "id": "instance-tests", "name": "Tests for an instance", "description": "What would settle whether something falls under it.", "questions": [ { "id": "instance-tests-q01", "text": "What would settle whether something is an instance of International Mathematical Olympiad?", "kind": "boundary" }, { "id": "instance-tests-q02", "text": "Which borderline cases are argued about, and on what grounds?", "kind": "definition" } ] } ] }, { "id": "consequence", "name": "Consequence of application", "description": "Rights, duties or decisions that follow from the label.", "findings": [ { "id": "consequence-record", "name": "What the label licenses", "description": "What an agent may do once something is classified this way.", "questions": [ { "id": "consequence-record-q01", "text": "What follows practically once something is treated as International Mathematical Olympiad?", "kind": "action" }, { "id": "consequence-record-q02", "text": "What must an agent not infer from the label alone?", "kind": "action" } ] } ] } ] }, { "id": "provenance-and-evidence", "name": "Provenance, evidence and time", "description": "Where every claim about a International Mathematical Olympiad came from and when it held.", "rationale": "A claim without a source and a time cannot be superseded, only overwritten, and an agent that overwrites loses the ability to explain itself.", "layers": [ { "id": "source-and-authority", "name": "Source and authority", "description": "Who said it, on what evidence, and how strongly.", "findings": [ { "id": "claim-provenance", "name": "Claim provenance and confidence", "description": "The authority behind each claim about a International Mathematical Olympiad and how confident it is.", "questions": [ { "id": "claim-provenance-q01", "text": "What identifies and describes a claim about a International Mathematical Olympiad, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "claim-provenance-q02", "text": "Who or what asserted this about a claim about a International Mathematical Olympiad, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "claim-provenance-q03", "text": "What may an agent decide or do once a claim about a International Mathematical Olympiad is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] }, { "id": "time-and-versions", "name": "Time, versions and supersession", "description": "When a claim was true, when it was learnt, and what replaced it.", "findings": [ { "id": "validity-and-supersession", "name": "Validity period and supersession", "description": "How an old claim about a International Mathematical Olympiad is retired without being erased.", "questions": [ { "id": "validity-and-supersession-q01", "text": "What identifies and describes the validity of a claim about a International Mathematical Olympiad, and in what units or vocabulary?", "kind": "definition", "answer_data": [ "identifiers", "types and classes", "values with units", "explicit unknowns" ] }, { "id": "validity-and-supersession-q02", "text": "Who or what asserted this about the validity of a claim about a International Mathematical Olympiad, by which method, and when was it true?", "kind": "provenance", "answer_data": [ "authority", "method", "evidence", "event time", "knowledge time" ] }, { "id": "validity-and-supersession-q03", "text": "What may an agent decide or do once the validity of a claim about a International Mathematical Olympiad is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] } ] } ] }, "statistics": { "bundles": 6, "layers": 12, "findings": 14, "questions": 38 } } } }