Verdict: admit a score-free assembly of named receipts. 6.3.0 placement: new relation module after cheap atoms.
| Receipt | Status |
|---|---|
| Overcoming | Reuse HellenisticOvercomingTruth |
| Enclosure | Reuse BesiegingTruth |
| Testimony (whole-sign regard) | New; pair-wise find_whole_sign_aspects inverted to “who regards X” |
| Adherence (kollēsis) | New; applying bodily contact with explicit orb + motion witness |
| Aktinobolia (striking with a ray) | Implement only if a geometric object can be stated without Schmidt reconstruction. Otherwise not_evaluable / doctrine_not_admitted |