git:20261102.6a29bba to git:20261102.cc6afec

4 added, 3 removed. Audit A to A.

# docs/downstream — agent guide

## Overview

Registry of external repositories that apply GNN. [README.md](README.md) is the

index; one Markdown file per repository carries the full evidence. Every claim

must be verified against the repository it describes on that repository's origin

default branch.

## Contents

| File | Role |

|------|------|

| [README.md](README.md) | Index table, method, scope, exclusions |

| `active-inference-language-model.md` | AILM language-stack models |

| `geo-infer.md` | GEO-INFER spatial interchange |

| `cogant.md` | Code-to-GNN translation |

| `active-inference-battleship.md` | Battleship model and dashboard |

| `policy-entanglement.md` | Policy-ensemble GNN examples |

| `active-fractal-rabbit.md` | Waypoint active-inference scaffold |

| `active-cardference.md` | Card-game agent specifications |

| `fep-formal.md` | Lean ↔ GNN bridge contract |

| `fundamentals.md` | Textbook companion |

| `cognitive.md` | Active inference package and vault |

| `active-blockference.md` | radCAD/cadCAD grid simulations |

| `gen24.md` | NHIM inquiry agent |

| `cerebrum.md` | Case-conditioned active inference |

| `biofirm.md` | Ecological control model |

| `active-inferants.md` | Multi-language framework |

| `actinf-rxinfer.md` | RxInfer.jl coin-flip example |

| `active-skillference.md` | Micro-learning prerequisite graph |

| `active-inference-implementations.md` | Educational RxInfer.jl notebooks |

| `active-inference-power.md` | Statistical-power simulations |

| `ants.md` | Ant-colony foraging simulation |

| `on-policy-distillation.md` | On-policy distillation models |

## Verification rules

- Verify from the repository itself on its origin default branch; never copy a

claim from internal notes or from another row.

- - Cite the pin file and the workflow job, test file or command that carries the

- evidence. If evidence is absent, write "not verified" or "no GNN-specific CI

- job" instead of implying more.

+ - Cite the pin file, or the contract that records the revision (each row names

+ it), and the workflow job, test file or command that carries the evidence. If

+ evidence is absent, write "not verified" or "no GNN-specific CI job" instead of

+ implying more.

- Re-verify a row when its repository changes its pin file or GNN specification.

## Related

- [../README.md](../README.md) — documentation hub

- [../SPEC.md](../SPEC.md) — doc-tree design requirements

- [../expected_dirs.txt](../expected_dirs.txt) — canonical directory list