# Original contributor disclosures

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

## 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: exact statement and primary-source inspection, right-action reconstruction, explicit witness and sufficiency proofs, exact certificate software, independent same-model mathematical/code review, and submission preparation. Separate inherited same-model agents reviewed the proof and the permutation convention. No formal proof-assistant certification or independent human mathematical verification is claimed.

## People and roles

Gaven (@gavenren) requested continued deeply investigated contributions and authorized public submission. No human mathematical derivation or proof checking in this session is asserted. Przemek Chojecki is credited for the established bottleneck family and partition-stabilizer counterexample.