Deadcode in top level directories steaked out

Author: James-Oswald

.vscode/extensions.json

@@ -0,0 +1,5 @@
+{
+    "recommendations": [
+        "redhat.java"
+    ]
+}

.vscode/settings.json

@@ -0,0 +1,10 @@
+{
+    "cSpell.words": [
+        "biconditional",
+        "DEADCODE",
+        "hyperlog",
+        "naveensundarg",
+        "skolemize"
+    ],
+    "java.format.settings.url": " https://raw.githubusercontent.com/google/styleguide/gh-pages/eclipse-java-google-style.xml"
+}

_config.yml

@@ -0,0 +1,3 @@
+# DEADCODE
+
+Id like some real docs but I guess this is the best we have for now.

docs/DEADCODE.md

@@ -1,3 +1,5 @@
+;DEADCODE this file should be in an examples folder instead of out in root
+
 {:name        "IC1.A "
  :description
  "Learning that knowledge leads to belief with an atomic example.

example.clj

@@ -0,0 +1,4 @@
+# DEADCODE
+
+This directory is DEADCODE and contains a single HTML
+file that pretty prints the contents of /files/sim1.clj

exportToHTML/DEADCODE.md

@@ -0,0 +1,9 @@
+# DEADCODE
+
+This directory is DEADCODE and appears to be adjudicator test files for some demo,
+
+They are not currently referenced by any other items in the repo
+tho sim1 appears to have some HTML file pair in /exportToHTML
+
+ perhaps we can find them a home elsewhere.
+or at least move them into a better folder with the rest of the tests

files/DEADCODE.md

@@ -0,0 +1,7 @@
+# DEADCODE
+
+This directory probably DEADCODE
+it is entitled hyperlog but is not visibly related to hyperlog in anyway.
+
+rather it appears to just contain the start of a small clojure parser
+using edn.

hyperlog/DEADCODE.md

@@ -1,3 +1,5 @@
+#DEADCODE move to examples with its partners Example.ipynb and test.py
+
 from py4j.java_gateway import JavaGateway
 
 gateway = None

interface.py

@@ -0,0 +1,5 @@
+# DEADCODE
+
+This is not deadcode as it is the basis of the python interface
+However this I'd like this directory moved to source, if not its own
+repository for the wrapper with the docker using shadow prover as a module. 

python/DEADCODE.md

@@ -0,0 +1,10 @@
+# DEADCODE
+
+This entire directory is in essence DEADCODE.
+
+I ran it with python -m http.server and pulled it up in a web browser
+It is just code to provide some data-visualization for Junit Test suites 
+which have not been updated in 6 years. There is no where in the source
+anymore that calls JUnitXMLReporter that was used to generate these tests.
+
+It should probably be either discarded or moved to its own project for archival purposes.

test-output/DEADCODE.md

@@ -1,3 +1,5 @@
+#DEADCODE move to examples
+
 from interface import *
 
 assumptions = [