@polintpro/proposit-core 0.8.5 → 0.8.7

package/README.md

@@ -4,6 +4,8 @@ Core engine for building, evaluating, and checking the logical validity of propo
 
 Also ships a **CLI** (`proposit-core`) for managing arguments, premises, variables, expressions, and analyses stored on disk.
 
+Full documentation is available at <https://www.polintpro.com/proposit-core/>.
+
 ## Visual Overview
 
 ```mermaid

package/dist/extensions/ieee/formatting.d.ts

@@ -0,0 +1,30 @@
+import type { TAuthor, TIEEEReference, TReferenceType } from "./references.js";
+export interface TCitationSegment {
+    text: string;
+    role: "authors" | "title" | "bookTitle" | "publisher" | "location" | "year" | "date" | "edition" | "pages" | "volume" | "issue" | "doi" | "url" | "isbn" | "accessedDate" | "institution" | "degree" | "organization" | "standardNumber" | "reportNumber" | "patentNumber" | "country" | "platform" | "separator" | "prefix" | "suffix" | "misc";
+    style?: "italic" | "quoted" | "link" | "plain";
+}
+export interface TCitationFormatResult {
+    type: TReferenceType;
+    segments: TCitationSegment[];
+}
+/**
+ * Format a single structured author into IEEE citation style.
+ * Given names are abbreviated to initials with periods: "Jane Marie" → "J. M."
+ * Suffix is appended without comma: "W. P. Pratt Jr."
+ */
+export declare function formatSingleAuthor(author: TAuthor): string;
+/**
+ * Format an array of structured author names into IEEE citation style.
+ * 7+ authors → first author + " et al."
+ * 2 authors → "A and B"
+ * 3–6 authors → "A, B, C, and D"
+ */
+export declare function formatNamesInCitation(authors: TAuthor[]): string;
+/**
+ * Build a structured citation for any IEEE reference type.
+ * Returns an array of typed segments that consumers can render into
+ * plain text, HTML, or any other format.
+ */
+export declare function formatCitationParts(ref: TIEEEReference): TCitationFormatResult;
+//# sourceMappingURL=formatting.d.ts.map

package/dist/extensions/ieee/formatting.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatting.d.ts","sourceRoot":"","sources":["../../../src/extensions/ieee/formatting.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAM9E,MAAM,WAAW,gBAAgB;IAC7B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EACE,SAAS,GACT,OAAO,GACP,WAAW,GACX,WAAW,GACX,UAAU,GACV,MAAM,GACN,MAAM,GACN,SAAS,GACT,OAAO,GACP,QAAQ,GACR,OAAO,GACP,KAAK,GACL,KAAK,GACL,MAAM,GACN,cAAc,GACd,aAAa,GACb,QAAQ,GACR,cAAc,GACd,gBAAgB,GAChB,cAAc,GACd,cAAc,GACd,SAAS,GACT,UAAU,GACV,WAAW,GACX,QAAQ,GACR,QAAQ,GACR,MAAM,CAAA;IACZ,KAAK,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,CAAA;CACjD;AAED,MAAM,WAAW,qBAAqB;IAClC,IAAI,EAAE,cAAc,CAAA;IACpB,QAAQ,EAAE,gBAAgB,EAAE,CAAA;CAC/B;AAMD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAO1D;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,MAAM,CAShE;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAC/B,GAAG,EAAE,cAAc,GACpB,qBAAqB,CAMvB"}