balanced-selection.json

back to table · edit · history · where entries came from · files · download

11536 bytes, as of the version from 2026-10-27 01:13 (current). Recorded here, not run.

{
  "tid": "T490",
  "kind": "ber",
  "parameters": [
    "nu",
    "x"
  ],
  "rows": [
    {
      "params": {
        "nu": "0",
        "x": "0"
      },
      "argument": {
        "type": "rational",
        "value": "0"
      },
      "entry": "1",
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-1"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "6183/1024",
          "773/128"
        ]
      },
      "entry": {
        "number": "-8.864035637926815335833480239762869049602342289310825089996665554299655756839240634889114995280289388",
        "param-latex": "$c_{1}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-2"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "10765/1024",
          "5383/512"
        ]
      },
      "entry": {
        "number": "153.7818170665563089872917167349389796989594770865332457205178642788913149501402494817137919632723359",
        "param-latex": "$c_{2}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-3"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "15327/1024",
          "479/32"
        ]
      },
      "entry": {
        "number": "-2968.681053396700191195319004537843752488588817130221897515108160079083619192317972605928571338240232",
        "param-latex": "$c_{3}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-4"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "19883/1024",
          "4971/256"
        ]
      },
      "entry": {
        "number": "60161.19377960584153184248344449864266669324610875711486929724616408993566790610860203894921931279625",
        "param-latex": "$c_{4}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-5"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "24437/1024",
          "12219/512"
        ]
      },
      "entry": {
        "number": "-1253741.380760774060742444872180491089229765366136864741404517131024432384905368469342032346839047371",
        "param-latex": "$c_{5}$"
      },
      "origin": "retained website entry",
      "digits": 100
    },
    {
      "params": {
        "nu": "0",
        "x": "critical-6"
      },
      "argument": {
        "type": "critical",
        "bracket": [
          "28989/1024",
          "14495/512"
        ]
      },
      "entry": {
        "number": "26607312.52781742287442160119287700174623767591021727994702998892234508246265248112735227780202523477",
        "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.9990234639908382555545313252724473349387947620647174835071974436086586992311440730081529086892610849",
      "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.9843817812130868839655556591402742222351061257755367115043770392300994681293277861833751162246583040",
      "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.7517341827138082285509989012307465759595865766072920027388446846029269470777819352526746234680821515",
      "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.2213802495986938888682464345899509922321158208707030422589623775446460173460493246749422865209815087",
      "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": "-6.230082478666357733185078679007434790248818308244424014947488587603283160571548163189135920940923345",
      "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": "20.97395561073025606970063722031244182469853682810652169740237659974602446829763300878233045143358070",
      "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.9376084768060292765997381974258187169462808245971615634970801987589415823619956620339494020168531842",
        "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.02765447838030457812639050064574808087747851613354102109805763378223855749008828888049225575960985112",
        "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": "-8.384329163044035895705692709842548083464121232845559234906081789227914897495830398921404653426691190",
        "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.3958682610197113913186742435823714599222817236221887638738909489747476869753582335404696242762805852",
      "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": "0.01041124172310776974861955612857234281727886299727831311551534771771010318978857942549990238851732329",
      "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": "0.01378798404930144187526462910019161022163009865675844051275520778212545682615644037147789827011898437",
      "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.1800816058441569819950129104902309586593932734014278679909961314274498694887990104290769593320457033",
      "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.9970776519264285333390717056427504846979137771993431259761397566328720829277545405634407069990922347",
      "digits": 100
    }
  ],
  "baseline_revision": "a70e668aa8245a8154f1a07710694f64e0680f36055f19276605a50d5ff1beb4",
  "baseline_captured_utc": "2026-10-27T00:48:59.477901+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-final.json": "ffdf3e4d8b32060e06ac581a74a25b883f090c2f676a1b534798fbc2259dc069",
    "build-handoff.md": "527ce7ed4762a924c0ad49cf72e181ce6c718dedccb04794432e45630159ef4f",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "checks-evidence.json": "c521b731ac7375397ed0fe8ccd8adbd2852e8a51f7859014a1a984fa8e670cda",
    "checks.py": "d493ae7f6d9548dfdafc50940c3bc2a14062f66ed0b6511f86a3bc0d4e281785",
    "generate.py": "ae494c1b81a677aeeb70f58437c3895ff6d5c5dcc8bac6eb0c8ce9dd9089b53c",
    "intrinsic_values.py": "9abda9287522297eea7668269d83aca3dc63e4c6385120fd663ff40d2310e184",
    "numerical-checks.json": "caf4b6d55a7c13f7754217fdc45d72ef042270870ffe765232e0f21115cac41a",
    "repair-origin-checks.json": "7d01e3203ce522e35ddd55e375fac2c43171fbc53b35aad27a79fcb8fbf1afb2",
    "repair-origin-checks.py": "018e4301515b79e2db24e5d59dd945a6bbe3332ee01d148da33e0a770ce9796e",
    "selection.json": "d452251c4449143ebc401eb43a164b16605c21dc9bb6b0cf31df0aab8deb52e2",
    "selection.md": "dbd94a933f678960e702c17ff67a4081f033d6f229b3de8ab7a9eadf3d76f22b",
    "source-evidence.md": "bd4ed149837ac9efec25fab3180ddf2fea9849e7b1145ff150468e64b33c6687",
    "stored-checks.json": "90c7079acdb6176572e8aad71d440cd3aab19b050614593c3fdb160a343bef6b"
  },
  "critical_source_sha256": "9abda9287522297eea7668269d83aca3dc63e4c6385120fd663ff40d2310e184"
}