@stevenvo780/st-lang 4.7.0 → 4.8.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/namespaces/reasoning.d.ts +2 -1
- package/dist/namespaces/reasoning.d.ts.map +1 -1
- package/dist/namespaces/reasoning.js +3 -1
- package/dist/namespaces/reasoning.js.map +1 -1
- package/dist/reasoning/combinatorial-games/index.d.ts +105 -0
- package/dist/reasoning/combinatorial-games/index.d.ts.map +1 -0
- package/dist/reasoning/combinatorial-games/index.js +377 -0
- package/dist/reasoning/combinatorial-games/index.js.map +1 -0
- package/dist/reasoning/mechanism-design/auctions.d.ts +49 -0
- package/dist/reasoning/mechanism-design/auctions.d.ts.map +1 -0
- package/dist/reasoning/mechanism-design/auctions.js +179 -0
- package/dist/reasoning/mechanism-design/auctions.js.map +1 -0
- package/dist/reasoning/mechanism-design/index.d.ts +5 -0
- package/dist/reasoning/mechanism-design/index.d.ts.map +1 -0
- package/dist/reasoning/mechanism-design/index.js +39 -0
- package/dist/reasoning/mechanism-design/index.js.map +1 -0
- package/dist/reasoning/mechanism-design/myerson.d.ts +64 -0
- package/dist/reasoning/mechanism-design/myerson.d.ts.map +1 -0
- package/dist/reasoning/mechanism-design/myerson.js +253 -0
- package/dist/reasoning/mechanism-design/myerson.js.map +1 -0
- package/dist/reasoning/mechanism-design/types.d.ts +44 -0
- package/dist/reasoning/mechanism-design/types.d.ts.map +1 -0
- package/dist/reasoning/mechanism-design/types.js +22 -0
- package/dist/reasoning/mechanism-design/types.js.map +1 -0
- package/dist/reasoning/mechanism-design/vcg.d.ts +29 -0
- package/dist/reasoning/mechanism-design/vcg.d.ts.map +1 -0
- package/dist/reasoning/mechanism-design/vcg.js +305 -0
- package/dist/reasoning/mechanism-design/vcg.js.map +1 -0
- package/dist/reasoning/probabilistic/distributions.d.ts +44 -0
- package/dist/reasoning/probabilistic/distributions.d.ts.map +1 -0
- package/dist/reasoning/probabilistic/distributions.js +207 -0
- package/dist/reasoning/probabilistic/distributions.js.map +1 -0
- package/dist/reasoning/probabilistic/examples.d.ts +31 -0
- package/dist/reasoning/probabilistic/examples.d.ts.map +1 -0
- package/dist/reasoning/probabilistic/examples.js +85 -0
- package/dist/reasoning/probabilistic/examples.js.map +1 -0
- package/dist/reasoning/probabilistic/index.d.ts +6 -0
- package/dist/reasoning/probabilistic/index.d.ts.map +1 -0
- package/dist/reasoning/probabilistic/index.js +42 -0
- package/dist/reasoning/probabilistic/index.js.map +1 -0
- package/dist/reasoning/probabilistic/inference.d.ts +45 -0
- package/dist/reasoning/probabilistic/inference.d.ts.map +1 -0
- package/dist/reasoning/probabilistic/inference.js +579 -0
- package/dist/reasoning/probabilistic/inference.js.map +1 -0
- package/dist/reasoning/probabilistic/types.d.ts +153 -0
- package/dist/reasoning/probabilistic/types.d.ts.map +1 -0
- package/dist/reasoning/probabilistic/types.js +37 -0
- package/dist/reasoning/probabilistic/types.js.map +1 -0
- package/dist/solver/smt-z3/index.d.ts +3 -0
- package/dist/solver/smt-z3/index.d.ts.map +1 -0
- package/dist/solver/smt-z3/index.js +11 -0
- package/dist/solver/smt-z3/index.js.map +1 -0
- package/dist/solver/smt-z3/types.d.ts +52 -0
- package/dist/solver/smt-z3/types.d.ts.map +1 -0
- package/dist/solver/smt-z3/types.js +6 -0
- package/dist/solver/smt-z3/types.js.map +1 -0
- package/dist/solver/smt-z3/z3-wasm-backend.d.ts +88 -0
- package/dist/solver/smt-z3/z3-wasm-backend.d.ts.map +1 -0
- package/dist/solver/smt-z3/z3-wasm-backend.js +437 -0
- package/dist/solver/smt-z3/z3-wasm-backend.js.map +1 -0
- package/dist/tests/reasoning/combinatorial-games/combinatorial-games.test.d.ts +2 -0
- package/dist/tests/reasoning/combinatorial-games/combinatorial-games.test.d.ts.map +1 -0
- package/dist/tests/reasoning/combinatorial-games/combinatorial-games.test.js +203 -0
- package/dist/tests/reasoning/combinatorial-games/combinatorial-games.test.js.map +1 -0
- package/dist/tests/reasoning/mechanism-design/mechanism-design.test.d.ts +2 -0
- package/dist/tests/reasoning/mechanism-design/mechanism-design.test.d.ts.map +1 -0
- package/dist/tests/reasoning/mechanism-design/mechanism-design.test.js +290 -0
- package/dist/tests/reasoning/mechanism-design/mechanism-design.test.js.map +1 -0
- package/dist/tests/reasoning/probabilistic/probabilistic.test.d.ts +2 -0
- package/dist/tests/reasoning/probabilistic/probabilistic.test.d.ts.map +1 -0
- package/dist/tests/reasoning/probabilistic/probabilistic.test.js +370 -0
- package/dist/tests/reasoning/probabilistic/probabilistic.test.js.map +1 -0
- package/dist/tests/solver/smt-z3/z3-wasm-backend.test.d.ts +2 -0
- package/dist/tests/solver/smt-z3/z3-wasm-backend.test.d.ts.map +1 -0
- package/dist/tests/solver/smt-z3/z3-wasm-backend.test.js +394 -0
- package/dist/tests/solver/smt-z3/z3-wasm-backend.test.js.map +1 -0
- package/dist/tests/tooling/proof-guidance/features.test.d.ts +2 -0
- package/dist/tests/tooling/proof-guidance/features.test.d.ts.map +1 -0
- package/dist/tests/tooling/proof-guidance/features.test.js +72 -0
- package/dist/tests/tooling/proof-guidance/features.test.js.map +1 -0
- package/dist/tests/tooling/proof-guidance/model.test.d.ts +2 -0
- package/dist/tests/tooling/proof-guidance/model.test.d.ts.map +1 -0
- package/dist/tests/tooling/proof-guidance/model.test.js +165 -0
- package/dist/tests/tooling/proof-guidance/model.test.js.map +1 -0
- package/dist/tests/tooling/proof-guidance/search.test.d.ts +2 -0
- package/dist/tests/tooling/proof-guidance/search.test.d.ts.map +1 -0
- package/dist/tests/tooling/proof-guidance/search.test.js +238 -0
- package/dist/tests/tooling/proof-guidance/search.test.js.map +1 -0
- package/dist/tests/type-theory/cubical/cubical.test.d.ts +2 -0
- package/dist/tests/type-theory/cubical/cubical.test.d.ts.map +1 -0
- package/dist/tests/type-theory/cubical/cubical.test.js +207 -0
- package/dist/tests/type-theory/cubical/cubical.test.js.map +1 -0
- package/dist/tooling/proof-guidance/features.d.ts +10 -0
- package/dist/tooling/proof-guidance/features.d.ts.map +1 -0
- package/dist/tooling/proof-guidance/features.js +97 -0
- package/dist/tooling/proof-guidance/features.js.map +1 -0
- package/dist/tooling/proof-guidance/index.d.ts +5 -0
- package/dist/tooling/proof-guidance/index.d.ts.map +1 -0
- package/dist/tooling/proof-guidance/index.js +25 -0
- package/dist/tooling/proof-guidance/index.js.map +1 -0
- package/dist/tooling/proof-guidance/model.d.ts +42 -0
- package/dist/tooling/proof-guidance/model.d.ts.map +1 -0
- package/dist/tooling/proof-guidance/model.js +149 -0
- package/dist/tooling/proof-guidance/model.js.map +1 -0
- package/dist/tooling/proof-guidance/search.d.ts +7 -0
- package/dist/tooling/proof-guidance/search.d.ts.map +1 -0
- package/dist/tooling/proof-guidance/search.js +102 -0
- package/dist/tooling/proof-guidance/search.js.map +1 -0
- package/dist/tooling/proof-guidance/types.d.ts +77 -0
- package/dist/tooling/proof-guidance/types.d.ts.map +1 -0
- package/dist/tooling/proof-guidance/types.js +8 -0
- package/dist/tooling/proof-guidance/types.js.map +1 -0
- package/dist/type-theory/cubical/equality.d.ts +4 -0
- package/dist/type-theory/cubical/equality.d.ts.map +1 -0
- package/dist/type-theory/cubical/equality.js +78 -0
- package/dist/type-theory/cubical/equality.js.map +1 -0
- package/dist/type-theory/cubical/index.d.ts +14 -0
- package/dist/type-theory/cubical/index.d.ts.map +1 -0
- package/dist/type-theory/cubical/index.js +71 -0
- package/dist/type-theory/cubical/index.js.map +1 -0
- package/dist/type-theory/cubical/infer.d.ts +18 -0
- package/dist/type-theory/cubical/infer.d.ts.map +1 -0
- package/dist/type-theory/cubical/infer.js +241 -0
- package/dist/type-theory/cubical/infer.js.map +1 -0
- package/dist/type-theory/cubical/interval.d.ts +12 -0
- package/dist/type-theory/cubical/interval.d.ts.map +1 -0
- package/dist/type-theory/cubical/interval.js +118 -0
- package/dist/type-theory/cubical/interval.js.map +1 -0
- package/dist/type-theory/cubical/normalize.d.ts +5 -0
- package/dist/type-theory/cubical/normalize.d.ts.map +1 -0
- package/dist/type-theory/cubical/normalize.js +191 -0
- package/dist/type-theory/cubical/normalize.js.map +1 -0
- package/dist/type-theory/cubical/path-algebra.d.ts +12 -0
- package/dist/type-theory/cubical/path-algebra.d.ts.map +1 -0
- package/dist/type-theory/cubical/path-algebra.js +109 -0
- package/dist/type-theory/cubical/path-algebra.js.map +1 -0
- package/dist/type-theory/cubical/substitute.d.ts +3 -0
- package/dist/type-theory/cubical/substitute.d.ts.map +1 -0
- package/dist/type-theory/cubical/substitute.js +109 -0
- package/dist/type-theory/cubical/substitute.js.map +1 -0
- package/dist/type-theory/cubical/types.d.ts +77 -0
- package/dist/type-theory/cubical/types.d.ts.map +1 -0
- package/dist/type-theory/cubical/types.js +258 -0
- package/dist/type-theory/cubical/types.js.map +1 -0
- package/package.json +1 -1
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"combinatorial-games.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/combinatorial-games/combinatorial-games.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iCAAiC;AACjC,+DAA+D;;AAE/D,mCAA8C;AAC9C,gFAmBgD;AAEhD,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,yBAAG,EAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,yBAAG,EAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,yBAAG,EAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,yBAAG,EAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,4BAAM,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,4BAAM,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,4BAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,yBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,yBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,yBAAG,EAAC,EAAE,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC;QACpB,4DAA4D;QAC5D,IAAA,eAAM,EAAC,IAAA,qCAAe,EAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,IAAA,qCAAe,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qCAAe,EAAC,CAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,0BAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,0BAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,yBAAG,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,yBAAG,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,yBAAG,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,EAAE,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,EAAE,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,yBAAG,EAAE,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,4BAAM,EAAC,yBAAG,CAAC,EAAE,+BAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,4BAAM,EAAC,yBAAG,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,4BAAM,EAAC,IAAA,4BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,yBAAG,EAAC,yBAAG,EAAE,yBAAG,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,yBAAG,EAAC,0BAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,yBAAG,EAAC,GAAG,EAAE,IAAA,4BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,yBAAG,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,yBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,6BAAO,EAAC,0BAAI,EAAE,0BAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,yBAAG,EAAC,0BAAI,EAAE,0BAAI,CAAC,EAAE,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,yDAAyD;QACzD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,0BAAI,EAAE,yBAAG,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,IAAA,8BAAQ,EAAC,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,wDAAwD;QACxD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,yBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,IAAA,8BAAQ,EAAC,0BAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,8BAAQ,EAAC,0BAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,yBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACxB,MAAM,EAAE,GAAG,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpB,4DAA4D;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACpC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mechanism-design.test.d.ts","sourceRoot":"","sources":["../../../../src/tests/reasoning/mechanism-design/mechanism-design.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,290 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
const vitest_1 = require("vitest");
|
|
4
|
+
const mechanism_design_1 = require("../../../reasoning/mechanism-design");
|
|
5
|
+
function agent(id, vals) {
|
|
6
|
+
return { id, valuation: new Map(Object.entries(vals)) };
|
|
7
|
+
}
|
|
8
|
+
(0, vitest_1.describe)('mechanism-design — VCG', () => {
|
|
9
|
+
(0, vitest_1.it)('VCG con 3 agents y 1 item: gana el de mayor valor, paga el segundo', () => {
|
|
10
|
+
const items = ['item'];
|
|
11
|
+
const agents = [agent('a', { item: 10 }), agent('b', { item: 5 }), agent('c', { item: 3 })];
|
|
12
|
+
const out = (0, mechanism_design_1.vcgMechanism)(agents, items);
|
|
13
|
+
(0, vitest_1.expect)(out.allocation.get('a')).toBe('item');
|
|
14
|
+
(0, vitest_1.expect)(out.allocation.has('b')).toBe(false);
|
|
15
|
+
(0, vitest_1.expect)(out.allocation.has('c')).toBe(false);
|
|
16
|
+
// Payment de 'a' = welfare otros sin 'a' (b se queda con item, valor 5)
|
|
17
|
+
// - welfare otros en alloc (b,c sin nada → 0) = 5.
|
|
18
|
+
(0, vitest_1.expect)(out.payments.get('a')).toBe(5);
|
|
19
|
+
(0, vitest_1.expect)(out.payments.get('b')).toBe(0);
|
|
20
|
+
(0, vitest_1.expect)(out.payments.get('c')).toBe(0);
|
|
21
|
+
});
|
|
22
|
+
(0, vitest_1.it)('VCG con 2 agents y 2 items: cada uno se lleva su preferido', () => {
|
|
23
|
+
const items = ['x', 'y'];
|
|
24
|
+
const agents = [agent('a', { x: 10, y: 2 }), agent('b', { x: 1, y: 8 })];
|
|
25
|
+
const out = (0, mechanism_design_1.vcgMechanism)(agents, items);
|
|
26
|
+
(0, vitest_1.expect)(out.allocation.get('a')).toBe('x');
|
|
27
|
+
(0, vitest_1.expect)(out.allocation.get('b')).toBe('y');
|
|
28
|
+
// welfare óptimo sin 'a' = b se lleva y (8) o x (1) → 8. En alloc, b=8.
|
|
29
|
+
// Externalidad de 'a' = 8 - 8 = 0. (no impide a 'b').
|
|
30
|
+
(0, vitest_1.expect)(out.payments.get('a')).toBe(0);
|
|
31
|
+
(0, vitest_1.expect)(out.payments.get('b')).toBe(0);
|
|
32
|
+
});
|
|
33
|
+
(0, vitest_1.it)('VCG maximiza social welfare', () => {
|
|
34
|
+
const items = ['a', 'b'];
|
|
35
|
+
const agents = [
|
|
36
|
+
agent('p', { a: 9, b: 1 }),
|
|
37
|
+
agent('q', { a: 3, b: 7 }),
|
|
38
|
+
agent('r', { a: 2, b: 4 }),
|
|
39
|
+
];
|
|
40
|
+
const out = (0, mechanism_design_1.vcgMechanism)(agents, items);
|
|
41
|
+
const welfare = (0, mechanism_design_1.socialWelfare)(out, agents);
|
|
42
|
+
(0, vitest_1.expect)(welfare).toBe(9 + 7); // p:a (9), q:b (7).
|
|
43
|
+
});
|
|
44
|
+
(0, vitest_1.it)('VCG es strategy-proof (verificación empírica)', () => {
|
|
45
|
+
const sp = (0, mechanism_design_1.isStrategyProof)((ags) => (0, mechanism_design_1.vcgMechanism)(ags, ['x', 'y']), 100);
|
|
46
|
+
(0, vitest_1.expect)(sp).toBe(true);
|
|
47
|
+
});
|
|
48
|
+
(0, vitest_1.it)('VCG combinatorial: 2 agents, 2 items, valuations sobre bundles', () => {
|
|
49
|
+
const items = ['A', 'B'];
|
|
50
|
+
const agents = [
|
|
51
|
+
// 'p' valora el bundle entero más alto que cualquier item individual.
|
|
52
|
+
agent('p', { A: 4, B: 4, 'A+B': 15 }),
|
|
53
|
+
agent('q', { A: 5, B: 5, 'A+B': 6 }),
|
|
54
|
+
];
|
|
55
|
+
const out = (0, mechanism_design_1.vcgMechanism)(agents, items);
|
|
56
|
+
// Óptimo: p se queda con A+B (welfare 15) vs split (4+5? — p:B=4, q:A=5 → 9).
|
|
57
|
+
(0, vitest_1.expect)(out.allocation.get('p')).toBe('A+B');
|
|
58
|
+
(0, vitest_1.expect)(out.allocation.has('q')).toBe(false);
|
|
59
|
+
// Sin p: q se queda con A+B (6). En alloc q tiene 0. Pago p = 6.
|
|
60
|
+
(0, vitest_1.expect)(out.payments.get('p')).toBe(6);
|
|
61
|
+
});
|
|
62
|
+
(0, vitest_1.it)('VCG: agente con valuation 0 no recibe nada', () => {
|
|
63
|
+
const items = ['x'];
|
|
64
|
+
const agents = [agent('a', { x: 0 }), agent('b', { x: 5 })];
|
|
65
|
+
const out = (0, mechanism_design_1.vcgMechanism)(agents, items);
|
|
66
|
+
(0, vitest_1.expect)(out.allocation.get('b')).toBe('x');
|
|
67
|
+
(0, vitest_1.expect)(out.allocation.has('a')).toBe(false);
|
|
68
|
+
(0, vitest_1.expect)(out.payments.get('b')).toBe(0);
|
|
69
|
+
});
|
|
70
|
+
});
|
|
71
|
+
(0, vitest_1.describe)('mechanism-design — sealed-bid auctions', () => {
|
|
72
|
+
(0, vitest_1.it)('First-price: gana max bid y paga su propio bid', () => {
|
|
73
|
+
const bids = new Map([
|
|
74
|
+
['a', 7],
|
|
75
|
+
['b', 5],
|
|
76
|
+
['c', 3],
|
|
77
|
+
]);
|
|
78
|
+
const r = (0, mechanism_design_1.firstPriceSealed)(bids);
|
|
79
|
+
(0, vitest_1.expect)(r.winner).toBe('a');
|
|
80
|
+
(0, vitest_1.expect)(r.payment).toBe(7);
|
|
81
|
+
});
|
|
82
|
+
(0, vitest_1.it)('Second-price (Vickrey): gana max bid y paga el segundo', () => {
|
|
83
|
+
const bids = new Map([
|
|
84
|
+
['a', 10],
|
|
85
|
+
['b', 7],
|
|
86
|
+
['c', 3],
|
|
87
|
+
]);
|
|
88
|
+
const r = (0, mechanism_design_1.secondPriceSealed)(bids);
|
|
89
|
+
(0, vitest_1.expect)(r.winner).toBe('a');
|
|
90
|
+
(0, vitest_1.expect)(r.payment).toBe(7);
|
|
91
|
+
});
|
|
92
|
+
(0, vitest_1.it)('Second-price = VCG cuando hay un solo item', () => {
|
|
93
|
+
const items = ['item'];
|
|
94
|
+
const agents = [agent('a', { item: 10 }), agent('b', { item: 7 }), agent('c', { item: 3 })];
|
|
95
|
+
const vcg = (0, mechanism_design_1.vcgMechanism)(agents, items);
|
|
96
|
+
const bids = new Map([
|
|
97
|
+
['a', 10],
|
|
98
|
+
['b', 7],
|
|
99
|
+
['c', 3],
|
|
100
|
+
]);
|
|
101
|
+
const sp = (0, mechanism_design_1.secondPriceSealed)(bids);
|
|
102
|
+
(0, vitest_1.expect)(sp.winner).toBe('a');
|
|
103
|
+
(0, vitest_1.expect)(sp.payment).toBe(vcg.payments.get('a'));
|
|
104
|
+
});
|
|
105
|
+
(0, vitest_1.it)('Auctions sin bidders válidos: no hay ganador', () => {
|
|
106
|
+
const empty = new Map();
|
|
107
|
+
(0, vitest_1.expect)((0, mechanism_design_1.firstPriceSealed)(empty).winner).toBe('');
|
|
108
|
+
(0, vitest_1.expect)((0, mechanism_design_1.secondPriceSealed)(empty).winner).toBe('');
|
|
109
|
+
(0, vitest_1.expect)((0, mechanism_design_1.firstPriceSealed)(empty).payment).toBe(0);
|
|
110
|
+
(0, vitest_1.expect)((0, mechanism_design_1.secondPriceSealed)(empty).payment).toBe(0);
|
|
111
|
+
});
|
|
112
|
+
(0, vitest_1.it)('Second-price con un solo bidder: paga 0', () => {
|
|
113
|
+
const bids = new Map([['solo', 5]]);
|
|
114
|
+
const r = (0, mechanism_design_1.secondPriceSealed)(bids);
|
|
115
|
+
(0, vitest_1.expect)(r.winner).toBe('solo');
|
|
116
|
+
(0, vitest_1.expect)(r.payment).toBe(0);
|
|
117
|
+
});
|
|
118
|
+
});
|
|
119
|
+
(0, vitest_1.describe)('mechanism-design — English and Dutch', () => {
|
|
120
|
+
(0, vitest_1.it)('English ascending termina cuando el 2do desiste — paga ≈ 2do precio', () => {
|
|
121
|
+
const bids = new Map([
|
|
122
|
+
['a', 10],
|
|
123
|
+
['b', 7],
|
|
124
|
+
['c', 4],
|
|
125
|
+
]);
|
|
126
|
+
const r = (0, mechanism_design_1.englishAuction)(bids, 1);
|
|
127
|
+
(0, vitest_1.expect)(r.winner).toBe('a');
|
|
128
|
+
// increment=1, second=7 → cae en grid → paga exactamente 7.
|
|
129
|
+
(0, vitest_1.expect)(r.payment).toBe(7);
|
|
130
|
+
});
|
|
131
|
+
(0, vitest_1.it)('English con increment grande: paga next step sobre el 2do precio', () => {
|
|
132
|
+
const bids = new Map([
|
|
133
|
+
['a', 100],
|
|
134
|
+
['b', 65],
|
|
135
|
+
]);
|
|
136
|
+
const r = (0, mechanism_design_1.englishAuction)(bids, 10);
|
|
137
|
+
(0, vitest_1.expect)(r.winner).toBe('a');
|
|
138
|
+
// second=65 no es múltiplo de 10 → paga 70.
|
|
139
|
+
(0, vitest_1.expect)(r.payment).toBe(70);
|
|
140
|
+
});
|
|
141
|
+
(0, vitest_1.it)('Dutch descending equivale a first-price', () => {
|
|
142
|
+
// Si cada bidder está dispuesto a aceptar a su valuation,
|
|
143
|
+
// el primero en cruzar el precio es el de mayor valuation.
|
|
144
|
+
const bidders = new Map([
|
|
145
|
+
['a', 10],
|
|
146
|
+
['b', 7],
|
|
147
|
+
['c', 4],
|
|
148
|
+
]);
|
|
149
|
+
const r = (0, mechanism_design_1.dutchAuction)(20, bidders, 1);
|
|
150
|
+
(0, vitest_1.expect)(r.winner).toBe('a');
|
|
151
|
+
// Reloj parte de 20, baja a 10 → 'a' acepta.
|
|
152
|
+
(0, vitest_1.expect)(r.payment).toBe(10);
|
|
153
|
+
});
|
|
154
|
+
(0, vitest_1.it)('Dutch sin nadie dispuesto: no se vende', () => {
|
|
155
|
+
const bidders = new Map();
|
|
156
|
+
const r = (0, mechanism_design_1.dutchAuction)(10, bidders, 1);
|
|
157
|
+
(0, vitest_1.expect)(r.winner).toBe('');
|
|
158
|
+
(0, vitest_1.expect)(r.payment).toBe(0);
|
|
159
|
+
});
|
|
160
|
+
});
|
|
161
|
+
(0, vitest_1.describe)('mechanism-design — Myerson optimal auction', () => {
|
|
162
|
+
(0, vitest_1.it)('virtualValuation: para uniform[0,1], φ(v) = 2v - 1', () => {
|
|
163
|
+
const u = (0, mechanism_design_1.uniformDistribution)(0, 1);
|
|
164
|
+
(0, vitest_1.expect)((0, mechanism_design_1.virtualValuation)(0.5, u)).toBeCloseTo(0, 9);
|
|
165
|
+
(0, vitest_1.expect)((0, mechanism_design_1.virtualValuation)(0.75, u)).toBeCloseTo(0.5, 9);
|
|
166
|
+
(0, vitest_1.expect)((0, mechanism_design_1.virtualValuation)(0.25, u)).toBeCloseTo(-0.5, 9);
|
|
167
|
+
});
|
|
168
|
+
(0, vitest_1.it)('findReserve uniform[0,1] = 1/2', () => {
|
|
169
|
+
const u = (0, mechanism_design_1.uniformDistribution)(0, 1);
|
|
170
|
+
(0, vitest_1.expect)((0, mechanism_design_1.findReserve)(u)).toBeCloseTo(0.5, 6);
|
|
171
|
+
});
|
|
172
|
+
(0, vitest_1.it)('Myerson con bids sobre reserve: gana el mayor, paga max(2do, reserve)', () => {
|
|
173
|
+
const u = (0, mechanism_design_1.uniformDistribution)(0, 1);
|
|
174
|
+
const dists = new Map([
|
|
175
|
+
['a', u],
|
|
176
|
+
['b', u],
|
|
177
|
+
['c', u],
|
|
178
|
+
]);
|
|
179
|
+
const bids = new Map([
|
|
180
|
+
['a', 0.9],
|
|
181
|
+
['b', 0.7],
|
|
182
|
+
['c', 0.3],
|
|
183
|
+
]);
|
|
184
|
+
const r = (0, mechanism_design_1.myersonOptimal)(bids, dists);
|
|
185
|
+
(0, vitest_1.expect)(r.winner).toBe('a');
|
|
186
|
+
// φ_a = 2*0.9-1 = 0.8; φ_b = 2*0.7-1 = 0.4; φ_c = -0.4
|
|
187
|
+
// payment = invertVirtual(target=0.4) = 0.7. > reserve 0.5 → 0.7.
|
|
188
|
+
(0, vitest_1.expect)(r.payment).toBeCloseTo(0.7, 4);
|
|
189
|
+
(0, vitest_1.expect)(r.reserve).toBeCloseTo(0.5, 4);
|
|
190
|
+
});
|
|
191
|
+
(0, vitest_1.it)('Myerson sin nadie sobre reserve: no se vende', () => {
|
|
192
|
+
const u = (0, mechanism_design_1.uniformDistribution)(0, 1);
|
|
193
|
+
const dists = new Map([
|
|
194
|
+
['a', u],
|
|
195
|
+
['b', u],
|
|
196
|
+
]);
|
|
197
|
+
const bids = new Map([
|
|
198
|
+
['a', 0.3],
|
|
199
|
+
['b', 0.2],
|
|
200
|
+
]);
|
|
201
|
+
const r = (0, mechanism_design_1.myersonOptimal)(bids, dists);
|
|
202
|
+
(0, vitest_1.expect)(r.winner).toBe('');
|
|
203
|
+
(0, vitest_1.expect)(r.payment).toBe(0);
|
|
204
|
+
(0, vitest_1.expect)(r.reserve).toBeCloseTo(0.5, 4);
|
|
205
|
+
});
|
|
206
|
+
(0, vitest_1.it)('Myerson con 1 bidder sobre reserve: paga el reserve', () => {
|
|
207
|
+
const u = (0, mechanism_design_1.uniformDistribution)(0, 1);
|
|
208
|
+
const dists = new Map([
|
|
209
|
+
['a', u],
|
|
210
|
+
['b', u],
|
|
211
|
+
]);
|
|
212
|
+
const bids = new Map([
|
|
213
|
+
['a', 0.8],
|
|
214
|
+
['b', 0.2],
|
|
215
|
+
]);
|
|
216
|
+
const r = (0, mechanism_design_1.myersonOptimal)(bids, dists);
|
|
217
|
+
(0, vitest_1.expect)(r.winner).toBe('a');
|
|
218
|
+
// φ_b = -0.6, target = max(-0.6, 0) = 0 → paga reserve = 0.5.
|
|
219
|
+
(0, vitest_1.expect)(r.payment).toBeCloseTo(0.5, 4);
|
|
220
|
+
});
|
|
221
|
+
});
|
|
222
|
+
(0, vitest_1.describe)('mechanism-design — revenue equivalence', () => {
|
|
223
|
+
(0, vitest_1.it)('Revenue equivalence: 1st-price (con shading) ≈ 2nd-price truthful', () => {
|
|
224
|
+
// Setup: 2 bidders IID uniform[0,1]. Equilibrio simétrico de
|
|
225
|
+
// 1st-price: b(v) = (n-1)/n · v = v/2. Para 2nd-price es v.
|
|
226
|
+
const u = (0, mechanism_design_1.uniformDistribution)(0, 1);
|
|
227
|
+
const dists = new Map([
|
|
228
|
+
['a', u],
|
|
229
|
+
['b', u],
|
|
230
|
+
]);
|
|
231
|
+
// 1st-price con shading aplicado a las valuations sampleadas.
|
|
232
|
+
const firstPriceWithShade = (bids) => {
|
|
233
|
+
const shaded = new Map();
|
|
234
|
+
for (const [id, v] of bids)
|
|
235
|
+
shaded.set(id, v * 0.5);
|
|
236
|
+
return (0, mechanism_design_1.firstPriceSealed)(shaded);
|
|
237
|
+
};
|
|
238
|
+
const rev1 = (0, mechanism_design_1.expectedRevenue)(firstPriceWithShade, dists, 4000);
|
|
239
|
+
const rev2 = (0, mechanism_design_1.expectedRevenue)(mechanism_design_1.secondPriceSealed, dists, 4000);
|
|
240
|
+
// Ambos deberían dar ~1/3 (resultado clásico para n=2, uniform[0,1]).
|
|
241
|
+
// Banda ancha por Monte Carlo (4k samples).
|
|
242
|
+
(0, vitest_1.expect)(rev1).toBeGreaterThan(0.27);
|
|
243
|
+
(0, vitest_1.expect)(rev1).toBeLessThan(0.4);
|
|
244
|
+
(0, vitest_1.expect)(rev2).toBeGreaterThan(0.27);
|
|
245
|
+
(0, vitest_1.expect)(rev2).toBeLessThan(0.4);
|
|
246
|
+
(0, vitest_1.expect)(Math.abs(rev1 - rev2)).toBeLessThan(0.05);
|
|
247
|
+
});
|
|
248
|
+
(0, vitest_1.it)('Myerson optimal supera (o iguala) a 2nd-price sin reserve en expected revenue', () => {
|
|
249
|
+
const u = (0, mechanism_design_1.uniformDistribution)(0, 1);
|
|
250
|
+
const dists = new Map([
|
|
251
|
+
['a', u],
|
|
252
|
+
['b', u],
|
|
253
|
+
]);
|
|
254
|
+
const myer = (0, mechanism_design_1.expectedRevenue)((bids) => {
|
|
255
|
+
const r = (0, mechanism_design_1.myersonOptimal)(bids, dists);
|
|
256
|
+
return { winner: r.winner, payment: r.payment };
|
|
257
|
+
}, dists, 4000);
|
|
258
|
+
const second = (0, mechanism_design_1.expectedRevenue)(mechanism_design_1.secondPriceSealed, dists, 4000);
|
|
259
|
+
// Myerson > 2nd-price (reserve eleva el precio mínimo).
|
|
260
|
+
// Para n=2 uniform[0,1]: 2nd-price = 1/3 ≈ 0.333; Myerson = 5/12 ≈ 0.417.
|
|
261
|
+
(0, vitest_1.expect)(myer).toBeGreaterThan(second - 0.02);
|
|
262
|
+
});
|
|
263
|
+
});
|
|
264
|
+
(0, vitest_1.describe)('mechanism-design — invariants', () => {
|
|
265
|
+
(0, vitest_1.it)('VCG payments son no-negativos para valuations no-negativas', () => {
|
|
266
|
+
const items = ['x', 'y', 'z'];
|
|
267
|
+
const agents = [
|
|
268
|
+
agent('a', { x: 7, y: 3, z: 1 }),
|
|
269
|
+
agent('b', { x: 4, y: 8, z: 2 }),
|
|
270
|
+
agent('c', { x: 1, y: 1, z: 9 }),
|
|
271
|
+
];
|
|
272
|
+
const out = (0, mechanism_design_1.vcgMechanism)(agents, items);
|
|
273
|
+
for (const p of out.payments.values()) {
|
|
274
|
+
(0, vitest_1.expect)(p).toBeGreaterThanOrEqual(-1e-9);
|
|
275
|
+
}
|
|
276
|
+
});
|
|
277
|
+
(0, vitest_1.it)('Allocation de VCG no asigna el mismo item a dos agentes', () => {
|
|
278
|
+
const items = ['x', 'y'];
|
|
279
|
+
const agents = [
|
|
280
|
+
agent('a', { x: 5, y: 5 }),
|
|
281
|
+
agent('b', { x: 5, y: 5 }),
|
|
282
|
+
agent('c', { x: 5, y: 5 }),
|
|
283
|
+
];
|
|
284
|
+
const out = (0, mechanism_design_1.vcgMechanism)(agents, items);
|
|
285
|
+
const assigned = [...out.allocation.values()];
|
|
286
|
+
const unique = new Set(assigned);
|
|
287
|
+
(0, vitest_1.expect)(unique.size).toBe(assigned.length);
|
|
288
|
+
});
|
|
289
|
+
});
|
|
290
|
+
//# sourceMappingURL=mechanism-design.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mechanism-design.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/mechanism-design/mechanism-design.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0EAe6C;AAE7C,SAAS,KAAK,CAAC,EAAU,EAAE,IAA4B;IACrD,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;AAC1D,CAAC;AAED,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5F,MAAM,GAAG,GAAG,IAAA,+BAAY,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,wEAAwE;QACxE,mEAAmE;QACnE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,MAAM,GAAG,GAAG,IAAA,+BAAY,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,wEAAwE;QACxE,sDAAsD;QACtD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG;YACb,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;SAC3B,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,+BAAY,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,IAAA,gCAAa,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAG,IAAA,kCAAe,EAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,+BAAY,EAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG;YACb,sEAAsE;YACtE,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YACrC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACrC,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,+BAAY,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxC,8EAA8E;QAC9E,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,iEAAiE;QACjE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAG,IAAA,+BAAY,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;YACnB,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,mCAAgB,EAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;YACnB,CAAC,GAAG,EAAE,EAAE,CAAC;YACT,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,oCAAiB,EAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5F,MAAM,GAAG,GAAG,IAAA,+BAAY,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;YACnB,CAAC,GAAG,EAAE,EAAE,CAAC;YACT,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,IAAA,oCAAiB,EAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,mCAAgB,EAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,oCAAiB,EAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,mCAAgB,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,oCAAiB,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,IAAA,oCAAiB,EAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;YACnB,CAAC,GAAG,EAAE,EAAE,CAAC;YACT,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,iCAAc,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,4DAA4D;QAC5D,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;YACnB,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,EAAE,CAAC;SACV,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,iCAAc,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,4CAA4C;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,0DAA0D;QAC1D,2DAA2D;QAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;YACtB,CAAC,GAAG,EAAE,EAAE,CAAC;YACT,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,+BAAY,EAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,6CAA6C;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,+BAAY,EAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAA,sCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,mCAAgB,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,mCAAgB,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,mCAAgB,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,sCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,8BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,IAAA,sCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,GAAG,CAA6B;YAChD,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;YACnB,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,iCAAc,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,uDAAuD;QACvD,kEAAkE;QAClE,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,sCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,GAAG,CAA6B;YAChD,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;YACnB,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,iCAAc,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,sCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,GAAG,CAA6B;YAChD,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;YACnB,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,iCAAc,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,8DAA8D;QAC9D,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,6DAA6D;QAC7D,4DAA4D;QAC5D,MAAM,CAAC,GAAG,IAAA,sCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,GAAG,CAA6B;YAChD,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QAEH,8DAA8D;QAC9D,MAAM,mBAAmB,GAAG,CAAC,IAAyB,EAAE,EAAE;YACxD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;YACzC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC;YACpD,OAAO,IAAA,mCAAgB,EAAC,MAAM,CAAC,CAAC;QAClC,CAAC,CAAC;QAEF,MAAM,IAAI,GAAG,IAAA,kCAAe,EAAC,mBAAmB,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,IAAA,kCAAe,EAAC,oCAAiB,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE7D,sEAAsE;QACtE,4CAA4C;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,GAAG,IAAA,sCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,GAAG,CAA6B;YAChD,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAA,kCAAe,EAC1B,CAAC,IAAI,EAAE,EAAE;YACP,MAAM,CAAC,GAAG,IAAA,iCAAc,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QAClD,CAAC,EACD,KAAK,EACL,IAAI,CACL,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,kCAAe,EAAC,oCAAiB,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/D,wDAAwD;QACxD,0EAA0E;QAC1E,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG;YACb,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;SACjC,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,+BAAY,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YACtC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG;YACb,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;SAC3B,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,+BAAY,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"probabilistic.test.d.ts","sourceRoot":"","sources":["../../../../src/tests/reasoning/probabilistic/probabilistic.test.ts"],"names":[],"mappings":""}
|