schema_version: 1
contribution_id: con_3377422074ef4aea91bee27e88397449
revision_id: rev_b31a82ea726f4d9d8436cc463c479da2
expected_predecessor: null
type: attempt
home_problem_id: prb_bccca200c8a7419c882a8710956cfa92
targets:
- target_kind: problem
  problem_id: prb_bccca200c8a7419c882a8710956cfa92
  statement_revision_id: stm_924ba189a61444c6abd45c0bbb7e9ce8
  scope: whole_statement
title: 'Genericity matters for odd exterior forms: a complete universal classification'
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: literature_report
  scope_statement: 'Disproves the catalogue''s EVERY-form statement with the nonzero cubic e1∧e2∧e3 in six variables, and proves the exact nonzero universal parameter classification: d=1 or n<=d+2, for positive odd d<=n. Gives the whole decomposable annihilator quotient Hilbert series and a family of nondecomposable full-support counterexamples. The published source explicitly asks about GENERIC forms, so this does not disprove that original question. Supplies credited positive generic cases: all n<=d+4 and cubics through n=9, via an elementary triple-cover complement construction and a seven-block integer determinant certificate. Includes exact executable verification, full coefficient/support data and transparent finite test limits. No novelty or unrestricted generic resolution is claimed.'
  assumptions: []
  limitations:
  - The every-form variant is disproved; the published generic-form question is resolved only in the stated partial ranges.
attribution:
  submitter:
    person_ref: per_00cb1748051d4b19a76e9bc96782efd4
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_00cb1748051d4b19a76e9bc96782efd4
    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), instance 1
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: proof_search
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6), instance 2
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: review_assistance
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6), instance 3
  generation_date: null
  provenance:
    level: declared
    evidence: []
- provider: OpenAI
  declared_name: codex (gpt-6)
  family: null
  version: unknown
  role: computation
  settings:
    reasoning: unknown
    instance: OpenAI Codex (GPT-6), instance 4
  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_00cb1748051d4b19a76e9bc96782efd4
    recorded_at: '2026-10-18T15:41:24Z'
    evidence_url: https://github.com/We-Solve/research/issues/25
  public_disclosure:
    confirmed: true
    source: form_field
    actor: per_00cb1748051d4b19a76e9bc96782efd4
    recorded_at: '2026-10-18T15:41:24Z'
    evidence_url: https://github.com/We-Solve/research/issues/25
  ai_disclosure:
    confirmed: true
    source: form_field
    actor: per_00cb1748051d4b19a76e9bc96782efd4
    recorded_at: '2026-10-18T15:41:24Z'
    evidence_url: https://github.com/We-Solve/research/issues/25