@proposit/shared 0.6.0 → 0.6.1
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.
|
@@ -7,6 +7,7 @@ export type TTextTreeItem = {
|
|
|
7
7
|
premiseId: string;
|
|
8
8
|
role: "conclusion" | "supporting";
|
|
9
9
|
title: string | null;
|
|
10
|
+
premiseType: "freeform" | "derivation";
|
|
10
11
|
} | {
|
|
11
12
|
type: "claim";
|
|
12
13
|
expressionId: string;
|
|
@@ -14,6 +15,7 @@ export type TTextTreeItem = {
|
|
|
14
15
|
claimId: string | null;
|
|
15
16
|
claimTitle: string;
|
|
16
17
|
claimBody: string;
|
|
18
|
+
claimType: "normal" | "citation";
|
|
17
19
|
negated: boolean;
|
|
18
20
|
isConclusion: boolean;
|
|
19
21
|
depth: number;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"text-tree.d.ts","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAC3D,OAAO,KAAK,EAER,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAE5B,iDAAiD;AACjD,eAAO,MAAM,eAAe,EAAE,MAAM,CAChC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,EACpC,MAAM,CAMT,CAAA;AAED,MAAM,MAAM,aAAa,GACnB;IACI,IAAI,EAAE,gBAAgB,CAAA;IACtB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,YAAY,GAAG,YAAY,CAAA;IACjC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;
|
|
1
|
+
{"version":3,"file":"text-tree.d.ts","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAC3D,OAAO,KAAK,EAER,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAE5B,iDAAiD;AACjD,eAAO,MAAM,eAAe,EAAE,MAAM,CAChC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,EACpC,MAAM,CAMT,CAAA;AAED,MAAM,MAAM,aAAa,GACnB;IACI,IAAI,EAAE,gBAAgB,CAAA;IACtB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,YAAY,GAAG,YAAY,CAAA;IACjC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,WAAW,EAAE,UAAU,GAAG,YAAY,CAAA;CACzC,GACD;IACI,IAAI,EAAE,OAAO,CAAA;IACb,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,MAAM,CAAA;IAClB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,QAAQ,GAAG,UAAU,CAAA;IAChC,OAAO,EAAE,OAAO,CAAA;IAChB,YAAY,EAAE,OAAO,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAA;IAC9C,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,eAAe,CAAA;IACrB,SAAS,EAAE,MAAM,CAAA;CACpB,CAAA;AAEP;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAClB,aAAa,EAAE,CAmBjB;AA+GD,wBAAgB,aAAa,CACzB,QAAQ,EAAE,wBAAwB,GACnC,aAAa,EAAE,CA+BjB"}
|
package/dist/engine/text-tree.js
CHANGED
|
@@ -45,12 +45,14 @@ function walkPremiseExpression(args) {
|
|
|
45
45
|
let claimId = null;
|
|
46
46
|
let claimTitle = "";
|
|
47
47
|
let claimBody = "";
|
|
48
|
+
let claimType = "normal";
|
|
48
49
|
if (variable && "claimId" in variable) {
|
|
49
50
|
claimId = variable.claimId;
|
|
50
51
|
const claim = claims[variable.claimId];
|
|
51
52
|
if (claim) {
|
|
52
53
|
claimTitle = claim.title;
|
|
53
54
|
claimBody = claim.body;
|
|
55
|
+
claimType = claim.type ?? "normal";
|
|
54
56
|
}
|
|
55
57
|
}
|
|
56
58
|
items.push({
|
|
@@ -60,6 +62,7 @@ function walkPremiseExpression(args) {
|
|
|
60
62
|
claimId,
|
|
61
63
|
claimTitle,
|
|
62
64
|
claimBody,
|
|
65
|
+
claimType,
|
|
63
66
|
negated,
|
|
64
67
|
isConclusion,
|
|
65
68
|
depth,
|
|
@@ -134,6 +137,7 @@ export function buildTextTree(snapshot) {
|
|
|
134
137
|
premiseId,
|
|
135
138
|
role: premiseId === conclusionPremiseId ? "conclusion" : "supporting",
|
|
136
139
|
title: premiseSnap.premise.title ?? null,
|
|
140
|
+
premiseType: premiseSnap.premise.type ?? "freeform",
|
|
137
141
|
});
|
|
138
142
|
items.push(...buildPremiseTextTree(snapshot, premiseId));
|
|
139
143
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"text-tree.js","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAMA,iDAAiD;AACjD,MAAM,CAAC,MAAM,eAAe,GAGxB;IACA,GAAG,EAAE,KAAK;IACV,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,YAAY;IACrB,GAAG,EAAE,wBAAwB;CAChC,CAAA;
|
|
1
|
+
{"version":3,"file":"text-tree.js","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAMA,iDAAiD;AACjD,MAAM,CAAC,MAAM,eAAe,GAGxB;IACA,GAAG,EAAE,KAAK;IACV,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,YAAY;IACrB,GAAG,EAAE,wBAAwB;CAChC,CAAA;AAiCD;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,QAAkC,EAClC,SAAiB;IAEjB,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IAChD,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAA;IAC3B,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,KAAK,SAAS,CAAA;IACrE,MAAM,UAAU,GAAG,WAAW,CAAC,gBAAgB,CAAA;IAC/C,IAAI,CAAC,UAAU;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,CAAA;IAE9D,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,qBAAqB,CAAC;QAClB,MAAM,EAAE,UAAU;QAClB,kBAAkB,EAAE,WAAW,CAAC,WAAW;QAC3C,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,YAAY;QACZ,KAAK;KACR,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,SAAS,mBAAmB,CACxB,QAAgB,EAChB,kBAAoE;IAEpE,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC;SACnC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC;SACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAA;AAC9D,CAAC;AAED,SAAS,qBAAqB,CAAC,IAS9B;IACG,MAAM,EACF,MAAM,EACN,kBAAkB,EAClB,SAAS,EACT,MAAM,EACN,OAAO,EACP,KAAK,EACL,YAAY,EACZ,KAAK,GACR,GAAG,IAAI,CAAA;IACR,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACvC,IAAI,CAAC,IAAI;QAAE,OAAM;IAEjB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAC3C,IAAI,OAAO,GAAkB,IAAI,CAAA;QACjC,IAAI,UAAU,GAAG,EAAE,CAAA;QACnB,IAAI,SAAS,GAAG,EAAE,CAAA;QAClB,IAAI,SAAS,GAA0B,QAAQ,CAAA;QAC/C,IAAI,QAAQ,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YACpC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;YAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YACtC,IAAI,KAAK,EAAE,CAAC;gBACR,UAAU,GAAG,KAAK,CAAC,KAAK,CAAA;gBACxB,SAAS,GAAG,KAAK,CAAC,IAAI,CAAA;gBACtB,SAAS,GAAG,KAAK,CAAC,IAAI,IAAI,QAAQ,CAAA;YACtC,CAAC;QACL,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,IAAI,CAAC,EAAE;YACrB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,OAAO;YACP,UAAU;YACV,SAAS;YACT,SAAS;YACT,OAAO;YACP,YAAY;YACZ,KAAK;SACR,CAAC,CAAA;QACF,OAAM;IACV,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAChE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC3B,qBAAqB,CAAC;gBAClB,GAAG,IAAI;gBACP,MAAM,EAAE,KAAK,CAAC,EAAE;gBAChB,KAAK,EAAE,KAAK,GAAG,CAAC;aACnB,CAAC,CAAA;QACN,CAAC;QACD,OAAM;IACV,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;YAChE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,qBAAqB,CAAC;oBAClB,GAAG,IAAI;oBACP,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;oBACtB,OAAO,EAAE,CAAC,OAAO;iBACpB,CAAC,CAAA;YACN,CAAC;YACD,OAAM;QACV,CAAC;QACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAChE,MAAM,WAAW,GACb,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAA;QAC1D,MAAM,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAA;QAExE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,qBAAqB,CAAC;gBAClB,GAAG,IAAI;gBACP,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC7B,OAAO,EAAE,KAAK;aACjB,CAAC,CAAA;YACF,IAAI,CAAC,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC;oBACP,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;oBACrC,KAAK;iBACR,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,QAAkC;IAElC,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAA;IAE9D,mDAAmD;IACnD,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IACxD,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE;QACxD,MAAM,aAAa,GAAG,GAAG,KAAK,mBAAmB,CAAA;QACjD,MAAM,aAAa,GAAG,GAAG,KAAK,mBAAmB,CAAA;QACjD,IAAI,aAAa,IAAI,CAAC,aAAa;YAAE,OAAO,CAAC,CAAC,CAAA;QAC9C,IAAI,CAAC,aAAa,IAAI,aAAa;YAAE,OAAO,CAAC,CAAA;QAC7C,OAAO,CAAC,CAAA;IACZ,CAAC,CAAC,CAAA;IAEF,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,cAAc,EAAE,CAAC;QACpD,wEAAwE;QACxE,wEAAwE;QACxE,iEAAiE;QACjE,IAAI,WAAW,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;YAAE,SAAQ;QACvD,KAAK,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,gBAAgB;YACtB,SAAS;YACT,IAAI,EACA,SAAS,KAAK,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY;YACnE,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI;YACxC,WAAW,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,IAAI,UAAU;SACtD,CAAC,CAAA;QACF,KAAK,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAA;IAC5D,CAAC;IAED,OAAO,KAAK,CAAA;AAChB,CAAC"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@proposit/shared",
|
|
3
|
-
"version": "0.6.
|
|
3
|
+
"version": "0.6.1",
|
|
4
4
|
"description": "Runtime-agnostic TypeScript shared between proposit-server and proposit-mobile. Schemas, engine, api-client, and utilities.",
|
|
5
5
|
"license": "MIT",
|
|
6
6
|
"homepage": "https://github.com/Proposit-App/proposit-shared",
|