schema_version: 1
contribution_id: con_783a0a4554464dfe84c31e1142dd2562
revision_id: rev_c58b0e58b0104198b4584e044d5a5ef6
expected_predecessor: null
type: attempt
home_problem_id: prb_2287020bc08a42eaa92a2e3050ad3b19
targets:
- target_kind: problem
  problem_id: prb_2287020bc08a42eaa92a2e3050ad3b19
  statement_revision_id: stm_1867f59a15264b9dbe183d6875650a58
  scope: part_of_statement
title: 'TOP-1500024: the commutative family and the even exterior family'
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: literature_report
  scope_statement: 'Over C, for the generic forms of the catalogue: report Boij–Lundqvist arXiv:2608.22823v1, Theorem 5.5 (commutative quotient, every n>=1) and Corollary 5.6 (exterior quotient, every even n). These prove the specified path series in those families. The unrestricted odd exterior family is not proved by this submission. CLN Proposition 4 is credited for earlier odd n<=19 computations. Clarify the floor/ceiling typo in the 2026 displayed conjectures, not in its theorem or the catalogue. Supply an independent path recurrence proof, 7,740 exact path checks, and 44 exact finite-field Hilbert-vector checks for n=2..12, with code and data. The modular examples alone do not prove generic characteristic-zero equality. This is a literature report, not a newly discovered resolution.'
  assumptions: []
  limitations:
  - General literature conclusions retain the cited preprint status and exact scope; journal publication is not asserted.
attribution:
  submitter:
    person_ref: per_964a8fa6ed6f4c8ea51ba94841957eba
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_964a8fa6ed6f4c8ea51ba94841957eba
    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_964a8fa6ed6f4c8ea51ba94841957eba
    recorded_at: '2026-10-18T16:19:15Z'
    evidence_url: https://github.com/We-Solve/research/issues/29
  public_disclosure:
    confirmed: true
    source: form_field
    actor: per_964a8fa6ed6f4c8ea51ba94841957eba
    recorded_at: '2026-10-18T16:19:15Z'
    evidence_url: https://github.com/We-Solve/research/issues/29
  ai_disclosure:
    confirmed: true
    source: form_field
    actor: per_964a8fa6ed6f4c8ea51ba94841957eba
    recorded_at: '2026-10-18T16:19:15Z'
    evidence_url: https://github.com/We-Solve/research/issues/29