@primmel/primmel 1.3.2 → 1.4.0

package/dist/src/types/ConformanceTest.d.ts

@@ -0,0 +1,206 @@
+import type AcceptanceDecision from './Acceptance';
+import type TestDesign from './Design';
+import type Reference from './Reference';
+import type { CompetenceRequirement } from './CompetenceKind';
+import type { ApplicabilityEntry } from './Form';
+import type { SeriesDecl } from './Series';
+import type SourceDiscrepancy from './SourceDiscrepancy';
+export interface ConformanceTestStep {
+    order: number;
+    action: string;
+    /** Observable/value ids this step produces. */
+    outputs: string[];
+    /** Value ids this step consumes. */
+    inputs?: string[];
+}
+/**
+ * Probe-channel provenance on a measured test variable (smart TODO.v2/01
+ * TCD-2; analysis/twin-certification-design.md Q2): the physical-side
+ * channel a reference reading arrives by — the three-source vocabulary
+ * `reference_instrument` (a traceable reference, cited by equipment-register
+ * id) | `observer_attestation` (a verification officer reads the physical
+ * display into the evidence form — admitted with the DECLARED traceability
+ * limitation, "twin ≡ display, not twin ≡ mass") | `sim_ground_truth` (the
+ * acceptance environment only, never a production channel). The ref's
+ * RESOLUTION (equipment register / personnel registry / sim deployment) is
+ * the smart-side linker's crosswalk — the kernel checks shape and
+ * vocabulary (C99), register-free.
+ */
+export interface VariableProvenance {
+    /** reference_instrument | observer_attestation | sim_ground_truth (C99). */
+    channel: string;
+    /** The channel's citation — equipment-register id, personnel/participant id, or sim deployment id. */
+    ref: string;
+    /** The test variable carrying this channel reading's observation timestamp. */
+    observedAt: string;
+    /** The DECLARED traceability limitation — required iff channel is observer_attestation (C99). */
+    limitation: string;
+}
+/** Typed test variable (v2 G4): declared | measured | derived | computed | lookup. */
+export interface TestVariable {
+    name: string;
+    type: string;
+    unit: string;
+    source: string;
+    derivation: string;
+    description: string;
+    itemType: string;
+    /** Series shape (axes + cell) when the variable holds a series of readings. */
+    series: SeriesDecl | null;
+    /** Probe-channel provenance (TCD-2) — a measured reference variable's physical channel. */
+    provenance: VariableProvenance | null;
+}
+/** Observable output of a test run (v2 G4). */
+export interface TestObservable {
+    name: string;
+    quantityKind: string;
+    unit: string;
+    as: string;
+}
+/** Machine acceptance criterion (v2 G4). */
+export interface AcceptanceCriterion {
+    item: string;
+    passIf: string;
+    requirementId: string;
+    /** Verdict criterion taxonomy (I/MPE | D/NSFa | D/NSFd | n/a). */
+    criterion: string;
+    /** An optional criterion never blocks the verdict. */
+    optional: boolean;
+    description: string;
+    /** Source reference URN. */
+    reference: string;
+    /** Verdict-registry acceptance binding (verdict + op + limit). */
+    accepts?: {
+        verdict: string;
+        op: string;
+        limit: string;
+    };
+    /** Annotated source contradiction on this criterion's limit (TODO.refactor/11). */
+    sourceDiscrepancy?: SourceDiscrepancy | null;
+}
+/**
+ * Run-validity precondition (data/schemas/cc.yaml). Evaluated BEFORE the
+ * acceptance limit, following inherits_from chains: a violation VOIDS the
+ * run — the verdict outcome is `invalid`, never `fail` — and a check with
+ * missing inputs never fires.
+ */
+export interface TestPrecondition {
+    id: string;
+    /** OCL run-validity check expression. */
+    check: string;
+    description: string;
+    /** Verdict outcome when the check is violated — 'invalid' (void run). */
+    onViolation: string;
+    /** Declared escalation when the check's inputs are UNRESOLVABLE (missing
+        run data): 'indeterminate' makes the verdict indeterminate (the
+        unbound-reads discipline) instead of silently skipping the check;
+        absent/'skip' keeps the documented leniency (never fires). */
+    onUnresolvable?: string;
+}
+/** Runtime class-driven instantiation (cc.yaml `instances`). */
+export interface TestInstances {
+    /** Dimension the instantiation switches on (e.g. accuracy_class). */
+    by: string;
+    /** Dimension value → parameter overrides (numeric when numeric-looking). */
+    values: Record<string, Record<string, string | number>>;
+}
+export default interface ConformanceTest {
+    id: string;
+    name: string;
+    /** What this test verifies (narrative). */
+    purpose?: string;
+    /** How the test is performed (narrative method). */
+    method?: string;
+    /**
+     * The test's executable METHOD (smart-repo TODO.roadmap/55 — BUG.R60-SSOT
+     * gap 10): a reference into the rec's behavior/method vocabulary — the id
+     * of the model-layer process (model/processes.prl, task-50 executable
+     * anatomy: steps, gateways, preconditions) that runs the test. Additive:
+     * flat tests carry the narrative `method` only; the linker's
+     * test-method-link rule resolves the ref where declared.
+     */
+    methodRef?: string;
+    /** Free-text guidance (application notes). */
+    guidance: string;
+    type: string;
+    reference: string;
+    /** Structured form when reference is a { doc, clause } block (v2). */
+    sourceRef?: {
+        doc: string;
+        clause: string;
+        fragment?: string;
+    } | null;
+    /** All structured provenance bindings when the test cites several
+     * fragments (TODO.roadmap/24 — repeated `source {}` blocks; sourceRef is
+     * the first entry, kept for back-compatibility). */
+    sourceRefs?: {
+        doc: string;
+        clause: string;
+        fragment?: string;
+    }[];
+    targets: string[];
+    /** Inspection/verification targets in the subject's HAS inventory
+     * (TODO.roadmap/47) — the same canonical path vocabulary as
+     * Requirement.bindsTo: `targets` names the requirements verified,
+     * `bindsTo` names the subject items the test exercises or inspects. */
+    bindsTo: string[];
+    /** Classification applicability filter (dimension → allowed values). */
+    applicability: ApplicabilityEntry[];
+    procedure: ConformanceTestStep[];
+    /** Named string step references (R 60-style procedure_steps). */
+    procedureSteps?: string[];
+    measurements: string[];
+    kind: string;
+    /**
+     * Obligation level in the type-evaluation programme (TODO.roadmap/19,
+     * gap audit G5): mandatory | optional | conditional. Empty = mandatory
+     * (the programme default). `conditional` requires obligationNote.
+     */
+    obligation: string;
+    /** Condition/applicability note for obligation=conditional. */
+    obligationNote: string;
+    testSubject: Record<string, string>;
+    variables: TestVariable[];
+    observables: TestObservable[];
+    conditionsToEnforce: string[];
+    /** Run-validity preconditions — a violation voids the run (invalid, never fail). */
+    preconditions: TestPrecondition[];
+    /** Reference material ids this test relies on. */
+    referenceMaterials: string[];
+    /** Laboratory competence this test requires (TODO.roadmap/48 —
+     * BUG.R60-SSOT gap 1): the dispatch cover relation matches these
+     * against the TestLaboratory's accreditation_scope; a class-specific
+     * test inherits its base test's entries through inherits_from. */
+    requiredCompetence: CompetenceRequirement[];
+    acceptanceCriteria: AcceptanceCriterion[];
+    /** Block-level acceptance_criteria kind (e.g. composite). */
+    acceptanceCriteriaType: string;
+    acceptanceCriteriaDescription: string;
+    /** Block-level pass_if for composite criteria. */
+    acceptancePassIf: string;
+    /** Test-design metadata (counts/severities/test points/schedule/specimens). */
+    design: TestDesign | null;
+    /** Acceptance decision rule (guarding, criterion, statistics). */
+    acceptance: AcceptanceDecision | null;
+    /** Other conformance test ids this one depends on. */
+    dependencies: string[];
+    /** Runtime class-driven instantiation parameters. */
+    instances: TestInstances | null;
+    inheritsFrom: string;
+    resultForms: string[];
+    /**
+     * Artifact definitions a run of this test produces via the instrument
+     * under test (TODO.roadmap/09 — model/artifacts.yaml ids; e.g. R 91's
+     * enforcement evidence file per measurement).
+     */
+    producesArtifacts?: string[];
+    /** Report-table conclusion rows this executed test maps to (cc.yaml). */
+    reportRows?: string[];
+    derivedValues: Array<{
+        name: string;
+        expression: string;
+    }>;
+    sourceDiscrepancy: SourceDiscrepancy | null;
+}
+export type { Reference };
+//# sourceMappingURL=ConformanceTest.d.ts.map

package/dist/src/types/ConformanceTest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConformanceTest.d.ts","sourceRoot":"","sources":["../../../src/types/ConformanceTest.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,kBAAkB,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,UAAU,MAAM,UAAU,CAAC;AACvC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AAEzD,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,oCAAoC;IACpC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,kBAAkB;IACjC,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,GAAG,EAAE,MAAM,CAAC;IACZ,+EAA+E;IAC/E,UAAU,EAAE,MAAM,CAAC;IACnB,iGAAiG;IACjG,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,sFAAsF;AACtF,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,+EAA+E;IAC/E,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,2FAA2F;IAC3F,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;CACvC;AAED,+CAA+C;AAC/C,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,4CAA4C;AAC5C,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,SAAS,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,4BAA4B;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,mFAAmF;IACnF,iBAAiB,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC9C;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,yEAAyE;IACzE,WAAW,EAAE,MAAM,CAAC;IACpB;;;qEAGiE;IACjE,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B,qEAAqE;IACrE,EAAE,EAAE,MAAM,CAAC;IACX,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;CACzD;AAED,MAAM,CAAC,OAAO,WAAW,eAAe;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oDAAoD;IACpD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;OAOG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,sEAAsE;IACtE,SAAS,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACtE;;wDAEoD;IACpD,UAAU,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAClE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;2EAGuE;IACvE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wEAAwE;IACxE,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,SAAS,EAAE,mBAAmB,EAAE,CAAC;IACjC,iEAAiE;IACjE,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,YAAY,EAAE,MAAM,EAAE,CAAC;IAEvB,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,+DAA+D;IAC/D,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,oFAAoF;IACpF,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,kDAAkD;IAClD,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B;;;sEAGkE;IAClE,kBAAkB,EAAE,qBAAqB,EAAE,CAAC;IAC5C,kBAAkB,EAAE,mBAAmB,EAAE,CAAC;IAC1C,6DAA6D;IAC7D,sBAAsB,EAAE,MAAM,CAAC;IAC/B,6BAA6B,EAAE,MAAM,CAAC;IACtC,kDAAkD;IAClD,gBAAgB,EAAE,MAAM,CAAC;IACzB,+EAA+E;IAC/E,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,kEAAkE;IAClE,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACtC,sDAAsD;IACtD,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,qDAAqD;IACrD,SAAS,EAAE,aAAa,GAAG,IAAI,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB;;;;OAIG;IACH,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,yEAAyE;IACzE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,aAAa,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3D,iBAAiB,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC7C;AAED,YAAY,EAAE,SAAS,EAAE,CAAC"}

package/dist/src/types/ConformanceTest.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=ConformanceTest.js.map

package/dist/src/types/ConformanceTest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConformanceTest.js","sourceRoot":"","sources":["../../../src/types/ConformanceTest.ts"],"names":[],"mappings":""}

package/dist/src/types/Constraint.d.ts

@@ -0,0 +1,34 @@
+import type { SourceRef } from './Subject';
+/**
+ * Domain constraint (TODO.roadmap/51 — BUG.R60-SSOT gap 7): the subject's
+ * own intrinsic validity rule — stereotype «inv» (the UML/OCL invariant
+ * stereotype). Requirements constrain the subject from OUTSIDE (the
+ * Recommendation's regulatory limits); a constraint is a DECLARATION-LEVEL
+ * validity rule of the subject itself (R 60-1, 3.6 test-setup geometry
+ * 0.9·E_max ≤ D_max ≤ E_max): a violation invalidates the MEASUREMENT
+ * (invalid = void measurement, never a fail) — distinct from run-level
+ * preconditions, whose violation voids the RUN. The metamodel invariants
+ * INV-1..14 live one level up; constraint entities are the
+ * Recommendation-level counterpart.
+ */
+export default interface Constraint {
+    id: string;
+    /** Constraint stereotype — `inv` (an invariant on the subject). */
+    stereotype: string;
+    /** Human label (e.g. "Dead-load maximum geometry"). */
+    name: string;
+    /** Machine-checkable invariant as OCL over the subject's declared
+     *  anatomy (model.parameters.*, sample.test_context.*, …). */
+    check: string;
+    /** REQUIRED: what a violation MEANS — recorded on the invalidated
+     *  judgment (e.g. "the test setup does not realize the measuring range
+     *  the type evaluation claims"). */
+    violationMeaning: string;
+    /** invalid (void measurement) | indeterminate (cannot be judged) —
+     *  NEVER a fail. Defaults to invalid when omitted (the precondition
+     *  discipline). */
+    onViolation: string;
+    /** Normative anchor (Recommendation clause). */
+    source: SourceRef | null;
+}
+//# sourceMappingURL=Constraint.d.ts.map

package/dist/src/types/Constraint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Constraint.d.ts","sourceRoot":"","sources":["../../../src/types/Constraint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,OAAO,WAAW,UAAU;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,mEAAmE;IACnE,UAAU,EAAE,MAAM,CAAC;IACnB,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb;kEAC8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd;;wCAEoC;IACpC,gBAAgB,EAAE,MAAM,CAAC;IACzB;;uBAEmB;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,gDAAgD;IAChD,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B"}

package/dist/src/types/Constraint.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=Constraint.js.map

package/dist/src/types/Constraint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Constraint.js","sourceRoot":"","sources":["../../../src/types/Constraint.ts"],"names":[],"mappings":""}

package/dist/src/types/Design.d.ts

@@ -0,0 +1,147 @@
+/**
+ * Conformance-test design block (data/schemas/cc.yaml $defs/testDesign,
+ * TODO.refactor/09): structured test-design metadata — minimum valid
+ * measurement counts, the severity × environment-class matrix
+ * (R 91-2, 6.1 Tables 1–2), shared test-point set reference, temporal
+ * schedule, and specimen governance (R 60-2, 2.3/2.4).
+ */
+export interface DesignCountOverride {
+    condition: string;
+    by: string;
+    note: string;
+}
+export interface DesignCount {
+    /** Count-context id (e.g. field_automatic). */
+    context: string;
+    minCount: number;
+    clause: string;
+    note: string;
+    /** Declared permission to accept fewer than min_count; null when absent. */
+    override: DesignCountOverride | null;
+}
+/** One OIML D 11 severity cell (level/code/amplitude + unit/note/variable). */
+export interface SeverityCell {
+    level: number | null;
+    code: string;
+    amplitude: number | null;
+    unit: string;
+    note: string;
+    /** Test variable carrying this severity value (the executable surface). */
+    variable: string;
+}
+/** A severity value, optionally split per supply column (AC/DC/vehicle-DC). */
+export interface SeverityValue extends SeverityCell {
+    columns: {
+        ac: SeverityCell | null;
+        dc: SeverityCell | null;
+        vehicleDc: SeverityCell | null;
+    } | null;
+}
+export interface DesignSeverity {
+    /** Source table row label (e.g. "1 dry heat (operating)"). */
+    row: string;
+    /** Environment class id → severity for that class (null = n/a row). */
+    envClassValues: Record<string, SeverityValue | null>;
+    /** Row evaluation criterion (I/MPE | D/NSFa | D/NSFd | n/a). */
+    criterion: string;
+    /** Source table footnote ids applying to this row. */
+    footnotes: string[];
+}
+export interface DesignSchedulePhase {
+    id: string;
+    condition: string;
+    /** ISO-8601 duration/interval for the phase. */
+    window: string;
+}
+export interface DesignSchedule {
+    /** ISO-8601 duration (e.g. P7D). */
+    duration: string;
+    /** ISO-8601 interval between measurements (e.g. PT24H). */
+    cadence: string;
+    phases: DesignSchedulePhase[];
+    constraints: string[];
+}
+export interface DesignSpecimens {
+    count: number | null;
+    maxAdditional: number | null;
+    /** OCL selector (ocl{...}) when selection is inline. */
+    selection: string;
+    /** Sample-selection rule id when selection is a { ref } block. */
+    selectionRef: string;
+    /** same_eut | same_eut_with_additional. */
+    continuity: string;
+    /** specimen_governance rule ids. */
+    rules: string[];
+}
+/**
+ * Per-kind metadata: real-traffic field test (TODO.roadmap/19, gap audit
+ * G4; R 91-2, 4). N measurements live in counts; the error statistics
+ * live in acceptance.statistics — this block carries what those do not:
+ * site selection (4.2), traffic conditions (4.3), the reference meter
+ * (4.5) with its uncertainty-budget profile key.
+ */
+export interface DesignField {
+    /** Site selection rule (R 91-2, 4.2). */
+    siteSelection: string;
+    /** Traffic-condition rule (R 91-2, 4.3). */
+    trafficConditions: string;
+    referenceMeter: {
+        description: string;
+        /** Key into the standard's uncertainty_budgets profile (tables.yaml). */
+        uncertaintyBudget: string;
+    } | null;
+}
+/**
+ * Per-kind metadata: traffic-simulator laboratory test (TODO.roadmap/19;
+ * R 91-2, 5.2 — the simulator characteristics are test-relevant).
+ */
+export interface DesignSimulation {
+    /** Simulator kind: complete | partial (R 91-2, 5.2 Figures 1-2). */
+    simulatorKind: string;
+    /** The simulated signal (electrical pulse sequence, light pulses,
+        electromagnetic radiation pattern, …). */
+    signal: string;
+    /** Key into the standard's uncertainty_budgets profile (tables.yaml). */
+    uncertaintyBudget: string;
+    /** Simulator validation rule (R 91-2, 5.2: road series comparison). */
+    validation: string;
+}
+/** One OIML D 31 examination item (R 91-2, 8.3 tables). */
+export interface DesignSoftwareItem {
+    /** Item number in the R 91-2, 8.3 tables (1-30). */
+    item: number;
+    name: string;
+    /** OIML D 31 clause (e.g. "6.2.1"). */
+    d31: string;
+    /** mandatory | optional (R 91-2, 8.3: 8.3.1-8.3.3 mandatory, 8.3.4/8.3.5 optional). */
+    obligation: string;
+    /** Evaluation methods (AD | VFTM | VFTSw, D 31, 7.3.2). */
+    methods: string[];
+    /** R 91-2 source clause of the item's table (e.g. "8.3.1"). */
+    clause: string;
+}
+/**
+ * Per-kind metadata: D 31 software examination (TODO.roadmap/19; R 91-2,
+ * 8). The examination LEVEL (8.2: level A = D 31 normal examination
+ * level) plus the per-item obligation/method matrix.
+ */
+export interface DesignSoftware {
+    /** D 31 examination level (e.g. "A"). */
+    level: string;
+    items: DesignSoftwareItem[];
+}
+export default interface TestDesign {
+    counts: DesignCount[];
+    severities: DesignSeverity[];
+    /** Shared test-point set id (test_point_set construct). */
+    testPointsRef: string;
+    schedule: DesignSchedule | null;
+    specimens: DesignSpecimens | null;
+    /** kind: field — real-traffic field-test metadata (TODO.roadmap/19). */
+    field: DesignField | null;
+    /** kind: simulation — simulator characteristics (TODO.roadmap/19). */
+    simulation: DesignSimulation | null;
+    /** kind: software-examination — D 31 level + item matrix (TODO.roadmap/19). */
+    software: DesignSoftware | null;
+}
+//# sourceMappingURL=Design.d.ts.map

package/dist/src/types/Design.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Design.d.ts","sourceRoot":"","sources":["../../../src/types/Design.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,WAAW;IAC1B,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,4EAA4E;IAC5E,QAAQ,EAAE,mBAAmB,GAAG,IAAI,CAAC;CACtC;AAED,+EAA+E;AAC/E,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,+EAA+E;AAC/E,MAAM,WAAW,aAAc,SAAQ,YAAY;IACjD,OAAO,EAAE;QACP,EAAE,EAAE,YAAY,GAAG,IAAI,CAAC;QACxB,EAAE,EAAE,YAAY,GAAG,IAAI,CAAC;QACxB,SAAS,EAAE,YAAY,GAAG,IAAI,CAAC;KAChC,GAAG,IAAI,CAAC;CACV;AAED,MAAM,WAAW,cAAc;IAC7B,8DAA8D;IAC9D,GAAG,EAAE,MAAM,CAAC;IACZ,uEAAuE;IACvE,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CAAC,CAAC;IACrD,gEAAgE;IAChE,SAAS,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,oCAAoC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAC9B,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,wDAAwD;IACxD,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,YAAY,EAAE,MAAM,CAAC;IACrB,2CAA2C;IAC3C,UAAU,EAAE,MAAM,CAAC;IACnB,oCAAoC;IACpC,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,yCAAyC;IACzC,aAAa,EAAE,MAAM,CAAC;IACtB,4CAA4C;IAC5C,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE;QACd,WAAW,EAAE,MAAM,CAAC;QACpB,yEAAyE;QACzE,iBAAiB,EAAE,MAAM,CAAC;KAC3B,GAAG,IAAI,CAAC;CACV;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,oEAAoE;IACpE,aAAa,EAAE,MAAM,CAAC;IACtB;iDAC6C;IAC7C,MAAM,EAAE,MAAM,CAAC;IACf,yEAAyE;IACzE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,uEAAuE;IACvE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,2DAA2D;AAC3D,MAAM,WAAW,kBAAkB;IACjC,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,uCAAuC;IACvC,GAAG,EAAE,MAAM,CAAC;IACZ,uFAAuF;IACvF,UAAU,EAAE,MAAM,CAAC;IACnB,2DAA2D;IAC3D,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,+DAA+D;IAC/D,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,kBAAkB,EAAE,CAAC;CAC7B;AAED,MAAM,CAAC,OAAO,WAAW,UAAU;IACjC,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,2DAA2D;IAC3D,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;IAChC,SAAS,EAAE,eAAe,GAAG,IAAI,CAAC;IAClC,wEAAwE;IACxE,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;IAC1B,sEAAsE;IACtE,UAAU,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACpC,+EAA+E;IAC/E,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;CACjC"}

package/dist/src/types/Design.js

@@ -0,0 +1,10 @@
+"use strict";
+/**
+ * Conformance-test design block (data/schemas/cc.yaml $defs/testDesign,
+ * TODO.refactor/09): structured test-design metadata — minimum valid
+ * measurement counts, the severity × environment-class matrix
+ * (R 91-2, 6.1 Tables 1–2), shared test-point set reference, temporal
+ * schedule, and specimen governance (R 60-2, 2.3/2.4).
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=Design.js.map

package/dist/src/types/Design.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Design.js","sourceRoot":"","sources":["../../../src/types/Design.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG"}

package/dist/src/types/DiscrepancyRecord.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Corpus-level source-discrepancy record (TODO.roadmap/54 — BUG.R60-SSOT
+ * gap 13's corpus-level extension): a named, top-level record that two or
+ * more source fragments CONFLICT, characterizing the conflict and recording
+ * the corpus's adjudication — which source governs, why, and the authority
+ * that decided. The node-attached `source_discrepancy` facet
+ * (rc.yaml $defs/source_discrepancy — requirements, conformance tests,
+ * tables, …) covers conflicts a model node can carry; corpus-level
+ * conflicts attach to DOCUMENTS, not nodes (e.g. PD-02, 11.1's four-year
+ * expert-review cycle vs OD-01, 13.4's 3-yearly cycle — no model node owns
+ * that disagreement), so they live here as first-class records. The record
+ * is the corpus's own errata memory: a coverage gap or clause
+ * reconciliation never re-litigates a settled disagreement from scratch,
+ * and an `open` record is audit-visible instead of hiding in a comment.
+ *
+ * The facet fields (summary / sources / resolution / rationale) are
+ * IDENTICAL to the shipped source_discrepancy construct; the corpus
+ * wrapper adds `status` (open | resolved) and `governing` (the source that
+ * governs — required when resolution is follows_clause_x, meaningless for
+ * annotated_only).
+ */
+export default interface DiscrepancyRecord {
+    id: string;
+    /** open (undispositioned — prints at audit level) | resolved (the
+     *  corpus's treatment is settled). */
+    status: string;
+    /** One-sentence statement of the contradiction. */
+    summary: string;
+    /** The conflicting clause/document URNs (≥2 — both sides). */
+    sources: string[];
+    /** follows_clause_x (the corpus follows one cited source — named by
+     *  `governing`) | annotated_only (the conflict is recorded; no side
+     *  picked). Empty while status is open. */
+    resolution: string;
+    /** The governing source — one of `sources`. Required iff resolution is
+     *  follows_clause_x; empty otherwise. */
+    governing: string;
+    /** Why the corpus treats the conflict this way + the deciding authority
+     *  (audit task, edition, verification date). */
+    rationale: string;
+}
+//# sourceMappingURL=DiscrepancyRecord.d.ts.map

package/dist/src/types/DiscrepancyRecord.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DiscrepancyRecord.d.ts","sourceRoot":"","sources":["../../../src/types/DiscrepancyRecord.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,OAAO,WAAW,iBAAiB;IACxC,EAAE,EAAE,MAAM,CAAC;IACX;0CACsC;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;+CAE2C;IAC3C,UAAU,EAAE,MAAM,CAAC;IACnB;6CACyC;IACzC,SAAS,EAAE,MAAM,CAAC;IAClB;oDACgD;IAChD,SAAS,EAAE,MAAM,CAAC;CACnB"}

package/dist/src/types/DiscrepancyRecord.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=DiscrepancyRecord.js.map

package/dist/src/types/DiscrepancyRecord.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DiscrepancyRecord.js","sourceRoot":"","sources":["../../../src/types/DiscrepancyRecord.ts"],"names":[],"mappings":""}