back to table · edit · history · where entries came from · files · download
11923 bytes, as of the version from 2026-10-27 01:14 (current). Recorded here, not run.
{
"tid": "T509",
"kind": "kei",
"parameters": [
"nu",
"x"
],
"rows": [
{
"params": {
"nu": "0",
"x": "0"
},
"argument": {
"type": "rational",
"value": "0"
},
"entry": "-0.7853981633974483096156608458198757210492923498437764552437361480769541015715522496570087063355292670",
"origin": "retained website entry",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "critical-1"
},
"argument": {
"type": "critical",
"bracket": [
"2525/512",
"5051/1024"
]
},
"entry": {
"number": "0.01121607419990225462968610550212830581958136943383852004202346059917794021365335524953707209168414540",
"param-latex": "$c_{1}$"
},
"origin": "retained website entry",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "critical-2"
},
"argument": {
"type": "critical",
"bracket": [
"9629/1024",
"4815/512"
]
},
"entry": {
"number": "-0.0003574233314143031268636497303367570403967878536925106829828487928821635403889476918737133128398581746",
"param-latex": "$c_{2}$"
},
"origin": "retained website entry",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "critical-3"
},
"argument": {
"type": "critical",
"bracket": [
"7095/512",
"14191/1024"
]
},
"entry": {
"number": "0.00001280426779512282747133305313202910069632872833556592639292593442067853772564800703672937535808468294",
"param-latex": "$c_{3}$"
},
"origin": "retained website entry",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "critical-4"
},
"argument": {
"type": "critical",
"bracket": [
"9373/512",
"18747/1024"
]
},
"entry": {
"number": "-4.829663311673812810217254958194214073811975272467812268285869326819485765173330109958417796166511975e-7",
"param-latex": "$c_{4}$"
},
"origin": "retained website entry",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "critical-5"
},
"argument": {
"type": "critical",
"bracket": [
"23299/1024",
"5825/256"
]
},
"entry": {
"number": "1.875719127110111416076657042368007368894697843623605017921420572180014317752503701739794658073531843e-8",
"param-latex": "$c_{5}$"
},
"origin": "retained website entry",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "critical-6"
},
"argument": {
"type": "critical",
"bracket": [
"6963/256",
"27853/1024"
]
},
"entry": {
"number": "-7.423440551835422885631605440440595234298262621975750136902652258719113793588882024693215181558670547e-10",
"param-latex": "$c_{6}$"
},
"origin": "retained website entry",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "1/2"
},
"argument": {
"type": "rational",
"value": "1/2"
},
"role": "order-zero sparse reference radii, not a mesh",
"origin": "balanced expansion",
"entry": "-0.6715816950943676032267757933140667937945186163351079505424391112234652584617846224347048791600466456",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "1"
},
"argument": {
"type": "rational",
"value": "1"
},
"role": "order-zero sparse reference radii, not a mesh",
"origin": "balanced expansion",
"entry": "-0.4949946365187199003470506525855924972743815991636390711639970239168024993767678373499684209545924413",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "2"
},
"argument": {
"type": "rational",
"value": "2"
},
"role": "order-zero sparse reference radii, not a mesh",
"origin": "balanced expansion",
"entry": "-0.2024000677647042882920513374402078460625891652301571765290058411499581280030765238678228439068035022",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "3"
},
"argument": {
"type": "rational",
"value": "3"
},
"role": "order-zero sparse reference radii, not a mesh",
"origin": "balanced expansion",
"entry": "-0.05112188404598678140246687753930501705761801214711540829741574498754372767304159984604871483815464182",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "5"
},
"argument": {
"type": "rational",
"value": "5"
},
"role": "order-zero sparse reference radii, not a mesh",
"origin": "balanced expansion",
"entry": "0.01118758650986963965667552736400978777876682637662985081232756126702945978961150154794393327914275687",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "8"
},
"argument": {
"type": "rational",
"value": "8"
},
"role": "order-zero sparse reference radii, not a mesh",
"origin": "balanced expansion",
"entry": "0.0003695839561259595925915010925054534990993167213293976342614966209021205910538219329149193737583009981",
"digits": 100
},
{
"params": {
"nu": "0",
"x": "sqrt(2)"
},
"argument": {
"type": "scaled_sqrt",
"factor": "1",
"radicand": "2"
},
"role": "equal real/imaginary rotated Bessel arguments at integer scale",
"origin": "balanced expansion",
"label": "$\\sqrt{2}$",
"entry": {
"number": "-0.3572774592853302506059456932500239816608493797652268019927308121841905663183372489545405457189320565",
"param-latex": "$\\sqrt{2}$"
},
"digits": 100
},
{
"params": {
"nu": "0",
"x": "2*sqrt(2)"
},
"argument": {
"type": "scaled_sqrt",
"factor": "2",
"radicand": "2"
},
"role": "equal real/imaginary rotated Bessel arguments at integer scale",
"origin": "balanced expansion",
"label": "$2\\sqrt{2}$",
"entry": {
"number": "-0.06840638720205165733076897510562687880001283232084045165259629128978504707478841559430352996599571284",
"param-latex": "$2\\sqrt{2}$"
},
"digits": 100
},
{
"params": {
"nu": "0",
"x": "4*sqrt(2)"
},
"argument": {
"type": "scaled_sqrt",
"factor": "4",
"radicand": "2"
},
"role": "equal real/imaginary rotated Bessel arguments at integer scale",
"origin": "balanced expansion",
"label": "$4\\sqrt{2}$",
"entry": {
"number": "0.008979611554680431548375816052893291514726844372198318075750034885038304363561954978156916651065117101",
"param-latex": "$4\\sqrt{2}$"
},
"digits": 100
},
{
"params": {
"nu": "1",
"x": "1"
},
"argument": {
"type": "rational",
"value": "1"
},
"role": "unit argument for adjacent integer orders and elementary half order",
"origin": "balanced expansion",
"entry": "-0.2419959664297382052235586232158387466658960412911319738891012297253909279431025776520244534956730192",
"digits": 100
},
{
"params": {
"nu": "2",
"x": "1"
},
"argument": {
"type": "rational",
"value": "1"
},
"role": "unit argument for adjacent integer orders and elementary half order",
"origin": "balanced expansion",
"entry": "1.884202418720100942808551999611908529517973862437390014393318678952186611282499684182303293627816889",
"digits": 100
},
{
"params": {
"nu": "3",
"x": "1"
},
"argument": {
"type": "rational",
"value": "1"
},
"role": "unit argument for adjacent integer orders and elementary half order",
"origin": "balanced expansion",
"entry": "-6.269710887239239886628893163571924198027909125499571816018381236530681468513489279494667107833260614",
"digits": 100
},
{
"params": {
"nu": "1/2",
"x": "1"
},
"argument": {
"type": "rational",
"value": "1"
},
"role": "unit argument for adjacent integer orders and elementary half order",
"origin": "balanced expansion",
"entry": "-0.5876768989301993494777666402392713306418908578150983371055610171410277640188516652766694469784269912",
"digits": 100
},
{
"params": {
"nu": "1",
"x": "2"
},
"argument": {
"type": "rational",
"value": "2"
},
"role": "order-one companion for radial derivative relations",
"origin": "balanced expansion",
"entry": "0.08004939780706673525782707704258199626491948770772451810079620043871281456406188224968157657733084525",
"digits": 100
}
],
"baseline_revision": "9bdbe132dc7c5425a22e03ae621d1635d2a3a80178427b8c1aec273b1783d13c",
"baseline_captured_utc": "2026-10-27T00:49:03.570188+00:00",
"rationale": "it preserves the existing order-zero extremal heights and finite initial value where present. Order zero gains the sparse references $x=1/2,1,2,3,5,8$ and $x=\\sqrt2,2\\sqrt2,4\\sqrt2$. The latter give equal integer-sized real and imaginary components in the rotated Bessel argument; this is a normalization-based reference, not a universal physical scale. Orders $1,2,3,1/2$ are sampled only at $x=1$, with order $1$ also at $x=2$, to cover adjacent integer-order relations and the elementary half-order reduction. These finite exploratory slices avoid a Cartesian grid and make no demand claim for each radius",
"sources": [
"https://dlmf.nist.gov/10.61",
"https://dlmf.nist.gov/10.63",
"https://dlmf.nist.gov/10.73"
],
"retained_source_sha256": {
"audit.json": "78deb2ffe24387af17f0b8067cff76de705f08ba9690f090320bd9d454998c59",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"check_t509_repair.py": "983a9bd810c2ac0affe3b2ca796e8f9d7c8ec81baba9ebb13af2fe7ac0e11845",
"checks-evidence.json": "de96d2f1d43bc2202e64f0985e0d8e16a6304eb07d656996de5e9bf027ffd935",
"checks.py": "d493ae7f6d9548dfdafc50940c3bc2a14062f66ed0b6511f86a3bc0d4e281785",
"computed-checks.jsonl": "4e3c54e3ad33c111725d9c7fd3ef4cf82d9d1a03db821d58570189a05b8254f9",
"dry-run.log": "61df7e73a1c7979c7128e7a79f35d0d3d566192f6869cac8167089acf2d326a9",
"generate.py": "8f9b79e9411d1987077a6ce37916b6a9c2c192ff18c80d1c8188c46ff9a9dd24",
"intrinsic_values.py": "9abda9287522297eea7668269d83aca3dc63e4c6385120fd663ff40d2310e184",
"program-checks.jsonl": "4ed4d620a3bf2abe8e0802bb81f172a2cd6f8a3ad3b2cf4e46fdf4d8d2942a65",
"repair_checks.json": "9fe531f626cff3bfe28fbef0e7c8d84171c4e2aefaa7be759a4765b1daa3510b",
"selection.json": "b367955fea49f73eba8d88db5faf6b838c926bc49aa2f584726ca3b0be9e4029",
"selection.md": "374ec33aa8963e23e50a7cef25b28e3b999acb7788884e71bf889177fa555ce0",
"stored-checks.jsonl": "a3e1915e58882c76870eea0087a755a9f97be241a67247e8deb08c5840306cd9",
"validation-repair.md": "47763424f0419275b37678e9f4d4bf53327352d36dc5ecd8ac20d59742c1e12f",
"validation.md": "a066e2294b8d14c577139feea5f485ae762bbe28b36fc8a56b88fe8e7aa99b39",
"verify.log": "2283cdbab30624bcbf283be5fae0268ed01f397889233392a8e6335365b5afbe"
},
"critical_source_sha256": "9abda9287522297eea7668269d83aca3dc63e4c6385120fd663ff40d2310e184"
}