universal-physics-tensor 9.0.0 → 11.0.0

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

@@ -1 +1 @@
-{"version":3,"file":"bridges-closure.js","sourceRoot":"","sources":["../../../src/atlas/waves/bridges-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAE9E,MAAM,IAAI,GAAG,6BAA6B,CAAC;AAE3C,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,CAAC;AAE/B,6EAA6E;AAC7E,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC;AAEnC,MAAM,MAAM,GAAG,CACb,UAAuD,EACvD,YAAmD,EAC5B,EAAE,CAAC,CAAC;IAC3B,MAAM,EAAE,iBAAiB;IACzB,YAAY;IACZ,gBAAgB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,UAAU,EAAE,EAAE,CAAC;CACxE,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAgB;IAChD,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,wBAAwB;IACpC,cAAc,EACZ,wGAAwG;IAC1G,SAAS,EAAE,CAAC,yCAAyC,EAAE,WAAW,CAAC;IACnE,eAAe,EAAE;QACf,oCAAoC;QACpC,+BAA+B;QAC/B,kCAAkC;KACnC;IACD,cAAc,EAAE,CAAC,yCAAyC,EAAE,qDAAqD,CAAC;IAClH,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,KAAK,EAAE,sBAAsB,CAAC,WAAW,CAAC;QAC1C,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;YACb,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC,GAAG,CAAC;YAClF,OAAO,sBAAsB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;QAClD,CAAC;QACD,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,8FAA8F;QACpG,MAAM,EAAE,iBAAiB;QACzB,OAAO,EACL,oFAAoF;QACtF,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7E,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;YAC3B,MAAM,KAAK,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC7B,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,cAAc,EAAE,iBAAiB;QACjC,cAAc,EAAE,SAAS;QACzB,gEAAgE;QAChE,UAAU,EAAE,CAAC,oDAAoD,CAAC;KACnE,CAAC;IACF,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;QAClC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;QAC9B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;KACzB,EACD,CAAC,EAAE,KAAK,EAAE,mBAAmB,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CACrF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,wFAAwF;gBACxF,2FAA2F;gBAC3F,4BAA4B;YAC9B,OAAO,EAAE,MAAM;SAChB;KACF;IACD,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,4EAA4E;SACxF;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,2EAA2E;SACvF;KACF;IACD,SAAS,EAAE;QACT,2HAA2H;KAC5H;IACD,YAAY,EAAE,UAAU;IACxB,SAAS,EAAE,eAAe,CAAC,mBAAmB,CAAC;CAChD,CAAC;AAEF,yFAAyF;AACzF,MAAM,CAAC,MAAM,oBAAoB,GAAgB;IAC/C,EAAE,EAAE,kBAAkB;IACtB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,cAAc;IAC1B,cAAc,EAAE,iDAAiD;IACjE,SAAS,EAAE,CAAC,wBAAwB,EAAE,kBAAkB,CAAC;IACzD,eAAe,EAAE,CAAC,uBAAuB,EAAE,mBAAmB,CAAC;IAC/D,cAAc,EAAE,CAAC,gCAAgC,EAAE,mDAAmD,CAAC;IACvG,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;QAClC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;KACpC,EACD,EAAE,CACH;IACD,eAAe,EAAE,EAAE;IACnB,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,8FAA8F;SAC1G;KACF;IACD,SAAS,EAAE;QACT,6FAA6F;KAC9F;IACD,YAAY,EAAE,UAAU;IACxB,SAAS,EAAE,eAAe,CAAC,kBAAkB,CAAC;CAC/C,CAAC;AAEF,kFAAkF;AAClF,MAAM,CAAC,MAAM,mBAAmB,GAAgB;IAC9C,EAAE,EAAE,iBAAiB;IACrB,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,cAAc;IAC1B,cAAc,EAAE,mDAAmD;IACnE,SAAS,EAAE,CAAC,4CAA4C,EAAE,2BAA2B,CAAC;IACtF,eAAe,EAAE,CAAC,0DAA0D,EAAE,sCAAsC,CAAC;IACrH,cAAc,EAAE,CAAC,mBAAmB,EAAE,0DAA0D,CAAC;IACjG,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,KAAK,EAAE,qBAAqB,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CACb,qBAAqB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC;QAC1F,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,+FAA+F;QACrG,MAAM,EAAE,mBAAmB;QAC3B,OAAO,EACL,iFAAiF;QACnF,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7F,MAAM,KAAK,GAAG,qBAAqB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YAC9C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC7B,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,cAAc,EAAE,mBAAmB;QACnC,cAAc,EAAE,SAAS;QACzB,qEAAqE;QACrE,UAAU,EAAE,CAAC,2DAA2D,CAAC;KAC1E,CAAC;IACF,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;QACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;QACnC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACtC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;KAC/B;IACD,sEAAsE;IACtE,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,cAAc,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC,CACjG;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,wFAAwF;gBACxF,uFAAuF;YACzF,OAAO,EAAE,MAAM;SAChB;KACF;IACD,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,yFAAyF;SACrG;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,sCAAsC;SAClD;KACF;IACD,SAAS,EAAE;QACT,oGAAoG;KACrG;IACD,YAAY,EAAE,UAAU;IACxB,SAAS,EAAE,eAAe,CAAC,iBAAiB,CAAC;CAC9C,CAAC;AAEF,iDAAiD;AACjD,MAAM,CAAC,MAAM,oBAAoB,GAA2B;IAC1D,qBAAqB;IACrB,oBAAoB;IACpB,mBAAmB;CACpB,CAAC"}
+{"version":3,"file":"bridges-closure.js","sourceRoot":"","sources":["../../../src/atlas/waves/bridges-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAE9E,MAAM,IAAI,GAAG,6BAA6B,CAAC;AAE3C,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,CAAC;AAE/B,6EAA6E;AAC7E,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC;AAEnC,MAAM,MAAM,GAAG,CACb,UAAuD,EACvD,YAAmD,EAC5B,EAAE,CAAC,UAAU,CAAC,iBAAiB,EAAE,UAAU,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;AAExF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAgB;IAChD,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,wBAAwB;IACpC,cAAc,EACZ,wGAAwG;IAC1G,SAAS,EAAE,CAAC,yCAAyC,EAAE,WAAW,CAAC;IACnE,eAAe,EAAE;QACf,oCAAoC;QACpC,+BAA+B;QAC/B,kCAAkC;KACnC;IACD,cAAc,EAAE,CAAC,yCAAyC,EAAE,qDAAqD,CAAC;IAClH,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,KAAK,EAAE,sBAAsB,CAAC,WAAW,CAAC;QAC1C,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;YACb,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC,GAAG,CAAC;YAClF,OAAO,sBAAsB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;QAClD,CAAC;QACD,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,8FAA8F;QACpG,MAAM,EAAE,iBAAiB;QACzB,OAAO,EACL,oFAAoF;QACtF,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7E,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;YAC3B,MAAM,KAAK,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC7B,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,cAAc,EAAE,iBAAiB;QACjC,cAAc,EAAE,SAAS;QACzB,gEAAgE;QAChE,UAAU,EAAE,CAAC,oDAAoD,CAAC;KACnE,CAAC;IACF,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;QAClC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;QAC9B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;KACzB,EACD,CAAC,EAAE,KAAK,EAAE,mBAAmB,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CACrF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,wFAAwF;gBACxF,2FAA2F;gBAC3F,4BAA4B;YAC9B,OAAO,EAAE,MAAM;SAChB;KACF;IACD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,4EAA4E;SACxF;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,2EAA2E;SACvF;KACF;IACD,SAAS,EAAE;QACT,2HAA2H;KAC5H;IACD,YAAY,EAAE,UAAU;IACxB,SAAS,EAAE,eAAe,CAAC,mBAAmB,CAAC;CAChD,CAAC;AAEF,yFAAyF;AACzF,MAAM,CAAC,MAAM,oBAAoB,GAAgB;IAC/C,EAAE,EAAE,kBAAkB;IACtB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,cAAc;IAC1B,cAAc,EAAE,iDAAiD;IACjE,SAAS,EAAE,CAAC,wBAAwB,EAAE,kBAAkB,CAAC;IACzD,eAAe,EAAE,CAAC,uBAAuB,EAAE,mBAAmB,CAAC;IAC/D,cAAc,EAAE,CAAC,gCAAgC,EAAE,mDAAmD,CAAC;IACvG,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;QAClC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;KACpC,EACD,EAAE,CACH;IACD,eAAe,EAAE,EAAE;IACnB,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,8FAA8F;SAC1G;KACF;IACD,SAAS,EAAE;QACT,6FAA6F;KAC9F;IACD,YAAY,EAAE,UAAU;IACxB,SAAS,EAAE,eAAe,CAAC,kBAAkB,CAAC;CAC/C,CAAC;AAEF,kFAAkF;AAClF,MAAM,CAAC,MAAM,mBAAmB,GAAgB;IAC9C,EAAE,EAAE,iBAAiB;IACrB,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,cAAc;IAC1B,cAAc,EAAE,mDAAmD;IACnE,SAAS,EAAE,CAAC,4CAA4C,EAAE,2BAA2B,CAAC;IACtF,eAAe,EAAE,CAAC,0DAA0D,EAAE,sCAAsC,CAAC;IACrH,cAAc,EAAE,CAAC,mBAAmB,EAAE,0DAA0D,CAAC;IACjG,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,KAAK,EAAE,qBAAqB,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CACb,qBAAqB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC;QAC1F,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,+FAA+F;QACrG,MAAM,EAAE,mBAAmB;QAC3B,OAAO,EACL,iFAAiF;QACnF,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7F,MAAM,KAAK,GAAG,qBAAqB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YAC9C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC7B,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,cAAc,EAAE,mBAAmB;QACnC,cAAc,EAAE,SAAS;QACzB,qEAAqE;QACrE,UAAU,EAAE,CAAC,2DAA2D,CAAC;KAC1E,CAAC;IACF,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;QACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;QACnC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACtC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;KAC/B;IACD,sEAAsE;IACtE,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,cAAc,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC,CACjG;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,wFAAwF;gBACxF,uFAAuF;YACzF,OAAO,EAAE,MAAM;SAChB;KACF;IACD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,yFAAyF;SACrG;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,sCAAsC;SAClD;KACF;IACD,SAAS,EAAE;QACT,oGAAoG;KACrG;IACD,YAAY,EAAE,UAAU;IACxB,SAAS,EAAE,eAAe,CAAC,iBAAiB,CAAC;CAC9C,CAAC;AAEF,iDAAiD;AACjD,MAAM,CAAC,MAAM,oBAAoB,GAA2B;IAC1D,qBAAqB;IACrB,oBAAoB;IACpB,mBAAmB;CACpB,CAAC","sourcesContent":["/**\n * Atlas Phase 4 — the three wave-family bridges added to close Sprint 4's\n * \"≥ 20 bridges\" exit criterion.\n *\n * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4 (Sprint 4 closure).\n *\n * | Bridge | Relation | Witnesses |\n * |---|---|---|\n * | Klein–Gordon → free Schrödinger | `approximation` (ck/ω₀ → 0) | WS5 (convergence), WS5b |\n * | Klein–Gordon → spring | `restriction` (uniform mode) | WS6 (convergence) |\n * | stiff string → string | `approximation` (EIk²/F → 0) | WS7 (convergence), WS7b |\n *\n * Two of these END in other families (`model-schrodinger-free` in diffusion,\n * `model-spring` in oscillators): the atlas is one graph, and\n * `tests/atlas/families.test.ts` resolves endpoints across all of it.\n *\n * @module atlas/waves/bridges-closure\n */\n\nimport type { Dimension } from '../../dimensional/types.js';\nimport { ACTION, FORCE, FREQUENCY, MASS, VELOCITY } from '../../dimensional/types.js';\nimport { makeApproximation } from '../oscillators/bridges-limits.js';\nimport { SPRING_CONSTANT } from '../oscillators/dimensions.js';\nimport { makeRegime } from '../regime.js';\nimport { physjsFormalRef } from '../physjs-ref.js';\nimport type { AtlasBridge } from '../types.js';\nimport { FLEXURAL_RIGIDITY, LINEAR_DENSITY, WAVENUMBER, WAVES_FAMILY_NAME } from './models.js';\nimport { kgNonrelativisticError, stiffStringPhaseError } from './numerics.js';\n\nconst TEST = 'tests/atlas/closure.test.ts';\n\n/** Domain edge of the non-relativistic limit: ck/ω₀ ≤ 0.1. @internal */\nexport const KG_NR_MAX_X = 0.1;\n\n/** Domain edge of the flexible-string limit: β = EIk²/F ≤ 0.01. @internal */\nexport const STIFF_MAX_BETA = 0.01;\n\nconst regime = (\n  parameters: readonly { name: string; dim: Dimension }[],\n  inequalities: AtlasBridge['regime']['inequalities'],\n): AtlasBridge['regime'] => makeRegime(WAVES_FAMILY_NAME, parameters, [], inequalities);\n\n/**\n * Bridge: Klein–Gordon → free Schrödinger, the non-relativistic limit.\n *\n * Factor out the rest-frequency phase e^{−iω₀t}; the remaining envelope obeys\n * the free Schrödinger equation with ħ/m ↦ c²/ω₀ (that is, mc² = ħω₀).\n *\n * @internal\n */\nexport const BRIDGE_KG_SCHRODINGER: AtlasBridge = {\n  id: 'ab-kg-schrodinger',\n  relation: 'approximation',\n  premises: ['model-klein-gordon'],\n  conclusion: 'model-schrodinger-free',\n  transformation:\n    'u = Re(ψ e^{−iω₀t}) with ψ slowly varying; ħ/m ↦ c²/ω₀: ω − ω₀ = ω₀(√(1 + x²) − 1) → ω₀x²/2, x = ck/ω₀',\n  preserves: ['the kinetic frequency ħk²/(2m) to O(x²)', 'linearity'],\n  doesNotPreserve: [\n    'the rest-frequency phase e^{−iω₀t}',\n    'the negative-frequency branch',\n    'relativistic dispersion at x ≳ 1',\n  ],\n  sideConditions: ['non-relativistic modes: x = ck/ω₀ ≤ 0.1', 'the bound is a FREQUENCY error, not uniform in time'],\n  bound: makeApproximation({\n    K: 1,\n    delta: kgNonrelativisticError(KG_NR_MAX_X),\n    deltaAt: (p) => {\n      const { c, k, omega0 } = p;\n      if (c === undefined || k === undefined || omega0 === undefined) return Number.NaN;\n      return kgNonrelativisticError((c * k) / omega0);\n    },\n    deltaAtBasis: 'closed-form',\n    norm: 'relative error of the kinetic frequency ω − ω₀, normalized by the value of the reduced model',\n    domain: 'x = ck/ω₀ ≤ 0.1',\n    horizon:\n      't ≪ π/(δ ω₀ x²): the kinetic-phase drift reaches π/2; machine form t < π/(δ ω₀ x²)',\n    horizonHolds: (t, p) => {\n      const { c, k, omega0 } = p;\n      if (c === undefined || k === undefined || omega0 === undefined) return false;\n      const x = (c * k) / omega0;\n      const delta = kgNonrelativisticError(x);\n      if (!Number.isFinite(delta)) return false;\n      if (delta === 0) return true;\n      return t < Math.PI / (delta * omega0 * x * x);\n    },\n    parameterRange: 'x = ck/ω₀ ≤ 0.1',\n    limitCharacter: 'regular',\n    // A frequency error. The record says it is not uniform in time.\n    uniformity: ['kinetic frequency of one mode, for x = ck/ω₀ ≤ 0.1'],\n  }),\n  regime: regime(\n    [\n      { name: 'c', dim: VELOCITY },\n      { name: 'omega0', dim: FREQUENCY },\n      { name: 'k', dim: WAVENUMBER },\n      { name: 'hbar', dim: ACTION },\n      { name: 'm', dim: MASS },\n    ],\n    [{ group: 'c · omega0^-1 · k', op: '<=', bound: KG_NR_MAX_X, alias: 'ck/ω₀ ≤ 0.1' }],\n  ),\n  counterexamples: [\n    {\n      description:\n        'At x = ck/ω₀ = 1 the non-relativistic kinetic frequency ω₀/2 is 20.7% above the exact ' +\n        'ω₀(√2 − 1), which is 17.2% of its own value (the normalization of delta): the limit is a ' +\n        'long-wavelength statement.',\n      witness: 'WS5b',\n    },\n  ],\n  witnesses: [\n    {\n      id: 'WS5',\n      kind: 'numeric',\n      test: TEST,\n      tolerance: 'kinetic-frequency error below 1e-3 at x = 0.05; falls ≈4× per halving of x',\n    },\n    {\n      id: 'WS5b',\n      kind: 'numeric',\n      test: TEST,\n      tolerance: 'relative error 3 − 2√2 = 0.1716 at x = 1, normalized by the reduced value',\n    },\n  ],\n  citations: [\n    'Greiner, Relativistic Quantum Mechanics: Wave Equations - Ch. 1, the Klein-Gordon equation and its non-relativistic limit',\n  ],\n  reviewStatus: 'proposed',\n  formalRef: physjsFormalRef('ab-kg-schrodinger'),\n};\n\n/** Bridge: Klein–Gordon → spring, restricted to the spatially uniform mode. @internal */\nexport const BRIDGE_KG_OSCILLATOR: AtlasBridge = {\n  id: 'ab-kg-oscillator',\n  relation: 'restriction',\n  premises: ['model-klein-gordon'],\n  conclusion: 'model-spring',\n  transformation: 'u(x, t) = u(t): u_tt = −ω₀² u; u ↦ x, ω₀² ↦ k/m',\n  preserves: ['the k = 0 mode exactly', 'the frequency ω₀'],\n  doesNotPreserve: ['every mode with k ≠ 0', 'spatial structure'],\n  sideConditions: ['spatially uniform initial data', 'periodic or infinite domain (no boundary forcing)'],\n  regime: regime(\n    [\n      { name: 'omega0', dim: FREQUENCY },\n      { name: 'm', dim: MASS },\n      { name: 'k', dim: SPRING_CONSTANT },\n    ],\n    [],\n  ),\n  counterexamples: [],\n  witnesses: [\n    {\n      id: 'WS6',\n      kind: 'numeric',\n      test: TEST,\n      tolerance: 'uniform leapfrog field within 3e-4 of cos(ω₀t) at 100 steps (ω₀ = 2, t = 3); ≈4× per halving',\n    },\n  ],\n  citations: [\n    'Whitham, Linear and Nonlinear Waves - §11.1, dispersive waves and the Klein-Gordon equation',\n  ],\n  reviewStatus: 'proposed',\n  formalRef: physjsFormalRef('ab-kg-oscillator'),\n};\n\n/** Bridge: stiff string → flexible string, as bending stiffness → 0. @internal */\nexport const BRIDGE_STIFF_STRING: AtlasBridge = {\n  id: 'ab-stiff-string',\n  relation: 'approximation',\n  premises: ['model-stiff-string'],\n  conclusion: 'model-string',\n  transformation: 'drop EI y_xxxx: ω² = (F/μ)k² + (EI/μ)k⁴ → (F/μ)k²',\n  preserves: ['the wave speed √(F/μ) for long wavelengths', 'harmonic partials to O(β)'],\n  doesNotPreserve: ['inharmonicity: high partials of a stiff string are sharp', 'the fourth-order boundary conditions'],\n  sideConditions: ['β = EIk²/F ≤ 0.01', 'the bound is a PHASE-VELOCITY error, not uniform in time'],\n  bound: makeApproximation({\n    K: 1,\n    delta: stiffStringPhaseError(1, STIFF_MAX_BETA, 1),\n    deltaAt: (p) =>\n      stiffStringPhaseError(p['F'] ?? Number.NaN, p['EI'] ?? Number.NaN, p['k'] ?? Number.NaN),\n    deltaAtBasis: 'closed-form',\n    norm: 'relative phase-velocity error of a Fourier mode, normalized by the value of the reduced model',\n    domain: 'β = EIk²/F ≤ 0.01',\n    horizon:\n      't ≪ π/(2 c k δ): the phase drift reaches π/2; machine form t < π/(2 √(F/μ) k δ)',\n    horizonHolds: (t, p) => {\n      const { F, EI, k, mu } = p;\n      if (F === undefined || EI === undefined || k === undefined || mu === undefined) return false;\n      const delta = stiffStringPhaseError(F, EI, k);\n      if (!Number.isFinite(delta)) return false;\n      if (delta === 0) return true;\n      return t < Math.PI / (2 * Math.sqrt(F / mu) * k * delta);\n    },\n    parameterRange: 'β = EIk²/F ≤ 0.01',\n    limitCharacter: 'regular',\n    // A phase-velocity error. The record says it is not uniform in time.\n    uniformity: ['phase velocity of one Fourier mode, for β = EIk²/F ≤ 0.01'],\n  }),\n  regime: regime(\n    [\n      { name: 'F', dim: FORCE },\n      { name: 'mu', dim: LINEAR_DENSITY },\n      { name: 'EI', dim: FLEXURAL_RIGIDITY },\n      { name: 'k', dim: WAVENUMBER },\n    ],\n    // The derived group is F/(EIk²) = 1/β, so β ≤ 0.01 is F/(EIk²) ≥ 100.\n    [{ group: 'F · EI^-1 · k^-2', op: '>=', bound: 1 / STIFF_MAX_BETA, alias: 'β = EIk²/F ≤ 0.01' }],\n  ),\n  counterexamples: [\n    {\n      description:\n        'The partials of a stiff string are sharp: at β = 1 the phase velocity is √2 times the ' +\n        'flexible-string value, the inharmonicity piano tuners stretch octaves to accommodate.',\n      witness: 'WS7b',\n    },\n  ],\n  witnesses: [\n    {\n      id: 'WS7',\n      kind: 'numeric',\n      test: TEST,\n      tolerance: 'phase velocity within 0.15 of √(F/μ) = 100 at k = 5 (EI/F = 1e-4); ≈4× per halving of k',\n    },\n    {\n      id: 'WS7b',\n      kind: 'numeric',\n      test: TEST,\n      tolerance: 'relative phase error √2 − 1 at β = 1',\n    },\n  ],\n  citations: [\n    'Fletcher, J. Acoust. Soc. Am. 36 (1964) 203 - Normal vibration frequencies of a stiff piano string',\n  ],\n  reviewStatus: 'proposed',\n  formalRef: physjsFormalRef('ab-stiff-string'),\n};\n\n/** The wave-family closure bridges. @internal */\nexport const WAVE_CLOSURE_BRIDGES: readonly AtlasBridge[] = [\n  BRIDGE_KG_SCHRODINGER,\n  BRIDGE_KG_OSCILLATOR,\n  BRIDGE_STIFF_STRING,\n];\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"bridges.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/bridges.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAOH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAM/C,mFAAmF;AACnF,eAAO,MAAM,sBAAsB,OAAO,CAAC;AAE3C,mEAAmE;AACnE,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAE3C,iFAAiF;AACjF,eAAO,MAAM,kBAAkB,EAAE,WAwChC,CAAC;AAEF,2EAA2E;AAC3E,eAAO,MAAM,qBAAqB,EAAE,WAgCnC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,WAoEhC,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,EAAE,WAoFtC,CAAC;AAEF,iEAAiE;AACjE,eAAO,MAAM,YAAY,EAAE,SAAS,WAAW,EAK9C,CAAC"}
+{"version":3,"file":"bridges.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/bridges.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAOH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAM/C,mFAAmF;AACnF,eAAO,MAAM,sBAAsB,OAAO,CAAC;AAE3C,mEAAmE;AACnE,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAE3C,iFAAiF;AACjF,eAAO,MAAM,kBAAkB,EAAE,WAoChC,CAAC;AAEF,2EAA2E;AAC3E,eAAO,MAAM,qBAAqB,EAAE,WA2BnC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,WAgEhC,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,EAAE,WAgFtC,CAAC;AAEF,iEAAiE;AACjE,eAAO,MAAM,YAAY,EAAE,SAAS,WAAW,EAK9C,CAAC"}

package/dist/atlas/waves/bridges.js

@@ -18,7 +18,7 @@
 import { FORCE, FREQUENCY, VELOCITY } from '../../dimensional/types.js';
 import { DENSITY } from '../diffusion/dimensions.js';
 import { makeApproximation } from '../oscillators/bridges-limits.js';
-import { deriveRegimeGroups } from '../regime.js';
+import { makeRegime } from '../regime.js';
 import { physjsFormalRef } from '../physjs-ref.js';
 import { LINEAR_DENSITY, PRESSURE, WAVENUMBER, WAVES_FAMILY_NAME } from './models.js';
 import { kleinGordonPhaseError } from './numerics.js';
@@ -40,17 +40,12 @@ export const BRIDGE_STRING_WAVE = {
         'the transverse geometry: the wave equation does not know u is a displacement',
     ],
     sideConditions: ['small slopes |y_x| ≪ 1', 'uniform tension and density', 'perfectly flexible'],
-    regime: {
-        family: WAVES_FAMILY_NAME,
-        inequalities: [],
-        groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, [
-            { name: 'F', dim: FORCE },
-            { name: 'mu', dim: LINEAR_DENSITY },
-            { name: 'c', dim: VELOCITY },
-        ], []),
-    },
+    regime: makeRegime(WAVES_FAMILY_NAME, [
+        { name: 'F', dim: FORCE },
+        { name: 'mu', dim: LINEAR_DENSITY },
+        { name: 'c', dim: VELOCITY },
+    ], [], []),
     counterexamples: [],
-    evidence: new Set(['proposed', 'numerically-supported']),
     witnesses: [
         {
             id: 'WS1',
@@ -76,13 +71,8 @@ export const BRIDGE_WAVE_DALEMBERT = {
         'boundary conditions: on a bounded domain f and g are fixed only up to reflections',
     ],
     sideConditions: ['infinite line, or boundaries handled by the method of images', 'u ∈ C²'],
-    regime: {
-        family: WAVES_FAMILY_NAME,
-        inequalities: [],
-        groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, [{ name: 'c', dim: VELOCITY }], []),
-    },
+    regime: makeRegime(WAVES_FAMILY_NAME, [{ name: 'c', dim: VELOCITY }], [], []),
     counterexamples: [],
-    evidence: new Set(['proposed', 'numerically-supported']),
     witnesses: [
         {
             id: 'WS2',
@@ -122,23 +112,19 @@ export const BRIDGE_SOUND_SPEED = {
         'adiabatic compression (no heat exchange within a wavelength)',
         'fluid at rest, no ambient flow',
     ],
-    regime: {
-        family: WAVES_FAMILY_NAME,
-        inequalities: [
-            {
-                group: 'p0 · p1^-1',
-                op: '>=',
-                bound: 1 / SOUND_MAX_PERTURBATION,
-                alias: '|p′| ≪ p₀ (machine form p₀/p₁ ≥ 100)',
-            },
-        ],
-        groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, [
-            { name: 'rho0', dim: DENSITY },
-            { name: 'p0', dim: PRESSURE },
-            { name: 'p1', dim: PRESSURE },
-            { name: 'c', dim: VELOCITY },
-        ], ['gamma']),
-    },
+    regime: makeRegime(WAVES_FAMILY_NAME, [
+        { name: 'rho0', dim: DENSITY },
+        { name: 'p0', dim: PRESSURE },
+        { name: 'p1', dim: PRESSURE },
+        { name: 'c', dim: VELOCITY },
+    ], ['gamma'], [
+        {
+            group: 'p0 · p1^-1',
+            op: '>=',
+            bound: 1 / SOUND_MAX_PERTURBATION,
+            alias: '|p′| ≪ p₀ (machine form p₀/p₁ ≥ 100)',
+        },
+    ]),
     counterexamples: [
         {
             description: 'The adiabatic premise is necessary. Closing the same Euler pair ISOTHERMALLY (Newton) ' +
@@ -147,7 +133,6 @@ export const BRIDGE_SOUND_SPEED = {
             witness: 'WS3b',
         },
     ],
-    evidence: new Set(['proposed', 'numerically-supported']),
     witnesses: [
         {
             id: 'WS3',
@@ -215,22 +200,18 @@ export const BRIDGE_KLEIN_GORDON_WAVE = {
         // A phase-velocity error. The record says it is not uniform in time.
         uniformity: ['phase velocity of one Fourier mode, for ω₀/(ck) ≤ 0.1'],
     }),
-    regime: {
-        family: WAVES_FAMILY_NAME,
-        inequalities: [
-            {
-                group: 'c · omega0^-1 · k',
-                op: '>=',
-                bound: 1 / KG_MAX_DISPERSION_RATIO,
-                alias: 'ω₀/(c k) ≤ 0.1',
-            },
-        ],
-        groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, [
-            { name: 'c', dim: VELOCITY },
-            { name: 'omega0', dim: FREQUENCY },
-            { name: 'k', dim: WAVENUMBER },
-        ], []),
-    },
+    regime: makeRegime(WAVES_FAMILY_NAME, [
+        { name: 'c', dim: VELOCITY },
+        { name: 'omega0', dim: FREQUENCY },
+        { name: 'k', dim: WAVENUMBER },
+    ], [], [
+        {
+            group: 'c · omega0^-1 · k',
+            op: '>=',
+            bound: 1 / KG_MAX_DISPERSION_RATIO,
+            alias: 'ω₀/(c k) ≤ 0.1',
+        },
+    ]),
     counterexamples: [
         {
             description: 'At ω₀/(c k) = 1 the phase velocity is √2 c: a 41% error. The dispersion-free limit is a ' +
@@ -238,7 +219,6 @@ export const BRIDGE_KLEIN_GORDON_WAVE = {
             witness: 'WS4b',
         },
     ],
-    evidence: new Set(['proposed', 'numerically-supported']),
     witnesses: [
         {
             id: 'WS4',

package/dist/atlas/waves/bridges.js.map

@@ -1 +1 @@
-{"version":3,"file":"bridges.js","sourceRoot":"","sources":["../../../src/atlas/waves/bridges.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAEtD,MAAM,IAAI,GAAG,2BAA2B,CAAC;AAEzC,mFAAmF;AACnF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC;AAE3C,mEAAmE;AACnE,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAE3C,iFAAiF;AACjF,MAAM,CAAC,MAAM,kBAAkB,GAAgB;IAC7C,EAAE,EAAE,gBAAgB;IACpB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,CAAC,cAAc,CAAC;IAC1B,UAAU,EAAE,eAAe;IAC3B,cAAc,EAAE,sBAAsB;IACtC,SAAS,EAAE,CAAC,wCAAwC,EAAE,+BAA+B,CAAC;IACtF,eAAe,EAAE;QACf,oDAAoD;QACpD,8EAA8E;KAC/E;IACD,cAAc,EAAE,CAAC,wBAAwB,EAAE,6BAA6B,EAAE,oBAAoB,CAAC;IAC/F,MAAM,EAAE;QACN,MAAM,EAAE,iBAAiB;QACzB,YAAY,EAAE,EAAE;QAChB,gBAAgB,EAAE,kBAAkB,CAClC,iBAAiB,EACjB;YACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;YACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;YACnC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC7B,EACD,EAAE,CACH;KACF;IACD,eAAe,EAAE,EAAE;IACnB,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EACP,kGAAkG;SACrG;KACF;IACD,SAAS,EAAE;QACT,iGAAiG;KAClG;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAgB;IAChD,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,CAAC,eAAe,CAAC;IAC3B,UAAU,EAAE,iBAAiB;IAC7B,cAAc,EAAE,yEAAyE;IACzF,SAAS,EAAE,CAAC,qCAAqC,EAAE,aAAa,CAAC;IACjE,eAAe,EAAE;QACf,mFAAmF;KACpF;IACD,cAAc,EAAE,CAAC,8DAA8D,EAAE,QAAQ,CAAC;IAC1F,MAAM,EAAE;QACN,MAAM,EAAE,iBAAiB;QACzB,YAAY,EAAE,EAAE;QAChB,gBAAgB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;KAC5F;IACD,eAAe,EAAE,EAAE;IACnB,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,qEAAqE;SACjF;KACF;IACD,SAAS,EAAE;QACT,0FAA0F;QAC1F,gGAAgG;KACjG;IACD,YAAY,EAAE,UAAU;IACxB,SAAS,EAAE,eAAe,CAAC,mBAAmB,CAAC;CAChD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgB;IAC7C,EAAE,EAAE,gBAAgB;IACpB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;IACvD,UAAU,EAAE,aAAa;IACzB,cAAc,EACZ,sGAAsG;IACxG,SAAS,EAAE,CAAC,WAAW,EAAE,+BAA+B,CAAC;IACzD,eAAe,EAAE;QACf,qDAAqD;QACrD,iCAAiC;KAClC;IACD,cAAc,EAAE;QACd,gCAAgC;QAChC,8DAA8D;QAC9D,gCAAgC;KACjC;IACD,MAAM,EAAE;QACN,MAAM,EAAE,iBAAiB;QACzB,YAAY,EAAE;YACZ;gBACE,KAAK,EAAE,YAAY;gBACnB,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,CAAC,GAAG,sBAAsB;gBACjC,KAAK,EAAE,sCAAsC;aAC9C;SACF;QACD,gBAAgB,EAAE,kBAAkB,CAClC,iBAAiB,EACjB;YACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;YAC7B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;YAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC7B,EACD,CAAC,OAAO,CAAC,CACV;KACF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,wFAAwF;gBACxF,oFAAoF;gBACpF,oCAAoC;YACtC,OAAO,EAAE,MAAM;SAChB;KACF;IACD,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EACP,iHAAiH;SACpH;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,mFAAmF;SAC/F;KACF;IACD,SAAS,EAAE;QACT,8FAA8F;QAC9F,8FAA8F;KAC/F;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAgB;IACnD,EAAE,EAAE,sBAAsB;IAC1B,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,eAAe;IAC3B,cAAc,EAAE,oDAAoD;IACpE,SAAS,EAAE,CAAC,wCAAwC,EAAE,WAAW,CAAC;IAClE,eAAe,EAAE;QACf,oFAAoF;QACpF,4CAA4C;KAC7C;IACD,cAAc,EAAE,CAAC,kCAAkC,EAAE,0DAA0D,CAAC;IAChH,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,KAAK,EAAE,qBAAqB,CAAC,uBAAuB,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE;YAClB,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC;YAChC,OAAO,qBAAqB,CAAC,MAAM,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,+FAA+F;QACrG,MAAM,EAAE,gBAAgB;QACxB,OAAO,EACL,sFAAsF;QACxF,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE;YAC1B,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC;YAChC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7E,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;gBAAE,OAAO,KAAK,KAAK,CAAC,CAAC;YAC9D,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3C,CAAC;QACD,cAAc,EAAE,gBAAgB;QAChC,cAAc,EAAE,SAAS;QACzB,qEAAqE;QACrE,UAAU,EAAE,CAAC,uDAAuD,CAAC;KACtE,CAAC;IACF,MAAM,EAAE;QACN,MAAM,EAAE,iBAAiB;QACzB,YAAY,EAAE;YACZ;gBACE,KAAK,EAAE,mBAAmB;gBAC1B,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,CAAC,GAAG,uBAAuB;gBAClC,KAAK,EAAE,gBAAgB;aACxB;SACF;QACD,gBAAgB,EAAE,kBAAkB,CAClC,iBAAiB,EACjB;YACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;YAC5B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;YAClC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;SAC/B,EACD,EAAE,CACH;KACF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,0FAA0F;gBAC1F,8EAA8E;YAChF,OAAO,EAAE,MAAM;SAChB;KACF;IACD,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,2FAA2F;SACvG;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,4CAA4C;SACxD;KACF;IACD,SAAS,EAAE;QACT,6FAA6F;KAC9F;IACD,YAAY,EAAE,UAAU;IACxB,SAAS,EAAE,eAAe,CAAC,sBAAsB,CAAC;CACnD,CAAC;AAEF,iEAAiE;AACjE,MAAM,CAAC,MAAM,YAAY,GAA2B;IAClD,kBAAkB;IAClB,qBAAqB;IACrB,kBAAkB;IAClB,wBAAwB;CACzB,CAAC"}
+{"version":3,"file":"bridges.js","sourceRoot":"","sources":["../../../src/atlas/waves/bridges.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAEtD,MAAM,IAAI,GAAG,2BAA2B,CAAC;AAEzC,mFAAmF;AACnF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC;AAE3C,mEAAmE;AACnE,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAE3C,iFAAiF;AACjF,MAAM,CAAC,MAAM,kBAAkB,GAAgB;IAC7C,EAAE,EAAE,gBAAgB;IACpB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,CAAC,cAAc,CAAC;IAC1B,UAAU,EAAE,eAAe;IAC3B,cAAc,EAAE,sBAAsB;IACtC,SAAS,EAAE,CAAC,wCAAwC,EAAE,+BAA+B,CAAC;IACtF,eAAe,EAAE;QACf,oDAAoD;QACpD,8EAA8E;KAC/E;IACD,cAAc,EAAE,CAAC,wBAAwB,EAAE,6BAA6B,EAAE,oBAAoB,CAAC;IAC/F,MAAM,EAAE,UAAU,CAChB,iBAAiB,EACjB;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;QACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;QACnC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EACD,EAAE,EACF,EAAE,CACH;IACD,eAAe,EAAE,EAAE;IACnB,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EACP,kGAAkG;SACrG;KACF;IACD,SAAS,EAAE;QACT,iGAAiG;KAClG;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAgB;IAChD,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,CAAC,eAAe,CAAC;IAC3B,UAAU,EAAE,iBAAiB;IAC7B,cAAc,EAAE,yEAAyE;IACzF,SAAS,EAAE,CAAC,qCAAqC,EAAE,aAAa,CAAC;IACjE,eAAe,EAAE;QACf,mFAAmF;KACpF;IACD,cAAc,EAAE,CAAC,8DAA8D,EAAE,QAAQ,CAAC;IAC1F,MAAM,EAAE,UAAU,CAAC,iBAAiB,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;IAC7E,eAAe,EAAE,EAAE;IACnB,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,qEAAqE;SACjF;KACF;IACD,SAAS,EAAE;QACT,0FAA0F;QAC1F,gGAAgG;KACjG;IACD,YAAY,EAAE,UAAU;IACxB,SAAS,EAAE,eAAe,CAAC,mBAAmB,CAAC;CAChD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgB;IAC7C,EAAE,EAAE,gBAAgB;IACpB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;IACvD,UAAU,EAAE,aAAa;IACzB,cAAc,EACZ,sGAAsG;IACxG,SAAS,EAAE,CAAC,WAAW,EAAE,+BAA+B,CAAC;IACzD,eAAe,EAAE;QACf,qDAAqD;QACrD,iCAAiC;KAClC;IACD,cAAc,EAAE;QACd,gCAAgC;QAChC,8DAA8D;QAC9D,gCAAgC;KACjC;IACD,MAAM,EAAE,UAAU,CAChB,iBAAiB,EACjB;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;QAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC7B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EACD,CAAC,OAAO,CAAC,EACT;QACE;YACE,KAAK,EAAE,YAAY;YACnB,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,CAAC,GAAG,sBAAsB;YACjC,KAAK,EAAE,sCAAsC;SAC9C;KACF,CACF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,wFAAwF;gBACxF,oFAAoF;gBACpF,oCAAoC;YACtC,OAAO,EAAE,MAAM;SAChB;KACF;IACD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EACP,iHAAiH;SACpH;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,mFAAmF;SAC/F;KACF;IACD,SAAS,EAAE;QACT,8FAA8F;QAC9F,8FAA8F;KAC/F;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAgB;IACnD,EAAE,EAAE,sBAAsB;IAC1B,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,eAAe;IAC3B,cAAc,EAAE,oDAAoD;IACpE,SAAS,EAAE,CAAC,wCAAwC,EAAE,WAAW,CAAC;IAClE,eAAe,EAAE;QACf,oFAAoF;QACpF,4CAA4C;KAC7C;IACD,cAAc,EAAE,CAAC,kCAAkC,EAAE,0DAA0D,CAAC;IAChH,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,KAAK,EAAE,qBAAqB,CAAC,uBAAuB,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE;YAClB,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC;YAChC,OAAO,qBAAqB,CAAC,MAAM,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,+FAA+F;QACrG,MAAM,EAAE,gBAAgB;QACxB,OAAO,EACL,sFAAsF;QACxF,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE;YAC1B,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC;YAChC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7E,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;gBAAE,OAAO,KAAK,KAAK,CAAC,CAAC;YAC9D,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3C,CAAC;QACD,cAAc,EAAE,gBAAgB;QAChC,cAAc,EAAE,SAAS;QACzB,qEAAqE;QACrE,UAAU,EAAE,CAAC,uDAAuD,CAAC;KACtE,CAAC;IACF,MAAM,EAAE,UAAU,CAChB,iBAAiB,EACjB;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;QAClC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;KAC/B,EACD,EAAE,EACF;QACE;YACE,KAAK,EAAE,mBAAmB;YAC1B,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,CAAC,GAAG,uBAAuB;YAClC,KAAK,EAAE,gBAAgB;SACxB;KACF,CACF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,0FAA0F;gBAC1F,8EAA8E;YAChF,OAAO,EAAE,MAAM;SAChB;KACF;IACD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,2FAA2F;SACvG;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,4CAA4C;SACxD;KACF;IACD,SAAS,EAAE;QACT,6FAA6F;KAC9F;IACD,YAAY,EAAE,UAAU;IACxB,SAAS,EAAE,eAAe,CAAC,sBAAsB,CAAC;CACnD,CAAC;AAEF,iEAAiE;AACjE,MAAM,CAAC,MAAM,YAAY,GAA2B;IAClD,kBAAkB;IAClB,qBAAqB;IACrB,kBAAkB;IAClB,wBAAwB;CACzB,CAAC","sourcesContent":["/**\n * Atlas Phase 4, S4.5 — the four bridges of the wave family.\n *\n * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4.\n *\n * | Bridge | Relation | Premises | Witnesses |\n * |---|---|---|---|\n * | string → 1-D wave | `restriction` | 1 | WS1 (convergence) |\n * | 1-D wave → d'Alembert | `derivation` | 1 | WS2 (convergence) |\n * | Euler + adiabatic EOS → sound | `derivation` | **2 (hyperedge)** | WS3 (convergence), WS3b (Newton) |\n * | Klein–Gordon → 1-D wave | `approximation` | 1 | WS4 (convergence), WS4b (long waves) |\n *\n * The chain → wave coarse-graining the plan also lists already exists in the\n * oscillator family (`ab-chain-wave`) and is not duplicated.\n *\n * @module atlas/waves/bridges\n */\n\nimport { FORCE, FREQUENCY, VELOCITY } from '../../dimensional/types.js';\nimport { DENSITY } from '../diffusion/dimensions.js';\nimport { makeApproximation } from '../oscillators/bridges-limits.js';\nimport { makeRegime } from '../regime.js';\nimport { physjsFormalRef } from '../physjs-ref.js';\nimport type { AtlasBridge } from '../types.js';\nimport { LINEAR_DENSITY, PRESSURE, WAVENUMBER, WAVES_FAMILY_NAME } from './models.js';\nimport { kleinGordonPhaseError } from './numerics.js';\n\nconst TEST = 'tests/atlas/waves.test.ts';\n\n/** The perturbation ceiling of the sound derivation: `p₁/p₀ ≤ 1/100`. @internal */\nexport const SOUND_MAX_PERTURBATION = 0.01;\n\n/** The dispersion-free domain edge: `ω₀/(c k) ≤ 0.1`. @internal */\nexport const KG_MAX_DISPERSION_RATIO = 0.1;\n\n/** Bridge: string → 1-D wave equation, a restriction with c² = F/μ. @internal */\nexport const BRIDGE_STRING_WAVE: AtlasBridge = {\n  id: 'ab-string-wave',\n  relation: 'restriction',\n  premises: ['model-string'],\n  conclusion: 'model-wave-1d',\n  transformation: 'y ↦ u, with c² = F/μ',\n  preserves: ['the solution operator for small slopes', 'normal-mode frequencies nπc/ℓ'],\n  doesNotPreserve: [\n    'the separate values of F and μ — only F/μ survives',\n    'the transverse geometry: the wave equation does not know u is a displacement',\n  ],\n  sideConditions: ['small slopes |y_x| ≪ 1', 'uniform tension and density', 'perfectly flexible'],\n  regime: makeRegime(\n    WAVES_FAMILY_NAME,\n    [\n      { name: 'F', dim: FORCE },\n      { name: 'mu', dim: LINEAR_DENSITY },\n      { name: 'c', dim: VELOCITY },\n    ],\n    [],\n    [],\n  ),\n  counterexamples: [],\n  witnesses: [\n    {\n      id: 'WS1',\n      kind: 'numeric',\n      test: TEST,\n      tolerance:\n        'leapfrog string solution at the midpoint within 2e-4 of sin(πx)cos(πct), c = √(F/μ), at 80 cells',\n    },\n  ],\n  citations: [\n    'Morse & Ingard, Theoretical Acoustics - the flexible string and its wave equation with c² = T/ρ',\n  ],\n  reviewStatus: 'proposed',\n};\n\n/** Bridge: 1-D wave equation → d'Alembert's general solution. @internal */\nexport const BRIDGE_WAVE_DALEMBERT: AtlasBridge = {\n  id: 'ab-wave-dalembert',\n  relation: 'derivation',\n  premises: ['model-wave-1d'],\n  conclusion: 'model-dalembert',\n  transformation: 'characteristics ξ = x − ct, η = x + ct turn u_tt = c²u_xx into u_ξη = 0',\n  preserves: ['every C² solution on the whole line', 'the speed c'],\n  doesNotPreserve: [\n    'boundary conditions: on a bounded domain f and g are fixed only up to reflections',\n  ],\n  sideConditions: ['infinite line, or boundaries handled by the method of images', 'u ∈ C²'],\n  regime: makeRegime(WAVES_FAMILY_NAME, [{ name: 'c', dim: VELOCITY }], [], []),\n  counterexamples: [],\n  witnesses: [\n    {\n      id: 'WS2',\n      kind: 'numeric',\n      test: TEST,\n      tolerance: 'finite-difference residual |u_tt − c²u_xx| below 2e-3 at h = 0.0125',\n    },\n  ],\n  citations: [\n    \"d'Alembert, Recherches sur la courbe que forme une corde tendue mise en vibration (1747)\",\n    'Strauss, Partial Differential Equations: An Introduction - §2.1, the wave equation on the line',\n  ],\n  reviewStatus: 'proposed',\n  formalRef: physjsFormalRef('ab-wave-dalembert'),\n};\n\n/**\n * Bridge: linearized Euler + adiabatic EOS → the acoustic wave equation.\n *\n * A HYPEREDGE: neither premise alone yields sound. The Euler pair has no\n * closure from ρ′ to p′, and the equation of state has no dynamics.\n *\n * @internal\n */\nexport const BRIDGE_SOUND_SPEED: AtlasBridge = {\n  id: 'ab-sound-speed',\n  relation: 'derivation',\n  premises: ['model-euler-linear', 'model-adiabatic-eos'],\n  conclusion: 'model-sound',\n  transformation:\n    'close the Euler pair with p′ = (dp/dρ)|ρ₀ ρ′ = (γp₀/ρ₀) ρ′, then eliminate v: p′_tt = (γp₀/ρ₀) p′_xx',\n  preserves: ['linearity', 'the sound speed c_s² = γp₀/ρ₀'],\n  doesNotPreserve: [\n    'nonlinear steepening and shocks at finite amplitude',\n    'viscous and thermal attenuation',\n  ],\n  sideConditions: [\n    'small perturbations: |p′| ≪ p₀',\n    'adiabatic compression (no heat exchange within a wavelength)',\n    'fluid at rest, no ambient flow',\n  ],\n  regime: makeRegime(\n    WAVES_FAMILY_NAME,\n    [\n      { name: 'rho0', dim: DENSITY },\n      { name: 'p0', dim: PRESSURE },\n      { name: 'p1', dim: PRESSURE },\n      { name: 'c', dim: VELOCITY },\n    ],\n    ['gamma'],\n    [\n      {\n        group: 'p0 · p1^-1',\n        op: '>=',\n        bound: 1 / SOUND_MAX_PERTURBATION,\n        alias: '|p′| ≪ p₀ (machine form p₀/p₁ ≥ 100)',\n      },\n    ],\n  ),\n  counterexamples: [\n    {\n      description:\n        'The adiabatic premise is necessary. Closing the same Euler pair ISOTHERMALLY (Newton) ' +\n        'gives √(p₀/ρ₀) = 290.1 m/s for air at 20 °C, 15% below the measured ≈343 m/s; the ' +\n        'adiabatic closure gives 343.2 m/s.',\n      witness: 'WS3b',\n    },\n  ],\n  witnesses: [\n    {\n      id: 'WS3',\n      kind: 'numeric',\n      test: TEST,\n      tolerance:\n        'staggered Euler + adiabatic-closure solution within 2e-4 of the sound model’s sin(2πx)cos(2πc_s t) at 128 cells',\n    },\n    {\n      id: 'WS3b',\n      kind: 'numeric',\n      test: TEST,\n      tolerance: 'air, 101325 Pa, 1.204 kg/m³, γ = 1.4: adiabatic 343.25 m/s, isothermal 290.10 m/s',\n    },\n  ],\n  citations: [\n    'Laplace, Ann. Chim. Phys. 3 (1816) 238 - the adiabatic correction to Newton’s speed of sound',\n    'Landau & Lifshitz, Fluid Mechanics §64 - sound waves from the linearized equations of motion',\n  ],\n  reviewStatus: 'proposed',\n};\n\n/**\n * Bridge: Klein–Gordon → 1-D wave, the dispersion-free limit ω₀/(ck) → 0.\n *\n * `delta` is the EXACT relative phase-velocity error at the domain edge, not a\n * series term: {@link kleinGordonPhaseError} is increasing in ω₀/(ck), so its\n * edge value is the supremum. The pendulum record learned the hard way that a\n * truncated series can sit BELOW the error it claims to bound.\n *\n * @internal\n */\nexport const BRIDGE_KLEIN_GORDON_WAVE: AtlasBridge = {\n  id: 'ab-klein-gordon-wave',\n  relation: 'approximation',\n  premises: ['model-klein-gordon'],\n  conclusion: 'model-wave-1d',\n  transformation: 'drop the mass term ω₀²u; ω(k) = √(c²k² + ω₀²) → ck',\n  preserves: ['the wave speed c for short wavelengths', 'linearity'],\n  doesNotPreserve: [\n    'dispersion: wave packets spread under Klein–Gordon and not under the wave equation',\n    'the gap: Klein–Gordon has no mode below ω₀',\n  ],\n  sideConditions: ['short wavelengths: ω₀/(ck) ≤ 0.1', 'the bound is a PHASE-VELOCITY error, not uniform in time'],\n  bound: makeApproximation({\n    K: 1,\n    delta: kleinGordonPhaseError(KG_MAX_DISPERSION_RATIO, 1, 1),\n    deltaAt: (params) => {\n      const { omega0, c, k } = params;\n      return kleinGordonPhaseError(omega0 ?? Number.NaN, c ?? Number.NaN, k ?? Number.NaN);\n    },\n    deltaAtBasis: 'closed-form',\n    norm: 'relative phase-velocity error of a Fourier mode, normalized by the value of the reduced model',\n    domain: 'ω₀/(c k) ≤ 0.1',\n    horizon:\n      't ≪ π/(2 c k δ): the phase drift reaches π/2; machine form t < π/(2 c k δ(ω₀, c, k))',\n    horizonHolds: (t, params) => {\n      const { omega0, c, k } = params;\n      if (omega0 === undefined || c === undefined || k === undefined) return false;\n      const delta = kleinGordonPhaseError(omega0, c, k);\n      if (!Number.isFinite(delta) || delta <= 0) return delta === 0;\n      return t < Math.PI / (2 * c * k * delta);\n    },\n    parameterRange: 'ω₀/(c k) ≤ 0.1',\n    limitCharacter: 'regular',\n    // A phase-velocity error. The record says it is not uniform in time.\n    uniformity: ['phase velocity of one Fourier mode, for ω₀/(ck) ≤ 0.1'],\n  }),\n  regime: makeRegime(\n    WAVES_FAMILY_NAME,\n    [\n      { name: 'c', dim: VELOCITY },\n      { name: 'omega0', dim: FREQUENCY },\n      { name: 'k', dim: WAVENUMBER },\n    ],\n    [],\n    [\n      {\n        group: 'c · omega0^-1 · k',\n        op: '>=',\n        bound: 1 / KG_MAX_DISPERSION_RATIO,\n        alias: 'ω₀/(c k) ≤ 0.1',\n      },\n    ],\n  ),\n  counterexamples: [\n    {\n      description:\n        'At ω₀/(c k) = 1 the phase velocity is √2 c: a 41% error. The dispersion-free limit is a ' +\n        'short-wavelength statement and fails for the long waves the domain excludes.',\n      witness: 'WS4b',\n    },\n  ],\n  witnesses: [\n    {\n      id: 'WS4',\n      kind: 'numeric',\n      test: TEST,\n      tolerance: 'phase velocity within 2e-3 of c at k = 20 (ω₀ = c = 1); error falls ≈4× per doubling of k',\n    },\n    {\n      id: 'WS4b',\n      kind: 'numeric',\n      test: TEST,\n      tolerance: 'relative phase error √2 − 1 at ω₀/(ck) = 1',\n    },\n  ],\n  citations: [\n    'Whitham, Linear and Nonlinear Waves - §11.1, dispersive waves and the Klein-Gordon equation',\n  ],\n  reviewStatus: 'proposed',\n  formalRef: physjsFormalRef('ab-klein-gordon-wave'),\n};\n\n/** The wave family's bridges, in design-note order. @internal */\nexport const WAVE_BRIDGES: readonly AtlasBridge[] = [\n  BRIDGE_STRING_WAVE,\n  BRIDGE_WAVE_DALEMBERT,\n  BRIDGE_SOUND_SPEED,\n  BRIDGE_KLEIN_GORDON_WAVE,\n];\n"]}

package/dist/atlas/waves/index.d.ts

@@ -5,7 +5,7 @@
  *
  * @module atlas/waves
  */
-import type { AtlasFamily } from '../oscillators/index.js';
+import type { AtlasFamily } from '../family.js';
 /**
  * The wave family: seven models and seven bridges (four from S4.5, three from
  * the Sprint 4 closure), no rejections. Several bridges end in other families.

package/dist/atlas/waves/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAK3D;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE,WAK1B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAKhD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE,WAK1B,CAAC"}

package/dist/atlas/waves/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/atlas/waves/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgB;IACvC,MAAM,EAAE,iBAAiB;IACzB,MAAM,EAAE,WAAW;IACnB,OAAO,EAAE,CAAC,GAAG,YAAY,EAAE,GAAG,oBAAoB,CAAC;IACnD,UAAU,EAAE,EAAE;CACf,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/atlas/waves/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgB;IACvC,MAAM,EAAE,iBAAiB;IACzB,MAAM,EAAE,WAAW;IACnB,OAAO,EAAE,CAAC,GAAG,YAAY,EAAE,GAAG,oBAAoB,CAAC;IACnD,UAAU,EAAE,EAAE;CACf,CAAC","sourcesContent":["/**\n * Wave-family assembly (Atlas Phase 4, S4.5).\n *\n * Assembly only: this module defines no physics and no numbers of its own.\n *\n * @module atlas/waves\n */\n\nimport type { AtlasFamily } from '../family.js';\nimport { WAVE_BRIDGES } from './bridges.js';\nimport { WAVE_CLOSURE_BRIDGES } from './bridges-closure.js';\nimport { WAVE_MODELS, WAVES_FAMILY_NAME } from './models.js';\n\n/**\n * The wave family: seven models and seven bridges (four from S4.5, three from\n * the Sprint 4 closure), no rejections. Several bridges end in other families.\n *\n * @internal\n */\nexport const WAVES_FAMILY: AtlasFamily = {\n  family: WAVES_FAMILY_NAME,\n  models: WAVE_MODELS,\n  bridges: [...WAVE_BRIDGES, ...WAVE_CLOSURE_BRIDGES],\n  rejections: [],\n};\n"]}

package/dist/atlas/waves/models.d.ts

@@ -13,17 +13,16 @@
  * @module atlas/waves/models
  */
 import type { Dimension } from '../../dimensional/types.js';
+import { LINEAR_DENSITY, PRESSURE } from '../../dimensional/types.js';
 import type { AtlasModel } from '../model.js';
 /** The family name every wave record carries. @internal */
 export declare const WAVES_FAMILY_NAME = "waves";
-/** kg/m, `L^-1 M` — `src/canonical/entries/dimensional-classics.ts` (`LIN_DENSITY`). @internal */
-export declare const LINEAR_DENSITY: Dimension;
-/** Pa, `L^-1 M T^-2` — `src/canonical/entries/fluids-waves.ts` (`PRESSURE`). @internal */
-export declare const PRESSURE: Dimension;
+/** kg/m (`L^-1 M`) and Pa (`L^-1 M T^-2`): the named shapes of `dimensional/types.ts`. @internal */
+export { LINEAR_DENSITY, PRESSURE };
+/** rad/m, `L^-1`: the named shape of `dimensional/types.ts`. @internal */
+export { WAVENUMBER } from '../../dimensional/types.js';
 /** Flexural rigidity E·I, N·m², `L^3 M T^-2`. @internal */
 export declare const FLEXURAL_RIGIDITY: Dimension;
-/** rad/m, `L^-1`. @internal */
-export declare const WAVENUMBER: Dimension;
 /** The wave-family models, in design-note order. @internal */
 export declare const WAVE_MODELS: readonly AtlasModel[];
 //# sourceMappingURL=models.d.ts.map

package/dist/atlas/waves/models.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"models.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAG5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAG9C,2DAA2D;AAC3D,eAAO,MAAM,iBAAiB,UAAU,CAAC;AAEzC,kGAAkG;AAClG,eAAO,MAAM,cAAc,EAAE,SAAsB,CAAC;AAEpD,0FAA0F;AAC1F,eAAO,MAAM,QAAQ,EAAE,SAA0B,CAAC;AAElD,2DAA2D;AAC3D,eAAO,MAAM,iBAAiB,EAAE,SAAyB,CAAC;AAE1D,+BAA+B;AAC/B,eAAO,MAAM,UAAU,EAAE,SAAmB,CAAC;AA+B7C,8DAA8D;AAC9D,eAAO,MAAM,WAAW,EAAE,SAAS,UAAU,EA8E5C,CAAC"}
+{"version":3,"file":"models.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAoB,cAAc,EAAE,QAAQ,EAAY,MAAM,4BAA4B,CAAC;AAElG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAG9C,2DAA2D;AAC3D,eAAO,MAAM,iBAAiB,UAAU,CAAC;AAEzC,oGAAoG;AACpG,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC;AAEpC,0EAA0E;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAExD,2DAA2D;AAC3D,eAAO,MAAM,iBAAiB,EAAE,SAAyB,CAAC;AA2B1D,8DAA8D;AAC9D,eAAO,MAAM,WAAW,EAAE,SAAS,UAAU,EA8E5C,CAAC"}

package/dist/atlas/waves/models.js

@@ -13,19 +13,17 @@
  * @module atlas/waves/models
  */
 import { dim } from '../../dimensional/ast-builders.js';
-import { FORCE, FREQUENCY, VELOCITY } from '../../dimensional/types.js';
+import { FORCE, FREQUENCY, LINEAR_DENSITY, PRESSURE, VELOCITY } from '../../dimensional/types.js';
 import { DENSITY } from '../diffusion/dimensions.js';
-import { deriveRegimeGroups } from '../regime.js';
+import { makeRegime } from '../regime.js';
 /** The family name every wave record carries. @internal */
 export const WAVES_FAMILY_NAME = 'waves';
-/** kg/m, `L^-1 M` — `src/canonical/entries/dimensional-classics.ts` (`LIN_DENSITY`). @internal */
-export const LINEAR_DENSITY = dim(-1, 1);
-/** Pa, `L^-1 M T^-2` — `src/canonical/entries/fluids-waves.ts` (`PRESSURE`). @internal */
-export const PRESSURE = dim(-1, 1, -2);
+/** kg/m (`L^-1 M`) and Pa (`L^-1 M T^-2`): the named shapes of `dimensional/types.ts`. @internal */
+export { LINEAR_DENSITY, PRESSURE };
+/** rad/m, `L^-1`: the named shape of `dimensional/types.ts`. @internal */
+export { WAVENUMBER } from '../../dimensional/types.js';
 /** Flexural rigidity E·I, N·m², `L^3 M T^-2`. @internal */
 export const FLEXURAL_RIGIDITY = dim(3, 1, -2);
-/** rad/m, `L^-1`. @internal */
-export const WAVENUMBER = dim(-1);
 function model(spec) {
     const dimensionless = spec.dimensionlessInputs ?? [];
     return {
@@ -37,11 +35,7 @@ function model(spec) {
         parameters: spec.parameters,
         dimensionlessInputs: dimensionless,
         canonicalRefs: spec.canonicalRefs,
-        regime: {
-            family: WAVES_FAMILY_NAME,
-            inequalities: [],
-            groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, spec.parameters, dimensionless),
-        },
+        regime: makeRegime(WAVES_FAMILY_NAME, spec.parameters, dimensionless, []),
     };
 }
 /** The wave-family models, in design-note order. @internal */

package/dist/atlas/waves/models.js.map

@@ -1 +1 @@
-{"version":3,"file":"models.js","sourceRoot":"","sources":["../../../src/atlas/waves/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AAGxD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAErD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD,2DAA2D;AAC3D,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAEzC,kGAAkG;AAClG,MAAM,CAAC,MAAM,cAAc,GAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEpD,0FAA0F;AAC1F,MAAM,CAAC,MAAM,QAAQ,GAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,2DAA2D;AAC3D,MAAM,CAAC,MAAM,iBAAiB,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAE1D,+BAA+B;AAC/B,MAAM,CAAC,MAAM,UAAU,GAAc,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAY7C,SAAS,KAAK,CAAC,IAAe;IAC5B,MAAM,aAAa,GAAG,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC;IACrD,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,MAAM,EAAE,iBAAiB;QACzB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,mBAAmB,EAAE,aAAa;QAClC,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,MAAM,EAAE;YACN,MAAM,EAAE,iBAAiB;YACzB,YAAY,EAAE,EAAE;YAChB,gBAAgB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;SACxF;KACF,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,MAAM,CAAC,MAAM,WAAW,GAA0B;IAChD,KAAK,CAAC;QACJ,EAAE,EAAE,cAAc;QAClB,UAAU,EAAE,wDAAwD;QACpE,QAAQ,EAAE,2CAA2C;QACrD,WAAW,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,yBAAyB,CAAC;QACpD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;YACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;SACpC;QACD,aAAa,EAAE,CAAC,sBAAsB,CAAC;KACxC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,iBAAiB;QACrB,UAAU,EAAE,+DAA+D;QAC3E,QAAQ,EAAE,wCAAwC;QAClD,WAAW,EAAE,CAAC,GAAG,EAAE,6BAA6B,CAAC;QACjD,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;QAC1C,aAAa,EAAE,CAAC,eAAe,CAAC;KACjC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,oBAAoB;QACxB,UAAU,EAAE,uDAAuD;QACnE,QAAQ,EAAE,yCAAyC;QACnD,WAAW,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC;QAC9B,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC9B;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,qBAAqB;QACzB,UAAU,EAAE,4BAA4B;QACxC,QAAQ,EAAE,iBAAiB;QAC3B,WAAW,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC;QAC3B,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC9B;QACD,mBAAmB,EAAE,CAAC,OAAO,CAAC;QAC9B,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,aAAa;QACjB,UAAU,EAAE,iCAAiC;QAC7C,QAAQ,EAAE,wCAAwC;QAClD,WAAW,EAAE,CAAC,IAAI,EAAE,iBAAiB,CAAC;QACtC,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC9B;QACD,mBAAmB,EAAE,CAAC,OAAO,CAAC;QAC9B,aAAa,EAAE,CAAC,gBAAgB,CAAC;KAClC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,oBAAoB;QACxB,UAAU,EAAE,2BAA2B;QACvC,QAAQ,EAAE,sDAAsD;QAChE,WAAW,EAAE,CAAC,GAAG,EAAE,iBAAiB,EAAE,gBAAgB,CAAC;QACvD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;YAC5B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;SACnC;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,oBAAoB;QACxB,UAAU,EAAE,qEAAqE;QACjF,QAAQ,EAAE,mEAAmE;QAC7E,WAAW,EAAE,CAAC,GAAG,EAAE,qCAAqC,CAAC;QACzD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;YACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;YACnC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,iBAAiB,EAAE;SACvC;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;CACH,CAAC"}
+{"version":3,"file":"models.js","sourceRoot":"","sources":["../../../src/atlas/waves/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AAGxD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAClG,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAErD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,2DAA2D;AAC3D,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAEzC,oGAAoG;AACpG,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC;AAEpC,0EAA0E;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAExD,2DAA2D;AAC3D,MAAM,CAAC,MAAM,iBAAiB,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAY1D,SAAS,KAAK,CAAC,IAAe;IAC5B,MAAM,aAAa,GAAG,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC;IACrD,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,MAAM,EAAE,iBAAiB;QACzB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,mBAAmB,EAAE,aAAa;QAClC,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,MAAM,EAAE,UAAU,CAAC,iBAAiB,EAAE,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,EAAE,CAAC;KAC1E,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,MAAM,CAAC,MAAM,WAAW,GAA0B;IAChD,KAAK,CAAC;QACJ,EAAE,EAAE,cAAc;QAClB,UAAU,EAAE,wDAAwD;QACpE,QAAQ,EAAE,2CAA2C;QACrD,WAAW,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,yBAAyB,CAAC;QACpD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;YACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;SACpC;QACD,aAAa,EAAE,CAAC,sBAAsB,CAAC;KACxC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,iBAAiB;QACrB,UAAU,EAAE,+DAA+D;QAC3E,QAAQ,EAAE,wCAAwC;QAClD,WAAW,EAAE,CAAC,GAAG,EAAE,6BAA6B,CAAC;QACjD,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;QAC1C,aAAa,EAAE,CAAC,eAAe,CAAC;KACjC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,oBAAoB;QACxB,UAAU,EAAE,uDAAuD;QACnE,QAAQ,EAAE,yCAAyC;QACnD,WAAW,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC;QAC9B,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC9B;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,qBAAqB;QACzB,UAAU,EAAE,4BAA4B;QACxC,QAAQ,EAAE,iBAAiB;QAC3B,WAAW,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC;QAC3B,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC9B;QACD,mBAAmB,EAAE,CAAC,OAAO,CAAC;QAC9B,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,aAAa;QACjB,UAAU,EAAE,iCAAiC;QAC7C,QAAQ,EAAE,wCAAwC;QAClD,WAAW,EAAE,CAAC,IAAI,EAAE,iBAAiB,CAAC;QACtC,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC9B;QACD,mBAAmB,EAAE,CAAC,OAAO,CAAC;QAC9B,aAAa,EAAE,CAAC,gBAAgB,CAAC;KAClC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,oBAAoB;QACxB,UAAU,EAAE,2BAA2B;QACvC,QAAQ,EAAE,sDAAsD;QAChE,WAAW,EAAE,CAAC,GAAG,EAAE,iBAAiB,EAAE,gBAAgB,CAAC;QACvD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;YAC5B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;SACnC;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,oBAAoB;QACxB,UAAU,EAAE,qEAAqE;QACjF,QAAQ,EAAE,mEAAmE;QAC7E,WAAW,EAAE,CAAC,GAAG,EAAE,qCAAqC,CAAC;QACzD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;YACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;YACnC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,iBAAiB,EAAE;SACvC;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;CACH,CAAC","sourcesContent":["/**\n * Atlas Phase 4, S4.5 — the models of the wave family.\n *\n * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4.\n *\n * The 1-D wave equation itself is NOT redefined here. It is `model-wave-1d` in\n * the oscillator family, where Phase 0 put it as the conclusion of the chain →\n * wave coarse-graining. The wave family's bridges point at that same record,\n * because a second definition of one model would be a second source of truth.\n * `tests/atlas/families.test.ts` pins that model ids are unique across the\n * whole atlas and that every bridge endpoint resolves in SOME registered family.\n *\n * @module atlas/waves/models\n */\n\nimport { dim } from '../../dimensional/ast-builders.js';\nimport type { DimensionalVariable } from '../../dimensional/buckingham.js';\nimport type { Dimension } from '../../dimensional/types.js';\nimport { FORCE, FREQUENCY, LINEAR_DENSITY, PRESSURE, VELOCITY } from '../../dimensional/types.js';\nimport { DENSITY } from '../diffusion/dimensions.js';\nimport type { AtlasModel } from '../model.js';\nimport { makeRegime } from '../regime.js';\n\n/** The family name every wave record carries. @internal */\nexport const WAVES_FAMILY_NAME = 'waves';\n\n/** kg/m (`L^-1 M`) and Pa (`L^-1 M T^-2`): the named shapes of `dimensional/types.ts`. @internal */\nexport { LINEAR_DENSITY, PRESSURE };\n\n/** rad/m, `L^-1`: the named shape of `dimensional/types.ts`. @internal */\nexport { WAVENUMBER } from '../../dimensional/types.js';\n\n/** Flexural rigidity E·I, N·m², `L^3 M T^-2`. @internal */\nexport const FLEXURAL_RIGIDITY: Dimension = dim(3, 1, -2);\n\ninterface ModelSpec {\n  readonly id: string;\n  readonly stateSpace: string;\n  readonly dynamics: string;\n  readonly observables: readonly string[];\n  readonly parameters: readonly DimensionalVariable[];\n  readonly dimensionlessInputs?: readonly string[];\n  readonly canonicalRefs: readonly string[];\n}\n\nfunction model(spec: ModelSpec): AtlasModel {\n  const dimensionless = spec.dimensionlessInputs ?? [];\n  return {\n    id: spec.id,\n    family: WAVES_FAMILY_NAME,\n    stateSpace: spec.stateSpace,\n    dynamics: spec.dynamics,\n    observables: spec.observables,\n    parameters: spec.parameters,\n    dimensionlessInputs: dimensionless,\n    canonicalRefs: spec.canonicalRefs,\n    regime: makeRegime(WAVES_FAMILY_NAME, spec.parameters, dimensionless, []),\n  };\n}\n\n/** The wave-family models, in design-note order. @internal */\nexport const WAVE_MODELS: readonly AtlasModel[] = [\n  model({\n    id: 'model-string',\n    stateSpace: 'y(x, t), transverse displacement of a string on [0, ℓ]',\n    dynamics: 'μ y_tt = F y_xx (small slopes, |y_x| ≪ 1)',\n    observables: ['y', 'y_t', 'normal-mode frequencies'],\n    parameters: [\n      { name: 'F', dim: FORCE },\n      { name: 'mu', dim: LINEAR_DENSITY },\n    ],\n    canonicalRefs: ['CE-string-wave-speed'],\n  }),\n  model({\n    id: 'model-dalembert',\n    stateSpace: 'u(x, t) = f(x − ct) + g(x + ct), f and g twice differentiable',\n    dynamics: 'two profiles translating rigidly at ±c',\n    observables: ['u', 'the two travelling profiles'],\n    parameters: [{ name: 'c', dim: VELOCITY }],\n    canonicalRefs: ['CE-wave-speed'],\n  }),\n  model({\n    id: 'model-euler-linear',\n    stateSpace: '(ρ′, v)(x, t), small perturbations of a fluid at rest',\n    dynamics: '∂ρ′/∂t = −ρ₀ ∂v/∂x,  ρ₀ ∂v/∂t = −∂p′/∂x',\n    observables: ['ρ′', 'v', 'p′'],\n    parameters: [\n      { name: 'rho0', dim: DENSITY },\n      { name: 'p0', dim: PRESSURE },\n    ],\n    canonicalRefs: [],\n  }),\n  model({\n    id: 'model-adiabatic-eos',\n    stateSpace: 'p(ρ), a barotropic closure',\n    dynamics: 'p = p₀ (ρ/ρ₀)^γ',\n    observables: ['p', 'dp/dρ'],\n    parameters: [\n      { name: 'rho0', dim: DENSITY },\n      { name: 'p0', dim: PRESSURE },\n    ],\n    dimensionlessInputs: ['gamma'],\n    canonicalRefs: [],\n  }),\n  model({\n    id: 'model-sound',\n    stateSpace: 'p′(x, t), the acoustic pressure',\n    dynamics: 'p′_tt = c_s² p′_xx with c_s² = γ p₀/ρ₀',\n    observables: ['p′', 'sound speed c_s'],\n    parameters: [\n      { name: 'rho0', dim: DENSITY },\n      { name: 'p0', dim: PRESSURE },\n    ],\n    dimensionlessInputs: ['gamma'],\n    canonicalRefs: ['CE-sound-speed'],\n  }),\n  model({\n    id: 'model-klein-gordon',\n    stateSpace: 'u(x, t), a field on ℝ × ℝ',\n    dynamics: 'u_tt = c² u_xx − ω₀² u (dispersive: ω² = c²k² + ω₀²)',\n    observables: ['u', 'dispersion ω(k)', 'phase velocity'],\n    parameters: [\n      { name: 'c', dim: VELOCITY },\n      { name: 'omega0', dim: FREQUENCY },\n    ],\n    canonicalRefs: [],\n  }),\n  model({\n    id: 'model-stiff-string',\n    stateSpace: 'y(x, t), transverse displacement of a string with bending stiffness',\n    dynamics: 'μ y_tt = F y_xx − EI y_xxxx (dispersive: ω² = (F/μ)k² + (EI/μ)k⁴)',\n    observables: ['y', 'partial frequencies (inharmonicity)'],\n    parameters: [\n      { name: 'F', dim: FORCE },\n      { name: 'mu', dim: LINEAR_DENSITY },\n      { name: 'EI', dim: FLEXURAL_RIGIDITY },\n    ],\n    canonicalRefs: [],\n  }),\n];\n"]}

package/dist/atlas/waves/numerics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"numerics.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/numerics.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,sDAAsD;AACtD,MAAM,WAAW,aAAa;IAC5B,iBAAiB;IACjB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,6BAA6B;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,kBAAkB;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,aAAa,GAAG,MAAM,CAwB9E;AAED,0DAA0D;AAC1D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,uDAAuD;IACvD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAMD;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEjE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,gBAAgB,GAAG,MAAM,CAMjF;AAED,wDAAwD;AACxD,MAAM,WAAW,eAAe;IAC9B,2BAA2B;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yBAAyB;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,GAAG,MAAM,CAEtE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,GAAG,MAAM,CA0BjF;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG;IACpE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAEA;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAGlF;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,CAAC,EAAE,MAAM,EACT,EAAE,EAAE,MAAM,GACT,MAAM,CAGR;AAID;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAGxD;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,EACb,CAAC,EAAE,MAAM,EACT,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,KAAK,SAAK,GACT,MAAM,CAkBR;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAE9E;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,MAAM,EAClB,CAAC,EAAE,MAAM,EACT,EAAE,EAAE,MAAM,EACV,EAAE,EAAE,MAAM,EACV,EAAE,EAAE,MAAM,GACT,MAAM,CAGR"}
+{"version":3,"file":"numerics.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/numerics.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,sDAAsD;AACtD,MAAM,WAAW,aAAa;IAC5B,iBAAiB;IACjB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,6BAA6B;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,kBAAkB;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,aAAa,GAAG,MAAM,CAwB9E;AAED,0DAA0D;AAC1D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,uDAAuD;IACvD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAMD;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEjE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,gBAAgB,GAAG,MAAM,CAMjF;AAED,wDAAwD;AACxD,MAAM,WAAW,eAAe;IAC9B,2BAA2B;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yBAAyB;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,GAAG,MAAM,CAEtE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,GAAG,MAAM,CA0BjF;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG;IACpE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAEA;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAKlF;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,CAAC,EAAE,MAAM,EACT,EAAE,EAAE,MAAM,GACT,MAAM,CAGR;AAID;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAOxD;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,EACb,CAAC,EAAE,MAAM,EACT,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,KAAK,SAAK,GACT,MAAM,CAkBR;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAG9E;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,MAAM,EAClB,CAAC,EAAE,MAAM,EACT,EAAE,EAAE,MAAM,EACV,EAAE,EAAE,MAAM,EACV,EAAE,EAAE,MAAM,GACT,MAAM,CAGR"}

package/dist/atlas/waves/numerics.js

@@ -141,7 +141,9 @@ export function soundSpeeds(p0, rho0, gamma) {
  */
 export function kleinGordonPhaseError(omega0, c, k) {
     const ratio = omega0 / (c * k);
-    return Math.sqrt(1 + ratio * ratio) - 1;
+    // `√(1 + r²) − 1` as `expm1(½ log1p(r²))`: the naive difference cancels to 0 below
+    // r ≈ 1e-8 and falls below the true error (not a bound) around r ≈ 1e-7.
+    return Math.expm1(0.5 * Math.log1p(ratio * ratio));
 }
 /**
  * WS4 — the Klein–Gordon phase velocity `√(c² + ω₀²/k²)` at wavenumber
@@ -166,7 +168,11 @@ export function kleinGordonPhaseVelocity(resolution, omega0, c, k0) {
 export function kgNonrelativisticError(x) {
     if (x === 0)
         return 0;
-    return Math.abs((Math.sqrt(1 + x * x) - 1) / ((x * x) / 2) - 1);
+    // Algebraically `x² / (1 + √(1 + x²))²`: with `s = 1 + √(1 + x²)`, `√(1 + x²) − 1 = x²/s`,
+    // so the quantity is `|(2/s) − 1| = (s − 2)/s = x²/s²`. The naive difference of the two
+    // ratios returned 8.9e-5 at x = 1e-6, where the error is 2.5e-13.
+    const s = 1 + Math.sqrt(1 + x * x);
+    return (x * x) / (s * s);
 }
 /**
  * WS6 — `u(tEnd)` of the SPATIALLY UNIFORM Klein–Gordon field on a periodic
@@ -202,7 +208,8 @@ export function kgUniformModeValue(steps, c, omega0, tEnd, cells = 16) {
  * @internal
  */
 export function stiffStringPhaseError(F, EI, k) {
-    return Math.sqrt(1 + (EI * k * k) / F) - 1;
+    // `√(1 + β) − 1` as `expm1(½ log1p(β))`, which keeps its precision as β → 0.
+    return Math.expm1(0.5 * Math.log1p((EI * k * k) / F));
 }
 /**
  * WS7 — the stiff string's phase velocity `√(F/μ + (EI/μ)k²)` at wavenumber

package/dist/atlas/waves/numerics.js.map

@@ -1 +1 @@
-{"version":3,"file":"numerics.js","sourceRoot":"","sources":["../../../src/atlas/waves/numerics.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAYH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAa,EAAE,CAAgB;IACpE,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IAClB,oEAAoE;IACpE,MAAM,KAAK,GAAG,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC;IAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAEpD,IAAI,IAAI,GAAG,IAAI,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACpC,IAAI,GAAG,GAAG,IAAI,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACnC,IAAI,IAAI,GAAG,IAAI,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;IACnE,kEAAkE;IAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,GAAG,GAAG,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC;IAC9E,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,IAAI,CAAC,CAAC,CAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC;QACpF,CAAC;QACD,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,GAAG,CAAC,EAAE,GAAG,CAAC,CAAE,CAAC;AACtB,CAAC;AAYD,wFAAwF;AACxF,MAAM,YAAY,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7D,MAAM,WAAW,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AAEtF;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS;IACvD,OAAO,YAAY,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAAkB,EAAE,CAAmB;IACvE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC;IAC5B,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5E,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AACzC,CAAC;AAaD;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW,EAAE,CAAkB;IAC5D,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;AACzE,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAa,EAAE,CAAkB;IACvE,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IAClB,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC;IAE1B,yDAAyD;IACzD,MAAM,GAAG,GAAG,IAAI,YAAY,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,CAAC,GAAG,IAAI,YAAY,CAAC,EAAE,CAAC,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC;IAC7E,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAE,CAAC;IACpE,mDAAmD;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IACpG,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAE,CAAC,GAAG,EAAE,CAAC;YAChD,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC;YAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;gBAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,EAAU,EAAE,IAAY,EAAE,KAAa;IAIjE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;AACzF,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAc,EAAE,CAAS,EAAE,CAAS;IACxE,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,UAAkB,EAClB,MAAc,EACd,CAAS,EACT,EAAU;IAEV,MAAM,CAAC,GAAG,EAAE,GAAG,UAAU,CAAC;IAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,CAAS;IAC9C,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAClE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAa,EACb,CAAS,EACT,MAAc,EACd,IAAY,EACZ,KAAK,GAAG,EAAE;IAEV,MAAM,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC;IACrB,IAAI,IAAI,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,GAAG,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,IAAI,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,CAAC,CAAe,EAAE,CAAS,EAAU,EAAE,CACjD,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,GAAG,GAAG,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAC1F,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,IAAI,CAAC,CAAC,CAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QACjG,CAAC;QACD,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,GAAG,CAAC,CAAC,CAAE,CAAC;AACjB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,CAAS,EAAE,EAAU,EAAE,CAAS;IACpE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,UAAkB,EAClB,CAAS,EACT,EAAU,EACV,EAAU,EACV,EAAU;IAEV,MAAM,CAAC,GAAG,EAAE,GAAG,UAAU,CAAC;IAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC/C,CAAC"}
+{"version":3,"file":"numerics.js","sourceRoot":"","sources":["../../../src/atlas/waves/numerics.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAYH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAa,EAAE,CAAgB;IACpE,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IAClB,oEAAoE;IACpE,MAAM,KAAK,GAAG,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC;IAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAEpD,IAAI,IAAI,GAAG,IAAI,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACpC,IAAI,GAAG,GAAG,IAAI,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACnC,IAAI,IAAI,GAAG,IAAI,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;IACnE,kEAAkE;IAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,GAAG,GAAG,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC;IAC9E,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,IAAI,CAAC,CAAC,CAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC;QACpF,CAAC;QACD,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,GAAG,CAAC,EAAE,GAAG,CAAC,CAAE,CAAC;AACtB,CAAC;AAYD,wFAAwF;AACxF,MAAM,YAAY,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7D,MAAM,WAAW,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AAEtF;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS;IACvD,OAAO,YAAY,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAAkB,EAAE,CAAmB;IACvE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC;IAC5B,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5E,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AACzC,CAAC;AAaD;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW,EAAE,CAAkB;IAC5D,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;AACzE,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAa,EAAE,CAAkB;IACvE,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IAClB,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC;IAE1B,yDAAyD;IACzD,MAAM,GAAG,GAAG,IAAI,YAAY,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,CAAC,GAAG,IAAI,YAAY,CAAC,EAAE,CAAC,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC;IAC7E,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAE,CAAC;IACpE,mDAAmD;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IACpG,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAE,CAAC,GAAG,EAAE,CAAC;YAChD,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC;YAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;gBAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,EAAU,EAAE,IAAY,EAAE,KAAa;IAIjE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;AACzF,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAc,EAAE,CAAS,EAAE,CAAS;IACxE,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,mFAAmF;IACnF,yEAAyE;IACzE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,UAAkB,EAClB,MAAc,EACd,CAAS,EACT,EAAU;IAEV,MAAM,CAAC,GAAG,EAAE,GAAG,UAAU,CAAC;IAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,CAAS;IAC9C,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,2FAA2F;IAC3F,wFAAwF;IACxF,kEAAkE;IAClE,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAa,EACb,CAAS,EACT,MAAc,EACd,IAAY,EACZ,KAAK,GAAG,EAAE;IAEV,MAAM,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC;IACrB,IAAI,IAAI,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,GAAG,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,IAAI,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,CAAC,CAAe,EAAE,CAAS,EAAU,EAAE,CACjD,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,GAAG,GAAG,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAC1F,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,IAAI,CAAC,CAAC,CAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QACjG,CAAC;QACD,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,GAAG,CAAC,CAAC,CAAE,CAAC;AACjB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,CAAS,EAAE,EAAU,EAAE,CAAS;IACpE,6EAA6E;IAC7E,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,UAAkB,EAClB,CAAS,EACT,EAAU,EACV,EAAU,EACV,EAAU;IAEV,MAAM,CAAC,GAAG,EAAE,GAAG,UAAU,CAAC;IAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC/C,CAAC","sourcesContent":["/**\n * Atlas Phase 4, S4.5 — the numerics behind the wave family's witnesses.\n *\n * Each function evaluates one claim at a RESOLUTION, so the numeric witness\n * runner can record how the error shrinks under refinement. No function\n * asserts an order; the runner reports the ratio (Phase 4 design note §2.3).\n *\n * @module atlas/waves/numerics\n */\n\n/** Parameters of the WS1 string fixture. @internal */\nexport interface StringFixture {\n  /** Tension F. */\n  readonly tension: number;\n  /** Linear mass density μ. */\n  readonly mu: number;\n  /** Final time. */\n  readonly tEnd: number;\n}\n\n/**\n * WS1 — the displacement at the midpoint `x = ½, t = tEnd` of a string of unit\n * length with fixed ends, from a leapfrog solution of `μ y_tt = F y_xx` written\n * in the string's OWN variables, starting from `y = sin(πx)` at rest.\n *\n * The comparison target, `sin(πx) cos(π c t)` with `c = √(F/μ)`, is the 1-D\n * wave equation's solution, so the pair tests the restriction's dictionary.\n * The Courant number `cΔt/Δx` is held at 1/2.\n *\n * @param cells - spatial intervals (made even so the midpoint is a node).\n * @internal\n */\nexport function stringLeapfrogMidpoint(cells: number, f: StringFixture): number {\n  const nx = 2 * Math.ceil(cells / 2);\n  const dx = 1 / nx;\n  // Courant 1/2 from the string's own coefficients: Δt = ½ Δx √(μ/F).\n  const dtMax = 0.5 * dx * Math.sqrt(f.mu / f.tension);\n  const steps = Math.ceil(f.tEnd / dtMax);\n  const dt = f.tEnd / steps;\n  const r2 = (f.tension * dt * dt) / (f.mu * dx * dx);\n\n  let prev = new Float64Array(nx + 1);\n  let cur = new Float64Array(nx + 1);\n  let next = new Float64Array(nx + 1);\n  for (let i = 0; i <= nx; i++) prev[i] = Math.sin(Math.PI * i * dx);\n  // First step from rest: y¹ = y⁰ + ½ r² δ²y⁰ (second-order start).\n  for (let i = 1; i < nx; i++) {\n    cur[i] = prev[i]! + 0.5 * r2 * (prev[i + 1]! - 2 * prev[i]! + prev[i - 1]!);\n  }\n  for (let n = 1; n < steps; n++) {\n    for (let i = 1; i < nx; i++) {\n      next[i] = 2 * cur[i]! - prev[i]! + r2 * (cur[i + 1]! - 2 * cur[i]! + cur[i - 1]!);\n    }\n    [prev, cur, next] = [cur, next, prev];\n  }\n  return cur[nx / 2]!;\n}\n\n/** Parameters of the WS2 d'Alembert fixture. @internal */\nexport interface DalembertFixture {\n  readonly c: number;\n  /** The point `(x, t)` the residual is evaluated at. */\n  readonly x: number;\n  readonly t: number;\n  /** Base finite-difference step; the resolution divides it. */\n  readonly h0: number;\n}\n\n/** The two profiles of WS2: deliberately different, so neither direction is trivial. */\nconst profileRight = (s: number): number => Math.exp(-s * s);\nconst profileLeft = (s: number): number => 0.5 * Math.exp(-((s - 1) * (s - 1)) / 0.5);\n\n/**\n * The d'Alembert form `u = f(x − ct) + g(x + ct)` with the WS2 profiles.\n *\n * @internal\n */\nexport function dalembert(x: number, t: number, c: number): number {\n  return profileRight(x - c * t) + profileLeft(x + c * t);\n}\n\n/**\n * WS2 — the finite-difference residual `|u_tt − c² u_xx|` of the d'Alembert\n * form at one point, step `h = h0/resolution` in both variables. Exactly zero\n * in the limit; the runner records how fast the estimate gets there.\n *\n * @internal\n */\nexport function dalembertResidual(resolution: number, f: DalembertFixture): number {\n  const h = f.h0 / resolution;\n  const u = (x: number, t: number): number => dalembert(x, t, f.c);\n  const utt = (u(f.x, f.t + h) - 2 * u(f.x, f.t) + u(f.x, f.t - h)) / (h * h);\n  const uxx = (u(f.x + h, f.t) - 2 * u(f.x, f.t) + u(f.x - h, f.t)) / (h * h);\n  return Math.abs(utt - f.c * f.c * uxx);\n}\n\n/** Parameters of the WS3 acoustic fixture. @internal */\nexport interface AcousticFixture {\n  /** Ambient pressure p₀. */\n  readonly p0: number;\n  /** Ambient density ρ₀. */\n  readonly rho0: number;\n  /** Adiabatic index γ. */\n  readonly gamma: number;\n  readonly tEnd: number;\n}\n\n/**\n * The adiabatic equation of state `p(ρ) = p₀ (ρ/ρ₀)^γ` — the SECOND premise of\n * the sound-speed hyperedge — and its derivative at `ρ`.\n *\n * @internal\n */\nexport function adiabaticSlope(rho: number, f: AcousticFixture): number {\n  return (f.gamma * f.p0 * Math.pow(rho / f.rho0, f.gamma - 1)) / f.rho0;\n}\n\n/**\n * WS3 — the pressure perturbation at `x = ¼, t = tEnd` from a staggered\n * leapfrog solution of the LINEARIZED EULER equations\n * `∂ρ′/∂t = −ρ₀ ∂v/∂x`, `ρ₀ ∂v/∂t = −∂p′/∂x`, closed by the ADIABATIC EOS\n * `p′ = (dp/dρ)|ρ₀ ρ′`, on a periodic unit domain from `p′ = sin 2πx` at rest.\n *\n * Both premises enter in their own form: the Euler pair steps `ρ′` and `v`,\n * and the only link from `ρ′` to `p′` is {@link adiabaticSlope}. The\n * comparison target `sin(2πx) cos(2π c t)` with `c² = γ p₀/ρ₀` is the SOUND\n * model's solution, so the pair tests the hyperedge's derivation.\n *\n * @param cells - grid intervals (made a multiple of 4 so `x = ¼` is a node).\n * @internal\n */\nexport function acousticLeapfrogQuarter(cells: number, f: AcousticFixture): number {\n  const nx = 4 * Math.ceil(cells / 4);\n  const dx = 1 / nx;\n  const slope = adiabaticSlope(f.rho0, f);\n  const cMax = Math.sqrt(slope);\n  const dtMax = (0.5 * dx) / cMax;\n  const steps = Math.ceil(f.tEnd / dtMax);\n  const dt = f.tEnd / steps;\n\n  // ρ′ at nodes i·Δx; v at half-nodes (i + ½)Δx, periodic.\n  const rho = new Float64Array(nx);\n  const v = new Float64Array(nx);\n  for (let i = 0; i < nx; i++) rho[i] = Math.sin(2 * Math.PI * i * dx) / slope;\n  const pressure = (i: number): number => slope * rho[(i + nx) % nx]!;\n  // Half step from rest: v^{1/2} = −(Δt/2ρ₀) ∂p′/∂x.\n  for (let i = 0; i < nx; i++) v[i] = (-(0.5 * dt) / f.rho0) * ((pressure(i + 1) - pressure(i)) / dx);\n  for (let n = 0; n < steps; n++) {\n    for (let i = 0; i < nx; i++) {\n      const dv = (v[i]! - v[(i - 1 + nx) % nx]!) / dx;\n      rho[i] = rho[i]! - dt * f.rho0 * dv;\n    }\n    if (n < steps - 1) {\n      for (let i = 0; i < nx; i++) v[i] = v[i]! - (dt / f.rho0) * ((pressure(i + 1) - pressure(i)) / dx);\n    }\n  }\n  return pressure(nx / 4);\n}\n\n/**\n * Speed of sound from the adiabatic (Laplace) and isothermal (Newton) closures.\n *\n * @internal\n */\nexport function soundSpeeds(p0: number, rho0: number, gamma: number): {\n  readonly adiabatic: number;\n  readonly isothermal: number;\n} {\n  return { adiabatic: Math.sqrt((gamma * p0) / rho0), isothermal: Math.sqrt(p0 / rho0) };\n}\n\n/**\n * Relative phase-velocity error of the Klein–Gordon mode against the\n * dispersion-free wave: `√(1 + (ω₀/(c k))²) − 1`.\n *\n * This is the exact quantity the approximation bound of `ab-klein-gordon-wave`\n * is stated in; it is increasing in `ω₀/(c k)`, so its value at the edge of the\n * declared range is the supremum over the range.\n *\n * @internal\n */\nexport function kleinGordonPhaseError(omega0: number, c: number, k: number): number {\n  const ratio = omega0 / (c * k);\n  // `√(1 + r²) − 1` as `expm1(½ log1p(r²))`: the naive difference cancels to 0 below\n  // r ≈ 1e-8 and falls below the true error (not a bound) around r ≈ 1e-7.\n  return Math.expm1(0.5 * Math.log1p(ratio * ratio));\n}\n\n/**\n * WS4 — the Klein–Gordon phase velocity `√(c² + ω₀²/k²)` at wavenumber\n * `k = k₀ · resolution`. It tends to the wave speed `c` as `k` grows: the\n * dispersion-free limit, approached from above.\n *\n * @internal\n */\nexport function kleinGordonPhaseVelocity(\n  resolution: number,\n  omega0: number,\n  c: number,\n  k0: number,\n): number {\n  const k = k0 * resolution;\n  return Math.sqrt(c * c + (omega0 * omega0) / (k * k));\n}\n\n// ── Sprint 4 closure: Klein–Gordon limits, weak damping ────────────────────\n\n/**\n * The relative error of the non-relativistic kinetic frequency: the\n * Klein–Gordon mode's `ω − ω₀ = ω₀(√(1 + x²) − 1)` against the free\n * Schrödinger particle's `ω₀ x²/2` under `ħ/m ↦ c²/ω₀`, with `x = c k/ω₀`.\n * Equals `|(√(1 + x²) − 1)/(x²/2) − 1|`, increasing in x.\n *\n * @internal\n */\nexport function kgNonrelativisticError(x: number): number {\n  if (x === 0) return 0;\n  // Algebraically `x² / (1 + √(1 + x²))²`: with `s = 1 + √(1 + x²)`, `√(1 + x²) − 1 = x²/s`,\n  // so the quantity is `|(2/s) − 1| = (s − 2)/s = x²/s²`. The naive difference of the two\n  // ratios returned 8.9e-5 at x = 1e-6, where the error is 2.5e-13.\n  const s = 1 + Math.sqrt(1 + x * x);\n  return (x * x) / (s * s);\n}\n\n/**\n * WS6 — `u(tEnd)` of the SPATIALLY UNIFORM Klein–Gordon field on a periodic\n * grid, stepped by leapfrog in the full PDE `u_tt = c² u_xx − ω₀² u` from\n * `u = 1` at rest, with `steps` time steps. The uniform mode's Laplacian\n * vanishes, so the field should follow the oscillator solution `cos(ω₀ t)`.\n *\n * @internal\n */\nexport function kgUniformModeValue(\n  steps: number,\n  c: number,\n  omega0: number,\n  tEnd: number,\n  cells = 16,\n): number {\n  const dt = tEnd / steps;\n  const dx = 1 / cells;\n  let prev = new Float64Array(cells).fill(1);\n  let cur = new Float64Array(cells);\n  let next = new Float64Array(cells);\n  const lap = (a: Float64Array, i: number): number =>\n    (a[(i + 1) % cells]! - 2 * a[i]! + a[(i - 1 + cells) % cells]!) / (dx * dx);\n  for (let i = 0; i < cells; i++) {\n    cur[i] = prev[i]! + 0.5 * dt * dt * (c * c * lap(prev, i) - omega0 * omega0 * prev[i]!);\n  }\n  for (let n = 1; n < steps; n++) {\n    for (let i = 0; i < cells; i++) {\n      next[i] = 2 * cur[i]! - prev[i]! + dt * dt * (c * c * lap(cur, i) - omega0 * omega0 * cur[i]!);\n    }\n    [prev, cur, next] = [cur, next, prev];\n  }\n  return cur[0]!;\n}\n\n/**\n * Relative phase-velocity error of a stiff string against the flexible string:\n * `√(1 + β) − 1` with `β = EI k²/F`. Increasing in β, so its value at the\n * domain edge is the supremum over the domain.\n *\n * @internal\n */\nexport function stiffStringPhaseError(F: number, EI: number, k: number): number {\n  // `√(1 + β) − 1` as `expm1(½ log1p(β))`, which keeps its precision as β → 0.\n  return Math.expm1(0.5 * Math.log1p((EI * k * k) / F));\n}\n\n/**\n * WS7 — the stiff string's phase velocity `√(F/μ + (EI/μ)k²)` at wavenumber\n * `k = k₀/resolution`: it tends to the flexible-string speed `√(F/μ)` as the\n * wavelength grows.\n *\n * @internal\n */\nexport function stiffStringPhaseVelocity(\n  resolution: number,\n  F: number,\n  mu: number,\n  EI: number,\n  k0: number,\n): number {\n  const k = k0 / resolution;\n  return Math.sqrt(F / mu + (EI / mu) * k * k);\n}\n"]}

package/dist/atlas/witness-artifact.js.map

@@ -1 +1 @@
-{"version":3,"file":"witness-artifact.js","sourceRoot":"","sources":["../../src/atlas/witness-artifact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAGzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAqBtD;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,QAAQ,GAAiC,gBAAgB,EACzD,UAAsC;IAEtC,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,uEAAuE;QACvE,wEAAwE;QACxE,qCAAqC;QACrC,IAAI,GAAqB,CAAC;QAC1B,IAAI,WAAoC,CAAC;QACzC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,GAAG,GAAG,MAAM,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9C,GAAG,GAAG,OAAO,CAAC;YACd,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;QACpC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;YAC3D,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;SACtD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,yBAAyB,CACvC,QAAgC,EAChC,QAAgB;IAEhB,OAAO,IAAI,GAAG,CACZ,QAAQ,CAAC,OAAO;SACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC;SAChE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAC3B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"witness-artifact.js","sourceRoot":"","sources":["../../src/atlas/witness-artifact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAGzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAqBtD;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,QAAQ,GAAiC,gBAAgB,EACzD,UAAsC;IAEtC,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,uEAAuE;QACvE,wEAAwE;QACxE,qCAAqC;QACrC,IAAI,GAAqB,CAAC;QAC1B,IAAI,WAAoC,CAAC;QACzC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,GAAG,GAAG,MAAM,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9C,GAAG,GAAG,OAAO,CAAC;YACd,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;QACpC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;YAC3D,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;SACtD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,yBAAyB,CACvC,QAAgC,EAChC,QAAgB;IAEhB,OAAO,IAAI,GAAG,CACZ,QAAQ,CAAC,OAAO;SACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC;SAChE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAC3B,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Atlas Phase 4, S4.3 — the witness-results ARTIFACT: its shape, the run that\n * produces it, and the one reader that turns it into passing witness ids.\n *\n * Design note: `docs/planning/Atlas-Phase-4-Design.md` §3.\n *\n * **The load-bearing invariant: no test writes the artifact.** The Lead runs\n * `scripts/emit-witness-results.mjs`, which calls {@link runWitnessRegistry}\n * and writes `data/atlas/witness-results.json`. `tests/atlas/witness-results.test.ts`\n * deep-equals the committed file against a fresh in-process run — the\n * `atlas-json` pattern. A test that wrote the artifact would certify whatever\n * the last run happened to produce, which is the opposite of a check.\n *\n * **The artifact is deterministic by construction.** `elapsedMs` is dropped:\n * wall-clock time differs on every run, and a pin that deep-equals it could\n * never pass twice. Everything kept is a function of the specs and the peer.\n *\n * @module atlas/witness-artifact\n * @internal\n */\n\nimport type { Convergence } from './witness-numeric.js';\nimport { runNumericWitness } from './witness-numeric.js';\nimport type { UnresolvedReason, WitnessRunResult, WitnessStatus } from './witness-result.js';\nimport type { SymbolicSimplifier } from './witness-symbolic.js';\nimport { runSymbolicWitness } from './witness-symbolic.js';\nimport type { RegisteredWitness } from './witness-specs.js';\nimport { WITNESS_REGISTRY } from './witness-specs.js';\n\n/** One row of the artifact. @internal */\nexport interface WitnessResultRecord {\n  readonly recordId: string;\n  readonly witnessId: string;\n  readonly kind: 'symbolic' | 'numeric';\n  readonly status: WitnessStatus;\n  /** Present iff `status === 'unresolved'`. */\n  readonly reason?: UnresolvedReason;\n  readonly detail: string;\n  /** Numeric witnesses only, and only when a number was produced. */\n  readonly convergence?: Convergence;\n}\n\n/** The committed artifact, `data/atlas/witness-results.json`. @internal */\nexport interface WitnessResultsArtifact {\n  readonly schemaVersion: '0';\n  readonly results: readonly WitnessResultRecord[];\n}\n\n/**\n * Run every registered witness and assemble the artifact.\n *\n * @param registry - the witnesses to run; defaults to {@link WITNESS_REGISTRY}.\n * @param simplifier - forwarded to `runSymbolicWitness`. Omit it for the real\n * peer (resolved through `isSimplifierAvailable()`); pass `null` to run every\n * symbolic witness as peer-absent.\n * @returns the artifact; never throws, because neither runner does.\n * @internal\n */\nexport async function runWitnessRegistry(\n  registry: readonly RegisteredWitness[] = WITNESS_REGISTRY,\n  simplifier?: SymbolicSimplifier | null,\n): Promise<WitnessResultsArtifact> {\n  const results: WitnessResultRecord[] = [];\n  for (const entry of registry) {\n    // Sequential on purpose: the order of the artifact is the order of the\n    // registry, and a symbolic run's timeout budget should not compete with\n    // its neighbours for the event loop.\n    let run: WitnessRunResult;\n    let convergence: Convergence | undefined;\n    if (entry.kind === 'symbolic') {\n      run = await runSymbolicWitness(entry.spec, simplifier);\n    } else {\n      const numeric = runNumericWitness(entry.spec);\n      run = numeric;\n      convergence = numeric.convergence;\n    }\n    results.push({\n      recordId: entry.recordId,\n      witnessId: run.witnessId,\n      kind: run.kind,\n      status: run.status,\n      ...(run.reason === undefined ? {} : { reason: run.reason }),\n      detail: run.detail,\n      ...(convergence === undefined ? {} : { convergence }),\n    });\n  }\n  return { schemaVersion: '0', results };\n}\n\n/**\n * The ids of witnesses of `recordId` that the artifact records as `'checked'`\n * — the value to pass as `deriveEvidence`'s `passingWitnessIds` for the\n * artifact-governed kinds.\n *\n * Only `'checked'` counts. An `'unresolved'` row (peer absent, timeout, an\n * irreducible difference) is not a pass, and admitting it would hand\n * `symbolically-checked` to a claim nobody examined.\n *\n * @internal\n */\nexport function artifactPassingWitnessIds(\n  artifact: WitnessResultsArtifact,\n  recordId: string,\n): ReadonlySet<string> {\n  return new Set(\n    artifact.results\n      .filter((r) => r.recordId === recordId && r.status === 'checked')\n      .map((r) => r.witnessId),\n  );\n}\n"]}

package/dist/atlas/witness-dominance.d.ts

@@ -5,9 +5,10 @@
  * `witness-numeric.ts` checks agreement with a target, which is the wrong
  * shape for a bound: a bound that holds is not equal to anything. Here each
  * resolution returns the measured quantity and the bound at the SAME samples.
- * At each sample the coarse-to-fine difference of the measurement is taken as
- * its numerical uncertainty `u`, and the fine margin `bound − measured` is
- * judged against it:
+ * At each sample the coarse-to-fine difference of the measurement, plus the
+ * coarse-to-fine difference of the bound when the bound itself is computed
+ * numerically, is taken as the numerical uncertainty `u`, and the fine margin
+ * `bound − measured` is judged against it:
  *
  * - `'refuted'` iff at some sample the measurement exceeds the bound by more
  *   than `u` there;

package/dist/atlas/witness-dominance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"witness-dominance.d.ts","sourceRoot":"","sources":["../../src/atlas/witness-dominance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,6GAA6G;AAC7G,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,sFAAsF;IACtF,QAAQ,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK;QAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;IACvH,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,kGAAkG;AAClG,MAAM,WAAW,kBAAmB,SAAQ,gBAAgB;IAC1D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,mFAAmF;IACnF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,6CAA6C;IAC7C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,kGAAkG;IAClG,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,sGAAsG;AACtG,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,oBAAoB,GAAG,kBAAkB,CAwDlF"}
+{"version":3,"file":"witness-dominance.d.ts","sourceRoot":"","sources":["../../src/atlas/witness-dominance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,6GAA6G;AAC7G,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,sFAAsF;IACtF,QAAQ,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK;QAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;IACvH,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,kGAAkG;AAClG,MAAM,WAAW,kBAAmB,SAAQ,gBAAgB;IAC1D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,mFAAmF;IACnF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,6CAA6C;IAC7C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,kGAAkG;IAClG,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,sGAAsG;AACtG,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,oBAAoB,GAAG,kBAAkB,CAmElF"}

package/dist/atlas/witness-dominance.js

@@ -5,9 +5,10 @@
  * `witness-numeric.ts` checks agreement with a target, which is the wrong
  * shape for a bound: a bound that holds is not equal to anything. Here each
  * resolution returns the measured quantity and the bound at the SAME samples.
- * At each sample the coarse-to-fine difference of the measurement is taken as
- * its numerical uncertainty `u`, and the fine margin `bound − measured` is
- * judged against it:
+ * At each sample the coarse-to-fine difference of the measurement, plus the
+ * coarse-to-fine difference of the bound when the bound itself is computed
+ * numerically, is taken as the numerical uncertainty `u`, and the fine margin
+ * `bound − measured` is judged against it:
  *
  * - `'refuted'` iff at some sample the measurement exceeds the bound by more
  *   than `u` there;
@@ -38,7 +39,14 @@ export function runDominanceWitness(spec) {
     }
     const n = fine.measured.length;
     const finite = (xs) => xs.every(Number.isFinite);
-    if (n === 0 || coarse.measured.length !== n || fine.bound.length !== n || !finite(fine.measured) || !finite(coarse.measured) || !finite(fine.bound)) {
+    if (n === 0 ||
+        coarse.measured.length !== n ||
+        fine.bound.length !== n ||
+        coarse.bound.length !== n ||
+        !finite(fine.measured) ||
+        !finite(coarse.measured) ||
+        !finite(fine.bound) ||
+        !finite(coarse.bound)) {
         return {
             ...base,
             status: 'unresolved',
@@ -55,7 +63,9 @@ export function runDominanceWitness(spec) {
     for (let i = 0; i < n; i++) {
         const m = fine.measured[i];
         const b = fine.bound[i];
-        const u = Math.abs(m - coarse.measured[i]);
+        // A closed-form bound is the same at both resolutions and adds nothing;
+        // a bound that moved between them is uncertain by that movement.
+        const u = Math.abs(m - coarse.measured[i]) + Math.abs(b - coarse.bound[i]);
         margin = Math.min(margin, b - m);
         uncertainty = Math.max(uncertainty, u);
         if (b > 0)