schema_version: 1
contribution_id: con_3c400e0949504410ad7f2d61520d43b9
revision_id: rev_e07c3a2de5a940c695591d037f0730d3
expected_predecessor: null
type: attempt
home_problem_id: prb_94f7553139864cf78d6311e3db49c212
targets:
- target_kind: problem
  problem_id: prb_94f7553139864cf78d6311e3db49c212
  statement_revision_id: stm_777d88b25e5c490ca76c1777d6124ccf
  scope: whole_statement
title: 'All-dimensional local smoothing: 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 all-dimensional local-smoothing theorem: conserved current, quaternionic determinant equation, moving-fiber Dirichlet problem, corrected energy, barriers and two-circle propagation. Derives transfer and interpolation consequences and reports restriction, Kakeya, Bochner–Riesz and square-function applications with explicit source dependencies and limits. No original discovery or independent complete proof/formal 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_c285f5607391454e9ef41946feaa7895
    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.
- provider: openai
  declared_name: gpt-6-astra
  family: null
  version: unknown
  role: review_assistance
  settings:
    thinking_level: ultra
    thinking_time: unknown
  generation_date: null
  provenance:
    level: declared
    evidence:
    - kind: statement
      note: Actual subsequent editorial review by gpt-6-astra at Ultra supplied the separately labeled propagation-hypothesis clarification on 26 October 2026; not original discovery or complete proof certification. Exact serving build and thinking 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_c285f5607391454e9ef41946feaa7895
  public_disclosure:
    confirmed: true
    source: cli_confirmation
    actor: per_c285f5607391454e9ef41946feaa7895
  ai_disclosure:
    confirmed: true
    source: cli_confirmation
    actor: per_c285f5607391454e9ef41946feaa7895