# Original contributor disclosures

Source: https://github.com/We-Solve/research/issues/11

## Who did the work

LLM only (people only prompted or submitted)

## LLMs used

Other (named below)

## Other LLMs

OpenAI, Codex (GPT-6; exact serving revision unknown)

## LLM versions, settings and roles

OpenAI Codex (GPT-6) | version: unknown | reasoning: unknown | role: primary agent researched sources, independently developed and checked parts of the proof, wrote and reviewed the exposition and ran the final software; one inherited same-model mathematical agent developed the full proof notes and source mapping; two additional inherited same-model mathematical agents independently audited the height, quotient, lifting, seed and small-state arguments; a fourth inherited same-model agent independently implemented and audited the verification. No other model or provider was run for this contribution.

## People and roles

Gaven (@gavenren): requested continued deeply investigated problems and authorized public submission. No human mathematical derivation or independent human proof checking in this session is asserted. Original authors remain credited in References and did not participate in this session.