@mark1russell7/coeval 0.11.0 → 0.13.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/build/index.d.ts +17 -6
- package/build/index.d.ts.map +1 -1
- package/build/index.js +80 -23
- package/build/index.js.map +1 -1
- package/package.json +1 -1
- package/src/conform.ts +3 -2
- package/src/deref.ts +11 -2
- package/src/evaluate.ts +42 -13
- package/src/reference.ts +5 -3
- package/src/world.ts +29 -4
package/build/index.d.ts
CHANGED
|
@@ -467,7 +467,8 @@ export declare function context(parts?: Partial<Context>): Context;
|
|
|
467
467
|
* - `#NAME?`: the root `names` has no such name.
|
|
468
468
|
* - `#N/A`: a step reaches nothing.
|
|
469
469
|
* - `#STEP?`: a step is not a key and not a step document.
|
|
470
|
-
* - `#CYCLE!`: the references form a cycle.
|
|
470
|
+
* - `#CYCLE!`: the references form a cycle, or the resolution follows more than 64 references. The reason tells
|
|
471
|
+
* which (DEREF.CHAIN-REASON).
|
|
471
472
|
*
|
|
472
473
|
* @param nav - The world and the code of the evaluators.
|
|
473
474
|
* @param ctx - The context.
|
|
@@ -955,7 +956,15 @@ interface World {
|
|
|
955
956
|
readonly defaults: Readonly<Record<string, string>>;
|
|
956
957
|
readonly fallback?: Kind;
|
|
957
958
|
}
|
|
958
|
-
/**
|
|
959
|
+
/**
|
|
960
|
+
* The result of a lookup of a type in the world. The reasons of a failure:
|
|
961
|
+
*
|
|
962
|
+
* - `unknown`: the world has no entry for a key, and no fallback kind.
|
|
963
|
+
* - `cycle`: the aliases form a cycle. The lookup reached a path a second time.
|
|
964
|
+
* - `too-long`: the lookup followed more than 32 aliases without a path a second time (DEREF.CHAIN-REASON).
|
|
965
|
+
* - `not-a-kind`: the path reaches an entry of the wrong sort. An example is an alias whose target is not in the world.
|
|
966
|
+
* - `computed`: the type is a computed type, thus it has no keys.
|
|
967
|
+
*/
|
|
959
968
|
type Lookup = {
|
|
960
969
|
readonly ok: true;
|
|
961
970
|
readonly kind: Kind;
|
|
@@ -963,7 +972,7 @@ type Lookup = {
|
|
|
963
972
|
readonly aliases: number;
|
|
964
973
|
} | {
|
|
965
974
|
readonly ok: false;
|
|
966
|
-
readonly reason: "unknown" | "cycle" | "not-a-kind" | "computed";
|
|
975
|
+
readonly reason: "unknown" | "cycle" | "too-long" | "not-a-kind" | "computed";
|
|
967
976
|
readonly path: readonly Key[];
|
|
968
977
|
};
|
|
969
978
|
/**
|
|
@@ -989,7 +998,8 @@ export declare function isAlias(entry: WorldEntry | undefined): entry is Alias;
|
|
|
989
998
|
export declare function isNamespace(entry: WorldEntry | undefined): entry is Namespace;
|
|
990
999
|
/**
|
|
991
1000
|
* This function finds the kind that a type names. It walks the path from the root of the world, one key at a
|
|
992
|
-
* time. An alias on the way is followed until a kind answers (collapse). A cycle of aliases stops the lookup
|
|
1001
|
+
* time. An alias on the way is followed until a kind answers (collapse). A cycle of aliases stops the lookup, and so
|
|
1002
|
+
* does a chain of more than 32 aliases. In a
|
|
993
1003
|
* namespace with a fallback, a key that the namespace does not have gets the fallback kind. In an open world, a first
|
|
994
1004
|
* key that the world does not have gets the fallback kind of the world.
|
|
995
1005
|
*
|
|
@@ -1520,8 +1530,9 @@ export declare function capKeys(kind: Cap): readonly string[];
|
|
|
1520
1530
|
*/
|
|
1521
1531
|
export declare function permits(caps: readonly Cap[], kind: Cap): boolean;
|
|
1522
1532
|
/**
|
|
1523
|
-
* This function narrows a context for a part
|
|
1524
|
-
*
|
|
1533
|
+
* This function narrows a context for a part. The part keeps the meet `intersectCaps` of its list and the list of its
|
|
1534
|
+
* parent (CAP.MEET). Thus an evaluator cannot give a part more effects than it has. A context whose list the parent
|
|
1535
|
+
* permits stays the same object.
|
|
1525
1536
|
*
|
|
1526
1537
|
* @param parent - The context of the parent.
|
|
1527
1538
|
* @param next - The context that the evaluator gives the part.
|
package/build/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","names":["Part","Shape"],"sources":["../src/doc.ts","../src/errors.ts","../src/deref.ts","../src/types.ts","../src/world.ts","../src/ladder.ts","../src/static.ts","../src/typing.ts","../src/evaluate.ts","../src/merge.ts","../src/classify.ts","../src/parts.ts","../src/stdlib.ts","../src/order.ts","../src/context.ts","../src/facts.ts","../src/effects.ts","../src/formula.ts","../src/codec.ts","../src/syntax.ts","../src/reference.ts","../src/agree.ts","../src/conform.ts","../src/same.ts","../src/reads.ts","../src/durable.ts","../src/schedule.ts","../src/graph.ts","../src/replay.ts","../src/generate.ts","../src/providers.ts"],"mappings":";;KACY,mDAAmD;YAAmC,cAAA;;;KAGtF;YAAuC,cAAA;;;KAGvC;;;;;;;;;;;KAYA,4BAA4B;WAAmB;WAAsB,gBAAgB;;;;;;KAMrF;;WAED,MAAM;;WAEN,OAAO;;WAEP;;WAEA,MAAM,SAAS;;;qBAIb;;;;;;;;wBASG,SAAS,iBAAiB,SAAS;;;;;;;;wBAanC,MAAM,QAAQ,YAAY,cAAc;;;;;;;wBAUxC,MAAM,iBAAiB,SAAS;;;;;;;;wBAWhC,UAAU,iBAAiB,SAAS;;;;;;;wBAcpC,SAAS,MAAM,mBAAmB;;;;;;;wBAalC,SAAS,MAAM;;;;;;;;;wBAqBf,WAAW,iBAAiB,SAAS,aAAa;;UAUjD;WACN,UAAU;;WAEV,QAAQ,SAAS,eAAe;;;;;;;;;;wBAW3B,OAAO,gBAAgB,4BAA4B;;;;;;;;;wBAqBnD,MAAM,MAAM,SAAS,OAAO,MAAM;WAAmB;WAAwB,MAAM;IAAgC;;;;;;;wBAUnH,OAAO,eAAe,SAAS;;;;;;;wBAU/B,OAAO,KAAK,WAAW;;;;;;;wBAevB,SAAS,iBAAiB;;;;;;;;;;;;;;;;;;wBA+B1B,UAAU,YAAY;;;;KC5O1B;;KAoBA,YAAY;;;;;;;UAQP;WACN,MAAM;WACN;WACA,iBAAiB;WACjB;;;KAIC,OAAO;WAA0B;WAAmB,OAAO;;WAAiB;WAAoB,OAAO;;;KAGvG;WAAoB;WAAoB,OAAO;;;;;;;;wBAQ3C,GAAG,GAAG,OAAO,IAAI,OAAO;;;;;;;;;wBAYxB,KAAK,MAAM,WAAW,gBAAgB;WAAiB,iBAAiB;WAAgB;IAAyB;;;;;;;;;wBAejH,OAAO,GAAG,QAAQ,OAAO,IAAI,gBAAgB,QAAQ,OAAO;;;;;qBAS/D,gBAAgB;WAClB,OAAO;;;;;;EAOhB,YAAY,OAAO;;;;;;;;wBAaL,gBAAgB;;;;;;;;;wBAmBhB,OAAO,gBAAgB,cAAc;;;;;;;wBAgBrC,SAAS;;;;;;;qBCrIZ;;;;;UAMI;YACL;;WAED;;;;;;;;EAQT,MAAM,KAAK,MAAM;;;;;;;;;EASjB,KAAK,KAAK;;;;;;EAMV;;;;;;;;EAQA,SAAS,eAAe;aAAmB,OAAO;;;;KAIxC;;;;;;;wBAQI,YAAY,iBAAiB,SAAS;;qBAKzC;;KAGD,eAAe;;;;;KAMf,wBAAwB;;;;;;;;;;UAWnB;WACN,MAAM;WACN,OAAO,SAAS;WAChB,OAAO;WACP,OAAO;WACP,eAAe;;;KAId,aAAa,KAAK,UAAU,KAAK,QAAQ;;;;;KAMzC;WAAwB;WAAmB,OAAO;;WAAqB;WAAoB;WAAyB,OAAO;;;UAGtH;;WAEN,MAAM;;WAEN,MAAM;WACN,SAAS;;;;;;;;EAQlB,MAAM,OAAO,OAAO,KAAK,MAAM;;;KAIrB,UAAU,OAAO,cAAc;;;;;;;;;;UAW1B;WACN,OAAO;WACP,SAAS,SAAS,eAAe;WACjC,UAAU,SAAS,eAAe;WAClC;WACA,iBAAiB;WACjB,SAAS,mBAAmB;;;KAI3B;;UAGK;WACN,MAAM;WACN,OAAO;WACP,IAAI;;;KAIH;;KAGA;WACG;WAAmB,OAAO;WAAgB,eAAe;;WACzD;WAAoB,MAAM,cAAc;WAAoB;WAAyB,eAAe;;;UAGlG;;WAEN;;;;;;;;;;;;;;wBAiIK,UAAU,KAAK,WAAW,OAAO,OAAO,KAAK;WAAiB,OAAO;WAAgB,IAAI;;;;;;;;wBA4BzF,MAAM,iBAAiB,SAAS;WAAsB,gBAAgB;;;;;;;;;;wBAoBtE,WAAW,OAAO,QAAQ;;;;;;;wBAe1B,QAAQ,QAAO,QAAQ,WAAgB;;;;;;;;;;;;;;;;;;;;;;;wBAwNvC,QAAQ,KAAK,WAAW,KAAK,SAAS,0BAA0B,UAAS,iBAAsB;;;;;;;wBAwG/F,aAAa,OAAO;;;;;;;;;;;;;;;;;KC5oBxB;WAEG,MAAM;;WACN,QAAQ,SAAS,eAAe;WAAsB;WAAuC;;WAC7F,aAAa;WAAsB,IAAI;;WACvC,gBAAgB;;WAChB,cAAc;;;;;;;;;;UAUZ;;;;;;;WAON,KAAK;;WAEL;;WAEA;;;;;;WAMA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ;;;;;;;UAQF;;;;;;;WAON,SAAS,mBAAmB;;;;;;;WAO5B,SAAS,MAAM;;;UAIT;WACN,aAAa;WACb;;;;;;qBAOE,aAAa,SAAS,eAAe;;;;;;;;;;;;;;;;;wBAqKlC,OAAO,gBAAgB,MAAM,WAAW,UAAU,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;wBA4E1E,KAAK,OAAO,WAAW,UAAU,WAAW,UAAU,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;;wBAgH9E,KAAK,GAAG,WAAW,GAAG,WAAW,UAAU,SAAS,eAAe,WAAW;;;;;;;;;;;;;;;wBAkE9E,SAAS,MAAM;;;;;;;;;;wBAyMf,WAAW,eAAe,UAAU,SAAS,eAAe,oBAAoB;;;;KCtsBpF;;;;;;;;;;;;;;;;;;;;;KAsBA;WACG;;WACA;WAAwB;WAAsB;WAA4B,2BAA2B;WAAmB,SAAS;;WACjI;WAAwB;WAAsB,OAAO;WAAgB;WAA6B,SAAS;;WAC3G;WAAuB;WAAsB,OAAO;WAAgB,SAAS;;WAE7E;WACA,4BAA4B,SAAS,eAAe;WACpD;WACA;WACA,OAAO;WACP;WACA,SAAS;;WAET;WAAwB;WAAsB,SAAS;;WACvD;;WACA;WAA0B;WAA0B;WAAuB;;WAC3E;WAAuB,iBAAiB;;;KAG3C,YAAY;;;;;;;;;;KAWZ;WACG;;WACA,iBAAiB;;WACjB,iBAAiB;;WACjB,iBAAiB;WAAgB;;WACjC;;;;;;UAME;WACN,OAAO;;WAEP,uBAAuB;;WAEvB;;;;;;;;;;;;;KAcC;WACG;WAAuB,wBAAwB;;WAC/C;WAAuB,wBAAwB;;WAC/C;WAAuB,eAAe;WAAgB,wBAAwB;;;;;;;;;;UAU5E;WACN,wBAAwB;WACxB;;;;;;;;;;;;;;;UAgBM;WACN;WACA;WACA,gBAAgB;WAChB,iBAAiB;;;;;;;;;;;;;UAcX;WACN;WACA;aAAkB,MAAM;aAAe,SAAS;;WAChD,UAAU;;;;;;;;;;;;UAaJ;WACN,YAAY,SAAS,eAAe;WACpC,OAAO,SAAS,eAAe;WAC/B,aAAa,SAAS,eAAe;;;;;;;;;wBAUhC,aAAa,MAAM;;;;;;;UAWlB,aAAa;;;;;WAKnB,OAAO,SAAS;;WAEhB,QAAQ;;WAER,iBAAiB;;;;;;;WAOjB,gBAAgB;;WAEhB,OAAO;;;;;;;WAOP;;;;;;;WAOA,cAAc;;;;;WAKd,SAAS;;;;;WAKT,OAAO;;WAEP;;;;;;KAOC,cAAc,SAAS;WAAyD;;;;;;;;;;;;wBAY5E,cAAc,MAAM,MAAM;;UAOzB;WACN,OAAO,SAAS,eAAe;WAC/B,WAAW;;;KAIV;WAAmB;WAAsB,gBAAgB;;;KAGzD,aAAa,OAAO,YAAY;;;;;UAM3B;WACN,OAAO,SAAS,eAAe;;;;;WAK/B,UAAU,SAAS;WACnB,WAAW;;;KAIV;WACG;WAAmB,MAAM;WAAe,eAAe;WAAgB;;WACvE;WAAoB;WAAkE,eAAe;;;;;;;;wBAQpG,OAAO,OAAO,yBAAyB,SAAS;;;;;;;wBAUhD,QAAQ,OAAO,yBAAyB,SAAS;;;;;;;wBAUjD,YAAY,OAAO,yBAAyB,SAAS;;;;;;;;;;;wBAmBrD,WAAW,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBA+CzC,cAAc,SAAS,SAAS,eAAe,eAAe;;;;;;;;wBA8B9D,aAAa,cAAc,MAAM,OAAO;;;;;;;wBAaxC,cAAc;;;;qBCtZjB;;KAGD,eAAe;;KAGf;;;;;;;;;KAUA;;UAGK;WACN,MAAM;WACN,SAAS;;WAET;;WAEA;;WAEA,SAAS;;;UAIH;WACN;;WAEA;;WAEA,OAAO;;WAEP;WACA,gBAAgB;;;;;;UAOV;WACN,OAAO;WACP,MAAM,SAAS;;;UAIT;;WAEN;;;;;;;;;;wBAeK,OAAO,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBAYrC,UAAU,OAAO,OAAO,MAAM,UAAU;;;;;;;;;;;;;;;wBAwDxC,IAAI,OAAO,OAAO,KAAK,QAAQ,cAAc,UAAS,aAAkB;;;;UCpIvE;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,SAAS;;WAET,eAAe;;WAEf,KAAK;;WAEL;;WAEA,OAAO;;WAEP,oBAAoB;;WAEpB;;WAEA,OAAO;;WAEP,OAAO;;WAEP;;;;;WAKA,gBAAgB;;;UAIV;;WAEN,gBAAgB;;WAEhB,aAAa;WACb;WACA;;;UAIM;;WAEN;;WAEA;;WAEA,gBAAgB;;;;;;WAMhB,WAAW,SAAS;;;;;;;;;;;;;;wBAgGf,KAAK,OAAO,OAAO,cAAc,QAAQ,OAAO,4BAA4B,UAAS;;UA0FpF;;WAEN,OAAO;;WAEP,gBAAgB;;WAEhB,aAAa;;WAEb,eAAe;WACf;;WAEA;;WAEA;;;;;;;;;;;;wBAaK,OAAO,OAAO,OAAO,cAAc,UAAS,uBAA4B;;;;;;;;;;;wBAmDxE,QAAQ,OAAO,OAAO,cAAc,SAAS,KAAK,oBAAoB,UAAS;;UAW9E;WACN,MAAM;;WAEN,gBAAgB;WAChB;;WAEA,cAAc;;WAEd,WAAW;;WAEX,QAAQ;;;UAIF;;WAEN;;WAEA;;;;;WAKA,gBAAgB;;;;;;;;;WAShB;;;;;;WAMA;;WAEA,SAAS;;;;;;;;WAQT;;;;;WAKA,YAAY;;;UAIN;;WAEN,MAAM;;WAEN,iBAAiB;;WAEjB,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBA+FZ,MAAM,SAAS,SAAS,cAAc,UAAS,wBAA6B;;;;;;;;;;;;;;;;;;;wBAsB5E,UAAU,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;;UAWtE;;WAEN;;WAEA,eAAe;;WAEf;;WAEA;WACA;;;;;;;;;;;;;;;wBAqBK,WAAW,SAAS,SAAS,oCAAoC;;;;UCriBhE;;WAEN,mBAAmB;;WAEnB,KAAK;;WAEL,UAAU;;WAEV,0BAA0B;;WAE1B;WACA,SAAS;;;;;;;;EAQlB,OAAO,eAAe,QAAQ;;;;;;;;EAQ9B,SAAS,eAAe;;;;;;;;;;EAUxB,SAAS,eAAe;;;;;;;;;EASxB,SAAS,eAAe,eAAe;;;UAIxB;;WAEN,SAAS;;WAET;;WAEA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ,KAAK;;;;;;;;;;;UAYP;;WAEN,QAAQ,SAAS,eAAe;;WAEhC,OAAO;;WAEP,QAAQ;;WAER,QAAQ;;;;;;qBAON,WAAW;;UAGP;;WAEN,gBAAgB;WAChB;WACA,WAAW;WACX,QAAQ;;;;;;;UAQF;;;;;;;;;WASN,QAAQ,OAAO,WAAW,eAAe,UAAU;;;;;;;;;WASnD,QAAQ,OAAO,WAAW,SAAS,SAAS,yBAAyB;;;UAI/D;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,MAAM;;WAEN,WAAW;;;;;;;;;;;;;wBC5GN,YAAY,QAAO,SAAS,0BAA+B,gBAAe,OAAY,OAAM,QAAe;;;;;;;wBAU3G,QAAQ,MAAM;;;;;;;;;;wBAad,QAAQ,eAAe,OAAO,MAAM;;;;;;;;;wBAgBpC,OAAO,QAAQ,SAAS,MAAM,UAAU;;;;;;;;;wBAoBxC,cAAc,YAAY,OAAO,YAAY,iBAAiB;;;;;;;;;;wBAkC9D,SAAS,gBAAgB,wBAAwB,eAAe,OAAO,eAAe,iBAAiB;;;;;;KA2C3G,QAAQ,UAAU,kBAAkB;;UAG/B;;WAEN;;WAEA;;WAEA,eAAe;WACf;;WAEA;;WAEA;;WAEA,gBAAgB;;WAEhB,SAAS;;;;;;;WAOT;;;;;WAKA,UAAU;;;;;;;UAQJ;;WAEN;;;;;WAKA,SAAS;;;;;;WAMT;;;;;WAKA;;WAEA,gBAAgB;;;;;;;KA4Df,WAAW,QAAQ;;qBAGlB;;;;;UAMI;;;;;;;WAON,WAAW,aAAa;;;;;;;;WAQxB,QAAQ,aAAa;;;;;;UAuDf;WACN,SAAS;;WAET;;;;;;;;;EAST,QAAQ,KAAK,SAAS,0BAA0B,UAAU,iBAAiB;;;;;;;;;;;EAW3E,OAAO,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;;;;EAW1E,UAAU,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;EAQ7E,IAAI,sBAAsB,UAAU,UAAU,aAAa,UAAU,2BAA2B;;;;;;EAMhG;;;;;;;;;UAUe;WACN;WACA;;;;;;;KAQC,QAAQ,KAAK,SAAS,IAAI,YAAY;;;;;KAMtC,WAAW,KAAK,SAAS,IAAI,YAAY;;UAGpC;;WAEN;;WAEA,eAAe;;WAEf;;WAEA,MAAM;;WAEN,KAAK;;;UAIC;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgB;;WAEhB,gBAAgB;WAChB,SAAS;;;;;;;;EAQlB,KAAK;;WAEI;;;;;;UAOMA;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgBA;;WAEhB,SAAS;;WAET,gBAAgB;;WAEhB,UAAU;;WAEV;;;;;;;;EAQT,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;EAQrC,KAAK;;;UAIU;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;WACN;WACA,mBAAmB;WACnB,KAAK;;WAEL;WACA,MAAM;WACN,gBAAgB;WAChB,SAAS;WACT,gBAAgB;;WAEhB,UAAU;EACnB,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;;EASrC,IAAI,gBAAgB,WAAW,UAAU,aAAa,UAAU,2BAA2B;;;;;;;;EAQ3F,KAAK;;;KAIK,UAAU,OAAO,cAAc;;UAG1B;;;;;;;WAON,UAAU,OAAO,iBAAiB;;;;;WAKlC,OAAO;;;KAIN,YAAY,SAAS;;KAGrB,SAAS,OAAO,aAAa;;UAGxB;;;;;;;WAON,aAAa,OAAO,iBAAiB;;;;;;KAOpC,SAAS,QAAQ;;;;;;;;;;;UAYZ,gBAAgB;WACtB,YAAY,SAAS,eAAe;;WAEpC,UAAU,SAAS,eAAe;WAClC;WACA,WAAW,eAAe,OAAO,eAAe,OAAO,SAAS;;;;;;;;;;WAUhE,SAAS,eAAe,OAAO;;;;;;WAM/B,UAAU,SAAS,eAAe;;;;;;;;;;WAUlC,SAAS,eAAe,OAAO,iBAAiB;;;UAI1C;WACN;;WAEA;;WAEA,KAAK;;WAEL;;WAEA,QAAQ;WACR,MAAM;;WAEN;;WAEA,OAAO,SAAS;;WAEhB,eAAe;;WAEf;;WAEA;;WAEA;WACA,QAAQ;WACR,mBAAmB;;WAEnB;;;UAIM;WACN,QAAQ;WACR,OAAO;WACP,kBAAkB;;WAElB;;;UA2CM;WACN;WACA;EACT,iBAAiB,eAAe,sBAAsB;aAAqB;;;;;;;UAO5D;;WAEN,UAAU;;WAEV,SAAS;;;;;WAKT,QAAQ;;;UAIF,mBAAmB;;WAEzB;;WAEA;;;UAIM;;WAEN,UAAU;;;;;WAKV,UAAU;;;;;WAKV,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA,UAAU;;WAEV,QAAQ;;;UAibF;;WAEN;;WAEA;;;;;WAKA;;;;;WAKA;;;UAIM;WACN,SAAS;;WAET;;WAEA,MAAM;;;;;;;;;EASf,SAAS,UAAU,SAAS,UAAU,cAAc;;;;;;;;EAQpD,IAAI,UAAU,SAAS,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;;;wBAkmB5C,QAAQ,SAAS,SAAS,cAAc,UAAS,iBAAsB;;;;;;;;;wBA0EvE,QAAQ,SAAS,SAAS,UAAS,kBAAuB,iBAAiB;;;;;;;;;;;;;;;;;wBA8C3E,SAAS,SAAS,SAAS,cAAc,UAAS,SAAyB,mBAAmB,kBAAkB;;;;;;;;;;;;wBAyB1G,IAAI,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,aAAkB,QAAQ;;;;;;;;wBAmB/G,OAAO,OAAO,WAAW,eAAe,QAAQ;;;;;;;wBAqBhD,QAAQ,OAAO,qBAAqB;;;;;;;;wBAkBpC,SAAS,OAAO,qBAAqB;;;;KCnkEzC,qBAAqB;;;;;UAMhB;WACN,QAAQ,SAAS,eAAe;WAChC,WAAW,SAAS;WACpB,WAAW;WACX,oBAAoB;;;;;;UAOd,oBAAoB,KAAK,QAAQ;WACvC,QAAQ;WACR,oBAAoB;;;;;;UAOd;WACN,MAAM;WACN;WACA;;;qBAIE,mBAAmB;WACrB,oBAAoB;;;;;;EAO7B,YAAY,oBAAoB;;;UAkDjB;;WAEN;;WAEA,QAAQ,SAAS,eAAe;;;;;;;;;;;;;;;;wBAiB3B,aAAa,cAAc,MAAM,mBAAmB,MAAM,YAAY;;;;;;;;;;;;;;;;;wBAyKtE,eAAe,iBAAiB,cAAc,MAAM,UAAU,gBAAgB;;;;;;;;;;;;;;;;;;;;;wBAuJ9E,iBAAiB,iBAAiB,gBAAgB,MAAM,YAAY,kBAAkB;;;;;;;;;;;;;;wBAyEtF,cAAc,OAAO,OAAO,gBAAgB,cAAc;;;;;;;;;;;;;;;;wBAgC1D,gBAAgB,SAAS,SAAS,gBAAgB,cAAc;;;;UC7hB/DC;WACN;WACA;WACA;;;UAIM;;WAEN;;WAEA;;WAEA;;;;;;;;;;;;wBAiBK,SAAS,iBAAiBA,WAAS,OAAO,OAAO;;;;;;;;wBAkBjD,IAAI,OAAO,MAAM,eAAe;;;;UC9C/B;;WAEN,eAAe;;WAEf;WACA,MAAM;WACN;;WAEA;;WAEA,SAAS;;;KAUR;WAEG;;WAEA,gBAAgB;;WAEhB,MAAM;;;;;;;EAOf,KAAK,GAAG,kBAAkB;;WAEjB;WAAoB;WAAyB,aAAa;;;;;;;;;;wBA4DzD,WAAW,OAAO,mBAAmB,OAAO,OAAO;;;;;;KA8GvD;WAEG;;WAEA,KAAK;;WAEL;;WAEA,MAAM;;WAEN,mBAAmB;;;;;WAKnB,OAAO;;WAEP;WAAoB;WAAyB;;;;;;;;;;;;wBAY5C,QAAQ,OAAO,OAAO,gBAAgB,wBAAwB;;;;;;;;;wBAuB9D,YAAY,eAAe,OAAO,kBAAkB;;;;;;;qBC9OvD,WAAW;;qBAoIX,gBAAgB,SAAS,eAAe;;KAmDzC;;qBAGC,0BAA0B;;UAGtB;WACN;;WAEA,gBAAgB;;WAEhB,KAAK;;;;;;;;;;wBAoVA,eAAe,MAAM,OAAO,oBAAoB;;UA8B/C;;;;;;;;WAQN,WAAW,MAAM,OAAO,QAAQ;;WAEhC;;;;;;;;;;wBAeK,cAAc,UAAS,iBAAsB;;qBAoBhD,aAAa,SAAS,eAAe;;;;;qBAiBrC,aAAa,SAAS,eAAe;;qBAiDrC,aAAa;;qBAGb;;;;UC7rBI;WACN;WACA;WACA;;;KAIC,iBAAiB,gBAAgB;;UAG5B;WACN;WACA;;WAEA;;;;;;;;wBASK,WAAW,gBAAgB,sBAAsB;;;;;;;wBAkBjD,UAAU,gBAAgB,sBAAsB;;;;;;;;wBAkBhD,YAAY,gBAAgB,sBAAsB;;;;;;;;;wBAmBlD,eAAe,gBAAgB,YAAY;;;;;;;;wBAiB3C,OAAO,gBAAgB;;;;qBC5F1B;;KAGD,eAAe;;UAGV;WACN,MAAM;WACN;;WAEA;;WAEA;;;qBAIE,oBAAoB;;;;;;;;;;;KA4CrB;;UAGK;WACN;WACA,OAAO;WACP;;;UAIM;WACN;WACA;WACA,MAAM;WACN;WACA,SAAS;WACT,MAAM,SAAS,OAAO,MAAM;;;qBAM1B,qBAAqB;;;;;;;;UCzEjB;;WAEN,MAAM;;WAEN,eAAe;;;;;WAKf;;WAEA;;WAEA;;WAEA,eAAe;;WAEf,gBAAgB;;WAEhB,aAAa;;;UAIP;;;;;WAKN,gBAAgB;;WAEhB,MAAM;;WAEN;;;;;WAKA;;WAEA;;WAEA;;;UAIM;;WAEN;;;;;WAKA;;;;;;;;WAQA,YAAY,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAuGb,QAAQ,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;UCjKpE;;WAEN;;;;;;WAMA,gBAAgB;;;;;;;;;;;;;;;;;;;;wBAmDX,UAAU,SAAS,SAAS,cAAc,UAAS;;;;;;;;;;;;;;;wBA0BnD,YAAY,SAAS,SAAS,mBAAmB,OAAO,eAAe,UAAS,KAAK,mCAAwC;;;;KCzFjI,WAAW;;;;;KAMX,UAAU,sBAAsB,cAAc;;;;;KAM9C,SAAS,MAAM,MAAM,SAAS,SAAS,UAAU,SAAS,eAAe,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UA8BjF;WACN,MAAM,SAAS,eAAe,WAAW,iBAAiB;WAC1D,OAAO,SAAS,eAAe;WAC/B,MAAM,SAAS,eAAe;WAC9B,UAAU;WACV;WACA;WACA,QAAQ,OAAO;WACf,WAAW;WACX,SAAS,gBAAgB,eAAe;WACxC,WAAW,iBAAiB,gBAAgB;WAC5C;WACA;WACA;WACA,OAAO,SAAS,eAAe,qBAAqB,kBAAkB,iBAAiB,qBAAqB;;;;;;;UAQtG;;WAEN,iBAAiB;;WAEjB,OAAO;;WAEP,IAAI;;;qBAOF;WACC,OAAgB;EAA5B,YAAY,OAAgB;;cAGxB;;KAGM,eAAe;YAAoD;aAAqB;;;;;;;;;wBAQpF,UAAU,iBAAiB,SAAS;;;;;qBAQvC,SAAS,SAAS,eAAe;;wBAa9B,SAAS;;;;;;;wBA4CT,gBAAgB,SAAS,eAAe;;;;;;;;;;;wBA2VxC,kBAAkB,UAAS,iBAAsB,SAAS,eAAe;;;;;;;;;;;;;wBAkczE,aAAa,UAAS,kBAAuB,eAAe,OAAO;;;;;;;;;;;;;;;wBAqDnE,aAAa,UAAS,kBAAuB,eAAe,OAAO,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;wBA8CpF,eAAe,UAAS,gBAAqB,OAAM,cAAmB;;;;KC5hCjF,UAAU,SAAS,eAAe;;;;;;;;;;wBAmBvB,aAAa,MAAM,MAAM,SAAS,UAAU;;;;;;;;;;;;;;;wBAkI5C,YAAY,SAAS,KAAK,qBAAqB,iBAAiB;;;;;;;;;wBAqBhE,YAAY,SAAS,SAAS,eAAe;;;;KC/KjD;;;;;KAMA;;UAGK;;WAEN;;WAEA,QAAQ;;WAER;;WAEA,QAAQ;;WAER;;;UAIM;;WAEN;;WAEA;;WAEA;aAA6B;aAA4B;;;WAEzD,QAAQ,SAAS;;;UAIX;;WAEN,SAAS;;WAET,OAAO,0BAA0B;;WAEjC,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA;;WAEA,oBAAoB;;;UAId;;WAEN;;WAEA;;WAEA;;WAEA;;;UAIM;;WAEN;;WAEA,iBAAiB;;WAEjB;;;;;;;UAQM;;WAEN,qBAAqB;;WAErB,WAAW;;WAEX,OAAO;;WAEP,QAAQ;;WAER;;;UAIM;;WAEN;;WAEA;;WAEA;;;KAIC;WAAyB;WAAmB,KAAK;;WAAoB;WAAoB,iBAAiB;;;;;;;qBAOzG,YAAY;;;;;;;;;;wBA6eT,MAAM,SAAS,eAAe,eAAe;;;;;;;;;;wBAwM7C,MAAM,SAAS,eAAe,eAAe;;;;;;;;;wBAkB7C,aAAa,SAAS,gBAAgB;;;;;;;UC5xBrC;WACN,aAAa,SAAS,eAAe;WACrC,UAAU,SAAS,eAAe;;;UAI5B;;WAEN;;WAEA,cAAc;;WAEd,UAAU;;WAEV,UAAU;;;;;WAKV;;;;;;;;;;;;;;;;wBA6WK,UAAU,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,mBAAwB;;;;;qBAiRhH,iBAAiB;;;;;;;;;wBA2Bd,mBAAmB,UAAS,iBAAsB;;;;;;;;;;;;;KC/rBtD;;UAGK;WACN,QAAQ;WACR,mBAAmB;;;UAIb;;WAEN,UAAU;;WAEV;;;UAIM;;WAEN;;;;;;WAMA;;WAEA,cAAc;;;;;WAKd,iBAAiB,QAAQ;;;;;;;;;WASzB,SAAS,cAAc,SAAS,SAAS,OAAO,cAAc,SAAS;;;;;WAKvE,UAAU;;;;;;;;WAQV,SAAS,YAAY;;WAErB;;;;;;;;;WASA;;;KAOC;WACG;WAAmB,QAAQ;WAAiB,kBAAkB;;WAE9D;WACA,MAAM;;WAEN,MAAM;;WAEN,OAAO;;WAEP;;;;;;;;;;;;;;;;;;;;wBAqBC,UAAU,YAAY,YAAY,SAAS,YAAY;;;;;;;;;;;;;wBA6EvD,MAAM,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,eAAoB;;;;;;;;;;;;;;;;;;KC3IzG;;UAGK;;WAEN;;WAEA,KAAK;;WAEL,SAAS,SAAS,eAAe;;WAEjC;;WAEA,eAAe;;WAEf;;;UAIM;WACN,YAAY;;WAEZ;WACA,OAAO;;;UAID;;;;;;WAMN;;;;;WAKA,iBAAiB;;;;;WAKjB,SAAS,SAAS,wBAAwB;;;;;WAK1C,mBAAmB;;;;;WAKnB,cAAc;;WAEd,gBAAgB;;WAEhB,QAAQ,SAAS;;WAEjB;;WAEA;;WAEA,UAAU;;;;;;;;WAQV,SAAS,YAAY;;;;;;;;;;;;;;;;;;;wBAk5BhB,SAAS,SAAS,SAAS,cAAc,UAAS,0BAA+B;;;;;;;;;;;;;;;;;;;;;;;wBC3/BjF,WAAW,GAAG,iBAAiB,GAAG,iBAAiB,SAAS,YAAY;;;;KCV5E;WACG;;WAEA;;WAEA;;WAEA,MAAM;;WAEN,KAAK;;;UAIH;;;;;;;;;WASN,SAAS,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;wBAoDhB,YAAY,QAAQ,UAAU,MAAM,gBAAgB,QAAQ,SAAS,SAAS,UAAS,gBAAqB;;;;UC3E3G;;WAEN;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA,WAAW;;WAEX,QAAQ;;;;;;UAOF;;WAEN,SAAS;;WAET,QAAQ;;WAER,QAAQ;;;;;;;;EAQjB,KAAK,eAAe;;;;;;;EAOpB,MAAM,eAAe;;;;;;;;;;;;;;EAcrB,SAAS,cAAc,cAAc,SAAS,UAAU;;EAExD;;;;;;;EAOA,gBAAgB,UAAU;;;;;;EAM1B,OAAO;;;;;;;;;;;;;;;;;;;;;wBA8DO,QAAQ,SAAS,SAAS,UAAS,iBAAsB;;;;UChJxD;;;;;WAKN;;WAEA,gBAAgB;;WAEhB;;WAEA,MAAM;;;UAIA;;WAEN;;WAEA;;WAEA,OAAO;;WAEP,MAAM;;WAEN,gBAAgB;;;UAIV,wBAAwB;;WAE9B,UAAU;;;UAIJ,uBAAuB;;;;;WAK7B;;;UAIM;;WAEN,QAAQ;;WAER,UAAU;;WAEV,SAAS;;;;;;UAOH;;WAEN,QAAQ;;WAER,QAAQ;;WAER,SAAS;;;;;;;EAOlB,SAAS,oBAAoB;;;;;;;;;;;;;EAa7B,KAAK,aAAa;;;;;;;;EAQlB,IAAI,YAAY;;;;;;;EAOhB,OAAO;;;;;;;EAOP,WAAW,UAAU;;;;;;EAMrB,cAAc,SAAS;;;;;;;;;EASvB,IAAI,YAAY,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;wBAcrC,QAAQ,OAAO,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;wBA2DnC,SAAS,SAAS,SAAS,UAAS,kBAAuB;;;;UCzM1D,UAAU;;WAEhB,IAAI;;WAEJ;;;UAIM,UAAU;;WAEhB,gBAAgB,UAAU;;WAE1B,OAAO;;;;;;;KAQN,UAAU,MAAM,YAAY,IAAI,UAAU;;UAGrC;;;;;WAKN;;;UAIM,WAAW;;WAEjB,gBAAgB;;;;;WAKhB;;;;;;;;;;;;;;wBAiLK,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;;;;wBAuBrF,QAAQ,IAAI,OAAO,UAAU,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;wBAkB3E,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;wBAmBrF,UAAU,IAAI,OAAO,UAAU,KAAK,UAAU,SAAS,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;;;;wBAwCrG,OAAO,IAAI,OAAO,UAAU,eAAe,WAAW;;;;UC1TrD;;WAEN;;WAEA;WACA;;WAEA,UAAU;;WAEV;;;UAIM;;WAEN;;WAEA;;;UAIM;WACN,kBAAkB;WAClB,kBAAkB;;;UAIZ;;WAEN,SAAS;;;;;;EAMlB,OAAO;;;UAIQ;;;;;WAKN;;;;;;;;;;wBAWK,SAAS,UAAU,UAAU;;;;;;;;;;;;wBAyC7B,SAAS,KAAK,WAAW,UAAS,gBAAqB;;;;UCtGtD;;EAEf;;EAEA,IAAI;;EAEJ,OAAO;;EAEP,KAAK,GAAG,gBAAgB,MAAM;;;;;;;;wBAShB,OAAO,eAAe;;UAcrB;;WAEN;;WAEA,2BAA2B;;WAE3B;;WAEA;;WAEA;;WAEA;;WAEA;;;;;;;;WAQA,QAAQ,eAAe,OAAO,QAAQ,WAAW;;;;;;;;WAQjD,SAAS,eAAe,OAAO,eAAe,6BAA6B;;WAE3E;;WAEA,gBAAgB;;WAEhB,iBAAiB;;WAEjB;;;;;;;;;wBAUK,QAAQ,OAAO,2BAA2B;;;;;;;;;;;;wBAsD1C,SAAS,OAAO,OAAO,SAAS;;;;UClI/B;WACN,MAAM;WACN,iBAAiB;;;;;;;;;;;;;;;;;;;wBAoMZ,eAAe,kBAAkB;;UAYhC;;WAEN;;;;;;;;;;;;;;;;;;;wBA+DK,gBAAgB,4BAA4B,UAAS,gBAAqB"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","names":["Part","Shape"],"sources":["../src/doc.ts","../src/errors.ts","../src/deref.ts","../src/types.ts","../src/world.ts","../src/ladder.ts","../src/static.ts","../src/typing.ts","../src/evaluate.ts","../src/merge.ts","../src/classify.ts","../src/parts.ts","../src/stdlib.ts","../src/order.ts","../src/context.ts","../src/facts.ts","../src/effects.ts","../src/formula.ts","../src/codec.ts","../src/syntax.ts","../src/reference.ts","../src/agree.ts","../src/conform.ts","../src/same.ts","../src/reads.ts","../src/durable.ts","../src/schedule.ts","../src/graph.ts","../src/replay.ts","../src/generate.ts","../src/providers.ts"],"mappings":";;KACY,mDAAmD;YAAmC,cAAA;;;KAGtF;YAAuC,cAAA;;;KAGvC;;;;;;;;;;;KAYA,4BAA4B;WAAmB;WAAsB,gBAAgB;;;;;;KAMrF;;WAED,MAAM;;WAEN,OAAO;;WAEP;;WAEA,MAAM,SAAS;;;qBAIb;;;;;;;;wBASG,SAAS,iBAAiB,SAAS;;;;;;;;wBAanC,MAAM,QAAQ,YAAY,cAAc;;;;;;;wBAUxC,MAAM,iBAAiB,SAAS;;;;;;;;wBAWhC,UAAU,iBAAiB,SAAS;;;;;;;wBAcpC,SAAS,MAAM,mBAAmB;;;;;;;wBAalC,SAAS,MAAM;;;;;;;;;wBAqBf,WAAW,iBAAiB,SAAS,aAAa;;UAUjD;WACN,UAAU;;WAEV,QAAQ,SAAS,eAAe;;;;;;;;;;wBAW3B,OAAO,gBAAgB,4BAA4B;;;;;;;;;wBAqBnD,MAAM,MAAM,SAAS,OAAO,MAAM;WAAmB;WAAwB,MAAM;IAAgC;;;;;;;wBAUnH,OAAO,eAAe,SAAS;;;;;;;wBAU/B,OAAO,KAAK,WAAW;;;;;;;wBAevB,SAAS,iBAAiB;;;;;;;;;;;;;;;;;;wBA+B1B,UAAU,YAAY;;;;KC5O1B;;KAoBA,YAAY;;;;;;;UAQP;WACN,MAAM;WACN;WACA,iBAAiB;WACjB;;;KAIC,OAAO;WAA0B;WAAmB,OAAO;;WAAiB;WAAoB,OAAO;;;KAGvG;WAAoB;WAAoB,OAAO;;;;;;;;wBAQ3C,GAAG,GAAG,OAAO,IAAI,OAAO;;;;;;;;;wBAYxB,KAAK,MAAM,WAAW,gBAAgB;WAAiB,iBAAiB;WAAgB;IAAyB;;;;;;;;;wBAejH,OAAO,GAAG,QAAQ,OAAO,IAAI,gBAAgB,QAAQ,OAAO;;;;;qBAS/D,gBAAgB;WAClB,OAAO;;;;;;EAOhB,YAAY,OAAO;;;;;;;;wBAaL,gBAAgB;;;;;;;;;wBAmBhB,OAAO,gBAAgB,cAAc;;;;;;;wBAgBrC,SAAS;;;;;;;qBCrIZ;;;;;UAMI;YACL;;WAED;;;;;;;;EAQT,MAAM,KAAK,MAAM;;;;;;;;;EASjB,KAAK,KAAK;;;;;;EAMV;;;;;;;;EAQA,SAAS,eAAe;aAAmB,OAAO;;;;KAIxC;;;;;;;wBAQI,YAAY,iBAAiB,SAAS;;qBAKzC;;KAGD,eAAe;;;;;KAMf,wBAAwB;;;;;;;;;;UAWnB;WACN,MAAM;WACN,OAAO,SAAS;WAChB,OAAO;WACP,OAAO;WACP,eAAe;;;KAId,aAAa,KAAK,UAAU,KAAK,QAAQ;;;;;KAMzC;WAAwB;WAAmB,OAAO;;WAAqB;WAAoB;WAAyB,OAAO;;;UAGtH;;WAEN,MAAM;;WAEN,MAAM;WACN,SAAS;;;;;;;;EAQlB,MAAM,OAAO,OAAO,KAAK,MAAM;;;KAIrB,UAAU,OAAO,cAAc;;;;;;;;;;UAW1B;WACN,OAAO;WACP,SAAS,SAAS,eAAe;WACjC,UAAU,SAAS,eAAe;WAClC;WACA,iBAAiB;WACjB,SAAS,mBAAmB;;;KAI3B;;UAGK;WACN,MAAM;WACN,OAAO;WACP,IAAI;;;KAIH;;KAGA;WACG;WAAmB,OAAO;WAAgB,eAAe;;WACzD;WAAoB,MAAM,cAAc;WAAoB;WAAyB,eAAe;;;UAGlG;;WAEN;;;;;;;;;;;;;;wBAiIK,UAAU,KAAK,WAAW,OAAO,OAAO,KAAK;WAAiB,OAAO;WAAgB,IAAI;;;;;;;;wBA4BzF,MAAM,iBAAiB,SAAS;WAAsB,gBAAgB;;;;;;;;;;wBAoBtE,WAAW,OAAO,QAAQ;;;;;;;wBAe1B,QAAQ,QAAO,QAAQ,WAAgB;;;;;;;;;;;;;;;;;;;;;;;;wBA2NvC,QAAQ,KAAK,WAAW,KAAK,SAAS,0BAA0B,UAAS,iBAAsB;;;;;;;wBA8G/F,aAAa,OAAO;;;;;;;;;;;;;;;;;KCrpBxB;WAEG,MAAM;;WACN,QAAQ,SAAS,eAAe;WAAsB;WAAuC;;WAC7F,aAAa;WAAsB,IAAI;;WACvC,gBAAgB;;WAChB,cAAc;;;;;;;;;;UAUZ;;;;;;;WAON,KAAK;;WAEL;;WAEA;;;;;;WAMA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ;;;;;;;UAQF;;;;;;;WAON,SAAS,mBAAmB;;;;;;;WAO5B,SAAS,MAAM;;;UAIT;WACN,aAAa;WACb;;;;;;qBAOE,aAAa,SAAS,eAAe;;;;;;;;;;;;;;;;;wBAqKlC,OAAO,gBAAgB,MAAM,WAAW,UAAU,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;wBA4E1E,KAAK,OAAO,WAAW,UAAU,WAAW,UAAU,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;;wBAgH9E,KAAK,GAAG,WAAW,GAAG,WAAW,UAAU,SAAS,eAAe,WAAW;;;;;;;;;;;;;;;wBAkE9E,SAAS,MAAM;;;;;;;;;;wBAyMf,WAAW,eAAe,UAAU,SAAS,eAAe,oBAAoB;;;;KCtsBpF;;;;;;;;;;;;;;;;;;;;;KAsBA;WACG;;WACA;WAAwB;WAAsB;WAA4B,2BAA2B;WAAmB,SAAS;;WACjI;WAAwB;WAAsB,OAAO;WAAgB;WAA6B,SAAS;;WAC3G;WAAuB;WAAsB,OAAO;WAAgB,SAAS;;WAE7E;WACA,4BAA4B,SAAS,eAAe;WACpD;WACA;WACA,OAAO;WACP;WACA,SAAS;;WAET;WAAwB;WAAsB,SAAS;;WACvD;;WACA;WAA0B;WAA0B;WAAuB;;WAC3E;WAAuB,iBAAiB;;;KAG3C,YAAY;;;;;;;;;;KAWZ;WACG;;WACA,iBAAiB;;WACjB,iBAAiB;;WACjB,iBAAiB;WAAgB;;WACjC;;;;;;UAME;WACN,OAAO;;WAEP,uBAAuB;;WAEvB;;;;;;;;;;;;;KAcC;WACG;WAAuB,wBAAwB;;WAC/C;WAAuB,wBAAwB;;WAC/C;WAAuB,eAAe;WAAgB,wBAAwB;;;;;;;;;;UAU5E;WACN,wBAAwB;WACxB;;;;;;;;;;;;;;;UAgBM;WACN;WACA;WACA,gBAAgB;WAChB,iBAAiB;;;;;;;;;;;;;UAcX;WACN;WACA;aAAkB,MAAM;aAAe,SAAS;;WAChD,UAAU;;;;;;;;;;;;UAaJ;WACN,YAAY,SAAS,eAAe;WACpC,OAAO,SAAS,eAAe;WAC/B,aAAa,SAAS,eAAe;;;;;;;;;wBAUhC,aAAa,MAAM;;;;;;;UAWlB,aAAa;;;;;WAKnB,OAAO,SAAS;;WAEhB,QAAQ;;WAER,iBAAiB;;;;;;;WAOjB,gBAAgB;;WAEhB,OAAO;;;;;;;WAOP;;;;;;;WAOA,cAAc;;;;;WAKd,SAAS;;;;;WAKT,OAAO;;WAEP;;;;;;KAOC,cAAc,SAAS;WAAyD;;;;;;;;;;;;wBAY5E,cAAc,MAAM,MAAM;;UAOzB;WACN,OAAO,SAAS,eAAe;WAC/B,WAAW;;;KAIV;WAAmB;WAAsB,gBAAgB;;;KAGzD,aAAa,OAAO,YAAY;;;;;UAM3B;WACN,OAAO,SAAS,eAAe;;;;;WAK/B,UAAU,SAAS;WACnB,WAAW;;;;;;;;;;;KAYV;WACG;WAAmB,MAAM;WAAe,eAAe;WAAgB;;WACvE;WAAoB;WAA+E,eAAe;;;;;;;;wBAkBjH,OAAO,OAAO,yBAAyB,SAAS;;;;;;;wBAUhD,QAAQ,OAAO,yBAAyB,SAAS;;;;;;;wBAUjD,YAAY,OAAO,yBAAyB,SAAS;;;;;;;;;;;;wBAoBrD,WAAW,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBAqDzC,cAAc,SAAS,SAAS,eAAe,eAAe;;;;;;;;wBA8B9D,aAAa,cAAc,MAAM,OAAO;;;;;;;wBAaxC,cAAc;;;;qBC/ajB;;KAGD,eAAe;;KAGf;;;;;;;;;KAUA;;UAGK;WACN,MAAM;WACN,SAAS;;WAET;;WAEA;;WAEA,SAAS;;;UAIH;WACN;;WAEA;;WAEA,OAAO;;WAEP;WACA,gBAAgB;;;;;;UAOV;WACN,OAAO;WACP,MAAM,SAAS;;;UAIT;;WAEN;;;;;;;;;;wBAeK,OAAO,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBAYrC,UAAU,OAAO,OAAO,MAAM,UAAU;;;;;;;;;;;;;;;wBAwDxC,IAAI,OAAO,OAAO,KAAK,QAAQ,cAAc,UAAS,aAAkB;;;;UCpIvE;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,SAAS;;WAET,eAAe;;WAEf,KAAK;;WAEL;;WAEA,OAAO;;WAEP,oBAAoB;;WAEpB;;WAEA,OAAO;;WAEP,OAAO;;WAEP;;;;;WAKA,gBAAgB;;;UAIV;;WAEN,gBAAgB;;WAEhB,aAAa;WACb;WACA;;;UAIM;;WAEN;;WAEA;;WAEA,gBAAgB;;;;;;WAMhB,WAAW,SAAS;;;;;;;;;;;;;;wBAgGf,KAAK,OAAO,OAAO,cAAc,QAAQ,OAAO,4BAA4B,UAAS;;UA0FpF;;WAEN,OAAO;;WAEP,gBAAgB;;WAEhB,aAAa;;WAEb,eAAe;WACf;;WAEA;;WAEA;;;;;;;;;;;;wBAaK,OAAO,OAAO,OAAO,cAAc,UAAS,uBAA4B;;;;;;;;;;;wBAmDxE,QAAQ,OAAO,OAAO,cAAc,SAAS,KAAK,oBAAoB,UAAS;;UAW9E;WACN,MAAM;;WAEN,gBAAgB;WAChB;;WAEA,cAAc;;WAEd,WAAW;;WAEX,QAAQ;;;UAIF;;WAEN;;WAEA;;;;;WAKA,gBAAgB;;;;;;;;;WAShB;;;;;;WAMA;;WAEA,SAAS;;;;;;;;WAQT;;;;;WAKA,YAAY;;;UAIN;;WAEN,MAAM;;WAEN,iBAAiB;;WAEjB,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBA+FZ,MAAM,SAAS,SAAS,cAAc,UAAS,wBAA6B;;;;;;;;;;;;;;;;;;;wBAsB5E,UAAU,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;;UAWtE;;WAEN;;WAEA,eAAe;;WAEf;;WAEA;WACA;;;;;;;;;;;;;;;wBAqBK,WAAW,SAAS,SAAS,oCAAoC;;;;UCriBhE;;WAEN,mBAAmB;;WAEnB,KAAK;;WAEL,UAAU;;WAEV,0BAA0B;;WAE1B;WACA,SAAS;;;;;;;;EAQlB,OAAO,eAAe,QAAQ;;;;;;;;EAQ9B,SAAS,eAAe;;;;;;;;;;EAUxB,SAAS,eAAe;;;;;;;;;EASxB,SAAS,eAAe,eAAe;;;UAIxB;;WAEN,SAAS;;WAET;;WAEA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ,KAAK;;;;;;;;;;;UAYP;;WAEN,QAAQ,SAAS,eAAe;;WAEhC,OAAO;;WAEP,QAAQ;;WAER,QAAQ;;;;;;qBAON,WAAW;;UAGP;;WAEN,gBAAgB;WAChB;WACA,WAAW;WACX,QAAQ;;;;;;;UAQF;;;;;;;;;WASN,QAAQ,OAAO,WAAW,eAAe,UAAU;;;;;;;;;WASnD,QAAQ,OAAO,WAAW,SAAS,SAAS,yBAAyB;;;UAI/D;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,MAAM;;WAEN,WAAW;;;;;;;;;;;;;wBC5GN,YAAY,QAAO,SAAS,0BAA+B,gBAAe,OAAY,OAAM,QAAe;;;;;;;wBAU3G,QAAQ,MAAM;;;;;;;;;;wBAad,QAAQ,eAAe,OAAO,MAAM;;;;;;;;;;wBAiBpC,OAAO,QAAQ,SAAS,MAAM,UAAU;;;;;;;;;wBAoBxC,cAAc,YAAY,OAAO,YAAY,iBAAiB;;;;;;;;;;wBAkC9D,SAAS,gBAAgB,wBAAwB,eAAe,OAAO,eAAe,iBAAiB;;;;;;KAiE3G,QAAQ,UAAU,kBAAkB;;UAG/B;;WAEN;;WAEA;;WAEA,eAAe;WACf;;WAEA;;WAEA;;WAEA,gBAAgB;;WAEhB,SAAS;;;;;;;WAOT;;;;;WAKA,UAAU;;;;;;;UAQJ;;WAEN;;;;;WAKA,SAAS;;;;;;WAMT;;;;;WAKA;;WAEA,gBAAgB;;;;;;;KA4Df,WAAW,QAAQ;;qBAGlB;;;;;UAMI;;;;;;;WAON,WAAW,aAAa;;;;;;;;WAQxB,QAAQ,aAAa;;;;;;UAuDf;WACN,SAAS;;WAET;;;;;;;;;EAST,QAAQ,KAAK,SAAS,0BAA0B,UAAU,iBAAiB;;;;;;;;;;;EAW3E,OAAO,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;;;;EAW1E,UAAU,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;EAQ7E,IAAI,sBAAsB,UAAU,UAAU,aAAa,UAAU,2BAA2B;;;;;;EAMhG;;;;;;;;;UAUe;WACN;WACA;;;;;;;KAQC,QAAQ,KAAK,SAAS,IAAI,YAAY;;;;;KAMtC,WAAW,KAAK,SAAS,IAAI,YAAY;;UAGpC;;WAEN;;WAEA,eAAe;;WAEf;;WAEA,MAAM;;WAEN,KAAK;;;UAIC;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgB;;WAEhB,gBAAgB;WAChB,SAAS;;;;;;;;EAQlB,KAAK;;WAEI;;;;;;UAOMA;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgBA;;WAEhB,SAAS;;WAET,gBAAgB;;WAEhB,UAAU;;WAEV;;;;;;;;EAQT,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;EAQrC,KAAK;;;UAIU;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;WACN;WACA,mBAAmB;WACnB,KAAK;;WAEL;WACA,MAAM;WACN,gBAAgB;WAChB,SAAS;WACT,gBAAgB;;WAEhB,UAAU;EACnB,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;;EASrC,IAAI,gBAAgB,WAAW,UAAU,aAAa,UAAU,2BAA2B;;;;;;;;EAQ3F,KAAK;;;KAIK,UAAU,OAAO,cAAc;;UAG1B;;;;;;;WAON,UAAU,OAAO,iBAAiB;;;;;WAKlC,OAAO;;;KAIN,YAAY,SAAS;;KAGrB,SAAS,OAAO,aAAa;;UAGxB;;;;;;;WAON,aAAa,OAAO,iBAAiB;;;;;;KAOpC,SAAS,QAAQ;;;;;;;;;;;UAYZ,gBAAgB;WACtB,YAAY,SAAS,eAAe;;WAEpC,UAAU,SAAS,eAAe;WAClC;WACA,WAAW,eAAe,OAAO,eAAe,OAAO,SAAS;;;;;;;;;;WAUhE,SAAS,eAAe,OAAO;;;;;;WAM/B,UAAU,SAAS,eAAe;;;;;;;;;;WAUlC,SAAS,eAAe,OAAO,iBAAiB;;;UAI1C;WACN;;WAEA;;WAEA,KAAK;;WAEL;;WAEA,QAAQ;WACR,MAAM;;WAEN;;WAEA,OAAO,SAAS;;WAEhB,eAAe;;WAEf;;WAEA;;WAEA;WACA,QAAQ;WACR,mBAAmB;;WAEnB;;;UAIM;WACN,QAAQ;WACR,OAAO;WACP,kBAAkB;;WAElB;;;UA2CM;WACN;WACA;EACT,iBAAiB,eAAe,sBAAsB;aAAqB;;;;;;;UAO5D;;WAEN,UAAU;;WAEV,SAAS;;;;;WAKT,QAAQ;;;UAIF,mBAAmB;;WAEzB;;WAEA;;;UAIM;;WAEN,UAAU;;;;;WAKV,UAAU;;;;;WAKV,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA,UAAU;;WAEV,QAAQ;;;UAubF;;WAEN;;WAEA;;;;;WAKA;;;;;WAKA;;;UAIM;WACN,SAAS;;WAET;;WAEA,MAAM;;;;;;;;;EASf,SAAS,UAAU,SAAS,UAAU,cAAc;;;;;;;;EAQpD,IAAI,UAAU,SAAS,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;;;wBAkmB5C,QAAQ,SAAS,SAAS,cAAc,UAAS,iBAAsB;;;;;;;;;wBA0EvE,QAAQ,SAAS,SAAS,UAAS,kBAAuB,iBAAiB;;;;;;;;;;;;;;;;;wBA8C3E,SAAS,SAAS,SAAS,cAAc,UAAS,SAAyB,mBAAmB,kBAAkB;;;;;;;;;;;;wBAyB1G,IAAI,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,aAAkB,QAAQ;;;;;;;;wBAmB/G,OAAO,OAAO,WAAW,eAAe,QAAQ;;;;;;;wBAqBhD,QAAQ,OAAO,qBAAqB;;;;;;;;wBAkBpC,SAAS,OAAO,qBAAqB;;;;KChmEzC,qBAAqB;;;;;UAMhB;WACN,QAAQ,SAAS,eAAe;WAChC,WAAW,SAAS;WACpB,WAAW;WACX,oBAAoB;;;;;;UAOd,oBAAoB,KAAK,QAAQ;WACvC,QAAQ;WACR,oBAAoB;;;;;;UAOd;WACN,MAAM;WACN;WACA;;;qBAIE,mBAAmB;WACrB,oBAAoB;;;;;;EAO7B,YAAY,oBAAoB;;;UAkDjB;;WAEN;;WAEA,QAAQ,SAAS,eAAe;;;;;;;;;;;;;;;;wBAiB3B,aAAa,cAAc,MAAM,mBAAmB,MAAM,YAAY;;;;;;;;;;;;;;;;;wBAyKtE,eAAe,iBAAiB,cAAc,MAAM,UAAU,gBAAgB;;;;;;;;;;;;;;;;;;;;;wBAuJ9E,iBAAiB,iBAAiB,gBAAgB,MAAM,YAAY,kBAAkB;;;;;;;;;;;;;;wBAyEtF,cAAc,OAAO,OAAO,gBAAgB,cAAc;;;;;;;;;;;;;;;;wBAgC1D,gBAAgB,SAAS,SAAS,gBAAgB,cAAc;;;;UC7hB/DC;WACN;WACA;WACA;;;UAIM;;WAEN;;WAEA;;WAEA;;;;;;;;;;;;wBAiBK,SAAS,iBAAiBA,WAAS,OAAO,OAAO;;;;;;;;wBAkBjD,IAAI,OAAO,MAAM,eAAe;;;;UC9C/B;;WAEN,eAAe;;WAEf;WACA,MAAM;WACN;;WAEA;;WAEA,SAAS;;;KAUR;WAEG;;WAEA,gBAAgB;;WAEhB,MAAM;;;;;;;EAOf,KAAK,GAAG,kBAAkB;;WAEjB;WAAoB;WAAyB,aAAa;;;;;;;;;;wBA4DzD,WAAW,OAAO,mBAAmB,OAAO,OAAO;;;;;;KA8GvD;WAEG;;WAEA,KAAK;;WAEL;;WAEA,MAAM;;WAEN,mBAAmB;;;;;WAKnB,OAAO;;WAEP;WAAoB;WAAyB;;;;;;;;;;;;wBAY5C,QAAQ,OAAO,OAAO,gBAAgB,wBAAwB;;;;;;;;;wBAuB9D,YAAY,eAAe,OAAO,kBAAkB;;;;;;;qBC9OvD,WAAW;;qBAoIX,gBAAgB,SAAS,eAAe;;KAmDzC;;qBAGC,0BAA0B;;UAGtB;WACN;;WAEA,gBAAgB;;WAEhB,KAAK;;;;;;;;;;wBAoVA,eAAe,MAAM,OAAO,oBAAoB;;UA8B/C;;;;;;;;WAQN,WAAW,MAAM,OAAO,QAAQ;;WAEhC;;;;;;;;;;wBAeK,cAAc,UAAS,iBAAsB;;qBAoBhD,aAAa,SAAS,eAAe;;;;;qBAiBrC,aAAa,SAAS,eAAe;;qBAiDrC,aAAa;;qBAGb;;;;UC7rBI;WACN;WACA;WACA;;;KAIC,iBAAiB,gBAAgB;;UAG5B;WACN;WACA;;WAEA;;;;;;;;wBASK,WAAW,gBAAgB,sBAAsB;;;;;;;wBAkBjD,UAAU,gBAAgB,sBAAsB;;;;;;;;wBAkBhD,YAAY,gBAAgB,sBAAsB;;;;;;;;;wBAmBlD,eAAe,gBAAgB,YAAY;;;;;;;;wBAiB3C,OAAO,gBAAgB;;;;qBC5F1B;;KAGD,eAAe;;UAGV;WACN,MAAM;WACN;;WAEA;;WAEA;;;qBAIE,oBAAoB;;;;;;;;;;;KA4CrB;;UAGK;WACN;WACA,OAAO;WACP;;;UAIM;WACN;WACA;WACA,MAAM;WACN;WACA,SAAS;WACT,MAAM,SAAS,OAAO,MAAM;;;qBAM1B,qBAAqB;;;;;;;;UCzEjB;;WAEN,MAAM;;WAEN,eAAe;;;;;WAKf;;WAEA;;WAEA;;WAEA,eAAe;;WAEf,gBAAgB;;WAEhB,aAAa;;;UAIP;;;;;WAKN,gBAAgB;;WAEhB,MAAM;;WAEN;;;;;WAKA;;WAEA;;WAEA;;;UAIM;;WAEN;;;;;WAKA;;;;;;;;WAQA,YAAY,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAuGb,QAAQ,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;UCjKpE;;WAEN;;;;;;WAMA,gBAAgB;;;;;;;;;;;;;;;;;;;;wBAmDX,UAAU,SAAS,SAAS,cAAc,UAAS;;;;;;;;;;;;;;;wBA0BnD,YAAY,SAAS,SAAS,mBAAmB,OAAO,eAAe,UAAS,KAAK,mCAAwC;;;;KCzFjI,WAAW;;;;;KAMX,UAAU,sBAAsB,cAAc;;;;;KAM9C,SAAS,MAAM,MAAM,SAAS,SAAS,UAAU,SAAS,eAAe,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UA8BjF;WACN,MAAM,SAAS,eAAe,WAAW,iBAAiB;WAC1D,OAAO,SAAS,eAAe;WAC/B,MAAM,SAAS,eAAe;WAC9B,UAAU;WACV;WACA;WACA,QAAQ,OAAO;WACf,WAAW;WACX,SAAS,gBAAgB,eAAe;WACxC,WAAW,iBAAiB,gBAAgB;WAC5C;WACA;WACA;WACA,OAAO,SAAS,eAAe,qBAAqB,kBAAkB,iBAAiB,qBAAqB;;;;;;;UAQtG;;WAEN,iBAAiB;;WAEjB,OAAO;;WAEP,IAAI;;;qBAOF;WACC,OAAgB;EAA5B,YAAY,OAAgB;;cAGxB;;KAGM,eAAe;YAAoD;aAAqB;;;;;;;;;wBAQpF,UAAU,iBAAiB,SAAS;;;;;qBAQvC,SAAS,SAAS,eAAe;;wBAa9B,SAAS;;;;;;;wBA4CT,gBAAgB,SAAS,eAAe;;;;;;;;;;;wBA2VxC,kBAAkB,UAAS,iBAAsB,SAAS,eAAe;;;;;;;;;;;;;wBAkczE,aAAa,UAAS,kBAAuB,eAAe,OAAO;;;;;;;;;;;;;;;wBAqDnE,aAAa,UAAS,kBAAuB,eAAe,OAAO,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;wBA8CpF,eAAe,UAAS,gBAAqB,OAAM,cAAmB;;;;KC5hCjF,UAAU,SAAS,eAAe;;;;;;;;;;wBAmBvB,aAAa,MAAM,MAAM,SAAS,UAAU;;;;;;;;;;;;;;;wBAkI5C,YAAY,SAAS,KAAK,qBAAqB,iBAAiB;;;;;;;;;wBAqBhE,YAAY,SAAS,SAAS,eAAe;;;;KC/KjD;;;;;KAMA;;UAGK;;WAEN;;WAEA,QAAQ;;WAER;;WAEA,QAAQ;;WAER;;;UAIM;;WAEN;;WAEA;;WAEA;aAA6B;aAA4B;;;WAEzD,QAAQ,SAAS;;;UAIX;;WAEN,SAAS;;WAET,OAAO,0BAA0B;;WAEjC,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA;;WAEA,oBAAoB;;;UAId;;WAEN;;WAEA;;WAEA;;WAEA;;;UAIM;;WAEN;;WAEA,iBAAiB;;WAEjB;;;;;;;UAQM;;WAEN,qBAAqB;;WAErB,WAAW;;WAEX,OAAO;;WAEP,QAAQ;;WAER;;;UAIM;;WAEN;;WAEA;;WAEA;;;KAIC;WAAyB;WAAmB,KAAK;;WAAoB;WAAoB,iBAAiB;;;;;;;qBAOzG,YAAY;;;;;;;;;;wBA6eT,MAAM,SAAS,eAAe,eAAe;;;;;;;;;;wBAwM7C,MAAM,SAAS,eAAe,eAAe;;;;;;;;;wBAkB7C,aAAa,SAAS,gBAAgB;;;;;;;UC5xBrC;WACN,aAAa,SAAS,eAAe;WACrC,UAAU,SAAS,eAAe;;;UAI5B;;WAEN;;WAEA,cAAc;;WAEd,UAAU;;WAEV,UAAU;;;;;WAKV;;;;;;;;;;;;;;;;wBA+WK,UAAU,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,mBAAwB;;;;;qBAiRhH,iBAAiB;;;;;;;;;wBA2Bd,mBAAmB,UAAS,iBAAsB;;;;;;;;;;;;;KCjsBtD;;UAGK;WACN,QAAQ;WACR,mBAAmB;;;UAIb;;WAEN,UAAU;;WAEV;;;UAIM;;WAEN;;;;;;WAMA;;WAEA,cAAc;;;;;WAKd,iBAAiB,QAAQ;;;;;;;;;WASzB,SAAS,cAAc,SAAS,SAAS,OAAO,cAAc,SAAS;;;;;WAKvE,UAAU;;;;;;;;WAQV,SAAS,YAAY;;WAErB;;;;;;;;;WASA;;;KAOC;WACG;WAAmB,QAAQ;WAAiB,kBAAkB;;WAE9D;WACA,MAAM;;WAEN,MAAM;;WAEN,OAAO;;WAEP;;;;;;;;;;;;;;;;;;;;wBAqBC,UAAU,YAAY,YAAY,SAAS,YAAY;;;;;;;;;;;;;wBA6EvD,MAAM,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,eAAoB;;;;;;;;;;;;;;;;;;KC1IzG;;UAGK;;WAEN;;WAEA,KAAK;;WAEL,SAAS,SAAS,eAAe;;WAEjC;;WAEA,eAAe;;WAEf;;;UAIM;WACN,YAAY;;WAEZ;WACA,OAAO;;;UAID;;;;;;WAMN;;;;;WAKA,iBAAiB;;;;;WAKjB,SAAS,SAAS,wBAAwB;;;;;WAK1C,mBAAmB;;;;;WAKnB,cAAc;;WAEd,gBAAgB;;WAEhB,QAAQ,SAAS;;WAEjB;;WAEA;;WAEA,UAAU;;;;;;;;WAQV,SAAS,YAAY;;;;;;;;;;;;;;;;;;;wBAk5BhB,SAAS,SAAS,SAAS,cAAc,UAAS,0BAA+B;;;;;;;;;;;;;;;;;;;;;;;wBC5/BjF,WAAW,GAAG,iBAAiB,GAAG,iBAAiB,SAAS,YAAY;;;;KCV5E;WACG;;WAEA;;WAEA;;WAEA,MAAM;;WAEN,KAAK;;;UAIH;;;;;;;;;WASN,SAAS,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;wBAoDhB,YAAY,QAAQ,UAAU,MAAM,gBAAgB,QAAQ,SAAS,SAAS,UAAS,gBAAqB;;;;UC3E3G;;WAEN;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA,WAAW;;WAEX,QAAQ;;;;;;UAOF;;WAEN,SAAS;;WAET,QAAQ;;WAER,QAAQ;;;;;;;;EAQjB,KAAK,eAAe;;;;;;;EAOpB,MAAM,eAAe;;;;;;;;;;;;;;EAcrB,SAAS,cAAc,cAAc,SAAS,UAAU;;EAExD;;;;;;;EAOA,gBAAgB,UAAU;;;;;;EAM1B,OAAO;;;;;;;;;;;;;;;;;;;;;wBA8DO,QAAQ,SAAS,SAAS,UAAS,iBAAsB;;;;UChJxD;;;;;WAKN;;WAEA,gBAAgB;;WAEhB;;WAEA,MAAM;;;UAIA;;WAEN;;WAEA;;WAEA,OAAO;;WAEP,MAAM;;WAEN,gBAAgB;;;UAIV,wBAAwB;;WAE9B,UAAU;;;UAIJ,uBAAuB;;;;;WAK7B;;;UAIM;;WAEN,QAAQ;;WAER,UAAU;;WAEV,SAAS;;;;;;UAOH;;WAEN,QAAQ;;WAER,QAAQ;;WAER,SAAS;;;;;;;EAOlB,SAAS,oBAAoB;;;;;;;;;;;;;EAa7B,KAAK,aAAa;;;;;;;;EAQlB,IAAI,YAAY;;;;;;;EAOhB,OAAO;;;;;;;EAOP,WAAW,UAAU;;;;;;EAMrB,cAAc,SAAS;;;;;;;;;EASvB,IAAI,YAAY,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;wBAcrC,QAAQ,OAAO,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;wBA2DnC,SAAS,SAAS,SAAS,UAAS,kBAAuB;;;;UCzM1D,UAAU;;WAEhB,IAAI;;WAEJ;;;UAIM,UAAU;;WAEhB,gBAAgB,UAAU;;WAE1B,OAAO;;;;;;;KAQN,UAAU,MAAM,YAAY,IAAI,UAAU;;UAGrC;;;;;WAKN;;;UAIM,WAAW;;WAEjB,gBAAgB;;;;;WAKhB;;;;;;;;;;;;;;wBAiLK,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;;;;wBAuBrF,QAAQ,IAAI,OAAO,UAAU,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;wBAkB3E,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;wBAmBrF,UAAU,IAAI,OAAO,UAAU,KAAK,UAAU,SAAS,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;;;;wBAwCrG,OAAO,IAAI,OAAO,UAAU,eAAe,WAAW;;;;UC1TrD;;WAEN;;WAEA;WACA;;WAEA,UAAU;;WAEV;;;UAIM;;WAEN;;WAEA;;;UAIM;WACN,kBAAkB;WAClB,kBAAkB;;;UAIZ;;WAEN,SAAS;;;;;;EAMlB,OAAO;;;UAIQ;;;;;WAKN;;;;;;;;;;wBAWK,SAAS,UAAU,UAAU;;;;;;;;;;;;wBAyC7B,SAAS,KAAK,WAAW,UAAS,gBAAqB;;;;UCtGtD;;EAEf;;EAEA,IAAI;;EAEJ,OAAO;;EAEP,KAAK,GAAG,gBAAgB,MAAM;;;;;;;;wBAShB,OAAO,eAAe;;UAcrB;;WAEN;;WAEA,2BAA2B;;WAE3B;;WAEA;;WAEA;;WAEA;;WAEA;;;;;;;;WAQA,QAAQ,eAAe,OAAO,QAAQ,WAAW;;;;;;;;WAQjD,SAAS,eAAe,OAAO,eAAe,6BAA6B;;WAE3E;;WAEA,gBAAgB;;WAEhB,iBAAiB;;WAEjB;;;;;;;;;wBAUK,QAAQ,OAAO,2BAA2B;;;;;;;;;;;;wBAsD1C,SAAS,OAAO,OAAO,SAAS;;;;UClI/B;WACN,MAAM;WACN,iBAAiB;;;;;;;;;;;;;;;;;;;wBAoMZ,eAAe,kBAAkB;;UAYhC;;WAEN;;;;;;;;;;;;;;;;;;;wBA+DK,gBAAgB,4BAA4B,UAAS,gBAAqB"}
|
package/build/index.js
CHANGED
|
@@ -382,6 +382,14 @@ function effectsOfVerb(kind, verb) {
|
|
|
382
382
|
const table = kind.verbEffects;
|
|
383
383
|
return table !== void 0 && Object.hasOwn(table, verb) ? table[verb] : void 0;
|
|
384
384
|
}
|
|
385
|
+
/** The most aliases that one lookup follows (WORLD.ALIAS-LIMIT). */
|
|
386
|
+
const MAX_ALIASES = 32;
|
|
387
|
+
/** This function tells if two paths of a lookup have the same keys. */
|
|
388
|
+
function samePath(a, b) {
|
|
389
|
+
if (a.length !== b.length) return false;
|
|
390
|
+
for (let index = 0; index < a.length; index += 1) if (a[index] !== b[index]) return false;
|
|
391
|
+
return true;
|
|
392
|
+
}
|
|
385
393
|
/**
|
|
386
394
|
* This function tells if an entry of the world is a kind.
|
|
387
395
|
*
|
|
@@ -415,7 +423,8 @@ function entryAt(entries, key) {
|
|
|
415
423
|
}
|
|
416
424
|
/**
|
|
417
425
|
* This function finds the kind that a type names. It walks the path from the root of the world, one key at a
|
|
418
|
-
* time. An alias on the way is followed until a kind answers (collapse). A cycle of aliases stops the lookup
|
|
426
|
+
* time. An alias on the way is followed until a kind answers (collapse). A cycle of aliases stops the lookup, and so
|
|
427
|
+
* does a chain of more than 32 aliases. In a
|
|
419
428
|
* namespace with a fallback, a key that the namespace does not have gets the fallback kind. In an open world, a first
|
|
420
429
|
* key that the world does not have gets the fallback kind of the world.
|
|
421
430
|
*
|
|
@@ -432,6 +441,7 @@ function lookupKind(world, type) {
|
|
|
432
441
|
};
|
|
433
442
|
let path = start;
|
|
434
443
|
let aliases = 0;
|
|
444
|
+
let seen;
|
|
435
445
|
for (;;) {
|
|
436
446
|
let entries = world.kinds;
|
|
437
447
|
let fallback = world.fallback;
|
|
@@ -455,9 +465,9 @@ function lookupKind(world, type) {
|
|
|
455
465
|
}
|
|
456
466
|
if (isAlias(entry)) {
|
|
457
467
|
aliases += 1;
|
|
458
|
-
if (aliases >
|
|
468
|
+
if (aliases > MAX_ALIASES) return {
|
|
459
469
|
ok: false,
|
|
460
|
-
reason: "
|
|
470
|
+
reason: "too-long",
|
|
461
471
|
path
|
|
462
472
|
};
|
|
463
473
|
const target = entry.value.slice(1);
|
|
@@ -466,7 +476,15 @@ function lookupKind(world, type) {
|
|
|
466
476
|
reason: "not-a-kind",
|
|
467
477
|
path
|
|
468
478
|
};
|
|
479
|
+
seen ??= [];
|
|
480
|
+
seen.push(path);
|
|
469
481
|
path = [...target, ...path.slice(index + 1)];
|
|
482
|
+
const next = path;
|
|
483
|
+
if (seen.some((before) => samePath(before, next))) return {
|
|
484
|
+
ok: false,
|
|
485
|
+
reason: "cycle",
|
|
486
|
+
path
|
|
487
|
+
};
|
|
470
488
|
followed = true;
|
|
471
489
|
break;
|
|
472
490
|
}
|
|
@@ -2090,6 +2108,8 @@ function context(parts = {}) {
|
|
|
2090
2108
|
};
|
|
2091
2109
|
}
|
|
2092
2110
|
const MAX_COLLAPSE = 64;
|
|
2111
|
+
/** The reason of a resolution that reaches the bound of collapses without a cycle that it found (DEREF.CHAIN-REASON). It is a plain string, thus a bundle drops it (PKG.PURE). */
|
|
2112
|
+
const CHAIN_REASON = "The path follows more than 64 references. One resolution follows at most 64.";
|
|
2093
2113
|
const NO_HOPS$1 = /* @__PURE__ */ Object.freeze([]);
|
|
2094
2114
|
/** A value that can be a reference document: a record with the type `ref`. The full check comes after. */
|
|
2095
2115
|
function mayBeRef(thing) {
|
|
@@ -2249,7 +2269,8 @@ function walkersOf(nav, path) {
|
|
|
2249
2269
|
* - `#NAME?`: the root `names` has no such name.
|
|
2250
2270
|
* - `#N/A`: a step reaches nothing.
|
|
2251
2271
|
* - `#STEP?`: a step is not a key and not a step document.
|
|
2252
|
-
* - `#CYCLE!`: the references form a cycle.
|
|
2272
|
+
* - `#CYCLE!`: the references form a cycle, or the resolution follows more than 64 references. The reason tells
|
|
2273
|
+
* which (DEREF.CHAIN-REASON).
|
|
2253
2274
|
*
|
|
2254
2275
|
* @param nav - The world and the code of the evaluators.
|
|
2255
2276
|
* @param ctx - The context.
|
|
@@ -2283,6 +2304,7 @@ function resolveFully$1(nav, ctx, path, hops, known) {
|
|
|
2283
2304
|
hops: done
|
|
2284
2305
|
});
|
|
2285
2306
|
let collapses = 0;
|
|
2307
|
+
let open;
|
|
2286
2308
|
const adopt = nav.adopt ?? ((value) => value);
|
|
2287
2309
|
const collapse = (thing) => {
|
|
2288
2310
|
let here = thing;
|
|
@@ -2292,9 +2314,13 @@ function resolveFully$1(nav, ctx, path, hops, known) {
|
|
|
2292
2314
|
hops: done
|
|
2293
2315
|
};
|
|
2294
2316
|
while (isRef(here)) {
|
|
2317
|
+
if (open?.includes(here) === true) return failed("#CYCLE!", "The references form a cycle.");
|
|
2295
2318
|
collapses += 1;
|
|
2296
|
-
if (collapses > MAX_COLLAPSE) return failed("#CYCLE!",
|
|
2319
|
+
if (collapses > MAX_COLLAPSE) return failed("#CYCLE!", CHAIN_REASON);
|
|
2320
|
+
open ??= [];
|
|
2321
|
+
open.push(here);
|
|
2297
2322
|
const inner = walk(here.value, void 0);
|
|
2323
|
+
open.pop();
|
|
2298
2324
|
if (!inner.ok) return inner;
|
|
2299
2325
|
here = adopt(inner.thing);
|
|
2300
2326
|
hops?.push({
|
|
@@ -2810,8 +2836,9 @@ function permits(caps, kind) {
|
|
|
2810
2836
|
});
|
|
2811
2837
|
}
|
|
2812
2838
|
/**
|
|
2813
|
-
* This function narrows a context for a part
|
|
2814
|
-
*
|
|
2839
|
+
* This function narrows a context for a part. The part keeps the meet `intersectCaps` of its list and the list of its
|
|
2840
|
+
* parent (CAP.MEET). Thus an evaluator cannot give a part more effects than it has. A context whose list the parent
|
|
2841
|
+
* permits stays the same object.
|
|
2815
2842
|
*
|
|
2816
2843
|
* @param parent - The context of the parent.
|
|
2817
2844
|
* @param next - The context that the evaluator gives the part.
|
|
@@ -2819,8 +2846,8 @@ function permits(caps, kind) {
|
|
|
2819
2846
|
*/
|
|
2820
2847
|
function narrow(parent, next) {
|
|
2821
2848
|
if (next === parent || next.caps === parent.caps) return next;
|
|
2822
|
-
const caps = next.caps
|
|
2823
|
-
return caps
|
|
2849
|
+
const caps = intersectCaps(next.caps, parent.caps);
|
|
2850
|
+
return caps === next.caps ? next : {
|
|
2824
2851
|
...next,
|
|
2825
2852
|
caps
|
|
2826
2853
|
};
|
|
@@ -2878,14 +2905,37 @@ function partCaps(rules, path, caps) {
|
|
|
2878
2905
|
*/
|
|
2879
2906
|
const GRANT = /* @__PURE__ */ Symbol("coeval.grant");
|
|
2880
2907
|
/**
|
|
2881
|
-
* This function gives a context
|
|
2882
|
-
* own list
|
|
2883
|
-
* permits, and a context without a grant keeps none. The result has the grant of its capabilities.
|
|
2908
|
+
* This function gives the capabilities that a context and its grant both permit, the meet `intersectCaps` (CAP.MEET).
|
|
2909
|
+
* A context whose grant is its own list gives that list after one comparison. A context without a grant gives none.
|
|
2884
2910
|
*/
|
|
2885
|
-
function
|
|
2911
|
+
function grantedCaps(ctx) {
|
|
2886
2912
|
const grant = ctx[GRANT];
|
|
2887
|
-
if (grant === ctx.caps) return
|
|
2888
|
-
|
|
2913
|
+
if (grant === ctx.caps) return grant;
|
|
2914
|
+
return grant === void 0 ? NO_CAPS$2 : intersectCaps(ctx.caps, grant);
|
|
2915
|
+
}
|
|
2916
|
+
/**
|
|
2917
|
+
* This function gives a context whose capabilities its grant permits (CAP.NARROW-CODE, CAP.MEET). A context whose grant
|
|
2918
|
+
* is its own list of capabilities stays the same object. Each other context keeps the meet of its list and its grant,
|
|
2919
|
+
* and a context without a grant keeps none. The result has the grant of its capabilities.
|
|
2920
|
+
*/
|
|
2921
|
+
function granted(ctx) {
|
|
2922
|
+
if (ctx[GRANT] === ctx.caps) return ctx;
|
|
2923
|
+
const caps = grantedCaps(ctx);
|
|
2924
|
+
return {
|
|
2925
|
+
...ctx,
|
|
2926
|
+
caps,
|
|
2927
|
+
[GRANT]: caps
|
|
2928
|
+
};
|
|
2929
|
+
}
|
|
2930
|
+
/**
|
|
2931
|
+
* This function gives the context in which the runtime resolves a path of compiled code (CAP.CAPS-GRANT, CAP.MEET).
|
|
2932
|
+
* The context has the meet of its list and its grant, and a context without a grant has none. Thus a read of the root
|
|
2933
|
+
* `caps` and a walker of a step document get the capabilities of the document from a widened context.
|
|
2934
|
+
* A context that the code narrowed keeps its own list. A context whose list does not change stays the same object.
|
|
2935
|
+
*/
|
|
2936
|
+
function readable(ctx) {
|
|
2937
|
+
const caps = grantedCaps(ctx);
|
|
2938
|
+
if (caps === ctx.caps || caps.length === 0 && ctx.caps.length === 0) return ctx;
|
|
2889
2939
|
return {
|
|
2890
2940
|
...ctx,
|
|
2891
2941
|
caps,
|
|
@@ -3055,14 +3105,20 @@ var Session = class {
|
|
|
3055
3105
|
get recording() {
|
|
3056
3106
|
return this.reading !== void 0;
|
|
3057
3107
|
}
|
|
3108
|
+
/**
|
|
3109
|
+
* This function resolves a path in the context that the grant permits (CAP.CAPS-GRANT, CAP.MEET). Thus the root
|
|
3110
|
+
* `caps` and a walker of a step document get the capabilities of the document.
|
|
3111
|
+
*/
|
|
3058
3112
|
resolve(ctx, path, options) {
|
|
3059
|
-
return this.read(ctx, path, void 0, options);
|
|
3113
|
+
return this.read(readable(ctx), path, void 0, options);
|
|
3060
3114
|
}
|
|
3061
3115
|
/**
|
|
3062
3116
|
* This function resolves a compiled path (PLAN.PATH). Without a list of reads and without a trace, the compiled
|
|
3063
|
-
* path answers at once. Each other resolution records its read, as `resolve` does.
|
|
3117
|
+
* path answers at once. Each other resolution records its read, as `resolve` does. The path resolves in the context
|
|
3118
|
+
* that the grant permits (CAP.CAPS-GRANT, CAP.MEET).
|
|
3064
3119
|
*/
|
|
3065
|
-
resolvePath(
|
|
3120
|
+
resolvePath(given, compiled) {
|
|
3121
|
+
const ctx = readable(given);
|
|
3066
3122
|
if (this.reading === void 0 && !this.traced && compiled.nav === this.machine) return compiled.resolve(ctx);
|
|
3067
3123
|
return this.read(ctx, compiled.path, compiled, void 0);
|
|
3068
3124
|
}
|
|
@@ -8635,13 +8691,14 @@ function capsOfPart(rules, path, caps) {
|
|
|
8635
8691
|
return out;
|
|
8636
8692
|
}
|
|
8637
8693
|
/**
|
|
8638
|
-
* This function gives the context of a part. A context that the evaluator gives keeps
|
|
8639
|
-
* parent (CAP.NARROW). Then the rules of the kind
|
|
8694
|
+
* This function gives the context of a part. A context that the evaluator gives keeps the effects that both it and
|
|
8695
|
+
* the parent permit (CAP.NARROW, CAP.MEET). A list that the parent permits stays as it is. Then the rules of the kind
|
|
8696
|
+
* narrow it (CAP.CONTRACT).
|
|
8640
8697
|
*/
|
|
8641
8698
|
function contextOfPart(seen, slot, parent, given) {
|
|
8642
|
-
const base = given === void 0 || given === parent ? parent : {
|
|
8699
|
+
const base = given === void 0 || given === parent ? parent : given.caps.every((cap) => permits(parent.caps, cap)) ? given : {
|
|
8643
8700
|
...given,
|
|
8644
|
-
caps:
|
|
8701
|
+
caps: bothPermit(parent.caps, given.caps)
|
|
8645
8702
|
};
|
|
8646
8703
|
const caps = capsOfPart(seen.kind?.caps, slot.path, base.caps);
|
|
8647
8704
|
return caps === base.caps ? base : {
|
|
@@ -10175,7 +10232,7 @@ var Shot = class {
|
|
|
10175
10232
|
/** This function answers an effect as the kernel does: it checks the capability, and it asks the mock. */
|
|
10176
10233
|
answer(ctx, kind, payload, place) {
|
|
10177
10234
|
const keys = capKeys(kind);
|
|
10178
|
-
const caps = ctx.caps
|
|
10235
|
+
const caps = intersectCaps(ctx.caps, this.context.caps);
|
|
10179
10236
|
if (!(this.machine.permits === void 0 ? permits(caps, keys) : this.machine.permits(caps, keys, {
|
|
10180
10237
|
...ctx,
|
|
10181
10238
|
caps
|