sources.json

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

1569 bytes, as of the version from 2026-11-10 00:44 (current). Recorded here, not run.

{
  "skill_manifest": "agents/runs/20261110T001313Z-build-skills/manifest.json",
  "sources": {
    "guillera-rogers.html": {
      "url": "https://arxiv.org/html/1006.1654v2",
      "sha256": "c46c09f78c92c046b1edb7389480fb262b308c9fa8cce65e477d66791d8ada1e"
    },
    "brunault.pdf": {
      "url": "https://perso.ens-lyon.fr/francois.brunault/recherche/LEF.pdf",
      "sha256": "47523b8acfd7db3e25adf60f28c6bb3328a21fe509aa1752b11001b5f0cd3d4c"
    },
    "samart.html": {
      "url": "https://arxiv.org/html/1309.7730v2",
      "sha256": "9b05a2aed33fbe24c848fd9a76d1e5eb344ca2824c19a4eeb6b7a968629cdd3b"
    },
    "sage-cm.html": {
      "url": "https://doc.sagemath.org/html/en/reference/arithmetic_curves/sage/schemes/elliptic_curves/cm.html",
      "sha256": "fb60bd0fd91fffce701a67edf1ca7cf4c32dafc82ca32fbcbd7f606378da2f52"
    }
  },
  "source_locators": {
    "guillera-rogers.html": "Section 3, Theorem 4, equations (26)-(28); Bloch-Wigner inversion identity",
    "brunault.pdf": "Page 5 defining D_q and page 6 Proposition 6, equation (17), negative sign",
    "samart.html": "Section 1, q-series definitions and positive-sign regulator formula",
    "sage-cm.html": "cm_orders(1), complete list of (fundamental discriminant, conductor) pairs"
  },
  "discovery": "discovery.json and neighbours.json preserve corpus searches, all family-map definitions and three value lookups",
  "independence": "checks.py uses a Fourier/Hurwitz computation, a Mahler integral and a bounded lattice sum; this is build evidence, not the separate campaign critique"
}