schema_version: 1
contribution_id: con_d33820ac1d1a4418b597467535cd4e52
revision_id: rev_4d0457b209e746e698e0958592fc9008
expected_predecessor: null
type: attempt
home_problem_id: prb_a1b2b1f67d0e489da50d97b732d8291d
targets:
- target_kind: problem
  problem_id: prb_a1b2b1f67d0e489da50d97b732d8291d
  statement_revision_id: stm_5d6a8b87cebe4937b6d8c7fea223254f
  scope: whole_statement
title: 'Subexponential exact counting and ETH: extended source-pinned proof exposition'
profiles:
- id: mathematical_argument
  version: 1
  required: true
claim:
  type: literature_report
  scope_statement: 'Extended literature exposition of the reported ETH refutation: bounded-occurrence interpolation, measurement separation, low-rank construction, disjoint reduction, sparse-polynomial counting and deterministic parity tests; includes the sharper recursive tensor-contraction route, arithmetic/space accounting and machine/encoding scope. Distinguishes manuscript runtimes from documented formal scope. No original algorithm discovery or complete independent verification is claimed.'
  assumptions:
  - Results are attributed to the cited source versions.
  limitations:
  - A literature/source-correspondence report, not a certification of all external proof dependencies.
  - No Lean execution, source-code execution or TeX compilation was performed.
attribution:
  submitter:
    person_ref: per_7f82cd2a95d142e9851ea9404d713c5c
    github_id: 243585043
    login_at_event: mehmetmars7
    display_name: mehmetmars7
    roles:
    - prompting
    - submission
    authorship_confirmation: confirmed
  humans: []
  organisations: []
  contribution_mode: ai_only
model_uses:
- provider: openai
  declared_name: gpt-6 astra pro
  family: null
  version: unknown
  role: generated_draft
  settings:
    thinking_level: unknown
    thinking_time: unknown
  generation_date: null
  provenance:
    level: declared
    evidence:
    - kind: statement
      note: GPT-6 Astra Pro declared in the owner-supplied literature-report preparation package; exact build, thinking setting and time unknown.
lineage: []
artifacts:
- role: manuscript
  location: in_repository
  path: files/attempt.tex
  media_type: application/x-tex
rights:
  licence: CC-BY-4.0
  redistribution: permitted
  holders:
  - We-Solve
  notes: Submitting human explicitly confirmed CC BY4.0 publication rights, public release and complete people/model disclosure on 26 October2026. External papers/code/PDFs are cited, not redistributed.
declarations:
  rights:
    confirmed: true
    source: cli_confirmation
    actor: per_7f82cd2a95d142e9851ea9404d713c5c
  public_disclosure:
    confirmed: true
    source: cli_confirmation
    actor: per_7f82cd2a95d142e9851ea9404d713c5c
  ai_disclosure:
    confirmed: true
    source: cli_confirmation
    actor: per_7f82cd2a95d142e9851ea9404d713c5c