Active inference models often need to choose among several policy streams at once, for example streams tied to different effectors, sensory channels, agents, agents within a group, or planning horizons. Standard discrete active-inference implementations keep this manageable by treating those streams as independent, but that simplification removes the dependencies that make coordinated action possible. This manuscript introduces policy entanglement: a controlled deformation of the usual independent policy posterior by a scalar coupling strength and explicit compatibility and preference potentials. The construction preserves the finite active inference setting while making cross-stream dependence a first-class modeling object rather than an implicit artifact of the chosen factorization. The framework keeps a claim-strength ledger that distinguishes exact recoveries, parameterized embeddings, numerical witnesses, and structural analogies. Mean-field active inference is the exact independent case. Products of experts, copula variational inference, options, hierarchical and sophisticated inference, branching-time active inference, renormalization-style compression, and Markov-blanket multi-agent views are connected as special cases through their stated posterior-factorization maps. The central result is a free-energy decomposition that separates ordinary per-stream free energy, coupling preference terms, the coupling normalizer, and the information cost of leaving independence. The decomposition makes multi-information the explicit surcharge paid by a non-factorized policy posterior and shows how coupling strength, compatibility structure, and off-diagonal preference costs enter the same accounting identity. This result supplies the organizing principle for the rest of the paper. It supports an information-geometric reading of the coupled policy family as a path away from the mean-field submanifold, a projection identity that returns the coupled posterior to its independent marginals, a spectral and tensor-train view of dominant coordinated policy modes, a heterogeneous-ensemble coupling-tax bound, and a phase vocabulary for under-coupled, mixed, and highly concentrated policy posteriors. These interpretations are intentionally limited: the manuscript does not claim a neural, clinical, biological, or quantum implementation, and Markov-blanket and tensor-network language is used as scoped modeling analogy unless a specific theorem row or generated artifact supports a stronger statement. The main decomposition analytic identity is machine-checked in ℝ in the Mathlib-backed Lean layer with an axiom audit and negative controls. A separate stock-Lean boundary fragment remains Mathlib-free and exposes the theorem surface as typed contracts for the Python simulation layer and the manuscript registry, including witness-consuming rows where analytic payloads are deliberately supplied at the boundary. The executable numerical layer remains a Float pipeline, so a verified Float↔ℝ error bridge is still an explicitly open interface rather than an implied proof; conservative interval brackets on the K=2 decomposition sweep certify Float residuals within a widened high-precision envelope (output/reports/float_real_residual.json) without promoting the registry row to proved. The empirical companion uses pymdp and NumPy to sweep coupled policy ensembles, run short and long rollouts, check the projection identity to round-off precision, produce free-energy, entropy, total-correlation, action-distribution, robustness, and adversarial sidecars, and render figures from those artifacts. The manuscript, figures, theorem map, citation registry, notation glossary (§S6), bibliography, and PDF are regenerated from the same source-owned pipeline, so prose claims are tied to Lean sources, Python witnesses, output metadata, and validation gates rather than maintained by hand. All manuscript methods, tests, and documentation are available as open-source software at https://github.com/ActiveInferenceInstitute/policy_entanglement (DOI: https://doi.org/10.5281/zenodo.20419536). --- Associated artifacts GitHub release: v1.0.0 (https://github.com/ActiveInferenceInstitute/policy_entanglement/releases/tag/v1.0.0) DOI: https://doi.org/10.5281/zenodo.20418904 Zenodo: https://zenodo.org/records/20418904 PDF SHA-256: ae7cdd62929324101ead3eba8177199141b0089a9baf35558107149331666fde
", "keywords": [ "active inference", "free energy principle", "policy inference", "mean-field", "total correlation", "information geometry", "Schmidt rank", "tensor networks", "sophisticated inference", "Lean theorem proving", "machine-checked free-energy identity" ], "files": [ { "name": "Friedman_2026_Policy_ae7cdd62.pdf", "size_bytes": 14419275, "checksum": "md5:62d2dac502218f1b97fdae489459e8d3", "download_url": "https://zenodo.org/api/records/20419637/files/Friedman_2026_Policy_ae7cdd62.pdf/content" } ], "related_resources": [ { "type": "repository", "url": "https://github.com/ActiveInferenceInstitute/policy_entanglement" } ], "github_repo": "ActiveInferenceInstitute/policy_entanglement", "github_release_url": "https://github.com/ActiveInferenceInstitute/policy_entanglement/releases/tag/v1.0.0", "release_tag": "v1.0.0", "release_name": "Policy Entanglement in Active Inference v1.0.0", "pdf_sha256": "ae7cdd62929324101ead3eba8177199141b0089a9baf35558107149331666fde", "pairing_confidence": "strong", "pairing_evidence": [ "github_release_mentions_doi", "zenodo_related_identifier_mentions_release", "github_repo_self_linked", "title_overlap" ], "checked_at": "2026-07-10T19:08:24Z", "domain": "Computational", "type": "Paper", "methods": [ { "name": "Software pipeline design", "description": "Applied software pipeline design approach" }, { "name": "Data-driven analysis", "description": "Applied data-driven analysis approach" } ], "key_findings": [ "Active inference models often need to choose among several policy streams at once, for example streams tied to different effectors, sensory channels, agents, agents within a group, or planning hori", "Standard discrete active-inference implementations keep this manageable by treating those streams as independent, but that simplification removes the dependencies that make coordinated action possible" ], "related_papers": [ "2023_NSFReporting", "2023_NaturalAIBased", "2025_AuBI" ], "related_software": [ "ActiveInferenceInstitute/policy_entanglement" ] }