schema_version: 1
contribution_id: con_1edfcb8a23f447afbc7a0a295df12b6d
revision_id: rev_ece00fcdd0a94480a9bb685332b565a2
expected_predecessor: null
type: attempt
home_problem_id: prb_f155e7b02ba34c5cbc2402e84aa03922
targets:
- target_kind: problem
  problem_id: prb_f155e7b02ba34c5cbc2402e84aa03922
  statement_revision_id: stm_a388d692668149a3a2ac43e24ae9a255
  scope: part_of_statement
title: Symbolic versus ordinary powers for linearly independent projective points
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: literature_report
  scope_statement: 'Gives the entire Hilbert-series difference for every power m>=1 of s linearly independent points in P^(n-1), for all 1<=s<=n; also proves equality of powers for every finite set of points on P^1. Credits Fröberg–Shapiro (2026) for the spanning case and earlier Chakraborty–Mandal complete-graph invariants. Supplies a self-contained ambient-variable convolution, exact support/top coefficients, minimal quotient-generator counts, containment thresholds with explicit witnesses, and resurgence. Corrects the specific numerical assertion of Theorem 4.4 in arXiv:1904.07717v2 at four coordinate points and power three: symbolic defect 13, not 1. No novelty, journal-version correction, or solution for arbitrary s>n in higher dimension is claimed. Includes an executable exact verifier and its actual finite limits; independent proof review and all recorded computations passed.'
  assumptions: []
  limitations: []
attribution:
  submitter:
    person_ref: per_a49ab984f6c24c6ab784b166ca3f497f
    github_id: 206281466
    login_at_event: gavenren
    display_name: gavenren
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans:
  - person_ref: per_a49ab984f6c24c6ab784b166ca3f497f
    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_a49ab984f6c24c6ab784b166ca3f497f
    recorded_at: '2026-10-18T15:33:16Z'
    evidence_url: https://github.com/We-Solve/research/issues/24
  public_disclosure:
    confirmed: true
    source: form_field
    actor: per_a49ab984f6c24c6ab784b166ca3f497f
    recorded_at: '2026-10-18T15:33:16Z'
    evidence_url: https://github.com/We-Solve/research/issues/24
  ai_disclosure:
    confirmed: true
    source: form_field
    actor: per_a49ab984f6c24c6ab784b166ca3f497f
    recorded_at: '2026-10-18T15:33:16Z'
    evidence_url: https://github.com/We-Solve/research/issues/24