{"schema":"https://ver.cy/schemas/card/1.0.0","id":"vr.tr.woodall-number","code":"thing-q951293","url":"https://ver.cy/models/thing/q951293/","name":"Woodall number","alternateNames":[],"kind":"thing","status":"published","version":"0.2.0-wave.3","language":"en","classifiers":{"family":"Thing Registry","category":"Cross-cutting context","entryKind":"thing","plane":"XCT","domain":["XCT.QTY"],"industry":[],"navPath":"","tags":[],"facets":{}},"whatItIs":"A natural number of the form n times 2 to the n minus 1 for a positive integer n, the sequence beginning 1, 7, 23, 63, 159, 383, named after H. R. Woodall who studied their primality with Cunningham in 1917; Woodall primes are Woodall numbers that are prime, such as 7, 23, 383 and 5119, are conjectured to be infinitely many, and are the counterpart of Cullen numbers of the form n times 2 to the n plus 1.","purpose":"Let an agent define Woodall numbers and Woodall primes, relay known results and searches from number theory references, and distinguish them from Cullen numbers and other special forms.","scope":{"in":[],"out":[],"boundaries":[]},"distinguishingFeatures":["Simple closed form","Rare primes","Counterpart of Cullen numbers","Distributed search targets"],"structure":{"bundles":[{"id":"define","name":"Define","description":"Definition.","layers":[{"id":"definition","name":"Definition","description":"Definition.","findings":[{"id":"definition-finding","name":"Definition","description":"Definition.","questions":[{"text":"What is a Woodall number, and how does it relate to Cullen numbers?","kind":"definition"},{"text":"Is the question about Woodall, Cullen or Mersenne numbers?","kind":"boundary"}]}]},{"id":"sequence","name":"Sequence","description":"Sequence.","findings":[{"id":"sequence-finding","name":"Sequence","description":"Sequence.","questions":[{"text":"What are the first Woodall numbers and primes, and where are they catalogued?","kind":"measurement"},{"text":"Which entry fits Cullen number?","kind":"action"}]}]}]},{"id":"results","name":"Results","description":"Results.","layers":[{"id":"primality","name":"Primality","description":"Primality results.","findings":[{"id":"primality-finding","name":"Primality","description":"Primality.","questions":[{"text":"What is known about Woodall primes, including divisibility results and density?","kind":"provenance"},{"text":"Which references are standard?","kind":"provenance"}]}]},{"id":"searches","name":"Searches","description":"Computational searches.","findings":[{"id":"searches-finding","name":"Searches","description":"Searches.","questions":[{"text":"How are Woodall primes searched for in distributed computing projects, and what is the largest known?","kind":"provenance"},{"text":"Is the information current?","kind":"boundary"}]}]}]},{"id":"context","name":"Context","description":"History and generalisations.","layers":[{"id":"history","name":"History","description":"History.","findings":[{"id":"history-finding","name":"History","description":"History.","questions":[{"text":"How did Woodall and Cunningham study these numbers in 1917?","kind":"provenance"},{"text":"Which sources are cited?","kind":"provenance"}]}]},{"id":"generalised","name":"Generalised","description":"Generalisations.","findings":[{"id":"generalised-finding","name":"Generalised","description":"Generalised.","questions":[{"text":"What are generalised Woodall numbers in other bases?","kind":"provenance"},{"text":"Which entry fits generalised Woodall number?","kind":"action"}]}]}]},{"id":"use","name":"Use","description":"Recreational and educational.","layers":[{"id":"recreational","name":"Recreational","description":"Recreational mathematics.","findings":[{"id":"recreational-finding","name":"Recreational","description":"Recreational.","questions":[{"text":"How do Woodall numbers appear in recreational mathematics and prime hunting?","kind":"provenance"},{"text":"Which entry fits prime number search?","kind":"action"}]}]},{"id":"education","name":"Education","description":"Teaching.","findings":[{"id":"education-finding","name":"Education","description":"Education.","questions":[{"text":"How can Woodall numbers be used to teach exponent forms and primality?","kind":"provenance"},{"text":"Which entry fits mathematics education?","kind":"action"}]}]}]}]},"agentConduct":{"may":["Compute and verify Woodall numbers and test candidates for primality.","Explain their relation to Cullen numbers and known Woodall primes."],"mustNot":["Announce a new Woodall prime without independent verification.","Claim credit for a distributed computing project's result.","Present a probable prime as proven prime."],"requiresHuman":["Publishing a claimed record prime discovery."]},"ethics":{"considerations":["Record claims in computational number theory rest on verification by others.","Volunteers in distributed searches deserve credit for their contributions."],"affectedParties":["Mathematicians","Volunteer computing participants","Students"]},"owners":{"steward":"Nobody owns a number sequence; search projects record their own discoveries.","roles":[],"masterSystems":["Integer sequence databases","Prime number record lists"]},"relations":[{"target":"Q16317911","type":"parent","note":"registry parent class"},{"target":"positive integer","type":"related","note":"in registry terms"},{"target":"Cullen number","type":"related","note":"the plus-one counterpart"},{"target":"H. R. Woodall","type":"related","note":"the mathematician"},{"target":"OEIS","type":"related","note":"as A003261"}],"interaction":{"identity":{"applicability":"required","items":["Vercy registry: vr.tr.woodall-number","Wikidata: Q951293 (https://www.wikidata.org/wiki/Q951293)","OEIS: A003261 Woodall numbers","OEIS: A050918 Woodall primes"]},"properties":{"applicability":"not-applicable","items":["first Woodall prime: 7 number - n equals 2","known Woodall primes: about 30 count - as of recent searches"]},"recognition":{"applicability":"optional","items":["Numbers n times 2^n minus 1","Sequence OEIS A003261, Woodall primes A050918","Cullen numbers add one instead; Mersenne numbers are 2^n minus 1","The sequence 1, 7, 23, 63, 159, 383, 895, ..."]},"capabilities":{"applicability":"required","items":["define and list","relay primes and results","relay computational searches","distinguish from Cullen numbers"]},"hazards":{"applicability":"required","items":["Confusing with Cullen or Mersenne numbers","Stale lists of known primes","Computation errors"]},"interfaces":{"applicability":"required","items":["No regulation; mathematical conventions"]},"context":{"applicability":"required","items":["Not applicable; a class of integers.","Woodall numbers in general","Woodall primes","generalised Woodall numbers in other bases","Cullen numbers as the related class"]}},"sources":[{"title":"Wikidata item Q951293: Woodall number","url":"https://www.wikidata.org/wiki/Q951293","note":"identity and sense of the item"},{"title":"Wikipedia: Woodall number","url":"https://en.wikipedia.org/wiki/Woodall_number","note":"general description of the item"}],"openQuestions":["Are there infinitely many Woodall primes?","How should OEIS and search projects be linked?","How should generalised Woodall numbers be recorded?"],"resources":{"spec":"/models/things/publications/thing-q951293/spec.json"},"provenance":{"origin":"thing registry research (pass 2)","builtFrom":["models/things/publications/thing-q951293/spec.json"],"providers":["Claude"],"researchStatus":"unreviewed","generatedAt":"2026-09-13T01:44:01Z","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:52:03+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}}