back to table · edit · history · where entries came from · files · download
3250 bytes, as of the version from 2026-11-02 02:56 (current). Recorded here, not run.
{
"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"
}
}