universal-physics-tensor 10.0.0 → 12.0.0

package/dist/atlas/physjs-reviewed.js

@@ -1,5 +1,5 @@
 /**
- * The reviewed PhysJS manifest rows, pinned per key.
+ * The reviewed Lean manifest rows (`formal/lean/manifest.json`), pinned per key.
  *
  * Each value is `physjsRowHash` of the row as the manifest writes it:
  * `[key, theorem, kind, covers, leanProof, axioms, nested statements]`. A key
@@ -166,29 +166,29 @@ export const PHYSJS_REVIEWED_ROWS = {
     'be-144': '67822836d4b5b37163897ef14eed8fb16e00910a716eccc77e943f9b52d10c09',
     'be-145': '44ef60d375cd4e47da236e3e8b3d9ad10a07f9f3cc99a868d667a48051aa026a',
     'be-146': 'f757b6202576fd1b511e2623e808873ea13803be37ed25ff9f6402785a2097f0',
-    'be-147': 'b6257e067abf0d857e2e351c0656ed61298d3a7779af5303a2e8048190d207b0',
-    'be-148': '1d808f35bdb0e549aed9335caa11864ba76f9670bc39c92b9159b53050d8dc26',
-    'be-149': '1ff3305cab300825913c40f67a1d202f0aa70c843848773aa5175199dcc4dc79',
+    'be-147': '7500f9accb06f74b241314647f4201c43f3277c77d9f5245ae183fe787baa36a',
+    'be-148': 'b51947097d1b5a83fde24a256b14dd62bdcb106dcb214eba164a10bffe020bd1',
+    'be-149': '3d8ea014860f455884f66ce495ee79efdb2cc923a398a15d2f2f58588fe0814e',
     'be-150': '172e09d30b3b696e4434e29fa4131fe003d7d3c45f862210bb497edbf1770a1e',
-    'be-151': '60afea385262cb38b3b526ad49211acf6befeaf30c640c8c53e3e81ae5e6aa40',
+    'be-151': '07d88e2df67f34f4cddfddfab516bca69e41bc9c8c0f2015861390163087b525',
     'be-152': '61ea1c8f876feb22d350a335b96ee6d791151888c772a0ec307ab040da68524a',
     'be-153': '051febadc75bbbb74ee91a9d5c5cfdf31b264561899f2db468cb33011843c285',
-    'be-154': '72600e36ea8180f3784104b49b27bd8ab88d255407a7548125628b606266e122',
-    'be-155': '6ce8c32e186da150335cbeb2d6e7814a6b1de2baa6163ee861ab6ca41bab91ae',
-    'be-156': '636140057723a37683d9e6f812e50bb5c2219a45e3d11e4f3bab07dc92d73ae6',
-    'be-157': '93cfe400cbe94672719bfcdc36979ff41cde862efa80e30701dba0fbe873706c',
-    'be-158': '3f87b41fa8563b4c8ab4c46e14c1412a48ab047ca0c676971c1771796d531b78',
-    'be-159': '296825538cd1e474b22ecc215b51fac79ade6a417d7399c257ba9c28db2152c2',
+    'be-154': 'ba21b1e5516b3404c4375f14b4e27b8ebfd1fbe07f23882461d7a2289ce7e522',
+    'be-155': '0876d0e9fe0ffc7735731841548e3024988cfaf6fbc872eb060e0ae21e62b93b',
+    'be-156': '7148ff42464d034cb1a96b40ce7c17a955e539a7ca7be794dbb57a4d6fbb503a',
+    'be-157': 'd4d6c7a24bd46014ce1367370b959631b69f51c0bab911016e0f157282723595',
+    'be-158': '1e03fa92e4e2191e96ab751eb3d0b1d89867f29ee47d8f24eb6f7deae6c1cfca',
+    'be-159': '2977a93ea3ea31785ad59cae7f8bc53db7fe322f93505141e752f84343e03f2a',
     'be-160': 'efcab77d5c41fda7643b7cf3b014e2627ef503ab15ee8373125acdbac96f91f6',
     'be-161': '49ea75f63a871a4a7a61bc2473fcd452a598c1d8e2808116c515ac67b717bb77',
     'be-162': '531e8cd60c6fe8ef031ce5363508396f7a47d032f8927b7e00e3c97d422195de',
-    'be-163': 'ff937a83dc122c56372fea34633f1d28acadea87088d31b36e07a39187080abd',
-    'be-164': '08757270a97c7f74edefb897fd1050d6a34f39d333f91f40d672eab80c3170e7',
+    'be-163': '11814e8a0c9855b6c6a92ddbbe716f2880e318a9869a59f028aa616662bba275',
+    'be-164': 'fcbfa8ef810ef6ee12c2fb47128946e380e86f097977a77ecbda27c0923ee93a',
     'be-165': '5fd50258133d592be623f2e5d34b24ffb6c3d7fc6c513b6c4c20bd18f8bced32',
     'be-166': '06cc5cfdf19903d7d6950183a0d36e7fbae2d48258d6b473707d94dc34845944',
     'be-167': 'e127412cf8a32ba3e9978339ec0558df9ac1a2a452185e551f0c9d1f808fd1e9',
-    'be-168': 'c5247ab57406901cd9ac6f9a959aa1523e9a3572b52077ea469ef5db645f704f',
+    'be-168': '6c7696962e56f466c016a03947c8b359ae23fd1da6f1eb93e0aab4be117e062c',
     'be-169': '6f4e6c880f33255ed8d2c3d9757ba81e93e3f71b4a5ae8d02cbff0b91e6a244a',
-    'be-170': '26aabd56c4ff46a851b672b5eaaab67c4124e4afb20682418a80192911ee9348',
+    'be-170': 'f9d8dff51577fe8556593c0a31ca26577d5449864e48c246831aa37612463d48',
 };
 //# sourceMappingURL=physjs-reviewed.js.map

package/dist/atlas/physjs-reviewed.js.map

@@ -1 +1 @@
-{"version":3,"file":"physjs-reviewed.js","sourceRoot":"","sources":["../../src/atlas/physjs-reviewed.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsB;IACzD,cAAc;IACd,eAAe;IACf,oBAAoB;IACpB,wBAAwB;IACxB,mBAAmB;IACnB,mBAAmB;IACnB,sBAAsB;IACtB,mBAAmB;IACnB,kBAAkB;IAClB,iBAAiB;CAClB,CAAC;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,oBAAoB,GAAqC;IACpE,mBAAmB,EAAE,kEAAkE;IACvF,sBAAsB,EAAE,kEAAkE;IAC1F,iBAAiB,EAAE,kEAAkE;IACrF,wBAAwB,EAAE,kEAAkE;IAC5F,mBAAmB,EAAE,kEAAkE;IACvF,oBAAoB,EAAE,kEAAkE;IACxF,kBAAkB,EAAE,kEAAkE;IACtF,cAAc,EAAE,kEAAkE;IAClF,eAAe,EAAE,kEAAkE;IACnF,mBAAmB,EAAE,kEAAkE;IACvF,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;CAC7E,CAAC","sourcesContent":["/**\n * The reviewed PhysJS manifest rows, pinned per key.\n *\n * Each value is `physjsRowHash` of the row as the manifest writes it:\n * `[key, theorem, kind, covers, leanProof, axioms, nested statements]`. A key\n * is listed only after its row was read against the bridge it keys (the\n * procedure is WORKFLOWS.md, \"Adding or changing a Lean formalRef\"). A key\n * that is ahead of the catalog has no bridge to read it against and is not\n * listed; `physjsFidelity` returns `'unreviewed'` for it.\n *\n * `tests/atlas/physjs-manifest.test.ts` fails, and prints the line to paste\n * here, when a manifest row that resolves to a bridge is missing or has\n * changed since its review, and when a listed key no longer resolves to a\n * bridge. The sentence that the review was one SHA-256 over every row in\n * that test file is the record from before this table.\n *\n * @module atlas/physjs-reviewed\n */\n\n/**\n * Keys whose statements `tests/atlas/formal-sanity.test.ts` instantiates on\n * known cases. A reviewed row with its key here derives\n * `fidelity: 'sanity-lemmas'`; every other reviewed row derives\n * `'reviewed-manifest'`. That test fails when a key listed here has no\n * lemma in it, and when a lemma there names a key missing here.\n *\n * @internal\n */\nexport const PHYSJS_SANITY_LEMMA_KEYS: readonly string[] = [\n  'ab-spring-lc',\n  'ab-damped-rlc',\n  'ab-pendulum-linear',\n  'ab-telegraph-diffusion',\n  'ab-telegraph-wave',\n  'ab-wave-dalembert',\n  'ab-klein-gordon-wave',\n  'ab-kg-schrodinger',\n  'ab-kg-oscillator',\n  'ab-stiff-string',\n];\n\n/** Manifest key → `physjsRowHash` of its reviewed row. @internal */\nexport const PHYSJS_REVIEWED_ROWS: Readonly<Record<string, string>> = {\n  'ab-kg-schrodinger': '880d54fbf7b289a56370914abf51cb948dbc6d442e6d5090d3437f2b332f3a6d',\n  'ab-klein-gordon-wave': 'a9fe4d3d45bf26c97d5fb6b1ebe4f4556ea8cb3bf719430dec174f5215765796',\n  'ab-stiff-string': '49655051dea87dbf5f2b00fe1c372d3b949e7464a60793a648f80481329f6973',\n  'ab-telegraph-diffusion': 'c5b283968be33b6220fbfa595062fa00ee65e45b9d60c02db149a7b7a8aad842',\n  'ab-telegraph-wave': 'c244fb53c90f90f334bbc9f79b9485b228425edc4555052bf5696d00f35f8012',\n  'ab-pendulum-linear': '474d8d86dcf67f85ca41329ee2e90608d6a5db5b29b300cb9d2842636e3cbab2',\n  'ab-kg-oscillator': '737a1ffa7f4852bc6b3d287e13873228e2be0477194b110f5ab291f5d87d5f01',\n  'ab-spring-lc': '42b928779b9f5a8d671b03340ba2a247efa5491064c22305cd61fefcf81910dc',\n  'ab-damped-rlc': '95ab3fc816fdbde805d1a636f28e85f6898f1fae462db421647e0f0cfe3b0196',\n  'ab-wave-dalembert': 'c7b428505dd6cd433c11fff98417a24dc16d111434c3e52232588034d9a69ce5',\n  'be-64': '60b4b75c6006459bb5b61095aa31c6c6cbb7c63b64fc1b8b9997d130aea640dc',\n  'be-53': '654f6b62207c0d7950d738f816b337f5a5c8769ca3e18ba797422ecb537902aa',\n  'be-58': '52b94908af901152a823867115ccdfc05ffb4fc0baeaf73b3ee918038d8c8714',\n  'be-38': '34b14f7be5e62b4bff9ddf0787f3e1f28514dfaf5bc4ebf7a9f16b7dfcf118d1',\n  'be-13': 'f8bacaa12b908ac5c373447dde35518f68fe637ee5e5e207068643acf5b1f65e',\n  'be-34': 'e07dfe069c42b9b2f8685d8a66224bb680f958e6199f2f80bf72b8090e73a881',\n  'be-42': '727b1db4f83b51333a3be625f32a5fb0b0bc37c8dfd142b0fe8a26d0b762d9fa',\n  'be-24': '3fee6732650911fd2db0c8f5a42d0e048ca3ce016fd360014cdc43075b6d6c68',\n  'be-19': '32219ddbe9344c174b1bca94a9618c193a818b122da8bfc35657c57dccde0722',\n  'be-16': '0ec6dae9fe98830ddc9ad8e3ecbcbeded8c99d5dce39a957c48646a28b3c3aff',\n  'be-29': '76095041a745706d6059271a0b148ead8307fdec249a00d4ba592713bb0bdefa',\n  'be-11': 'a427754825b4fd77535b2c8c3b048a37cb1c57fffdeb61d4b81a3eac0ef2bc9f',\n  'be-65': 'af573c86041340633b1d4f16c700a33d0b7860925792b005906087e821aeecb7',\n  'be-51': '8c2059e2227b1962b26661dd659f6240fe42e3f3b5d6f416035771452c6b6a7a',\n  'be-61': 'c007972dc9cddf09aeec67f7e10e0f5a6782bc973c65afe8d7745afaa94269e8',\n  'be-12': '582d9c9feebf35c1bb44ce11bee3424246ebcc26baf3c9a5d070ebad2557ccf9',\n  'be-59': '2e66e9191f50acbbdca0f431266eee9e53ecb0d099cf459035583d1fe921389d',\n  'be-55': '9d7b80fcef3d95a0be30d9a7ede0ba7cd021d6e14fa4e7981b743ee145b0b8c8',\n  'be-60': '0b5ff87f7ef793bac6a5d740b462af5768dd2829944789ad35834c5eceb31b44',\n  'be-21': '5a2e6e27b0a000b4b7ae577819ac34a82b7c620f6c8bd1413603ede6360d525d',\n  'be-14': '70469372cb9b0adeccefd18a796061da62b20412dfbaf736ab9765a5169e4799',\n  'be-43': 'a9db7a0f1a53c449525b2f163f371a7f6f51cb03af6cc4c3186b39ba9fb709cb',\n  'be-37': '9bc5bf0d2379c2df54cac3a573e1e88daee6d65627531e6d7db4884b4fc388a9',\n  'be-54': 'eb61f6273649c17051a4a2b0549a30bc5f9a1060b9d46e85cdb9030ac4eb294b',\n  'be-17': '1dc24def887706b972db40ffce56e76bac8d8fc964aef4fec8d60ff75fce410c',\n  'be-27': '106aa08a3cb532aa0cdee42d02b283a8e273561f095c8b1d28e62cc5b1337181',\n  'be-22': '9717a67d45d9cfe91271d18fc18386a33647416908890da1e3159d135d2554e7',\n  'be-15': '4058289145099f1e9fde380dc7bae06fce78722588b74242b83bf6f5581fb889',\n  'be-33': 'c238dc6d809de1905aad7ba2cf8704979724f4dffa129955feb7e18b12996a87',\n  'be-50': 'c898e6857ebb476053f4c4672ff12ac22bbfbef7a2e3f664cf231c3bb2f157d2',\n  'be-32': '3d5fcd0038bfff924ec8135d41dc1b8d72c1808a7d92ac276ccbae31973be28a',\n  'be-28': '8714c5e37191300c167483f050f1e8556599ec51808b51eb5ce5fe32345fb606',\n  'be-40': 'c38df7f5f961031d1d07aacd617949af6b206b586daac19d9adf5f13f73af74a',\n  'be-35': '218e1345d32807e2b4270e3509a755443b07bd25362038a9580c4596850ae472',\n  'be-63': '6cd701cf2b99eef6cfc9790288323e6daa3f5af7bdab3d94031a05fd90b9c08d',\n  'be-30': '078f06e8804ad300f6f3d8322fee749f27569f576486696667b1fb48be1ca442',\n  'be-66': 'edfaf5acb729e8f66142e5c2e9cf94d37ba76a8b0490bf804aac18e3ff741ee4',\n  'be-67': 'cd4f91274459b5cbc7a93ea9efa45e8d61c54d888c58746c22242ddeb1114510',\n  'be-68': '35b62fcf05ee7ac7848fab22692149d03b9b6cfa37f12dd1ec1df5701f61d86b',\n  'be-69': '0e28426d6c4aacf9a50c7d530cf8721a9a5205f3b44bac2ca406e95dbe911dd4',\n  'be-70': '925f801c32a0b56335da581875f467ed67d70ee65645a543bbc4553e1c6e5542',\n  'be-71': '04e19690d699f5add3744d1da8a46dc2a2d76dccfd7a6c1351ee41d8586cd490',\n  'be-72': '6db73d9a11e6a03e83d59cb3b6f9b673ab9fcc50186ee807f9858f9a12ea7306',\n  'be-73': '4369bbc21a6cbea9133d97e64eac7cece61a6f0609bc69334d0cc967fa2e2780',\n  'be-74': '1c7d74da7f98461e8e073c38335ee1384587c8a0159d8eb3ac0d1cc2fb94b477',\n  'be-75': '1543e13ae8ab04064700f7160ef3f8dd3881fb692b532769f6d91654835cfd23',\n  'be-76': '9bdecacffbd9df418b8aae7bb8ba20319728825f191f29ba6db13e0dd2e02ce3',\n  'be-77': '938ee840a82861f31fab9c53e430f2e2e62ab345e1d8702e806213e64f6dad7f',\n  'be-78': 'cf7cdac14abf80c744f5a1ef70b6c555a66a8b64dfa16c9306055946940540d9',\n  'be-79': '97dcbe76ae4c897bd0262082636bca934848d471a3a601ca8c0f0c40d4e3f291',\n  'be-80': '239d7461b765cc73504b4d7ade98efce43f43003c29632ad3fb269bf1743d7b6',\n  'be-81': '23533daef9e6982568de01e9f866a178c1a6f485d3ef547dd7a251c3fc1f0f09',\n  'be-82': 'c801d244cd81e4bcb53ad661670694d4abb54f430da1a95f8f9b595a017e7dbc',\n  'be-83': '93383e269235261efad9c7dbdf170328c37a6c9a1bb4affb9ac7fc0b318e19a2',\n  'be-84': '5daa227a593246db8885265ebf0c019247b71a62357bcf987fa6c92bfbbd2615',\n  'be-85': 'b27946165baf92909f43f7981be69919a7faab477fdd61e9df8843216f749242',\n  'be-86': '2486f240a66593519597474477669d0dfa38771ae3ec52a7e8cc29d1270953d9',\n  'be-87': '8aaa3a155ea534678202ab84567d25c723ff51d96b27020ef16c134417c954ac',\n  'be-88': 'd4bb4f204fa7fc219e089d8e9fd5fe1ba388ada844d882c3a69e1b69fb39385e',\n  'be-89': '0c5b1dce98bea82e121d78bc202fc994f6528ea3e2e383c390cc102bb1ae5af1',\n  'be-90': '648f49b2447473a3a44c932f2f65678c87392986902bc158b2733665a479df35',\n  'be-91': '782d2e126e271b37093f4bbfe02fc14c5746eb136c38a300244a31259b8e798a',\n  'be-92': '913258c797bd5cc90a83cc86a94d99a7cd8ac2ce8f2a915c4d4702daad4bffb1',\n  'be-93': '6b60f759ce1e79a98e4de49096f507c695ca5f3873f2a0f237e47201f624f6ee',\n  'be-94': 'a1a5af40a0b53e47ec1881bf5c130858723f9323b475627bda00a9fc99755886',\n  'be-95': '350fb518211dc3f9057600e5b46f5f3fe20d25918a6030270b6774dde01d516b',\n  'be-96': '3e20106a0c1716705098e31ced90b08fb41126cab5b04c9f58b04db73d6294f8',\n  'be-97': '07ecd466f0a18cdd7dc69ef226842fc949887ab78ff0c06577d412518d5cc464',\n  'be-98': 'b818dd66cb7c68880aea7538eef416255d176e576650285685fbf52d33590b71',\n  'be-99': '946f859852dc91fde43c065881af518e54feb8b9f8fdaa982589c135e46ca915',\n  'be-100': '4b0cc12b87ce8af042199e24e5e0267b4aca7d91ac1dbf5d6f7ada7d30f57080',\n  'be-101': '826824d71044fe74c433ece6f58ed79550037d7dd91d739bd74e1a43432bafbd',\n  'be-102': 'd558d7f1f0d6619b431e3e47f55da972d4a5d793fc5abdcca246ca7bcecf954b',\n  'be-103': '494cfebdc911620b2ed856e42ed80c62e66f2a59010a13b9fae474323f247b4b',\n  'be-104': '9fe152dea27462d1d96acf68993cc119f0738562fd84743e6841cce21a1c6ffc',\n  'be-105': 'a50cc220138acadd340bf6fac9b276b092a634cb5d51614949b26b98c078ee80',\n  'be-106': '0e927a73dfbd20e122fe121be5ffb4e978188197e3b356dceb90cac58c1c2428',\n  'be-107': '6ef75e7cc6d9a5cb309d236df5546987da1fb5173059028460d1734af3cb8c24',\n  'be-108': 'dc535e38b2a3b1abd4d285175d479986ca574fd32864311a191787ac10671f66',\n  'be-109': '48340a5bb2bc32a86ad3ee3ac64f50513ba74705696c0b2745d698721cebacf7',\n  'be-110': 'd41f59f77f7462208e2bba9ef36a7f9a08debf6f45b1ea7b8da96e15715a474e',\n  'be-111': '85ea9cc4fed9ed3b1d6f904d04478af834e028bc422b1d4ec7add0d5efb806de',\n  'be-112': '5fff6ece7515e306cac131d4e22830f19db050afa613fa747c12353245195b79',\n  'be-113': 'd8c584bfdded5c572af283c080988656548b2ff3823e976eeaad617c3139cef6',\n  'be-114': 'b7cdd43f36d1db2599756a1a192cbf8c89c91b5b591ce9b314f45ad9cb58680f',\n  'be-115': 'd4c2a7412bd95f47589f8f20abfe1d6f26595126208a4d5108fbdbd3022b63aa',\n  'be-116': '532d403048b80ceda5f8b84843d0a92043871a47f4d98a74e5ab7a2c41da370c',\n  'be-117': 'f12c725db622e01d798f1737ef6753f130c93c80d6e2acbe464cda5d86318324',\n  'be-118': '77091b5dfb1363bbaa1260d4be1ebb6f20bd50dcbf240b41ecfd95cbd97dec9a',\n  'be-119': 'd4028c30361e80d25a5db1f77a11509c9ae8ef806c5a590683aa64bcfede505b',\n  'be-120': '7d6d7d7c4f37fce49e9426d303f813ea38da7e096b6ab196e8f24127420e51ff',\n  'be-121': '45d55190ae6d42ed8857328de247aed9a97a33a1bb39cfb2da4db4b32b621913',\n  'be-122': '1adf121312f9e7a0987b26db17e9482170c024c0585440f7a7196354e3905a8f',\n  'be-123': '7cb42177258bcdf12708385b8239d967a0f8495347765e879219d9e2217d9fa0',\n  'be-124': 'edba0bb729e4b7b9168be0690c6608bea5188d124a9dfb8cecc7425cc85ba200',\n  'be-125': 'b0ce83cfd9128cd2204ab6befdf2d06ce965fd45000cf406711800852cc87cc0',\n  'be-126': '79840172085326318a836c9957411128e6377d19e3f4e732390d1453d5f0f29b',\n  'be-127': '7cc94ecf33c265a7275c3510c160a542a7cc3e4da88c5c7069ff473651167a07',\n  'be-128': 'd759c04cdfcb04fbb36b89f4e8a661597b54f9309be28cba09ea1ce985fe2847',\n  'be-129': 'e16a48b1001643421d3feac882c9cc5f483bc56b0136ff0facba5ea119d5a85e',\n  'be-130': '6ca583f50192eddb8917c95dc60d2ba6b65e4f1f7a6eedf5ad0cd7574122e666',\n  'be-131': '88d0d6a164d39b2ec4d0858f0423512cd16bdd3ca2c34a92ffd21bc992fbe67f',\n  'be-132': '1b0ba9e3e52d5dfd228633db052c0c248acbf596f2262f8f05c7440e91bb5f9a',\n  'be-133': '1fb39327e2939a5d958ac8d2a141e1bc92416367c228b01e01873549ec4cf950',\n  'be-134': 'fec42f79496f056f5b54fa609ca8150a8c1aa3c6c46c71f461ca5334d0b75fa4',\n  'be-135': 'fb735429a839c0cf1889d44bf9714d05e01f5f0337fa615b1dc5941823705b2d',\n  'be-136': '01dcfd2e150cc95c79b716fb90d1d5f0090e98a2bbb96a8e0454004a0028dc1f',\n  'be-137': '23bba2ad12564ee2418afb704e29561ac5769a77a1e0d3663082724e91d557eb',\n  'be-138': 'afba03f978acf127b30ab24a9ee510659608a93a015002acec3c478139f6fda6',\n  'be-139': '93e2ff6b141c8c330e39bd499a63a86c6cf181c9e4d21a5b2820d838b80d500d',\n  'be-140': '64ba9268bb9b764bbc59590ca0e64a180b723f35651531193c90c2a87d77d5f4',\n  'be-141': 'ca3efdba41edd67b1e436fc01b67d1acb60545f96947cb1f43a0af51939add1a',\n  'be-142': '67ebceb83e24e4bd7081c8cf35c10a935fbdc1861783ade6856467eb2871efda',\n  'be-143': '5be1cad3b6b66f85439c607181f624d10a69c0837d48eb90f41a5e0bbbffe940',\n  'be-144': '67822836d4b5b37163897ef14eed8fb16e00910a716eccc77e943f9b52d10c09',\n  'be-145': '44ef60d375cd4e47da236e3e8b3d9ad10a07f9f3cc99a868d667a48051aa026a',\n  'be-146': 'f757b6202576fd1b511e2623e808873ea13803be37ed25ff9f6402785a2097f0',\n  'be-147': 'b6257e067abf0d857e2e351c0656ed61298d3a7779af5303a2e8048190d207b0',\n  'be-148': '1d808f35bdb0e549aed9335caa11864ba76f9670bc39c92b9159b53050d8dc26',\n  'be-149': '1ff3305cab300825913c40f67a1d202f0aa70c843848773aa5175199dcc4dc79',\n  'be-150': '172e09d30b3b696e4434e29fa4131fe003d7d3c45f862210bb497edbf1770a1e',\n  'be-151': '60afea385262cb38b3b526ad49211acf6befeaf30c640c8c53e3e81ae5e6aa40',\n  'be-152': '61ea1c8f876feb22d350a335b96ee6d791151888c772a0ec307ab040da68524a',\n  'be-153': '051febadc75bbbb74ee91a9d5c5cfdf31b264561899f2db468cb33011843c285',\n  'be-154': '72600e36ea8180f3784104b49b27bd8ab88d255407a7548125628b606266e122',\n  'be-155': '6ce8c32e186da150335cbeb2d6e7814a6b1de2baa6163ee861ab6ca41bab91ae',\n  'be-156': '636140057723a37683d9e6f812e50bb5c2219a45e3d11e4f3bab07dc92d73ae6',\n  'be-157': '93cfe400cbe94672719bfcdc36979ff41cde862efa80e30701dba0fbe873706c',\n  'be-158': '3f87b41fa8563b4c8ab4c46e14c1412a48ab047ca0c676971c1771796d531b78',\n  'be-159': '296825538cd1e474b22ecc215b51fac79ade6a417d7399c257ba9c28db2152c2',\n  'be-160': 'efcab77d5c41fda7643b7cf3b014e2627ef503ab15ee8373125acdbac96f91f6',\n  'be-161': '49ea75f63a871a4a7a61bc2473fcd452a598c1d8e2808116c515ac67b717bb77',\n  'be-162': '531e8cd60c6fe8ef031ce5363508396f7a47d032f8927b7e00e3c97d422195de',\n  'be-163': 'ff937a83dc122c56372fea34633f1d28acadea87088d31b36e07a39187080abd',\n  'be-164': '08757270a97c7f74edefb897fd1050d6a34f39d333f91f40d672eab80c3170e7',\n  'be-165': '5fd50258133d592be623f2e5d34b24ffb6c3d7fc6c513b6c4c20bd18f8bced32',\n  'be-166': '06cc5cfdf19903d7d6950183a0d36e7fbae2d48258d6b473707d94dc34845944',\n  'be-167': 'e127412cf8a32ba3e9978339ec0558df9ac1a2a452185e551f0c9d1f808fd1e9',\n  'be-168': 'c5247ab57406901cd9ac6f9a959aa1523e9a3572b52077ea469ef5db645f704f',\n  'be-169': '6f4e6c880f33255ed8d2c3d9757ba81e93e3f71b4a5ae8d02cbff0b91e6a244a',\n  'be-170': '26aabd56c4ff46a851b672b5eaaab67c4124e4afb20682418a80192911ee9348',\n};\n"]}
+{"version":3,"file":"physjs-reviewed.js","sourceRoot":"","sources":["../../src/atlas/physjs-reviewed.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsB;IACzD,cAAc;IACd,eAAe;IACf,oBAAoB;IACpB,wBAAwB;IACxB,mBAAmB;IACnB,mBAAmB;IACnB,sBAAsB;IACtB,mBAAmB;IACnB,kBAAkB;IAClB,iBAAiB;CAClB,CAAC;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,oBAAoB,GAAqC;IACpE,mBAAmB,EAAE,kEAAkE;IACvF,sBAAsB,EAAE,kEAAkE;IAC1F,iBAAiB,EAAE,kEAAkE;IACrF,wBAAwB,EAAE,kEAAkE;IAC5F,mBAAmB,EAAE,kEAAkE;IACvF,oBAAoB,EAAE,kEAAkE;IACxF,kBAAkB,EAAE,kEAAkE;IACtF,cAAc,EAAE,kEAAkE;IAClF,eAAe,EAAE,kEAAkE;IACnF,mBAAmB,EAAE,kEAAkE;IACvF,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;CAC7E,CAAC","sourcesContent":["/**\n * The reviewed Lean manifest rows (`formal/lean/manifest.json`), pinned per key.\n *\n * Each value is `physjsRowHash` of the row as the manifest writes it:\n * `[key, theorem, kind, covers, leanProof, axioms, nested statements]`. A key\n * is listed only after its row was read against the bridge it keys (the\n * procedure is WORKFLOWS.md, \"Adding or changing a Lean formalRef\"). A key\n * that is ahead of the catalog has no bridge to read it against and is not\n * listed; `physjsFidelity` returns `'unreviewed'` for it.\n *\n * `tests/atlas/physjs-manifest.test.ts` fails, and prints the line to paste\n * here, when a manifest row that resolves to a bridge is missing or has\n * changed since its review, and when a listed key no longer resolves to a\n * bridge. The sentence that the review was one SHA-256 over every row in\n * that test file is the record from before this table.\n *\n * @module atlas/physjs-reviewed\n */\n\n/**\n * Keys whose statements `tests/atlas/formal-sanity.test.ts` instantiates on\n * known cases. A reviewed row with its key here derives\n * `fidelity: 'sanity-lemmas'`; every other reviewed row derives\n * `'reviewed-manifest'`. That test fails when a key listed here has no\n * lemma in it, and when a lemma there names a key missing here.\n *\n * @internal\n */\nexport const PHYSJS_SANITY_LEMMA_KEYS: readonly string[] = [\n  'ab-spring-lc',\n  'ab-damped-rlc',\n  'ab-pendulum-linear',\n  'ab-telegraph-diffusion',\n  'ab-telegraph-wave',\n  'ab-wave-dalembert',\n  'ab-klein-gordon-wave',\n  'ab-kg-schrodinger',\n  'ab-kg-oscillator',\n  'ab-stiff-string',\n];\n\n/** Manifest key → `physjsRowHash` of its reviewed row. @internal */\nexport const PHYSJS_REVIEWED_ROWS: Readonly<Record<string, string>> = {\n  'ab-kg-schrodinger': '880d54fbf7b289a56370914abf51cb948dbc6d442e6d5090d3437f2b332f3a6d',\n  'ab-klein-gordon-wave': 'a9fe4d3d45bf26c97d5fb6b1ebe4f4556ea8cb3bf719430dec174f5215765796',\n  'ab-stiff-string': '49655051dea87dbf5f2b00fe1c372d3b949e7464a60793a648f80481329f6973',\n  'ab-telegraph-diffusion': 'c5b283968be33b6220fbfa595062fa00ee65e45b9d60c02db149a7b7a8aad842',\n  'ab-telegraph-wave': 'c244fb53c90f90f334bbc9f79b9485b228425edc4555052bf5696d00f35f8012',\n  'ab-pendulum-linear': '474d8d86dcf67f85ca41329ee2e90608d6a5db5b29b300cb9d2842636e3cbab2',\n  'ab-kg-oscillator': '737a1ffa7f4852bc6b3d287e13873228e2be0477194b110f5ab291f5d87d5f01',\n  'ab-spring-lc': '42b928779b9f5a8d671b03340ba2a247efa5491064c22305cd61fefcf81910dc',\n  'ab-damped-rlc': '95ab3fc816fdbde805d1a636f28e85f6898f1fae462db421647e0f0cfe3b0196',\n  'ab-wave-dalembert': 'c7b428505dd6cd433c11fff98417a24dc16d111434c3e52232588034d9a69ce5',\n  'be-64': '60b4b75c6006459bb5b61095aa31c6c6cbb7c63b64fc1b8b9997d130aea640dc',\n  'be-53': '654f6b62207c0d7950d738f816b337f5a5c8769ca3e18ba797422ecb537902aa',\n  'be-58': '52b94908af901152a823867115ccdfc05ffb4fc0baeaf73b3ee918038d8c8714',\n  'be-38': '34b14f7be5e62b4bff9ddf0787f3e1f28514dfaf5bc4ebf7a9f16b7dfcf118d1',\n  'be-13': 'f8bacaa12b908ac5c373447dde35518f68fe637ee5e5e207068643acf5b1f65e',\n  'be-34': 'e07dfe069c42b9b2f8685d8a66224bb680f958e6199f2f80bf72b8090e73a881',\n  'be-42': '727b1db4f83b51333a3be625f32a5fb0b0bc37c8dfd142b0fe8a26d0b762d9fa',\n  'be-24': '3fee6732650911fd2db0c8f5a42d0e048ca3ce016fd360014cdc43075b6d6c68',\n  'be-19': '32219ddbe9344c174b1bca94a9618c193a818b122da8bfc35657c57dccde0722',\n  'be-16': '0ec6dae9fe98830ddc9ad8e3ecbcbeded8c99d5dce39a957c48646a28b3c3aff',\n  'be-29': '76095041a745706d6059271a0b148ead8307fdec249a00d4ba592713bb0bdefa',\n  'be-11': 'a427754825b4fd77535b2c8c3b048a37cb1c57fffdeb61d4b81a3eac0ef2bc9f',\n  'be-65': 'af573c86041340633b1d4f16c700a33d0b7860925792b005906087e821aeecb7',\n  'be-51': '8c2059e2227b1962b26661dd659f6240fe42e3f3b5d6f416035771452c6b6a7a',\n  'be-61': 'c007972dc9cddf09aeec67f7e10e0f5a6782bc973c65afe8d7745afaa94269e8',\n  'be-12': '582d9c9feebf35c1bb44ce11bee3424246ebcc26baf3c9a5d070ebad2557ccf9',\n  'be-59': '2e66e9191f50acbbdca0f431266eee9e53ecb0d099cf459035583d1fe921389d',\n  'be-55': '9d7b80fcef3d95a0be30d9a7ede0ba7cd021d6e14fa4e7981b743ee145b0b8c8',\n  'be-60': '0b5ff87f7ef793bac6a5d740b462af5768dd2829944789ad35834c5eceb31b44',\n  'be-21': '5a2e6e27b0a000b4b7ae577819ac34a82b7c620f6c8bd1413603ede6360d525d',\n  'be-14': '70469372cb9b0adeccefd18a796061da62b20412dfbaf736ab9765a5169e4799',\n  'be-43': 'a9db7a0f1a53c449525b2f163f371a7f6f51cb03af6cc4c3186b39ba9fb709cb',\n  'be-37': '9bc5bf0d2379c2df54cac3a573e1e88daee6d65627531e6d7db4884b4fc388a9',\n  'be-54': 'eb61f6273649c17051a4a2b0549a30bc5f9a1060b9d46e85cdb9030ac4eb294b',\n  'be-17': '1dc24def887706b972db40ffce56e76bac8d8fc964aef4fec8d60ff75fce410c',\n  'be-27': '106aa08a3cb532aa0cdee42d02b283a8e273561f095c8b1d28e62cc5b1337181',\n  'be-22': '9717a67d45d9cfe91271d18fc18386a33647416908890da1e3159d135d2554e7',\n  'be-15': '4058289145099f1e9fde380dc7bae06fce78722588b74242b83bf6f5581fb889',\n  'be-33': 'c238dc6d809de1905aad7ba2cf8704979724f4dffa129955feb7e18b12996a87',\n  'be-50': 'c898e6857ebb476053f4c4672ff12ac22bbfbef7a2e3f664cf231c3bb2f157d2',\n  'be-32': '3d5fcd0038bfff924ec8135d41dc1b8d72c1808a7d92ac276ccbae31973be28a',\n  'be-28': '8714c5e37191300c167483f050f1e8556599ec51808b51eb5ce5fe32345fb606',\n  'be-40': 'c38df7f5f961031d1d07aacd617949af6b206b586daac19d9adf5f13f73af74a',\n  'be-35': '218e1345d32807e2b4270e3509a755443b07bd25362038a9580c4596850ae472',\n  'be-63': '6cd701cf2b99eef6cfc9790288323e6daa3f5af7bdab3d94031a05fd90b9c08d',\n  'be-30': '078f06e8804ad300f6f3d8322fee749f27569f576486696667b1fb48be1ca442',\n  'be-66': 'edfaf5acb729e8f66142e5c2e9cf94d37ba76a8b0490bf804aac18e3ff741ee4',\n  'be-67': 'cd4f91274459b5cbc7a93ea9efa45e8d61c54d888c58746c22242ddeb1114510',\n  'be-68': '35b62fcf05ee7ac7848fab22692149d03b9b6cfa37f12dd1ec1df5701f61d86b',\n  'be-69': '0e28426d6c4aacf9a50c7d530cf8721a9a5205f3b44bac2ca406e95dbe911dd4',\n  'be-70': '925f801c32a0b56335da581875f467ed67d70ee65645a543bbc4553e1c6e5542',\n  'be-71': '04e19690d699f5add3744d1da8a46dc2a2d76dccfd7a6c1351ee41d8586cd490',\n  'be-72': '6db73d9a11e6a03e83d59cb3b6f9b673ab9fcc50186ee807f9858f9a12ea7306',\n  'be-73': '4369bbc21a6cbea9133d97e64eac7cece61a6f0609bc69334d0cc967fa2e2780',\n  'be-74': '1c7d74da7f98461e8e073c38335ee1384587c8a0159d8eb3ac0d1cc2fb94b477',\n  'be-75': '1543e13ae8ab04064700f7160ef3f8dd3881fb692b532769f6d91654835cfd23',\n  'be-76': '9bdecacffbd9df418b8aae7bb8ba20319728825f191f29ba6db13e0dd2e02ce3',\n  'be-77': '938ee840a82861f31fab9c53e430f2e2e62ab345e1d8702e806213e64f6dad7f',\n  'be-78': 'cf7cdac14abf80c744f5a1ef70b6c555a66a8b64dfa16c9306055946940540d9',\n  'be-79': '97dcbe76ae4c897bd0262082636bca934848d471a3a601ca8c0f0c40d4e3f291',\n  'be-80': '239d7461b765cc73504b4d7ade98efce43f43003c29632ad3fb269bf1743d7b6',\n  'be-81': '23533daef9e6982568de01e9f866a178c1a6f485d3ef547dd7a251c3fc1f0f09',\n  'be-82': 'c801d244cd81e4bcb53ad661670694d4abb54f430da1a95f8f9b595a017e7dbc',\n  'be-83': '93383e269235261efad9c7dbdf170328c37a6c9a1bb4affb9ac7fc0b318e19a2',\n  'be-84': '5daa227a593246db8885265ebf0c019247b71a62357bcf987fa6c92bfbbd2615',\n  'be-85': 'b27946165baf92909f43f7981be69919a7faab477fdd61e9df8843216f749242',\n  'be-86': '2486f240a66593519597474477669d0dfa38771ae3ec52a7e8cc29d1270953d9',\n  'be-87': '8aaa3a155ea534678202ab84567d25c723ff51d96b27020ef16c134417c954ac',\n  'be-88': 'd4bb4f204fa7fc219e089d8e9fd5fe1ba388ada844d882c3a69e1b69fb39385e',\n  'be-89': '0c5b1dce98bea82e121d78bc202fc994f6528ea3e2e383c390cc102bb1ae5af1',\n  'be-90': '648f49b2447473a3a44c932f2f65678c87392986902bc158b2733665a479df35',\n  'be-91': '782d2e126e271b37093f4bbfe02fc14c5746eb136c38a300244a31259b8e798a',\n  'be-92': '913258c797bd5cc90a83cc86a94d99a7cd8ac2ce8f2a915c4d4702daad4bffb1',\n  'be-93': '6b60f759ce1e79a98e4de49096f507c695ca5f3873f2a0f237e47201f624f6ee',\n  'be-94': 'a1a5af40a0b53e47ec1881bf5c130858723f9323b475627bda00a9fc99755886',\n  'be-95': '350fb518211dc3f9057600e5b46f5f3fe20d25918a6030270b6774dde01d516b',\n  'be-96': '3e20106a0c1716705098e31ced90b08fb41126cab5b04c9f58b04db73d6294f8',\n  'be-97': '07ecd466f0a18cdd7dc69ef226842fc949887ab78ff0c06577d412518d5cc464',\n  'be-98': 'b818dd66cb7c68880aea7538eef416255d176e576650285685fbf52d33590b71',\n  'be-99': '946f859852dc91fde43c065881af518e54feb8b9f8fdaa982589c135e46ca915',\n  'be-100': '4b0cc12b87ce8af042199e24e5e0267b4aca7d91ac1dbf5d6f7ada7d30f57080',\n  'be-101': '826824d71044fe74c433ece6f58ed79550037d7dd91d739bd74e1a43432bafbd',\n  'be-102': 'd558d7f1f0d6619b431e3e47f55da972d4a5d793fc5abdcca246ca7bcecf954b',\n  'be-103': '494cfebdc911620b2ed856e42ed80c62e66f2a59010a13b9fae474323f247b4b',\n  'be-104': '9fe152dea27462d1d96acf68993cc119f0738562fd84743e6841cce21a1c6ffc',\n  'be-105': 'a50cc220138acadd340bf6fac9b276b092a634cb5d51614949b26b98c078ee80',\n  'be-106': '0e927a73dfbd20e122fe121be5ffb4e978188197e3b356dceb90cac58c1c2428',\n  'be-107': '6ef75e7cc6d9a5cb309d236df5546987da1fb5173059028460d1734af3cb8c24',\n  'be-108': 'dc535e38b2a3b1abd4d285175d479986ca574fd32864311a191787ac10671f66',\n  'be-109': '48340a5bb2bc32a86ad3ee3ac64f50513ba74705696c0b2745d698721cebacf7',\n  'be-110': 'd41f59f77f7462208e2bba9ef36a7f9a08debf6f45b1ea7b8da96e15715a474e',\n  'be-111': '85ea9cc4fed9ed3b1d6f904d04478af834e028bc422b1d4ec7add0d5efb806de',\n  'be-112': '5fff6ece7515e306cac131d4e22830f19db050afa613fa747c12353245195b79',\n  'be-113': 'd8c584bfdded5c572af283c080988656548b2ff3823e976eeaad617c3139cef6',\n  'be-114': 'b7cdd43f36d1db2599756a1a192cbf8c89c91b5b591ce9b314f45ad9cb58680f',\n  'be-115': 'd4c2a7412bd95f47589f8f20abfe1d6f26595126208a4d5108fbdbd3022b63aa',\n  'be-116': '532d403048b80ceda5f8b84843d0a92043871a47f4d98a74e5ab7a2c41da370c',\n  'be-117': 'f12c725db622e01d798f1737ef6753f130c93c80d6e2acbe464cda5d86318324',\n  'be-118': '77091b5dfb1363bbaa1260d4be1ebb6f20bd50dcbf240b41ecfd95cbd97dec9a',\n  'be-119': 'd4028c30361e80d25a5db1f77a11509c9ae8ef806c5a590683aa64bcfede505b',\n  'be-120': '7d6d7d7c4f37fce49e9426d303f813ea38da7e096b6ab196e8f24127420e51ff',\n  'be-121': '45d55190ae6d42ed8857328de247aed9a97a33a1bb39cfb2da4db4b32b621913',\n  'be-122': '1adf121312f9e7a0987b26db17e9482170c024c0585440f7a7196354e3905a8f',\n  'be-123': '7cb42177258bcdf12708385b8239d967a0f8495347765e879219d9e2217d9fa0',\n  'be-124': 'edba0bb729e4b7b9168be0690c6608bea5188d124a9dfb8cecc7425cc85ba200',\n  'be-125': 'b0ce83cfd9128cd2204ab6befdf2d06ce965fd45000cf406711800852cc87cc0',\n  'be-126': '79840172085326318a836c9957411128e6377d19e3f4e732390d1453d5f0f29b',\n  'be-127': '7cc94ecf33c265a7275c3510c160a542a7cc3e4da88c5c7069ff473651167a07',\n  'be-128': 'd759c04cdfcb04fbb36b89f4e8a661597b54f9309be28cba09ea1ce985fe2847',\n  'be-129': 'e16a48b1001643421d3feac882c9cc5f483bc56b0136ff0facba5ea119d5a85e',\n  'be-130': '6ca583f50192eddb8917c95dc60d2ba6b65e4f1f7a6eedf5ad0cd7574122e666',\n  'be-131': '88d0d6a164d39b2ec4d0858f0423512cd16bdd3ca2c34a92ffd21bc992fbe67f',\n  'be-132': '1b0ba9e3e52d5dfd228633db052c0c248acbf596f2262f8f05c7440e91bb5f9a',\n  'be-133': '1fb39327e2939a5d958ac8d2a141e1bc92416367c228b01e01873549ec4cf950',\n  'be-134': 'fec42f79496f056f5b54fa609ca8150a8c1aa3c6c46c71f461ca5334d0b75fa4',\n  'be-135': 'fb735429a839c0cf1889d44bf9714d05e01f5f0337fa615b1dc5941823705b2d',\n  'be-136': '01dcfd2e150cc95c79b716fb90d1d5f0090e98a2bbb96a8e0454004a0028dc1f',\n  'be-137': '23bba2ad12564ee2418afb704e29561ac5769a77a1e0d3663082724e91d557eb',\n  'be-138': 'afba03f978acf127b30ab24a9ee510659608a93a015002acec3c478139f6fda6',\n  'be-139': '93e2ff6b141c8c330e39bd499a63a86c6cf181c9e4d21a5b2820d838b80d500d',\n  'be-140': '64ba9268bb9b764bbc59590ca0e64a180b723f35651531193c90c2a87d77d5f4',\n  'be-141': 'ca3efdba41edd67b1e436fc01b67d1acb60545f96947cb1f43a0af51939add1a',\n  'be-142': '67ebceb83e24e4bd7081c8cf35c10a935fbdc1861783ade6856467eb2871efda',\n  'be-143': '5be1cad3b6b66f85439c607181f624d10a69c0837d48eb90f41a5e0bbbffe940',\n  'be-144': '67822836d4b5b37163897ef14eed8fb16e00910a716eccc77e943f9b52d10c09',\n  'be-145': '44ef60d375cd4e47da236e3e8b3d9ad10a07f9f3cc99a868d667a48051aa026a',\n  'be-146': 'f757b6202576fd1b511e2623e808873ea13803be37ed25ff9f6402785a2097f0',\n  'be-147': '7500f9accb06f74b241314647f4201c43f3277c77d9f5245ae183fe787baa36a',\n  'be-148': 'b51947097d1b5a83fde24a256b14dd62bdcb106dcb214eba164a10bffe020bd1',\n  'be-149': '3d8ea014860f455884f66ce495ee79efdb2cc923a398a15d2f2f58588fe0814e',\n  'be-150': '172e09d30b3b696e4434e29fa4131fe003d7d3c45f862210bb497edbf1770a1e',\n  'be-151': '07d88e2df67f34f4cddfddfab516bca69e41bc9c8c0f2015861390163087b525',\n  'be-152': '61ea1c8f876feb22d350a335b96ee6d791151888c772a0ec307ab040da68524a',\n  'be-153': '051febadc75bbbb74ee91a9d5c5cfdf31b264561899f2db468cb33011843c285',\n  'be-154': 'ba21b1e5516b3404c4375f14b4e27b8ebfd1fbe07f23882461d7a2289ce7e522',\n  'be-155': '0876d0e9fe0ffc7735731841548e3024988cfaf6fbc872eb060e0ae21e62b93b',\n  'be-156': '7148ff42464d034cb1a96b40ce7c17a955e539a7ca7be794dbb57a4d6fbb503a',\n  'be-157': 'd4d6c7a24bd46014ce1367370b959631b69f51c0bab911016e0f157282723595',\n  'be-158': '1e03fa92e4e2191e96ab751eb3d0b1d89867f29ee47d8f24eb6f7deae6c1cfca',\n  'be-159': '2977a93ea3ea31785ad59cae7f8bc53db7fe322f93505141e752f84343e03f2a',\n  'be-160': 'efcab77d5c41fda7643b7cf3b014e2627ef503ab15ee8373125acdbac96f91f6',\n  'be-161': '49ea75f63a871a4a7a61bc2473fcd452a598c1d8e2808116c515ac67b717bb77',\n  'be-162': '531e8cd60c6fe8ef031ce5363508396f7a47d032f8927b7e00e3c97d422195de',\n  'be-163': '11814e8a0c9855b6c6a92ddbbe716f2880e318a9869a59f028aa616662bba275',\n  'be-164': 'fcbfa8ef810ef6ee12c2fb47128946e380e86f097977a77ecbda27c0923ee93a',\n  'be-165': '5fd50258133d592be623f2e5d34b24ffb6c3d7fc6c513b6c4c20bd18f8bced32',\n  'be-166': '06cc5cfdf19903d7d6950183a0d36e7fbae2d48258d6b473707d94dc34845944',\n  'be-167': 'e127412cf8a32ba3e9978339ec0558df9ac1a2a452185e551f0c9d1f808fd1e9',\n  'be-168': '6c7696962e56f466c016a03947c8b359ae23fd1da6f1eb93e0aab4be117e062c',\n  'be-169': '6f4e6c880f33255ed8d2c3d9757ba81e93e3f71b4a5ae8d02cbff0b91e6a244a',\n  'be-170': 'f9d8dff51577fe8556593c0a31ca26577d5449864e48c246831aa37612463d48',\n};\n"]}

package/dist/atlas/poster/statements.d.ts

@@ -75,25 +75,6 @@ export type Identification = 'derived' | 'partial' | 'unidentified';
 export declare const POSTER_MODEL_UNRECORDED: ModelId;
 /** What `3, 14 → *` puts in `sourceExpression`. Never a guess. @internal */
 export declare const UNIDENTIFIED = "UNIDENTIFIED";
-/**
- * Why entry 5 is `'partial'` and not `'derived'`.
- *
- * Two edge lines constrain it and they pull in different directions.
- * `16 → 5, 10` is an approximation in `v/c` *"needing `E = γmc²`, `p = γmv`,
- * `F = dp/dt`"*, which reads as `E = mc²` reached from `E = γmc²`.
- * `5, 16 → 8 constrain but do not determine` is, in the usual telling, the
- * Newtonian-limit-plus-special-relativity constraint on the field equations,
- * which would make 5 Newton's law of universal gravitation.
- *
- * It cannot be both, and `8 → 12` — approximation then *"restriction to a
- * point source"* — already lands on universal gravitation at 12. Two entries
- * cannot be the same law, so 5 is read as `E = mc²` here. The reading is
- * RECORDED rather than asserted: the entry stays `'partial'`, and no edge
- * depends on it, because every edge references 5 by number.
- *
- * @internal
- */
-export declare const POSTER_5_IDENTIFICATION_NOTE: string;
 /**
  * One of the sixteen, with its number and how firmly its identity is pinned.
  *

package/dist/atlas/poster/statements.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/atlas/poster/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,KAAK,EAAW,SAAS,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACvE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,cAAc,CAAC;AAEpE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,uBAAuB,EAAE,OAAmC,CAAC;AAE1E,4EAA4E;AAC5E,eAAO,MAAM,YAAY,iBAAiB,CAAC;AAE3C;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,4BAA4B,QAGkD,CAAC;AAE5F;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,iFAAiF;IACjF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAiCD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,cAAc,EAAE,SAAS,WAAW,EAgJhD,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,YAAY,EAAE,SAAS,SAAS,EA2D5C,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS,SAAS,EAmCrD,CAAC;AAEF,8EAA8E;AAC9E,eAAO,MAAM,qBAAqB,EAAE,SAAS,SAAS,EAIrD,CAAC;AAEF,uDAAuD;AACvD,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,GAAE,SAAS,SAAS,EAA0B,EACxD,OAAO,GAAE,SAAS,WAAW,EAAmB,GAC/C,WAAW,CAAC,WAAW,EAAE,SAAS,CAAC,CA6BrC;AAED,oCAAoC;AACpC,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,WAAW,EAAE,SAAS,CAAyB,CAAC;AAE1F,mFAAmF;AACnF,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAMvD;AAED,mFAAmF;AACnF,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAEpD"}
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/atlas/poster/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,KAAK,EAAW,SAAS,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACvE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,cAAc,CAAC;AAEpE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,uBAAuB,EAAE,OAAmC,CAAC;AAE1E,4EAA4E;AAC5E,eAAO,MAAM,YAAY,iBAAiB,CAAC;AAyB3C;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,iFAAiF;IACjF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAiCD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,cAAc,EAAE,SAAS,WAAW,EAgJhD,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,YAAY,EAAE,SAAS,SAAS,EA2D5C,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS,SAAS,EAmCrD,CAAC;AAEF,8EAA8E;AAC9E,eAAO,MAAM,qBAAqB,EAAE,SAAS,SAAS,EAIrD,CAAC;AAEF,uDAAuD;AACvD,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,GAAE,SAAS,SAAS,EAA0B,EACxD,OAAO,GAAE,SAAS,WAAW,EAAmB,GAC/C,WAAW,CAAC,WAAW,EAAE,SAAS,CAAC,CA6BrC;AAED,oCAAoC;AACpC,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,WAAW,EAAE,SAAS,CAAyB,CAAC;AAE1F,mFAAmF;AACnF,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAMvD;AAED,mFAAmF;AACnF,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAEpD"}

package/dist/atlas/poster/statements.js

@@ -85,7 +85,7 @@ export const UNIDENTIFIED = 'UNIDENTIFIED';
  *
  * @internal
  */
-export const POSTER_5_IDENTIFICATION_NOTE = "entry 5 is read as E = mc² because 8 → 12 already lands on universal gravitation at 12, " +
+const POSTER_5_IDENTIFICATION_NOTE = "entry 5 is read as E = mc² because 8 → 12 already lands on universal gravitation at 12, " +
     "so the alternative reading of '5, 16 → 8' (the Newtonian limit) would duplicate entry 12; " +
     'no edge in this module depends on the reading — all fifteen reference entries by number';
 /** Terse `Context` builder. `assumptions` is required; `excludes` defaults to none. */

package/dist/atlas/poster/statements.js.map

@@ -1 +1 @@
-{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/atlas/poster/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAYH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAY,yBAAyB,CAAC;AAE1E,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAG,cAAc,CAAC;AAE3C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,4BAA4B,GACvC,0FAA0F;IAC1F,4FAA4F;IAC5F,yFAAyF,CAAC;AAgB5F,uFAAuF;AACvF,SAAS,GAAG,CACV,WAA8B,EAC9B,IAAI,GAA0C,EAAE;IAEhD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,KAAK,CACZ,MAAc,EACd,EAAe,EACf,gBAAwB,EACxB,OAAe,EACf,OAAgB,EAChB,cAAc,GAAmB,SAAS,EAC1C,IAAa;IAEb,OAAO;QACL,MAAM;QACN,cAAc;QACd,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,SAAS,EAAE;YACT,EAAE;YACF,OAAO;YACP,KAAK,EAAE,uBAAuB;YAC9B,gBAAgB;YAChB,OAAO;SACR;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,cAAc,GAA2B;IACpD,KAAK,CACH,CAAC,EACD,UAAU,EACV,cAAc,EACd,6BAA6B,EAC7B,GAAG,CAAC,CAAC,eAAe,EAAE,2CAA2C,CAAC,EAAE;QAClE,WAAW,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE;QACpC,aAAa,EAAE,CAAC,QAAQ,CAAC;KAC1B,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,cAAc,EACd,mBAAmB,EACnB,GAAG,CAAC,CAAC,iBAAiB,EAAE,yCAAyC,CAAC,EAAE;QAClE,aAAa,EAAE,CAAC,SAAS,CAAC;KAC3B,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,YAAY,EACZ,+BAA+B,EAC/B,GAAG,CAAC,CAAC,uDAAuD,CAAC,CAAC,EAC9D,cAAc,EACd,kFAAkF;QAChF,gFAAgF,CACnF;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,eAAe,EACf,iCAAiC,EACjC,GAAG,CAAC;QACF,kCAAkC;QAClC,gDAAgD;KACjD,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,SAAS,EACT,yBAAyB,EACzB,GAAG,CAAC,CAAC,wBAAwB,EAAE,eAAe,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,EACvF,SAAS,EACT,4BAA4B,CAC7B;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,gBAAgB,EAChB,sBAAsB,EACtB,GAAG,CAAC,CAAC,kBAAkB,EAAE,0BAA0B,EAAE,qBAAqB,CAAC,CAAC,CAC7E;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,GAAG,YAAY,oCAAoC,EACnD,gDAAgD,EAChD,GAAG,CAAC,CAAC,oCAAoC,EAAE,wBAAwB,CAAC,CAAC,EACrE,SAAS,EACT,sFAAsF;QACpF,wFAAwF;QACxF,wFAAwF,CAC3F;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,+BAA+B,EAC/B,0BAA0B,EAC1B,GAAG,CAAC;QACF,6BAA6B;QAC7B,mDAAmD;KACpD,EAAE,EAAE,WAAW,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,CAAC,CACjD;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,wBAAwB,EACxB,oBAAoB,EACpB,GAAG,CAAC,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC,CAC3C;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,SAAS,EACT,qBAAqB,EACrB,GAAG,CAAC,CAAC,mBAAmB,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC,CACrD;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,cAAc,EACd,oBAAoB,EACpB,GAAG,CAAC,CAAC,0BAA0B,EAAE,0BAA0B,CAAC,EAAE;QAC5D,gEAAgE;QAChE,2DAA2D;QAC3D,qEAAqE;QACrE,0DAA0D;QAC1D,QAAQ,EAAE,CAAC,uBAAuB,CAAC;KACpC,CAAC,CACH;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,kBAAkB,EAClB,iCAAiC,EACjC,GAAG,CAAC,CAAC,YAAY,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CACnD;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,wCAAwC,EACxC,gCAAgC,EAChC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CACf;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,YAAY,EACZ,gCAAgC,EAChC,GAAG,CAAC,CAAC,uDAAuD,CAAC,CAAC,EAC9D,cAAc,EACd,mFAAmF;QACjF,gFAAgF,CACnF;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,gDAAgD,EAChD,yBAAyB,EACzB,GAAG,CAAC,CAAC,2BAA2B,EAAE,0BAA0B,CAAC,CAAC,CAC/D;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,mCAAmC,EACnC,6CAA6C,EAC7C,GAAG,CAAC,CAAC,iBAAiB,EAAE,yCAAyC,EAAE,gBAAgB,CAAC,EAAE;QACpF,WAAW,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE;KACzC,CAAC,CACH;CACF,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAyB;IAChD;QACE,EAAE,EAAE,4BAA4B;QAChC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,4BAA4B,EAAE,mCAAmC,CAAC;YAChF,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,QAAQ;QAC1B,OAAO,EAAE,sCAAsC;KAChD;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,0CAA0C;gBAC1C,4BAA4B;aAC7B;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,gEAAgE;QAClF,OAAO,EAAE,mBAAmB;KAC7B;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,mCAAmC,EAAE,wBAAwB,CAAC;YAC5E,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,0CAA0C;QAC5D,OAAO,EAAE,yBAAyB;KACnC;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,gBAAgB,EAAE,yCAAyC,CAAC;YAC1E,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EACd,0FAA0F;QAC5F,OAAO,EAAE,mBAAmB;KAC7B;IACD;QACE,EAAE,EAAE,iCAAiC;QACrC,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,+CAA+C;gBAC/C,iBAAiB;aAClB;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EACd,8FAA8F;QAChG,OAAO,EAAE,uBAAuB;KACjC;CACF,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD;QACE,EAAE,EAAE,iCAAiC;QACrC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;YACrE,QAAQ,EAAE,CAAC,uBAAuB,CAAC;SACpC;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,mDAAmD;QACrE,OAAO,EAAE,mCAAmC;KAC7C;IACD;QACE,EAAE,EAAE,wCAAwC;QAC5C,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,uBAAuB;gBACvB,iDAAiD;gBACjD,4BAA4B;aAC7B;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,qDAAqD;QACvE,OAAO,EAAE,yCAAyC;KACnD;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,mDAAmD,CAAC;YAClE,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,gEAAgE;QAClF,OAAO,EAAE,qBAAqB;KAC/B;CACF,CAAC;AAEF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,GAAG,YAAY;IACf,GAAG,qBAAqB;CACzB,CAAC;AAEF,uDAAuD;AACvD,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAU,GAAyB,qBAAqB,EACxD,OAAO,GAA2B,cAAc;IAEhD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,oBAAoB,CAC5B,2BAA2B,CAAC,CAAC,EAAE,wDAAwD,CACxF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,oBAAoB,CAC5B,cAAc,CAAC,CAAC,EAAE,yEAAyE,CAC5F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,oBAAoB,CAC5B,cAAc,CAAC,CAAC,EAAE,2EAA2E,CAC9F,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,oBAAoB,CAC5B,SAAS,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,cAAc,wBAAwB;gBAC/D,+CAA+C,CAClD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oCAAoC;AACpC,MAAM,CAAC,MAAM,eAAe,GAAwC,mBAAmB,EAAE,CAAC;AAE1F,mFAAmF;AACnF,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC9D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAAC,yBAAyB,MAAM,uBAAuB,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC","sourcesContent":["/**\n * Atlas Phase 3 — the poster's sixteen entries, its five hidden supporting\n * nodes, and the three conservation statements its edges conclude in.\n *\n * ## The one rule this module exists to obey\n *\n * **Blueprint v2's Appendix A is NOT in this repo.** `ROADMAP.md` Phase 3\n * states the fifteen typed edge lines and the five hidden nodes in full, and\n * it references the sixteen entries BY NUMBER in identifying context — but no\n * file here maps number → name. Design note\n * `docs/planning/Atlas-Phase-3-Design.md` §5 is explicit about what follows:\n * *\"Transcribe or derive each entry from a stated source; never invent one to\n * fill a gap.\"*\n *\n * So every entry below carries an {@link Identification}, and it is a FIELD\n * rather than a comment because a comment cannot be tested. Three values:\n *\n * - `'derived'` — the edge lines pin it. `10 → 9` restriction with *\"separate\n *   frame content in 9\"*, `11 → momentum conservation … converse fails … fails\n *   naively when fields carry momentum`: those three lines are Newton's\n *   second, first and third laws and nothing else.\n * - `'partial'` — the lines pin a FAMILY but not the member. Entry 7 is a\n *   Maxwell equation (the line distinguishes it from *\"the full Maxwell\n *   system\"*, which is a hidden node — `never from 7 alone`), but which of the\n *   four it is, is not recoverable. Entry 5 is read here as `E = mc²`; see\n *   {@link POSTER_5_IDENTIFICATION_NOTE}.\n * - `'unidentified'` — entries 3 and 14, which `ROADMAP.md` names exactly\n *   once, in `3, 14 → * association only`. Nothing there identifies them. They\n *   are recorded as placeholders WITH THEIR NUMBERS and no physics, because a\n *   plausible guess would be uncheckable, and an honest gap beats it.\n *\n * **The edges do not depend on any of this.** Every record in\n * `./derivations.ts` and `./associations.ts` references entries by NUMBER, so\n * a mis-identified NAME cannot corrupt an edge type. That separation is\n * deliberate: the numbers come from a stated source, the names are an\n * inference over it, and only one of them is load-bearing.\n *\n * ## `ast?` is absent everywhere here, on purpose\n *\n * `statement.ts` §1 already argues it: the hidden nodes are valuable because\n * they are NAMED and LINKED, not evaluable, and requiring an `ast` would force\n * a fabricated encoding. The same holds for the sixteen — this module records\n * poster claims, not evaluable equations — so every statement here carries an\n * honest `sourceExpression` and no `ast`, and {@link buildPosterRegistry}\n * refuses one that carries an `ast` it cannot have earned.\n *\n * Pure: no I/O. Imports `../statement.js` and `../model.js` types only, so\n * this module is a leaf under `src/atlas/` and closes no cycle.\n *\n * @module atlas/poster/statements\n */\n\nimport type { Context, Statement, StatementId } from '../statement.js';\nimport type { ModelId } from '../model.js';\n\n/**\n * How firmly an entry's IDENTITY is pinned by a source in this repo.\n *\n * @internal\n */\nexport type Identification = 'derived' | 'partial' | 'unidentified';\n\n/**\n * The `ModelId` every poster statement carries.\n *\n * Phase 3 records a `Model` for the nine oscillator models and for nothing\n * else. A poster entry has no state space, dynamics or parameter list in this\n * repo, so every per-entry model id available here would be invented — and an\n * invented `'model-newtonian-mechanics'` would read, to the next sprint,\n * exactly like a model someone recorded.\n *\n * One shared sentinel instead, which says what is true: no model is recorded.\n * `tests/atlas/poster-statements.test.ts` pins that no poster statement claims\n * an oscillator model id.\n *\n * @internal\n */\nexport const POSTER_MODEL_UNRECORDED: ModelId = 'model-poster-unrecorded';\n\n/** What `3, 14 → *` puts in `sourceExpression`. Never a guess. @internal */\nexport const UNIDENTIFIED = 'UNIDENTIFIED';\n\n/**\n * Why entry 5 is `'partial'` and not `'derived'`.\n *\n * Two edge lines constrain it and they pull in different directions.\n * `16 → 5, 10` is an approximation in `v/c` *\"needing `E = γmc²`, `p = γmv`,\n * `F = dp/dt`\"*, which reads as `E = mc²` reached from `E = γmc²`.\n * `5, 16 → 8 constrain but do not determine` is, in the usual telling, the\n * Newtonian-limit-plus-special-relativity constraint on the field equations,\n * which would make 5 Newton's law of universal gravitation.\n *\n * It cannot be both, and `8 → 12` — approximation then *\"restriction to a\n * point source\"* — already lands on universal gravitation at 12. Two entries\n * cannot be the same law, so 5 is read as `E = mc²` here. The reading is\n * RECORDED rather than asserted: the entry stays `'partial'`, and no edge\n * depends on it, because every edge references 5 by number.\n *\n * @internal\n */\nexport const POSTER_5_IDENTIFICATION_NOTE =\n  \"entry 5 is read as E = mc² because 8 → 12 already lands on universal gravitation at 12, \" +\n  \"so the alternative reading of '5, 16 → 8' (the Newtonian limit) would duplicate entry 12; \" +\n  'no edge in this module depends on the reading — all fifteen reference entries by number';\n\n/**\n * One of the sixteen, with its number and how firmly its identity is pinned.\n *\n * @internal\n */\nexport interface PosterEntry {\n  /** 1–16, as every `ROADMAP.md` Phase 3 edge line references it. */\n  readonly number: number;\n  readonly statement: Statement;\n  readonly identification: Identification;\n  /** Required when `identification !== 'derived'`: what is unresolved, and why. */\n  readonly note?: string;\n}\n\n/** Terse `Context` builder. `assumptions` is required; `excludes` defaults to none. */\nfunction ctx(\n  assumptions: readonly string[],\n  over: Partial<Omit<Context, 'assumptions'>> = {},\n): Context {\n  return { excludes: [], ...over, assumptions };\n}\n\nfunction entry(\n  number: number,\n  id: StatementId,\n  sourceExpression: string,\n  display: string,\n  context: Context,\n  identification: Identification = 'derived',\n  note?: string,\n): PosterEntry {\n  return {\n    number,\n    identification,\n    ...(note !== undefined ? { note } : {}),\n    statement: {\n      id,\n      context,\n      model: POSTER_MODEL_UNRECORDED,\n      sourceExpression,\n      display,\n    },\n  };\n}\n\n/**\n * The sixteen poster entries, in poster order.\n *\n * Every `context.assumptions` is non-empty. Where `ROADMAP.md` states the\n * qualification, it is used verbatim in substance: entry 11's *\"fields carry\n * no momentum\"* (and the matching `excludes`, which is the one genuinely\n * reachable context refusal in this data — see `./derivations.ts`), entry\n * 13's `σ > 0`. Where it does not, the assumption is the standard statement\n * of the entry's own validity and nothing more; none of them adds a claim.\n *\n * @internal\n */\nexport const POSTER_ENTRIES: readonly PosterEntry[] = [\n  entry(\n    1,\n    'poster-1',\n    'dU = δQ − δW',\n    'First law of thermodynamics',\n    ctx(['closed system', 'heat and work are defined for the process'], {\n      conventions: { heatWorkSign: 'Q-W' },\n      quantityTypes: ['energy'],\n    }),\n  ),\n  entry(\n    2,\n    'poster-2',\n    'S = k_B ln W',\n    'Boltzmann entropy',\n    ctx(['isolated system', 'accessible microstates are equiprobable'], {\n      quantityTypes: ['entropy'],\n    }),\n  ),\n  entry(\n    3,\n    'poster-3',\n    UNIDENTIFIED,\n    'Poster entry 3 (unidentified)',\n    ctx(['unidentified: no source in this repo names this entry']),\n    'unidentified',\n    \"ROADMAP.md Phase 3 names entry 3 exactly once, in '3, 14 → * association only', \" +\n      'which identifies nothing about it; Blueprint v2 Appendix A is not in this repo',\n  ),\n  entry(\n    4,\n    'poster-4',\n    'σ_x σ_p ≥ ħ/2',\n    'Heisenberg uncertainty relation',\n    ctx([\n      'canonical commutator [x, p] = iħ',\n      'the state lies in the domain of both operators',\n    ]),\n  ),\n  entry(\n    5,\n    'poster-5',\n    'E = mc²',\n    'Mass–energy equivalence',\n    ctx(['rest frame of the body', 'isolated body'], { quantityTypes: ['energy', 'mass'] }),\n    'partial',\n    POSTER_5_IDENTIFICATION_NOTE,\n  ),\n  entry(\n    6,\n    'poster-6',\n    'iħ ∂_t ψ = Ĥ ψ',\n    'Schrödinger equation',\n    ctx(['non-relativistic', 'self-adjoint Hamiltonian', 'fixed Hilbert space']),\n  ),\n  entry(\n    7,\n    'poster-7',\n    `${UNIDENTIFIED} (one equation of the Maxwell set)`,\n    'A Maxwell equation (which one is unidentified)',\n    ctx(['macroscopic electromagnetic fields', 'the stated unit system']),\n    'partial',\n    \"the '7 ↔ 16' line says the derivation route runs from 'the full Maxwell system' and \" +\n      \"'never from 7 alone', so entry 7 is ONE equation of the set; which of the four is not \" +\n      'recoverable from any source in this repo. The full system is statement-maxwell-system.',\n  ),\n  entry(\n    8,\n    'poster-8',\n    'G_μν + Λ g_μν = (8πG/c⁴) T_μν',\n    'Einstein field equations',\n    ctx([\n      'pseudo-Riemannian spacetime',\n      'the stress-energy tensor is covariantly conserved',\n    ], { conventions: { metricSignature: '-+++' } }),\n  ),\n  entry(\n    9,\n    'poster-9',\n    'net F = 0 ⇒ v constant',\n    \"Newton's first law\",\n    ctx(['an inertial frame', 'no net force']),\n  ),\n  entry(\n    10,\n    'poster-10',\n    'F = m a',\n    \"Newton's second law\",\n    ctx(['an inertial frame', 'constant mass', 'v ≪ c']),\n  ),\n  entry(\n    11,\n    'poster-11',\n    'F_12 = −F_21',\n    \"Newton's third law\",\n    ctx(['isolated particle system', 'fields carry no momentum'], {\n      // The one exclusion this data states, and ROADMAP.md states it:\n      // entry 11 \"fails naively when fields carry momentum\". The\n      // field-inclusive momentum statement ASSUMES the excluded string, so\n      // pooling the two is refused rather than silently merged.\n      excludes: ['fields carry momentum'],\n    }),\n  ),\n  entry(\n    12,\n    'poster-12',\n    'F = G m₁ m₂ / r²',\n    'Newtonian universal gravitation',\n    ctx(['weak field', 'slow motion', 'point masses']),\n  ),\n  entry(\n    13,\n    'poster-13',\n    'p(x) = (1/(σ√(2π))) exp(−(x−μ)²/(2σ²))',\n    'Normal (Gaussian) distribution',\n    ctx(['σ > 0']),\n  ),\n  entry(\n    14,\n    'poster-14',\n    UNIDENTIFIED,\n    'Poster entry 14 (unidentified)',\n    ctx(['unidentified: no source in this repo names this entry']),\n    'unidentified',\n    \"ROADMAP.md Phase 3 names entry 14 exactly once, in '3, 14 → * association only', \" +\n      'which identifies nothing about it; Blueprint v2 Appendix A is not in this repo',\n  ),\n  entry(\n    15,\n    'poster-15',\n    'ψ = c₁ψ₁ + c₂ψ₂ is a state whenever ψ₁, ψ₂ are',\n    'Superposition principle',\n    ctx(['linear evolution equation', 'Hilbert-space kinematics']),\n  ),\n  entry(\n    16,\n    'poster-16',\n    \"t' = γ(t − vx/c²), x' = γ(x − vt)\",\n    'Lorentz transformation (special relativity)',\n    ctx(['inertial frames', 'the speed of light is frame-independent', 'flat spacetime'], {\n      conventions: { metricSignature: '-+++' },\n    }),\n  ),\n];\n\n/**\n * The five hidden supporting nodes, named by `ROADMAP.md` Phase 3 and by no\n * other source.\n *\n * They are the deliverable precisely as named — `docs/planning/Atlas-Phase-3-Design.md`\n * §8 puts *\"evaluating hidden supporting nodes\"* explicitly out of scope — so\n * each carries a prose `sourceExpression` and no `ast`.\n *\n * `statement-lorentz-group` is what the `7 ↔ 16` line calls *\"spacetime\n * structure\"* in the hyperedge `{full Maxwell system, spacetime structure} →\n * 16`. That identification is an inference: `ROADMAP.md` names exactly five\n * hidden nodes and the Lorentz group is the only one of the five that can\n * BE spacetime structure. It is recorded here rather than silently assumed,\n * and `./derivations.ts` repeats it in the hyperedge's side conditions.\n *\n * @internal\n */\nexport const HIDDEN_NODES: readonly Statement[] = [\n  {\n    id: 'statement-action-principle',\n    context: {\n      assumptions: ['a stated action functional', 'variations vanish on the boundary'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'δS = 0',\n    display: 'Action principle (stationary action)',\n  },\n  {\n    id: 'statement-noether',\n    context: {\n      assumptions: [\n        'a continuous symmetry of a stated action',\n        'the action principle holds',\n      ],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'a continuous symmetry of the action yields a conserved current',\n    display: \"Noether's theorem\",\n  },\n  {\n    id: 'statement-maxwell-system',\n    context: {\n      assumptions: ['all four equations taken together', 'the stated unit system'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'the four Maxwell equations as one system',\n    display: 'The full Maxwell system',\n  },\n  {\n    id: 'statement-lorentz-group',\n    context: {\n      assumptions: ['flat spacetime', 'the speed of light is frame-independent'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression:\n      'the group of transformations preserving the Minkowski interval (the spacetime structure)',\n    display: 'The Lorentz group',\n  },\n  {\n    id: 'statement-central-limit-theorem',\n    context: {\n      assumptions: [\n        'independent, identically distributed summands',\n        'finite variance',\n      ],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression:\n      'the normalized sum of i.i.d. finite-variance terms converges in distribution to a normal law',\n    display: 'Central limit theorem',\n  },\n];\n\n/**\n * The statements the poster's edges CONCLUDE in that are neither a numbered\n * entry nor a hidden node.\n *\n * All three are named by `ROADMAP.md` Phase 3: *\"`11 → momentum\n * conservation`\"*, *\"the field-inclusive version\"*, *\"`1 ↔ energy\n * conservation`\"*. Nothing here is added beyond those names.\n *\n * The two momentum statements are SEPARATE records because the line says the\n * particle version *\"fails naively when fields carry momentum\"*. One record\n * carrying both readings would erase exactly the distinction the line draws,\n * and it is the distinction that makes entry 11's `excludes` bite.\n *\n * @internal\n */\nexport const SUPPORTING_STATEMENTS: readonly Statement[] = [\n  {\n    id: 'statement-momentum-conservation',\n    context: {\n      assumptions: ['isolated particle system', 'fields carry no momentum'],\n      excludes: ['fields carry momentum'],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'Σ p_i is constant for an isolated particle system',\n    display: 'Momentum conservation (particles)',\n  },\n  {\n    id: 'statement-momentum-conservation-fields',\n    context: {\n      assumptions: [\n        'fields carry momentum',\n        'spatial translation symmetry of a stated action',\n        'stated boundary conditions',\n      ],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'the total momentum of matter AND fields is constant',\n    display: 'Momentum conservation (field-inclusive)',\n  },\n  {\n    id: 'statement-energy-conservation',\n    context: {\n      assumptions: ['an autonomous model (no explicit time dependence)'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'the conserved current of time-translation symmetry is constant',\n    display: 'Energy conservation',\n  },\n];\n\n/** Every statement this poster index defines, in a stable order. @internal */\nexport const POSTER_ALL_STATEMENTS: readonly Statement[] = [\n  ...POSTER_ENTRIES.map((e) => e.statement),\n  ...HIDDEN_NODES,\n  ...SUPPORTING_STATEMENTS,\n];\n\n/** Thrown by {@link buildPosterRegistry}. @internal */\nexport class PosterStatementError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'PosterStatementError';\n  }\n}\n\n/**\n * The registry `makeDerivation` and `statementContextUnion` resolve against,\n * built through four checks.\n *\n * The checks run HERE, at construction, rather than only in a test, because\n * `./derivations.ts` builds its records against this registry at module load:\n * a defect that reaches the registry reaches every derivation before any test\n * has a chance to look.\n *\n * 1. **No duplicate id.** A later duplicate would silently replace an earlier\n *    statement in the map, and the derivation that consumed it would carry the\n *    wrong context with no symptom.\n * 2. **Non-empty `assumptions`.** The S3.3 requirement, and the reason a\n *    context can refuse at all: an empty one pools with anything.\n * 3. **No `ast`.** Nothing in this module is evaluable (see the module note);\n *    an `ast` here could only have been fabricated.\n * 4. **A non-`'derived'` entry states its `note`.** An unidentified entry\n *    without its reason is indistinguishable from an oversight.\n *\n * The two arguments exist so a TEST can drive these four checks with a\n * defective index through THIS code path rather than a copy of it. A test that\n * reimplements a guard in order to break it proves only that the copy works,\n * which is the vacuous-pass shape the design note names; the copy and the\n * original then drift with nothing reporting it.\n *\n * @throws PosterStatementError on any of the four.\n * @internal\n */\nexport function buildPosterRegistry(\n  statements: readonly Statement[] = POSTER_ALL_STATEMENTS,\n  entries: readonly PosterEntry[] = POSTER_ENTRIES,\n): ReadonlyMap<StatementId, Statement> {\n  const map = new Map<StatementId, Statement>();\n  for (const s of statements) {\n    if (map.has(s.id)) {\n      throw new PosterStatementError(\n        `duplicate statement id '${s.id}'; the later record would silently replace the earlier`,\n      );\n    }\n    if (s.context.assumptions.length === 0) {\n      throw new PosterStatementError(\n        `statement '${s.id}' states no assumptions; every poster statement must state at least one`,\n      );\n    }\n    if (s.ast !== undefined) {\n      throw new PosterStatementError(\n        `statement '${s.id}' carries an ast; poster statements are named and linked, never evaluated`,\n      );\n    }\n    map.set(s.id, s);\n  }\n  for (const e of entries) {\n    if (e.identification !== 'derived' && (e.note === undefined || e.note === '')) {\n      throw new PosterStatementError(\n        `entry ${e.number} is '${e.identification}' but states no note; ` +\n          'an unpinned entry must say what is unresolved',\n      );\n    }\n  }\n  return map;\n}\n\n/** The built registry. @internal */\nexport const POSTER_REGISTRY: ReadonlyMap<StatementId, Statement> = buildPosterRegistry();\n\n/** The entry with this number. @throws RangeError when there is none. @internal */\nexport function posterEntry(number: number): PosterEntry {\n  const found = POSTER_ENTRIES.find((e) => e.number === number);\n  if (found === undefined) {\n    throw new RangeError(`posterEntry: no entry ${number}; the poster has 1–16`);\n  }\n  return found;\n}\n\n/** The statement id of entry `number` — `posterId(9) === 'poster-9'`. @internal */\nexport function posterId(number: number): StatementId {\n  return posterEntry(number).statement.id;\n}\n"]}
+{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/atlas/poster/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAYH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAY,yBAAyB,CAAC;AAE1E,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAG,cAAc,CAAC;AAE3C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,4BAA4B,GAChC,0FAA0F;IAC1F,4FAA4F;IAC5F,yFAAyF,CAAC;AAgB5F,uFAAuF;AACvF,SAAS,GAAG,CACV,WAA8B,EAC9B,IAAI,GAA0C,EAAE;IAEhD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,KAAK,CACZ,MAAc,EACd,EAAe,EACf,gBAAwB,EACxB,OAAe,EACf,OAAgB,EAChB,cAAc,GAAmB,SAAS,EAC1C,IAAa;IAEb,OAAO;QACL,MAAM;QACN,cAAc;QACd,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,SAAS,EAAE;YACT,EAAE;YACF,OAAO;YACP,KAAK,EAAE,uBAAuB;YAC9B,gBAAgB;YAChB,OAAO;SACR;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,cAAc,GAA2B;IACpD,KAAK,CACH,CAAC,EACD,UAAU,EACV,cAAc,EACd,6BAA6B,EAC7B,GAAG,CAAC,CAAC,eAAe,EAAE,2CAA2C,CAAC,EAAE;QAClE,WAAW,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE;QACpC,aAAa,EAAE,CAAC,QAAQ,CAAC;KAC1B,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,cAAc,EACd,mBAAmB,EACnB,GAAG,CAAC,CAAC,iBAAiB,EAAE,yCAAyC,CAAC,EAAE;QAClE,aAAa,EAAE,CAAC,SAAS,CAAC;KAC3B,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,YAAY,EACZ,+BAA+B,EAC/B,GAAG,CAAC,CAAC,uDAAuD,CAAC,CAAC,EAC9D,cAAc,EACd,kFAAkF;QAChF,gFAAgF,CACnF;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,eAAe,EACf,iCAAiC,EACjC,GAAG,CAAC;QACF,kCAAkC;QAClC,gDAAgD;KACjD,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,SAAS,EACT,yBAAyB,EACzB,GAAG,CAAC,CAAC,wBAAwB,EAAE,eAAe,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,EACvF,SAAS,EACT,4BAA4B,CAC7B;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,gBAAgB,EAChB,sBAAsB,EACtB,GAAG,CAAC,CAAC,kBAAkB,EAAE,0BAA0B,EAAE,qBAAqB,CAAC,CAAC,CAC7E;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,GAAG,YAAY,oCAAoC,EACnD,gDAAgD,EAChD,GAAG,CAAC,CAAC,oCAAoC,EAAE,wBAAwB,CAAC,CAAC,EACrE,SAAS,EACT,sFAAsF;QACpF,wFAAwF;QACxF,wFAAwF,CAC3F;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,+BAA+B,EAC/B,0BAA0B,EAC1B,GAAG,CAAC;QACF,6BAA6B;QAC7B,mDAAmD;KACpD,EAAE,EAAE,WAAW,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,CAAC,CACjD;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,wBAAwB,EACxB,oBAAoB,EACpB,GAAG,CAAC,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC,CAC3C;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,SAAS,EACT,qBAAqB,EACrB,GAAG,CAAC,CAAC,mBAAmB,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC,CACrD;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,cAAc,EACd,oBAAoB,EACpB,GAAG,CAAC,CAAC,0BAA0B,EAAE,0BAA0B,CAAC,EAAE;QAC5D,gEAAgE;QAChE,2DAA2D;QAC3D,qEAAqE;QACrE,0DAA0D;QAC1D,QAAQ,EAAE,CAAC,uBAAuB,CAAC;KACpC,CAAC,CACH;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,kBAAkB,EAClB,iCAAiC,EACjC,GAAG,CAAC,CAAC,YAAY,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CACnD;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,wCAAwC,EACxC,gCAAgC,EAChC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CACf;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,YAAY,EACZ,gCAAgC,EAChC,GAAG,CAAC,CAAC,uDAAuD,CAAC,CAAC,EAC9D,cAAc,EACd,mFAAmF;QACjF,gFAAgF,CACnF;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,gDAAgD,EAChD,yBAAyB,EACzB,GAAG,CAAC,CAAC,2BAA2B,EAAE,0BAA0B,CAAC,CAAC,CAC/D;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,mCAAmC,EACnC,6CAA6C,EAC7C,GAAG,CAAC,CAAC,iBAAiB,EAAE,yCAAyC,EAAE,gBAAgB,CAAC,EAAE;QACpF,WAAW,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE;KACzC,CAAC,CACH;CACF,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAyB;IAChD;QACE,EAAE,EAAE,4BAA4B;QAChC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,4BAA4B,EAAE,mCAAmC,CAAC;YAChF,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,QAAQ;QAC1B,OAAO,EAAE,sCAAsC;KAChD;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,0CAA0C;gBAC1C,4BAA4B;aAC7B;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,gEAAgE;QAClF,OAAO,EAAE,mBAAmB;KAC7B;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,mCAAmC,EAAE,wBAAwB,CAAC;YAC5E,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,0CAA0C;QAC5D,OAAO,EAAE,yBAAyB;KACnC;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,gBAAgB,EAAE,yCAAyC,CAAC;YAC1E,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EACd,0FAA0F;QAC5F,OAAO,EAAE,mBAAmB;KAC7B;IACD;QACE,EAAE,EAAE,iCAAiC;QACrC,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,+CAA+C;gBAC/C,iBAAiB;aAClB;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EACd,8FAA8F;QAChG,OAAO,EAAE,uBAAuB;KACjC;CACF,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD;QACE,EAAE,EAAE,iCAAiC;QACrC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;YACrE,QAAQ,EAAE,CAAC,uBAAuB,CAAC;SACpC;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,mDAAmD;QACrE,OAAO,EAAE,mCAAmC;KAC7C;IACD;QACE,EAAE,EAAE,wCAAwC;QAC5C,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,uBAAuB;gBACvB,iDAAiD;gBACjD,4BAA4B;aAC7B;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,qDAAqD;QACvE,OAAO,EAAE,yCAAyC;KACnD;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,mDAAmD,CAAC;YAClE,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,gEAAgE;QAClF,OAAO,EAAE,qBAAqB;KAC/B;CACF,CAAC;AAEF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,GAAG,YAAY;IACf,GAAG,qBAAqB;CACzB,CAAC;AAEF,uDAAuD;AACvD,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAU,GAAyB,qBAAqB,EACxD,OAAO,GAA2B,cAAc;IAEhD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,oBAAoB,CAC5B,2BAA2B,CAAC,CAAC,EAAE,wDAAwD,CACxF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,oBAAoB,CAC5B,cAAc,CAAC,CAAC,EAAE,yEAAyE,CAC5F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,oBAAoB,CAC5B,cAAc,CAAC,CAAC,EAAE,2EAA2E,CAC9F,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,oBAAoB,CAC5B,SAAS,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,cAAc,wBAAwB;gBAC/D,+CAA+C,CAClD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oCAAoC;AACpC,MAAM,CAAC,MAAM,eAAe,GAAwC,mBAAmB,EAAE,CAAC;AAE1F,mFAAmF;AACnF,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC9D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAAC,yBAAyB,MAAM,uBAAuB,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC","sourcesContent":["/**\n * Atlas Phase 3 — the poster's sixteen entries, its five hidden supporting\n * nodes, and the three conservation statements its edges conclude in.\n *\n * ## The one rule this module exists to obey\n *\n * **Blueprint v2's Appendix A is NOT in this repo.** `ROADMAP.md` Phase 3\n * states the fifteen typed edge lines and the five hidden nodes in full, and\n * it references the sixteen entries BY NUMBER in identifying context — but no\n * file here maps number → name. Design note\n * `docs/planning/Atlas-Phase-3-Design.md` §5 is explicit about what follows:\n * *\"Transcribe or derive each entry from a stated source; never invent one to\n * fill a gap.\"*\n *\n * So every entry below carries an {@link Identification}, and it is a FIELD\n * rather than a comment because a comment cannot be tested. Three values:\n *\n * - `'derived'` — the edge lines pin it. `10 → 9` restriction with *\"separate\n *   frame content in 9\"*, `11 → momentum conservation … converse fails … fails\n *   naively when fields carry momentum`: those three lines are Newton's\n *   second, first and third laws and nothing else.\n * - `'partial'` — the lines pin a FAMILY but not the member. Entry 7 is a\n *   Maxwell equation (the line distinguishes it from *\"the full Maxwell\n *   system\"*, which is a hidden node — `never from 7 alone`), but which of the\n *   four it is, is not recoverable. Entry 5 is read here as `E = mc²`; see\n *   {@link POSTER_5_IDENTIFICATION_NOTE}.\n * - `'unidentified'` — entries 3 and 14, which `ROADMAP.md` names exactly\n *   once, in `3, 14 → * association only`. Nothing there identifies them. They\n *   are recorded as placeholders WITH THEIR NUMBERS and no physics, because a\n *   plausible guess would be uncheckable, and an honest gap beats it.\n *\n * **The edges do not depend on any of this.** Every record in\n * `./derivations.ts` and `./associations.ts` references entries by NUMBER, so\n * a mis-identified NAME cannot corrupt an edge type. That separation is\n * deliberate: the numbers come from a stated source, the names are an\n * inference over it, and only one of them is load-bearing.\n *\n * ## `ast?` is absent everywhere here, on purpose\n *\n * `statement.ts` §1 already argues it: the hidden nodes are valuable because\n * they are NAMED and LINKED, not evaluable, and requiring an `ast` would force\n * a fabricated encoding. The same holds for the sixteen — this module records\n * poster claims, not evaluable equations — so every statement here carries an\n * honest `sourceExpression` and no `ast`, and {@link buildPosterRegistry}\n * refuses one that carries an `ast` it cannot have earned.\n *\n * Pure: no I/O. Imports `../statement.js` and `../model.js` types only, so\n * this module is a leaf under `src/atlas/` and closes no cycle.\n *\n * @module atlas/poster/statements\n */\n\nimport type { Context, Statement, StatementId } from '../statement.js';\nimport type { ModelId } from '../model.js';\n\n/**\n * How firmly an entry's IDENTITY is pinned by a source in this repo.\n *\n * @internal\n */\nexport type Identification = 'derived' | 'partial' | 'unidentified';\n\n/**\n * The `ModelId` every poster statement carries.\n *\n * Phase 3 records a `Model` for the nine oscillator models and for nothing\n * else. A poster entry has no state space, dynamics or parameter list in this\n * repo, so every per-entry model id available here would be invented — and an\n * invented `'model-newtonian-mechanics'` would read, to the next sprint,\n * exactly like a model someone recorded.\n *\n * One shared sentinel instead, which says what is true: no model is recorded.\n * `tests/atlas/poster-statements.test.ts` pins that no poster statement claims\n * an oscillator model id.\n *\n * @internal\n */\nexport const POSTER_MODEL_UNRECORDED: ModelId = 'model-poster-unrecorded';\n\n/** What `3, 14 → *` puts in `sourceExpression`. Never a guess. @internal */\nexport const UNIDENTIFIED = 'UNIDENTIFIED';\n\n/**\n * Why entry 5 is `'partial'` and not `'derived'`.\n *\n * Two edge lines constrain it and they pull in different directions.\n * `16 → 5, 10` is an approximation in `v/c` *\"needing `E = γmc²`, `p = γmv`,\n * `F = dp/dt`\"*, which reads as `E = mc²` reached from `E = γmc²`.\n * `5, 16 → 8 constrain but do not determine` is, in the usual telling, the\n * Newtonian-limit-plus-special-relativity constraint on the field equations,\n * which would make 5 Newton's law of universal gravitation.\n *\n * It cannot be both, and `8 → 12` — approximation then *\"restriction to a\n * point source\"* — already lands on universal gravitation at 12. Two entries\n * cannot be the same law, so 5 is read as `E = mc²` here. The reading is\n * RECORDED rather than asserted: the entry stays `'partial'`, and no edge\n * depends on it, because every edge references 5 by number.\n *\n * @internal\n */\nconst POSTER_5_IDENTIFICATION_NOTE =\n  \"entry 5 is read as E = mc² because 8 → 12 already lands on universal gravitation at 12, \" +\n  \"so the alternative reading of '5, 16 → 8' (the Newtonian limit) would duplicate entry 12; \" +\n  'no edge in this module depends on the reading — all fifteen reference entries by number';\n\n/**\n * One of the sixteen, with its number and how firmly its identity is pinned.\n *\n * @internal\n */\nexport interface PosterEntry {\n  /** 1–16, as every `ROADMAP.md` Phase 3 edge line references it. */\n  readonly number: number;\n  readonly statement: Statement;\n  readonly identification: Identification;\n  /** Required when `identification !== 'derived'`: what is unresolved, and why. */\n  readonly note?: string;\n}\n\n/** Terse `Context` builder. `assumptions` is required; `excludes` defaults to none. */\nfunction ctx(\n  assumptions: readonly string[],\n  over: Partial<Omit<Context, 'assumptions'>> = {},\n): Context {\n  return { excludes: [], ...over, assumptions };\n}\n\nfunction entry(\n  number: number,\n  id: StatementId,\n  sourceExpression: string,\n  display: string,\n  context: Context,\n  identification: Identification = 'derived',\n  note?: string,\n): PosterEntry {\n  return {\n    number,\n    identification,\n    ...(note !== undefined ? { note } : {}),\n    statement: {\n      id,\n      context,\n      model: POSTER_MODEL_UNRECORDED,\n      sourceExpression,\n      display,\n    },\n  };\n}\n\n/**\n * The sixteen poster entries, in poster order.\n *\n * Every `context.assumptions` is non-empty. Where `ROADMAP.md` states the\n * qualification, it is used verbatim in substance: entry 11's *\"fields carry\n * no momentum\"* (and the matching `excludes`, which is the one genuinely\n * reachable context refusal in this data — see `./derivations.ts`), entry\n * 13's `σ > 0`. Where it does not, the assumption is the standard statement\n * of the entry's own validity and nothing more; none of them adds a claim.\n *\n * @internal\n */\nexport const POSTER_ENTRIES: readonly PosterEntry[] = [\n  entry(\n    1,\n    'poster-1',\n    'dU = δQ − δW',\n    'First law of thermodynamics',\n    ctx(['closed system', 'heat and work are defined for the process'], {\n      conventions: { heatWorkSign: 'Q-W' },\n      quantityTypes: ['energy'],\n    }),\n  ),\n  entry(\n    2,\n    'poster-2',\n    'S = k_B ln W',\n    'Boltzmann entropy',\n    ctx(['isolated system', 'accessible microstates are equiprobable'], {\n      quantityTypes: ['entropy'],\n    }),\n  ),\n  entry(\n    3,\n    'poster-3',\n    UNIDENTIFIED,\n    'Poster entry 3 (unidentified)',\n    ctx(['unidentified: no source in this repo names this entry']),\n    'unidentified',\n    \"ROADMAP.md Phase 3 names entry 3 exactly once, in '3, 14 → * association only', \" +\n      'which identifies nothing about it; Blueprint v2 Appendix A is not in this repo',\n  ),\n  entry(\n    4,\n    'poster-4',\n    'σ_x σ_p ≥ ħ/2',\n    'Heisenberg uncertainty relation',\n    ctx([\n      'canonical commutator [x, p] = iħ',\n      'the state lies in the domain of both operators',\n    ]),\n  ),\n  entry(\n    5,\n    'poster-5',\n    'E = mc²',\n    'Mass–energy equivalence',\n    ctx(['rest frame of the body', 'isolated body'], { quantityTypes: ['energy', 'mass'] }),\n    'partial',\n    POSTER_5_IDENTIFICATION_NOTE,\n  ),\n  entry(\n    6,\n    'poster-6',\n    'iħ ∂_t ψ = Ĥ ψ',\n    'Schrödinger equation',\n    ctx(['non-relativistic', 'self-adjoint Hamiltonian', 'fixed Hilbert space']),\n  ),\n  entry(\n    7,\n    'poster-7',\n    `${UNIDENTIFIED} (one equation of the Maxwell set)`,\n    'A Maxwell equation (which one is unidentified)',\n    ctx(['macroscopic electromagnetic fields', 'the stated unit system']),\n    'partial',\n    \"the '7 ↔ 16' line says the derivation route runs from 'the full Maxwell system' and \" +\n      \"'never from 7 alone', so entry 7 is ONE equation of the set; which of the four is not \" +\n      'recoverable from any source in this repo. The full system is statement-maxwell-system.',\n  ),\n  entry(\n    8,\n    'poster-8',\n    'G_μν + Λ g_μν = (8πG/c⁴) T_μν',\n    'Einstein field equations',\n    ctx([\n      'pseudo-Riemannian spacetime',\n      'the stress-energy tensor is covariantly conserved',\n    ], { conventions: { metricSignature: '-+++' } }),\n  ),\n  entry(\n    9,\n    'poster-9',\n    'net F = 0 ⇒ v constant',\n    \"Newton's first law\",\n    ctx(['an inertial frame', 'no net force']),\n  ),\n  entry(\n    10,\n    'poster-10',\n    'F = m a',\n    \"Newton's second law\",\n    ctx(['an inertial frame', 'constant mass', 'v ≪ c']),\n  ),\n  entry(\n    11,\n    'poster-11',\n    'F_12 = −F_21',\n    \"Newton's third law\",\n    ctx(['isolated particle system', 'fields carry no momentum'], {\n      // The one exclusion this data states, and ROADMAP.md states it:\n      // entry 11 \"fails naively when fields carry momentum\". The\n      // field-inclusive momentum statement ASSUMES the excluded string, so\n      // pooling the two is refused rather than silently merged.\n      excludes: ['fields carry momentum'],\n    }),\n  ),\n  entry(\n    12,\n    'poster-12',\n    'F = G m₁ m₂ / r²',\n    'Newtonian universal gravitation',\n    ctx(['weak field', 'slow motion', 'point masses']),\n  ),\n  entry(\n    13,\n    'poster-13',\n    'p(x) = (1/(σ√(2π))) exp(−(x−μ)²/(2σ²))',\n    'Normal (Gaussian) distribution',\n    ctx(['σ > 0']),\n  ),\n  entry(\n    14,\n    'poster-14',\n    UNIDENTIFIED,\n    'Poster entry 14 (unidentified)',\n    ctx(['unidentified: no source in this repo names this entry']),\n    'unidentified',\n    \"ROADMAP.md Phase 3 names entry 14 exactly once, in '3, 14 → * association only', \" +\n      'which identifies nothing about it; Blueprint v2 Appendix A is not in this repo',\n  ),\n  entry(\n    15,\n    'poster-15',\n    'ψ = c₁ψ₁ + c₂ψ₂ is a state whenever ψ₁, ψ₂ are',\n    'Superposition principle',\n    ctx(['linear evolution equation', 'Hilbert-space kinematics']),\n  ),\n  entry(\n    16,\n    'poster-16',\n    \"t' = γ(t − vx/c²), x' = γ(x − vt)\",\n    'Lorentz transformation (special relativity)',\n    ctx(['inertial frames', 'the speed of light is frame-independent', 'flat spacetime'], {\n      conventions: { metricSignature: '-+++' },\n    }),\n  ),\n];\n\n/**\n * The five hidden supporting nodes, named by `ROADMAP.md` Phase 3 and by no\n * other source.\n *\n * They are the deliverable precisely as named — `docs/planning/Atlas-Phase-3-Design.md`\n * §8 puts *\"evaluating hidden supporting nodes\"* explicitly out of scope — so\n * each carries a prose `sourceExpression` and no `ast`.\n *\n * `statement-lorentz-group` is what the `7 ↔ 16` line calls *\"spacetime\n * structure\"* in the hyperedge `{full Maxwell system, spacetime structure} →\n * 16`. That identification is an inference: `ROADMAP.md` names exactly five\n * hidden nodes and the Lorentz group is the only one of the five that can\n * BE spacetime structure. It is recorded here rather than silently assumed,\n * and `./derivations.ts` repeats it in the hyperedge's side conditions.\n *\n * @internal\n */\nexport const HIDDEN_NODES: readonly Statement[] = [\n  {\n    id: 'statement-action-principle',\n    context: {\n      assumptions: ['a stated action functional', 'variations vanish on the boundary'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'δS = 0',\n    display: 'Action principle (stationary action)',\n  },\n  {\n    id: 'statement-noether',\n    context: {\n      assumptions: [\n        'a continuous symmetry of a stated action',\n        'the action principle holds',\n      ],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'a continuous symmetry of the action yields a conserved current',\n    display: \"Noether's theorem\",\n  },\n  {\n    id: 'statement-maxwell-system',\n    context: {\n      assumptions: ['all four equations taken together', 'the stated unit system'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'the four Maxwell equations as one system',\n    display: 'The full Maxwell system',\n  },\n  {\n    id: 'statement-lorentz-group',\n    context: {\n      assumptions: ['flat spacetime', 'the speed of light is frame-independent'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression:\n      'the group of transformations preserving the Minkowski interval (the spacetime structure)',\n    display: 'The Lorentz group',\n  },\n  {\n    id: 'statement-central-limit-theorem',\n    context: {\n      assumptions: [\n        'independent, identically distributed summands',\n        'finite variance',\n      ],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression:\n      'the normalized sum of i.i.d. finite-variance terms converges in distribution to a normal law',\n    display: 'Central limit theorem',\n  },\n];\n\n/**\n * The statements the poster's edges CONCLUDE in that are neither a numbered\n * entry nor a hidden node.\n *\n * All three are named by `ROADMAP.md` Phase 3: *\"`11 → momentum\n * conservation`\"*, *\"the field-inclusive version\"*, *\"`1 ↔ energy\n * conservation`\"*. Nothing here is added beyond those names.\n *\n * The two momentum statements are SEPARATE records because the line says the\n * particle version *\"fails naively when fields carry momentum\"*. One record\n * carrying both readings would erase exactly the distinction the line draws,\n * and it is the distinction that makes entry 11's `excludes` bite.\n *\n * @internal\n */\nexport const SUPPORTING_STATEMENTS: readonly Statement[] = [\n  {\n    id: 'statement-momentum-conservation',\n    context: {\n      assumptions: ['isolated particle system', 'fields carry no momentum'],\n      excludes: ['fields carry momentum'],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'Σ p_i is constant for an isolated particle system',\n    display: 'Momentum conservation (particles)',\n  },\n  {\n    id: 'statement-momentum-conservation-fields',\n    context: {\n      assumptions: [\n        'fields carry momentum',\n        'spatial translation symmetry of a stated action',\n        'stated boundary conditions',\n      ],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'the total momentum of matter AND fields is constant',\n    display: 'Momentum conservation (field-inclusive)',\n  },\n  {\n    id: 'statement-energy-conservation',\n    context: {\n      assumptions: ['an autonomous model (no explicit time dependence)'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'the conserved current of time-translation symmetry is constant',\n    display: 'Energy conservation',\n  },\n];\n\n/** Every statement this poster index defines, in a stable order. @internal */\nexport const POSTER_ALL_STATEMENTS: readonly Statement[] = [\n  ...POSTER_ENTRIES.map((e) => e.statement),\n  ...HIDDEN_NODES,\n  ...SUPPORTING_STATEMENTS,\n];\n\n/** Thrown by {@link buildPosterRegistry}. @internal */\nexport class PosterStatementError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'PosterStatementError';\n  }\n}\n\n/**\n * The registry `makeDerivation` and `statementContextUnion` resolve against,\n * built through four checks.\n *\n * The checks run HERE, at construction, rather than only in a test, because\n * `./derivations.ts` builds its records against this registry at module load:\n * a defect that reaches the registry reaches every derivation before any test\n * has a chance to look.\n *\n * 1. **No duplicate id.** A later duplicate would silently replace an earlier\n *    statement in the map, and the derivation that consumed it would carry the\n *    wrong context with no symptom.\n * 2. **Non-empty `assumptions`.** The S3.3 requirement, and the reason a\n *    context can refuse at all: an empty one pools with anything.\n * 3. **No `ast`.** Nothing in this module is evaluable (see the module note);\n *    an `ast` here could only have been fabricated.\n * 4. **A non-`'derived'` entry states its `note`.** An unidentified entry\n *    without its reason is indistinguishable from an oversight.\n *\n * The two arguments exist so a TEST can drive these four checks with a\n * defective index through THIS code path rather than a copy of it. A test that\n * reimplements a guard in order to break it proves only that the copy works,\n * which is the vacuous-pass shape the design note names; the copy and the\n * original then drift with nothing reporting it.\n *\n * @throws PosterStatementError on any of the four.\n * @internal\n */\nexport function buildPosterRegistry(\n  statements: readonly Statement[] = POSTER_ALL_STATEMENTS,\n  entries: readonly PosterEntry[] = POSTER_ENTRIES,\n): ReadonlyMap<StatementId, Statement> {\n  const map = new Map<StatementId, Statement>();\n  for (const s of statements) {\n    if (map.has(s.id)) {\n      throw new PosterStatementError(\n        `duplicate statement id '${s.id}'; the later record would silently replace the earlier`,\n      );\n    }\n    if (s.context.assumptions.length === 0) {\n      throw new PosterStatementError(\n        `statement '${s.id}' states no assumptions; every poster statement must state at least one`,\n      );\n    }\n    if (s.ast !== undefined) {\n      throw new PosterStatementError(\n        `statement '${s.id}' carries an ast; poster statements are named and linked, never evaluated`,\n      );\n    }\n    map.set(s.id, s);\n  }\n  for (const e of entries) {\n    if (e.identification !== 'derived' && (e.note === undefined || e.note === '')) {\n      throw new PosterStatementError(\n        `entry ${e.number} is '${e.identification}' but states no note; ` +\n          'an unpinned entry must say what is unresolved',\n      );\n    }\n  }\n  return map;\n}\n\n/** The built registry. @internal */\nexport const POSTER_REGISTRY: ReadonlyMap<StatementId, Statement> = buildPosterRegistry();\n\n/** The entry with this number. @throws RangeError when there is none. @internal */\nexport function posterEntry(number: number): PosterEntry {\n  const found = POSTER_ENTRIES.find((e) => e.number === number);\n  if (found === undefined) {\n    throw new RangeError(`posterEntry: no entry ${number}; the poster has 1–16`);\n  }\n  return found;\n}\n\n/** The statement id of entry `number` — `posterId(9) === 'poster-9'`. @internal */\nexport function posterId(number: number): StatementId {\n  return posterEntry(number).statement.id;\n}\n"]}

package/dist/atlas/proof-target.d.ts

@@ -4,7 +4,7 @@
  * The text names the theorem chain in the order the caller recorded,
  * checked against the compiled manifest copy. It is a target. The proof
  * body is absent. Nothing here is written into the catalog, the
- * formal-reference overlay, or the vendored manifest.
+ * formal-reference overlay, or the Lean manifest.
  *
  * A draft is a new target, so its `kind` is `derivation-step`, one of
  * `FORMAL_REF_KINDS`, stated as its own field and its own `-- kind:` line.

package/dist/atlas/proof-target.js

@@ -4,7 +4,7 @@
  * The text names the theorem chain in the order the caller recorded,
  * checked against the compiled manifest copy. It is a target. The proof
  * body is absent. Nothing here is written into the catalog, the
- * formal-reference overlay, or the vendored manifest.
+ * formal-reference overlay, or the Lean manifest.
  *
  * A draft is a new target, so its `kind` is `derivation-step`, one of
  * `FORMAL_REF_KINDS`, stated as its own field and its own `-- kind:` line.

package/dist/atlas/proof-target.js.map

@@ -1 +1 @@
-{"version":3,"file":"proof-target.js","sourceRoot":"","sources":["../../src/atlas/proof-target.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAIH,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAC;AAEnE,+CAA+C;AAC/C,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAC;AAE/D,MAAM,QAAQ,GAAG,kCAAkC,CAAC;AACpD,MAAM,KAAK,GAAG,gCAAgC,CAAC;AAC/C,MAAM,OAAO,GAAG,kCAAkC,CAAC;AACnD,MAAM,KAAK,GAAG,0CAA0C,CAAC;AAEzD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AAEvE;;;GAGG;AACH,SAAS,kBAAkB,CAAC,SAAyB;IACnD,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1E,OAAO,SAAS,CAAC,OAAO,CAAC;IAC3B,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,QAAQ,CAAC;IAC1D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,SAAyB;IAC1C,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,mBAAmB,SAAS,CAAC,IAAI,oDAAoD,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvI,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED,4GAA4G;AAC5G,SAAS,UAAU,CAAC,SAAyB;IAC3C,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,OAAO,CACL,6DAA6D;YAC7D,4DAA4D;YAC5D,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,+EAA+E,CAAC;IAChH,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,uEAAuE,CAAC;IACtG,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,wEAAwE,CAAC;IACvG,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED,SAAS,SAAS,CAAC,SAAyB;IAC1C,IAAI,SAAS,CAAC,EAAE,KAAK,SAAS,IAAI,SAAS,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC;IAC/E,OAAO,SAAS,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,SAAS,CAAC,EAAU;IAC3B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrD,OAAO,sBAAsB,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,cAAc,CAAC,SAAyB,EAAE,YAA+B;IAChF,IAAI,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,iBAAiB,SAAS,CAAC,OAAO,CAAC,MAAM,mBAAmB,YAAY,CAAC,MAAM,gBAAgB,CAChG,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClD,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAW,CAAC;QAC1C,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAW,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CACb,wCAAwC,QAAQ,UAAU,EAAE,WAAW,KAAK,GAAG,CAChF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAuBD;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAyB,EACzB,YAA+B;IAE/B,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IAClC,cAAc,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACjC,OAAO;QACL,GAAG;QACH,QAAQ,EAAE,GAAG;QACb,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC;QACvB,IAAI;QACJ,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC;QAC7B,QAAQ,EAAE,yBAAyB;QACnC,SAAS,EAAE,QAAQ;QACnB,MAAM,EAAE,EAAE;KACX,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAyB,EACzB,YAA+B;IAE/B,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAa;QACtB,iBAAiB;QACjB,4BAA4B;QAC5B,sBAAsB;QACtB,wBAAwB;QACxB,oBAAoB;QACpB,EAAE;KACH,CAAC;IACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,KAAK,CAAC,IAAI,EAAE,EAAE,cAAc,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,oBAAoB,EACpB,wCAAwC,EACxC,EAAE,CACH,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,EAAE,EAAE,iBAAiB,KAAK,CAAC,OAAO,SAAS,EAAE,EAAE,CAAC,CAAC;IACtF,KAAK,CAAC,IAAI,CAAC,wBAAwB,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,sBAAsB,EAAE,EAAE,CAAC,CAAC;IACjG,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC","sourcesContent":["/**\n * Lean statement skeleton for one chain candidate.\n *\n * The text names the theorem chain in the order the caller recorded,\n * checked against the compiled manifest copy. It is a target. The proof\n * body is absent. Nothing here is written into the catalog, the\n * formal-reference overlay, or the vendored manifest.\n *\n * A draft is a new target, so its `kind` is `derivation-step`, one of\n * `FORMAL_REF_KINDS`, stated as its own field and its own `-- kind:` line.\n * The covers line names the hypothesis the dimensional theorem leaves open\n * and does not begin with a kind word. A confirmation of a catalog id and a\n * restatement of a bridge are not new targets: no draft is made for them.\n * The import `PhysJS.Dimensional` is present when that filter named one of\n * its theorems. `Dim` is fixed at `n = 7` in the base order\n * `src/dimensional/types.ts` declares.\n *\n * @module atlas/proof-target\n */\n\nimport type { ChainCandidate } from '../composition/chain-candidate.js';\nimport type { FormalRefKind } from '../relations/types.js';\nimport { physjsTheorem } from './physjs-ref.js';\n\n/** Marker before the draft object the manifest checker can read. @internal */\nexport const PROOF_TARGET_DRAFT_BEGIN = 'PROOF-TARGET-DRAFT-BEGIN';\n\n/** Marker after the draft object. @internal */\nexport const PROOF_TARGET_DRAFT_END = 'PROOF-TARGET-DRAFT-END';\n\nconst MONOMIAL = 'PhysJS.Dimensional.monomial_form';\nconst RATIO = 'PhysJS.Dimensional.ratio_shape';\nconst PRODUCT = 'PhysJS.Dimensional.product_shape';\nconst POWER = 'PhysJS.Dimensional.ratio_power_invariant';\n\nconst DIMENSIONAL = new Set<string>([MONOMIAL, RATIO, PRODUCT, POWER]);\n\n/**\n * The dimensional theorem this candidate names, when the filter named one.\n * A unique monomial is `monomial_form` even when the field was left blank.\n */\nfunction dimensionalTheorem(candidate: ChainCandidate): string | undefined {\n  if (candidate.theorem !== undefined && DIMENSIONAL.has(candidate.theorem)) {\n    return candidate.theorem;\n  }\n  if (candidate.kind === 'unique-monomial') return MONOMIAL;\n  return undefined;\n}\n\n/**\n * The kind of the target `candidate` would be. A unique monomial and an\n * unfixed shape are a step a derivation still has to close. A confirmation\n * names an id the catalog has and a restatement names a bridge it has, so\n * neither is a new target and both are refused.\n */\nfunction draftKind(candidate: ChainCandidate): FormalRefKind {\n  if (candidate.kind === 'confirmation' || candidate.kind === 'restatement') {\n    throw new Error(`proof target: a ${candidate.kind} is not a new target; no draft is made for chain ${candidate.edgeIds.join(', ')}`);\n  }\n  return 'derivation-step';\n}\n\n/** Covers line: the hypothesis left open. It does not begin with a kind word; the kind is its own field. */\nfunction coversLine(candidate: ChainCandidate): string {\n  const theorem = dimensionalTheorem(candidate);\n  if (theorem === MONOMIAL) {\n    return (\n      'PhysJS.Dimensional.monomial_form. The constant is unfixed. ' +\n      'f(1,…,1) is unfixed. The exponent vector is a hypothesis. ' +\n      'A unit change that can reach every positive tuple is a hypothesis.'\n    );\n  }\n  if (theorem === PRODUCT) return 'PhysJS.Dimensional.product_shape. The constant is unfixed. f(1,1) is unfixed.';\n  if (theorem === RATIO) return 'PhysJS.Dimensional.ratio_shape. The function of the ratio is unfixed.';\n  if (theorem === POWER) return 'PhysJS.Dimensional.ratio_power_invariant. The real power p is unfixed.';\n  return 'The constant is unfixed.';\n}\n\nfunction targetKey(candidate: ChainCandidate): string {\n  if (candidate.id !== undefined && candidate.id.length > 0) return candidate.id;\n  return `chain-${candidate.edgeIds.join('-')}`;\n}\n\nfunction leanIdent(id: string): string {\n  const cleaned = id.replace(/[^A-Za-z0-9_]/g, '_').replace(/^_+/, '');\n  const body = cleaned.length > 0 ? cleaned : 'target';\n  return `PhysJS.ProofTarget.${body}`;\n}\n\nfunction assertTheorems(candidate: ChainCandidate, seedTheorems: readonly string[]): void {\n  if (seedTheorems.length !== candidate.edgeIds.length) {\n    throw new Error(\n      `proof target: ${candidate.edgeIds.length} seed steps and ${seedTheorems.length} theorem names`,\n    );\n  }\n  for (let i = 0; i < candidate.edgeIds.length; i++) {\n    const id = candidate.edgeIds[i] as string;\n    const given = seedTheorems[i] as string;\n    const recorded = physjsTheorem(id);\n    if (recorded !== undefined && recorded !== given) {\n      throw new Error(\n        `proof target: manifest copy records '${recorded}' for '${id}', not '${given}'`,\n      );\n    }\n  }\n}\n\n/**\n * The draft the comment block renders.\n *\n * The fields are the ones the comment's JSON already carries. `kind` is a\n * {@link FormalRefKind}, `derivation-step` for every draft, and `covers`\n * does not repeat it. `leanProof` stays `absent`. This value is not a\n * manifest entry.\n *\n * @internal\n */\nexport interface ProofTargetDraft {\n  readonly key: string;\n  readonly bridgeId: string;\n  readonly theorem: string;\n  readonly kind: FormalRefKind;\n  readonly covers: string;\n  readonly coverage: string;\n  readonly leanProof: 'absent';\n  readonly axioms: readonly string[];\n}\n\n/**\n * The draft `emitProofTarget` renders into the comment block.\n *\n * `seedTheorems` is one PhysJS theorem name per seed step, in chain order.\n * A name that disagrees with the compiled manifest copy is refused, and so\n * is a confirmation or a restatement candidate, which is not a new target.\n * The object is not written anywhere.\n *\n * @internal\n */\nexport function proofTargetDraft(\n  candidate: ChainCandidate,\n  seedTheorems: readonly string[],\n): ProofTargetDraft {\n  const kind = draftKind(candidate);\n  assertTheorems(candidate, seedTheorems);\n  const key = targetKey(candidate);\n  return {\n    key,\n    bridgeId: key,\n    theorem: leanIdent(key),\n    kind,\n    covers: coversLine(candidate),\n    coverage: 'statement skeleton only',\n    leanProof: 'absent',\n    axioms: [],\n  };\n}\n\n/**\n * Lean 4 statement skeleton and the theorem chain it would compose.\n *\n * The comment lines and the JSON between the markers are\n * {@link proofTargetDraft}. The returned text is not written anywhere.\n *\n * @internal\n */\nexport function emitProofTarget(\n  candidate: ChainCandidate,\n  seedTheorems: readonly string[],\n): string {\n  const draft = proofTargetDraft(candidate, seedTheorems);\n  const theorem = dimensionalTheorem(candidate);\n  const lines: string[] = [\n    '-- PROOF TARGET',\n    '-- statement skeleton only',\n    '-- proof body absent',\n    '-- not a catalog entry',\n    '-- not a formalRef',\n    '',\n  ];\n  if (theorem !== undefined) {\n    lines.push('import PhysJS.Dimensional', '');\n  }\n  lines.push('-- theorem chain');\n  for (const name of seedTheorems) {\n    lines.push(`-- theorem: ${name}`);\n  }\n  lines.push('', `-- kind: ${draft.kind}`, `-- covers: ${draft.covers}`, '');\n  if (theorem !== undefined) {\n    lines.push(\n      '-- Dim : Fin 7 → ℚ',\n      '-- base order: L, M, T, I, Theta, N, J',\n      '',\n    );\n  }\n  lines.push(`-- target id: ${draft.key}`, `-- statement: ${draft.theorem} : Prop`, '');\n  lines.push(PROOF_TARGET_DRAFT_BEGIN, JSON.stringify(draft, null, 2), PROOF_TARGET_DRAFT_END, '');\n  return lines.join('\\n');\n}\n"]}
+{"version":3,"file":"proof-target.js","sourceRoot":"","sources":["../../src/atlas/proof-target.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAIH,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAC;AAEnE,+CAA+C;AAC/C,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAC;AAE/D,MAAM,QAAQ,GAAG,kCAAkC,CAAC;AACpD,MAAM,KAAK,GAAG,gCAAgC,CAAC;AAC/C,MAAM,OAAO,GAAG,kCAAkC,CAAC;AACnD,MAAM,KAAK,GAAG,0CAA0C,CAAC;AAEzD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AAEvE;;;GAGG;AACH,SAAS,kBAAkB,CAAC,SAAyB;IACnD,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1E,OAAO,SAAS,CAAC,OAAO,CAAC;IAC3B,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,QAAQ,CAAC;IAC1D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,SAAyB;IAC1C,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,mBAAmB,SAAS,CAAC,IAAI,oDAAoD,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvI,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED,4GAA4G;AAC5G,SAAS,UAAU,CAAC,SAAyB;IAC3C,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,OAAO,CACL,6DAA6D;YAC7D,4DAA4D;YAC5D,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,+EAA+E,CAAC;IAChH,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,uEAAuE,CAAC;IACtG,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,wEAAwE,CAAC;IACvG,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED,SAAS,SAAS,CAAC,SAAyB;IAC1C,IAAI,SAAS,CAAC,EAAE,KAAK,SAAS,IAAI,SAAS,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC;IAC/E,OAAO,SAAS,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,SAAS,CAAC,EAAU;IAC3B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrD,OAAO,sBAAsB,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,cAAc,CAAC,SAAyB,EAAE,YAA+B;IAChF,IAAI,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,iBAAiB,SAAS,CAAC,OAAO,CAAC,MAAM,mBAAmB,YAAY,CAAC,MAAM,gBAAgB,CAChG,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClD,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAW,CAAC;QAC1C,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAW,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CACb,wCAAwC,QAAQ,UAAU,EAAE,WAAW,KAAK,GAAG,CAChF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAuBD;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAyB,EACzB,YAA+B;IAE/B,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IAClC,cAAc,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACjC,OAAO;QACL,GAAG;QACH,QAAQ,EAAE,GAAG;QACb,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC;QACvB,IAAI;QACJ,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC;QAC7B,QAAQ,EAAE,yBAAyB;QACnC,SAAS,EAAE,QAAQ;QACnB,MAAM,EAAE,EAAE;KACX,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAyB,EACzB,YAA+B;IAE/B,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAa;QACtB,iBAAiB;QACjB,4BAA4B;QAC5B,sBAAsB;QACtB,wBAAwB;QACxB,oBAAoB;QACpB,EAAE;KACH,CAAC;IACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,KAAK,CAAC,IAAI,EAAE,EAAE,cAAc,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,oBAAoB,EACpB,wCAAwC,EACxC,EAAE,CACH,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,EAAE,EAAE,iBAAiB,KAAK,CAAC,OAAO,SAAS,EAAE,EAAE,CAAC,CAAC;IACtF,KAAK,CAAC,IAAI,CAAC,wBAAwB,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,sBAAsB,EAAE,EAAE,CAAC,CAAC;IACjG,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC","sourcesContent":["/**\n * Lean statement skeleton for one chain candidate.\n *\n * The text names the theorem chain in the order the caller recorded,\n * checked against the compiled manifest copy. It is a target. The proof\n * body is absent. Nothing here is written into the catalog, the\n * formal-reference overlay, or the Lean manifest.\n *\n * A draft is a new target, so its `kind` is `derivation-step`, one of\n * `FORMAL_REF_KINDS`, stated as its own field and its own `-- kind:` line.\n * The covers line names the hypothesis the dimensional theorem leaves open\n * and does not begin with a kind word. A confirmation of a catalog id and a\n * restatement of a bridge are not new targets: no draft is made for them.\n * The import `PhysJS.Dimensional` is present when that filter named one of\n * its theorems. `Dim` is fixed at `n = 7` in the base order\n * `src/dimensional/types.ts` declares.\n *\n * @module atlas/proof-target\n */\n\nimport type { ChainCandidate } from '../composition/chain-candidate.js';\nimport type { FormalRefKind } from '../relations/types.js';\nimport { physjsTheorem } from './physjs-ref.js';\n\n/** Marker before the draft object the manifest checker can read. @internal */\nexport const PROOF_TARGET_DRAFT_BEGIN = 'PROOF-TARGET-DRAFT-BEGIN';\n\n/** Marker after the draft object. @internal */\nexport const PROOF_TARGET_DRAFT_END = 'PROOF-TARGET-DRAFT-END';\n\nconst MONOMIAL = 'PhysJS.Dimensional.monomial_form';\nconst RATIO = 'PhysJS.Dimensional.ratio_shape';\nconst PRODUCT = 'PhysJS.Dimensional.product_shape';\nconst POWER = 'PhysJS.Dimensional.ratio_power_invariant';\n\nconst DIMENSIONAL = new Set<string>([MONOMIAL, RATIO, PRODUCT, POWER]);\n\n/**\n * The dimensional theorem this candidate names, when the filter named one.\n * A unique monomial is `monomial_form` even when the field was left blank.\n */\nfunction dimensionalTheorem(candidate: ChainCandidate): string | undefined {\n  if (candidate.theorem !== undefined && DIMENSIONAL.has(candidate.theorem)) {\n    return candidate.theorem;\n  }\n  if (candidate.kind === 'unique-monomial') return MONOMIAL;\n  return undefined;\n}\n\n/**\n * The kind of the target `candidate` would be. A unique monomial and an\n * unfixed shape are a step a derivation still has to close. A confirmation\n * names an id the catalog has and a restatement names a bridge it has, so\n * neither is a new target and both are refused.\n */\nfunction draftKind(candidate: ChainCandidate): FormalRefKind {\n  if (candidate.kind === 'confirmation' || candidate.kind === 'restatement') {\n    throw new Error(`proof target: a ${candidate.kind} is not a new target; no draft is made for chain ${candidate.edgeIds.join(', ')}`);\n  }\n  return 'derivation-step';\n}\n\n/** Covers line: the hypothesis left open. It does not begin with a kind word; the kind is its own field. */\nfunction coversLine(candidate: ChainCandidate): string {\n  const theorem = dimensionalTheorem(candidate);\n  if (theorem === MONOMIAL) {\n    return (\n      'PhysJS.Dimensional.monomial_form. The constant is unfixed. ' +\n      'f(1,…,1) is unfixed. The exponent vector is a hypothesis. ' +\n      'A unit change that can reach every positive tuple is a hypothesis.'\n    );\n  }\n  if (theorem === PRODUCT) return 'PhysJS.Dimensional.product_shape. The constant is unfixed. f(1,1) is unfixed.';\n  if (theorem === RATIO) return 'PhysJS.Dimensional.ratio_shape. The function of the ratio is unfixed.';\n  if (theorem === POWER) return 'PhysJS.Dimensional.ratio_power_invariant. The real power p is unfixed.';\n  return 'The constant is unfixed.';\n}\n\nfunction targetKey(candidate: ChainCandidate): string {\n  if (candidate.id !== undefined && candidate.id.length > 0) return candidate.id;\n  return `chain-${candidate.edgeIds.join('-')}`;\n}\n\nfunction leanIdent(id: string): string {\n  const cleaned = id.replace(/[^A-Za-z0-9_]/g, '_').replace(/^_+/, '');\n  const body = cleaned.length > 0 ? cleaned : 'target';\n  return `PhysJS.ProofTarget.${body}`;\n}\n\nfunction assertTheorems(candidate: ChainCandidate, seedTheorems: readonly string[]): void {\n  if (seedTheorems.length !== candidate.edgeIds.length) {\n    throw new Error(\n      `proof target: ${candidate.edgeIds.length} seed steps and ${seedTheorems.length} theorem names`,\n    );\n  }\n  for (let i = 0; i < candidate.edgeIds.length; i++) {\n    const id = candidate.edgeIds[i] as string;\n    const given = seedTheorems[i] as string;\n    const recorded = physjsTheorem(id);\n    if (recorded !== undefined && recorded !== given) {\n      throw new Error(\n        `proof target: manifest copy records '${recorded}' for '${id}', not '${given}'`,\n      );\n    }\n  }\n}\n\n/**\n * The draft the comment block renders.\n *\n * The fields are the ones the comment's JSON already carries. `kind` is a\n * {@link FormalRefKind}, `derivation-step` for every draft, and `covers`\n * does not repeat it. `leanProof` stays `absent`. This value is not a\n * manifest entry.\n *\n * @internal\n */\nexport interface ProofTargetDraft {\n  readonly key: string;\n  readonly bridgeId: string;\n  readonly theorem: string;\n  readonly kind: FormalRefKind;\n  readonly covers: string;\n  readonly coverage: string;\n  readonly leanProof: 'absent';\n  readonly axioms: readonly string[];\n}\n\n/**\n * The draft `emitProofTarget` renders into the comment block.\n *\n * `seedTheorems` is one PhysJS theorem name per seed step, in chain order.\n * A name that disagrees with the compiled manifest copy is refused, and so\n * is a confirmation or a restatement candidate, which is not a new target.\n * The object is not written anywhere.\n *\n * @internal\n */\nexport function proofTargetDraft(\n  candidate: ChainCandidate,\n  seedTheorems: readonly string[],\n): ProofTargetDraft {\n  const kind = draftKind(candidate);\n  assertTheorems(candidate, seedTheorems);\n  const key = targetKey(candidate);\n  return {\n    key,\n    bridgeId: key,\n    theorem: leanIdent(key),\n    kind,\n    covers: coversLine(candidate),\n    coverage: 'statement skeleton only',\n    leanProof: 'absent',\n    axioms: [],\n  };\n}\n\n/**\n * Lean 4 statement skeleton and the theorem chain it would compose.\n *\n * The comment lines and the JSON between the markers are\n * {@link proofTargetDraft}. The returned text is not written anywhere.\n *\n * @internal\n */\nexport function emitProofTarget(\n  candidate: ChainCandidate,\n  seedTheorems: readonly string[],\n): string {\n  const draft = proofTargetDraft(candidate, seedTheorems);\n  const theorem = dimensionalTheorem(candidate);\n  const lines: string[] = [\n    '-- PROOF TARGET',\n    '-- statement skeleton only',\n    '-- proof body absent',\n    '-- not a catalog entry',\n    '-- not a formalRef',\n    '',\n  ];\n  if (theorem !== undefined) {\n    lines.push('import PhysJS.Dimensional', '');\n  }\n  lines.push('-- theorem chain');\n  for (const name of seedTheorems) {\n    lines.push(`-- theorem: ${name}`);\n  }\n  lines.push('', `-- kind: ${draft.kind}`, `-- covers: ${draft.covers}`, '');\n  if (theorem !== undefined) {\n    lines.push(\n      '-- Dim : Fin 7 → ℚ',\n      '-- base order: L, M, T, I, Theta, N, J',\n      '',\n    );\n  }\n  lines.push(`-- target id: ${draft.key}`, `-- statement: ${draft.theorem} : Prop`, '');\n  lines.push(PROOF_TARGET_DRAFT_BEGIN, JSON.stringify(draft, null, 2), PROOF_TARGET_DRAFT_END, '');\n  return lines.join('\\n');\n}\n"]}

package/dist/atlas/regime.d.ts

@@ -7,7 +7,7 @@
  *
  * @module atlas/regime
  */
-export { collidingRegimeGroups, deriveRegimeGroups, intersectRegimes, regimeOverlap, uncoveredRegions, } from '../relations/regime.js';
+export { collidingRegimeGroups, deriveRegimeGroups, intersectRegimes, makeRegime, regimeOverlap, uncoveredRegions, } from '../relations/regime.js';
 export type { RegimeBearing, RegimeOverlap, RegionSample } from '../relations/regime.js';
 import type { AtlasBridge } from './types.js';
 /** Whether a regime's inequalities were satisfied, violated, or could not be checked. @public */

package/dist/atlas/regime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"regime.d.ts","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG9C,iGAAiG;AACjG,MAAM,MAAM,WAAW,GAAG,OAAO,wBAAwB,EAAE,WAAW,CAAC;AAEvE;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,WAAW,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CA2BtE"}
+{"version":3,"file":"regime.d.ts","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG9C,iGAAiG;AACjG,MAAM,MAAM,WAAW,GAAG,OAAO,wBAAwB,EAAE,WAAW,CAAC;AAEvE;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,WAAW,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CA2BtE"}

package/dist/atlas/regime.js

@@ -7,7 +7,7 @@
  *
  * @module atlas/regime
  */
-export { collidingRegimeGroups, deriveRegimeGroups, intersectRegimes, regimeOverlap, uncoveredRegions, } from '../relations/regime.js';
+export { collidingRegimeGroups, deriveRegimeGroups, intersectRegimes, makeRegime, regimeOverlap, uncoveredRegions, } from '../relations/regime.js';
 import { MissingDeltaAtError, MissingHorizonError } from './types.js';
 /**
  * Check a regime at supplied group values. A missing coordinate is unknown, not a pass.

package/dist/atlas/regime.js.map

@@ -1 +1 @@
-{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAKtE;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,kBAAkB,CAAwB,MAAS;IACjE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACxC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,wDAAwD,CACrE,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAChC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,6DAA6D,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,mFAAmF,CAChG,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC/E,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,+EAA+E;YACzF,2DAA2D,CAC9D,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["/**\n * Regime admission, and the re-export of the vocabulary half.\n *\n * `deriveRegimeGroups`, `regimeHolds`, and the regime algebra live in\n * `src/relations/regime.ts`. `admitApproximation` stays here because it is\n * generic over `AtlasBridge`.\n *\n * @module atlas/regime\n */\n\nexport {\n  collidingRegimeGroups,\n  deriveRegimeGroups,\n  intersectRegimes,\n  regimeOverlap,\n  uncoveredRegions,\n} from '../relations/regime.js';\nexport type { RegimeBearing, RegimeOverlap, RegionSample } from '../relations/regime.js';\n\nimport type { AtlasBridge } from './types.js';\nimport { MissingDeltaAtError, MissingHorizonError } from './types.js';\n\n/** Whether a regime's inequalities were satisfied, violated, or could not be checked. @public */\nexport type RegimeCheck = import('../relations/regime.js').RegimeCheck;\n\n/**\n * Check a regime at supplied group values. A missing coordinate is unknown, not a pass.\n *\n * @public\n */\nexport { regimeHolds } from '../relations/regime.js';\n\n/**\n * Admit a bridge, refusing an approximation whose horizon is missing.\n *\n * The gate is at ADMISSION, matching the existing throw in `makeApproximation`,\n * and for the same reason: a validator that runs \"later\" can be skipped, and an\n * unhorizoned bound that reached the atlas would be a bound claiming to hold\n * everywhere. The move-the-gate-to-use argument of design note §2 applies to\n * `uniformity` — a field whose absence is a legitimate NOT-YET-ANALYSED state\n * — and NOT to `horizon`, which `ApproximationBound` already mandates.\n *\n * Any relation may carry a `bound`; every bound present is checked, so a\n * `coarse-graining` cannot smuggle in an unhorizoned one.\n *\n * @returns the bridge, unchanged, so this can wrap a record at its definition.\n * The same argument applies to `deltaAt`, the machine form of `delta`, and is\n * why it is checked here beside the horizon. `delta` alone is a single number\n * for a whole domain: an implementer whose bound depends on a parameter can\n * only freeze it at one point, and a frozen point reads exactly like a\n * supremum. Requiring the machine form makes the dependence SAYABLE, so the\n * scalar can be held to its stated meaning. It is required only of an\n * `approximation`, matching `bound` itself; a `coarse-graining` may still\n * carry a constant bound with no `deltaAt`.\n *\n * @throws MissingHorizonError if an `approximation` has no bound, or if a\n *   present bound has an empty `horizon` or no `horizonHolds`.\n * @throws MissingDeltaAtError if an `approximation` bound has no `deltaAt`.\n * @internal\n */\nexport function admitApproximation<T extends AtlasBridge>(bridge: T): T {\n  const { bound } = bridge;\n  if (bound === undefined) {\n    if (bridge.relation === 'approximation') {\n      throw new MissingHorizonError(\n        `${bridge.id}: an approximation requires a bound carrying a horizon`,\n      );\n    }\n    return bridge;\n  }\n  if (bound.horizon.trim() === '') {\n    throw new MissingHorizonError(\n      `${bridge.id}: an approximation bound requires a non-empty prose horizon`,\n    );\n  }\n  if (typeof bound.horizonHolds !== 'function') {\n    throw new MissingHorizonError(\n      `${bridge.id}: an approximation bound requires a machine horizonHolds beside its prose horizon`,\n    );\n  }\n  if (bridge.relation === 'approximation' && typeof bound.deltaAt !== 'function') {\n    throw new MissingDeltaAtError(\n      `${bridge.id}: an approximation bound requires a machine deltaAt beside its scalar delta, ` +\n        'which must be the supremum over the whole declared domain',\n    );\n  }\n  return bridge;\n}\n"]}
+{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,UAAU,EACV,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAKtE;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,kBAAkB,CAAwB,MAAS;IACjE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACxC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,wDAAwD,CACrE,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAChC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,6DAA6D,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,mFAAmF,CAChG,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC/E,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,+EAA+E;YACzF,2DAA2D,CAC9D,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["/**\n * Regime admission, and the re-export of the vocabulary half.\n *\n * `deriveRegimeGroups`, `regimeHolds`, and the regime algebra live in\n * `src/relations/regime.ts`. `admitApproximation` stays here because it is\n * generic over `AtlasBridge`.\n *\n * @module atlas/regime\n */\n\nexport {\n  collidingRegimeGroups,\n  deriveRegimeGroups,\n  intersectRegimes,\n  makeRegime,\n  regimeOverlap,\n  uncoveredRegions,\n} from '../relations/regime.js';\nexport type { RegimeBearing, RegimeOverlap, RegionSample } from '../relations/regime.js';\n\nimport type { AtlasBridge } from './types.js';\nimport { MissingDeltaAtError, MissingHorizonError } from './types.js';\n\n/** Whether a regime's inequalities were satisfied, violated, or could not be checked. @public */\nexport type RegimeCheck = import('../relations/regime.js').RegimeCheck;\n\n/**\n * Check a regime at supplied group values. A missing coordinate is unknown, not a pass.\n *\n * @public\n */\nexport { regimeHolds } from '../relations/regime.js';\n\n/**\n * Admit a bridge, refusing an approximation whose horizon is missing.\n *\n * The gate is at ADMISSION, matching the existing throw in `makeApproximation`,\n * and for the same reason: a validator that runs \"later\" can be skipped, and an\n * unhorizoned bound that reached the atlas would be a bound claiming to hold\n * everywhere. The move-the-gate-to-use argument of design note §2 applies to\n * `uniformity` — a field whose absence is a legitimate NOT-YET-ANALYSED state\n * — and NOT to `horizon`, which `ApproximationBound` already mandates.\n *\n * Any relation may carry a `bound`; every bound present is checked, so a\n * `coarse-graining` cannot smuggle in an unhorizoned one.\n *\n * @returns the bridge, unchanged, so this can wrap a record at its definition.\n * The same argument applies to `deltaAt`, the machine form of `delta`, and is\n * why it is checked here beside the horizon. `delta` alone is a single number\n * for a whole domain: an implementer whose bound depends on a parameter can\n * only freeze it at one point, and a frozen point reads exactly like a\n * supremum. Requiring the machine form makes the dependence SAYABLE, so the\n * scalar can be held to its stated meaning. It is required only of an\n * `approximation`, matching `bound` itself; a `coarse-graining` may still\n * carry a constant bound with no `deltaAt`.\n *\n * @throws MissingHorizonError if an `approximation` has no bound, or if a\n *   present bound has an empty `horizon` or no `horizonHolds`.\n * @throws MissingDeltaAtError if an `approximation` bound has no `deltaAt`.\n * @internal\n */\nexport function admitApproximation<T extends AtlasBridge>(bridge: T): T {\n  const { bound } = bridge;\n  if (bound === undefined) {\n    if (bridge.relation === 'approximation') {\n      throw new MissingHorizonError(\n        `${bridge.id}: an approximation requires a bound carrying a horizon`,\n      );\n    }\n    return bridge;\n  }\n  if (bound.horizon.trim() === '') {\n    throw new MissingHorizonError(\n      `${bridge.id}: an approximation bound requires a non-empty prose horizon`,\n    );\n  }\n  if (typeof bound.horizonHolds !== 'function') {\n    throw new MissingHorizonError(\n      `${bridge.id}: an approximation bound requires a machine horizonHolds beside its prose horizon`,\n    );\n  }\n  if (bridge.relation === 'approximation' && typeof bound.deltaAt !== 'function') {\n    throw new MissingDeltaAtError(\n      `${bridge.id}: an approximation bound requires a machine deltaAt beside its scalar delta, ` +\n        'which must be the supremum over the whole declared domain',\n    );\n  }\n  return bridge;\n}\n"]}

package/dist/atlas/text-overlap.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Word-token overlap: the text baseline's tokenizer, Jaccard similarity and the rank comparator.
+ *
+ * `link-prediction.ts` reads these. `benchmark/baselines.ts` carries private copies of the same
+ * functions on purpose (its rank comparator spells the codepoint order inline, where this one
+ * calls `compareCodepoint`): that file is a pinned code blob of the closed criterion 3 study,
+ * hashed by the study's freeze, and is not edited to import this module.
+ *
+ * @module atlas/text-overlap
+ * @internal
+ */
+/** Lower-cased word tokens (letters and digits) of a text, as a set. @internal */
+export declare const tokens: (text: string) => Set<string>;
+/** Jaccard similarity |a ∩ b| / |a ∪ b|; 0 when both sets are empty. @internal */
+export declare const jaccard: (a: ReadonlySet<string>, b: ReadonlySet<string>) => number;
+/**
+ * Rank candidates by descending score list (lexicographic), then ascending id. A stable, total
+ * order: two candidates with equal scores are ordered by id, never by input position.
+ *
+ * @internal
+ */
+export declare function rankBy(candidates: readonly string[], score: (id: string) => readonly number[]): string[];
+//# sourceMappingURL=text-overlap.d.ts.map

package/dist/atlas/text-overlap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-overlap.d.ts","sourceRoot":"","sources":["../../src/atlas/text-overlap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,kFAAkF;AAClF,eAAO,MAAM,MAAM,SAAU,MAAM,KAAG,GAAG,CAAC,MAAM,CACkC,CAAC;AAEnF,kFAAkF;AAClF,eAAO,MAAM,OAAO,MAAO,WAAW,CAAC,MAAM,CAAC,KAAK,WAAW,CAAC,MAAM,CAAC,KAAG,MAKxE,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAOxG"}

package/dist/atlas/text-overlap.js

@@ -0,0 +1,41 @@
+/**
+ * Word-token overlap: the text baseline's tokenizer, Jaccard similarity and the rank comparator.
+ *
+ * `link-prediction.ts` reads these. `benchmark/baselines.ts` carries private copies of the same
+ * functions on purpose (its rank comparator spells the codepoint order inline, where this one
+ * calls `compareCodepoint`): that file is a pinned code blob of the closed criterion 3 study,
+ * hashed by the study's freeze, and is not edited to import this module.
+ *
+ * @module atlas/text-overlap
+ * @internal
+ */
+import { compareCodepoint } from '../core/compare.js';
+/** Lower-cased word tokens (letters and digits) of a text, as a set. @internal */
+export const tokens = (text) => new Set(text.toLowerCase().split(/[^\p{L}\p{N}]+/u).filter((t) => t.length > 0));
+/** Jaccard similarity |a ∩ b| / |a ∪ b|; 0 when both sets are empty. @internal */
+export const jaccard = (a, b) => {
+    if (a.size === 0 && b.size === 0)
+        return 0;
+    let inter = 0;
+    for (const x of a)
+        if (b.has(x))
+            inter++;
+    return inter / (a.size + b.size - inter);
+};
+/**
+ * Rank candidates by descending score list (lexicographic), then ascending id. A stable, total
+ * order: two candidates with equal scores are ordered by id, never by input position.
+ *
+ * @internal
+ */
+export function rankBy(candidates, score) {
+    return [...candidates].sort((x, y) => {
+        const sx = score(x);
+        const sy = score(y);
+        for (let i = 0; i < sx.length; i++)
+            if (sx[i] !== sy[i])
+                return sy[i] - sx[i];
+        return compareCodepoint(x, y);
+    });
+}
+//# sourceMappingURL=text-overlap.js.map

package/dist/atlas/text-overlap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-overlap.js","sourceRoot":"","sources":["../../src/atlas/text-overlap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,kFAAkF;AAClF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAe,EAAE,CAClD,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AAEnF,kFAAkF;AAClF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAsB,EAAE,CAAsB,EAAU,EAAE;IAChF,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAC;IACzC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CAAC,UAA6B,EAAE,KAAwC;IAC5F,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBAAE,OAAO,EAAE,CAAC,CAAC,CAAE,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC;QAChF,OAAO,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * Word-token overlap: the text baseline's tokenizer, Jaccard similarity and the rank comparator.\n *\n * `link-prediction.ts` reads these. `benchmark/baselines.ts` carries private copies of the same\n * functions on purpose (its rank comparator spells the codepoint order inline, where this one\n * calls `compareCodepoint`): that file is a pinned code blob of the closed criterion 3 study,\n * hashed by the study's freeze, and is not edited to import this module.\n *\n * @module atlas/text-overlap\n * @internal\n */\n\nimport { compareCodepoint } from '../core/compare.js';\n\n/** Lower-cased word tokens (letters and digits) of a text, as a set. @internal */\nexport const tokens = (text: string): Set<string> =>\n  new Set(text.toLowerCase().split(/[^\\p{L}\\p{N}]+/u).filter((t) => t.length > 0));\n\n/** Jaccard similarity |a ∩ b| / |a ∪ b|; 0 when both sets are empty. @internal */\nexport const jaccard = (a: ReadonlySet<string>, b: ReadonlySet<string>): number => {\n  if (a.size === 0 && b.size === 0) return 0;\n  let inter = 0;\n  for (const x of a) if (b.has(x)) inter++;\n  return inter / (a.size + b.size - inter);\n};\n\n/**\n * Rank candidates by descending score list (lexicographic), then ascending id. A stable, total\n * order: two candidates with equal scores are ordered by id, never by input position.\n *\n * @internal\n */\nexport function rankBy(candidates: readonly string[], score: (id: string) => readonly number[]): string[] {\n  return [...candidates].sort((x, y) => {\n    const sx = score(x);\n    const sy = score(y);\n    for (let i = 0; i < sx.length; i++) if (sx[i] !== sy[i]) return sy[i]! - sx[i]!;\n    return compareCodepoint(x, y);\n  });\n}\n"]}

package/dist/atlas/waves/bridges-closure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridges-closure.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/bridges-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAQH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAM/C,wEAAwE;AACxE,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B,6EAA6E;AAC7E,eAAO,MAAM,cAAc,OAAO,CAAC;AAWnC;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB,EAAE,WA+EnC,CAAC;AAEF,yFAAyF;AACzF,eAAO,MAAM,oBAAoB,EAAE,WA+BlC,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,mBAAmB,EAAE,WAqEjC,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,oBAAoB,EAAE,SAAS,WAAW,EAItD,CAAC"}
+{"version":3,"file":"bridges-closure.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/bridges-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAQH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAM/C,wEAAwE;AACxE,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B,6EAA6E;AAC7E,eAAO,MAAM,cAAc,OAAO,CAAC;AAOnC;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB,EAAE,WA+EnC,CAAC;AAEF,yFAAyF;AACzF,eAAO,MAAM,oBAAoB,EAAE,WA+BlC,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,mBAAmB,EAAE,WAqEjC,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,oBAAoB,EAAE,SAAS,WAAW,EAItD,CAAC"}

package/dist/atlas/waves/bridges-closure.js

@@ -19,7 +19,7 @@
 import { ACTION, FORCE, FREQUENCY, MASS, VELOCITY } from '../../dimensional/types.js';
 import { makeApproximation } from '../oscillators/bridges-limits.js';
 import { SPRING_CONSTANT } from '../oscillators/dimensions.js';
-import { deriveRegimeGroups } from '../regime.js';
+import { makeRegime } from '../regime.js';
 import { physjsFormalRef } from '../physjs-ref.js';
 import { FLEXURAL_RIGIDITY, LINEAR_DENSITY, WAVENUMBER, WAVES_FAMILY_NAME } from './models.js';
 import { kgNonrelativisticError, stiffStringPhaseError } from './numerics.js';
@@ -28,11 +28,7 @@ const TEST = 'tests/atlas/closure.test.ts';
 export const KG_NR_MAX_X = 0.1;
 /** Domain edge of the flexible-string limit: β = EIk²/F ≤ 0.01. @internal */
 export const STIFF_MAX_BETA = 0.01;
-const regime = (parameters, inequalities) => ({
-    family: WAVES_FAMILY_NAME,
-    inequalities,
-    groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, parameters, []),
-});
+const regime = (parameters, inequalities) => makeRegime(WAVES_FAMILY_NAME, parameters, [], inequalities);
 /**
  * Bridge: Klein–Gordon → free Schrödinger, the non-relativistic limit.
  *