provenance.json

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

1228 bytes, as of the version from 2026-11-09 18:56 (current). Recorded here, not run.

{
  "T683_roster_url": "https://numberdb.org/files/T683/roster.json?raw=1",
  "T683_roster_sha256": "df2b1d7ffdb8bc1afa5ae8c2ff257e3e5ad4840c5941445d86cadc733d5fd168",
  "selection": {
    "A": {
      "embeddings": 8,
      "roots": 146
    },
    "B": {
      "embeddings": 61,
      "roots": 122
    },
    "C": {
      "embeddings": 27,
      "roots": 108
    },
    "D": {
      "embeddings": 25,
      "roots": 250
    }
  },
  "rational_embeddings_by_group": {
    "A": 6,
    "B": 36,
    "C": 15,
    "D": 12
  },
  "verified_T683_embedded_labels": 88,
  "skill_manifest": "agents/runs/20261109T165350Z-build-skills/manifest.json",
  "sources": {
    "T80": "https://numberdb.org/Q-expansion_of_the_modular_discriminant",
    "T215": "https://numberdb.org/Hecke_polynomials_of_level_one_cusp_forms",
    "T323": "https://numberdb.org/Special_values_of_the_L-functions_of_level_one_cusp_forms",
    "T325": "https://numberdb.org/Normalised_Hecke_eigenvalues_of_level_one_cusp_forms",
    "T326": "https://numberdb.org/Petersson_norms_of_level_one_cusp_forms",
    "T683": "https://numberdb.org/Critical_L-values_of_higher-level_newforms",
    "T684": "https://numberdb.org/Petersson_norms_of_higher-level_newforms"
  }
}