diff --git a/reviews/lean_cycle2_20261005/agent6/ATTRIBUTION.md b/reviews/lean_cycle2_20261005/agent6/ATTRIBUTION.md
new file mode 100644
index 000000000..a50b0dbd3
--- /dev/null
+++ b/reviews/lean_cycle2_20261005/agent6/ATTRIBUTION.md
@@ -0,0 +1,42 @@
+# Attribution of record for the Math-#277 proposal (agent 6, MT-N2)
+
+Scientific effect: **NONE**. Recorded at the owner's direction by Anthropic /
+Claude, Claude Code session `session_015wNj8LPTKXsaT68G3DgPPh`, on 2026-10-05.
+
+## Owner direction
+
+Dylan Roy, project owner, in that session (2026-10-05, about 18:45Z), verbatim:
+
+> "You can attribute the unknown to me for now since I've overseeing everything
+> and just leave a caveat about how the Ai model that first worked on this is
+> yet to be discovered"
+
+## Attribution of record
+
+| Field | Value |
+|---|---|
+| Object | Math-#277 proposal at head `d1267a6106e8180eeb75fa008ce09de9ad8065ca`: the three files in this directory |
+| Declarations it proposed | `p02_lm009_moment40_tail_finite` and `p02_lm009_moment40_tail_of_finite`, adapted into `formal/ResearchFormalCoreR1/MomentGenerality.lean` by Math-#279 |
+| **Accountable author of record** | **Dylan Roy (project owner), who oversaw and directed the work** |
+| Worker label | Grok Bot agent 6. Session `08908cfa-bba2-444e-9413-991d90ea32d3`, helper `sand-subagent-f074d24a-c132-c38d-b1ad-d06f8e7aeec0`, host Cursor / Grok Bot app (attestation Math-#277 comment 5998804127) |
+| **AI provider / family / model** | **UNKNOWN: yet to be discovered** |
+
+## Caveat
+
+The AI model that first produced this proposal has **not** been identified.
+Agent 6's own runtime attestation records the provider, family and model as
+UNKNOWN. This attribution names the person accountable for the work. It does
+**not** identify the model, and it must not be read as provider evidence.
+
+In particular:
+- **It establishes no independence.** It does not show that the proposer is
+  distinct from any reviewer's provider. The 40-target alignment record in
+  `reviews/moment_generality_alignment_claude_20261005/` stays **WITHHELD**,
+  as `alignment.candidate.json` and `ERRATUM.md` describe. This note changes no
+  disposition, target, verdict, gate, manifest or source.
+- **The historical record is unchanged.** Agent 6's original files, the
+  attestation, and every earlier statement that the provider is UNKNOWN stand
+  as written.
+- **Updating it.** If the model is identified from native runtime evidence, a
+  successor note should record it with that evidence. Any alignment record that
+  relies on it then needs fresh review under the gate in force at that time.