@tricoteuses/tisseuse 0.21.0 → 0.21.2

package/dist/src/lib/extractors/links.d.ts

@@ -1,4 +1,5 @@
 import { Sql } from 'postgres';
+import { ReferenceParsingMode } from './references.js';
 import { LegiResolver } from '../legi/resolver.js';
 import { TextAstArticle, TextAstDivision, TextAstPosition, TextAstReference, TextAstText } from '../text_parsers/ast.js';
 import { FragmentPosition, FragmentReverseTransformation } from '../text_parsers/fragments.js';
@@ -146,7 +147,7 @@ type TextLinksIterationDiagnostics = {
     textLinkCount: number;
     textLinkMs: number;
 };
-export declare function extractTextLinks({ canutesDb, context, date, includeInternalArticleLinks, legiResolver: providedLegiResolver, logIgnoredReferencesTypes, logPartialReferences, logReferences, state: inputState, transformation, }: {
+export declare function extractTextLinks({ canutesDb, context, date, includeInternalArticleLinks, legiResolver: providedLegiResolver, logIgnoredReferencesTypes, logPartialReferences, logReferences, parsingMode, state: inputState, transformation, }: {
     canutesDb?: Sql;
     context: TextParserContext;
     date: string;
@@ -155,6 +156,7 @@ export declare function extractTextLinks({ canutesDb, context, date, includeInte
     logIgnoredReferencesTypes?: boolean;
     logPartialReferences?: boolean;
     logReferences?: boolean;
+    parsingMode?: ReferenceParsingMode;
     /**
      * When given, state is modified by this generator, so that the callers
      * always has the latest state version (and can reuse it for the next article,

package/dist/src/lib/extractors/references.d.ts

@@ -5,8 +5,12 @@ export type ExtractReferencesDiagnostics = {
     citationCount: number;
     fastPath: FastPathExtractDiagnostics;
 };
+export declare const referenceParsingModes: readonly ["document", "references"];
+export type ReferenceParsingMode = (typeof referenceParsingModes)[number];
 type ExtractReferencesOptions = {
     diagnostics?: ExtractReferencesDiagnostics;
+    /** Opt in to standalone references; document parsing remains the default. */
+    parsingMode?: ReferenceParsingMode;
     overlapWindowForCandidate?: (anchor: string) => number;
     /** Scoping metadata for flattened standalone quotations; never added to the AST. */
     onStandaloneCitationReference?: (reference: TextAstReference, citation: TextAstCitation) => void;

package/dist/src/lib/index.d.ts

@@ -7,7 +7,7 @@ export { formatLongDate } from './dates.js';
 export { extractBillDefinitions } from './extractors/definitions.js';
 export { extractActionDirectivesFromHtml, extractActionDirectiveAstsFromText, extractActionDirectivesFromText, resolveActionDirectivesFromHtml, resolveActionDirectivesFromText, type ActionCitation, type ActionDirective, type ActionOperation, type ActionReplacement, type ActionTableTarget, type ResolvedActionDirective, } from './extractors/action_directives.js';
 export { extractTextLinks, iterReferenceLinks, type ArticleDefinition, type ArticleExternalLink, type ArticleInternalLink, type ArticleLink, type DefinitionOrLink, type DivisionExternalLink, type DivisionLink, type ExtractedLinkDb, type TextEuropeanLink, type TextExternalLink, type TextLink, type TextLinksParserState, } from './extractors/links.js';
-export { extractCitationReferences, extractReferences, extractReferencesWithOriginalTransformations, getExtractedReferences, getExtractedReferencesWithOriginalTransformations, } from './extractors/references.js';
+export { extractCitationReferences, extractReferences, extractReferencesWithOriginalTransformations, getExtractedReferences, getExtractedReferencesWithOriginalTransformations, referenceParsingModes, type ReferenceParsingMode, } from './extractors/references.js';
 export { buildArticlePortionTreeFromHtml, extractPortionSelectors, getLegalPhraseTextBounds, getTableUnitNoteRanges, isArticlePortionStructuralStart, parseArticleSubdivisionMarker, resolvePortionSelector, type ArticlePortionArticle, type ArticlePortionDivision, type ArticlePortionItem, type ArticlePortionAlinea, type ArticlePortionPhrase, type ArticlePortionMatch, type ArticlePortionNode, type ArticleSubdivisionMarker, type PortionSelector, type PortionSelectorStep, } from './extractors/article_portions.js';
 export { addPositionsToTableOfContentsItems, getExtractedTableOfContentsFromTextBill, getTableOfContentsItems, walkTableOfContents, type TableOfContents, type TableOfContentsArticle, type TableOfContentsArticlePositioned, type TableOfContentsDivision, type TableOfContentsDivisionPositioned, type TableOfContentsItem, type TableOfContentsItemPositioned, type TableOfContentsPositioned, } from './extractors/table_of_contents.js';
 export { jsonReplacer } from './json.js';

package/dist/src/lib/legi/canutes_root_cid_index.integration.test.d.ts

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

package/dist/src/lib/linkers/html.d.ts

@@ -1,11 +1,12 @@
 import { CanutesSql } from '../legi/canutes_sql.js';
 import { DefinitionOrLink, TextLinksParserState } from '../extractors/links.js';
+import { ReferenceParsingMode } from '../extractors/references.js';
 import { LegiResolver } from '../legi/resolver.js';
 import { LinkType } from '../links.js';
 import { FragmentPosition } from '../text_parsers/fragments.js';
 import { TextParserContext } from '../text_parsers/parsers.js';
 import { Transformation } from '../text_parsers/transformers.js';
-export declare function addLinksToHtml({ canutesDb, excludedHtmlRanges, includeInternalArticleLinks, legiResolver: providedLegiResolver, date, html, linkBaseUrl, linkType, logIgnoredReferencesTypes, logPartialReferences, logReferences, onLink, previousContext, state, }: {
+export declare function addLinksToHtml({ canutesDb, excludedHtmlRanges, includeInternalArticleLinks, legiResolver: providedLegiResolver, date, html, linkBaseUrl, linkType, logIgnoredReferencesTypes, logPartialReferences, logReferences, onLink, parsingMode, previousContext, state, }: {
     canutesDb?: CanutesSql;
     excludedHtmlRanges?: FragmentPosition[];
     includeInternalArticleLinks?: boolean;
@@ -18,6 +19,7 @@ export declare function addLinksToHtml({ canutesDb, excludedHtmlRanges, includeI
     logPartialReferences?: boolean;
     logReferences?: boolean;
     onLink?: (link: DefinitionOrLink, index: number) => Promise<boolean | void>;
+    parsingMode?: ReferenceParsingMode;
     previousContext?: TextParserContext;
     state?: TextLinksParserState;
 }): Promise<{

package/dist/src/lib/linkers/markdown.d.ts

@@ -1,13 +1,15 @@
 import { CanutesSql } from '../legi/canutes_sql.js';
+import { ReferenceParsingMode } from '../extractors/references.js';
 import { LegiResolver } from '../legi/resolver.js';
 import { LinkType } from '../links.js';
 import { TextParserContext } from '../text_parsers/parsers.js';
-export declare function addLinksToMarkdown({ canutesDb, legiResolver: providedLegiResolver, date, linkBaseUrl, linkType, previousContext, text, }: {
+export declare function addLinksToMarkdown({ canutesDb, legiResolver: providedLegiResolver, date, linkBaseUrl, linkType, parsingMode, previousContext, text, }: {
     canutesDb?: CanutesSql;
     legiResolver?: LegiResolver;
     date: string;
     linkBaseUrl: string;
     linkType: LinkType;
+    parsingMode?: ReferenceParsingMode;
     previousContext?: TextParserContext;
     text: string;
 }): Promise<{

package/dist/src/lib/linkers/reference-mode.test.d.ts

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

package/dist/src/lib/server/databases/canutes_root_cid_index.d.ts

@@ -0,0 +1,11 @@
+import { Sql } from 'postgres';
+export type CanutesRootCidIndexStatus = {
+    status: "missing" | "valid" | "invalid";
+    name: string | null;
+};
+/** SELECT-only; usable by readers, physical standbys and logical subscribers. */
+export declare function inspectCanutesRootCidIndex(db: Sql): Promise<CanutesRootCidIndexStatus>;
+/** Explicit administration only, outside transactions; never called by a reader/configure. */
+export declare function ensureCanutesRootCidIndex(db: Sql, options?: {
+    repairInvalid?: boolean;
+}): Promise<string>;

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/dist/src/scripts/configure_postgres_root_cid_index.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.0",
+  "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",
@@ -66,6 +67,8 @@
     "configure:postgres:assemblee-triggers": "tsx src/scripts/configure_postgres_assemblee_document_triggers.ts",
     "configure:postgres:senat-triggers": "tsx src/scripts/configure_postgres_senat_document_triggers.ts",
     "configure:postgres:legi-resolver": "tsx src/scripts/configure_postgres_legi_resolver.ts",
+    "configure:postgres:legi-root-cid-index": "tsx src/scripts/configure_postgres_root_cid_index.ts",
+    "test:postgres:legi-root-cid-index": "vitest run src/lib/legi/canutes_root_cid_index.integration.test.ts",
     "warm:postgres:legi-titles": "tsx src/scripts/warm_canutes_text_titles_cache.ts",
     "test:postgres:legi-cache": "tsx src/scripts/test_canutes_titles_cache.ts",
     "profile:canutes-bill": "tsx src/scripts/profile_canutes_bill.ts",