@inventarch/language 0.0.0-stage → 1.0.0

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"}