@ceccec/millennium-solutions 9.7.6 → 9.8.3

package/dist/data/baked/answer_gate.json

@@ -0,0 +1 @@
+{"tool":"answer_gate","bytes":62,"answer":"\n✓ answer-gate: 0/0 answers keep the rules (kernel-decided)\n"}

package/dist/data/baked/answer_verify_arith.json

@@ -0,0 +1 @@
+{"tool":"answer_verify_arith","bytes":229,"answer":"{\n \"value\": \"UNKNOWN\",\n \"question\": \"is  prime?\",\n \"reason\": \"no claim was proposed: no proved prime and no factor was reported\",\n \"certificate\": null,\n \"checkedBy\": \"lean-kernel (src/proof/arith.lean) via task-route proposal\"\n}\n"}

package/dist/data/baked/answer_verify_arxiv.json

@@ -0,0 +1 @@
+{"tool":"answer_verify_arxiv","bytes":66,"answer":"{\"value\":\"UNKNOWN\",\"reason\":\"no arXiv identifier or title given\"}\n"}

package/dist/data/baked/anti_fake.json

@@ -0,0 +1 @@
+{"tool":"anti_fake","bytes":53,"answer":"\n✓ anti-fake: 0 Lean file(s) checked, 0 finding(s)\n"}

package/dist/data/baked/api_gates.json

@@ -0,0 +1 @@
+{"tool":"api_gates","bytes":143,"answer":"{\"status\":\"HELD\",\"output\":\"✓ api-gates: 1 filesystem gate(s) hold; 53 online and 8 gated are named, not requested — 62 API gate(s) in all\"}"}

package/dist/data/baked/apis_guru_cross.json

@@ -0,0 +1 @@
+{"tool":"apis_guru_cross","bytes":1871,"answer":"cross-check of 2529 catalogued API(s), run 3022dd48\n   2006  AGREE · spec PROVEN · live GATED\n    239  AGREE · spec PROVEN · live NOT_MEASURED\n    155  SPEC-ONLY · spec PROVEN · live NOT_REACHABLE\n    102  AGREE · spec PROVEN · live REACHABLE\n     27  AGREE · spec PROVEN · live REFUSED\n\nfirst disagreements:\n  SPEC-ONLY   6-dot-authentiqio.appspot.com  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   amentum.space:global-magnet  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   anchore.io  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   apideck.com:ecosystem  (parses as a spec with a title; answered 400)\n  SPEC-ONLY   apis.guru  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   apisetu.gov.in:issuer  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   axesso.de  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   bbc.co.uk  (parses as a spec with a title; answered 403)\n  SPEC-ONLY   bethmardutho.org  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   biapi.pro  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   bintable.com  (parses as a spec with a title; answered 422)\n  SPEC-ONLY   brainbi.net  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   circl.lu:hashlookup  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   clarify.io  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   cloud-elements.com:ecwid  (parses as a spec with a title; answered 401)\n  SPEC-ONLY   clubhouseapi.com  (parses as a spec with a title; answered 418)\n  SPEC-ONLY   cnab-online.herokuapp.com  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   combell.com  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   corrently.io  (parses as a spec with a title; answered 404)\n  SPEC-ONLY   datumbox.com  (parses as a spec with a title; answered 500)\n"}

package/dist/data/baked/apis_guru_gaps.json

@@ -0,0 +1 @@
+{"tool":"apis_guru_gaps","bytes":1582,"answer":"catalogue: 2529 API(s) · their server hosts named by this tree and covered by an adapter: 22\n  GAPS — named by the code, no adapter: 0\n  ALIASED — covered by an adapter for the service it serves: 3\n    github.com:api.github.com.2022-11-28  → api.github.com  (the api.github.com REST API, 2022-11-28 version (github:api))\n    github.com:ghec  → api.github.com  (GitHub Enterprise Cloud REST API is served at api.github.com (github:api))\n    github.com:ghec.2022-11-28  → api.github.com  (GitHub Enterprise Cloud REST API, 2022-11-28 version, served at api.github.com (github:api))\n  UNFILLABLE BY DESIGN — recorded with the reason: 8\n    github.com:ghes-3.2  (GitHub Enterprise Server runs on a customer host; github.com is not a GHES instance)\n    github.com:ghes-3.3  (GitHub Enterprise Server runs on a customer host; github.com is not a GHES instance)\n    github.com:ghes-3.4  (GitHub Enterprise Server runs on a customer host; github.com is not a GHES instance)\n    github.com:ghes-3.5  (GitHub Enterprise Server runs on a customer host; github.com is not a GHES instance)\n    github.com:ghes-3.6  (GitHub Enterprise Server runs on a customer host; github.com is not a GHES instance)\n    github.com:ghes-3.7  (GitHub Enterprise Server runs on a customer host; github.com is not a GHES instance)\n    github.com:ghes-3.8  (GitHub Enterprise Server runs on a customer host; github.com is not a GHES instance)\n    github.com:github.ae  (GitHub AE runs on a customer-specific host; github.com is not that instance)\n  UNUSED — no line of this tree names the host: 2496\n"}

package/dist/data/baked/apis_theorems.json

@@ -0,0 +1 @@
+{"tool":"apis_theorems","bytes":152,"answer":"src/proof/apis.lean written from 3022dd48: catalogue 2529, spec proven 2529, reachable 102, not reachable 155, refused 27, gated 2006, not measured 239\n"}

package/dist/data/baked/coils.json

@@ -0,0 +1 @@
+{"tool":"coils","bytes":14696,"answer":"  ring     : 131 expressions · 30 distinct extensions · 24 coils · 435 pairs that prove each other\n  address  : 8 expressions over 33 reservations · 5 distinct values · 2 coils · 4 pairs\n  · 3 ways: the capacity 2^(128-reserved) = the container divided by the reservation = the container shifted right by the reservation\n  · 2 ways: the container size 2^128 = the capacity times the reservation cost\n  · 3 address expression(s) coil with NOTHING — never interchangeable: the birthday bound on the capacity · the birthday bound on the container · the reservation cost\n\n  one grid, every science: 80 expressions from 24 domains over n = 1..20\n  24 distinct value-vectors · 16 coils · 16 of them SPAN DOMAINS · 8 coil with nothing\n  ✳ biology ↔ chemistry ↔ computing ↔ cryptography ↔ epidemiology ↔ law ↔ logistics ↔ music ↔ number theory ↔ textiles\n      music          the frequency ratio of n octaves\n      computing      the values an n-bit register addresses\n      biology        the cells after n divisions\n      chemistry      the dilution factor after n halvings\n      number theory  the subsets of an n-element set\n      cryptography   the keys in an n-bit keyspace\n      epidemiology   the infections after n generations at R0 = 2\n      logistics      the leaves of a binary decision tree of depth n\n      law            the distinct yes/no ballots on n questions\n      textiles       the plain weave lift patterns on n shafts\n      one expression: 2 ^ n — equal at every n in range, not approximately\n  ✳ chemistry ↔ economics ↔ epidemiology ↔ geometry ↔ logistics ↔ number theory ↔ sport\n      number theory  the handshakes among n people\n      chemistry      the pairwise interactions among n species\n      geometry       the edges of a complete graph on n vertices\n      sport          the fixtures of an n-team round robin\n      logistics      the direct links among n cities\n      economics      the bilateral pairs among n trading partners\n      epidemiology   the contact pairs in a household of n\n      one expression: n * (n - 1) / 2 — equal at every n in range, not approximately\n  ✳ computing ↔ games ↔ logistics ↔ number theory ↔ sport ↔ taxonomy\n      sport          the matches to settle a knockout of 2^n entrants\n      computing      the largest value n bits can hold\n      number theory  the n-th Mersenne candidate\n      taxonomy       the nodes of a complete binary tree of depth n-1\n      games          the moves to solve the tower of n discs\n      logistics      the non-empty subsets of an n-element set\n      one expression: 2 ^ n - 1 — equal at every n in range, not approximately\n  ✳ biology ↔ botany ↔ computing ↔ music ↔ number theory\n      botany         the spirals in a phyllotactic whorl at rank n\n      biology        the pairs in the n-th generation\n      number theory  the n-th Zeckendorf base element\n      music          the rhythms of n beats in ones and twos\n      computing      the binary strings of length n-2 with no two adjacent ones\n      one expression: fib n — equal at every n in range, not approximately\n  ✳ biology ↔ computing ↔ games ↔ geometry ↔ linguistics\n      biology        the secondary structures of an n-pair strand with no crossings\n      computing      the balanced bracketings of length 2n\n      geometry       the triangulations of a convex (n+2)-gon\n      linguistics    the binary parse trees over n+1 leaves\n      games          the ways to bracket n+1 factors\n      one expression: catalan n — equal at every n in range, not approximately\n  ✳ chemistry ↔ games ↔ juggling ↔ music ↔ number theory\n      juggling       the states of an n-ball pattern at height 12\n      chemistry      the ways to choose n substituents from 12 sites\n      number theory  the n-subsets of a twelve-element set\n      music          the n-note chords available in twelve-tone equal temperament\n      games          the n-card hands from a twelve-card deck\n      one expression: chooseN 12 n — equal at every n in range, not approximately\n  ✳ botany ↔ law ↔ music ↔ number theory\n      music          the numerator of n stacked perfect fifths\n      number theory  the ternary strings of length n\n      botany         the branches after n ternary splits\n      law            the outcomes of n three-way votes\n      one expression: 3 ^ n — equal at every n in range, not approximately\n  ✳ dance ↔ linguistics ↔ logistics ↔ number theory\n      number theory  the orderings of n elements\n      linguistics    the word orders of an n-word sentence\n      logistics      the tours visiting n cities in some order\n      dance          the seatings of n dancers in a line\n      one expression: fct n — equal at every n in range, not approximately\n  ✳ music ↔ number theory ↔ physics ↔ textiles\n      number theory  the ways to write n as a sum of positive parts\n      music          the rhythmic groupings of n beats into a bar\n      physics        the degeneracies of an n-quantum harmonic level\n      textiles       the ways to cut a length into whole parts\n      one expression: parts n — equal at every n in range, not approximately\n  ✳ architecture ↔ games ↔ geometry ↔ physics\n      geometry       the area of a square of side n\n      architecture   the tiles in an n by n floor\n      physics        the intensity divisor at n times the distance\n      games          the cells of an n by n board\n      one expression: n * n — equal at every n in range, not approximately\n  ✳ architecture ↔ geometry ↔ music\n      geometry       the staircase sum of the first n steps\n      music          the beats in a bar of n accumulating pulses\n      architecture   the courses in a triangular gable of n rows\n      one expression: n * (n + 1) / 2 — equal at every n in range, not approximately\n  ✳ linguistics ↔ number theory ↔ statistics\n      number theory  the ways to group n labelled things\n      linguistics    the distinct senses a set of n features can carve\n      statistics     the equivalence classes on n data points\n      one expression: bell n — equal at every n in range, not approximately\n  ✳ logistics ↔ navigation ↔ physics\n      navigation     the shortest lattice routes across an n by n grid\n      logistics      the street-grid routes between opposite corners of n blocks\n      physics        the walks returning to the origin in 2n steps, one dimension\n      one expression: chooseN (2 * n) n — equal at every n in range, not approximately\n  ✳ chemistry ↔ economics ↔ metrology\n      chemistry      a step of n on the pH scale\n      metrology      n orders of magnitude\n      economics      the place value of the n-th decimal column\n      one expression: 10 ^ n — equal at every n in range, not approximately\n  ✳ music ↔ navigation ↔ number theory\n      music          the pitch class after n fifths\n      number theory  the orbit of the generator 7 in Z/12\n      navigation     the hour struck n intervals of seven apart\n      one expression: (7 * n) % 12 — equal at every n in range, not approximately\n  ✳ cryptography ↔ geometry ↔ number theory\n      number theory  the digit root of n\n      geometry       the residue of n on the nonagon\n      cryptography   the check digit under the nines rule\n      one expression: if n = 0 then 0 else 1 + (n - 1) % 9 — equal at every n in range, not approximately\n\n  AND 8 EXPRESSION(S) COIL WITH NOTHING — the result that keeps the claim honest:\n      architecture   the diagonals of a convex n-gon  (n * (n - 3) / 2)\n      number theory  the n-th Lucas number, same recursion and different seed  (lucas n)\n      biology        the non-crossing chord diagrams on n points, arcs optional  (motzkin n)\n      dance          the reseatings of n dancers with nobody in their own place  (derange n)\n      music          the cents in n semitones  (100 * n)\n      geometry       the degrees of n nonagon steps  (40 * n)\n      taxonomy       the taxonomic ranks below kingdom at depth n  (n)\n      economics      the tariff bands at n thresholds  (3 * n + 1)\n      These are not failures of the experiment, they ARE the experiment: a grid on which\n      everything coiled would have stopped discriminating and could confirm nothing. The staircase\n      sum n(n+1)/2 sits one index from the handshake count n(n-1)/2 and does NOT join it, which is\n      the near miss that shows the test can separate things that look alike.\n\n  THE MEASURED ADJACENCY — which domains are joined by at least one exact identity:\n      architecture   games geometry music physics\n      biology        botany chemistry computing cryptography epidemiology games geometry law linguistics logistics music number theory textiles\n      botany         biology computing law music number theory\n      chemistry      biology computing cryptography economics epidemiology games geometry juggling law logistics metrology music number theory sport textiles\n      computing      biology botany chemistry cryptography epidemiology games geometry law linguistics logistics music number theory sport taxonomy textiles\n      cryptography   biology chemistry computing epidemiology geometry law logistics music number theory textiles\n      dance          linguistics logistics number theory\n      economics      chemistry epidemiology geometry logistics metrology number theory sport\n      epidemiology   biology chemistry computing cryptography economics geometry law logistics music number theory sport textiles\n      games          architecture biology chemistry computing geometry juggling linguistics logistics music number theory physics sport taxonomy\n      geometry       architecture biology chemistry computing cryptography economics epidemiology games linguistics logistics music number theory physics sport\n      juggling       chemistry games music number theory\n      law            biology botany chemistry computing cryptography epidemiology logistics music number theory textiles\n      linguistics    biology computing dance games geometry logistics number theory statistics\n      logistics      biology chemistry computing cryptography dance economics epidemiology games geometry law linguistics music navigation number theory physics sport taxonomy textiles\n      metrology      chemistry economics\n      music          architecture biology botany chemistry computing cryptography epidemiology games geometry juggling law logistics navigation number theory physics textiles\n      navigation     logistics music number theory physics\n      number theory  biology botany chemistry computing cryptography dance economics epidemiology games geometry juggling law linguistics logistics music navigation physics sport statistics taxonomy textiles\n      physics        architecture games geometry logistics music navigation number theory textiles\n      sport          chemistry computing economics epidemiology games geometry logistics number theory taxonomy\n      statistics     linguistics number theory\n      taxonomy       computing games logistics number theory sport\n      textiles       biology chemistry computing cryptography epidemiology law logistics music number theory physics\n\n  WHAT THIS SHOWS, STATED AT ITS ACTUAL STRENGTH. 16 identities each hold exactly, at\n  every point, across 24 of the 24 domains — a knockout bracket and an n-bit\n  register are the same integer; phyllotaxis, breeding pairs and Zeckendorf are one recursion; RNA\n  folds, balanced brackets and polygon triangulations are one sequence. Those are identities, not\n  resemblances, and they are decided rather than argued.\n\n  AND THE GRAPH IS CONNECTED: 1 component(s) over 24 domains.\n  Every domain on this grid is reachable from every other through a chain of exact identities. That is\n  a stronger statement than \"each has a neighbour\" and it is the one worth making: the eleven subjects\n  are not eleven islands with some bridges, they are ONE component. Where the chain runs through is\n  measurable too — by degree: number theory (21), logistics (18), music (16) carry the most edges, and a\n  path from metrology to juggling exists only through chemistry, which is what \"shared substrate\"\n  means when it is measured instead of asserted.\n\n  WHAT IS STILL NOT SHOWN. 8 expression(s) here coil with nothing and\n  0 domain(s) are joined to no other on this grid. Entanglement is PERVASIVE and it is NOT\n  TOTAL, and both halves are computed from the same run — which is the only reason either is worth\n  reporting. A claim that all is entangled would be refuted by this file's own output, so the file\n  does not make it. What nature supplies is a small stock of counting laws that many subjects draw\n  on; what it does not supply is interchangeability between subjects that draw on different ones.\n  CROSS-DOMAIN: 22 of 24 coils span more than one declared domain — those are the ones\n  that let a result in one field answer a question asked in another. 2 stay inside one.\n  ✳ {1,2,4,5,7,8}  group theory ↔ dynamics ↔ geometry ↔ number theory  — 14 ways\n  ✳ {0,3,6}  group theory ↔ dynamics ↔ number theory ↔ geometry  — 14 ways\n  ✳ {1,4,7}  geometry ↔ dynamics ↔ group theory ↔ number theory  — 12 ways\n  ✳ {0}  group theory ↔ number theory ↔ dynamics ↔ geometry  — 10 ways\n  ✳ {1,8}  group theory ↔ geometry ↔ number theory ↔ dynamics  — 6 ways\n  · {1,2,4,5,7,8}  14 ways: the set units = the set orbit = the image of units under double = the image of orbit under double = …\n  · {0,3,6}  14 ways: the set triad = the image of triad under double = the image of all under triple = the image of cubes under triple = …\n  · {1,4,7}  12 ways: the set tetA = the image of tetB under double = the image of tetA under quadruple = the image of tetB under negate = …\n  · {0}  10 ways: the image of triad under triple = the image of triad under square = the image of triad under cube = the image of triad under sextuple = …\n  · {2,5,8}  8 ways: the set tetB = the image of tetA under double = the image of tetB under quadruple = the image of tetA under negate = …\n  · {0,1,2,3,4,5,6,7,8}  8 ways: the set all = the image of all under double = the image of all under quadruple = the image of all under negate = …\n  · {0,1,8}  6 ways: the set cubes = the image of cubes under negate = the image of all under cube = the image of cubes under cube = …\n  · {1,8}  6 ways: the set selfinv = the image of selfinv under negate = the image of units under cube = the image of orbit under cube = …\n\n✓ coils: 24 coil(s) · src/proof/coils.lean is exactly what this script generates\n"}

package/dist/data/baked/constants_check.json

@@ -0,0 +1 @@
+{"tool":"constants_check","bytes":92,"answer":"✓ constants-gate: 45 generated constant(s) across 3 files reproduce from scripts/pages.ts\n"}

package/dist/data/baked/contradictions.json

@@ -0,0 +1 @@
+{"tool":"contradictions","bytes":692,"answer":"  ○ 26 theorem(s) decide arithmetic under a name claiming about the world, in a file that CLAIMS physical and publishes the computation that breaks it — claimed boldly, falsifier attached, not a lead\n\n✓ contradictions: none — 26045 theorems (25838 by exhaustion + 207 proved for every value) + 0 rfl declarations = 26045 kernel-accepted; 26045 live keys = 26045 sealed + 0 keyed twice + 0 unresolvable; no sorry, no Mathlib, no native_decide, no axiom; nothing claims a Clay problem, all 960 Clay + 280 quantum + 1020 medical and physical-force overclaim phrasings are caught while 10 honest refusals survive; and 10 proved properties are stated on the pages, not only in the sources\n"}