universal-physics-tensor 9.0.0 → 11.0.0

package/dist/atlas/physjs-reviewed.js

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

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

@@ -0,0 +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 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': '53005474dacdde47471e00d252e5ac44194ad2b3dcadce40cd5445dc628209c6',\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': 'ece98844544e565b6963bc1787ef02d287aa6942171f5cdb7d5b246b1a596864',\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/associations.js.map

@@ -1 +1 @@
-{"version":3,"file":"associations.js","sourceRoot":"","sources":["../../../src/atlas/poster/associations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAKH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAEtC;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAA2B;IACzD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;QAClC,IAAI,EACF,oFAAoF;YACpF,uFAAuF;YACvF,sCAAsC;QACxC,QAAQ,EAAE,4EAA4E;KACvF;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,UAAU,EAAE,kBAAkB,CAAC;QACzC,IAAI,EACF,qFAAqF;YACrF,uEAAuE;QACzE,QAAQ,EAAE,4EAA4E;KACvF;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,WAAW,EAAE,kBAAkB,CAAC;QAC1C,IAAI,EACF,qFAAqF;YACrF,uEAAuE;QACzE,QAAQ,EAAE,4EAA4E;KACvF;CACF,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,sBAAsB,GACjC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,CAAC,GAAG,CACxE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAU,CAC7C,CAAC"}
+{"version":3,"file":"associations.js","sourceRoot":"","sources":["../../../src/atlas/poster/associations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAKH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAEtC;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAA2B;IACzD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;QAClC,IAAI,EACF,oFAAoF;YACpF,uFAAuF;YACvF,sCAAsC;QACxC,QAAQ,EAAE,4EAA4E;KACvF;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,UAAU,EAAE,kBAAkB,CAAC;QACzC,IAAI,EACF,qFAAqF;YACrF,uEAAuE;QACzE,QAAQ,EAAE,4EAA4E;KACvF;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,WAAW,EAAE,kBAAkB,CAAC;QAC1C,IAAI,EACF,qFAAqF;YACrF,uEAAuE;QACzE,QAAQ,EAAE,4EAA4E;KACvF;CACF,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,sBAAsB,GACjC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,CAAC,GAAG,CACxE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAU,CAC7C,CAAC","sourcesContent":["/**\n * Atlas Phase 3 — the poster's two association-only lines.\n *\n * An `Association` (`../association.ts`) records that two things SHARE\n * something and asserts **no relation**, **no composite claim**, and **no\n * graph edge**. `ROADMAP.md` Phase 3 puts exactly two of its fifteen lines in\n * that category, and both are here:\n *\n * - **`7 ↔ 16` — the historical link ONLY.** `kind: 'historical-influence'`,\n *   which is the value that says \"influence, not derivation\". The derivation\n *   route to 16 exists and is recorded as a hyperedge from the FULL Maxwell\n *   system in `./derivations.ts`; this record exists so the resemblance\n *   between one Maxwell equation and special relativity stops being\n *   re-surfaced as if it were that route.\n * - **`3, 14 → *` — association only.** The line states no target, so the\n *   target is recorded as {@link UNSPECIFIED_TARGET} rather than guessed. Two\n *   records, one per entry: the line says each of 3 and 14 is association-only,\n *   NOT that 3 and 14 are associated with each other — pairing them would be a\n *   claim no source makes.\n *\n * `kind` is assigned the way `../association.ts` insists: mechanically, from\n * what the line says, never as a fresh per-pair physics judgement.\n * `ASSOCIATIONS` in that module is seeded from the `'decoy'` adjudications and\n * is pinned by test against the live ledger, so these records live here rather\n * than being appended to it.\n *\n * @module atlas/poster/associations\n */\n\nimport type { Association } from '../association.js';\nimport type { StatementId } from '../statement.js';\n\n/**\n * The second member of a `3, 14 → *` association: the line's `*`, which names\n * no target.\n *\n * A sentinel rather than a real id, because inventing a target would invent\n * the association. Any consumer that draws these edges must treat it as \"no\n * target recorded\" and not resolve it.\n *\n * @internal\n */\nexport const UNSPECIFIED_TARGET = '*';\n\n/**\n * The poster's association records.\n *\n * `citation` is `ROADMAP.md` with its Phase 3 section, because that is the\n * source these came from — `../association.ts` requires the note's origin, and\n * the adjudication ledger is not it.\n *\n * @internal\n */\nexport const POSTER_ASSOCIATIONS: readonly Association[] = [\n  {\n    id: 'a-7-16-historical',\n    kind: 'historical-influence',\n    between: ['poster-7', 'poster-16'],\n    note:\n      'Historical link only. Entry 7 influenced special relativity historically; it does ' +\n      'NOT derive it. The derivation route is the hyperedge {full Maxwell system, spacetime ' +\n      'structure} → 16, never from 7 alone.',\n    citation: 'ROADMAP.md § Phase 3 — Hyperedges, models, and the poster as a typed index',\n  },\n  {\n    id: 'a-3-association-only',\n    kind: 'shared-structure',\n    between: ['poster-3', UNSPECIFIED_TARGET],\n    note:\n      'Association only. ROADMAP.md Phase 3 states \"3, 14 → * association only\" and names ' +\n      'no target; the target is recorded as unspecified rather than guessed.',\n    citation: 'ROADMAP.md § Phase 3 — Hyperedges, models, and the poster as a typed index',\n  },\n  {\n    id: 'a-14-association-only',\n    kind: 'shared-structure',\n    between: ['poster-14', UNSPECIFIED_TARGET],\n    note:\n      'Association only. ROADMAP.md Phase 3 states \"3, 14 → * association only\" and names ' +\n      'no target; the target is recorded as unspecified rather than guessed.',\n    citation: 'ROADMAP.md § Phase 3 — Hyperedges, models, and the poster as a typed index',\n  },\n];\n\n/**\n * Statement pairs that may NEVER appear as a derivation, in either direction.\n *\n * Derived from the records above rather than restated, so the guard and the\n * data cannot drift apart: adding an association adds the prohibition.\n * Pairs whose second member is {@link UNSPECIFIED_TARGET} are excluded —\n * there is no second statement to forbid an edge to, and a sentinel in a\n * pair-matcher would silently match nothing while looking like a guard.\n *\n * Consumed by `validatePosterRelations` in `./derivations.ts`.\n *\n * @internal\n */\nexport const ASSOCIATION_ONLY_PAIRS: readonly (readonly [StatementId, StatementId])[] =\n  POSTER_ASSOCIATIONS.filter((a) => a.between[1] !== UNSPECIFIED_TARGET).map(\n    (a) => [a.between[0], a.between[1]] as const,\n  );\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"derivations.js","sourceRoot":"","sources":["../../../src/atlas/poster/derivations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAIlD,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AA0C5D,MAAM,CAAC,GAAG,CACR,EAAgB,EAChB,QAAgC,EAChC,QAAgC,EAChC,UAAuB,EACvB,cAAiC,EACrB,EAAE,CACd,cAAc,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,eAAe,CAAC,CAAC;AAE1F;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA0B;IACvD,8DAA8D;IAC9D,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACzD,+BAA+B;QAC/B,sFAAsF;KACvF,CAAC;IAEF,2EAA2E;IAC3E,6EAA6E;IAC7E,uEAAuE;IACvE,CAAC,CAAC,kBAAkB,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,iCAAiC,EAAE;QACrF,0BAA0B;QAC1B,uEAAuE;QACvE,0CAA0C;KAC3C,CAAC;IACF,CAAC,CACC,8BAA8B,EAC9B,YAAY,EACZ,CAAC,4BAA4B,EAAE,mBAAmB,CAAC,EACnD,wCAAwC,EACxC;QACE,iDAAiD;QACjD,4BAA4B;QAC5B,uEAAuE;KACxE,CACF;IAED,yEAAyE;IACzE,iEAAiE;IACjE,CAAC,CACC,yBAAyB,EACzB,mBAAmB,EACnB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,EAClC,+BAA+B,EAC/B;QACE,gDAAgD;QAChD,kCAAkC;QAClC,+CAA+C;KAChD,CACF;IAED,wEAAwE;IACxE,qEAAqE;IACrE,2EAA2E;IAC3E,2EAA2E;IAC3E,uEAAuE;IACvE,uDAAuD;IACvD,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC3D,YAAY;QACZ,aAAa;QACb,iBAAiB;QACjB,cAAc;QACd,oCAAoC;KACrC,CAAC;IAEF,oEAAoE;IACpE,0EAA0E;IAC1E,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QAC3D,kBAAkB;QAClB,eAAe;QACf,oCAAoC;KACrC,CAAC;IACF,CAAC,CAAC,YAAY,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC7D,kBAAkB;QAClB,eAAe;QACf,oCAAoC;KACrC,CAAC;IAEF,4EAA4E;IAC5E,yEAAyE;IACzE,8DAA8D;IAC9D,CAAC,CACC,2BAA2B,EAC3B,YAAY,EACZ,CAAC,0BAA0B,EAAE,yBAAyB,CAAC,EACvD,QAAQ,CAAC,EAAE,CAAC,EACZ;QACE,8CAA8C;QAC9C,gEAAgE;YAC9D,kEAAkE;KACrE,CACF;IAED,yEAAyE;IACzE,oEAAoE;IACpE,CAAC,CAAC,yBAAyB,EAAE,YAAY,EAAE,CAAC,4BAA4B,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtF,6BAA6B;QAC7B,sCAAsC;QACtC,kDAAkD;KACnD,CAAC;IAEF,2EAA2E;IAC3E,0EAA0E;IAC1E,oEAAoE;IACpE,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACxD,6DAA6D;QAC7D,mEAAmE;KACpE,CAAC;IAEF,gEAAgE;IAChE,2EAA2E;IAC3E,eAAe;IACf,CAAC,CAAC,gBAAgB,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACjD,sCAAsC;QACtC,+BAA+B;QAC/B,+EAA+E;QAC/E,kFAAkF;YAChF,gDAAgD;KACnD,CAAC;IAEF,qEAAqE;IACrE,sEAAsE;IACtE,iEAAiE;IACjE,CAAC,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACvE,wEAAwE;QACxE,4EAA4E;YAC1E,kDAAkD;QACpD,OAAO;KACR,CAAC;IAEF,gEAAgE;IAChE,iEAAiE;IACjE,uBAAuB;IACvB,CAAC,CAAC,aAAa,EAAE,uBAAuB,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACrE,gBAAgB;QAChB,iBAAiB;QACjB,wCAAwC;KACzC,CAAC;IAEF,0EAA0E;IAC1E,oBAAoB;IACpB,CAAC,CACC,sBAAsB,EACtB,YAAY,EACZ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,iCAAiC,CAAC,EAChD,QAAQ,CAAC,EAAE,CAAC,EACZ;QACE,kEAAkE;QAClE,2DAA2D;QAC3D,OAAO;KACR,CACF;IACD,CAAC,CAAC,wBAAwB,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACrE,sDAAsD;QACtD,gFAAgF;YAC9E,yBAAyB;QAC3B,OAAO;KACR,CAAC;IAEF,yEAAyE;IACzE,iCAAiC;IACjC,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtD,4BAA4B;QAC5B,oBAAoB;QACpB,8BAA8B;KAC/B,CAAC;IAEF,oEAAoE;IACpE,2EAA2E;IAC3E,uEAAuE;IACvE,kCAAkC;IAClC,CAAC,CAAC,2BAA2B,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACxE,0EAA0E;QAC1E,wCAAwC;KACzC,CAAC;IACF,CAAC,CAAC,4BAA4B,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC5E,yEAAyE;QACzE,wCAAwC;KACzC,CAAC;CACH,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgC;IAC7D;QACE,EAAE,EAAE,oBAAoB;QACxB,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QACrC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvB,IAAI,EACF,4EAA4E;YAC5E,kDAAkD;QACpD,gBAAgB,EAAE,yBAAyB;KAC5C;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAuD;IAClF,mBAAmB,EAAE;QACnB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,qCAAqC,EAAE;KAC3E;IACD,aAAa,EAAE;QACb;YACE,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,qCAAqC;YAC3C,SAAS,EAAE,4CAA4C;SACxD;KACF;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAA0B;IACjD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,qDAAqD;QAC3D,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,4EAA4E;YAC5E,yDAAyD;QAC3D,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,kBAAkB,EAAE,8BAA8B,CAAC;KAC9D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,2DAA2D;QACjE,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,yBAAyB,CAAC;KACrC;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,gFAAgF;YAChF,oCAAoC;QACtC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,gFAAgF;QACtF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC;KACrC;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,gFAAgF;YAChF,+EAA+E;QACjF,UAAU,EAAE,CAAC,aAAa,EAAE,YAAY,CAAC;QACzC,OAAO,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;KAC5D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,iFAAiF;QACvF,UAAU,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;QACxC,OAAO,EAAE,CAAC,oBAAoB,EAAE,yBAAyB,CAAC;KAC3D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,gFAAgF;QACtF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,iFAAiF;QACvF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,gBAAgB,CAAC;KAC5B;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,2EAA2E;QACjF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,mBAAmB,CAAC;KAC/B;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EACF,wFAAwF;YACxF,iCAAiC;QACnC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,aAAa,CAAC;KACzB;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,kFAAkF;QACxF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,sBAAsB,EAAE,wBAAwB,CAAC;KAC5D;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,+EAA+E;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,UAAU,CAAC;KACtB;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EACF,gFAAgF;YAChF,wCAAwC;QAC1C,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,2BAA2B,EAAE,4BAA4B,CAAC;KACrE;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,4BAA4B;QAClC,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,OAAO,EAAE,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;KAC3D;CACF,CAAC;AAcF,uCAAuC;AACvC,SAAS,YAAY,CAAC,SAAwB,EAAE,EAAU;IACxD,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,iFAAiF;AACjF,MAAM,wBAAwB,GAAiB,gBAAgB,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,uBAAuB;IACrC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,GAAG,IAAI,kBAAkB,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mBAAmB;oBACzB,MAAM,EAAE,eAAe,GAAG,CAAC,EAAE,mCAAmC,GAAG,GAAG;iBACvE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,yBAAyB;oBAC9C,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,MAAM,0BAA0B;aACpF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,wBAAwB,EAAE,CAAC;YACrE,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,4BAA4B,wBAAwB,SAAS;oBAClF,wDAAwD;aAC3D,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,sBAAsB,EAAE,CAAC;YAC5C,MAAM,OAAO,GACX,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC;gBAClD,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC;YACrD,IAAI,OAAO,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,iCAAiC;oBACvC,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,8BAA8B;wBAC3E,mFAAmF;iBACtF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACjE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,QAAQ,GAAI,CAAC,YAAY,EAAE,aAAa,EAAE,YAAY,CAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACnF,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CACpB,CAAC;gBACF,QAAQ,CAAC,IAAI,CACX,QAAQ,CAAC,MAAM,GAAG,CAAC;oBACjB,CAAC,CAAC;wBACE,IAAI,EAAE,iBAAiB;wBACvB,MAAM,EACJ,QAAQ,IAAI,CAAC,EAAE,cAAc,EAAE,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;4BACnE,yBAAyB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;qBAChD;oBACH,CAAC,CAAC;wBACE,IAAI,EAAE,gBAAgB;wBACtB,MAAM,EAAE,QAAQ,IAAI,CAAC,EAAE,cAAc,EAAE,8BAA8B;qBACtE,CACN,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"derivations.js","sourceRoot":"","sources":["../../../src/atlas/poster/derivations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAIlD,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AA0C5D,MAAM,CAAC,GAAG,CACR,EAAgB,EAChB,QAAgC,EAChC,QAAgC,EAChC,UAAuB,EACvB,cAAiC,EACrB,EAAE,CACd,cAAc,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,eAAe,CAAC,CAAC;AAE1F;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA0B;IACvD,8DAA8D;IAC9D,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACzD,+BAA+B;QAC/B,sFAAsF;KACvF,CAAC;IAEF,2EAA2E;IAC3E,6EAA6E;IAC7E,uEAAuE;IACvE,CAAC,CAAC,kBAAkB,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,iCAAiC,EAAE;QACrF,0BAA0B;QAC1B,uEAAuE;QACvE,0CAA0C;KAC3C,CAAC;IACF,CAAC,CACC,8BAA8B,EAC9B,YAAY,EACZ,CAAC,4BAA4B,EAAE,mBAAmB,CAAC,EACnD,wCAAwC,EACxC;QACE,iDAAiD;QACjD,4BAA4B;QAC5B,uEAAuE;KACxE,CACF;IAED,yEAAyE;IACzE,iEAAiE;IACjE,CAAC,CACC,yBAAyB,EACzB,mBAAmB,EACnB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,EAClC,+BAA+B,EAC/B;QACE,gDAAgD;QAChD,kCAAkC;QAClC,+CAA+C;KAChD,CACF;IAED,wEAAwE;IACxE,qEAAqE;IACrE,2EAA2E;IAC3E,2EAA2E;IAC3E,uEAAuE;IACvE,uDAAuD;IACvD,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC3D,YAAY;QACZ,aAAa;QACb,iBAAiB;QACjB,cAAc;QACd,oCAAoC;KACrC,CAAC;IAEF,oEAAoE;IACpE,0EAA0E;IAC1E,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QAC3D,kBAAkB;QAClB,eAAe;QACf,oCAAoC;KACrC,CAAC;IACF,CAAC,CAAC,YAAY,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC7D,kBAAkB;QAClB,eAAe;QACf,oCAAoC;KACrC,CAAC;IAEF,4EAA4E;IAC5E,yEAAyE;IACzE,8DAA8D;IAC9D,CAAC,CACC,2BAA2B,EAC3B,YAAY,EACZ,CAAC,0BAA0B,EAAE,yBAAyB,CAAC,EACvD,QAAQ,CAAC,EAAE,CAAC,EACZ;QACE,8CAA8C;QAC9C,gEAAgE;YAC9D,kEAAkE;KACrE,CACF;IAED,yEAAyE;IACzE,oEAAoE;IACpE,CAAC,CAAC,yBAAyB,EAAE,YAAY,EAAE,CAAC,4BAA4B,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtF,6BAA6B;QAC7B,sCAAsC;QACtC,kDAAkD;KACnD,CAAC;IAEF,2EAA2E;IAC3E,0EAA0E;IAC1E,oEAAoE;IACpE,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACxD,6DAA6D;QAC7D,mEAAmE;KACpE,CAAC;IAEF,gEAAgE;IAChE,2EAA2E;IAC3E,eAAe;IACf,CAAC,CAAC,gBAAgB,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACjD,sCAAsC;QACtC,+BAA+B;QAC/B,+EAA+E;QAC/E,kFAAkF;YAChF,gDAAgD;KACnD,CAAC;IAEF,qEAAqE;IACrE,sEAAsE;IACtE,iEAAiE;IACjE,CAAC,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACvE,wEAAwE;QACxE,4EAA4E;YAC1E,kDAAkD;QACpD,OAAO;KACR,CAAC;IAEF,gEAAgE;IAChE,iEAAiE;IACjE,uBAAuB;IACvB,CAAC,CAAC,aAAa,EAAE,uBAAuB,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACrE,gBAAgB;QAChB,iBAAiB;QACjB,wCAAwC;KACzC,CAAC;IAEF,0EAA0E;IAC1E,oBAAoB;IACpB,CAAC,CACC,sBAAsB,EACtB,YAAY,EACZ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,iCAAiC,CAAC,EAChD,QAAQ,CAAC,EAAE,CAAC,EACZ;QACE,kEAAkE;QAClE,2DAA2D;QAC3D,OAAO;KACR,CACF;IACD,CAAC,CAAC,wBAAwB,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACrE,sDAAsD;QACtD,gFAAgF;YAC9E,yBAAyB;QAC3B,OAAO;KACR,CAAC;IAEF,yEAAyE;IACzE,iCAAiC;IACjC,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtD,4BAA4B;QAC5B,oBAAoB;QACpB,8BAA8B;KAC/B,CAAC;IAEF,oEAAoE;IACpE,2EAA2E;IAC3E,uEAAuE;IACvE,kCAAkC;IAClC,CAAC,CAAC,2BAA2B,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACxE,0EAA0E;QAC1E,wCAAwC;KACzC,CAAC;IACF,CAAC,CAAC,4BAA4B,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC5E,yEAAyE;QACzE,wCAAwC;KACzC,CAAC;CACH,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgC;IAC7D;QACE,EAAE,EAAE,oBAAoB;QACxB,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QACrC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvB,IAAI,EACF,4EAA4E;YAC5E,kDAAkD;QACpD,gBAAgB,EAAE,yBAAyB;KAC5C;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAuD;IAClF,mBAAmB,EAAE;QACnB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,qCAAqC,EAAE;KAC3E;IACD,aAAa,EAAE;QACb;YACE,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,qCAAqC;YAC3C,SAAS,EAAE,4CAA4C;SACxD;KACF;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAA0B;IACjD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,qDAAqD;QAC3D,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,4EAA4E;YAC5E,yDAAyD;QAC3D,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,kBAAkB,EAAE,8BAA8B,CAAC;KAC9D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,2DAA2D;QACjE,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,yBAAyB,CAAC;KACrC;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,gFAAgF;YAChF,oCAAoC;QACtC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,gFAAgF;QACtF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC;KACrC;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,gFAAgF;YAChF,+EAA+E;QACjF,UAAU,EAAE,CAAC,aAAa,EAAE,YAAY,CAAC;QACzC,OAAO,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;KAC5D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,iFAAiF;QACvF,UAAU,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;QACxC,OAAO,EAAE,CAAC,oBAAoB,EAAE,yBAAyB,CAAC;KAC3D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,gFAAgF;QACtF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,iFAAiF;QACvF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,gBAAgB,CAAC;KAC5B;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,2EAA2E;QACjF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,mBAAmB,CAAC;KAC/B;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EACF,wFAAwF;YACxF,iCAAiC;QACnC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,aAAa,CAAC;KACzB;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,kFAAkF;QACxF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,sBAAsB,EAAE,wBAAwB,CAAC;KAC5D;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,+EAA+E;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,UAAU,CAAC;KACtB;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EACF,gFAAgF;YAChF,wCAAwC;QAC1C,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,2BAA2B,EAAE,4BAA4B,CAAC;KACrE;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,4BAA4B;QAClC,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,OAAO,EAAE,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;KAC3D;CACF,CAAC;AAcF,uCAAuC;AACvC,SAAS,YAAY,CAAC,SAAwB,EAAE,EAAU;IACxD,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,iFAAiF;AACjF,MAAM,wBAAwB,GAAiB,gBAAgB,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,uBAAuB;IACrC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,GAAG,IAAI,kBAAkB,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mBAAmB;oBACzB,MAAM,EAAE,eAAe,GAAG,CAAC,EAAE,mCAAmC,GAAG,GAAG;iBACvE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,yBAAyB;oBAC9C,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,MAAM,0BAA0B;aACpF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,wBAAwB,EAAE,CAAC;YACrE,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,4BAA4B,wBAAwB,SAAS;oBAClF,wDAAwD;aAC3D,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,sBAAsB,EAAE,CAAC;YAC5C,MAAM,OAAO,GACX,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC;gBAClD,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC;YACrD,IAAI,OAAO,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,iCAAiC;oBACvC,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,8BAA8B;wBAC3E,mFAAmF;iBACtF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACjE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,QAAQ,GAAI,CAAC,YAAY,EAAE,aAAa,EAAE,YAAY,CAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACnF,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CACpB,CAAC;gBACF,QAAQ,CAAC,IAAI,CACX,QAAQ,CAAC,MAAM,GAAG,CAAC;oBACjB,CAAC,CAAC;wBACE,IAAI,EAAE,iBAAiB;wBACvB,MAAM,EACJ,QAAQ,IAAI,CAAC,EAAE,cAAc,EAAE,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;4BACnE,yBAAyB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;qBAChD;oBACH,CAAC,CAAC;wBACE,IAAI,EAAE,gBAAgB;wBACtB,MAAM,EAAE,QAAQ,IAAI,CAAC,EAAE,cAAc,EAAE,8BAA8B;qBACtE,CACN,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC","sourcesContent":["/**\n * Atlas Phase 3 — the poster's typed edges.\n *\n * `ROADMAP.md` Phase 3 states FIFTEEN bridge lines. This module records all\n * fifteen, each in the container its type demands, and {@link POSTER_LINES} is\n * the table that makes \"all fifteen, correctly typed\" a checkable claim rather\n * than a reading of the source.\n *\n * ## Three containers, because the lines are three different acts\n *\n * - **{@link POSTER_DERIVATIONS}** — a `Derivation` asserts `premises ⊢\n *   conclusion`. Most lines are this.\n * - **`./associations.ts`** — `7 ↔ 16` is an **association for the historical\n *   link only**, and `3, 14 → *` is association only. An `Association` makes\n *   no composite claim and is not a graph edge (`../association.ts`), which is\n *   exactly the content of those two lines.\n * - **{@link POSTER_CONSTRAINTS}** — `5, 16 → 8` *\"constrain but do not\n *   determine\"*. Neither of the other two containers can say that. A\n *   `Derivation` would assert that 5 and 16 YIELD 8, which is the claim the\n *   line explicitly denies; an `Association` would say only that the three\n *   resemble each other, which drops the constraint. **This third container is\n *   a correction to the S3.3 brief**, which allows only derivations and\n *   associations; recording `5, 16 → 8` as a derivation would have been the\n *   overclaim the sprint exists to prevent. The variational route the line\n *   names — Einstein–Hilbert — IS a derivation, and it is recorded as one.\n *\n * ## One derivation has no premises, and that is the honest form\n *\n * `d-4-commutator` records the line *\"`4` derivation from the commutator and\n * Cauchy–Schwarz, no time-dependent equation needed\"*. Its two inputs are not\n * poster entries, and they are not among the five hidden nodes `ROADMAP.md`\n * names. Inventing `statement-canonical-commutator` to fill the premise slot\n * would be the invention §5 of the design note forbids, so the inputs are\n * recorded as `sideConditions` and the premise set is empty. The empty set\n * does not assert that entry 4 follows from nothing — `sideConditions` carries\n * what it follows from — and {@link validatePosterRelations} pins that this is\n * the ONLY empty-premise record, so a second one cannot appear unnoticed.\n *\n * ## Witnesses\n *\n * `Derivation` has no `witnesses` field (`../derivation.ts` is Wave 1's and is\n * not mine to widen), so {@link POSTER_WITNESSES} is a side table keyed by\n * derivation id. The two Sprint 0 witnesses land where `ROADMAP.md` puts them:\n * W4 (chirped Gaussian) on `13 ↔ 4`, W5 (Wick rotation) on `6 ↔ 13`.\n *\n * @module atlas/poster/derivations\n */\n\nimport { makeDerivation } from '../derivation.js';\nimport type { Derivation, DerivationId } from '../derivation.js';\nimport type { StatementId } from '../statement.js';\nimport type { Witness } from '../types.js';\nimport { POSTER_ASSOCIATIONS, ASSOCIATION_ONLY_PAIRS } from './associations.js';\nimport { POSTER_REGISTRY, posterId } from './statements.js';\n\n/**\n * `5, 16 → 8`: premises that CONSTRAIN a target without determining it.\n *\n * It has no `relation`, no `conclusion` and no context union, because it\n * concludes nothing. `alternativeRoute` names what does determine the target,\n * so the record cannot be read as \"and nothing else does\".\n *\n * @internal\n */\nexport interface PosterConstraint {\n  readonly id: string;\n  readonly premises: readonly StatementId[];\n  /** What the premises constrain. NOT a conclusion. */\n  readonly constrains: StatementId;\n  /** Why the premises fall short of determining it. */\n  readonly note: string;\n  /** The derivation id that DOES reach the target, when one is recorded. */\n  readonly alternativeRoute?: DerivationId;\n}\n\n/** Where a poster line is recorded. @internal */\nexport type LineContainer = 'derivation' | 'association' | 'constraint';\n\n/**\n * One of the fifteen `ROADMAP.md` Phase 3 bridge lines, and the records that\n * carry it.\n *\n * @internal\n */\nexport interface PosterLine {\n  /** `'L1'` … `'L15'`, in the order `ROADMAP.md` lists them. */\n  readonly id: string;\n  /** The line as `ROADMAP.md` writes it, in substance. */\n  readonly line: string;\n  /** Every container this line lands in. */\n  readonly containers: readonly LineContainer[];\n  /** Ids of the records, across those containers. */\n  readonly records: readonly string[];\n}\n\nconst d = (\n  id: DerivationId,\n  relation: Derivation['relation'],\n  premises: readonly StatementId[],\n  conclusion: StatementId,\n  sideConditions: readonly string[],\n): Derivation =>\n  makeDerivation({ id, relation, premises, conclusion, sideConditions }, POSTER_REGISTRY);\n\n/**\n * The poster's derivation hyperedges.\n *\n * Each `relation` is the type `ROADMAP.md` names for its line, and each\n * `sideConditions` list carries that line's qualifications — including the\n * ones that say what the edge does NOT give, because a qualification dropped\n * here is a claim widened silently.\n *\n * @internal\n */\nexport const POSTER_DERIVATIONS: readonly Derivation[] = [\n  // L1 — \"10 → 9 restriction plus separate frame content in 9\".\n  d('d-10-to-9', 'restriction', [posterId(10)], posterId(9), [\n    'restriction to net force zero',\n    \"entry 9's inertial-frame content is SEPARATE and is not supplied by this restriction\",\n  ]),\n\n  // L2 — \"11 → momentum conservation for isolated particle systems (converse\n  // fails; translation symmetry gives the field-inclusive version under action\n  // and boundary assumptions)\". Two records: the line states two routes.\n  d('d-11-to-momentum', 'derivation', [posterId(11)], 'statement-momentum-conservation', [\n    'isolated particle system',\n    'the converse FAILS: momentum conservation does not give the third law',\n    'fails naively when fields carry momentum',\n  ]),\n  d(\n    'd-noether-to-momentum-fields',\n    'derivation',\n    ['statement-action-principle', 'statement-noether'],\n    'statement-momentum-conservation-fields',\n    [\n      'spatial translation symmetry of a stated action',\n      'stated boundary conditions',\n      'this is the FIELD-INCLUSIVE version; it does not run through entry 11',\n    ],\n  ),\n\n  // L3 — \"1 ↔ energy conservation via Noether for autonomous models, which\n  // defines neither heat nor a global energy in curved spacetime\".\n  d(\n    'd-1-energy-conservation',\n    'exact-equivalence',\n    [posterId(1), 'statement-noether'],\n    'statement-energy-conservation',\n    [\n      'autonomous model (no explicit time dependence)',\n      'it defines NEITHER heat NOR work',\n      'it gives NO global energy in curved spacetime',\n    ],\n  ),\n\n  // L4 — \"8 → 12 approximation (weak field, slow motion, near-stationary,\n  // negligible Λ) then restriction to a point source\". Recorded as ONE\n  // approximation rather than two composed edges: the intermediate statement\n  // (the weak-field field equation) is neither a poster entry nor one of the\n  // five named hidden nodes, so a node for it would be invented. The two\n  // stages are stated, in order, in the side conditions.\n  d('d-8-to-12', 'approximation', [posterId(8)], posterId(12), [\n    'weak field',\n    'slow motion',\n    'near-stationary',\n    'negligible Λ',\n    'THEN restriction to a point source',\n  ]),\n\n  // L5 — \"16 → 5, 10 approximation in v/c, regular, needing E = γmc²,\n  // p = γmv, F = dp/dt\". One conclusion per record: a `Derivation` has one.\n  d('d-16-to-5', 'approximation', [posterId(16)], posterId(5), [\n    'expansion in v/c',\n    'regular limit',\n    'needs E = γmc², p = γmv, F = dp/dt',\n  ]),\n  d('d-16-to-10', 'approximation', [posterId(16)], posterId(10), [\n    'expansion in v/c',\n    'regular limit',\n    'needs E = γmc², p = γmv, F = dp/dt',\n  ]),\n\n  // L6 (derivation half) — \"the derivation route is a hyperedge {full Maxwell\n  // system, spacetime structure} → 16, never from 7 alone\". The historical\n  // half of this line is an ASSOCIATION; see ./associations.ts.\n  d(\n    'd-maxwell-spacetime-to-16',\n    'derivation',\n    ['statement-maxwell-system', 'statement-lorentz-group'],\n    posterId(16),\n    [\n      'the full Maxwell SYSTEM, never entry 7 alone',\n      \"'spacetime structure' is recorded as statement-lorentz-group; \" +\n        'ROADMAP.md names five hidden nodes and that is the one it can be',\n    ],\n  ),\n\n  // L7 (the route that DOES determine 8) — \"Einstein–Hilbert is a separate\n  // variational route\". The constraint half is in POSTER_CONSTRAINTS.\n  d('d-einstein-hilbert-to-8', 'derivation', ['statement-action-principle'], posterId(8), [\n    'the Einstein–Hilbert action',\n    'variation with respect to the metric',\n    'this route is SEPARATE from the 5, 16 constraint',\n  ]),\n\n  // L8 — \"6 ↔ 15 linearity preserves superposition, Hilbert-space kinematics\n  // supplies it\". Typed one way only: the reverse is not this edge, because\n  // superposition comes from the kinematics rather than from entry 6.\n  d('d-6-to-15', 'derivation', [posterId(6)], posterId(15), [\n    'linearity of the evolution equation preserves superposition',\n    'Hilbert-space KINEMATICS supplies superposition; entry 6 does not',\n  ]),\n\n  // L9 — \"4 derivation from the commutator and Cauchy–Schwarz, no\n  // time-dependent equation needed\". Premise set deliberately EMPTY; see the\n  // module note.\n  d('d-4-commutator', 'derivation', [], posterId(4), [\n    'the canonical commutator [x, p] = iħ',\n    'the Cauchy–Schwarz inequality',\n    'NO time-dependent equation is needed; this route does not run through entry 6',\n    'the two inputs are neither poster entries nor named hidden nodes, so no premise ' +\n      'statement exists for them and none is invented',\n  ]),\n\n  // L10 — \"13 ↔ 4: a Gaussian *family* saturates the bound, a Gaussian\n  // density does not (Sprint 0 check 4)\". Exact-equivalence because the\n  // saturation is an EQUALITY at α = 0, which W4 computes exactly.\n  d('d-13-4-saturation', 'exact-equivalence', [posterId(13)], posterId(4), [\n    'a Gaussian FAMILY (parameterized by its width) saturates σ_x σ_p = ħ/2',\n    'a Gaussian DENSITY does not: the chirped Gaussian is Gaussian in |ψ|² and ' +\n      'has σ_x σ_p = (ħ/2)√(1 + 16α²s⁴) > ħ/2 for α ≠ 0',\n    'σ > 0',\n  ]),\n\n  // L11 — \"6 ↔ 13 analytic continuation to the heat semigroup for\n  // self-adjoint, lower-bounded H, Gaussian kernel only when V = 0\n  // (Sprint 0 check 5)\".\n  d('d-6-13-wick', 'analytic-continuation', [posterId(6)], posterId(13), [\n    'self-adjoint H',\n    'lower-bounded H',\n    'the kernel is GAUSSIAN only when V = 0',\n  ]),\n\n  // L12 — \"2 → 13 two routes (central limit, maximum entropy), neither from\n  // Boltzmann alone\".\n  d(\n    'd-2-13-central-limit',\n    'derivation',\n    [posterId(2), 'statement-central-limit-theorem'],\n    posterId(13),\n    [\n      'independent, identically distributed summands of finite variance',\n      'NOT from entry 2 alone: the theorem is the second premise',\n      'σ > 0',\n    ],\n  ),\n  d('d-2-13-maximum-entropy', 'derivation', [posterId(2)], posterId(13), [\n    'maximum entropy subject to a fixed mean and variance',\n    'NOT from entry 2 alone: the constraint set is an added input, and it is not a ' +\n      'statement in this index',\n    'σ > 0',\n  ]),\n\n  // L13 — \"2 → 1 needs a microscopic energy model, an ensemble choice, and\n  // definitions of heat and work\".\n  d('d-2-to-1', 'derivation', [posterId(2)], posterId(1), [\n    'a microscopic energy model',\n    'an ensemble choice',\n    'definitions of heat and work',\n  ]),\n\n  // L14 — \"6 → 10 Ehrenfest, exact for affine forces, approximate for\n  // localized packets, distinct from the singular ħ → 0 limit\". Two records:\n  // one exact, one approximate. One record could carry only one relation\n  // type, and the line states both.\n  d('d-6-to-10-ehrenfest-exact', 'derivation', [posterId(6)], posterId(10), [\n    'affine forces (F linear in x), for which the Ehrenfest relation is EXACT',\n    'distinct from the singular ħ → 0 limit',\n  ]),\n  d('d-6-to-10-ehrenfest-approx', 'approximation', [posterId(6)], posterId(10), [\n    'localized wave packets, for which the Ehrenfest relation is APPROXIMATE',\n    'distinct from the singular ħ → 0 limit',\n  ]),\n];\n\n/**\n * `5, 16 → 8` — the one line that asserts a constraint and denies a\n * derivation. See the module note for why it gets its own container.\n *\n * @internal\n */\nexport const POSTER_CONSTRAINTS: readonly PosterConstraint[] = [\n  {\n    id: 'c-5-16-constrain-8',\n    premises: [posterId(5), posterId(16)],\n    constrains: posterId(8),\n    note:\n      'entries 5 and 16 CONSTRAIN the field equations but do not determine them; ' +\n      'Einstein–Hilbert is a separate variational route',\n    alternativeRoute: 'd-einstein-hilbert-to-8',\n  },\n];\n\n/**\n * The Sprint 0 witnesses, attached where `ROADMAP.md` Phase 3 puts them.\n *\n * A side table rather than a field, because `Derivation` is Wave 1's record\n * and widening it is not this brief's scope.\n *\n * @internal\n */\nexport const POSTER_WITNESSES: Readonly<Record<DerivationId, readonly Witness[]>> = {\n  'd-13-4-saturation': [\n    { id: 'W4', kind: 'numeric', test: 'tests/atlas/quantum-support.test.ts' },\n  ],\n  'd-6-13-wick': [\n    {\n      id: 'W5',\n      kind: 'numeric',\n      test: 'tests/atlas/quantum-support.test.ts',\n      tolerance: '1e-4 sup-norm ratio on the stated interval',\n    },\n  ],\n};\n\n/**\n * The fifteen lines, and where each one is recorded.\n *\n * The table is the deliverable \"all fifteen, correctly typed\" in checkable\n * form: {@link validatePosterRelations} resolves every `records` id in every\n * `containers` entry, so a line that lost its record, or a record that moved\n * to the wrong container, is a failure rather than a reading.\n *\n * @internal\n */\nexport const POSTER_LINES: readonly PosterLine[] = [\n  {\n    id: 'L1',\n    line: '10 → 9 restriction plus separate frame content in 9',\n    containers: ['derivation'],\n    records: ['d-10-to-9'],\n  },\n  {\n    id: 'L2',\n    line:\n      '11 → momentum conservation for isolated particle systems (converse fails; ' +\n      'translation symmetry gives the field-inclusive version)',\n    containers: ['derivation'],\n    records: ['d-11-to-momentum', 'd-noether-to-momentum-fields'],\n  },\n  {\n    id: 'L3',\n    line: '1 ↔ energy conservation via Noether for autonomous models',\n    containers: ['derivation'],\n    records: ['d-1-energy-conservation'],\n  },\n  {\n    id: 'L4',\n    line:\n      '8 → 12 approximation (weak field, slow motion, near-stationary, negligible Λ) ' +\n      'then restriction to a point source',\n    containers: ['derivation'],\n    records: ['d-8-to-12'],\n  },\n  {\n    id: 'L5',\n    line: '16 → 5, 10 approximation in v/c, regular, needing E = γmc², p = γmv, F = dp/dt',\n    containers: ['derivation'],\n    records: ['d-16-to-5', 'd-16-to-10'],\n  },\n  {\n    id: 'L6',\n    line:\n      '7 ↔ 16 ASSOCIATION for the historical link only — the derivation route is the ' +\n      'hyperedge {full Maxwell system, spacetime structure} → 16, never from 7 alone',\n    containers: ['association', 'derivation'],\n    records: ['a-7-16-historical', 'd-maxwell-spacetime-to-16'],\n  },\n  {\n    id: 'L7',\n    line: '5, 16 → 8 constrain but do not determine (Einstein–Hilbert is a separate route)',\n    containers: ['constraint', 'derivation'],\n    records: ['c-5-16-constrain-8', 'd-einstein-hilbert-to-8'],\n  },\n  {\n    id: 'L8',\n    line: '6 ↔ 15 linearity preserves superposition, Hilbert-space kinematics supplies it',\n    containers: ['derivation'],\n    records: ['d-6-to-15'],\n  },\n  {\n    id: 'L9',\n    line: '4 derivation from the commutator and Cauchy–Schwarz, no time-dependent equation',\n    containers: ['derivation'],\n    records: ['d-4-commutator'],\n  },\n  {\n    id: 'L10',\n    line: '13 ↔ 4 a Gaussian family saturates the bound, a Gaussian density does not',\n    containers: ['derivation'],\n    records: ['d-13-4-saturation'],\n  },\n  {\n    id: 'L11',\n    line:\n      '6 ↔ 13 analytic continuation to the heat semigroup for self-adjoint, lower-bounded H, ' +\n      'Gaussian kernel only when V = 0',\n    containers: ['derivation'],\n    records: ['d-6-13-wick'],\n  },\n  {\n    id: 'L12',\n    line: '2 → 13 two routes (central limit, maximum entropy), neither from Boltzmann alone',\n    containers: ['derivation'],\n    records: ['d-2-13-central-limit', 'd-2-13-maximum-entropy'],\n  },\n  {\n    id: 'L13',\n    line: '2 → 1 needs a microscopic energy model, an ensemble choice, and heat and work',\n    containers: ['derivation'],\n    records: ['d-2-to-1'],\n  },\n  {\n    id: 'L14',\n    line:\n      '6 → 10 Ehrenfest, exact for affine forces, approximate for localized packets, ' +\n      'distinct from the singular ħ → 0 limit',\n    containers: ['derivation'],\n    records: ['d-6-to-10-ehrenfest-exact', 'd-6-to-10-ehrenfest-approx'],\n  },\n  {\n    id: 'L15',\n    line: '3, 14 → * association only',\n    containers: ['association'],\n    records: ['a-3-association-only', 'a-14-association-only'],\n  },\n];\n\n/** One defect {@link validatePosterRelations} found. @internal */\nexport interface PosterProblem {\n  readonly kind:\n    | 'unknown-statement'\n    | 'no-context-union'\n    | 'association-typed-as-derivation'\n    | 'missing-record'\n    | 'wrong-container'\n    | 'unexpected-empty-premises';\n  readonly detail: string;\n}\n\n/** Is `id` recorded in `container`? */\nfunction recordExists(container: LineContainer, id: string): boolean {\n  if (container === 'derivation') return POSTER_DERIVATIONS.some((x) => x.id === id);\n  if (container === 'constraint') return POSTER_CONSTRAINTS.some((x) => x.id === id);\n  return POSTER_ASSOCIATIONS.some((x) => x.id === id);\n}\n\n/** The only derivation entitled to an empty premise set. See the module note. */\nconst EMPTY_PREMISE_DERIVATION: DerivationId = 'd-4-commutator';\n\n/**\n * Every defect this index can have that a type cannot catch.\n *\n * Six checks, and the third is the one the S3.3 brief singles out:\n *\n * 1. **Unknown statement.** Every premise and conclusion resolves in\n *    `POSTER_REGISTRY`.\n * 2. **No context union.** A derivation whose premises do not pool states no\n *    claim; `makeDerivation` records that rather than throwing, so a record\n *    carrying a refusal would otherwise sit in the list looking like an edge.\n * 3. **An association typed as a derivation.** `7 ↔ 16` and `3, 14 → *` are\n *    associations. If a derivation ever links either pair — in either\n *    direction — the distinction has been lost, and it is the distinction\n *    that carries the physics: the route to 16 runs from the full Maxwell\n *    system, *never from 7 alone*.\n * 4. **Missing record / 5. wrong container.** Every id in\n *    {@link POSTER_LINES} exists, in one of the containers its line declares.\n * 6. **Unexpected empty premises.** Exactly one record may have none.\n *\n * Returns problems rather than throwing, so a caller sees ALL of them at once\n * — a thrown first defect hides the rest, and this list is checked as a whole.\n *\n * @internal\n */\nexport function validatePosterRelations(): readonly PosterProblem[] {\n  const problems: PosterProblem[] = [];\n\n  for (const der of POSTER_DERIVATIONS) {\n    for (const sid of [...der.premises, der.conclusion]) {\n      if (!POSTER_REGISTRY.has(sid)) {\n        problems.push({\n          kind: 'unknown-statement',\n          detail: `derivation '${der.id}' references unknown statement '${sid}'`,\n        });\n      }\n    }\n    if (der.contextUnion.kind === 'no-union') {\n      problems.push({\n        kind: 'no-context-union',\n        detail:\n          `derivation '${der.id}' has no context union ` +\n          `(${der.contextUnion.reason}: ${der.contextUnion.detail}), so it states no claim`,\n      });\n    }\n    if (der.premises.length === 0 && der.id !== EMPTY_PREMISE_DERIVATION) {\n      problems.push({\n        kind: 'unexpected-empty-premises',\n        detail:\n          `derivation '${der.id}' has no premises; only '${EMPTY_PREMISE_DERIVATION}' may, ` +\n          'and its two inputs are recorded in its side conditions',\n      });\n    }\n\n    for (const [a, b] of ASSOCIATION_ONLY_PAIRS) {\n      const touches =\n        (der.premises.includes(a) && der.conclusion === b) ||\n        (der.premises.includes(b) && der.conclusion === a);\n      if (touches) {\n        problems.push({\n          kind: 'association-typed-as-derivation',\n          detail:\n            `derivation '${der.id}' links '${a}' and '${b}', which ROADMAP.md Phase 3 ` +\n            'records as an ASSOCIATION only; a derivation here asserts a route the line denies',\n        });\n      }\n    }\n  }\n\n  for (const line of POSTER_LINES) {\n    for (const id of line.records) {\n      const where = line.containers.filter((c) => recordExists(c, id));\n      if (where.length === 0) {\n        const anywhere = (['derivation', 'association', 'constraint'] as const).filter((c) =>\n          recordExists(c, id),\n        );\n        problems.push(\n          anywhere.length > 0\n            ? {\n                kind: 'wrong-container',\n                detail:\n                  `line ${line.id} declares '${id}' in ${line.containers.join('/')} ` +\n                  `but it is recorded in ${anywhere.join('/')}`,\n              }\n            : {\n                kind: 'missing-record',\n                detail: `line ${line.id} declares '${id}', which is recorded nowhere`,\n              },\n        );\n      }\n    }\n  }\n\n  return problems;\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"}
+{"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"}
+{"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/public.d.ts

@@ -15,7 +15,8 @@
  * @module atlas/public
  */
 export type { ApproximationBound, AtlasRejection, Counterexample, EvidenceTag, LimitCharacter, Regime, RegimeInequality, RelationType, Witness, } from './types.js';
-export { MissingHorizonError, MissingLipschitzError } from './types.js';
+/** Thrown by a bound whose `deltaAt`, `horizonHolds` or Lipschitz constant is missing. */
+export { MissingDeltaAtError, MissingHorizonError, MissingLipschitzError } from './types.js';
 export type { AtlasModel } from './model.js';
 export { regimeHolds } from './regime.js';
 export type { RegimeCheck } from './regime.js';

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

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/atlas/public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,YAAY,EACV,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,WAAW,EACX,cAAc,EACd,MAAM,EACN,gBAAgB,EAChB,YAAY,EACZ,OAAO,GACR,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACxE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChG,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/atlas/public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,YAAY,EACV,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,WAAW,EACX,cAAc,EACd,MAAM,EACN,gBAAgB,EAChB,YAAY,EACZ,OAAO,GACR,MAAM,YAAY,CAAC;AACpB,0FAA0F;AAC1F,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAC7F,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChG,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/atlas/public.js

@@ -14,7 +14,8 @@
  *
  * @module atlas/public
  */
-export { MissingHorizonError, MissingLipschitzError } from './types.js';
+/** Thrown by a bound whose `deltaAt`, `horizonHolds` or Lipschitz constant is missing. */
+export { MissingDeltaAtError, MissingHorizonError, MissingLipschitzError } from './types.js';
 export { regimeHolds } from './regime.js';
 export { composeBoundPath, composeBounds, IDENTITY_BOUND } from './error-algebra.js';
 export { composeRelation, COMPOSITION_TABLE, NO_COMPOSITE_CLAIM } from './composition-table.js';

package/dist/atlas/public.js.map

@@ -1 +1 @@
-{"version":3,"file":"public.js","sourceRoot":"","sources":["../../src/atlas/public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAaH,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAExE,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAErF,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC"}
+{"version":3,"file":"public.js","sourceRoot":"","sources":["../../src/atlas/public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAaH,0FAA0F;AAC1F,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAE7F,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAErF,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC","sourcesContent":["/**\n * The PUBLIC atlas surface — reached as the `atlas` namespace of the package\n * root (`import { atlas } from 'universal-physics-tensor'`).\n *\n * This file is the SINGLE list of what is public. Nothing else states the set\n * or its size: the tests derive both from the re-exports below. Decision and\n * criteria: `docs/planning/Atlas-API-Review.md` (Tier 1 — contracts unchanged\n * across Sprints 4–6, independently tested, no repository coupling, and CLOSED\n * under type references: no public type may name a non-public one).\n *\n * The full `@internal` surface stays on the `universal-physics-tensor/atlas`\n * subpath. Every symbol below is tagged `@public` where it is declared;\n * `tests/api/namespace-facade-invariant.test.ts` fails otherwise.\n *\n * @module atlas/public\n */\n\nexport type {\n  ApproximationBound,\n  AtlasRejection,\n  Counterexample,\n  EvidenceTag,\n  LimitCharacter,\n  Regime,\n  RegimeInequality,\n  RelationType,\n  Witness,\n} from './types.js';\n/** Thrown by a bound whose `deltaAt`, `horizonHolds` or Lipschitz constant is missing. */\nexport { MissingDeltaAtError, MissingHorizonError, MissingLipschitzError } from './types.js';\nexport type { AtlasModel } from './model.js';\nexport { regimeHolds } from './regime.js';\nexport type { RegimeCheck } from './regime.js';\nexport { composeBoundPath, composeBounds, IDENTITY_BOUND } from './error-algebra.js';\nexport type { BoundPair, ComposedPath } from './error-algebra.js';\nexport { composeRelation, COMPOSITION_TABLE, NO_COMPOSITE_CLAIM } from './composition-table.js';\nexport type { CompositionResult, NoCompositeClaim } from './composition-table.js';\n"]}