@inventarch/language 0.0.0-stage → 1.1.0

package/dist/identity.js

@@ -0,0 +1,64 @@
+import { diag } from './diagnostics.js';
+import { fieldOf } from './registry/fields.js';
+export function renderIdentity(system, kind, facet, name) {
+    return `${system}/${kind}/${facet}/${name}`;
+}
+/** Spec 3.1: the facet is the `facet` head field or the registration's first facet; the name is lowercased; the authored spelling is kept. */
+export function identityOf(record, registration, path) {
+    let facet = registration.facets[0]; // A joined registration declares at least one facet (4.2).
+    const facetField = fieldOf(record.head, ['facet']);
+    if (facetField !== undefined) {
+        const value = facetField.value;
+        const named = value.kind === 'scalar' || value.kind === 'string' ? value.text : '';
+        if (!registration.facets.includes(named)) {
+            const line = facetField.span.line;
+            return {
+                identity: undefined,
+                diagnostics: [
+                    diag('IA-LANG-FACET-UNDECLARED', path, line, `${path}:${line}: facet '${named}' is not declared for '${registration.keyword}'; declared: ${registration.facets.join(', ')}`),
+                ],
+            };
+        }
+        facet = named;
+    }
+    const name = record.name.toLowerCase();
+    return {
+        identity: {
+            identity: renderIdentity(registration.system, registration.kind, facet, name),
+            system: registration.system,
+            kind: registration.kind,
+            facet,
+            name,
+            displayName: record.name,
+        },
+        diagnostics: [],
+    };
+}
+/** Spec 3.2 and 3.3: one identity twice at one band is a collision on both; across bands the graph's authority rule decides. */
+export function collisions(occurrences) {
+    const groups = new Map();
+    for (const occurrence of occurrences) {
+        const key = `${occurrence.identity}@${occurrence.band}`;
+        const group = groups.get(key);
+        if (group === undefined)
+            groups.set(key, [occurrence]);
+        else
+            group.push(occurrence);
+    }
+    const refused = new Set();
+    const diagnostics = [];
+    for (const group of groups.values()) {
+        if (group.length < 2)
+            continue;
+        for (const occurrence of group) {
+            refused.add(occurrence);
+            const others = group
+                .filter((other) => other !== occurrence)
+                .map((other) => `${other.path}:${other.line}`)
+                .join(', ');
+            diagnostics.push(diag('IA-LANG-IDENTITY-COLLISION', occurrence.path, occurrence.line, `${occurrence.path}:${occurrence.line}: identity ${occurrence.identity} is also declared at ${others} (band ${occurrence.band})`, { identity: occurrence.identity }));
+        }
+    }
+    return { refused, diagnostics };
+}
+//# sourceMappingURL=identity.js.map

package/dist/identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.js","sourceRoot":"","sources":["../src/identity.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAc/C,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,IAAY,EAAE,KAAa,EAAE,IAAY;IACtF,OAAO,GAAG,MAAM,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;AAC9C,CAAC;AAED,8IAA8I;AAC9I,MAAM,UAAU,UAAU,CACxB,MAAkB,EAClB,YAA0B,EAC1B,IAAY;IAEZ,IAAI,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,2DAA2D;IAChG,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;QAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAClC,OAAO;gBACL,QAAQ,EAAE,SAAS;gBACnB,WAAW,EAAE;oBACX,IAAI,CACF,0BAA0B,EAC1B,IAAI,EACJ,IAAI,EACJ,GAAG,IAAI,IAAI,IAAI,YAAY,KAAK,0BAA0B,YAAY,CAAC,OAAO,gBAAgB,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/H;iBACF;aACF,CAAC;QACJ,CAAC;QACD,KAAK,GAAG,KAAK,CAAC;IAChB,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IACvC,OAAO;QACL,QAAQ,EAAE;YACR,QAAQ,EAAE,cAAc,CAAC,YAAY,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC;YAC7E,MAAM,EAAE,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,YAAY,CAAC,IAAI;YACvB,KAAK;YACL,IAAI;YACJ,WAAW,EAAE,MAAM,CAAC,IAAI;SACzB;QACD,WAAW,EAAE,EAAE;KAChB,CAAC;AACJ,CAAC;AASD,gIAAgI;AAChI,MAAM,UAAU,UAAU,CAAC,WAA0C;IAInE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,GAAG,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;;YAClD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC9C,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;YAC/B,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,KAAK;iBACjB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,UAAU,CAAC;iBACvC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;iBAC7C,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,WAAW,CAAC,IAAI,CACd,IAAI,CACF,4BAA4B,EAC5B,UAAU,CAAC,IAAI,EACf,UAAU,CAAC,IAAI,EACf,GAAG,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,cAAc,UAAU,CAAC,QAAQ,wBAAwB,MAAM,UAAU,UAAU,CAAC,IAAI,GAAG,EAChI,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAClC,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAClC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,35 @@
+export { LANGUAGE_VERSION, parse, SUPPORTED_VERSIONS } from './parser/index.js';
+export type { ParseResult } from './parser/index.js';
+export { scan } from './scanner/index.js';
+export type { ScanResult, StreamToken, Token, Trivia } from './scanner/index.js';
+export { diag, isError, LANG_CODES } from './diagnostics.js';
+export type { Diagnostic, LangCode, Severity } from './diagnostics.js';
+export { foldProse } from './fold.js';
+export type { ChildNode, FieldNode, FileNode, ItemNode, ItemValue, ListItem, RecordNode, SectionNode, Span, TriviaNode, Value, } from './ast.js';
+export { AXES, BAND_OF, BANDS, CARDINALITIES, CATEGORIES, INVERSE_OF, KINDS, MOVES, PHASES, PLACEMENT_KINDS, PREDICATE_PAIRS, PREDICATES, PRIMITIVES, PROVENANCES, SEVERITIES, TEXT_FORMS, VALUE_TYPES, fieldTypeOf, isAxis, isBand, isCardinality, isCategory, isKind, isMove, isPhase, isPlacementKind, isId, isPredicate, isPrimitive, isProvenance, isSeverity, isTextForm, isValueType, } from './taxonomy.js';
+export type { Axis, Band, Cardinality, Category, FieldType, Kind, Move, Phase, PlacementKind, Predicate, Primitive, Provenance, TextForm, ValueType, } from './taxonomy.js';
+export type { Severity as KernelSeverity } from './taxonomy.js';
+export { canonicalPath } from './paths.js';
+export { collisions, identityOf, renderIdentity } from './identity.js';
+export type { Identity, IdentityOccurrence } from './identity.js';
+export { admits, buildRegistry, consentFor, fieldTypeText, sortDiagnostics, BUILTIN_SYSTEMS, FLOOR_REGISTRATIONS, FLOOR_SYSTEM, RESERVED_KEYWORDS, TAXONOMY_SYSTEM, } from './registry/index.js';
+export type { ConsentRow, Entry, FrozenRegistry, Location, Placement, Registration, RegistryResult, RequiredSystem, SchemaDeclaration, SchemaEdge, SchemaField, SchemaSection, Source, Steward, SystemDeclaration, } from './registry/index.js';
+export { compile } from './compile/index.js';
+export type { CompileResult, CompiledChild, CompiledEdge, CompiledField, CompiledItem, CompiledRecord, CompiledSection, CompiledValue, SourceMapEntry, } from './compile/index.js';
+export type { Cell, ConditionAxis, EdgeReference, Requirement, RequirementKind, Selector, SelectorTerm, Term, Variant, } from './semantic/types.js';
+export { ARTIFACT_SETS, LANES, SHAPES } from './taxonomy.js';
+export type { ArtifactSet, Lane, Shape } from './taxonomy.js';
+export { indexedResolver, resolveTarget, validatePool } from './semantic/resolve.js';
+export type { Resolution, ResolutionCandidate } from './semantic/resolve.js';
+export { requirementCollisions, isRequirementId } from './semantic/requirements.js';
+export type { RequirementOccurrence } from './semantic/requirements.js';
+export { REQUIREMENT_KINDS } from './semantic/types.js';
+export { canonicalValue, valuesFor, verbOf, CONDITION_AXES, VERB_PHRASES } from './semantic/vocabulary.js';
+export type { Verb } from './semantic/vocabulary.js';
+export { KERNEL_DIGEST, SHAPE_ROWS, KIND_LANES, PRIMITIVE_ANCHORS, DIMENSION_PATHS } from './taxonomy.js';
+export { format, checkFormatPreservation } from './formatter.js';
+export type { FormatResult } from './formatter.js';
+export { KERNEL_SOURCES } from './kernel.generated.js';
+export { references } from './references.js';
+export type { TypedReference } from './references.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,gBAAgB,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAChF,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAC1C,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC7D,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,YAAY,EACV,SAAS,EACT,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,EACX,IAAI,EACJ,UAAU,EACV,KAAK,GACN,MAAM,UAAU,CAAC;AAClB,OAAO,EACL,IAAI,EACJ,OAAO,EACP,KAAK,EACL,aAAa,EACb,UAAU,EACV,UAAU,EACV,KAAK,EACL,KAAK,EACL,MAAM,EACN,eAAe,EACf,eAAe,EACf,UAAU,EACV,UAAU,EACV,WAAW,EACX,UAAU,EACV,UAAU,EACV,WAAW,EACX,WAAW,EACX,MAAM,EACN,MAAM,EACN,aAAa,EACb,UAAU,EACV,MAAM,EACN,MAAM,EACN,OAAO,EACP,eAAe,EACf,IAAI,EACJ,WAAW,EACX,WAAW,EACX,YAAY,EACZ,UAAU,EACV,UAAU,EACV,WAAW,GACZ,MAAM,eAAe,CAAC;AACvB,YAAY,EACV,IAAI,EACJ,IAAI,EACJ,WAAW,EACX,QAAQ,EACR,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,KAAK,EACL,aAAa,EACb,SAAS,EACT,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,GACV,MAAM,eAAe,CAAC;AACvB,YAAY,EAAE,QAAQ,IAAI,cAAc,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACvE,YAAY,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,EACL,MAAM,EACN,aAAa,EACb,UAAU,EACV,aAAa,EACb,eAAe,EACf,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,iBAAiB,EACjB,eAAe,GAChB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,UAAU,EACV,KAAK,EACL,cAAc,EACd,QAAQ,EACR,SAAS,EACT,YAAY,EACZ,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,UAAU,EACV,WAAW,EACX,aAAa,EACb,MAAM,EACN,OAAO,EACP,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,YAAY,EACV,aAAa,EACb,aAAa,EACb,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,cAAc,EACd,eAAe,EACf,aAAa,EACb,cAAc,GACf,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,IAAI,EACJ,aAAa,EACb,aAAa,EACb,WAAW,EACX,eAAe,EACf,QAAQ,EACR,YAAY,EACZ,IAAI,EACJ,OAAO,GACR,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC7D,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrF,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AACpF,YAAY,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC3G,YAAY,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAErD,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAC1G,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACjE,YAAY,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,YAAY,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/index.js

@@ -0,0 +1,22 @@
+// The public surface is `parse`, `scan`, `buildRegistry` and `compile` with their types, the kernel
+// embed, identity and paths. The pipeline stages behind them (logical lines, line tokenizer, key rule,
+// field readers, spellings) are internal: spec 9.1 gives consumers the stream, spec 10 the records.
+export { LANGUAGE_VERSION, parse, SUPPORTED_VERSIONS } from './parser/index.js';
+export { scan } from './scanner/index.js';
+export { diag, isError, LANG_CODES } from './diagnostics.js';
+export { foldProse } from './fold.js';
+export { AXES, BAND_OF, BANDS, CARDINALITIES, CATEGORIES, INVERSE_OF, KINDS, MOVES, PHASES, PLACEMENT_KINDS, PREDICATE_PAIRS, PREDICATES, PRIMITIVES, PROVENANCES, SEVERITIES, TEXT_FORMS, VALUE_TYPES, fieldTypeOf, isAxis, isBand, isCardinality, isCategory, isKind, isMove, isPhase, isPlacementKind, isId, isPredicate, isPrimitive, isProvenance, isSeverity, isTextForm, isValueType, } from './taxonomy.js';
+export { canonicalPath } from './paths.js';
+export { collisions, identityOf, renderIdentity } from './identity.js';
+export { admits, buildRegistry, consentFor, fieldTypeText, sortDiagnostics, BUILTIN_SYSTEMS, FLOOR_REGISTRATIONS, FLOOR_SYSTEM, RESERVED_KEYWORDS, TAXONOMY_SYSTEM, } from './registry/index.js';
+export { compile } from './compile/index.js';
+export { ARTIFACT_SETS, LANES, SHAPES } from './taxonomy.js';
+export { indexedResolver, resolveTarget, validatePool } from './semantic/resolve.js';
+export { requirementCollisions, isRequirementId } from './semantic/requirements.js';
+export { REQUIREMENT_KINDS } from './semantic/types.js';
+export { canonicalValue, valuesFor, verbOf, CONDITION_AXES, VERB_PHRASES } from './semantic/vocabulary.js';
+export { KERNEL_DIGEST, SHAPE_ROWS, KIND_LANES, PRIMITIVE_ANCHORS, DIMENSION_PATHS } from './taxonomy.js';
+export { format, checkFormatPreservation } from './formatter.js';
+export { KERNEL_SOURCES } from './kernel.generated.js';
+export { references } from './references.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,oGAAoG;AACpG,uGAAuG;AACvG,oGAAoG;AACpG,OAAO,EAAE,gBAAgB,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEhF,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAE1C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AActC,OAAO,EACL,IAAI,EACJ,OAAO,EACP,KAAK,EACL,aAAa,EACb,UAAU,EACV,UAAU,EACV,KAAK,EACL,KAAK,EACL,MAAM,EACN,eAAe,EACf,eAAe,EACf,UAAU,EACV,UAAU,EACV,WAAW,EACX,UAAU,EACV,UAAU,EACV,WAAW,EACX,WAAW,EACX,MAAM,EACN,MAAM,EACN,aAAa,EACb,UAAU,EACV,MAAM,EACN,MAAM,EACN,OAAO,EACP,eAAe,EACf,IAAI,EACJ,WAAW,EACX,WAAW,EACX,YAAY,EACZ,UAAU,EACV,UAAU,EACV,WAAW,GACZ,MAAM,eAAe,CAAC;AAkBvB,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAEvE,OAAO,EACL,MAAM,EACN,aAAa,EACb,UAAU,EACV,aAAa,EACb,eAAe,EACf,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,iBAAiB,EACjB,eAAe,GAChB,MAAM,qBAAqB,CAAC;AAkB7B,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAuB7C,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAE7D,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAErF,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAEpF,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAG3G,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAC1G,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAEjE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/kernel.generated.d.ts

@@ -0,0 +1,99 @@
+export declare const KINDS: readonly ["governance", "contract", "definition", "template", "check", "policy", "binding"];
+export declare const CATEGORIES: readonly ["thing", "kind", "property", "state", "event", "relation", "rule", "capability", "intent", "decision", "evidence", "representation", "process", "measure", "boundary"];
+export declare const LANES: readonly ["authority", "contracts", "definitions", "templates", "enforcement", "bindings"];
+export declare const PHASES: readonly ["orient", "plan", "act", "learn"];
+export declare const PRIMITIVES: readonly ["Memory", "Attention", "Inference", "Decision", "Escalation", "Learning"];
+export declare const MOVES: readonly ["Observation", "Execution", "Delegation", "Synthesis", "Verification"];
+export declare const AXES: readonly ["shape", "category", "phase", "primitive", "move", "kind", "lane", "predicate", "artifact-set"];
+export declare const SHAPES: readonly ["context", "governance", "execution", "sequence", "learning"];
+export declare const ARTIFACT_SETS: readonly ["inquiry", "decision", "contract", "product-definition", "execution", "operational", "evidence", "projection", "principle"];
+export declare const PLACEMENT_KINDS: readonly ["authored", "adopted", "open", "floor", "runtime"];
+export declare const VALUE_TYPES: readonly ["text", "id", "qname", "number", "ref", "flag"];
+export declare const CARDINALITIES: readonly ["one", "one-or-more", "optional"];
+export declare const PREDICATE_PAIRS: readonly [readonly ["govern", "governed-by"], readonly ["enforce", "enforced-by"], readonly ["ground", "grounded-by"], readonly ["constrain", "constrained-by"], readonly ["implement", "implemented-by"], readonly ["produce", "produced-by"], readonly ["consume", "consumed-by"], readonly ["record-lineage-from", "lineage-recorded-by"], readonly ["grant-access-to", "access-granted-by"], readonly ["run-before", "run-after"], readonly ["trigger", "triggered-by"], readonly ["cite", "cited-by"], readonly ["supersede", "superseded-by"], readonly ["require", "required-by"], readonly ["use", "used-by"], readonly ["forbid", "forbidden-by"], readonly ["route", "routed-by"], readonly ["land", "landed-by"]];
+export declare const PRESENT_PHRASES: readonly ["governs", "enforces", "grounds", "constrains", "implements", "produces", "consumes", "records lineage from", "grants access to", "runs before", "triggers", "cites", "supersedes", "requires", "uses", "forbids", "routes to", "lands at"];
+export declare const DIMENSION_PATHS: {
+    readonly severity: "governance.severity";
+    readonly provenance: "provenance";
+    readonly "artifact-set": "classification";
+};
+export declare const SEVERITIES: readonly ["blocking", "advisory", "informational"];
+export declare const PROVENANCES: readonly ["workspace", "methodology", "bootstrap", "runtime"];
+export declare const BANDS: readonly [100, 90, 50, 10, 0];
+export declare const BAND_OF: {
+    readonly authored: 100;
+    readonly adopted: 90;
+    readonly open: 50;
+    readonly floor: 10;
+    readonly runtime: 0;
+};
+export declare const KIND_LANES: {
+    readonly governance: "authority";
+    readonly contract: "contracts";
+    readonly definition: "definitions";
+    readonly template: "templates";
+    readonly check: "enforcement";
+    readonly policy: "enforcement";
+    readonly binding: "bindings";
+};
+export declare const PRIMITIVE_ANCHORS: {
+    readonly Memory: "orient";
+    readonly Attention: "orient";
+    readonly Inference: "plan";
+    readonly Decision: "act";
+    readonly Escalation: "act";
+    readonly Learning: "learn";
+};
+export declare const SHAPE_ROWS: {
+    readonly context: {
+        readonly category: "relation";
+        readonly primitive: "Attention";
+        readonly tiePrecedence: 4;
+        readonly kinds: readonly ["definition", "contract"];
+        readonly lanes: readonly ["definitions", "contracts"];
+        readonly predicates: readonly ["cite", "ground", "require"];
+        readonly priming: readonly [];
+    };
+    readonly governance: {
+        readonly category: "rule";
+        readonly primitive: "Inference";
+        readonly tiePrecedence: 0;
+        readonly kinds: readonly ["governance", "policy", "check"];
+        readonly lanes: readonly ["authority", "enforcement"];
+        readonly predicates: readonly ["govern", "constrain", "forbid", "enforce"];
+        readonly priming: readonly ["govern", "constrain", "forbid", "enforce", "implement"];
+    };
+    readonly execution: {
+        readonly category: "capability";
+        readonly primitive: "Decision";
+        readonly tiePrecedence: 3;
+        readonly kinds: readonly ["binding", "template"];
+        readonly lanes: readonly ["bindings", "templates"];
+        readonly predicates: readonly ["implement", "trigger", "route", "consume"];
+        readonly priming: readonly [];
+    };
+    readonly sequence: {
+        readonly category: "process";
+        readonly primitive: "Inference";
+        readonly tiePrecedence: 1;
+        readonly kinds: readonly ["contract", "binding"];
+        readonly lanes: readonly ["contracts", "bindings"];
+        readonly predicates: readonly ["run-before", "require", "supersede"];
+        readonly priming: readonly [];
+    };
+    readonly learning: {
+        readonly category: "evidence";
+        readonly primitive: "Learning";
+        readonly tiePrecedence: 2;
+        readonly kinds: readonly ["definition"];
+        readonly lanes: readonly ["definitions"];
+        readonly predicates: readonly ["record-lineage-from", "produce", "cite"];
+        readonly priming: readonly [];
+    };
+};
+export declare const KERNEL_DIGEST: "c89066c387ca615148c78a5013b7cd34123be6aebcf6d8af8582e48e85ffacb6";
+export declare const KERNEL_SOURCES: readonly Readonly<{
+    path: string;
+    text: string;
+}>[];
+//# sourceMappingURL=kernel.generated.d.ts.map

package/dist/kernel.generated.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel.generated.d.ts","sourceRoot":"","sources":["../src/kernel.generated.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,KAAK,6FAQR,CAAC;AAEX,eAAO,MAAM,UAAU,kLAgBb,CAAC;AAEX,eAAO,MAAM,KAAK,4FAOR,CAAC;AAEX,eAAO,MAAM,MAAM,6CAKT,CAAC;AAEX,eAAO,MAAM,UAAU,qFAOb,CAAC;AAEX,eAAO,MAAM,KAAK,kFAMR,CAAC;AAEX,eAAO,MAAM,IAAI,2GAUP,CAAC;AAEX,eAAO,MAAM,MAAM,yEAMT,CAAC;AAEX,eAAO,MAAM,aAAa,uIAUhB,CAAC;AAEX,eAAO,MAAM,eAAe,8DAMlB,CAAC;AAEX,eAAO,MAAM,WAAW,2DAOd,CAAC;AAEX,eAAO,MAAM,aAAa,6CAIhB,CAAC;AAEX,eAAO,MAAM,eAAe,8rBAyElB,CAAC;AAEX,eAAO,MAAM,eAAe,uPAmBlB,CAAC;AAEX,eAAO,MAAM,eAAe;;;;CAIlB,CAAC;AAEX,eAAO,MAAM,UAAU,oDAIb,CAAC;AAEX,eAAO,MAAM,WAAW,+DAKd,CAAC;AAEX,eAAO,MAAM,KAAK,+BAMR,CAAC;AAEX,eAAO,MAAM,OAAO;;;;;;CAMV,CAAC;AAEX,eAAO,MAAM,UAAU;;;;;;;;CAQb,CAAC;AAEX,eAAO,MAAM,iBAAiB;;;;;;;CAOpB,CAAC;AAEX,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuGb,CAAC;AAEX,eAAO,MAAM,aAAa,EAAG,kEAA2E,CAAC;AAEzG,eAAO,MAAM,cAAc,EAAE,SAAS,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAqErC,CAAC"}