4c7893b6

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.)"

Total

9m27s

Timeline