{ "model": { "rank": 6606, "code": "thing-q154210", "model_id": "vr.tr.congruence", "name": "congruence", "purpose": "Enable an agent to recognise, assess and use claims of congruence by recording what is compared, which definition applies and what evidence satisfies its criteria.", "family": "Thing Registry", "category": "Cross-cutting context", "status": "research-draft", "kind": "thing", "plane": "XCT", "domain": "XCT.QLT", "industry": "", "version": "", "url": "/models/thing/q154210/", "tier": 2, "score": 59, "payload": { "layer": "wikidata", "aliases": [], "aliasCount": 0, "merged": 0, "knownIn": 59, "facets": null, "markers": [], "lexicalClass": "", "senseRank": null, "alsoRegisteredAs": null, "source": { "dataset": "wikidata", "item": "Q154210", "url": "https://www.wikidata.org/wiki/Q154210", "license": "CC0 1.0" } }, "research": { "vercy": "1.0-draft", "publication": { "status": "research-draft", "adjudicationStatus": "unreviewed", "publishableCanonical": false, "generatedAt": "2026-09-09T23:07:00Z", "providers": [ "Codex" ], "breadth": "recalled by Codex without web access - no source was read", "missingProviders": [], "pass": 2, "cost": { "grok": { "seconds": 16.7, "error": "Reading additional input from stdin...\nOpenAI Codex v0.153.4\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: 01a0886b-e56a-7850-a4be-4faff6978c3c\n--------\nuser\nDescribe what is already known about one registered thing. Answer as JSON only, no prose around it.\n\nThing: congruence\nSense to describe: (none recorded)\nDomain code: XCT.QLT\nAlso known as: (none)\n\n\nContext for this batch of 1001 things:\n# Batch 007: 1001 regi", "usd": 0, "recall": true }, "codex": { "seconds": 53.5, "error": "Reading additional input from stdin...\nOpenAI Codex v0.153.4\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: 01a0886b-e572-77b0-9e6d-e372aa813aeb\n--------\nuser\nYou are drafting a Vercy meta-model for one registered thing. Answer as JSON only, no prose around it.\n\nThing: congruence\nRegistry id: vr.tr.congruence\nPlane / domain: XCT / XCT.QLT\nRegistry definition: (none recorded)\nNames folded into this entry: (none)\n\n\nCo" } } }, "metaModel": { "id": "THING-Q154210", "registryId": "vr.tr.congruence", "name": "congruence", "version": "0.1.0-research.1", "entryKind": "thing", "family": "Thing Registry", "domain": [ "XCT.QLT" ], "status": "research-draft" }, "canonicalUrl": "https://ver.cy/models/thing/q154210/", "model": { "registry_id": "vr.tr.congruence", "name": "congruence", "purpose": "Enable an agent to recognise, assess and use claims of congruence by recording what is compared, which definition applies and what evidence satisfies its criteria.", "definition": "Congruence is a relation of agreement or correspondence whose criterion depends on context, including coincidence under an isometry in geometry, equality of residue classes in modular arithmetic, and consistency between experience, awareness and expression in person-centred psychology.", "scope_statement": "This model owns congruence as a context-dependent relation of correspondence or agreement, including the criteria and evidence that distinguish exact mathematical congruence from operationally defined alignment; the registry's intended sense remains unresolved.", "in_scope": [ "The meaning of congruence adopted by a field, framework or claimant", "The entities compared and the features, structures or expressions required to correspond", "Permitted transformations, moduli, operations or mappings that define a congruence relation", "Exact tests and explicitly qualified assessments of approximate or applied congruence", "Evidence, counterexamples and limits on conclusions drawn from congruence" ], "out_of_scope": [ "Complete models of the geometric objects, numbers or algebraic structures being compared", "Similarity and resemblance without the requirements of the selected congruence definition", "Correlation, association and causal relationships", "Truth, correctness or ethical value of the compared entities", "Complete theories of psychological functioning or organisational alignment" ], "distinguishing_features": [ "A congruence claim identifies a comparison rule: saying that two things look alike or agree generally is insufficient.", "In Euclidean geometry, congruence requires a distance-preserving correspondence; uniform scaling can establish similarity without establishing congruence.", "For integers modulo a positive integer n, congruence requires n to divide their difference; the integers need not be equal.", "In algebra, an equivalence relation is a congruence only when it is compatible with the relevant operations.", "Applied claims about congruence between experience, expression, values or behaviour require a named framework and assessment criteria; mathematical properties cannot be presumed." ], "characteristics": [ { "name": "Sense and defining framework", "kind": "category", "unit_or_values": "Euclidean geometric; modular arithmetic; algebraic; psychological; other explicitly defined applied sense; unresolved", "why_it_matters": "Determines which tests and inferences are legitimate." }, { "name": "Comparison relata", "kind": "relation", "unit_or_values": "Identified objects, elements, structures, experiences, expressions or behaviours, with their roles", "why_it_matters": "Prevents a claim about selected features from being mistaken for a claim about whole entities." }, { "name": "Congruence-defining rule", "kind": "relation", "unit_or_values": "Specified transformation class, modulus, operation-compatible equivalence relation or applied correspondence criterion", "why_it_matters": "Makes the claim testable and separates otherwise incompatible senses." }, { "name": "Assessment status", "kind": "state", "unit_or_values": "Unassessed; established under stated criteria; refuted under stated criteria; indeterminate", "why_it_matters": "Separates lack of evidence from demonstrated noncongruence." }, { "name": "Residual discrepancy", "kind": "measurement", "unit_or_values": "Framework-specific units and aggregation rule; zero where exact matching requires it; not applicable where no discrepancy measure is defined", "why_it_matters": "Supports qualified empirical assessments without treating every congruence relation as a numerical score." }, { "name": "Formal relation properties", "kind": "category", "unit_or_values": "Reflexivity, symmetry, transitivity and operation compatibility: established, failed, untested or not applicable", "why_it_matters": "Controls whether reversal, chaining, substitution or quotient construction is justified." } ], "affordances": [ "Disambiguate a congruence claim and select the applicable comparison procedure.", "Test a claim using a congruence witness, divisibility calculation, compatibility proof or framework-specific assessment.", "Identify the transformation, feature or criterion responsible for a mismatch.", "Determine whether congruence supports substitution, grouping or transfer of a particular property.", "Reassess an applied claim when observations, thresholds or comparison contexts change." ] }, "sources": [], "structure": { "bundles": [ { "id": "sense-and-definition", "name": "Sense and definition", "description": "Establishes which meaning of congruence governs a claim.", "rationale": "The same term denotes distinct formal relations and applied concepts whose criteria cannot be exchanged.", "layers": [ { "id": "disciplinary-sense", "name": "Disciplinary sense", "description": "Locates the claim within a mathematical or applied usage.", "findings": [ { "id": "governing-sense", "name": "Governing sense", "description": "Record the intended sense and the contextual evidence supporting that interpretation.", "questions": [ { "text": "Does congruence here concern rigid geometric correspondence, equality modulo a number, compatibility with algebraic operations or an applied form of agreement?", "kind": "definition", "id": "governing-sense-q01" }, { "text": "Which registry evidence, source or claimant identifies this sense?", "kind": "provenance", "id": "governing-sense-q02" } ] } ] }, { "id": "definition-commitments", "name": "Definition commitments", "description": "Makes adopted definitions and competing interpretations explicit.", "findings": [ { "id": "adopted-criterion", "name": "Adopted criterion", "description": "Record who adopts the definition, what it requires and where another definition would change the assessment.", "questions": [ { "text": "Which author, school or formal framework supplies the adopted definition of congruence?", "kind": "provenance", "id": "adopted-criterion-q01" }, { "text": "What candidate pair would count as congruent under this definition but fail under a competing definition?", "kind": "boundary", "id": "adopted-criterion-q02" } ] } ] } ] }, { "id": "comparison-rule", "name": "Comparison rule", "description": "Specifies the relata and the correspondence that must hold between them.", "rationale": "Congruence cannot be assessed without fixing both the comparison domain and its governing rule.", "layers": [ { "id": "relata-and-features", "name": "Relata and features", "description": "Identifies what is compared and what information participates in the comparison.", "findings": [ { "id": "comparison-boundary", "name": "Comparison boundary", "description": "Record the entities, selected features and contextual limits of the congruence claim.", "questions": [ { "text": "Which objects or aspects are compared, such as point configurations, integers, algebra elements or experience and expression?", "kind": "definition", "id": "comparison-boundary-q01" }, { "text": "Does the claim cover the whole entities or only specified features, occasions or representations?", "kind": "boundary", "id": "comparison-boundary-q02" } ] } ] }, { "id": "permitted-correspondence", "name": "Permitted correspondence", "description": "Defines what may differ while congruence is preserved.", "findings": [ { "id": "rule-parameters", "name": "Rule parameters", "description": "Record the permitted transformations, modulus, relevant operations or applied mapping criteria.", "questions": [ { "text": "Which transformations or differences are allowed: for example, reflection in geometry or an integer multiple of a specified modulus?", "kind": "definition", "id": "rule-parameters-q01" }, { "text": "Which change would break congruence, and is that boundary imposed by the definition or by an assessment convention?", "kind": "boundary", "id": "rule-parameters-q02" } ] } ] } ] }, { "id": "tests-and-evidence", "name": "Tests and evidence", "description": "Connects the definition to a reproducible assessment.", "rationale": "A formal proof, a geometric measurement and an applied rating provide different kinds of support.", "layers": [ { "id": "formal-tests", "name": "Formal tests", "description": "Captures decisive mathematical witnesses and counterexamples when a formal sense applies.", "findings": [ { "id": "congruence-witness", "name": "Congruence witness", "description": "Record the proof or counterexample appropriate to the selected mathematical relation.", "questions": [ { "text": "What establishes the claim: an isometry, a valid geometric congruence criterion, divisibility of a difference or proof of operation compatibility?", "kind": "measurement", "id": "congruence-witness-q01" }, { "text": "Which required condition fails if the claim is refuted?", "kind": "boundary", "id": "congruence-witness-q02" } ] } ] }, { "id": "empirical-operationalisation", "name": "Empirical operationalisation", "description": "Captures observations, instruments and tolerances for measured or applied assessments.", "findings": [ { "id": "assessment-resolution", "name": "Assessment resolution", "description": "Record how observations support an assessment and how uncertainty limits it.", "questions": [ { "text": "Which observations or instrument compare the relevant features, and how are discrepancies combined?", "kind": "measurement", "id": "assessment-resolution-q01" }, { "text": "What tolerance, observation period or uncertainty rule separates assessed congruence from mismatch or an indeterminate result?", "kind": "measurement", "id": "assessment-resolution-q02" }, { "text": "Who justified this operationalisation as a measure of the adopted concept of congruence?", "kind": "provenance", "id": "assessment-resolution-q03" } ] } ] } ] }, { "id": "consequences-and-limits", "name": "Consequences and limits", "description": "Determines what a congruence assessment permits an agent to infer or do.", "rationale": "Congruence licenses particular uses under particular rules; it does not imply unrestricted interchangeability.", "layers": [ { "id": "licensed-inferences", "name": "Licensed inferences", "description": "Identifies properties and operations preserved by the established relation.", "findings": [ { "id": "substitution-and-transfer", "name": "Substitution and transfer", "description": "Record which conclusions survive replacement by a congruent counterpart.", "questions": [ { "text": "Which properties or operations are preserved, and what supports that preservation?", "kind": "boundary", "id": "substitution-and-transfer-q01" }, { "text": "May the agent substitute one relatum for another, form equivalence classes or transfer a measurement in the intended task?", "kind": "action", "id": "substitution-and-transfer-q02" } ] } ] }, { "id": "claim-revision", "name": "Claim revision", "description": "Tracks when context changes invalidate an assessment or require a new test.", "findings": [ { "id": "reassessment-triggers", "name": "Reassessment triggers", "description": "Record dependencies on the comparison rule, observations and time, including limits on chaining claims.", "questions": [ { "text": "Would changing the modulus, permitted transformations, feature selection or applied framework require a new congruence assessment?", "kind": "boundary", "id": "reassessment-triggers-q01" }, { "text": "Before combining two congruence claims, has transitivity been established for their shared rule, especially if tolerances are used?", "kind": "action", "id": "reassessment-triggers-q02" }, { "text": "Which new observation or contextual change should trigger reassessment of an applied congruence claim?", "kind": "action", "id": "reassessment-triggers-q03" } ] } ] } ] }, { "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-confidence-notes", "name": "Check these first", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "No sense is recorded, so the intended meaning cannot be established from the supplied name and domain code; the senses listed should not be assumed to form one unified construct.", "Geometric congruence normally allows reflections; direct congruence restricts the allowed isometries to those preserving orientation.", "Psychological definitions and operational measures require source-specific checking; no sources were consulted for this recall response." ], "questions": [ { "id": "evidence-confidence-notes-q01", "text": "Which of these check these first hold for the sense of congruence this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-kinds", "name": "Kinds and varieties", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "Geometric congruence", "Congruence modulo an integer", "Congruence relations compatible with algebraic operations", "Matrix congruence", "Psychological congruence in the person-centred tradition" ], "questions": [ { "id": "evidence-kinds-q01", "text": "Which of these kinds and varieties hold for the sense of congruence this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-real-world-use", "name": "Real-world use", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "Proving that geometric figures have matching shapes and sizes.", "Computing with residues in number theory, cryptography and computer algorithms.", "Constructing quotient structures using equivalence relations that preserve algebraic operations.", "Classifying quadratic forms through matrix congruence.", "Discussing authenticity and consistency in Carl Rogers's person-centred approach to psychotherapy." ], "questions": [ { "id": "evidence-real-world-use-q01", "text": "Which of these real-world use hold for the sense of congruence this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-measurements", "name": "Typical measurements", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ { "quantity": "Integer remainder used to test congruence modulo n", "typical_range": "For positive integer n, the remainder of a − b modulo n lies from 0 to n − 1; congruence holds exactly when it is 0.", "unit": "Dimensionless" } ], "questions": [ { "id": "evidence-measurements-q01", "text": "Which of these typical measurements hold for the sense of congruence this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-failure-modes-and-hazards", "name": "Failure modes and hazards", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ "Transferring a definition between fields without specifying the relevant criterion.", "Confusing geometric congruence with similarity, which permits a change of scale.", "Treating congruence modulo n as ordinary equality.", "Assuming every equivalence relation is an algebraic congruence without checking compatibility with operations.", "Treating psychological congruence as a single universally agreed or directly measurable quantity." ], "questions": [ { "id": "evidence-failure-modes-and-hazards-q01", "text": "Which of these failure modes and hazards hold for the sense of congruence this model covers, and on what evidence?", "kind": "provenance" } ] }, { "id": "evidence-neighbours", "name": "Neighbouring kinds and how to tell them apart", "description": "Recalled without web access and unsourced; every item is a lead to verify.", "evidence": [ { "name": "similarity", "difference": "Geometric similarity permits uniform scaling; geometric congruence requires an isometry and therefore preserves size." }, { "name": "equality", "difference": "Distinct integers can be congruent modulo n; equality requires them to be the same integer." }, { "name": "equivalence relation", "difference": "An algebraic congruence is an equivalence relation that also respects the operations of the structure." }, { "name": "matrix similarity", "difference": "Over the real numbers, matrix similarity uses B = P⁻¹AP, whereas matrix congruence uses B = PᵀAP, with P invertible." }, { "name": "authenticity", "difference": "Authenticity is a broader notion of being true to oneself; Rogerian congruence concerns specified relationships among experience, awareness and expression." } ], "questions": [ { "id": "evidence-neighbours-q01", "text": "Which of these neighbouring kinds and how to tell them apart hold for the sense of congruence this model covers, and on what evidence?", "kind": "provenance" } ] } ] } ] } ] }, "openQuestions": [ "Does vr.tr.congruence intend a general quality of agreement, a mathematical relation or a particular psychological concept?", "Which authoritative sources and competing definitions should anchor the intended registry sense?", "Do existing registered things or world models already own any of these senses, requiring links instead of duplicated coverage?", "For any intended applied sense, which operationalisations are supported, and do they treat congruence as categorical, graded or context-dependent?", "Which treatment of geometric reflection and other permitted transformations is appropriate if geometric congruence belongs within this entry?" ], "statistics": { "bundles": 5, "layers": 9, "findings": 14, "questions": 24 } }, "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 congruence, record what state it is in, and decide what may be done with it.", "whatItIs": "Enable an agent to recognise, assess and use claims of congruence by recording what is compared, which definition applies and what evidence satisfies its criteria.", "characteristics": { "substance": "abstract", "origin": "conceptual", "agency": "inert" }, "whatYouCanDoWithIt": [ "observed and measured" ], "distinguishingFeatures": [ "Described in 59 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 congruence, and on what evidence are they told apart?" ], "whatItIsMadeOf": "an abstraction with no physical instance", "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 59 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 congruence from another, and a congruence 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 congruence, 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 congruence, 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 congruence 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 congruence, 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 congruence, 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 congruence 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 congruence 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 congruence, 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 congruence, 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 congruence 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 congruence from the things most often confused with it.", "questions": [ { "id": "distinguishing-features-q01", "text": "What identifies and describes what distinguishes a congruence, 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 congruence, 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 congruence 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 congruence 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 congruence between them.", "questions": [ { "id": "stages-and-transitions-q01", "text": "What identifies and describes the lifecycle of a congruence, 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 congruence, 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 congruence 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 congruence, how often and by whom.", "findings": [ { "id": "observation-record", "name": "Observation record", "description": "How an observation of a congruence 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 congruence, 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 congruence, 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 congruence 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 congruence 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 congruence 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 congruence 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 congruence 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 congruence?", "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 congruence?", "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 congruence 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 congruence and how confident it is.", "questions": [ { "id": "claim-provenance-q01", "text": "What identifies and describes a claim about a congruence, 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 congruence, 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 congruence 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 congruence is retired without being erased.", "questions": [ { "id": "validity-and-supersession-q01", "text": "What identifies and describes the validity of a claim about a congruence, 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 congruence, 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 congruence is known, and what must it refuse?", "kind": "action", "answer_data": [ "permitted actions", "preconditions", "refusals", "escalation" ] } ] } ] } ] } ] }, "statistics": { "bundles": 5, "layers": 10, "findings": 12, "questions": 32 } } } }