Computational · Paper · 2026

COGANT: Deterministic Codebase-to-GNN Translation

Zenodo

Catalog Row169
Citation KeyFriedman2026COGANTDeterministicCodebaseGNN169
Paper FolderAvailable

Overview

Extracted from the local paper documentation when available.

COGANT (Codebase-to-GNN Translation) deterministically converts software repositories into structured Active Inference artifacts expressed in the Active Inference Institute's Generalized Notation Notation (GNN — Generalized Notation Notation , not graph neural networks). It is best understood as an evidence compiler : it propagates reviewable program facts through a fixpoint rule pipeline (in the tradition of fixpoint program analysis) and emits graph, matrix, provenance, visualization, and roundtrip artifacts rather than a single opaque embedding or proof. A program-graph intermediate representation (IR) carries confidence and provenance; a fixpoint translation engine applies 22 declarative rules mapping nodes onto 7 Active Inference mapping kinds . Each emitted bundle includes a seed-induced structural partition using Markov-blanket role vocabulary, and a reverse synthesizer reconstruc

program analysisGeneralized Notation Notation (GNN)intermediate representationcode property graphactive inferencereproducible researchcodebase-to-model translationcognitive ecosystem modeling

Use Notes

Concise findings and methods pulled from README/SKILL documentation.

Findings / Concepts
  • program analysis — fixpoint propagation of reviewable program facts
  • Generalized Notation Notation (GNN) — Active Inference model artifact format
  • intermediate representation — confidence- and provenance-carrying program graph
  • active inference — 7 mapping kinds; Markov-blanket structural partition
  • reproducible research — forward→reverse→forward roundtrip evidence
Methods / Techniques
  • Not yet summarized.

Citation

Plain-text citation for quick reuse.

Friedman, Daniel Ari. 2026. COGANT: Deterministic Codebase-to-GNN Translation. Zenodo.

Primary source Documentation BibTeX

Related in Computational

Other catalogued works in the same domain.