source-evidence.json

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

3169 bytes, as of the version from 2026-10-30 22:26 (current). Recorded here, not run.

{
  "sources": [
    {
      "name": "DowkerChang",
      "url": "https://arxiv.org/pdf/0904.0744",
      "locator": "Section 3, equations (2), (4), (6)-(9)",
      "checked": "Minimal scalar eigenvalues, flat character projector and Hodge/torsion relation. Complex dimensions are counted once here; the source sometimes realifies the line.",
      "sha256": "002f826d9313c600dcbb722da0a3d2e97a52f6ae7b4a0ab2d9c27a7ce137f982"
    },
    {
      "name": "NashOConnor",
      "url": "https://arxiv.org/pdf/hep-th/9212022",
      "locator": "Equation (1.1); Sections 2-4",
      "checked": "Nontrivial-character scalar and coexact controls at L(2,1). Its torsion notation is not imported unconverted.",
      "sha256": "4068b222747fcddc04858c634da5db47871afb26aa98ca48c7162efe6cae360d"
    },
    {
      "name": "Kitaoka",
      "url": "https://sigma-journal.com/2022/091/sigma22-091.pdf",
      "locator": "Equation (4.3), Proposition 5.1, and Appendix A",
      "checked": "Unit-radius trivial torsion 2*pi^2/p^2 and nontrivial line torsion product; g_std distinguished from 4*g_std.",
      "archive_error": "HTTPError",
      "read_using": "web PDF/HTML extraction during the build"
    },
    {
      "name": "Saglam",
      "url": "https://www.uni-muenster.de/FB10/mjm/vol_15/mjm_vol_15_12.pdf",
      "locator": "Theorem 1.3, p.392",
      "checked": "Unoriented classification by negation and inversion of q. Coordinate exchange and conjugation realize round isometries.",
      "sha256": "2d7c454b7e324b85a3c9326f033e6abcfa7312adaec2308a16b9f3153b13aacd"
    },
    {
      "name": "CunhaFreitas",
      "url": "https://arxiv.org/pdf/2404.12114v1",
      "locator": "Corollary 2.9; Section 3.2",
      "checked": "Unit three-sphere scalar determinant and real projective scalar convention.",
      "sha256": "9b65abea5aba31ecd1d1262d063c24cb7895fe5d7a1c4bea31e88c22ee5f019d"
    }
  ],
  "live_companions": {
    "T631": "3da8610f5f827609492160998db0bd788eba8b26f2804c37f551d6b1d0757592",
    "T599": "bc6aed84db2371759696eafa882bff6795f8f00bca6f78bc84c55e4e21c2c1c6",
    "T595": "c5215d9e9b7c4a8903873f1523744c15b8dedf49e04d038e1ac08560d5587e2f",
    "T600": "5c5c0cf587c37d18d32d879393036c72626cd958cbfabf615a538b2ef10043a1",
    "T622": "38a552a9f2994ffb22f4e2e9c2e9be8d591fde6738a498b6e0fafdd145839c54",
    "T623": "7c06d89228899d9ef5e2428277b874ed00632e10a23dc13de042446fd1816977",
    "T14": "ecd2d17401efd7514e7236f51e4dbae1e71cd6caf2e9f7e9fb7ae892461aa328",
    "T228": "d39060d3e4056db6ca96359be068a8c4884ff52a7d59d3e3c9a7bcbcfc17881d",
    "T94": "65645196887e4e4f10f797f8c2546bf9a972687dfabe7240bec2917c6f95e36a"
  },
  "T631_url_read_from_page": "https://numberdb.org/Coexact_one-form_Laplacian_determinants_on_lens_spaces",
  "T631_code_consulted": {
    "coexact-generate.py": "fb65d748f6ec248cc8e8551ea7a9fdb6e8b5aa3a7df8fe69d533e4fe56e4062a",
    "coexact-checks.py": "3f2f175e7ec4b18625c634e8546d5fa0eea9b4284274dceacbde6eb53d358a07",
    "coexact-continuation.md": "f6963983c78a8e188d3443742af555b0c8f2cc326ce9247851bd11a9840d7321",
    "coexact-argument-selection.md": "ab921fca645864f48a8666fa76cf82bd93dee4a5361b851617bcc4b64f49893c"
  }
}