Spine II: Value and transport

Source: context/lean_proof_graphs/02-value-transport.dot · Graphviz source (.dot)

Rendered with Graphviz (same sources as the manuscript). Click a node for details; sub-spine boxes (Spine I–IV) open the matching sub-diagram. Graphviz source (.dot)

Nodes in this graph

P14 Bundle factorization (proof)
P15 Policy ≠ geometry (proof)
P16 LHV sample window (proof)
P17 Labels ≠ bearer map (proof)
P18 Marginals ≠ tradeoffs (proof)
Field.CIRL final nodes scalar_assistance_game_is_bundle_game_k1 cirl_separation_profiles (other)
P20 Intentional MDL gain (proof)
P21 Transport gain (proof)
P22a Full ⇒ semantic transport (proof)
P22b Semantic ≠ full transport (proof)
P37 Goal laundering (proof)
MB2 Bundle identifiability (bridge)
MB3 Bearer import (bridge)
Exports: BundleTransport, BearerTransport, transport / laundering counterexamples (other)
P19 (proof)