@primmel/primmel 1.3.2 → 1.4.1

package/dist/index.d.ts

@@ -1,5 +1,10 @@
-export { load, loadFile, loadWithIssues, loadFileWithIssues, dump, validate, type LoadOptions, type LoadResult, type ValidationIssue, type ValidationSeverity, type Position, } from './src/ser-des/index';
+export { load, loadFile, loadWithIssues, loadFileWithIssues, dump, validate, loadPackage, packageFiles, dumpPackage, type LoadOptions, type LoadResult, type ValidationIssue, type ValidationSeverity, type Position, } from './src/ser-des/index';
 export type { default as Standard } from './src/types/Standard';
+export type { Subprocess, SubprocessComponent, Edge } from './src/types/flow';
+export type { PackageManifest, PackageSource } from './src/types/Package';
+export type { EditionStatus, EditionValidity } from './src/types/Package';
+export type { SubjectPromise } from './src/types/Subject';
+export type { Monitor } from './src/types/Monitor';
 export type { default as Metadata } from './src/types/Metadata';
 export type { default as Role } from './src/types/Role';
 export type { default as Provision } from './src/types/Provision';
@@ -7,18 +12,49 @@ export type { default as Process } from './src/types/process';
 export type { default as Reference } from './src/types/Reference';
 export type { default as Approval } from './src/types/Approval';
 export type { default as Gateway } from './src/types/Gateway';
-export type { default as EventNode } from './src/types/events';
-export type { DataClass, DataAttribute, Registry, Enum, Variable, } from './src/types/data';
+export type { default as EventNode, SignalCatchEvent, TimerEvent, } from './src/types/events';
+export type { DataClass, DataAttribute, Registry, Enum, EnumValue, Variable, } from './src/types/data';
 export type { default as Note, NoteType } from './src/types/Note';
+export type { default as Comment } from './src/types/Comment';
 export type { default as Table } from './src/types/Table';
 export type { default as Figure } from './src/types/Figure';
 export type { default as Link } from './src/types/Link';
 export type { default as MapProfile } from './src/types/MapProfile';
+export type { CoverageLevel, MappingPair } from './src/types/MapProfile';
 export type { default as ViewProfile } from './src/types/ViewProfile';
+export { loadPrm, dumpPrm, prmToMapProfiles, mapProfilesToPrm, type PrmFile, type PrmMapSetEntry, type PrmPairMeta, } from './src/ser-des/prm';
+export { parseTargetRef, mappingsFromProfile, collectMappings, buildProcessTree, computeCoverage, discoverTransitive, repoMap, applyView, componentIds, type MappingRecord, type TargetRef, type ProcessTreeNode, type ComponentCoverage, type DiscoveryProposal, type CoverageSummary, type CoverageReport, type UnresolvedMapping, type ModelMappings, type RepoMapEdge, type ViewProjection, } from './src/mapping-coverage';
+export { checkPackage, type CheckIssue, type CheckOptions } from './src/check';
+export { exportPackageReqif, exportStandardReqif, reqifModality, requirementClassOf, xmlCommentSafe, REQIF_MODALITY_BY_OBLIGATION, REQIF_NAMESPACE, REQIF_VERSION, type ReqifExport, type ReqifExportOptions, type ReqifExportStats, } from './src/export/reqif';
+export { exportPackageRdf, exportStandardRdf, rdfRequirementClassOf, rdfSlug, turtleEscape, type RdfExport, type RdfExportFormat, type RdfExportStats, type RdfObject, type RdfTriple, } from './src/export/rdf';
+export { RDF_PROVISION_CLASS_BY_OBLIGATION, rdfObligationToken, rdfProvisionClass, PRIMMEL_NS, SMART_NS, } from './src/export/rdf-vocabulary';
+export { RDF_EXPORT_SHAPES_TTL } from './src/export/rdf-shapes';
+export { RDF_COMPETENCY_QUESTIONS, type RdfCompetencyQuestion, } from './src/export/rdf-competency-questions';
+export { canonical, clauseTextKey, diffStandards, elementIndex, formatDiffReport, normalizeSourceRef, TIER_BY_FIELD, TIER_ORDER, type ChangeEntry, type ClauseDriftKind, type ClauseDriftRow, type ClauseTextIndex, type CoverageDeltaEntry, type DiffElement, type DiffEntry, type MappingDiff, type MappingPairChange, type ModelDiff, type ModelDiffOptions, type MoveEntry, type NormalizedSourceRef, type TierName, type TierTally, } from './src/model-diff';
+export { diffPackageDirs, packageClauseTexts, packageMappings, type PackageDiffOptions, type PackageDiffResult, } from './src/package-diff';
+export { CHECK_RULES, checkRule, activeRuleIds, type CheckRule, type CheckFamily, type CheckLevel, } from './src/check-rules';
+export { parseSpellingCode, parseConversionCode, isSpellingCode, isConversionCode, conversionCodeEquals, type ParsedSpellingCode, } from './src/spelling';
+export type { default as TextContent, SpellingEntry } from './src/types/Text';
+export { ALLOWLIST_FILENAME, loadAllowlist, applyAllowlist, type AllowlistEntry, type PackageAllowlist, } from './src/check-allowlist';
 export type { default as Form, FormField, PassFail, ApplicabilityEntry, } from './src/types/Form';
 export type { default as Subform, ParameterDecl } from './src/types/Subform';
 export type { default as Symbol, SymbolType } from './src/types/Symbol';
 export type { default as Calculation, CalculationInput, CalculationOutput, } from './src/types/Calculation';
-export type { default as StateMachine, Transition, Cascade, } from './src/types/StateMachine';
+export type { default as StateMachine, StateMachineKind, Transition, Cascade, } from './src/types/StateMachine';
+export { StateTrajectoryError, evaluateStateGate, extractStateGates, foldTrajectory, type FiredStep, type StateGate, type StateGateOutcome, type StateGateResult, type StateGateViolation, type StateTrajectory, type StateTrajectoryEntry, } from './src/operational-state';
 export type { default as Term } from './src/types/Term';
+export type { Instance, InstanceHas, InstanceValue, ChainLevel, } from './src/types/Instance';
+export type { ArtifactDefinition, ArtifactInstance, ArtifactContentContract, ArtifactField, ArtifactMedia, ProducedWhen, } from './src/types/Artifact';
+export type { ConnectorProfile, Endpoint, EndpointAccessScope, EndpointOperation, EndpointOperationKind, EndpointPayload, ServeBinding, } from './src/types/Twin';
+export { BUILTIN_CONNECTOR_PROFILES, ENDPOINT_ACCESS_SCOPES, ENDPOINT_OPERATION_KINDS, } from './src/types/Twin';
+export type { Passport, PassportCarrier, PassportContentEntry, PassportUpi, PassportAccessClass, PassportContentClass, PassportUpiLevel, } from './src/types/Passport';
+export { PASSPORT_ACCESS_CLASSES, PASSPORT_CONTENT_CLASSES, PASSPORT_UPI_LEVELS, } from './src/types/Passport';
+export type { Invariant, InvariantEnforcement } from './src/types/Invariant';
+export { TEST_SEQUENCE_STEP_ROLES, type TestSequence, type TestSequenceStep, } from './src/types/TestSequence';
+export { FORMULA_ID_SHAPE, type FormulasUsed } from './src/types/FormulasUsed';
+export { InstanceResolutionError, instanceChain, parseInstancePath, resolveInstanceAttributes, resolveInstanceClassification, resolveInstanceValue, type InstanceArea, type InstancePath, type ResolutionErrorKind, } from './src/instance-resolution';
+export type { QuantityValue, QuantityKindDef, UnitDef, QuantityRegister, Dual, } from './src/types/Quantity';
+export type { IsoDate, IsoDateTime, IsoDuration, IsoPeriod, ValidityWindow, EditionPin, } from './src/types/Time';
+export { isDate, isDateTime, isDuration, isPeriod, isValidTimeValue, checkValidityWindow, editionPins, parseFreshnessWindow, timeInstantMs, } from './src/time';
+export { parseTypeExpression, isWellFormedMapType, PRIMITIVE_TYPES, type TypeExpr, } from './src/type-expr';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AACA,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,kBAAkB,EAClB,IAAI,EACJ,QAAQ,EACR,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,QAAQ,GACd,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,YAAY,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,YAAY,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/D,YAAY,EACV,SAAS,EACT,aAAa,EACb,QAAQ,EACR,IAAI,EACJ,QAAQ,GACT,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1D,YAAY,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5D,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpE,YAAY,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtE,YAAY,EACV,OAAO,IAAI,IAAI,EACf,SAAS,EACT,QAAQ,EACR,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC7E,YAAY,EAAE,OAAO,IAAI,MAAM,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACxE,YAAY,EACV,OAAO,IAAI,WAAW,EACtB,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,OAAO,IAAI,YAAY,EACvB,UAAU,EACV,OAAO,GACR,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AACA,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,kBAAkB,EAClB,IAAI,EACJ,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,WAAW,EACX,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,QAAQ,GACd,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC9E,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC1E,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC1E,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,YAAY,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,YAAY,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChE,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,YAAY,EACV,OAAO,IAAI,SAAS,EACpB,gBAAgB,EAChB,UAAU,GACX,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,SAAS,EACT,aAAa,EACb,QAAQ,EACR,IAAI,EACJ,SAAS,EACT,QAAQ,GACT,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAClE,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9D,YAAY,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1D,YAAY,EAAE,OAAO,IAAI,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5D,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACzE,YAAY,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EACL,OAAO,EACP,OAAO,EACP,gBAAgB,EAChB,gBAAgB,EAChB,KAAK,OAAO,EACZ,KAAK,cAAc,EACnB,KAAK,WAAW,GACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,OAAO,EACP,SAAS,EACT,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,KAAK,cAAc,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAC/E,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,aAAa,EACb,kBAAkB,EAClB,cAAc,EACd,4BAA4B,EAC5B,eAAe,EACf,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,GACtB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,qBAAqB,EACrB,OAAO,EACP,YAAY,EACZ,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,SAAS,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,iCAAiC,EACjC,kBAAkB,EAClB,iBAAiB,EACjB,UAAU,EACV,QAAQ,GACT,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EACL,wBAAwB,EACxB,KAAK,qBAAqB,GAC3B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,SAAS,EACT,aAAa,EACb,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,EACb,UAAU,EACV,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,mBAAmB,EACxB,KAAK,QAAQ,EACb,KAAK,SAAS,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,GACvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,WAAW,EACX,SAAS,EACT,aAAa,EACb,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,UAAU,GAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,EACd,gBAAgB,EAChB,oBAAoB,EACpB,KAAK,kBAAkB,GACxB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,OAAO,IAAI,WAAW,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,cAAc,EACd,KAAK,cAAc,EACnB,KAAK,gBAAgB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,OAAO,IAAI,IAAI,EACf,SAAS,EACT,QAAQ,EACR,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,OAAO,IAAI,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC7E,YAAY,EAAE,OAAO,IAAI,MAAM,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACxE,YAAY,EACV,OAAO,IAAI,WAAW,EACtB,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,OAAO,IAAI,YAAY,EACvB,gBAAgB,EAChB,UAAU,EACV,OAAO,GACR,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,KAAK,SAAS,EACd,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,oBAAoB,GAC1B,MAAM,yBAAyB,CAAC;AACjC,YAAY,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EACV,QAAQ,EACR,WAAW,EACX,aAAa,EACb,UAAU,GACX,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,kBAAkB,EAClB,gBAAgB,EAChB,uBAAuB,EACvB,aAAa,EACb,aAAa,EACb,YAAY,GACb,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,gBAAgB,EAChB,QAAQ,EACR,mBAAmB,EACnB,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,EACf,YAAY,GACb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,QAAQ,EACR,eAAe,EACf,oBAAoB,EACpB,WAAW,EACX,mBAAmB,EACnB,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EACL,wBAAwB,EACxB,KAAK,YAAY,EACjB,KAAK,gBAAgB,GACtB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,gBAAgB,EAAE,KAAK,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EACL,uBAAuB,EACvB,aAAa,EACb,iBAAiB,EACjB,yBAAyB,EACzB,6BAA6B,EAC7B,oBAAoB,EACpB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,mBAAmB,GACzB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,aAAa,EACb,eAAe,EACf,OAAO,EACP,gBAAgB,EAChB,IAAI,GACL,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,OAAO,EACP,WAAW,EACX,WAAW,EACX,SAAS,EACT,cAAc,EACd,UAAU,GACX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,MAAM,EACN,UAAU,EACV,UAAU,EACV,QAAQ,EACR,gBAAgB,EAChB,mBAAmB,EACnB,WAAW,EACX,oBAAoB,EACpB,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,eAAe,EACf,KAAK,QAAQ,GACd,MAAM,iBAAiB,CAAC"}

package/dist/index.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.validate = exports.dump = exports.loadFileWithIssues = exports.loadWithIssues = exports.loadFile = exports.load = void 0;
+exports.TIER_BY_FIELD = exports.normalizeSourceRef = exports.formatDiffReport = exports.elementIndex = exports.diffStandards = exports.clauseTextKey = exports.canonical = exports.RDF_COMPETENCY_QUESTIONS = exports.RDF_EXPORT_SHAPES_TTL = exports.SMART_NS = exports.PRIMMEL_NS = exports.rdfProvisionClass = exports.rdfObligationToken = exports.RDF_PROVISION_CLASS_BY_OBLIGATION = exports.turtleEscape = exports.rdfSlug = exports.rdfRequirementClassOf = exports.exportStandardRdf = exports.exportPackageRdf = exports.REQIF_VERSION = exports.REQIF_NAMESPACE = exports.REQIF_MODALITY_BY_OBLIGATION = exports.xmlCommentSafe = exports.requirementClassOf = exports.reqifModality = exports.exportStandardReqif = exports.exportPackageReqif = exports.checkPackage = exports.componentIds = exports.applyView = exports.repoMap = exports.discoverTransitive = exports.computeCoverage = exports.buildProcessTree = exports.collectMappings = exports.mappingsFromProfile = exports.parseTargetRef = exports.mapProfilesToPrm = exports.prmToMapProfiles = exports.dumpPrm = exports.loadPrm = exports.dumpPackage = exports.packageFiles = exports.loadPackage = exports.validate = exports.dump = exports.loadFileWithIssues = exports.loadWithIssues = exports.loadFile = exports.load = void 0;
+exports.PRIMITIVE_TYPES = exports.isWellFormedMapType = exports.parseTypeExpression = exports.timeInstantMs = exports.parseFreshnessWindow = exports.editionPins = exports.checkValidityWindow = exports.isValidTimeValue = exports.isPeriod = exports.isDuration = exports.isDateTime = exports.isDate = exports.resolveInstanceValue = exports.resolveInstanceClassification = exports.resolveInstanceAttributes = exports.parseInstancePath = exports.instanceChain = exports.InstanceResolutionError = exports.FORMULA_ID_SHAPE = exports.TEST_SEQUENCE_STEP_ROLES = exports.PASSPORT_UPI_LEVELS = exports.PASSPORT_CONTENT_CLASSES = exports.PASSPORT_ACCESS_CLASSES = exports.ENDPOINT_OPERATION_KINDS = exports.ENDPOINT_ACCESS_SCOPES = exports.BUILTIN_CONNECTOR_PROFILES = exports.foldTrajectory = exports.extractStateGates = exports.evaluateStateGate = exports.StateTrajectoryError = exports.applyAllowlist = exports.loadAllowlist = exports.ALLOWLIST_FILENAME = exports.conversionCodeEquals = exports.isConversionCode = exports.isSpellingCode = exports.parseConversionCode = exports.parseSpellingCode = exports.activeRuleIds = exports.checkRule = exports.CHECK_RULES = exports.packageMappings = exports.packageClauseTexts = exports.diffPackageDirs = exports.TIER_ORDER = void 0;
 // Package entry point — re-exports the public API
 var index_1 = require("./src/ser-des/index");
 Object.defineProperty(exports, "load", { enumerable: true, get: function () { return index_1.load; } });
@@ -9,4 +10,114 @@ Object.defineProperty(exports, "loadWithIssues", { enumerable: true, get: functi
 Object.defineProperty(exports, "loadFileWithIssues", { enumerable: true, get: function () { return index_1.loadFileWithIssues; } });
 Object.defineProperty(exports, "dump", { enumerable: true, get: function () { return index_1.dump; } });
 Object.defineProperty(exports, "validate", { enumerable: true, get: function () { return index_1.validate; } });
+Object.defineProperty(exports, "loadPackage", { enumerable: true, get: function () { return index_1.loadPackage; } });
+Object.defineProperty(exports, "packageFiles", { enumerable: true, get: function () { return index_1.packageFiles; } });
+Object.defineProperty(exports, "dumpPackage", { enumerable: true, get: function () { return index_1.dumpPackage; } });
+var prm_1 = require("./src/ser-des/prm");
+Object.defineProperty(exports, "loadPrm", { enumerable: true, get: function () { return prm_1.loadPrm; } });
+Object.defineProperty(exports, "dumpPrm", { enumerable: true, get: function () { return prm_1.dumpPrm; } });
+Object.defineProperty(exports, "prmToMapProfiles", { enumerable: true, get: function () { return prm_1.prmToMapProfiles; } });
+Object.defineProperty(exports, "mapProfilesToPrm", { enumerable: true, get: function () { return prm_1.mapProfilesToPrm; } });
+var mapping_coverage_1 = require("./src/mapping-coverage");
+Object.defineProperty(exports, "parseTargetRef", { enumerable: true, get: function () { return mapping_coverage_1.parseTargetRef; } });
+Object.defineProperty(exports, "mappingsFromProfile", { enumerable: true, get: function () { return mapping_coverage_1.mappingsFromProfile; } });
+Object.defineProperty(exports, "collectMappings", { enumerable: true, get: function () { return mapping_coverage_1.collectMappings; } });
+Object.defineProperty(exports, "buildProcessTree", { enumerable: true, get: function () { return mapping_coverage_1.buildProcessTree; } });
+Object.defineProperty(exports, "computeCoverage", { enumerable: true, get: function () { return mapping_coverage_1.computeCoverage; } });
+Object.defineProperty(exports, "discoverTransitive", { enumerable: true, get: function () { return mapping_coverage_1.discoverTransitive; } });
+Object.defineProperty(exports, "repoMap", { enumerable: true, get: function () { return mapping_coverage_1.repoMap; } });
+Object.defineProperty(exports, "applyView", { enumerable: true, get: function () { return mapping_coverage_1.applyView; } });
+Object.defineProperty(exports, "componentIds", { enumerable: true, get: function () { return mapping_coverage_1.componentIds; } });
+var check_1 = require("./src/check");
+Object.defineProperty(exports, "checkPackage", { enumerable: true, get: function () { return check_1.checkPackage; } });
+var reqif_1 = require("./src/export/reqif");
+Object.defineProperty(exports, "exportPackageReqif", { enumerable: true, get: function () { return reqif_1.exportPackageReqif; } });
+Object.defineProperty(exports, "exportStandardReqif", { enumerable: true, get: function () { return reqif_1.exportStandardReqif; } });
+Object.defineProperty(exports, "reqifModality", { enumerable: true, get: function () { return reqif_1.reqifModality; } });
+Object.defineProperty(exports, "requirementClassOf", { enumerable: true, get: function () { return reqif_1.requirementClassOf; } });
+Object.defineProperty(exports, "xmlCommentSafe", { enumerable: true, get: function () { return reqif_1.xmlCommentSafe; } });
+Object.defineProperty(exports, "REQIF_MODALITY_BY_OBLIGATION", { enumerable: true, get: function () { return reqif_1.REQIF_MODALITY_BY_OBLIGATION; } });
+Object.defineProperty(exports, "REQIF_NAMESPACE", { enumerable: true, get: function () { return reqif_1.REQIF_NAMESPACE; } });
+Object.defineProperty(exports, "REQIF_VERSION", { enumerable: true, get: function () { return reqif_1.REQIF_VERSION; } });
+var rdf_1 = require("./src/export/rdf");
+Object.defineProperty(exports, "exportPackageRdf", { enumerable: true, get: function () { return rdf_1.exportPackageRdf; } });
+Object.defineProperty(exports, "exportStandardRdf", { enumerable: true, get: function () { return rdf_1.exportStandardRdf; } });
+Object.defineProperty(exports, "rdfRequirementClassOf", { enumerable: true, get: function () { return rdf_1.rdfRequirementClassOf; } });
+Object.defineProperty(exports, "rdfSlug", { enumerable: true, get: function () { return rdf_1.rdfSlug; } });
+Object.defineProperty(exports, "turtleEscape", { enumerable: true, get: function () { return rdf_1.turtleEscape; } });
+var rdf_vocabulary_1 = require("./src/export/rdf-vocabulary");
+Object.defineProperty(exports, "RDF_PROVISION_CLASS_BY_OBLIGATION", { enumerable: true, get: function () { return rdf_vocabulary_1.RDF_PROVISION_CLASS_BY_OBLIGATION; } });
+Object.defineProperty(exports, "rdfObligationToken", { enumerable: true, get: function () { return rdf_vocabulary_1.rdfObligationToken; } });
+Object.defineProperty(exports, "rdfProvisionClass", { enumerable: true, get: function () { return rdf_vocabulary_1.rdfProvisionClass; } });
+Object.defineProperty(exports, "PRIMMEL_NS", { enumerable: true, get: function () { return rdf_vocabulary_1.PRIMMEL_NS; } });
+Object.defineProperty(exports, "SMART_NS", { enumerable: true, get: function () { return rdf_vocabulary_1.SMART_NS; } });
+var rdf_shapes_1 = require("./src/export/rdf-shapes");
+Object.defineProperty(exports, "RDF_EXPORT_SHAPES_TTL", { enumerable: true, get: function () { return rdf_shapes_1.RDF_EXPORT_SHAPES_TTL; } });
+var rdf_competency_questions_1 = require("./src/export/rdf-competency-questions");
+Object.defineProperty(exports, "RDF_COMPETENCY_QUESTIONS", { enumerable: true, get: function () { return rdf_competency_questions_1.RDF_COMPETENCY_QUESTIONS; } });
+var model_diff_1 = require("./src/model-diff");
+Object.defineProperty(exports, "canonical", { enumerable: true, get: function () { return model_diff_1.canonical; } });
+Object.defineProperty(exports, "clauseTextKey", { enumerable: true, get: function () { return model_diff_1.clauseTextKey; } });
+Object.defineProperty(exports, "diffStandards", { enumerable: true, get: function () { return model_diff_1.diffStandards; } });
+Object.defineProperty(exports, "elementIndex", { enumerable: true, get: function () { return model_diff_1.elementIndex; } });
+Object.defineProperty(exports, "formatDiffReport", { enumerable: true, get: function () { return model_diff_1.formatDiffReport; } });
+Object.defineProperty(exports, "normalizeSourceRef", { enumerable: true, get: function () { return model_diff_1.normalizeSourceRef; } });
+Object.defineProperty(exports, "TIER_BY_FIELD", { enumerable: true, get: function () { return model_diff_1.TIER_BY_FIELD; } });
+Object.defineProperty(exports, "TIER_ORDER", { enumerable: true, get: function () { return model_diff_1.TIER_ORDER; } });
+var package_diff_1 = require("./src/package-diff");
+Object.defineProperty(exports, "diffPackageDirs", { enumerable: true, get: function () { return package_diff_1.diffPackageDirs; } });
+Object.defineProperty(exports, "packageClauseTexts", { enumerable: true, get: function () { return package_diff_1.packageClauseTexts; } });
+Object.defineProperty(exports, "packageMappings", { enumerable: true, get: function () { return package_diff_1.packageMappings; } });
+var check_rules_1 = require("./src/check-rules");
+Object.defineProperty(exports, "CHECK_RULES", { enumerable: true, get: function () { return check_rules_1.CHECK_RULES; } });
+Object.defineProperty(exports, "checkRule", { enumerable: true, get: function () { return check_rules_1.checkRule; } });
+Object.defineProperty(exports, "activeRuleIds", { enumerable: true, get: function () { return check_rules_1.activeRuleIds; } });
+var spelling_1 = require("./src/spelling");
+Object.defineProperty(exports, "parseSpellingCode", { enumerable: true, get: function () { return spelling_1.parseSpellingCode; } });
+Object.defineProperty(exports, "parseConversionCode", { enumerable: true, get: function () { return spelling_1.parseConversionCode; } });
+Object.defineProperty(exports, "isSpellingCode", { enumerable: true, get: function () { return spelling_1.isSpellingCode; } });
+Object.defineProperty(exports, "isConversionCode", { enumerable: true, get: function () { return spelling_1.isConversionCode; } });
+Object.defineProperty(exports, "conversionCodeEquals", { enumerable: true, get: function () { return spelling_1.conversionCodeEquals; } });
+var check_allowlist_1 = require("./src/check-allowlist");
+Object.defineProperty(exports, "ALLOWLIST_FILENAME", { enumerable: true, get: function () { return check_allowlist_1.ALLOWLIST_FILENAME; } });
+Object.defineProperty(exports, "loadAllowlist", { enumerable: true, get: function () { return check_allowlist_1.loadAllowlist; } });
+Object.defineProperty(exports, "applyAllowlist", { enumerable: true, get: function () { return check_allowlist_1.applyAllowlist; } });
+var operational_state_1 = require("./src/operational-state");
+Object.defineProperty(exports, "StateTrajectoryError", { enumerable: true, get: function () { return operational_state_1.StateTrajectoryError; } });
+Object.defineProperty(exports, "evaluateStateGate", { enumerable: true, get: function () { return operational_state_1.evaluateStateGate; } });
+Object.defineProperty(exports, "extractStateGates", { enumerable: true, get: function () { return operational_state_1.extractStateGates; } });
+Object.defineProperty(exports, "foldTrajectory", { enumerable: true, get: function () { return operational_state_1.foldTrajectory; } });
+var Twin_1 = require("./src/types/Twin");
+Object.defineProperty(exports, "BUILTIN_CONNECTOR_PROFILES", { enumerable: true, get: function () { return Twin_1.BUILTIN_CONNECTOR_PROFILES; } });
+Object.defineProperty(exports, "ENDPOINT_ACCESS_SCOPES", { enumerable: true, get: function () { return Twin_1.ENDPOINT_ACCESS_SCOPES; } });
+Object.defineProperty(exports, "ENDPOINT_OPERATION_KINDS", { enumerable: true, get: function () { return Twin_1.ENDPOINT_OPERATION_KINDS; } });
+var Passport_1 = require("./src/types/Passport");
+Object.defineProperty(exports, "PASSPORT_ACCESS_CLASSES", { enumerable: true, get: function () { return Passport_1.PASSPORT_ACCESS_CLASSES; } });
+Object.defineProperty(exports, "PASSPORT_CONTENT_CLASSES", { enumerable: true, get: function () { return Passport_1.PASSPORT_CONTENT_CLASSES; } });
+Object.defineProperty(exports, "PASSPORT_UPI_LEVELS", { enumerable: true, get: function () { return Passport_1.PASSPORT_UPI_LEVELS; } });
+var TestSequence_1 = require("./src/types/TestSequence");
+Object.defineProperty(exports, "TEST_SEQUENCE_STEP_ROLES", { enumerable: true, get: function () { return TestSequence_1.TEST_SEQUENCE_STEP_ROLES; } });
+var FormulasUsed_1 = require("./src/types/FormulasUsed");
+Object.defineProperty(exports, "FORMULA_ID_SHAPE", { enumerable: true, get: function () { return FormulasUsed_1.FORMULA_ID_SHAPE; } });
+var instance_resolution_1 = require("./src/instance-resolution");
+Object.defineProperty(exports, "InstanceResolutionError", { enumerable: true, get: function () { return instance_resolution_1.InstanceResolutionError; } });
+Object.defineProperty(exports, "instanceChain", { enumerable: true, get: function () { return instance_resolution_1.instanceChain; } });
+Object.defineProperty(exports, "parseInstancePath", { enumerable: true, get: function () { return instance_resolution_1.parseInstancePath; } });
+Object.defineProperty(exports, "resolveInstanceAttributes", { enumerable: true, get: function () { return instance_resolution_1.resolveInstanceAttributes; } });
+Object.defineProperty(exports, "resolveInstanceClassification", { enumerable: true, get: function () { return instance_resolution_1.resolveInstanceClassification; } });
+Object.defineProperty(exports, "resolveInstanceValue", { enumerable: true, get: function () { return instance_resolution_1.resolveInstanceValue; } });
+var time_1 = require("./src/time");
+Object.defineProperty(exports, "isDate", { enumerable: true, get: function () { return time_1.isDate; } });
+Object.defineProperty(exports, "isDateTime", { enumerable: true, get: function () { return time_1.isDateTime; } });
+Object.defineProperty(exports, "isDuration", { enumerable: true, get: function () { return time_1.isDuration; } });
+Object.defineProperty(exports, "isPeriod", { enumerable: true, get: function () { return time_1.isPeriod; } });
+Object.defineProperty(exports, "isValidTimeValue", { enumerable: true, get: function () { return time_1.isValidTimeValue; } });
+Object.defineProperty(exports, "checkValidityWindow", { enumerable: true, get: function () { return time_1.checkValidityWindow; } });
+Object.defineProperty(exports, "editionPins", { enumerable: true, get: function () { return time_1.editionPins; } });
+Object.defineProperty(exports, "parseFreshnessWindow", { enumerable: true, get: function () { return time_1.parseFreshnessWindow; } });
+Object.defineProperty(exports, "timeInstantMs", { enumerable: true, get: function () { return time_1.timeInstantMs; } });
+var type_expr_1 = require("./src/type-expr");
+Object.defineProperty(exports, "parseTypeExpression", { enumerable: true, get: function () { return type_expr_1.parseTypeExpression; } });
+Object.defineProperty(exports, "isWellFormedMapType", { enumerable: true, get: function () { return type_expr_1.isWellFormedMapType; } });
+Object.defineProperty(exports, "PRIMITIVE_TYPES", { enumerable: true, get: function () { return type_expr_1.PRIMITIVE_TYPES; } });
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":";;;AAAA,kDAAkD;AAClD,6CAY6B;AAX3B,6FAAA,IAAI,OAAA;AACJ,iGAAA,QAAQ,OAAA;AACR,uGAAA,cAAc,OAAA;AACd,2GAAA,kBAAkB,OAAA;AAClB,6FAAA,IAAI,OAAA;AACJ,iGAAA,QAAQ,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":";;;;AAAA,kDAAkD;AAClD,6CAe6B;AAd3B,6FAAA,IAAI,OAAA;AACJ,iGAAA,QAAQ,OAAA;AACR,uGAAA,cAAc,OAAA;AACd,2GAAA,kBAAkB,OAAA;AAClB,6FAAA,IAAI,OAAA;AACJ,iGAAA,QAAQ,OAAA;AACR,oGAAA,WAAW,OAAA;AACX,qGAAA,YAAY,OAAA;AACZ,oGAAA,WAAW,OAAA;AAyCb,yCAQ2B;AAPzB,8FAAA,OAAO,OAAA;AACP,8FAAA,OAAO,OAAA;AACP,uGAAA,gBAAgB,OAAA;AAChB,uGAAA,gBAAgB,OAAA;AAKlB,2DAqBgC;AApB9B,kHAAA,cAAc,OAAA;AACd,uHAAA,mBAAmB,OAAA;AACnB,mHAAA,eAAe,OAAA;AACf,oHAAA,gBAAgB,OAAA;AAChB,mHAAA,eAAe,OAAA;AACf,sHAAA,kBAAkB,OAAA;AAClB,2GAAA,OAAO,OAAA;AACP,6GAAA,SAAS,OAAA;AACT,gHAAA,YAAY,OAAA;AAad,qCAA+E;AAAtE,qGAAA,YAAY,OAAA;AACrB,4CAY4B;AAX1B,2GAAA,kBAAkB,OAAA;AAClB,4GAAA,mBAAmB,OAAA;AACnB,sGAAA,aAAa,OAAA;AACb,2GAAA,kBAAkB,OAAA;AAClB,uGAAA,cAAc,OAAA;AACd,qHAAA,4BAA4B,OAAA;AAC5B,wGAAA,eAAe,OAAA;AACf,sGAAA,aAAa,OAAA;AAKf,wCAW0B;AAVxB,uGAAA,gBAAgB,OAAA;AAChB,wGAAA,iBAAiB,OAAA;AACjB,4GAAA,qBAAqB,OAAA;AACrB,8FAAA,OAAO,OAAA;AACP,mGAAA,YAAY,OAAA;AAOd,8DAMqC;AALnC,mIAAA,iCAAiC,OAAA;AACjC,oHAAA,kBAAkB,OAAA;AAClB,mHAAA,iBAAiB,OAAA;AACjB,4GAAA,UAAU,OAAA;AACV,0GAAA,QAAQ,OAAA;AAEV,sDAAgE;AAAvD,mHAAA,qBAAqB,OAAA;AAC9B,kFAG+C;AAF7C,oIAAA,wBAAwB,OAAA;AAG1B,+CAwB0B;AAvBxB,uGAAA,SAAS,OAAA;AACT,2GAAA,aAAa,OAAA;AACb,2GAAA,aAAa,OAAA;AACb,0GAAA,YAAY,OAAA;AACZ,8GAAA,gBAAgB,OAAA;AAChB,gHAAA,kBAAkB,OAAA;AAClB,2GAAA,aAAa,OAAA;AACb,wGAAA,UAAU,OAAA;AAiBZ,mDAM4B;AAL1B,+GAAA,eAAe,OAAA;AACf,kHAAA,kBAAkB,OAAA;AAClB,+GAAA,eAAe,OAAA;AAIjB,iDAO2B;AANzB,0GAAA,WAAW,OAAA;AACX,wGAAA,SAAS,OAAA;AACT,4GAAA,aAAa,OAAA;AAKf,2CAOwB;AANtB,6GAAA,iBAAiB,OAAA;AACjB,+GAAA,mBAAmB,OAAA;AACnB,0GAAA,cAAc,OAAA;AACd,4GAAA,gBAAgB,OAAA;AAChB,gHAAA,oBAAoB,OAAA;AAItB,yDAM+B;AAL7B,qHAAA,kBAAkB,OAAA;AAClB,gHAAA,aAAa,OAAA;AACb,iHAAA,cAAc,OAAA;AAuBhB,6DAYiC;AAX/B,yHAAA,oBAAoB,OAAA;AACpB,sHAAA,iBAAiB,OAAA;AACjB,sHAAA,iBAAiB,OAAA;AACjB,mHAAA,cAAc,OAAA;AAiChB,yCAI0B;AAHxB,kHAAA,0BAA0B,OAAA;AAC1B,8GAAA,sBAAsB,OAAA;AACtB,gHAAA,wBAAwB,OAAA;AAW1B,iDAI8B;AAH5B,mHAAA,uBAAuB,OAAA;AACvB,oHAAA,wBAAwB,OAAA;AACxB,+GAAA,mBAAmB,OAAA;AAGrB,yDAIkC;AAHhC,wHAAA,wBAAwB,OAAA;AAI1B,yDAA+E;AAAtE,gHAAA,gBAAgB,OAAA;AACzB,iEAUmC;AATjC,8HAAA,uBAAuB,OAAA;AACvB,oHAAA,aAAa,OAAA;AACb,wHAAA,iBAAiB,OAAA;AACjB,gIAAA,yBAAyB,OAAA;AACzB,oIAAA,6BAA6B,OAAA;AAC7B,2HAAA,oBAAoB,OAAA;AAoBtB,mCAUoB;AATlB,8FAAA,MAAM,OAAA;AACN,kGAAA,UAAU,OAAA;AACV,kGAAA,UAAU,OAAA;AACV,gGAAA,QAAQ,OAAA;AACR,wGAAA,gBAAgB,OAAA;AAChB,2GAAA,mBAAmB,OAAA;AACnB,mGAAA,WAAW,OAAA;AACX,4GAAA,oBAAoB,OAAA;AACpB,qGAAA,aAAa,OAAA;AAEf,6CAKyB;AAJvB,gHAAA,mBAAmB,OAAA;AACnB,gHAAA,mBAAmB,OAAA;AACnB,4GAAA,eAAe,OAAA"}

package/dist/src/check-allowlist.d.ts

@@ -0,0 +1,56 @@
+import type { CheckIssue } from './check';
+/** The allowlist filename the package loader and the linter agree on. */
+export declare const ALLOWLIST_FILENAME = ".primmel-allowlist.prl";
+export interface AllowlistEntry {
+    rule: string;
+    match: string;
+    reason: string;
+    auditRef: string;
+}
+export interface PackageAllowlist {
+    coverageBudget: number | null;
+    /** The optional quoted justification trailing the budget (recommended,
+     *  not required) — records the burn-down story with the number. */
+    coverageBudgetReason: string | null;
+    /** TODO.roadmap/26: caps the C71 uncovered-normative-sentence warnings
+     *  (the text-coverage metric's budget — C72 governs). */
+    textCoverageBudget: number | null;
+    textCoverageBudgetReason: string | null;
+    entries: AllowlistEntry[];
+}
+/** True when the glob (`*` wildcard, full-string match) matches `text`. */
+export declare function globMatch(glob: string, text: string): boolean;
+/**
+ * Parse the allowlist file at `<dir>/.primmel-allowlist.prl`. Returns
+ * EMPTY when absent. Malformed entries are collected as C56 issues
+ * (with the file's own unparseable content reported as one C56).
+ */
+export declare function loadAllowlist(dir: string): {
+    allowlist: PackageAllowlist;
+    issues: CheckIssue[];
+};
+/** The coverage-family warning rules the per-package budget caps. */
+export declare const BUDGETED_RULES: Set<string>;
+/** TODO.roadmap/26: the text-coverage warning rules the per-package
+ * text_coverage_budget caps (C71 uncovered normative sentences). */
+export declare const TEXT_BUDGETED_RULES: Set<string>;
+export interface AllowlistResult {
+    /** Issues after KNOWN marking; STALE/malformed/budget issues appended. */
+    issues: CheckIssue[];
+    /** Entries that matched at least one issue (KNOWN). */
+    known: AllowlistEntry[];
+    /** Active-level entries that matched nothing (STALE). */
+    stale: AllowlistEntry[];
+}
+/**
+ * Apply the allowlist to a run's issues:
+ *   - matching issues are marked KNOWN (severity kept, `known: true` —
+ *     they never count as errors, even under --strict);
+ *   - active-rule entries matching nothing are STALE (C57, error);
+ *   - the coverage budget caps the non-KNOWN C51/C52 warnings (C55:
+ *     exceeded → error; slack → warning — the burn-down nudge). The
+ *     budget is evaluated only when the budgeted rules are active
+ *     (audit level — at the default level C51/C52 do not run).
+ */
+export declare function applyAllowlist(issues: CheckIssue[], allowlist: PackageAllowlist, activeRules: Set<string>): AllowlistResult;
+//# sourceMappingURL=check-allowlist.d.ts.map

package/dist/src/check-allowlist.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-allowlist.d.ts","sourceRoot":"","sources":["../../src/check-allowlist.ts"],"names":[],"mappings":"AAkDA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAE1C,yEAAyE;AACzE,eAAO,MAAM,kBAAkB,2BAA2B,CAAC;AAE3D,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B;uEACmE;IACnE,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC;6DACyD;IACzD,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,wBAAwB,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,OAAO,EAAE,cAAc,EAAE,CAAC;CAC3B;AAUD,2EAA2E;AAC3E,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAK7D;AAMD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG;IAC1C,SAAS,EAAE,gBAAgB,CAAC;IAC5B,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB,CA4EA;AA8DD,qEAAqE;AACrE,eAAO,MAAM,cAAc,aAA0B,CAAC;AAEtD;oEACoE;AACpE,eAAO,MAAM,mBAAmB,aAAmB,CAAC;AAEpD,MAAM,WAAW,eAAe;IAC9B,0EAA0E;IAC1E,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,uDAAuD;IACvD,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,yDAAyD;IACzD,KAAK,EAAE,cAAc,EAAE,CAAC;CACzB;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,UAAU,EAAE,EACpB,SAAS,EAAE,gBAAgB,EAC3B,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,GACvB,eAAe,CA2EjB"}

package/dist/src/check-allowlist.js

@@ -0,0 +1,307 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────
+// primmel check — the package allowlist (TODO.roadmap/17).
+//
+// The KNOWN/STALE discipline of the OIML SMART model linker
+// (data/<id>/linker-allowlist.yaml, concept doc §11.3), re-pointed at
+// `primmel check`: a real package inherits real debt, and known-bad
+// sites are RECORDED, not hidden. The allowlist lives in the package
+// root as `.primmel-allowlist.prl` (linter-facing metadata, not package
+// content — the package loader skips it):
+//
+//   coverage_budget 63
+//   allowlist_entry {
+//     rule C5
+//     match "requirement /req/electronic/no-significant-faults:*"
+//     reason "R 60-1 5.7.1.1 is verified through the EMC disturbance
+//             tests' fault observables; targeting lands with the R 60
+//             conformance coverage audit."
+//     audit_ref "TODO.UPGRADE/03"
+//   }
+//
+//   - KNOWN — an issue matching an entry (rule id + glob on the message)
+//     is printed as KNOWN and never counted as an error, even under
+//     --strict;
+//   - STALE — an entry whose rule is ACTIVE at the current level but
+//     matches no issue is an error (C57): the data was fixed, so the
+//     entry must die. Entries for rules that do not run at the current
+//     level (audit-only rules at the default level) are dormant, never
+//     STALE;
+//   - coverage_budget N ["reason"] — caps the package's coverage-family
+//     warnings (C51/C52, the audit-level closure findings). Exceeding the
+//     budget is an error (C55); a budget with slack warns (the allowlist
+//     only shrinks — tighten it). Under --strict, coverage warnings within
+//     the budget stay warnings (the budget is their allowance). The
+//     optional quoted reason records WHY the number is what it is (the
+//     burn-down justification — recommended, not required);
+//   - text_coverage_budget N ["reason"] — the same discipline for the
+//     normative-text coverage metric (TODO.roadmap/26): caps the C71
+//     uncovered-normative-sentence warnings (exceeded: C72 error; slack:
+//     C72 warning). A package at 100 % coverage declares 0 — any new
+//     uncovered sentence exceeds it and fails the gate.
+//
+// Entry validation (concept doc §11.9): every entry names a known rule
+// id, a non-empty match glob, a non-empty reason, and a non-empty
+// audit_ref — malformed entries are errors (C56).
+// ─────────────────────────────────────────────────────────────────────
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TEXT_BUDGETED_RULES = exports.BUDGETED_RULES = exports.ALLOWLIST_FILENAME = void 0;
+exports.globMatch = globMatch;
+exports.loadAllowlist = loadAllowlist;
+exports.applyAllowlist = applyAllowlist;
+const fs_1 = require("fs");
+const path_1 = require("path");
+const tokenize_1 = require("./ser-des/tokenize");
+const check_rules_1 = require("./check-rules");
+/** The allowlist filename the package loader and the linter agree on. */
+exports.ALLOWLIST_FILENAME = '.primmel-allowlist.prl';
+const EMPTY = {
+    coverageBudget: null,
+    coverageBudgetReason: null,
+    textCoverageBudget: null,
+    textCoverageBudgetReason: null,
+    entries: [],
+};
+/** True when the glob (`*` wildcard, full-string match) matches `text`. */
+function globMatch(glob, text) {
+    const re = new RegExp('^' + glob.split('*').map(escapeRegExp).join('[\\s\\S]*') + '$');
+    return re.test(text);
+}
+function escapeRegExp(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+/**
+ * Parse the allowlist file at `<dir>/.primmel-allowlist.prl`. Returns
+ * EMPTY when absent. Malformed entries are collected as C56 issues
+ * (with the file's own unparseable content reported as one C56).
+ */
+function loadAllowlist(dir) {
+    const issues = [];
+    const path = (0, path_1.join)(dir, exports.ALLOWLIST_FILENAME);
+    if (!(0, fs_1.existsSync)(path)) {
+        return { allowlist: EMPTY, issues };
+    }
+    const text = (0, fs_1.readFileSync)(path, 'utf8');
+    let tokens;
+    try {
+        tokens = (0, tokenize_1.default)(text);
+    }
+    catch (e) {
+        issues.push({
+            check: 'C56',
+            severity: 'error',
+            message: `${exports.ALLOWLIST_FILENAME}: ${e.message} (allowlist-malformed)`,
+        });
+        return { allowlist: EMPTY, issues };
+    }
+    const allowlist = {
+        coverageBudget: null,
+        coverageBudgetReason: null,
+        textCoverageBudget: null,
+        textCoverageBudgetReason: null,
+        entries: [],
+    };
+    let i = 0;
+    while (i < tokens.length) {
+        const cmd = tokens[i++];
+        if (cmd === 'coverage_budget' || cmd === 'text_coverage_budget') {
+            const raw = (0, tokenize_1.stripWrapping)(tokens[i++] ?? '');
+            const n = Number(raw);
+            if (!Number.isInteger(n) || n < 0) {
+                issues.push({
+                    check: 'C56',
+                    severity: 'error',
+                    message: `${exports.ALLOWLIST_FILENAME}: ${cmd} "${raw}" is not a non-negative integer (allowlist-malformed)`,
+                });
+            }
+            else {
+                if (cmd === 'coverage_budget') {
+                    allowlist.coverageBudget = n;
+                }
+                else {
+                    allowlist.textCoverageBudget = n;
+                }
+                // Optional trailing quoted reason (recommended, not required) —
+                // the budget's justification rides with the number.
+                const next = tokens[i];
+                if (next !== undefined && next.startsWith('"')) {
+                    const reason = (0, tokenize_1.stripWrapping)(next);
+                    if (cmd === 'coverage_budget') {
+                        allowlist.coverageBudgetReason = reason === '' ? null : reason;
+                    }
+                    else {
+                        allowlist.textCoverageBudgetReason = reason === '' ? null : reason;
+                    }
+                    i++;
+                }
+            }
+        }
+        else if (cmd === 'allowlist_entry') {
+            const block = (0, tokenize_1.unwrapBlock)(tokens[i++] ?? '');
+            const entry = parseEntry(block);
+            issues.push(...validateEntry(entry));
+            if (entry.rule && entry.match && entry.reason && entry.auditRef) {
+                allowlist.entries.push(entry);
+            }
+        }
+        else {
+            issues.push({
+                check: 'C56',
+                severity: 'error',
+                message: `${exports.ALLOWLIST_FILENAME}: unknown directive "${cmd}" — expected coverage_budget | text_coverage_budget | allowlist_entry (allowlist-malformed)`,
+            });
+            // Skip a following block so one bad directive does not cascade.
+            if (i < tokens.length && tokens[i].startsWith('{')) {
+                i++;
+            }
+        }
+    }
+    return { allowlist, issues };
+}
+function parseEntry(block) {
+    const entry = {
+        rule: '',
+        match: '',
+        reason: '',
+        auditRef: '',
+    };
+    const t = (0, tokenize_1.default)(block);
+    let i = 0;
+    while (i < t.length) {
+        const key = t[i++];
+        const value = (0, tokenize_1.stripWrapping)(t[i++] ?? '');
+        if (key === 'rule') {
+            entry.rule = value;
+        }
+        else if (key === 'match') {
+            entry.match = value;
+        }
+        else if (key === 'reason') {
+            entry.reason = value;
+        }
+        else if (key === 'audit_ref') {
+            entry.auditRef = value;
+        }
+    }
+    return entry;
+}
+/** Concept doc §11.9: a real rule id, non-empty match, reason, audit_ref. */
+function validateEntry(entry) {
+    const issues = [];
+    const label = entry.match ? ` "${entry.match}"` : '';
+    if (!entry.rule || !(0, check_rules_1.checkRule)(entry.rule)) {
+        issues.push({
+            check: 'C56',
+            severity: 'error',
+            message: `${exports.ALLOWLIST_FILENAME}: entry${label} names ${entry.rule ? `unknown rule "${entry.rule}"` : 'no rule'} — every allowlist entry names a real rule id (allowlist-malformed)`,
+        });
+    }
+    if (!entry.match) {
+        issues.push({
+            check: 'C56',
+            severity: 'error',
+            message: `${exports.ALLOWLIST_FILENAME}: entry for rule "${entry.rule}" has an empty match glob (allowlist-malformed)`,
+        });
+    }
+    if (!entry.reason) {
+        issues.push({
+            check: 'C56',
+            severity: 'error',
+            message: `${exports.ALLOWLIST_FILENAME}: entry${label} has no reason — known debt is recorded with its justification (allowlist-malformed)`,
+        });
+    }
+    if (!entry.auditRef) {
+        issues.push({
+            check: 'C56',
+            severity: 'error',
+            message: `${exports.ALLOWLIST_FILENAME}: entry${label} has no audit_ref — new allowlist entries require clause-referenced reasons (allowlist-malformed)`,
+        });
+    }
+    return issues;
+}
+/** The coverage-family warning rules the per-package budget caps. */
+exports.BUDGETED_RULES = new Set(['C51', 'C52']);
+/** TODO.roadmap/26: the text-coverage warning rules the per-package
+ * text_coverage_budget caps (C71 uncovered normative sentences). */
+exports.TEXT_BUDGETED_RULES = new Set(['C71']);
+/**
+ * Apply the allowlist to a run's issues:
+ *   - matching issues are marked KNOWN (severity kept, `known: true` —
+ *     they never count as errors, even under --strict);
+ *   - active-rule entries matching nothing are STALE (C57, error);
+ *   - the coverage budget caps the non-KNOWN C51/C52 warnings (C55:
+ *     exceeded → error; slack → warning — the burn-down nudge). The
+ *     budget is evaluated only when the budgeted rules are active
+ *     (audit level — at the default level C51/C52 do not run).
+ */
+function applyAllowlist(issues, allowlist, activeRules) {
+    const out = [...issues];
+    const known = [];
+    const stale = [];
+    for (const entry of allowlist.entries) {
+        if (!activeRules.has(entry.rule)) {
+            continue; // dormant — the rule does not run at this level
+        }
+        let matched = false;
+        for (const issue of out) {
+            if (issue.check === entry.rule && globMatch(entry.match, issue.message)) {
+                issue.known = true;
+                matched = true;
+            }
+        }
+        if (matched) {
+            known.push(entry);
+        }
+        else {
+            stale.push(entry);
+            out.push({
+                check: 'C57',
+                severity: 'error',
+                message: `${exports.ALLOWLIST_FILENAME}: STALE entry [${entry.rule}] "${entry.match}" matches no issue — the data was fixed; remove the entry (allowlist-stale)`,
+            });
+        }
+    }
+    if (allowlist.coverageBudget !== null &&
+        [...exports.BUDGETED_RULES].some(r => activeRules.has(r))) {
+        const count = out.filter(i => exports.BUDGETED_RULES.has(i.check) && !i.known && i.severity === 'warning').length;
+        if (count > allowlist.coverageBudget) {
+            out.push({
+                check: 'C55',
+                severity: 'error',
+                message: `${exports.ALLOWLIST_FILENAME}: ${count} coverage warnings exceed the package budget of ${allowlist.coverageBudget} — close the gaps or raise the budget with a clause-referenced reason (coverage-budget)`,
+            });
+        }
+        else if (count < allowlist.coverageBudget) {
+            out.push({
+                check: 'C55',
+                severity: 'warning',
+                message: `${exports.ALLOWLIST_FILENAME}: coverage budget ${allowlist.coverageBudget} has slack — only ${count} coverage warnings remain; tighten the budget (the allowlist only shrinks) (coverage-budget)`,
+            });
+        }
+    }
+    // TODO.roadmap/26 — the text-coverage budget (C72 governs C71, the same
+    // discipline): a package at 100 % normative-sentence coverage declares
+    // 0; any new uncovered sentence exceeds it and fails the gate.
+    if (allowlist.textCoverageBudget !== null &&
+        [...exports.TEXT_BUDGETED_RULES].some(r => activeRules.has(r))) {
+        const count = out.filter(i => exports.TEXT_BUDGETED_RULES.has(i.check) &&
+            !i.known &&
+            i.severity === 'warning').length;
+        if (count > allowlist.textCoverageBudget) {
+            out.push({
+                check: 'C72',
+                severity: 'error',
+                message: `${exports.ALLOWLIST_FILENAME}: ${count} uncovered normative sentences exceed the package text_coverage_budget of ${allowlist.textCoverageBudget} — bind the sentences, declare allowances with clause-referenced reasons, or raise the budget (text-coverage-budget)`,
+            });
+        }
+        else if (count < allowlist.textCoverageBudget) {
+            out.push({
+                check: 'C72',
+                severity: 'warning',
+                message: `${exports.ALLOWLIST_FILENAME}: text_coverage_budget ${allowlist.textCoverageBudget} has slack — only ${count} uncovered normative sentences remain; tighten the budget (the allowlist only shrinks) (text-coverage-budget)`,
+            });
+        }
+    }
+    return { issues: out, known, stale };
+}
+//# sourceMappingURL=check-allowlist.js.map

package/dist/src/check-allowlist.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-allowlist.js","sourceRoot":"","sources":["../../src/check-allowlist.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,2DAA2D;AAC3D,EAAE;AACF,4DAA4D;AAC5D,sEAAsE;AACtE,oEAAoE;AACpE,qEAAqE;AACrE,wEAAwE;AACxE,0CAA0C;AAC1C,EAAE;AACF,uBAAuB;AACvB,sBAAsB;AACtB,cAAc;AACd,kEAAkE;AAClE,qEAAqE;AACrE,sEAAsE;AACtE,2CAA2C;AAC3C,kCAAkC;AAClC,MAAM;AACN,EAAE;AACF,yEAAyE;AACzE,oEAAoE;AACpE,gBAAgB;AAChB,qEAAqE;AACrE,qEAAqE;AACrE,uEAAuE;AACvE,uEAAuE;AACvE,aAAa;AACb,wEAAwE;AACxE,0EAA0E;AAC1E,yEAAyE;AACzE,2EAA2E;AAC3E,oEAAoE;AACpE,uEAAuE;AACvE,4DAA4D;AAC5D,sEAAsE;AACtE,qEAAqE;AACrE,yEAAyE;AACzE,qEAAqE;AACrE,wDAAwD;AACxD,EAAE;AACF,uEAAuE;AACvE,kEAAkE;AAClE,kDAAkD;AAClD,wEAAwE;;;AAuCxE,8BAKC;AAWD,sCA+EC;AAwFD,wCA+EC;AA3SD,2BAA8C;AAC9C,+BAA4B;AAC5B,iDAA0E;AAC1E,+CAA0C;AAG1C,yEAAyE;AAC5D,QAAA,kBAAkB,GAAG,wBAAwB,CAAC;AAqB3D,MAAM,KAAK,GAAqB;IAC9B,cAAc,EAAE,IAAI;IACpB,oBAAoB,EAAE,IAAI;IAC1B,kBAAkB,EAAE,IAAI;IACxB,wBAAwB,EAAE,IAAI;IAC9B,OAAO,EAAE,EAAE;CACZ,CAAC;AAEF,2EAA2E;AAC3E,SAAgB,SAAS,CAAC,IAAY,EAAE,IAAY;IAClD,MAAM,EAAE,GAAG,IAAI,MAAM,CACnB,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,GAAG,CAChE,CAAC;IACF,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;;;GAIG;AACH,SAAgB,aAAa,CAAC,GAAW;IAIvC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,0BAAkB,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAA,eAAU,EAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACtC,CAAC;IACD,MAAM,IAAI,GAAG,IAAA,iBAAY,EAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,MAAgB,CAAC;IACrB,IAAI,CAAC;QACH,MAAM,GAAG,IAAA,kBAAQ,EAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,GAAG,0BAAkB,KAAM,CAAW,CAAC,OAAO,wBAAwB;SAChF,CAAC,CAAC;QACH,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACtC,CAAC;IACD,MAAM,SAAS,GAAqB;QAClC,cAAc,EAAE,IAAI;QACpB,oBAAoB,EAAE,IAAI;QAC1B,kBAAkB,EAAE,IAAI;QACxB,wBAAwB,EAAE,IAAI;QAC9B,OAAO,EAAE,EAAE;KACZ,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,GAAG,KAAK,iBAAiB,IAAI,GAAG,KAAK,sBAAsB,EAAE,CAAC;YAChE,MAAM,GAAG,GAAG,IAAA,wBAAa,EAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7C,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YACtB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC;oBACV,KAAK,EAAE,KAAK;oBACZ,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,GAAG,0BAAkB,KAAK,GAAG,KAAK,GAAG,uDAAuD;iBACtG,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,IAAI,GAAG,KAAK,iBAAiB,EAAE,CAAC;oBAC9B,SAAS,CAAC,cAAc,GAAG,CAAC,CAAC;gBAC/B,CAAC;qBAAM,CAAC;oBACN,SAAS,CAAC,kBAAkB,GAAG,CAAC,CAAC;gBACnC,CAAC;gBACD,gEAAgE;gBAChE,oDAAoD;gBACpD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACvB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC/C,MAAM,MAAM,GAAG,IAAA,wBAAa,EAAC,IAAI,CAAC,CAAC;oBACnC,IAAI,GAAG,KAAK,iBAAiB,EAAE,CAAC;wBAC9B,SAAS,CAAC,oBAAoB,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;oBACjE,CAAC;yBAAM,CAAC;wBACN,SAAS,CAAC,wBAAwB,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;oBACrE,CAAC;oBACD,CAAC,EAAE,CAAC;gBACN,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,GAAG,KAAK,iBAAiB,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,IAAA,sBAAW,EAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAChE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,KAAK;gBACZ,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,GAAG,0BAAkB,wBAAwB,GAAG,6FAA6F;aACvJ,CAAC,CAAC;YACH,gEAAgE;YAChE,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,CAAC,EAAE,CAAC;YACN,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,MAAM,KAAK,GAAmB;QAC5B,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE;KACb,CAAC;IACF,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnB,MAAM,KAAK,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1C,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YACnB,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC;QACrB,CAAC;aAAM,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YAC3B,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;QACtB,CAAC;aAAM,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC;QACvB,CAAC;aAAM,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YAC/B,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6EAA6E;AAC7E,SAAS,aAAa,CAAC,KAAqB;IAC1C,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,IAAA,uBAAS,EAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,GAAG,0BAAkB,UAAU,KAAK,UAAU,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,qEAAqE;SACpL,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,GAAG,0BAAkB,qBAAqB,KAAK,CAAC,IAAI,iDAAiD;SAC/G,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAClB,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,GAAG,0BAAkB,UAAU,KAAK,sFAAsF;SACpI,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QACpB,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,GAAG,0BAAkB,UAAU,KAAK,mGAAmG;SACjJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,qEAAqE;AACxD,QAAA,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAEtD;oEACoE;AACvD,QAAA,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAWpD;;;;;;;;;GASG;AACH,SAAgB,cAAc,CAC5B,MAAoB,EACpB,SAA2B,EAC3B,WAAwB;IAExB,MAAM,GAAG,GAAiB,CAAC,GAAG,MAAM,CAAC,CAAC;IACtC,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,SAAS,CAAC,gDAAgD;QAC5D,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;YACxB,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;gBACnB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,KAAK;gBACZ,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,GAAG,0BAAkB,kBAAkB,KAAK,CAAC,IAAI,MAAM,KAAK,CAAC,KAAK,6EAA6E;aACzJ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IACE,SAAS,CAAC,cAAc,KAAK,IAAI;QACjC,CAAC,GAAG,sBAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EACjD,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CACtB,CAAC,CAAC,EAAE,CAAC,sBAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,CACzE,CAAC,MAAM,CAAC;QACT,IAAI,KAAK,GAAG,SAAS,CAAC,cAAc,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,KAAK;gBACZ,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,GAAG,0BAAkB,KAAK,KAAK,mDAAmD,SAAS,CAAC,cAAc,yFAAyF;aAC7M,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,GAAG,SAAS,CAAC,cAAc,EAAE,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,KAAK;gBACZ,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,GAAG,0BAAkB,qBAAqB,SAAS,CAAC,cAAc,qBAAqB,KAAK,8FAA8F;aACpM,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,wEAAwE;IACxE,uEAAuE;IACvE,+DAA+D;IAC/D,IACE,SAAS,CAAC,kBAAkB,KAAK,IAAI;QACrC,CAAC,GAAG,2BAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EACtD,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CACtB,CAAC,CAAC,EAAE,CACF,2BAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAChC,CAAC,CAAC,CAAC,KAAK;YACR,CAAC,CAAC,QAAQ,KAAK,SAAS,CAC3B,CAAC,MAAM,CAAC;QACT,IAAI,KAAK,GAAG,SAAS,CAAC,kBAAkB,EAAE,CAAC;YACzC,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,KAAK;gBACZ,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,GAAG,0BAAkB,KAAK,KAAK,6EAA6E,SAAS,CAAC,kBAAkB,sHAAsH;aACxQ,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,GAAG,SAAS,CAAC,kBAAkB,EAAE,CAAC;YAChD,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,KAAK;gBACZ,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,GAAG,0BAAkB,0BAA0B,SAAS,CAAC,kBAAkB,qBAAqB,KAAK,+GAA+G;aAC9N,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC"}