[gHashTag]

App.K — Agent Memory scaffold (GOLD IV PhD anchor)

Documentation-only scaffold for the GOLD IV ring (KG-memory layer): integration of zig-knowledge-graph + trios-kg as the long-horizon memory substrate for LEAD/agent orchestration.

What ships

• docs/phd/appendix/K-agent-memory.tex — 7-section appendix (G.1 Motivation through G.7 References). The chapter was renamed App.G → App.K to avoid collision with the existing appendix/D-golden-mirror.tex per the issue title note.
• docs/phd/main.tex now includes \include{appendix/K-agent-memory}.
• assertions/igla_assertions.json gains 3 INV candidates born wip (never Proven) per the INV-13 policy:
  • INV-13 kg_remember_idempotent
  • INV-14 kg_recall_budget_bounded (already enforced at the trait level by SR-MEM-01 🥈 [SR-MEM-01] kg-client-adapter — retry/circuit-breaker over trios-kg #453)
  • INV-15 kg_supersede_history_monotone
• docs/phd/experiment_map.md — new GOLD-IV row + counter shift (3 Proven + 5 Admitted + 3 wip).
• .trinity/state/three-roads-465.json — follow-up routes.
• .trinity/experience/trios_<date>.trinity — entry appended.

Acceptance criteria audit

• docs/phd/chapters/appendix_G_agent_memory.tex created — at docs/phd/appendix/K-agent-memory.tex to match existing repo convention (appendix/<Letter>-<slug>.tex) and avoid the App.G/App.D-mirror collision called out in the issue title.
• G.1 Motivation, G.2 Substrate, G.3 Public API, G.4 INV candidates, G.5 Coq placeholders, G.6 Falsifiers (sketch), G.7 References — all sections present.
• Entry added to docs/phd/experiment_map.md linking App. K → GOLD IV ring.
• Entries added to assertions/igla_assertions.json for INV-13/14/15 with status: wip (NOT Proven).
• R14: prose mentions of existing Proven INVs use \citetheorem{} fallback macro (added at top of file).
• No Coq changes (crates/trios-coq/ and trinity-clara/proofs/ untouched).
• No new Admitted. (admitted_budget=5/5 LOCKED).
• Agent: CitationScribe trailer.

R5-honest disclosures

• No .v file created. The Coq theorem names in §G.5 are placeholders only. The chapter cites them via \citeWIP{} (companion macro added in docs(phd): R14 \citetheorem retrofit for 3 Proven INVs across 11 chapters (closes #464) #486), never via \citetheorem{}~(Proven).
• §G.4 honestly attributes already-shipped trait-level enforcement: SR-MEM-01 (🥈 [SR-MEM-01] kg-client-adapter — retry/circuit-breaker over trios-kg #453) already enforces INV-14's budget bound via recall_respects_budget test. INV-13 (remember_triple_idempotent_on_id test) and INV-15 (supersede_inserts_then_deletes) are likewise covered at runtime — but neither is Coq-Proven, hence wip.
• The renamed location (appendix/K-agent-memory.tex not chapters/appendix_G_agent_memory.tex) follows existing repo convention; flagging here so the issue's wording isn't misread as a different file.

Out of scope (tracked, not in this PR)

• GOLD IV SR ring implementation (crates/trios-agent-memory/rings/BR-OUTPUT/) → 🥇 [BR-OUTPUT] AgentMemory trait assembler (GOLD IV) #461.
• Coq formalisation of INV-13/14/15 → no issue yet; tracked in three-roads-465.json R1.
• Production wiring of trios-kg into LEAD agent.

CI honest disclosure

Pre-existing failures on main (I5 red on legacy crates/trios-a2a/rings/* and crates/trios-mcp/rings/*, ARCH-UI, generic Test) are out of scope. Merge via --admin --squash --delete-branch per EPIC #446 stewardship.

Closes #465
Part-of: #446

🌻 α_φ = φ⁻³/2 ≈ 0.1180 · φ²+φ⁻²=3 · TRINITY