By: ValentinHirschi <valentin.hirschi@gmail.com>
specify generic joint-normal support and domain requirements Document the first graph-agnostic shared-energy primitive, both inverse branches, exact Jacobian, sufficient full-circle domain predicates and native directed-enclosure requirements. Identify existing owners for compact support, zero-score partitions, eager active-coordinate Jacobians and routing. Clearly separate this proposed exact class from eventual arbitrary implicit rank-two charts under the same AST and canonical catalogue. Validation: independent agent review of energy signs and actual GL638 routing; root mathematical/API review; git diff --check. Proposal only, no new numerical experiment or production implementation claim. User prompt: "Just a status question—please continue your current orchestration unchanged: where does the joint two-normal density sit in the implementation sequence, and what prerequisites remain before you reach it? (direct-H focusing alone is not expected to bound the previously identified corner’s weights.)"