@tricoteuses/tisseuse 0.21.1 → 0.22.0

package/dist/{src/lib → lib}/server/index.d.ts

@@ -11,4 +11,6 @@ export { type LegiArticleInfo, LegiResolver, type LegiSectionInfo, type PreloadA
 export { buildAndInstallTextTitlesInfos, buildTextTitlesInfos, type BuildTextTitlesInfosProgress, type TextTitlesInfoRow, type TextTitlesInfos, } from '../legi/text_titles_infos.js';
 export { addPositionsToTableOfContentsFile, simplifiedHtmlBillFileToTableOfContentsFile, } from './tables_of_contents.js';
 export { createLegiResolver } from './legi/resolvers.js';
+export { createJurisprudenceConsultation, type ConsultationDecision, type ConsultationJurisprudence, type IdentiteArticle, type IdentiteDecisionJade, } from './jurisprudence_consultation.js';
+export { createJurisprudenceStore, initializeJurisprudenceStore, type PersistedJade, } from './jurisprudence_store.js';
 export { readTransformation, writeTransformation, } from './text_parsers/transformers.js';

package/dist/lib/server/jurisprudence_citations.d.ts

@@ -0,0 +1,46 @@
+import { TextTitlesInfos } from '../legi/text_titles_infos.js';
+/** Identité d'une représentation JADE, distincte de l'identifiant documentaire. */
+export interface DecisionSource {
+    dataset: "JADE";
+    path: string;
+    id: string;
+    revision: string;
+    publication: string;
+    dateDecision: string;
+    titre?: string;
+    texte: string;
+}
+export interface DecisionCitation {
+    mention: string;
+    position: {
+        start: number;
+        stop: number;
+    };
+    passage: string;
+    articleId: string | null;
+    candidats: string[];
+    /** La mention désigne un seul article et un seul code explicite. */
+    selectionPossible?: boolean;
+    redaction: "indéterminée";
+    origine: "indéterminée";
+    relation: "citation";
+}
+/**
+ * Première extraction conservatrice : seul un article avec code explicitement
+ * identifié peut être résolu. Le résolveur fournit une identité de disposition,
+ * pas une rédaction déterminée par date ; il ne reçoit jamais la date de décision.
+ * Les titres de codes doivent avoir été initialisés dans le parseur au préalable.
+ * Le texte fourni doit être la représentation adaptée aux droits de l'appelant.
+ */
+export declare function extractDecisionCitations({ document, resolve, textTitlesInfos, }: {
+    document: DecisionSource;
+    textTitlesInfos?: TextTitlesInfos;
+    resolve: (reference: {
+        codeId: string;
+        numero: string;
+    }) => Promise<string[]>;
+}): Promise<{
+    document: DecisionSource;
+    citations: DecisionCitation[];
+    perimetre: string;
+}>;

package/dist/lib/server/jurisprudence_consultation.d.ts

@@ -0,0 +1,55 @@
+import { default as postgres } from 'postgres';
+import { DecisionCitation } from './jurisprudence_citations.js';
+import { ArticleReferenceSelection } from './jurisprudence_jade.js';
+/** Une représentation identifiée par son fonds et son chemin, pas seulement son id. */
+export interface IdentiteDecisionJade {
+    dataset: "JADE";
+    path: string;
+}
+/** L'identifiant désigne un état précis du référentiel, pas une continuité. */
+export interface IdentiteArticle {
+    articleId: string;
+}
+export interface ConsultationJurisprudence {
+    decision: {
+        dataset: "JADE";
+        path: string;
+        id: string;
+        revision: string;
+        titre: string;
+        titreNature: "source" | "référence";
+        publication: string;
+        dateDecision: string;
+    };
+    citations: DecisionCitation[];
+    couverture: {
+        perimetre: string;
+        traiteLe: string;
+        fraicheur: "non-verifiee";
+    };
+    referenceRevision: string;
+    selectionReference?: ArticleReferenceSelection;
+    selectionsReference?: ArticleReferenceSelection[];
+}
+export type ConsultationDecision = {
+    etat: "non-traite";
+} | {
+    etat: "capture";
+    resultat: ConsultationJurisprudence;
+};
+/**
+ * Contrat serveur du pilote, sans autorisation ni activation publique implicite.
+ * L'appelant contrôle l'accès à la connexion et au schéma. La fraîcheur des
+ * captures n'est pas vérifiée. L'absence de citation ne prouve pas l'exhaustivité.
+ */
+export declare function createJurisprudenceConsultation(sql: postgres.Sql, schema: string, options?: {
+    maxExtractionsArticle?: number;
+}): Promise<{
+    parDecision(identite: IdentiteDecisionJade): Promise<ConsultationDecision>;
+    parArticle(identite: IdentiteArticle): Promise<{
+        resultats: ConsultationJurisprudence[];
+        resultatsPossibles: ConsultationJurisprudence[];
+        couverture: "inconnue";
+        fraicheur: "non-verifiee";
+    }>;
+}>;

package/dist/lib/server/jurisprudence_jade.d.ts

@@ -0,0 +1,57 @@
+import { CanutesSql } from '../legi/canutes_sql.js';
+import { TextTitlesInfos } from '../legi/text_titles_infos.js';
+import { DecisionSource } from './jurisprudence_citations.js';
+/** Données importées privées : ce contrat ne constitue pas une copie publique. */
+export interface JadeInput {
+    dataset: string;
+    path: string;
+    id: string;
+    juridiction: string;
+    dateDec: string;
+    titre?: string | null;
+    data: unknown;
+}
+export declare class InvalidJadeSourceError extends Error {
+}
+export declare class StaleReferenceSelectionError extends Error {
+}
+export declare function adaptJadeDecision(input: JadeInput): DecisionSource;
+/** Retourne tous les états candidats dans le référentiel observé, sans déduire
+ * ni continuité entre rédactions ni rédaction citée de la date de décision.
+ * L'appelant ne peut publier un résultat qu'après contrôle de fraîcheur. */
+export declare function createHistoricalArticleResolver(sql: CanutesSql): ({ codeId, numero, }: {
+    codeId: string;
+    numero: string;
+}) => Promise<string[]>;
+export interface ArticleReferenceSelection {
+    dateReference: string;
+    articleId: string;
+    reference?: {
+        dataset: "JADE";
+        path: string;
+        revision: string;
+        position: {
+            start: number;
+            stop: number;
+        };
+        mention: string;
+    };
+}
+export type ArticleReferenceSelections = ArticleReferenceSelection | ArticleReferenceSelection[];
+/** Capture cohérente, sans garantie de fraîcheur après ce snapshot. Ne pas
+ * utiliser ce résultat comme preuve persistée actuelle sans revalidation. */
+export declare function extractJadeFromCanutesSnapshot(db: CanutesSql, path: string, selection?: ArticleReferenceSelections): Promise<{
+    selection?: ArticleReferenceSelections | undefined;
+    referenceRevision: string;
+    document: DecisionSource;
+    citations: import('./jurisprudence_citations.js').DecisionCitation[];
+    perimetre: string;
+}>;
+export declare function extractJadeDecisionCitations(input: JadeInput, resolve: (reference: {
+    codeId: string;
+    numero: string;
+}) => Promise<string[]>, textTitlesInfos?: TextTitlesInfos): Promise<{
+    document: DecisionSource;
+    citations: import('./jurisprudence_citations.js').DecisionCitation[];
+    perimetre: string;
+}>;

package/dist/lib/server/jurisprudence_store.d.ts

@@ -0,0 +1,36 @@
+import { default as postgres } from 'postgres';
+import { extractJadeFromCanutesSnapshot, ArticleReferenceSelections } from './jurisprudence_jade.js';
+type Extraction = Awaited<ReturnType<typeof extractJadeFromCanutesSnapshot>>;
+export type PersistedJade = Extraction & {
+    traiteLe: string;
+};
+/** Alimentation bornée à une représentation explicitement identifiée. La
+ * migration est une opération séparée : aucun schéma n'est créé ici. */
+export declare function alimenterJurisprudence(sql: postgres.Sql, schema: string, input: {
+    dataset: string;
+    path: string;
+    selection?: ArticleReferenceSelections;
+}): Promise<PersistedJade>;
+/** Stockage de pilote : le schéma et ses droits sont administrés par l'appelant.
+ * Les lectures servent la capture sans vérifier sa fraîcheur. */
+export declare function initializeJurisprudenceStore(sql: postgres.Sql, schema: string): Promise<void>;
+export declare function createJurisprudenceStore(sql: postgres.Sql, schema: string, options?: {
+    maxExtractionsArticle?: number;
+}): Promise<{
+    capture(path: string, selection?: ArticleReferenceSelections): Promise<PersistedJade>;
+    /** Sert la dernière capture, qui peut être périmée. */
+    consultDecision(path: string): Promise<{
+        etat: "non-traite";
+    } | {
+        etat: "capture";
+        resultat: PersistedJade;
+    }>;
+    /** Consultation bornée des captures, sans contrôle de fraîcheur. */
+    consultArticle(articleId: string): Promise<{
+        resultats: PersistedJade[];
+        resultatsPossibles: PersistedJade[];
+    }>;
+    byDecision(path: string): Promise<PersistedJade | null>;
+    byArticle(articleId: string): Promise<PersistedJade[]>;
+}>;
+export {};

package/dist/{src/lib → lib}/server/parsed_bills.d.ts

@@ -1,6 +1,7 @@
 import { Sql } from 'postgres';
 import { ResolvedActionDirective } from '../extractors/action_directives.js';
 import { ArticleActionEffect, ArticleActionSourceAnnotation } from '../extractors/article_action_effects.js';
+import { LinkDecision } from '../extractors/links.js';
 import { TableOfContents } from '../extractors/table_of_contents.js';
 import { LegiResolver } from '../legi/resolver.js';
 import { LinkType } from '../links.js';
@@ -34,6 +35,8 @@ export type ParsedBillBlock = {
     articleId: string;
     kind: ParsedBillBlockKind;
     links: ParsedBillLink[];
+    /** Decisions keyed by positions in the unlinked source, including citations without href. */
+    linkDecisions?: LinkDecision[];
     qualifiedVersion?: ParsedBillQualifiedVersion;
     text: string;
     html: string;
@@ -46,6 +49,8 @@ export type ParsedBillQualifiedVersion = {
 };
 export type ParsedBillLink = {
     id: string;
+    /** A warned consultation URL cannot become an affirmative directive target. */
+    consultationOnly?: boolean;
     insideFrenchQuotes?: boolean;
     text?: string;
     type: "article" | "division" | "text";
@@ -89,6 +94,10 @@ export type ParsedBillDirective = {
     /** Explicitly cited article numbers defined in this bill; external projection is unavailable. */
     internallyCreatedTargetNums?: string[];
     targetIds?: string[];
+    /** Possible projection targets, never affirmative targetIds. */
+    indicativeTargetIds?: string[];
+    /** Occurrences in this directive's own source blocks, not inherited context. */
+    linkDecisions?: LinkDecision[];
     qualifiedVersion?: ParsedBillQualifiedVersion;
 };
 export type ParsedBillInternalArticleTarget = {
@@ -106,6 +115,8 @@ export type ParsedBillInternalArticleDefinition = ParsedBillInternalArticleTarge
 };
 export type ParseBillRawOptions = {
     canutesDb?: Sql;
+    /** Explicit resolution date; `date` remains the source document date. */
+    callerDate?: string;
     date?: string;
     includeInternalArticleLinks?: boolean;
     includeDirectiveAnalysis?: boolean;
@@ -113,6 +124,12 @@ export type ParseBillRawOptions = {
     linkBaseUrl: string;
     linkType: LinkType;
     linkedHtml?: string;
+    /** Enable structured decisions when linking, using this stable source document ID. */
+    linkDecisionDocumentId?: string;
+    /** Supply decisions when linkedHtml was produced in an earlier step. */
+    linkDecisions?: LinkDecision[];
+    /** Opt in to rendering consultation decisions in newly linked HTML. */
+    renderLinkDecisions?: boolean;
     logIgnoredReferencesTypes?: boolean;
     logPartialReferences?: boolean;
     logReferences?: boolean;
@@ -122,6 +139,7 @@ export type LinkedBillDocument = {
     documentDate?: string;
     html: string;
     linkedHtml: string;
+    linkDecisions?: LinkDecision[];
 };
 export type ParsedBillDocument = {
     sourceFormat: ParsedBillSourceFormat;
@@ -133,6 +151,7 @@ export type ParsedBillDocument = {
     globalApplicabilityDate?: string;
     internalArticleDefinitions?: ParsedBillInternalArticleDefinition[];
     directives: ParsedBillDirective[];
+    linkDecisions?: LinkDecision[];
     annotations?: ParsedBillAnnotation[];
     diagnostics?: ParsedBillDiagnostic[];
 };

package/dist/{src/lib → lib}/text_parsers/ast.d.ts

@@ -78,6 +78,8 @@ export type TextAstArticle = {
     localizationAdverb?: LocalizationAdverb;
     newOrOld?: "new" | "old";
     ofTheSaid?: boolean;
+    /** Explicit article recall ("article 289 précité"), not a bare amended-text reference. */
+    previouslyCited?: boolean;
     type: "article";
 } & TextAstLocalization & TextAstPosition;
 export type TextAstAtomicReference = TextAstArticle | TextAstDivision | TextAstIncompleteHeader | TextAstPortion | (TextAstText & TextAstPosition);
@@ -167,8 +169,16 @@ export type TextAstText = {
      * Légifrance CID of the text.
      */
     cid?: string;
-    /** Candidate code CIDs for a title shared by historical code editions. */
+    /** Competing publications or code-title CIDs, including excluded alternatives. */
     candidateCids?: string[];
+    /** Publications whose otherwise identical title says "(rectificatif)". */
+    rectificatifCids?: string[];
+    /** Annex qualifier applied to this code, not to the preceding article group. */
+    annex?: string;
+    /** Annex explicitly qualifying a named non-code text; not proof of a separate CID. */
+    publicationAnnex?: string;
+    /** Anaphoric annex ("même annexe"), distinct from "même code". */
+    sameAnnex?: boolean;
     nature: LawNature;
     legislation?: "international" | "UE";
     ofTheSaid?: boolean;
@@ -191,11 +201,11 @@ export type TextInfosByWordsTreeNode = {
     [word: string]: TextInfosByWordsTree;
 };
 export declare const compoundReferencesSeparators: readonly [",", "à", "et", "ou", "sauf"];
-export declare const europeanLawNatures: readonly ["ARRETEEURO", "ARRETEURO", "AVISEURO", "DECISION_EURO", "DECLARATIONEURO", "DELIBERATIONEURO", "DIRECTIVE_EURO", "INFORMATIONEURO", "INSTRUCTIONEURO", "LETTREEURO", "REGLEMENTEUROPEEN"];
+export declare const europeanLawNatures: readonly ["ARRETEEURO", "ARRETEURO", "AVISEURO", "DECISION_EURO", "DECLARATIONEURO", "DELIBERATIONEURO", "DIRECTIVE_EURO", "INFORMATIONEURO", "INSTRUCTIONEURO", "LETTREEURO", "RECOMMANDATIONEURO", "REGLEMENTEUROPEEN"];
 export declare const frenchLawNatures: readonly ["ARRETE", "CIRCULAIRE", "CODE", "CONSTITUTION", "DECRET", "DECRET_LOI", "LOI", "LOI_CONSTIT", "LOI_ORGANIQUE", "ORDONNANCE"];
 export declare const internationalLawNatures: readonly ["CONVENTION"];
 export declare const divisionTypes: readonly ["partie", "livre", "titre", "sous-titre", "chapitre", "section", "sous-section", "paragraphe", "sous-paragraphe", "sous-sous-paragraphe"];
-export declare const lawNatures: readonly ["ARRETEEURO", "ARRETEURO", "AVISEURO", "DECISION_EURO", "DECLARATIONEURO", "DELIBERATIONEURO", "DIRECTIVE_EURO", "INFORMATIONEURO", "INSTRUCTIONEURO", "LETTREEURO", "REGLEMENTEUROPEEN", "ARRETE", "CIRCULAIRE", "CODE", "CONSTITUTION", "DECRET", "DECRET_LOI", "LOI", "LOI_CONSTIT", "LOI_ORGANIQUE", "ORDONNANCE", "CONVENTION"];
+export declare const lawNatures: readonly ["ARRETEEURO", "ARRETEURO", "AVISEURO", "DECISION_EURO", "DECLARATIONEURO", "DELIBERATIONEURO", "DIRECTIVE_EURO", "INFORMATIONEURO", "INSTRUCTIONEURO", "LETTREEURO", "RECOMMANDATIONEURO", "REGLEMENTEUROPEEN", "ARRETE", "CIRCULAIRE", "CODE", "CONSTITUTION", "DECRET", "DECRET_LOI", "LOI", "LOI_CONSTIT", "LOI_ORGANIQUE", "ORDONNANCE", "CONVENTION"];
 /**
  * Portions are elements of an article.
  * "items" is a generic term for lines preceded with a number.

package/dist/lib/text_parsers/historical_versions.d.ts

@@ -0,0 +1,18 @@
+import { TextAstReference } from './ast.js';
+export interface HistoricalVersionQualifier {
+    date: string;
+    range: {
+        start: number;
+        stop: number;
+    };
+    scope: {
+        start: number;
+        stop: number;
+    };
+    /** Preserved when the public scope is mapped back to the source HTML. */
+    transformedScope?: {
+        start: number;
+        stop: number;
+    };
+}
+export declare function historicalVersionQualifiers(input: string, references: TextAstReference[]): Map<TextAstReference, HistoricalVersionQualifier>;

package/dist/{src/lib → lib}/text_parsers/parsers.d.ts

@@ -1,5 +1,6 @@
 import { TextAst, TextAstArticle, TextAstText, TextAstTextInfos, TextInfosByWordsTree } from './ast.js';
 import { FragmentPosition } from './fragments.js';
+import { TextTitlesInfos } from '../legi/text_titles_infos.js';
 export type TextInfosConverter = (infos: TextAstTextInfos, context: TextParserContext) => TextAst | undefined;
 export type RegExpConverter = (match: RegExpExecArray, context: TextParserContext) => TextAst | undefined;
 export type TextAstConverter<T extends TextAst> = (ast: T, context: TextParserContext) => TextAst | undefined;
@@ -34,11 +35,15 @@ export type FastPathExtractCandidate = {
 export declare class TextParserContext {
     input: string;
     offset: number;
+    /** Only reference/link search may skip parenthesized repetition qualifiers. */
+    ignoreReferenceRepetitionQualifiers: boolean;
     currentArticle: TextAstArticle | undefined;
     currentText: TextAstText | undefined;
     length: number;
     usedInputs: TextTree | undefined;
     variables: Record<string, TextAst>;
+    /** Catalogue optionnel propre à cette analyse ; absent, utiliser le catalogue historique. */
+    textTitlesInfos?: TextTitlesInfos;
     constructor(input: string, offset?: number);
     position(): FragmentPosition;
     remaining(): string;

package/dist/{src/lib → lib}/text_parsers/repeated_actions.d.ts

@@ -1,4 +1,5 @@
 import { TextParser } from './parsers.js';
+export declare const referenceRepetitionQualifier: TextParser;
 export declare const repeatedActionQualifier: TextParser<number>;
 export declare function findRepeatedActionCount(text: string): number | null;
 export declare function findRepeatedTargetOccurrenceCount(text: string, position: number): number | null;

package/dist/{src/lib → lib}/text_parsers/texts.d.ts

@@ -1,5 +1,7 @@
 export declare function getTextTitlesInfosInstallationVersion(): number;
 export declare function setTextTitlesInfos(textTitlesInfos: unknown): void;
+/** Code titles actually in force on the date of the citation. */
+export declare function activeCodeTitleCids(cids: string[], date: string): string[];
 /** Keep the successive titles of one CID together when ranking code editions. */
 export declare function rankCodeTitleCids(cids: string[], date: string): string[];
 /**
@@ -53,3 +55,13 @@ export declare const natureTexteEuropeen: import('./parsers.js').TextParser<impo
 export declare const texteEuropeen: import('./parsers.js').TextParser<import('./ast.js').TextAst>;
 export declare const texteInternational: import('./parsers.js').TextParser<import('./ast.js').TextAst>;
 export declare const texte: import('./parsers.js').TextParser<import('./ast.js').TextAst>;
+/** Annex labels share the existing number, typography and liaison grammars. */
+export declare const designationAnnexe: import('./parsers.js').TextParser<import('./ast.js').TextAst>;
+/** A postposed annex qualifier is a text parent, never an article of the code. */
+export declare const annexeCode: import('./parsers.js').TextParser<import('./ast.js').TextAst>;
+/** Preserve the named text's annex qualifier independently of its storage:
+ * it can be an article of the text or a separately published component. */
+export declare const annexeTexte: import('./parsers.js').TextParser<import('./ast.js').TextAst>;
+/** Only a complete catalogue title proves an autonomous annex CID. An annex
+ * stored inside its code must not silently become the principal code's CID. */
+export declare function codeAnnexCids(codeCid: string | undefined, annex: string): string[];

package/dist/link-decision-metadata.js

@@ -0,0 +1,32 @@
+//#region src/lib/linkers/link_decision_metadata.ts
+var e = ["data-tisseuse-warning", "data-tisseuse-candidates"], t = {
+	article: {
+		linked: "lien_article_externe",
+		undecidable: "reference_article_indecidable"
+	},
+	text: {
+		linked: "lien_texte_externe",
+		undecidable: "reference_texte_indecidable"
+	}
+}, n = new Set([
+	"article_futur_a_date_reference",
+	"article_abroge_avant_date_reference",
+	"indice_structurel",
+	"composant_publication",
+	"structure_absente",
+	"reference_historique_explicite",
+	"plusieurs_candidats_indepartageables",
+	"cid_non_etabli",
+	"donnees_insuffisantes"
+]), r = {
+	article: /^(?:LEGIARTI|JORFARTI)\d{12}$/,
+	text: /^(?:LEGITEXT|JORFTEXT)\d{12}$/
+};
+function i(e) {
+	return n.has(e);
+}
+function a(e, t) {
+	return r[e].test(t);
+}
+//#endregion
+export { a as isLinkDecisionCandidateId, i as isLinkDecisionWarning, e as linkDecisionMetadataAttributes, t as linkDecisionReferenceClasses };