instar 1.3.830 → 1.3.832

package/dist/data/provenanceCoverage.d.ts

@@ -0,0 +1,156 @@
+/**
+ * PROVENANCE_COVERAGE census — LLM-Decision Quality Meter ratchet (G5).
+ *
+ * Spec: docs/specs/llm-decision-quality-meter.md §5.6 (census) + §5.4.2 (rule
+ * registry). Same declare-or-fail pattern as LLM_BENCH_COVERAGE
+ * (src/data/llmBenchCoverage.ts precedent), tightened per review: a declaration
+ * per DECISION POINT (a component may hold several distinct decision points
+ * with different prompts/outcomes), each entry one of:
+ *   - status 'wired'                — the callsite carries `options.provenance`
+ *     enrollment (typed import of the decision-point id exported HERE; the
+ *     settlement write additionally validates decisionPoint ∈ census at
+ *     runtime and counts unknowns). Wired entries declare their volumeClass —
+ *     the PROVENANCE store's volume valve (§5.6; the ~250-byte decision_quality
+ *     row is written for every enrolled settlement regardless of class).
+ *   - status 'pending:<ACT-ref>'    — the retrofit backlog, format-validated +
+ *     PINNED shrink-only in tests/unit/provenance-coverage-ratchet.test.ts
+ *     (count can only go down; re-pointing an entry to a different ACT is a
+ *     reviewed baseline change — shrink-only covers count, not identity). The
+ *     runtime half of the two-layer check (§5.6 pending-ref-dead) lives on
+ *     GET /decision-quality, where the evolution queue exists.
+ *   - status 'exempt:<taxonomy>'    — a CLOSED taxonomy (an exemption is a
+ *     classification, not an essay): 'deterministic-only' (no LLM verdict at
+ *     this point) | 'no-decision-content' (nothing reconstructable beyond what
+ *     feature_metrics already records) | 'operator-ratified:<resolvable-ref>'.
+ *     Free-text exemptions are refused by the ratchet; the exempt baseline is
+ *     pinned shrink-only exactly like pending (ADV r5).
+ *
+ * ENROLLMENT KEY CONVENTION (§5.6, a census-test ASSERTION, not prose): each
+ * decision point uses a 1:1 `attribution.component` key (the existing
+ * `CompletionEvaluator` vs `CompletionEvaluator/P13` suffix pattern); the key
+ * is UNIQUE across census entries REGARDLESS of status (ADV r7 — uniform
+ * uniqueness closes the pending-absorbs-wired-activity and exempt-false-flags
+ * carve-out attacks). Multi-call compositions get one unique suffixed key PER
+ * point with linkage ONLY via the `composition` field (§5.1.1 — key sharing
+ * would re-open the same-key blind spot).
+ *
+ * WHY (operator goal, 2026-07-10 topic 11960): a new LLM decision point that
+ * skips provenance must fail CI — an unlogged decision-maker cannot be graded,
+ * and "does this gate need a bigger model or a prompt change?" is unanswerable
+ * without provenance + outcomes. Structure > Willpower.
+ *
+ * Companion chain: componentCategories keeps COMPONENT_CATEGORY exhaustive
+ * over LLM callsites; LLM_BENCH_COVERAGE keeps bench coverage exhaustive over
+ * COMPONENT_CATEGORY; THIS census keeps provenance posture exhaustive over
+ * COMPONENT_CATEGORY, per decision point.
+ */
+/** Closed exemption taxonomy (§5.6) — free text is refused by the ratchet. */
+export type ExemptTaxonomyKey = 'deterministic-only' | 'no-decision-content';
+export declare const EXEMPT_TAXONOMY_KEYS: ReadonlyArray<ExemptTaxonomyKey>;
+/**
+ * A decision point's provenance posture. `pending:<ACT-ref>` refs are
+ * format-validated (^ACT-\d+$) and baseline-pinned by the ratchet;
+ * `exempt:operator-ratified:` carries a resolvable ref (PR / standards-registry
+ * anchor), also ratchet-validated.
+ */
+export type ProvenanceStatus = 'wired' | `pending:${string}` | `exempt:${ExemptTaxonomyKey}` | `exempt:operator-ratified:${string}`;
+/**
+ * The PROVENANCE store's volume valve (§5.6/FD4): `full` (always-write —
+ * RESERVED for genuinely low-frequency high-stakes points; the arbiter-bypass
+ * invariant applies only here) | `sampled:<rate>` (rides the existing FNV-1a
+ * sampling) | `budget:<rows/day>` (per-point UTC-day cap, COUNT-enforced, loud
+ * droppedByBudget counter). Valves the provenance JSONL row ONLY — the
+ * decision_quality row is written for every enrolled settlement (§5.5).
+ */
+export type VolumeClass = 'full' | `sampled:${string}` | `budget:${string}`;
+/** Content class (§5.2) — declared per decision point; selects the code-provided
+ * envelope BUILDER (callsites do not hand-roll context shapes):
+ *   - 'metadata'        — context is code-authored facts (ids, hashes, booleans,
+ *     numbers, enums). The default.
+ *   - 'content-bearing' — the decision judges user/peer/process-authored text;
+ *     context enters as identity + bounded features (hashes/pointers, code-derived
+ *     feature summaries, ≤300-char scrubbed head), NEVER full bodies. */
+export type ContentClass = 'metadata' | 'content-bearing';
+/** §5.1.1 boundary rule: one decision row per router.evaluate() invocation. A
+ * component whose one human-visible judgment spans multiple evaluate() calls
+ * declares `multi-call:<comma-linked decision-point ids>` — one census entry
+ * per call, EACH with its OWN suffixed unique component key; linkage lives
+ * ONLY here. */
+export type Composition = 'single' | `multi-call:${string}`;
+export interface ProvenanceCoverageEntry {
+    /** Stable decision-point id (^[a-z0-9][a-z0-9-]{0,63}$). Wired points export
+     * a `DP_<UPPER_SNAKE>` constant from this module; enrolling callsites IMPORT
+     * that constant (typed registration — a string-literal-only decision point
+     * at a callsite fails the ratchet). */
+    readonly decisionPoint: string;
+    /** The 1:1 `attribution.component` enrollment key — unique across ALL census
+     * entries regardless of status (ADV r7). Suffix pattern for multi-point
+     * components: 'CompletionEvaluator/P13'. */
+    readonly component: string;
+    readonly status: ProvenanceStatus;
+    /** REQUIRED for wired entries (ratchet-enforced); a pending entry MAY
+     * forward-declare its intended class (advisory until enrollment). */
+    readonly volumeClass?: VolumeClass;
+    readonly contentClass: ContentClass;
+    /** Default 'single' when absent. */
+    readonly composition?: Composition;
+    /** REQUIRED (≥40 chars, ratchet-enforced) for pending/exempt entries — a real
+     * argument, never a lazy "n/a". Optional color for wired entries. */
+    readonly reason?: string;
+}
+/** External-hog kill/leave decision point — the classifier verdict inside the
+ * scan-tick decision loop (ExternalHogScanTick; spec §5.3 first customer). */
+export declare const DP_EXTERNAL_HOG_KILL_LEAVE = "external-hog-kill-leave";
+/** Autonomous completion judge — CompletionEvaluator.evaluate() (spec §5.3). */
+export declare const DP_COMPLETION_EVALUATE = "completion-evaluate";
+/** P13 stop-rationale judge — CompletionEvaluator.evaluateStopRationale()
+ * (component 'CompletionEvaluator/P13'; spec §5.3). */
+export declare const DP_COMPLETION_STOP_RATIONALE = "completion-stop-rationale";
+/** Outbound tone/leak verdict — MessagingToneGate.review() (component
+ * 'MessagingToneGate'; spec §5.6). An ALWAYS-ON HIGH-VOLUME gate: it declares a
+ * `budget:<rows/day>` volume valve (NEVER `full`) and stores content as IDENTITY
+ * only (candidate hash + bounds + code-derived features), never the outbound
+ * body or any plaintext slice of it. */
+export declare const DP_MESSAGING_TONE_GATE = "messaging-tone-gate";
+export declare const PROVENANCE_COVERAGE: ReadonlyArray<ProvenanceCoverageEntry>;
+export declare const SUBBUDGET_IMPLEMENTED = true;
+/** Grading-ladder rungs, in PRECEDENCE ORDER (§5.4.3): earlier beats later.
+ * A self-reported outcome NEVER overrides an independent grader. */
+export declare const EVIDENCE_RUNGS: readonly ["deterministic-ground-truth", "recurrence", "llm-interpreter", "self-report"];
+export type EvidenceRung = (typeof EVIDENCE_RUNGS)[number];
+/** Evidence-strength classes (§5.4.2, codex r3): the read surface splits
+ * proof-like from heuristic grades so aggregates cannot imply stronger
+ * correctness than the evidence supports. */
+export declare const EVIDENCE_STRENGTHS: readonly ["deterministic-proof", "negative-evidence", "recurrence-proxy", "self-report"];
+export type EvidenceStrength = (typeof EVIDENCE_STRENGTHS)[number];
+export interface EvidenceRule {
+    readonly ruleId: string;
+    readonly rung: EvidenceRung;
+    readonly evidenceStrength: EvidenceStrength;
+    /** The ONLY component whose gradedBy.component the annotate chokepoint
+     * accepts for this rule (ADV r5). An annotator actor name — not necessarily
+     * a COMPONENT_CATEGORY key. */
+    readonly owningComponent: string;
+    /** The rule's registered evidence-window parameter, where the predicate is
+     * window-bounded (§5.4.5 — recorded per outcome row; a window change mints
+     * a new ruleId version). */
+    readonly windowMs?: number;
+}
+export declare const RULE_REGISTRY: Readonly<Record<string, EvidenceRule>>;
+/** The census entry for a decision point, or undefined (an unknown decision
+ * point at the settlement write is counted, never thrown — §5.6). */
+export declare function getCensusEntry(decisionPoint: string): ProvenanceCoverageEntry | undefined;
+/** The census entry keyed by the 1:1 `attribution.component` enrollment key
+ * (the bridge the wired-but-silent / exempt-but-active runtime flags use). */
+export declare function getCensusEntryByComponent(componentKey: string): ProvenanceCoverageEntry | undefined;
+/** True iff the decision point is declared AND wired (enrolled). Pending and
+ * exempt points are NOT enrolled — the seam writes nothing for them. */
+export declare function isEnrolled(decisionPoint: string): boolean;
+/** The volume class governing the provenance JSONL row for an ENROLLED point
+ * (undefined for unknown/pending/exempt points — a forward-declared class on a
+ * pending entry is advisory and must not valve anything before enrollment). */
+export declare function getVolumeClass(decisionPoint: string): VolumeClass | undefined;
+/** The registered evidence rule for a ruleId, or undefined (the annotate
+ * chokepoint REJECTS and counts annotations claiming an unregistered id). */
+export declare function getRule(ruleId: string): EvidenceRule | undefined;
+//# sourceMappingURL=provenanceCoverage.d.ts.map

package/dist/data/provenanceCoverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenanceCoverage.d.ts","sourceRoot":"","sources":["../../src/data/provenanceCoverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAMH,8EAA8E;AAC9E,MAAM,MAAM,iBAAiB,GAAG,oBAAoB,GAAG,qBAAqB,CAAC;AAE7E,eAAO,MAAM,oBAAoB,EAAE,aAAa,CAAC,iBAAiB,CAGjE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GACxB,OAAO,GACP,WAAW,MAAM,EAAE,GACnB,UAAU,iBAAiB,EAAE,GAC7B,4BAA4B,MAAM,EAAE,CAAC;AAEzC;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,WAAW,MAAM,EAAE,GAAG,UAAU,MAAM,EAAE,CAAC;AAE5E;;;;;;yEAMyE;AACzE,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,iBAAiB,CAAC;AAE1D;;;;gBAIgB;AAChB,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,cAAc,MAAM,EAAE,CAAC;AAE5D,MAAM,WAAW,uBAAuB;IACtC;;;2CAGuC;IACvC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;gDAE4C;IAC5C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC;yEACqE;IACrE,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,oCAAoC;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC;yEACqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAUD;8EAC8E;AAC9E,eAAO,MAAM,0BAA0B,4BAA4B,CAAC;AAEpE,gFAAgF;AAChF,eAAO,MAAM,sBAAsB,wBAAwB,CAAC;AAE5D;uDACuD;AACvD,eAAO,MAAM,4BAA4B,8BAA8B,CAAC;AAExE;;;;wCAIwC;AACxC,eAAO,MAAM,sBAAsB,wBAAwB,CAAC;AAM5D,eAAO,MAAM,mBAAmB,EAAE,aAAa,CAAC,uBAAuB,CAygBtE,CAAC;AAiBF,eAAO,MAAM,qBAAqB,OAAO,CAAC;AAoB1C;oEACoE;AACpE,eAAO,MAAM,cAAc,yFAKjB,CAAC;AACX,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAE3D;;6CAE6C;AAC7C,eAAO,MAAM,kBAAkB,0FAKrB,CAAC;AACX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C;;mCAE+B;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC;;gCAE4B;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAKD,eAAO,MAAM,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CA2DhE,CAAC;AAeF;qEACqE;AACrE,wBAAgB,cAAc,CAAC,aAAa,EAAE,MAAM,GAAG,uBAAuB,GAAG,SAAS,CAEzF;AAED;8EAC8E;AAC9E,wBAAgB,yBAAyB,CAAC,YAAY,EAAE,MAAM,GAAG,uBAAuB,GAAG,SAAS,CAEnG;AAED;wEACwE;AACxE,wBAAgB,UAAU,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAEzD;AAED;;+EAE+E;AAC/E,wBAAgB,cAAc,CAAC,aAAa,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAG7E;AAED;6EAC6E;AAC7E,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAEhE"}