@proposit/shared 0.30.0 → 0.31.0

package/dist/fixtures/argument-yaml/lower.js

@@ -0,0 +1,141 @@
+// Reconstruct the AUTHORED curated argument from the persisted shared-schema
+// pieces of a stored argument. This is the inverse of the server seed recipe's
+// `materializeExprTree` (proposit-server `database/seeds/lib/build-argument.ts`):
+// it walks the flat persisted variables / premises / expressions back into the
+// `{symbol,title,body}` claims and `ExprNode` premise trees a human authored,
+// while dropping everything the engine synthesized.
+//
+// Three classes of synthesized structure are excluded:
+//   - Derivation premises — the per-claim hidden premises `addClaim` mints. They
+//     carry `type: "derivation"` (vs `"freeform"` for authored premises); we keep
+//     only freeform premises.
+//   - Premise-bound / auto variables — only CLAIM-bound variables (those that
+//     reference a claim) become curated claims; premise-bound variables (which
+//     have no `claimId`) are skipped.
+//   - Derivation-only claim-bound variables — each claim is persisted with both
+//     an authored claim-bound variable AND an engine-synthesized one bound to the
+//     same claim but referenced solely by the derivation premise. Only the
+//     authored variable becomes a curated claim (see the dedup below).
+// AN-normalization expression nodes (formula buffers, etc.) are NOT stripped:
+// the curated form mirrors the persisted, normalized tree, so reconstructing the
+// stored expression tree verbatim reproduces the authored structure.
+import { isNormalClaim } from "../../schemas/model/claims.js";
+function isClaimBoundVariable(variable) {
+    return "claimId" in variable;
+}
+function buildExprNode(expression, childrenByParentId, variablesById) {
+    if (expression.type === "variable") {
+        const variable = variablesById.get(expression.variableId);
+        if (!variable) {
+            throw new Error(`Variable expression ${expression.id} references missing variable ${expression.variableId}`);
+        }
+        return { type: "variable", symbol: variable.symbol };
+    }
+    const children = (childrenByParentId.get(expression.id) ?? [])
+        .slice()
+        .sort((left, right) => left.position - right.position)
+        .map((child) => buildExprNode(child, childrenByParentId, variablesById));
+    if (expression.type === "operator") {
+        return { type: "operator", operator: expression.operator, children };
+    }
+    return { type: "formula", children };
+}
+function buildPremiseTree(premiseId, expressionsByPremiseId, variablesById) {
+    const expressions = expressionsByPremiseId.get(premiseId) ?? [];
+    const childrenByParentId = new Map();
+    let root;
+    for (const expression of expressions) {
+        if (expression.parentId === null) {
+            root = expression;
+            continue;
+        }
+        const siblings = childrenByParentId.get(expression.parentId) ?? [];
+        siblings.push(expression);
+        childrenByParentId.set(expression.parentId, siblings);
+    }
+    if (!root) {
+        throw new Error(`Premise ${premiseId} has no root expression (parentId === null)`);
+    }
+    return buildExprNode(root, childrenByParentId, variablesById);
+}
+export function lowerArgumentToCurated(input) {
+    const { argument, claims, variables, premises, expressions } = input;
+    const claimsById = new Map(claims.map((claim) => [claim.id, claim]));
+    const variablesById = new Map(variables.map((variable) => [variable.id, variable]));
+    // A persisted claim carries TWO claim-bound variables: the authored one
+    // (descriptive symbol, referenced by the freeform premises) and an
+    // engine-synthesized one (auto symbol) that lives in the per-claim hidden
+    // derivation premise `addClaim` mints. Recover only the authored claims by
+    // dropping every claim-bound variable referenced ONLY by derivation-premise
+    // expressions — that also drops engine-added axiomatic background claims,
+    // whose variable likewise appears solely in a derivation premise. An
+    // authored variable that no freeform premise happens to reference (an
+    // "orphan" claim) is referenced by neither set and is therefore kept.
+    const derivationPremiseIds = new Set(premises
+        .filter((premise) => premise.type === "derivation")
+        .map((premise) => premise.id));
+    const referencedByFreeform = new Set();
+    const referencedByDerivation = new Set();
+    for (const expression of expressions) {
+        if (expression.type !== "variable") {
+            continue;
+        }
+        if (derivationPremiseIds.has(expression.premiseId)) {
+            referencedByDerivation.add(expression.variableId);
+        }
+        else {
+            referencedByFreeform.add(expression.variableId);
+        }
+    }
+    // One curated claim per AUTHORED claim-bound variable, in input order.
+    const curatedClaims = [];
+    for (const variable of variables) {
+        if (!isClaimBoundVariable(variable)) {
+            continue;
+        }
+        if (referencedByDerivation.has(variable.id) &&
+            !referencedByFreeform.has(variable.id)) {
+            continue;
+        }
+        const claim = claimsById.get(variable.claimId);
+        if (!claim) {
+            throw new Error(`Claim-bound variable "${variable.symbol}" references missing claim ${variable.claimId}`);
+        }
+        if (!isNormalClaim(claim)) {
+            throw new Error(`Claim-bound variable "${variable.symbol}" references a non-normal claim ${claim.id}; curated arguments only represent normal claims`);
+        }
+        curatedClaims.push({
+            symbol: variable.symbol,
+            title: claim.title,
+            body: claim.body,
+        });
+    }
+    // Group expressions by their owning premise once.
+    const expressionsByPremiseId = new Map();
+    for (const expression of expressions) {
+        const list = expressionsByPremiseId.get(expression.premiseId) ?? [];
+        list.push(expression);
+        expressionsByPremiseId.set(expression.premiseId, list);
+    }
+    // One curated premise per AUTHORED freeform premise, in input order.
+    // Derivation premises (`type === "derivation"`) are engine-synthesized and
+    // excluded.
+    const curatedPremises = [];
+    for (const premise of premises) {
+        if (premise.type === "derivation") {
+            continue;
+        }
+        curatedPremises.push({
+            title: premise.title ?? null,
+            role: premise.role,
+            tree: buildPremiseTree(premise.id, expressionsByPremiseId, variablesById),
+        });
+    }
+    return {
+        title: argument.title,
+        description: argument.description ?? "",
+        claims: curatedClaims,
+        premises: curatedPremises,
+    };
+}
+//# sourceMappingURL=lower.js.map

package/dist/fixtures/argument-yaml/lower.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../../src/fixtures/argument-yaml/lower.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,+EAA+E;AAC/E,kFAAkF;AAClF,+EAA+E;AAC/E,8EAA8E;AAC9E,oDAAoD;AACpD,EAAE;AACF,uDAAuD;AACvD,iFAAiF;AACjF,kFAAkF;AAClF,8BAA8B;AAC9B,8EAA8E;AAC9E,+EAA+E;AAC/E,sCAAsC;AACtC,gFAAgF;AAChF,kFAAkF;AAClF,2EAA2E;AAC3E,uEAAuE;AACvE,8EAA8E;AAC9E,iFAAiF;AACjF,qEAAqE;AAErE,OAAO,EAAE,aAAa,EAAe,MAAM,+BAA+B,CAAA;AA0B1E,SAAS,oBAAoB,CACzB,QAAgC;IAEhC,OAAO,SAAS,IAAI,QAAQ,CAAA;AAChC,CAAC;AAED,SAAS,aAAa,CAClB,UAA4C,EAC5C,kBAAmE,EACnE,aAAkD;IAElD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;QACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACX,uBAAuB,UAAU,CAAC,EAAE,gCAAgC,UAAU,CAAC,UAAU,EAAE,CAC9F,CAAA;QACL,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAA;IACxD,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;SACzD,KAAK,EAAE;SACP,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;SACrD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,kBAAkB,EAAE,aAAa,CAAC,CAAC,CAAA;IAE5E,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAA;IACxE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAA;AACxC,CAAC;AAED,SAAS,gBAAgB,CACrB,SAAiB,EACjB,sBAAuE,EACvE,aAAkD;IAElD,MAAM,WAAW,GAAG,sBAAsB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAA;IAC/D,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAG/B,CAAA;IACH,IAAI,IAAkD,CAAA;IACtD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/B,IAAI,GAAG,UAAU,CAAA;YACjB,SAAQ;QACZ,CAAC;QACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;QAClE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QACzB,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IACzD,CAAC;IACD,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,MAAM,IAAI,KAAK,CACX,WAAW,SAAS,6CAA6C,CACpE,CAAA;IACL,CAAC;IACD,OAAO,aAAa,CAAC,IAAI,EAAE,kBAAkB,EAAE,aAAa,CAAC,CAAA;AACjE,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,KAA6B;IAE7B,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,KAAK,CAAA;IAEpE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;IACpE,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CACvD,CAAA;IAED,wEAAwE;IACxE,mEAAmE;IACnE,0EAA0E;IAC1E,2EAA2E;IAC3E,4EAA4E;IAC5E,0EAA0E;IAC1E,qEAAqE;IACrE,sEAAsE;IACtE,sEAAsE;IACtE,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAChC,QAAQ;SACH,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY,CAAC;SAClD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CACpC,CAAA;IACD,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9C,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAU,CAAA;IAChD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,SAAQ;QACZ,CAAC;QACD,IAAI,oBAAoB,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YACjD,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;QACrD,CAAC;aAAM,CAAC;YACJ,oBAAoB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;QACnD,CAAC;IACL,CAAC;IAED,uEAAuE;IACvE,MAAM,aAAa,GAAmB,EAAE,CAAA;IACxC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,SAAQ;QACZ,CAAC;QACD,IACI,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EACxC,CAAC;YACC,SAAQ;QACZ,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;QAC9C,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CACX,yBAAyB,QAAQ,CAAC,MAAM,8BAA8B,QAAQ,CAAC,OAAO,EAAE,CAC3F,CAAA;QACL,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACX,yBAAyB,QAAQ,CAAC,MAAM,mCAAmC,KAAK,CAAC,EAAE,kDAAkD,CACxI,CAAA;QACL,CAAC;QACD,aAAa,CAAC,IAAI,CAAC;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;SACnB,CAAC,CAAA;IACN,CAAC;IAED,kDAAkD;IAClD,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAGnC,CAAA;IACH,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,CAAA;QACnE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QACrB,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IAC1D,CAAC;IAED,qEAAqE;IACrE,2EAA2E;IAC3E,YAAY;IACZ,MAAM,eAAe,GAAqB,EAAE,CAAA;IAC5C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,SAAQ;QACZ,CAAC;QACD,eAAe,CAAC,IAAI,CAAC;YACjB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI;YAC5B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,gBAAgB,CAClB,OAAO,CAAC,EAAE,EACV,sBAAsB,EACtB,aAAa,CAChB;SACJ,CAAC,CAAA;IACN,CAAC;IAED,OAAO;QACH,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,WAAW,EAAE,QAAQ,CAAC,WAAW,IAAI,EAAE;QACvC,MAAM,EAAE,aAAa;QACrB,QAAQ,EAAE,eAAe;KAC5B,CAAA;AACL,CAAC"}

package/dist/fixtures/argument-yaml/schema.d.ts

@@ -0,0 +1,74 @@
+import Type from "typebox";
+import type { CuratedArgument } from "../curated-argument/index.js";
+import type { HistoricalFigureProvenance } from "../historical-figures/index.js";
+export declare const ExprNodeYamlSchema: Type.TCyclic<{
+    ExprNode: Type.TUnion<[Type.TObject<{
+        type: Type.TLiteral<"variable">;
+        symbol: Type.TString;
+    }>, Type.TObject<{
+        type: Type.TLiteral<"operator">;
+        operator: Type.TUnion<[Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"not">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+        children: Type.TArray<Type.TRef<"ExprNode">>;
+    }>, Type.TObject<{
+        type: Type.TLiteral<"formula">;
+        children: Type.TArray<Type.TRef<"ExprNode">>;
+    }>]>;
+}, "ExprNode">;
+export declare const ArgumentYamlProvenanceSchema: Type.TObject<{
+    provider: Type.TString;
+    model: Type.TUnion<[Type.TString, Type.TNull]>;
+    pipeline: Type.TString;
+    pipelineVersion: Type.TString;
+    mode: Type.TString;
+    runAt: Type.TString;
+    sourceFile: Type.TString;
+    sourcePath: Type.TString;
+    coreVersion: Type.TString;
+    sharedVersion: Type.TString;
+    serverVersion: Type.TString;
+}>;
+export declare const CuratedArgumentYamlSchema: Type.TObject<{
+    title: Type.TString;
+    description: Type.TString;
+    claims: Type.TArray<Type.TObject<{
+        symbol: Type.TString;
+        title: Type.TString;
+        body: Type.TString;
+    }>>;
+    premises: Type.TArray<Type.TObject<{
+        title: Type.TUnion<[Type.TString, Type.TNull]>;
+        role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+        tree: Type.TCyclic<{
+            ExprNode: Type.TUnion<[Type.TObject<{
+                type: Type.TLiteral<"variable">;
+                symbol: Type.TString;
+            }>, Type.TObject<{
+                type: Type.TLiteral<"operator">;
+                operator: Type.TUnion<[Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"not">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+                children: Type.TArray<Type.TRef<"ExprNode">>;
+            }>, Type.TObject<{
+                type: Type.TLiteral<"formula">;
+                children: Type.TArray<Type.TRef<"ExprNode">>;
+            }>]>;
+        }, "ExprNode">;
+    }>>;
+    documentCurationId: Type.TOptional<Type.TString>;
+    provenance: Type.TOptional<Type.TObject<{
+        provider: Type.TString;
+        model: Type.TUnion<[Type.TString, Type.TNull]>;
+        pipeline: Type.TString;
+        pipelineVersion: Type.TString;
+        mode: Type.TString;
+        runAt: Type.TString;
+        sourceFile: Type.TString;
+        sourcePath: Type.TString;
+        coreVersion: Type.TString;
+        sharedVersion: Type.TString;
+        serverVersion: Type.TString;
+    }>>;
+}>;
+export type TCuratedArgumentYaml = CuratedArgument & {
+    documentCurationId?: string;
+    provenance?: HistoricalFigureProvenance;
+};
+//# sourceMappingURL=schema.d.ts.map

package/dist/fixtures/argument-yaml/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/fixtures/argument-yaml/schema.ts"],"names":[],"mappings":"AAQA,OAAO,IAAI,MAAM,SAAS,CAAA;AAC1B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AACnE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAA;AAIhF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;cAyB9B,CAAA;AAID,eAAO,MAAM,4BAA4B;;;;;;;;;;;;EAYvC,CAAA;AAeF,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASpC,CAAA;AAMF,MAAM,MAAM,oBAAoB,GAAG,eAAe,GAAG;IACjD,kBAAkB,CAAC,EAAE,MAAM,CAAA;IAC3B,UAAU,CAAC,EAAE,0BAA0B,CAAA;CAC1C,CAAA"}

package/dist/fixtures/argument-yaml/schema.js

@@ -0,0 +1,70 @@
+// On-disk YAML contract for a curated argument.
+//
+// This TypeBox schema mirrors `../curated-argument`'s `CuratedArgument` /
+// `ExprNode` authoring shape, plus the optional `documentCurationId` and
+// `provenance` carried by `../historical-figures`'s `HistoricalFigureArgument`.
+// It is the canonical, PR-editable representation a curated argument serializes
+// to and is validated against on parse — NOT core's lossy snapshot YAML.
+import Type from "typebox";
+// Recursive `ExprNode` union. Declared as a cyclic schema so the `operator` /
+// `formula` branches can reference the same node type for their children.
+export const ExprNodeYamlSchema = Type.Cyclic({
+    ExprNode: Type.Union([
+        Type.Object({
+            type: Type.Literal("variable"),
+            symbol: Type.String(),
+        }),
+        Type.Object({
+            type: Type.Literal("operator"),
+            operator: Type.Union([
+                Type.Literal("and"),
+                Type.Literal("or"),
+                Type.Literal("not"),
+                Type.Literal("implies"),
+                Type.Literal("iff"),
+            ]),
+            children: Type.Array(Type.Ref("ExprNode")),
+        }),
+        Type.Object({
+            type: Type.Literal("formula"),
+            children: Type.Array(Type.Ref("ExprNode")),
+        }),
+    ]),
+}, "ExprNode");
+// Provenance block — mirrors `HistoricalFigureProvenance`. `model` is the only
+// nullable field (some ingestion runs do not pin a concrete model id).
+export const ArgumentYamlProvenanceSchema = Type.Object({
+    provider: Type.String(),
+    model: Type.Union([Type.String(), Type.Null()]),
+    pipeline: Type.String(),
+    pipelineVersion: Type.String(),
+    mode: Type.String(),
+    runAt: Type.String(),
+    sourceFile: Type.String(),
+    sourcePath: Type.String(),
+    coreVersion: Type.String(),
+    sharedVersion: Type.String(),
+    serverVersion: Type.String(),
+});
+const CuratedClaimYamlSchema = Type.Object({
+    symbol: Type.String(),
+    title: Type.String(),
+    body: Type.String(),
+});
+const CuratedPremiseYamlSchema = Type.Object({
+    // Title-less premises persist `title: null`.
+    title: Type.Union([Type.String(), Type.Null()]),
+    role: Type.Union([Type.Literal("conclusion"), Type.Literal("supporting")]),
+    tree: ExprNodeYamlSchema,
+});
+export const CuratedArgumentYamlSchema = Type.Object({
+    title: Type.String(),
+    description: Type.String(),
+    claims: Type.Array(CuratedClaimYamlSchema),
+    premises: Type.Array(CuratedPremiseYamlSchema),
+    // Stable id of the source document this argument was ingested from. Optional
+    // because a freshly-authored argument may not have one yet.
+    documentCurationId: Type.Optional(Type.String()),
+    provenance: Type.Optional(ArgumentYamlProvenanceSchema),
+});
+//# sourceMappingURL=schema.js.map

package/dist/fixtures/argument-yaml/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../src/fixtures/argument-yaml/schema.ts"],"names":[],"mappings":"AAAA,gDAAgD;AAChD,EAAE;AACF,0EAA0E;AAC1E,yEAAyE;AACzE,gFAAgF;AAChF,gFAAgF;AAChF,yEAAyE;AAEzE,OAAO,IAAI,MAAM,SAAS,CAAA;AAI1B,8EAA8E;AAC9E,0EAA0E;AAC1E,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CACzC;IACI,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC;QACjB,IAAI,CAAC,MAAM,CAAC;YACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;YAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;SACxB,CAAC;QACF,IAAI,CAAC,MAAM,CAAC;YACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;YAC9B,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC;gBACjB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;gBACnB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;gBAClB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;gBACnB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;gBACvB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;aACtB,CAAC;YACF,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;SAC7C,CAAC;QACF,IAAI,CAAC,MAAM,CAAC;YACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;YAC7B,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;SAC7C,CAAC;KACL,CAAC;CACL,EACD,UAAU,CACb,CAAA;AAED,+EAA+E;AAC/E,uEAAuE;AACvE,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/C,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;IAC1B,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;IAC5B,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;CAC/B,CAAC,CAAA;AAEF,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAEF,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,6CAA6C;IAC7C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IAC1E,IAAI,EAAE,kBAAkB;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;IAC1B,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC1C,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;IAC9C,6EAA6E;IAC7E,4DAA4D;IAC5D,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAChD,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,4BAA4B,CAAC;CAC1D,CAAC,CAAA"}

package/dist/fixtures/argument-yaml/serialize.d.ts

@@ -0,0 +1,4 @@
+import { type TCuratedArgumentYaml } from "./schema.js";
+export declare function serializeArgumentYaml(curated: TCuratedArgumentYaml): string;
+export declare function parseArgumentYaml(yamlString: string): TCuratedArgumentYaml;
+//# sourceMappingURL=serialize.d.ts.map

package/dist/fixtures/argument-yaml/serialize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../../src/fixtures/argument-yaml/serialize.ts"],"names":[],"mappings":"AAMA,OAAO,EAEH,KAAK,oBAAoB,EAC5B,MAAM,aAAa,CAAA;AAOpB,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,oBAAoB,GAAG,MAAM,CAS3E;AAED,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,oBAAoB,CAgB1E"}

package/dist/fixtures/argument-yaml/serialize.js

@@ -0,0 +1,31 @@
+// YAML serialize / parse for curated arguments. Thin wrappers over the `yaml`
+// package plus TypeBox validation against `CuratedArgumentYamlSchema`, so a
+// malformed argument never round-trips silently.
+import { Value } from "typebox/value";
+import { parse as parseYaml, stringify as stringifyYaml } from "yaml";
+import { CuratedArgumentYamlSchema, } from "./schema.js";
+function firstError(value) {
+    const [error] = [...Value.Errors(CuratedArgumentYamlSchema, value)];
+    return error?.message ?? "unknown validation error";
+}
+export function serializeArgumentYaml(curated) {
+    if (!Value.Check(CuratedArgumentYamlSchema, curated)) {
+        throw new Error(`Cannot serialize curated argument — does not match the YAML schema: ${firstError(curated)}`);
+    }
+    return stringifyYaml(curated);
+}
+export function parseArgumentYaml(yamlString) {
+    let raw;
+    try {
+        raw = parseYaml(yamlString);
+    }
+    catch (cause) {
+        const message = cause instanceof Error ? cause.message : String(cause);
+        throw new Error(`Invalid YAML: ${message}`);
+    }
+    if (!Value.Check(CuratedArgumentYamlSchema, raw)) {
+        throw new Error(`Parsed YAML does not match the curated-argument schema: ${firstError(raw)}`);
+    }
+    return raw;
+}
+//# sourceMappingURL=serialize.js.map

package/dist/fixtures/argument-yaml/serialize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../../src/fixtures/argument-yaml/serialize.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,4EAA4E;AAC5E,iDAAiD;AAEjD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AACrC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,MAAM,CAAA;AACrE,OAAO,EACH,yBAAyB,GAE5B,MAAM,aAAa,CAAA;AAEpB,SAAS,UAAU,CAAC,KAAc;IAC9B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,yBAAyB,EAAE,KAAK,CAAC,CAAC,CAAA;IACnE,OAAO,KAAK,EAAE,OAAO,IAAI,0BAA0B,CAAA;AACvD,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAA6B;IAC/D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,yBAAyB,EAAE,OAAO,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CACX,uEAAuE,UAAU,CAC7E,OAAO,CACV,EAAE,CACN,CAAA;IACL,CAAC;IACD,OAAO,aAAa,CAAC,OAAO,CAAC,CAAA;AACjC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,UAAkB;IAChD,IAAI,GAAY,CAAA;IAChB,IAAI,CAAC;QACD,GAAG,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACtE,MAAM,IAAI,KAAK,CAAC,iBAAiB,OAAO,EAAE,CAAC,CAAA;IAC/C,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,yBAAyB,EAAE,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CACX,2DAA2D,UAAU,CACjE,GAAG,CACN,EAAE,CACN,CAAA;IACL,CAAC;IACD,OAAO,GAA2B,CAAA;AACtC,CAAC"}

package/dist/fixtures/argument-yaml/sha256.d.ts

@@ -0,0 +1,2 @@
+export declare function sha256Hex(input: string): string;
+//# sourceMappingURL=sha256.d.ts.map

package/dist/fixtures/argument-yaml/sha256.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sha256.d.ts","sourceRoot":"","sources":["../../../src/fixtures/argument-yaml/sha256.ts"],"names":[],"mappings":"AA2DA,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CA0F/C"}

package/dist/fixtures/argument-yaml/sha256.js

@@ -0,0 +1,122 @@
+// Pure-JS SHA-256 (FIPS 180-4) over a UTF-8 string, returning lowercase hex.
+//
+// Dependency-free and runtime-agnostic on purpose: no Node `crypto`, no Web
+// `crypto.subtle`, not even `TextEncoder`. UTF-8 encoding is done by hand so the
+// whole module ships safely to `dist/` under this package's no-DOM/no-Node rule.
+// `@proposit/proposit-core`'s checksum helper is FNV-1a (32-bit, non-crypto), so
+// it cannot be reused where a real SHA-256 content digest is wanted.
+// Round constants: first 32 bits of the fractional parts of the cube roots of
+// the first 64 primes.
+const K = [
+    0x428a2f98, 0x71374491, 0xb5c0fbcf, 0xe9b5dba5, 0x3956c25b, 0x59f111f1,
+    0x923f82a4, 0xab1c5ed5, 0xd807aa98, 0x12835b01, 0x243185be, 0x550c7dc3,
+    0x72be5d74, 0x80deb1fe, 0x9bdc06a7, 0xc19bf174, 0xe49b69c1, 0xefbe4786,
+    0x0fc19dc6, 0x240ca1cc, 0x2de92c6f, 0x4a7484aa, 0x5cb0a9dc, 0x76f988da,
+    0x983e5152, 0xa831c66d, 0xb00327c8, 0xbf597fc7, 0xc6e00bf3, 0xd5a79147,
+    0x06ca6351, 0x14292967, 0x27b70a85, 0x2e1b2138, 0x4d2c6dfc, 0x53380d13,
+    0x650a7354, 0x766a0abb, 0x81c2c92e, 0x92722c85, 0xa2bfe8a1, 0xa81a664b,
+    0xc24b8b70, 0xc76c51a3, 0xd192e819, 0xd6990624, 0xf40e3585, 0x106aa070,
+    0x19a4c116, 0x1e376c08, 0x2748774c, 0x34b0bcb5, 0x391c0cb3, 0x4ed8aa4a,
+    0x5b9cca4f, 0x682e6ff3, 0x748f82ee, 0x78a5636f, 0x84c87814, 0x8cc70208,
+    0x90befffa, 0xa4506ceb, 0xbef9a3f7, 0xc67178f2,
+];
+function rotateRight(value, bits) {
+    return (value >>> bits) | (value << (32 - bits));
+}
+// Encode a JS (UTF-16) string as UTF-8 bytes, handling surrogate pairs.
+function utf8Bytes(input) {
+    const bytes = [];
+    for (let i = 0; i < input.length; i++) {
+        let code = input.charCodeAt(i);
+        if (code < 0x80) {
+            bytes.push(code);
+        }
+        else if (code < 0x800) {
+            bytes.push(0xc0 | (code >> 6), 0x80 | (code & 0x3f));
+        }
+        else if (code >= 0xd800 && code <= 0xdbff && i + 1 < input.length) {
+            // High surrogate followed by a low surrogate → one code point.
+            const low = input.charCodeAt(i + 1);
+            code = 0x10000 + ((code - 0xd800) << 10) + (low - 0xdc00);
+            i++;
+            bytes.push(0xf0 | (code >> 18), 0x80 | ((code >> 12) & 0x3f), 0x80 | ((code >> 6) & 0x3f), 0x80 | (code & 0x3f));
+        }
+        else {
+            bytes.push(0xe0 | (code >> 12), 0x80 | ((code >> 6) & 0x3f), 0x80 | (code & 0x3f));
+        }
+    }
+    return bytes;
+}
+export function sha256Hex(input) {
+    const hash = new Uint32Array([
+        0x6a09e667, 0xbb67ae85, 0x3c6ef372, 0xa54ff53a, 0x510e527f, 0x9b05688c,
+        0x1f83d9ab, 0x5be0cd19,
+    ]);
+    const bytes = utf8Bytes(input);
+    const bitLength = bytes.length * 8;
+    // Pad: append 0x80, then zero bytes until length ≡ 56 (mod 64).
+    bytes.push(0x80);
+    while (bytes.length % 64 !== 56) {
+        bytes.push(0);
+    }
+    // Append the original message length as a 64-bit big-endian integer.
+    const high = Math.floor(bitLength / 0x100000000);
+    const low = bitLength >>> 0;
+    bytes.push((high >>> 24) & 0xff, (high >>> 16) & 0xff, (high >>> 8) & 0xff, high & 0xff, (low >>> 24) & 0xff, (low >>> 16) & 0xff, (low >>> 8) & 0xff, low & 0xff);
+    const schedule = new Uint32Array(64);
+    for (let offset = 0; offset < bytes.length; offset += 64) {
+        for (let i = 0; i < 16; i++) {
+            const j = offset + i * 4;
+            schedule[i] =
+                (bytes[j] << 24) |
+                    (bytes[j + 1] << 16) |
+                    (bytes[j + 2] << 8) |
+                    bytes[j + 3];
+        }
+        for (let i = 16; i < 64; i++) {
+            const w15 = schedule[i - 15];
+            const w2 = schedule[i - 2];
+            const s0 = rotateRight(w15, 7) ^ rotateRight(w15, 18) ^ (w15 >>> 3);
+            const s1 = rotateRight(w2, 17) ^ rotateRight(w2, 19) ^ (w2 >>> 10);
+            schedule[i] = (schedule[i - 16] + s0 + schedule[i - 7] + s1) >>> 0;
+        }
+        let a = hash[0];
+        let b = hash[1];
+        let c = hash[2];
+        let d = hash[3];
+        let e = hash[4];
+        let f = hash[5];
+        let g = hash[6];
+        let h = hash[7];
+        for (let i = 0; i < 64; i++) {
+            const bigS1 = rotateRight(e, 6) ^ rotateRight(e, 11) ^ rotateRight(e, 25);
+            const choice = (e & f) ^ (~e & g);
+            const temp1 = (h + bigS1 + choice + K[i] + schedule[i]) >>> 0;
+            const bigS0 = rotateRight(a, 2) ^ rotateRight(a, 13) ^ rotateRight(a, 22);
+            const majority = (a & b) ^ (a & c) ^ (b & c);
+            const temp2 = (bigS0 + majority) >>> 0;
+            h = g;
+            g = f;
+            f = e;
+            e = (d + temp1) >>> 0;
+            d = c;
+            c = b;
+            b = a;
+            a = (temp1 + temp2) >>> 0;
+        }
+        hash[0] = (hash[0] + a) >>> 0;
+        hash[1] = (hash[1] + b) >>> 0;
+        hash[2] = (hash[2] + c) >>> 0;
+        hash[3] = (hash[3] + d) >>> 0;
+        hash[4] = (hash[4] + e) >>> 0;
+        hash[5] = (hash[5] + f) >>> 0;
+        hash[6] = (hash[6] + g) >>> 0;
+        hash[7] = (hash[7] + h) >>> 0;
+    }
+    let hex = "";
+    for (let i = 0; i < 8; i++) {
+        hex += hash[i].toString(16).padStart(8, "0");
+    }
+    return hex;
+}
+//# sourceMappingURL=sha256.js.map

package/dist/fixtures/argument-yaml/sha256.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sha256.js","sourceRoot":"","sources":["../../../src/fixtures/argument-yaml/sha256.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,EAAE;AACF,4EAA4E;AAC5E,iFAAiF;AACjF,iFAAiF;AACjF,iFAAiF;AACjF,qEAAqE;AAErE,8EAA8E;AAC9E,uBAAuB;AACvB,MAAM,CAAC,GAAG;IACN,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;CACjD,CAAA;AAED,SAAS,WAAW,CAAC,KAAa,EAAE,IAAY;IAC5C,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;AACpD,CAAC;AAED,wEAAwE;AACxE,SAAS,SAAS,CAAC,KAAa;IAC5B,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,IAAI,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;QAC9B,IAAI,IAAI,GAAG,IAAI,EAAE,CAAC;YACd,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,CAAC;aAAM,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAA;QACxD,CAAC;aAAM,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAClE,+DAA+D;YAC/D,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YACnC,IAAI,GAAG,OAAO,GAAG,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,GAAG,MAAM,CAAC,CAAA;YACzD,CAAC,EAAE,CAAA;YACH,KAAK,CAAC,IAAI,CACN,IAAI,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EACnB,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,EAC5B,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAC3B,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CACvB,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,KAAK,CAAC,IAAI,CACN,IAAI,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EACnB,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAC3B,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CACvB,CAAA;QACL,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,KAAa;IACnC,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC;QACzB,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;QACtE,UAAU,EAAE,UAAU;KACzB,CAAC,CAAA;IAEF,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;IAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAA;IAElC,gEAAgE;IAChE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAChB,OAAO,KAAK,CAAC,MAAM,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACjB,CAAC;IACD,qEAAqE;IACrE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,WAAW,CAAC,CAAA;IAChD,MAAM,GAAG,GAAG,SAAS,KAAK,CAAC,CAAA;IAC3B,KAAK,CAAC,IAAI,CACN,CAAC,IAAI,KAAK,EAAE,CAAC,GAAG,IAAI,EACpB,CAAC,IAAI,KAAK,EAAE,CAAC,GAAG,IAAI,EACpB,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,IAAI,EACnB,IAAI,GAAG,IAAI,EACX,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,EACnB,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,EACnB,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,EAClB,GAAG,GAAG,IAAI,CACb,CAAA;IAED,MAAM,QAAQ,GAAG,IAAI,WAAW,CAAC,EAAE,CAAC,CAAA;IACpC,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;QACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,CAAA;YACxB,QAAQ,CAAC,CAAC,CAAC;gBACP,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;oBAChB,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;oBACpB,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;oBACnB,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QACpB,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;YAC5B,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YAC1B,MAAM,EAAE,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;YACnE,MAAM,EAAE,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;YAClE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;QACtE,CAAC;QAED,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACf,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACf,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACf,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACf,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACf,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACf,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACf,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QAEf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1B,MAAM,KAAK,GACP,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YAC/D,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YACjC,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;YAC7D,MAAM,KAAK,GACP,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YAC/D,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YAC5C,MAAM,KAAK,GAAG,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;YAEtC,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;YACrB,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;QAC7B,CAAC;QAED,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;IACjC,CAAC;IAED,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACzB,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,GAAG,CAAA;AACd,CAAC"}

package/dist/fixtures/curated-argument/index.d.ts

@@ -0,0 +1,35 @@
+export type ExprNode = {
+    type: "variable";
+    symbol: string;
+} | {
+    type: "operator";
+    operator: "and" | "or" | "not" | "implies" | "iff";
+    children: ExprNode[];
+} | {
+    type: "formula";
+    children: ExprNode[];
+};
+export interface CuratedClaim {
+    symbol: string;
+    title: string;
+    body: string;
+}
+export interface CuratedPremise {
+    title: string | null;
+    role: "conclusion" | "supporting";
+    tree: ExprNode;
+}
+export interface CuratedArgument {
+    title: string;
+    description: string;
+    claims: CuratedClaim[];
+    premises: CuratedPremise[];
+}
+export declare const v: (symbol: string) => ExprNode;
+export declare const formula: (child: ExprNode) => ExprNode;
+export declare const and: (...children: ExprNode[]) => ExprNode;
+export declare const or: (...children: ExprNode[]) => ExprNode;
+export declare const not: (child: ExprNode) => ExprNode;
+export declare const implies: (antecedent: ExprNode, consequent: ExprNode) => ExprNode;
+export declare const iff: (left: ExprNode, right: ExprNode) => ExprNode;
+//# sourceMappingURL=index.d.ts.map

package/dist/fixtures/curated-argument/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/fixtures/curated-argument/index.ts"],"names":[],"mappings":"AAiBA,MAAM,MAAM,QAAQ,GACd;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACpC;IACI,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,SAAS,GAAG,KAAK,CAAA;IAClD,QAAQ,EAAE,QAAQ,EAAE,CAAA;CACvB,GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,EAAE,QAAQ,EAAE,CAAA;CAAE,CAAA;AAE/C,MAAM,WAAW,YAAY;IACzB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,cAAc;IAC3B,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,IAAI,EAAE,YAAY,GAAG,YAAY,CAAA;IACjC,IAAI,EAAE,QAAQ,CAAA;CACjB;AAED,MAAM,WAAW,eAAe;IAC5B,KAAK,EAAE,MAAM,CAAA;IACb,WAAW,EAAE,MAAM,CAAA;IACnB,MAAM,EAAE,YAAY,EAAE,CAAA;IACtB,QAAQ,EAAE,cAAc,EAAE,CAAA;CAC7B;AAOD,eAAO,MAAM,CAAC,GAAI,QAAQ,MAAM,KAAG,QAA0C,CAAA;AAW7E,eAAO,MAAM,OAAO,GAAI,OAAO,QAAQ,KAAG,QAGxC,CAAA;AAEF,eAAO,MAAM,GAAG,GAAI,GAAG,UAAU,QAAQ,EAAE,KAAG,QAI5C,CAAA;AAEF,eAAO,MAAM,EAAE,GAAI,GAAG,UAAU,QAAQ,EAAE,KAAG,QAI3C,CAAA;AAEF,eAAO,MAAM,GAAG,GAAI,OAAO,QAAQ,KAAG,QAIpC,CAAA;AAEF,eAAO,MAAM,OAAO,GAChB,YAAY,QAAQ,EACpB,YAAY,QAAQ,KACrB,QAID,CAAA;AAEF,eAAO,MAAM,GAAG,GAAI,MAAM,QAAQ,EAAE,OAAO,QAAQ,KAAG,QAIpD,CAAA"}

package/dist/fixtures/curated-argument/index.js

@@ -0,0 +1,51 @@
+// Authoring DSL for curated propositional arguments.
+//
+// This is a pure data module — no DOM, Node, or runtime dependencies. It defines
+// the shape of a hand-authorable argument (claims + premises whose logical form
+// is an `ExprNode` abstract syntax tree) plus the shorthand constructors used to
+// build those trees by hand. Datasets such as `../historical-figures` store
+// arguments as already-built `ExprNode` trees, so the constructors are not
+// required to express the data — they are the documented vocabulary for anyone
+// hand-editing or contributing a revised argument.
+/* eslint-enable @typescript-eslint/naming-convention */
+// ---------------------------------------------------------------------------
+// Shorthand constructors
+// ---------------------------------------------------------------------------
+export const v = (symbol) => ({ type: "variable", symbol });
+// A `formula` node must sit between non-NOT operators (e.g. `and(or(...), x)` is
+// invalid; it must be `and(formula(or(...)), x)`). Auto-wrap non-NOT operator
+// children below so call sites stay readable without manual `formula(...)`
+// wrappers everywhere.
+const wrapForFormula = (n) => n.type === "operator" && n.operator !== "not"
+    ? { type: "formula", children: [n] }
+    : n;
+export const formula = (child) => ({
+    type: "formula",
+    children: [child],
+});
+export const and = (...children) => ({
+    type: "operator",
+    operator: "and",
+    children: children.map(wrapForFormula),
+});
+export const or = (...children) => ({
+    type: "operator",
+    operator: "or",
+    children: children.map(wrapForFormula),
+});
+export const not = (child) => ({
+    type: "operator",
+    operator: "not",
+    children: [child],
+});
+export const implies = (antecedent, consequent) => ({
+    type: "operator",
+    operator: "implies",
+    children: [wrapForFormula(antecedent), wrapForFormula(consequent)],
+});
+export const iff = (left, right) => ({
+    type: "operator",
+    operator: "iff",
+    children: [wrapForFormula(left), wrapForFormula(right)],
+});
+//# sourceMappingURL=index.js.map

package/dist/fixtures/curated-argument/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/fixtures/curated-argument/index.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,EAAE;AACF,iFAAiF;AACjF,gFAAgF;AAChF,iFAAiF;AACjF,4EAA4E;AAC5E,2EAA2E;AAC3E,+EAA+E;AAC/E,mDAAmD;AAoCnD,wDAAwD;AAExD,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAA;AAE7E,iFAAiF;AACjF,8EAA8E;AAC9E,2EAA2E;AAC3E,uBAAuB;AACvB,MAAM,cAAc,GAAG,CAAC,CAAW,EAAY,EAAE,CAC7C,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK;IACzC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE;IACpC,CAAC,CAAC,CAAC,CAAA;AAEX,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAe,EAAY,EAAE,CAAC,CAAC;IACnD,IAAI,EAAE,SAAS;IACf,QAAQ,EAAE,CAAC,KAAK,CAAC;CACpB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,QAAoB,EAAY,EAAE,CAAC,CAAC;IACvD,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,KAAK;IACf,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC;CACzC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,QAAoB,EAAY,EAAE,CAAC,CAAC;IACtD,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC;CACzC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,KAAe,EAAY,EAAE,CAAC,CAAC;IAC/C,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,KAAK;IACf,QAAQ,EAAE,CAAC,KAAK,CAAC;CACpB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,CACnB,UAAoB,EACpB,UAAoB,EACZ,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;CACrE,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,KAAe,EAAY,EAAE,CAAC,CAAC;IAC/D,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,KAAK;IACf,QAAQ,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC;CAC1D,CAAC,CAAA"}

package/dist/fixtures/historical-figures/content.generated.d.ts

@@ -0,0 +1,6 @@
+import type { HistoricalFigureArgument } from "./index.js";
+export declare const figureAboutByCurationId: Record<string, string>;
+export declare const documentMarkdownByCurationId: Record<string, string>;
+export declare const documentAboutByCurationId: Record<string, string>;
+export declare const argumentsByFigureCurationId: Record<string, HistoricalFigureArgument[]>;
+//# sourceMappingURL=content.generated.d.ts.map

package/dist/fixtures/historical-figures/content.generated.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"content.generated.d.ts","sourceRoot":"","sources":["../../../src/fixtures/historical-figures/content.generated.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAA;AAE1D,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAG1D,CAAA;AAED,eAAO,MAAM,4BAA4B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAG/D,CAAA;AAED,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAG5D,CAAA;AAED,eAAO,MAAM,2BAA2B,EAAE,MAAM,CAC5C,MAAM,EACN,wBAAwB,EAAE,CA6nB7B,CAAA"}