公開するしないは、
好きにしたら良いと思うぞ、

ただ新規性と言うのがどこにあるのか？が、
よく分からん。

理論の飛躍があっても構わないけど、
理論の飛躍の部分を記述できる必要があるないは、

場合による。

理論の飛躍を放置しても問題ない事の方が、
実際は多いと思うが、

プログラム化する際に避けて通れない部分であるなら、
言語化していく必要が出てくる。

基本的には理論の飛躍を含まない理論はないし、
大体の場合、
理論の飛躍を無視して理論は構築されるし、
意思疎通もされる。