{"schema":"https://ver.cy/schemas/card/1.0.0","id":"vr.tr.integer","code":"thing-q12503","url":"https://ver.cy/models/thing/q12503/","name":"integer","alternateNames":["process identifier","even house number","odd house number","logical block address","intersection number","non-negative integer","order of reflexion","Miller index","Skewes' number","minimum vertex degree","sphericity","Takeuchi number"],"kind":"thing","status":"published","version":"0.2.0-wave.1","language":"en","classifiers":{"family":"Thing Registry","category":"Cross-cutting context","entryKind":"thing","plane":"XCT","domain":["XCT.QTY"],"industry":[],"navPath":"","tags":[],"facets":{}},"whatItIs":"A number that is zero, a positive whole number or the negative of one: ..., -2, -1, 0, 1, 2, ...; the set Z.","purpose":"Let an agent reason about integers mathematically and in computing, where fixed-width representations add overflow and signedness issues.","scope":{"in":[],"out":[],"boundaries":[]},"distinguishingFeatures":["Whole numbers, positive, negative and zero","Closed under addition, subtraction and multiplication, not division","Computer integers have fixed ranges unless arbitrary precision","Numeric identifiers are not quantities"],"structure":{"bundles":[{"id":"mathematics","name":"Mathematics","description":"Properties of integers.","layers":[{"id":"arithmetic","name":"Arithmetic","description":"Operations and closure.","findings":[{"id":"arithmetic-finding","name":"Operations","description":"Operations and results.","questions":[{"text":"Does the operation stay within the integers?","kind":"definition"},{"text":"How is division with remainder defined here for negatives?","kind":"boundary"}]}]},{"id":"properties","name":"Properties","description":"Parity, primality, divisibility.","findings":[{"id":"properties-finding","name":"Properties","description":"Number-theoretic properties.","questions":[{"text":"Is it even or odd, prime or composite?","kind":"measurement"},{"text":"What are its divisors?","kind":"measurement"}]}]}]},{"id":"representation","name":"Representation","description":"In computers.","layers":[{"id":"width","name":"Width and sign","description":"int32, int64, unsigned.","findings":[{"id":"width-finding","name":"Type","description":"The type and range.","questions":[{"text":"Which integer type holds this value, and what is its range?","kind":"definition"},{"text":"Is it signed or unsigned?","kind":"definition"}]}]},{"id":"overflow","name":"Overflow","description":"Wraparound and errors.","findings":[{"id":"overflow-finding","name":"Overflow handling","description":"How overflow is handled.","questions":[{"text":"Can this calculation overflow?","kind":"boundary"},{"text":"Is overflow checked, wrapped or saturated?","kind":"definition"}]}]}]},{"id":"interchange","name":"Interchange","description":"Passing integers between systems.","layers":[{"id":"formats","name":"Formats","description":"JSON, CSV, databases.","findings":[{"id":"formats-finding","name":"Format limits","description":"Limits of formats.","questions":[{"text":"Will this integer survive the format without loss?","kind":"boundary"},{"text":"Should it be sent as a string?","kind":"action"}]}]},{"id":"parsing","name":"Parsing","description":"Leading zeros and separators.","findings":[{"id":"parsing-finding","name":"Parsing rules","description":"Parsing rules.","questions":[{"text":"How are leading zeros and separators handled?","kind":"boundary"},{"text":"Is the value an identifier rather than a number?","kind":"definition"}]}]}]},{"id":"identifiers","name":"Identifiers","description":"Integers as labels.","layers":[{"id":"label","name":"Label or quantity","description":"Nature of the value.","findings":[{"id":"label-finding","name":"Nature","description":"Whether the integer is a label.","questions":[{"text":"Is this integer a quantity or a label?","kind":"definition"},{"text":"What operations make sense on it?","kind":"boundary"}]}]},{"id":"uniqueness","name":"Uniqueness","description":"Scope of identifiers.","findings":[{"id":"uniqueness-finding","name":"Scope","description":"Where the identifier is unique.","questions":[{"text":"Within what scope is this identifier unique?","kind":"boundary"},{"text":"Can it be reused?","kind":"boundary"}]}]}]}]},"agentConduct":{"may":["Perform integer arithmetic within stated bounds and check for overflow.","Store large integers, such as identifiers, as strings where floating point would round them."],"mustNot":["Let integers silently overflow or wrap in calculations that matter.","Mix signed and unsigned integers without checking.","Do arithmetic on identifiers that only look like numbers."],"requiresHuman":["Changing integer types in systems that hold money or safety values."]},"ethics":{"considerations":["Integer errors have caused failures in finance, aviation and medicine."],"affectedParties":["Users of software","People whose records are counted"]},"owners":{"steward":"Nobody owns the integers; they are held in common.","roles":[],"masterSystems":[]},"relations":[{"target":"Q11756524","type":"parent","note":"registry parent class"},{"target":"Q724975","type":"parent","note":"registry parent class"},{"target":"Q8424307","type":"parent","note":"registry parent class"},{"target":"number","type":"related","note":"the set Z"},{"target":"sign","type":"related","note":"positive, negative or zero"},{"target":"identifier","type":"related","note":"numeric labels"},{"target":"floating-point number","type":"related","note":"approximate reals"}],"interaction":{"identity":{"applicability":"required","items":["Vercy registry: vr.tr.integer","Wikidata: Q12503 (https://www.wikidata.org/wiki/Q12503)","OEIS: A-numbers integer sequences"]},"properties":{"applicability":"not-applicable","items":["int32 range: -2147483648 to 2147483647 dimensionless","int64 maximum: 9223372036854775807 dimensionless"]},"recognition":{"applicability":"optional","items":["Numerals with no decimal point","Types such as int32, int64, BigInt in code","Identifiers that look like integers are labels, not quantities","Digits without a fractional part, optionally with a minus sign."]},"capabilities":{"applicability":"required","items":["add, subtract and multiply, staying within the integers","divide with remainder","store it, in fixed or arbitrary precision","use it as an identifier, such as a process id or block address"]},"hazards":{"applicability":"required","items":["Integer overflow and wraparound","Signed and unsigned mismatches","Rounding when integers pass through floating point, such as in JSON beyond 2^53","Doing arithmetic on identifiers"]},"interfaces":{"applicability":"required","items":["ISO 80000-2 notation","ISO/IEC 9899 C and other language standards defining integer types"]},"context":{"applicability":"required","items":["Counting, indexing, identifiers and exact arithmetic.","natural numbers and non-negative integers","even and odd integers","primes","signed and unsigned machine integers"]}},"sources":[{"title":"Wikidata item Q12503: integer","url":"https://www.wikidata.org/wiki/Q12503","note":"identity and sense of the item"},{"title":"Wikipedia: Integer","url":"https://en.wikipedia.org/wiki/Integer","note":"general description of the item"}],"openQuestions":["Should machine integer types be separate entries?","How should identifiers be marked so they are not treated as quantities?","The registry entry has merged aliases such as house numbers; should they be split off?"],"resources":{"spec":"/models/things/publications/thing-q12503/spec.json"},"provenance":{"origin":"thing registry research (pass 2)","builtFrom":["models/things/publications/thing-q12503/spec.json"],"providers":["Claude"],"researchStatus":"unreviewed","generatedAt":"2026-09-11T05:00:00Z","builder":"tools/build_cards.py@1.0.0"},"completeness":{"sections":{"classifiers":"filled","whatItIs":"filled","purpose":"filled","distinguishingFeatures":"filled","structure":"filled","agentConduct":"filled","ethics":"filled","owners":"filled","relations":"filled","interaction.identity":"filled","interaction.properties":"not-applicable","interaction.recognition":"filled","interaction.capabilities":"filled","interaction.hazards":"filled","interaction.interfaces":"filled","interaction.context":"filled","sources":"filled"},"notes":{"_gate":"Published through the thing publication gate 1.0 on 2026-10-06T19:51:53+00:00: completeness 1.00; sense: Wikidata description; 2 live sources; review by codex: pass","interaction.properties":"Plane XCT: no invented physical properties."},"score":1.0}}