Skip to content

ADR index — graphopt ​

Decision records aggregated across the product's public repos. The canonical registry is host/project/adrs/INDEX.md (on the host repo's project branch); this page is the published cross-repo view. Generated by docs/scripts/gen-docs-index.py. status and date are read from each record's frontmatter (ADR-0163).

graphopt ​

#titlestatusdatefile
0001Weight-space structure hypothesis: falsifiedrejected2025-09project/adrs/0001-weight-space-structure-falsified.md
0002The categorical re-expression thesisaccepted2026-09project/adrs/0002-categorical-re-expression-thesis.md
0003Evaluation is an independent dimensionaccepted2026-10project/adrs/0003-evaluation-is-an-independent-dimension.md
0004Abstraction as a legal moveproposed2026-10project/adrs/0004-abstraction-as-move.md
0005The open game: human-free discovery inside anchored anchorsaccepted2026-10project/adrs/0005-the-open-game.md
0006ONNX as a second backend, in two directionsaccepted2026-10-15project/adrs/0006-onnx-backend.md
0007Semantic atoms: how new meaning enters the object languageproposed2026-10-14project/adrs/0007-semantic-atom-minting.md
0008Combinator presentation of the IR (monoidal + trace)proposed2026-10-14project/adrs/0008-combinator-presentation.md
0009The machinery is domain-general; tensor programs are the first domainproposed2026-10-19project/adrs/0009-domain-generality.md
0009the kernel calculus as a package, and the layer ladderproposed2026-10-14project/adrs/0009-kernel-calculus-and-layers.md
0010one language, many interpretations (the VM is the language)proposed2026-10-14project/adrs/0010-one-language-many-interpretations.md
0011which representation is canonical: the calculus for laws, the op-graph for executionproposed2026-10-14project/adrs/0011-canonical-representation.md
0013the stop decision: an eight-round characterizationproposed2026-10-27project/adrs/0013-the-stop-decision.md
0014public API freeze (plan 0032 phase 1)accepted2026-10-27project/adrs/0014-public-api-freeze.md