{
  "table": "T665",
  "stage": "build",
  "run": "20261102T013956Z",
  "skill_manifest": "agents/runs/20261102T013956Z-build-skills/manifest.json",
  "skill_versions": [
    {
      "source": "local",
      "file": "skill-local.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    },
    {
      "source": "live",
      "file": "skill-live.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    }
  ],
  "enumeration": "Every ordered (N,a,b), 3<=N<=10, a,b>=1, a+b<N",
  "entries": 120,
  "digits_per_nonzero_component": 100,
  "exact_zero_real_components": 10,
  "working_bits": 429,
  "minimum_relative_component_bits": 421.5569092190451,
  "independent_integral": "500-bit split Euler integral, 450 positive binomial terms per half, rigorous 2*next-term tail bound",
  "controls": [
    "Euler integral (1,1) = 1",
    "Euler integral (1/2,1/2) = pi",
    "AGM K(m=0) = pi/2",
    "10^-90 perturbations rejected"
  ],
  "local_identities": {
    "symmetry_rows": 120,
    "imprimitive_reductions": 11,
    "exact_zero_real_parts": 10,
    "conjugation_rows": 120,
    "quartic_agm_control": true,
    "translated_cycle_integrals": 8514
  },
  "readback_identities": {
    "symmetry_rows": 120,
    "imprimitive_reductions": 11,
    "exact_zero_real_parts": 10,
    "conjugation_rows": 120,
    "quartic_agm_control": true,
    "translated_cycle_integrals": 8514
  },
  "metadata_checks": {
    "metadata_rows": 120,
    "full_cohomology_characters": 240,
    "geometric_sum_relations": 720
  },
  "verify": "<VerifyReport T665: 120/120 matched, 0 differing, 0 missing, 0 extra>",
  "stored_T25_control": true,
  "longest_written_entry": 213,
  "written_block_kb_without_full_parameter_overhead": 28.4345703125,
  "program_check": "Sage Programs snippet matches independent integral on all 120 rows",
  "audit": {
    "tid": "T665",
    "title": "Holomorphic periods of Fermat curves",
    "findings": [
      "Tags: \"curves\" reaches only this table; a tag that leads nowhere else leads nowhere"
    ],
    "clean": false
  },
  "audit_assessment": "The sole warning is a false positive for curves: public tag endpoint lists T107, while the audit tests the published-only table_count<=1 without counting the draft being audited. Retained the existing family tag and documented the source evidence.",
  "lifecycle": "Private populated draft; no offer, publication or human review action performed. Independent critique is still required.",
  "source_checks": [
    {
      "url": "https://arxiv.org/html/1003.0357v1",
      "locators": "Section 4.1, equation (4.1)",
      "sha256": "11612b6285805b91bd2646a433312161c3bd4a994b9b7ae9000d06cc83820cb2"
    },
    {
      "url": "https://arxiv.org/html/1404.7476v1",
      "locators": "Sections 2.1, 2.2, 5.1; equations (2.3), (5.2)",
      "sha256": "8ccb962b6398c5344838fae81c39879c7fd601d137faad8897a29f397052362a"
    },
    {
      "url": "https://dlmf.nist.gov/5.12.E1",
      "locators": "Euler beta integral"
    },
    {
      "url": "https://dlmf.nist.gov/19.8",
      "locators": "AGM identities and elliptic-period integral"
    }
  ],
  "dependencies": {
    "SageMath": "10.9",
    "numberdb": "0.1.10"
  }
}
