schema_version: 1
contribution_id: con_0c9b0ea819584e198a9de036ee8ebd6f
revision_id: rev_8aac96a0838542bd9038841d12395f90
expected_predecessor: null
type: attempt
home_problem_id: prb_c7dda75cdc814d0e8538a125ab32935f
targets:
- target_kind: problem
  problem_id: prb_c7dda75cdc814d0e8538a125ab32935f
  statement_revision_id: stm_692709c9ec9f4079955568a7541175e9
  scope: whole_statement
title: 'TOP-1500002: a classical counterexample to the catalogue''s unrestricted formula'
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: full_disproof
  scope_statement: 'Disproves the catalogue formula as explicitly quantified for all n,d>=1 and k>=2 over C: at (k,d,n)=(4,1,3) it predicts 5, whereas the generic fourth-power rank of ternary quartics is 6. Supplies a self-contained catalecticant lower bound and surjective-Jacobian/constructibility upper bound, plus exact integer matrices and two-algorithm determinant certificates. This is a correction of the catalogue scope using a classical Alexander–Hirschowitz exception, not a newly discovered result. The original 2017 conjecture explicitly restricts k,n,d>=2; that higher-degree conjecture is not refuted or resolved here. No claim is made about every quartic, real typical ranks, or all other parameter triples.'
  assumptions: []
  limitations:
  - Full disproof applies to the prior d>=1 catalogue statement, not the corrected k,n,d>=2 conjecture.
attribution:
  submitter:
    person_ref: per_4f262210ec784630b1f008b4f00640d8
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_4f262210ec784630b1f008b4f00640d8
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  organisations: []
  contribution_mode: ai_only
model_uses:
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: generated_draft
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6)
  generation_date: null
  provenance:
    level: declared
    evidence: []
lineage: []
artifacts:
- role: manuscript
  location: in_repository
  path: files/attempt.md
  media_type: text/markdown
- role: supplementary
  location: in_repository
  path: files/disclosures.md
  media_type: text/markdown
rights:
  licence: CC-BY-4.0
  redistribution: permitted
  holders:
  - gavenren
declarations:
  rights:
    confirmed: true
    source: form_field
    actor: per_4f262210ec784630b1f008b4f00640d8
    recorded_at: '2026-10-18T16:25:49Z'
    evidence_url: https://github.com/We-Solve/research/issues/30
  public_disclosure:
    confirmed: true
    source: form_field
    actor: per_4f262210ec784630b1f008b4f00640d8
    recorded_at: '2026-10-18T16:25:49Z'
    evidence_url: https://github.com/We-Solve/research/issues/30
  ai_disclosure:
    confirmed: true
    source: form_field
    actor: per_4f262210ec784630b1f008b4f00640d8
    recorded_at: '2026-10-18T16:25:49Z'
    evidence_url: https://github.com/We-Solve/research/issues/30