This is not intended as an answer, but clearly is too long for comments.
Here are some approaches I have been playing around with; I would appreciate any comments, advice, or suggestions.
Clearly the condition si = sj + sk is the key thing about this problem. It seems like in order to state this as a problem (instead of as a conjecture), it must have been solved by someone, otherwise where does |T| $\leq$ 7 come from? Since we don't know for sure if the problem has been solved, I am assuming that |T| $\leq$ 7 is possibly wrong and just trying to work out the consequences of the condition.
This condition is very constrictive, and it's consequences are not at all readily apparent. One question I have is, how many independent elements can a set which satisfies the condition have? The idea of an independent element is not rigorous for a set like this, but the idea is to figure out how to formulate the idea of independent element so it is rigorous. Given a set of integers H, with |H| less than 15, is it possible to add numbers (by combining elements of H) so that H has 15 elements and satisfies the condition; if so, can we say something about the original size of H?
In this direction I have made the following (slightly trivial) observations:
A set which satisfies the condition contains:
- at least two (distinct) positive numbers
- at least two (distinct) negative numbers
- at least two (distinct) numbers which are the sum of a positive and a negative number
This follows from the fact that each such set will contain a largest positive number which must be the sum of only positive numbers (similarly for negative); and the smallest positive number must be the sum of a positive and negative (similar for smallest negative number). I'm not sure how this relates to the (poorly defined) notion of "independent element", but it feels like a start in that direction.
Another idea is that the condition si = sj + sk can be "unpacked" by applying it recursively to sj and sk. My hope is that I can show that there will always be one element which can be "unpacked" so that it is equal to 8 elements in S, one of which is itself. This would of course show that the sum of the other 7 is zero.
si = sj + sk
= sl + sm + sn + sp
= sq + sr + ss + st + su + sv + sw + si
The next idea is to show that any set satisfying the condition will contain what I call a "7 cycle", which is inspired from the totally anti-symmetric unit tensor. A "7 cycle" is a kind of symmetry for the index's of si = sj + sk, I will just write down what a 7 cycle looks like, because that is more clear than explaining it.
s1 = s2 + s3
s2 = s3 + s4
s3 = s4 + s5
s4 = s5 + s6
s5 = s6 + s7
s6 = s7 + s1
s7 = s1 + s2
If it's possible to show that any set satisfying the condition contains a 7 cycle, then it's clear that the sum of s1...s7 will be zero (since it is equal to twice itself).
Another idea is a combinatorial graph theory approach. Clearly, a set satisfying the condition generates a directed graph (as pointed out in the MO link). For clarity, each number in S corresponds to a vertex, and if for example, s1 = s2 + s3, then there will be edges directed from s2 to s1 and from s3 to s1.
A question I have which I can't seem to make progress on, is: what is the minimum possible number of vertex's which have outgoing edges? (a vertex has an outgoing edge if it can be added to an element of S to obtain another element of S, also the assumptions used in the previously given "weaker statement" led to the conclusion that each vertex has an outgoing edge, and this was used to show |T| $\leq$ 7). My hope is that once I know the minimum number of vertex's with outgoing edges, I can use some sort of combinatorial reasoning to show that there will be a closed cycle with a maximum length.
Googling "zero sum subset" quickly leads to references for the EGZ theorem, and by thinking about the problem backwards, it makes sense that since this is one of the best known results for zero sum problems; that if this problem has already been solved this result might be involved in the solution somehow. I can't quite wrap my head around exactly how it will be involved, but since it is a result dealing with the integers mod N, the idea would be to somehow show that the condition forces some (possibly elaborate) modular arithmetic structure on the set S which satisfies it. (my understanding is that EGZ says that given an arbitrary set of 2n - 1 integers in $\mathbb{Z}$ mod n, there will be a subset of n elements whose sum is congruent to 0 mod n)
Yet another idea is to reformulate the problem in terms of polynomials. Given a set S which satisfies the condition, consider the 15th degree polynomial whose roots are the elements of S. Then these roots possess the symmetry that every root is the sum of two other roots; these types of polynomials might have some property which forces the sum of at most 7 elements to be zero.
I don't feel strongly that any of these approaches will ultimately prove successful, but hopefully by making this post I can help keep this question alive and inspire others to work on it.