@tricoteuses/tisseuse 0.21.1 → 0.21.2

package/dist/src/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/src/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/src/lib/server/jurisprudence_citations.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/src/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/src/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/src/lib/server/jurisprudence_jade.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/src/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/server/jurisprudence_store.integration.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/src/lib/server/jurisprudence_store_closed.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/src/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;
@@ -39,6 +40,8 @@ export declare class TextParserContext {
     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/scripts/alimenter_jurisprudence_pilote.d.ts

@@ -0,0 +1 @@
+export {};

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@tricoteuses/tisseuse",
   "description": "Find links in/to French legislative documents",
-  "version": "0.21.1",
+  "version": "0.21.2",
   "keywords": [
     "Assemblée nationale",
     "France",
@@ -59,6 +59,7 @@
     "associate:jorf:commissions": "tsx src/scripts/associate_jorf_textes_with_assemblee_commissions.ts",
     "associate:jorf:dossiers": "tsx src/scripts/associate_jorf_textes_with_dossiers_legislatifs_assemblee.ts",
     "audit:doctrinal-references": "tsx src/scripts/audit_doctrinal_references.ts",
+    "jurisprudence:pilote": "tsx src/scripts/alimenter_jurisprudence_pilote.ts",
     "audit:doctrinal-references:check": "tsx src/scripts/audit_doctrinal_references.ts --output /tmp/tisseuse-doctrinal-references-audit.json --baseline audits/doctrinal-references-baseline.json --fail-on-regression",
     "build": "vite build",
     "check": "tsc --noEmit",