@ceccec/millennium-solutions 9.7.6 → 9.8.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (59) hide show
  1. package/README.md +299 -107
  2. package/dist/data/baked/answer_gate.json +1 -0
  3. package/dist/data/baked/answer_verify_arith.json +1 -0
  4. package/dist/data/baked/answer_verify_arxiv.json +1 -0
  5. package/dist/data/baked/anti_fake.json +1 -0
  6. package/dist/data/baked/api_gates.json +1 -0
  7. package/dist/data/baked/apis_guru_cross.json +1 -0
  8. package/dist/data/baked/apis_guru_gaps.json +1 -0
  9. package/dist/data/baked/apis_theorems.json +1 -0
  10. package/dist/data/baked/coils.json +1 -0
  11. package/dist/data/baked/constants_check.json +1 -0
  12. package/dist/data/baked/contradictions.json +1 -0
  13. package/dist/data/baked/discover.json +1 -0
  14. package/dist/data/baked/discoveries.json +1 -0
  15. package/dist/data/baked/entanglements.json +1 -0
  16. package/dist/data/baked/evidence.json +1 -0
  17. package/dist/data/baked/hexbit_route.json +1 -0
  18. package/dist/data/baked/index.json +41 -0
  19. package/dist/data/baked/leads.json +1 -0
  20. package/dist/data/baked/leaks.json +1 -0
  21. package/dist/data/baked/memory_check.json +1 -0
  22. package/dist/data/baked/memory_derive.json +1 -0
  23. package/dist/data/baked/metrics_face.json +1 -0
  24. package/dist/data/baked/package_gates.json +1 -0
  25. package/dist/data/baked/prefix_check.json +1 -0
  26. package/dist/data/baked/prose_check.json +1 -0
  27. package/dist/data/baked/qpu_court_local.json +1 -0
  28. package/dist/data/baked/qpu_families.json +1 -0
  29. package/dist/data/baked/recompute.json +1 -0
  30. package/dist/data/baked/session_report.json +1 -0
  31. package/dist/data/baked/theorem_only.json +1 -0
  32. package/dist/data/baked/trinity.json +1 -0
  33. package/dist/data/discovered.json +149408 -0
  34. package/dist/data/formulas.jsonld +470143 -0
  35. package/dist/mcp.bin.d.ts +2 -0
  36. package/dist/mcp.bin.js +80 -0
  37. package/dist/src/0/index.d.ts +1 -0
  38. package/dist/src/0/index.js +7 -8
  39. package/dist/src/face/index.d.ts +41 -0
  40. package/dist/src/face/index.js +32 -0
  41. package/dist/src/factor/index.d.ts +58 -0
  42. package/dist/src/factor/index.js +209 -0
  43. package/dist/src/factor/verify.d.ts +18 -0
  44. package/dist/src/factor/verify.js +28 -0
  45. package/dist/src/handle/index.d.ts +9 -0
  46. package/dist/src/handle/index.js +10 -0
  47. package/dist/src/mcp/index.d.ts +4199 -0
  48. package/dist/src/mcp/index.js +249 -0
  49. package/dist/src/mcp/serve.d.ts +100 -0
  50. package/dist/src/mcp/serve.js +282 -0
  51. package/dist/src/mcp/suites.d.ts +1 -0
  52. package/dist/src/mcp/suites.js +14 -0
  53. package/dist/src/mirror/index.d.ts +18 -0
  54. package/dist/src/mirror/index.js +37 -0
  55. package/dist/src/policy/index.d.ts +8 -0
  56. package/dist/src/policy/index.js +23 -0
  57. package/dist/src/the/rosetta/index.d.ts +3 -0
  58. package/dist/src/the/rosetta/index.js +25 -0
  59. package/package.json +55 -8
package/dist/data/baked/session_report.json ADDED
@@ -0,0 +1 @@
1
+ {"tool":"session_report","bytes":115,"answer":"{\n \"status\": \"ABSENT\",\n \"note\": \"no call log yet: nothing has been served by this server, or the log was removed\"\n}"}
package/dist/data/baked/theorem_only.json ADDED
@@ -0,0 +1 @@
1
+ {"tool":"theorem_only","bytes":342,"answer":"· CI-only, run in CI and not gated here (8): scripts/answer-doi-test.ts, scripts/answer-tool-test.ts, scripts/clay-conditions-test.ts, scripts/doi-precedence-test.ts, scripts/fallbacks-test.ts, scripts/net-tools-test.ts, scripts/online-verify-e2e-test.ts, scripts/run-suite-security-test.ts\n\n✓ theorem-only-check: 0 runtime test(s) — 0\n"}
package/dist/data/baked/trinity.json ADDED
@@ -0,0 +1 @@
1
+ {"tool":"trinity","bytes":604,"answer":"{\"status\":\"PASS\",\"gates\":4,\"passed\":4,\"rows\":[{\"gate\":\"scripts/gaps.ts\",\"status\":\"PASS\",\"tail\":\" | ✓ no gaps — harmony holds\"},{\"gate\":\"scripts/seal.ts\",\"status\":\"PASS\",\"tail\":\" | ✓ ALL SEALED — every citation live in the ledger.\"},{\"gate\":\"scripts/wholeness.ts\",\"status\":\"PASS\",\"tail\":\"reports containing a boundary WORD: 58/86 (a text search, not a judgement about the reasoning) | AURA COMPUTATIONALLY WHOLE = true\"},{\"gate\":\"scripts/lean-claims.ts\",\"status\":\"PASS\",\"tail\":\" | ✓ all 27 theorems prove themselves (independently recomputed) → receipt d2c842a4-89bf-8738-84f6-b7f5176dc878\"}]}"}