{
  "ai.registry": "triadicframeworks_agentic_modules",
  "ai.version": "1.0",
  "ai.description": "Registry of all RTT-aligned agentic research modules in /docs/Research/agentic/.",
  "ai.total_modules": 13,

  "modules": [
    {
      "id": "abc_tau_missing_primes_rtt",
      "file": "abc-tau-missing-primes_module.json",
      "summary": "ABC implies Ramanujan’s tau misses almost all primes.",
      "category": "analytic_number_theory"
    },
    {
      "id": "andrews_dhar_partitions_rtt",
      "file": "andrews-dhar-partitions_module.json",
      "summary": "Restricted partitions under Andrews–Dhar constraints.",
      "category": "partition_theory"
    },
    {
      "id": "chebyshev_demazure_dyck_rtt",
      "file": "chebyshev-demazure-dyck_module.json",
      "summary": "Chebyshev quotients, Demazure multiplicities, Dyck-path models.",
      "category": "algebraic_combinatorics"
    },
    {
      "id": "collatz_transformers_rtt",
      "file": "collatz_transformers_rtt_module.json",
      "summary": "RTT agentic module for the Collatz transformer paper.",
      "category": "dynamics"
    },
    {
      "id": "fel_syzygies_rtt",
      "file": "fel-syzygies_module.json",
      "summary": "Fel’s conjecture on syzygies of numerical semigroups.",
      "category": "commutative_algebra"
    },
    {
      "id": "nekr_okounkov_dominant_zeros_rtt",
      "file": "nekr-okounkov-dominant-zeros_module.json",
      "summary": "Dominant zeros of Nekrasov–Okounkov polynomials.",
      "category": "analytic_number_theory"
    },
    {
      "id": "parity_k_differentials_rtt",
      "file": "parity-k-differentials_module.json",
      "summary": "Parity of k‑differentials in genus zero and one.",
      "category": "algebraic_geometry"
    },
    {
      "id": "partial_regular_primes_rtt",
      "file": "partial-regular-primes_module.json",
      "summary": "Almost all primes are partially regular.",
      "category": "analytic_number_theory"
    },
    {
      "id": "paucity_lattice_triangles_rtt",
      "file": "paucity-lattice-triangles_module.json",
      "summary": "Paucity of rational lattice triangles via Fourier/Ramanujan analysis.",
      "category": "analytic_number_theory"
    },
    {
      "id": "quadratic_rational_dinv_rtt",
      "file": "quadratic-rational-dinv_module.json",
      "summary": "Quadratic-form generalization of rational dinv.",
      "category": "algebraic_combinatorics"
    },
    {
      "id": "reciprocals_partition_polynomials_rtt",
      "file": "reciprocals-partition-polynomials_module.json",
      "summary": "Reciprocals of partition polynomials and zero distribution.",
      "category": "analytic_number_theory"
    },
    {
      "id": "thakur_power_sums_rtt",
      "file": "thakur-power-sums_module.json",
      "summary": "Thakur’s hypotheses on power sums over F_q[t].",
      "category": "finite_field_arithmetic"
    },
    {
      "id": "we_cant_agree_formally_rtt",
      "file": "we-cant-agree-formally_module.json",
      "summary": "Formalization of Aumann’s Agreement Theorem.",
      "category": "logic_and_formal_verification"
    }
  ]
}