@astrale-os/kernel-dsl 0.1.5 → 0.2.0-beta.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/index.d.ts +1 -56
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -30
- package/dist/index.js.map +1 -1
- package/dist/upgrade/contract.d.ts +32 -0
- package/dist/upgrade/contract.d.ts.map +1 -0
- package/dist/upgrade/contract.js +2 -0
- package/dist/upgrade/contract.js.map +1 -0
- package/dist/upgrade/index.d.ts +2 -0
- package/dist/upgrade/index.d.ts.map +1 -0
- package/dist/upgrade/index.js.map +1 -0
- package/dist/v1/addressing/index.d.ts +6 -0
- package/dist/v1/addressing/index.d.ts.map +1 -0
- package/dist/v1/addressing/index.js +5 -0
- package/dist/v1/addressing/index.js.map +1 -0
- package/dist/v1/addressing/key.d.ts +21 -0
- package/dist/v1/addressing/key.d.ts.map +1 -0
- package/dist/v1/addressing/key.js +49 -0
- package/dist/v1/addressing/key.js.map +1 -0
- package/dist/v1/addressing/patterns.d.ts +18 -0
- package/dist/v1/addressing/patterns.d.ts.map +1 -0
- package/dist/v1/addressing/patterns.js +20 -0
- package/dist/v1/addressing/patterns.js.map +1 -0
- package/dist/v1/addressing/property-key.d.ts +18 -0
- package/dist/v1/addressing/property-key.d.ts.map +1 -0
- package/dist/v1/addressing/property-key.js +30 -0
- package/dist/v1/addressing/property-key.js.map +1 -0
- package/dist/v1/addressing/ref.d.ts +35 -0
- package/dist/v1/addressing/ref.d.ts.map +1 -0
- package/dist/v1/addressing/ref.js +94 -0
- package/dist/v1/addressing/ref.js.map +1 -0
- package/dist/v1/addressing/schema-ref.d.ts +8 -0
- package/dist/v1/addressing/schema-ref.d.ts.map +1 -0
- package/dist/v1/addressing/schema-ref.js +2 -0
- package/dist/v1/addressing/schema-ref.js.map +1 -0
- package/dist/v1/builder/callable.d.ts +81 -0
- package/dist/v1/builder/callable.d.ts.map +1 -0
- package/dist/v1/builder/callable.js +44 -0
- package/dist/v1/builder/callable.js.map +1 -0
- package/dist/v1/builder/compiler/callable.d.ts +20 -0
- package/dist/v1/builder/compiler/callable.d.ts.map +1 -0
- package/dist/v1/builder/compiler/callable.js +139 -0
- package/dist/v1/builder/compiler/callable.js.map +1 -0
- package/dist/v1/builder/compiler/core.d.ts +6 -0
- package/dist/v1/builder/compiler/core.d.ts.map +1 -0
- package/dist/v1/builder/compiler/core.js +44 -0
- package/dist/v1/builder/compiler/core.js.map +1 -0
- package/dist/v1/builder/compiler/core.properties.d.ts +6 -0
- package/dist/v1/builder/compiler/core.properties.d.ts.map +1 -0
- package/dist/v1/builder/compiler/core.properties.js +70 -0
- package/dist/v1/builder/compiler/core.properties.js.map +1 -0
- package/dist/v1/builder/compiler/definition.d.ts +26 -0
- package/dist/v1/builder/compiler/definition.d.ts.map +1 -0
- package/dist/v1/builder/compiler/definition.js +154 -0
- package/dist/v1/builder/compiler/definition.js.map +1 -0
- package/dist/v1/builder/compiler/policy.d.ts +17 -0
- package/dist/v1/builder/compiler/policy.d.ts.map +1 -0
- package/dist/v1/builder/compiler/policy.js +54 -0
- package/dist/v1/builder/compiler/policy.js.map +1 -0
- package/dist/v1/builder/compiler/schema.capture.d.ts +5 -0
- package/dist/v1/builder/compiler/schema.capture.d.ts.map +1 -0
- package/dist/v1/builder/compiler/schema.capture.js +85 -0
- package/dist/v1/builder/compiler/schema.capture.js.map +1 -0
- package/dist/v1/builder/compiler/schema.context.d.ts +45 -0
- package/dist/v1/builder/compiler/schema.context.d.ts.map +1 -0
- package/dist/v1/builder/compiler/schema.context.js +255 -0
- package/dist/v1/builder/compiler/schema.context.js.map +1 -0
- package/dist/v1/builder/compiler/schema.d.ts +10 -0
- package/dist/v1/builder/compiler/schema.d.ts.map +1 -0
- package/dist/v1/builder/compiler/schema.js +90 -0
- package/dist/v1/builder/compiler/schema.js.map +1 -0
- package/dist/v1/builder/compiler/schema.ownership.d.ts +9 -0
- package/dist/v1/builder/compiler/schema.ownership.d.ts.map +1 -0
- package/dist/v1/builder/compiler/schema.ownership.js +30 -0
- package/dist/v1/builder/compiler/schema.ownership.js.map +1 -0
- package/dist/v1/builder/compiler/value.d.ts +22 -0
- package/dist/v1/builder/compiler/value.d.ts.map +1 -0
- package/dist/v1/builder/compiler/value.js +149 -0
- package/dist/v1/builder/compiler/value.js.map +1 -0
- package/dist/v1/builder/compiler/value.path.d.ts +4 -0
- package/dist/v1/builder/compiler/value.path.d.ts.map +1 -0
- package/dist/v1/builder/compiler/value.path.js +21 -0
- package/dist/v1/builder/compiler/value.path.js.map +1 -0
- package/dist/v1/builder/compiler/value.zod.d.ts +33 -0
- package/dist/v1/builder/compiler/value.zod.d.ts.map +1 -0
- package/dist/v1/builder/compiler/value.zod.js +343 -0
- package/dist/v1/builder/compiler/value.zod.js.map +1 -0
- package/dist/v1/builder/compiler/view.d.ts +12 -0
- package/dist/v1/builder/compiler/view.d.ts.map +1 -0
- package/dist/v1/builder/compiler/view.js +27 -0
- package/dist/v1/builder/compiler/view.js.map +1 -0
- package/dist/v1/builder/core.d.ts +27 -0
- package/dist/v1/builder/core.d.ts.map +1 -0
- package/dist/v1/builder/core.js +21 -0
- package/dist/v1/builder/core.js.map +1 -0
- package/dist/v1/builder/definition.d.ts +105 -0
- package/dist/v1/builder/definition.d.ts.map +1 -0
- package/dist/v1/builder/definition.js +97 -0
- package/dist/v1/builder/definition.js.map +1 -0
- package/dist/v1/builder/full-match.d.ts +12 -0
- package/dist/v1/builder/full-match.d.ts.map +1 -0
- package/dist/v1/builder/full-match.js +21 -0
- package/dist/v1/builder/full-match.js.map +1 -0
- package/dist/v1/builder/index.d.ts +22 -0
- package/dist/v1/builder/index.d.ts.map +1 -0
- package/dist/v1/builder/index.js +11 -0
- package/dist/v1/builder/index.js.map +1 -0
- package/dist/v1/builder/internal/authoring.d.ts +8 -0
- package/dist/v1/builder/internal/authoring.d.ts.map +1 -0
- package/dist/v1/builder/internal/authoring.js +15 -0
- package/dist/v1/builder/internal/authoring.js.map +1 -0
- package/dist/v1/builder/internal/authoring.lazy.d.ts +3 -0
- package/dist/v1/builder/internal/authoring.lazy.d.ts.map +1 -0
- package/dist/v1/builder/internal/authoring.lazy.js +14 -0
- package/dist/v1/builder/internal/authoring.lazy.js.map +1 -0
- package/dist/v1/builder/internal/diagnostic.d.ts +4 -0
- package/dist/v1/builder/internal/diagnostic.d.ts.map +1 -0
- package/dist/v1/builder/internal/diagnostic.js +16 -0
- package/dist/v1/builder/internal/diagnostic.js.map +1 -0
- package/dist/v1/builder/internal/path.metadata.d.ts +5 -0
- package/dist/v1/builder/internal/path.metadata.d.ts.map +1 -0
- package/dist/v1/builder/internal/path.metadata.js +8 -0
- package/dist/v1/builder/internal/path.metadata.js.map +1 -0
- package/dist/v1/builder/path.d.ts +9 -0
- package/dist/v1/builder/path.d.ts.map +1 -0
- package/dist/v1/builder/path.js +12 -0
- package/dist/v1/builder/path.js.map +1 -0
- package/dist/v1/builder/policy.d.ts +50 -0
- package/dist/v1/builder/policy.d.ts.map +1 -0
- package/dist/v1/builder/policy.js +79 -0
- package/dist/v1/builder/policy.js.map +1 -0
- package/dist/v1/builder/property.d.ts +23 -0
- package/dist/v1/builder/property.d.ts.map +1 -0
- package/dist/v1/builder/property.js +12 -0
- package/dist/v1/builder/property.js.map +1 -0
- package/dist/v1/builder/schema.d.ts +6 -0
- package/dist/v1/builder/schema.d.ts.map +1 -0
- package/dist/v1/builder/schema.input.d.ts +19 -0
- package/dist/v1/builder/schema.input.d.ts.map +1 -0
- package/dist/v1/builder/schema.input.js +2 -0
- package/dist/v1/builder/schema.input.js.map +1 -0
- package/dist/v1/builder/schema.js +6 -0
- package/dist/v1/builder/schema.js.map +1 -0
- package/dist/v1/builder/value-schema.d.ts +17 -0
- package/dist/v1/builder/value-schema.d.ts.map +1 -0
- package/dist/v1/builder/value-schema.js +11 -0
- package/dist/v1/builder/value-schema.js.map +1 -0
- package/dist/v1/builder/view.d.ts +19 -0
- package/dist/v1/builder/view.d.ts.map +1 -0
- package/dist/v1/builder/view.js +7 -0
- package/dist/v1/builder/view.js.map +1 -0
- package/dist/v1/builder.d.ts +3 -0
- package/dist/v1/builder.d.ts.map +1 -0
- package/dist/v1/builder.js +2 -0
- package/dist/v1/builder.js.map +1 -0
- package/dist/v1/bundle/codec.d.ts +6 -0
- package/dist/v1/bundle/codec.d.ts.map +1 -0
- package/dist/v1/bundle/codec.js +151 -0
- package/dist/v1/bundle/codec.js.map +1 -0
- package/dist/v1/bundle/index.d.ts +17 -0
- package/dist/v1/bundle/index.d.ts.map +1 -0
- package/dist/v1/bundle/index.js +20 -0
- package/dist/v1/bundle/index.js.map +1 -0
- package/dist/v1/bundle/model.d.ts +19 -0
- package/dist/v1/bundle/model.d.ts.map +1 -0
- package/dist/v1/bundle/model.js +17 -0
- package/dist/v1/bundle/model.js.map +1 -0
- package/dist/v1/bundle/structure.d.ts +8 -0
- package/dist/v1/bundle/structure.d.ts.map +1 -0
- package/dist/v1/bundle/structure.js +71 -0
- package/dist/v1/bundle/structure.js.map +1 -0
- package/dist/v1/bundle.d.ts +3 -0
- package/dist/v1/bundle.d.ts.map +1 -0
- package/dist/v1/bundle.js +3 -0
- package/dist/v1/bundle.js.map +1 -0
- package/dist/v1/index.d.ts +9 -0
- package/dist/v1/index.d.ts.map +1 -0
- package/dist/v1/index.js +6 -0
- package/dist/v1/index.js.map +1 -0
- package/dist/v1/schema/callable.d.ts +29 -0
- package/dist/v1/schema/callable.d.ts.map +1 -0
- package/dist/v1/schema/callable.js.map +1 -0
- package/dist/v1/schema/canonical/domain.d.ts +3 -0
- package/dist/v1/schema/canonical/domain.d.ts.map +1 -0
- package/dist/v1/schema/canonical/domain.digest.d.ts +4 -0
- package/dist/v1/schema/canonical/domain.digest.d.ts.map +1 -0
- package/dist/v1/schema/canonical/domain.digest.js +9 -0
- package/dist/v1/schema/canonical/domain.digest.js.map +1 -0
- package/dist/v1/schema/canonical/domain.js +193 -0
- package/dist/v1/schema/canonical/domain.js.map +1 -0
- package/dist/v1/schema/canonical/freeze.d.ts +2 -0
- package/dist/v1/schema/canonical/freeze.d.ts.map +1 -0
- package/dist/v1/schema/canonical/freeze.js +10 -0
- package/dist/v1/schema/canonical/freeze.js.map +1 -0
- package/dist/v1/schema/core/declaration.d.ts +17 -0
- package/dist/v1/schema/core/declaration.d.ts.map +1 -0
- package/dist/v1/schema/core/declaration.js +2 -0
- package/dist/v1/schema/core/declaration.js.map +1 -0
- package/dist/v1/schema/core/validate.d.ts +6 -0
- package/dist/v1/schema/core/validate.d.ts.map +1 -0
- package/dist/v1/schema/core/validate.js +237 -0
- package/dist/v1/schema/core/validate.js.map +1 -0
- package/dist/v1/schema/definition/analysis.d.ts +41 -0
- package/dist/v1/schema/definition/analysis.d.ts.map +1 -0
- package/dist/v1/schema/definition/analysis.js +188 -0
- package/dist/v1/schema/definition/analysis.js.map +1 -0
- package/dist/v1/schema/definition/class.d.ts +28 -0
- package/dist/v1/schema/definition/class.d.ts.map +1 -0
- package/dist/v1/schema/definition/class.js +2 -0
- package/dist/v1/schema/definition/class.js.map +1 -0
- package/dist/v1/schema/definition/data.d.ts +12 -0
- package/dist/v1/schema/definition/data.d.ts.map +1 -0
- package/dist/v1/schema/definition/data.js +3 -0
- package/dist/v1/schema/definition/data.js.map +1 -0
- package/dist/v1/schema/definition/edge.d.ts +22 -0
- package/dist/v1/schema/definition/edge.d.ts.map +1 -0
- package/dist/v1/schema/definition/edge.js +2 -0
- package/dist/v1/schema/definition/edge.js.map +1 -0
- package/dist/v1/schema/definition/interface.d.ts +22 -0
- package/dist/v1/schema/definition/interface.d.ts.map +1 -0
- package/dist/v1/schema/definition/interface.js +2 -0
- package/dist/v1/schema/definition/interface.js.map +1 -0
- package/dist/v1/schema/definition/property.d.ts +11 -0
- package/dist/v1/schema/definition/property.d.ts.map +1 -0
- package/dist/v1/schema/definition/property.js +2 -0
- package/dist/v1/schema/definition/property.js.map +1 -0
- package/dist/v1/schema/definition/validate.d.ts +5 -0
- package/dist/v1/schema/definition/validate.d.ts.map +1 -0
- package/dist/v1/schema/definition/validate.js +152 -0
- package/dist/v1/schema/definition/validate.js.map +1 -0
- package/dist/v1/schema/dependency.meaning.d.ts +30 -0
- package/dist/v1/schema/dependency.meaning.d.ts.map +1 -0
- package/dist/v1/schema/dependency.meaning.js +608 -0
- package/dist/v1/schema/dependency.meaning.js.map +1 -0
- package/dist/v1/schema/diagnostic.d.ts +12 -0
- package/dist/v1/schema/diagnostic.d.ts.map +1 -0
- package/dist/v1/schema/diagnostic.js +21 -0
- package/dist/v1/schema/diagnostic.js.map +1 -0
- package/dist/v1/schema/domain.accept.d.ts +4 -0
- package/dist/v1/schema/domain.accept.d.ts.map +1 -0
- package/dist/v1/schema/domain.accept.js +27 -0
- package/dist/v1/schema/domain.accept.js.map +1 -0
- package/dist/v1/schema/domain.codec.d.ts +6 -0
- package/dist/v1/schema/domain.codec.d.ts.map +1 -0
- package/dist/v1/schema/domain.codec.js +22 -0
- package/dist/v1/schema/domain.codec.js.map +1 -0
- package/dist/v1/schema/domain.header.d.ts +15 -0
- package/dist/v1/schema/domain.header.d.ts.map +1 -0
- package/dist/v1/schema/domain.header.js +21 -0
- package/dist/v1/schema/domain.header.js.map +1 -0
- package/dist/v1/schema/domain.ir.d.ts +40 -0
- package/dist/v1/schema/domain.ir.d.ts.map +1 -0
- package/dist/v1/schema/domain.ir.js +5 -0
- package/dist/v1/schema/domain.ir.js.map +1 -0
- package/dist/v1/schema/domain.lookup.d.ts +19 -0
- package/dist/v1/schema/domain.lookup.d.ts.map +1 -0
- package/dist/v1/schema/domain.lookup.js +32 -0
- package/dist/v1/schema/domain.lookup.js.map +1 -0
- package/dist/v1/schema/domain.resolve.d.ts +26 -0
- package/dist/v1/schema/domain.resolve.d.ts.map +1 -0
- package/dist/v1/schema/domain.resolve.js +43 -0
- package/dist/v1/schema/domain.resolve.js.map +1 -0
- package/dist/v1/schema/domain.revision.d.ts +12 -0
- package/dist/v1/schema/domain.revision.d.ts.map +1 -0
- package/dist/v1/schema/domain.revision.js +18 -0
- package/dist/v1/schema/domain.revision.js.map +1 -0
- package/dist/v1/schema/domain.validate.d.ts +12 -0
- package/dist/v1/schema/domain.validate.d.ts.map +1 -0
- package/dist/v1/schema/domain.validate.js +36 -0
- package/dist/v1/schema/domain.validate.js.map +1 -0
- package/dist/v1/schema/index.d.ts +36 -0
- package/dist/v1/schema/index.d.ts.map +1 -0
- package/dist/v1/schema/index.js +16 -0
- package/dist/v1/schema/index.js.map +1 -0
- package/dist/v1/schema/metadata.d.ts +13 -0
- package/dist/v1/schema/metadata.d.ts.map +1 -0
- package/dist/v1/schema/metadata.js +13 -0
- package/dist/v1/schema/metadata.js.map +1 -0
- package/dist/v1/schema/policy/ast.d.ts +77 -0
- package/dist/v1/schema/policy/ast.d.ts.map +1 -0
- package/dist/v1/schema/policy/ast.js +2 -0
- package/dist/v1/schema/policy/ast.js.map +1 -0
- package/dist/v1/schema/policy/normalize.d.ts +5 -0
- package/dist/v1/schema/policy/normalize.d.ts.map +1 -0
- package/dist/v1/schema/policy/normalize.js +230 -0
- package/dist/v1/schema/policy/normalize.js.map +1 -0
- package/dist/v1/schema/policy/validation/branches.d.ts +21 -0
- package/dist/v1/schema/policy/validation/branches.d.ts.map +1 -0
- package/dist/v1/schema/policy/validation/branches.js +155 -0
- package/dist/v1/schema/policy/validation/branches.js.map +1 -0
- package/dist/v1/schema/policy/validation/budgets.d.ts +19 -0
- package/dist/v1/schema/policy/validation/budgets.d.ts.map +1 -0
- package/dist/v1/schema/policy/validation/budgets.js +132 -0
- package/dist/v1/schema/policy/validation/budgets.js.map +1 -0
- package/dist/v1/schema/policy/validation/context.d.ts +28 -0
- package/dist/v1/schema/policy/validation/context.d.ts.map +1 -0
- package/dist/v1/schema/policy/validation/context.js +99 -0
- package/dist/v1/schema/policy/validation/context.js.map +1 -0
- package/dist/v1/schema/policy/validation/references.d.ts +3 -0
- package/dist/v1/schema/policy/validation/references.d.ts.map +1 -0
- package/dist/v1/schema/policy/validation/references.js +136 -0
- package/dist/v1/schema/policy/validation/references.js.map +1 -0
- package/dist/v1/schema/policy/validation/typing.d.ts +23 -0
- package/dist/v1/schema/policy/validation/typing.d.ts.map +1 -0
- package/dist/v1/schema/policy/validation/typing.js +357 -0
- package/dist/v1/schema/policy/validation/typing.js.map +1 -0
- package/dist/v1/schema/policy/validation/uses.d.ts +6 -0
- package/dist/v1/schema/policy/validation/uses.d.ts.map +1 -0
- package/dist/v1/schema/policy/validation/uses.js +269 -0
- package/dist/v1/schema/policy/validation/uses.js.map +1 -0
- package/dist/v1/schema/policy/validation/validate.d.ts +12 -0
- package/dist/v1/schema/policy/validation/validate.d.ts.map +1 -0
- package/dist/v1/schema/policy/validation/validate.js +24 -0
- package/dist/v1/schema/policy/validation/validate.js.map +1 -0
- package/dist/v1/schema/reference.d.ts +43 -0
- package/dist/v1/schema/reference.d.ts.map +1 -0
- package/dist/v1/schema/reference.js +31 -0
- package/dist/v1/schema/reference.js.map +1 -0
- package/dist/v1/schema/resolution/closure.d.ts +10 -0
- package/dist/v1/schema/resolution/closure.d.ts.map +1 -0
- package/dist/v1/schema/resolution/closure.js +50 -0
- package/dist/v1/schema/resolution/closure.js.map +1 -0
- package/dist/v1/schema/resolution/context.d.ts +18 -0
- package/dist/v1/schema/resolution/context.d.ts.map +1 -0
- package/dist/v1/schema/resolution/context.js +126 -0
- package/dist/v1/schema/resolution/context.js.map +1 -0
- package/dist/v1/schema/resolution/definition.index.d.ts +43 -0
- package/dist/v1/schema/resolution/definition.index.d.ts.map +1 -0
- package/dist/v1/schema/resolution/definition.index.js +27 -0
- package/dist/v1/schema/resolution/definition.index.js.map +1 -0
- package/dist/v1/schema/resolution/origins.d.ts +17 -0
- package/dist/v1/schema/resolution/origins.d.ts.map +1 -0
- package/dist/v1/schema/resolution/origins.js +129 -0
- package/dist/v1/schema/resolution/origins.js.map +1 -0
- package/dist/v1/schema/resolution/value.registry.d.ts +8 -0
- package/dist/v1/schema/resolution/value.registry.d.ts.map +1 -0
- package/dist/v1/schema/resolution/value.registry.js +46 -0
- package/dist/v1/schema/resolution/value.registry.js.map +1 -0
- package/dist/v1/schema/validation/domain.route.d.ts +5 -0
- package/dist/v1/schema/validation/domain.route.d.ts.map +1 -0
- package/dist/v1/schema/validation/domain.route.js +33 -0
- package/dist/v1/schema/validation/domain.route.js.map +1 -0
- package/dist/v1/schema/validation/domain.structure.d.ts +5 -0
- package/dist/v1/schema/validation/domain.structure.d.ts.map +1 -0
- package/dist/v1/schema/validation/domain.structure.js +422 -0
- package/dist/v1/schema/validation/domain.structure.js.map +1 -0
- package/dist/v1/schema/validation/value.d.ts +5 -0
- package/dist/v1/schema/validation/value.d.ts.map +1 -0
- package/dist/v1/schema/validation/value.js +44 -0
- package/dist/v1/schema/validation/value.js.map +1 -0
- package/dist/v1/schema/value/extensions/node-path/schema.d.ts +6 -0
- package/dist/v1/schema/value/extensions/node-path/schema.d.ts.map +1 -0
- package/dist/v1/schema/value/extensions/node-path/schema.js +19 -0
- package/dist/v1/schema/value/extensions/node-path/schema.js.map +1 -0
- package/dist/v1/schema/value/extensions/node-path/validate.d.ts +5 -0
- package/dist/v1/schema/value/extensions/node-path/validate.d.ts.map +1 -0
- package/dist/v1/schema/value/extensions/node-path/validate.js +80 -0
- package/dist/v1/schema/value/extensions/node-path/validate.js.map +1 -0
- package/dist/v1/schema/value/index.d.ts +14 -0
- package/dist/v1/schema/value/index.d.ts.map +1 -0
- package/dist/v1/schema/value/index.js +24 -0
- package/dist/v1/schema/value/index.js.map +1 -0
- package/dist/v1/schema/value/instance/assertions.d.ts +7 -0
- package/dist/v1/schema/value/instance/assertions.d.ts.map +1 -0
- package/dist/v1/schema/value/instance/assertions.js +59 -0
- package/dist/v1/schema/value/instance/assertions.js.map +1 -0
- package/dist/v1/schema/value/instance/compiler.d.ts +13 -0
- package/dist/v1/schema/value/instance/compiler.d.ts.map +1 -0
- package/dist/v1/schema/value/instance/compiler.js +69 -0
- package/dist/v1/schema/value/instance/compiler.js.map +1 -0
- package/dist/v1/schema/value/instance/evaluator.d.ts +5 -0
- package/dist/v1/schema/value/instance/evaluator.d.ts.map +1 -0
- package/dist/v1/schema/value/instance/evaluator.js +373 -0
- package/dist/v1/schema/value/instance/evaluator.js.map +1 -0
- package/dist/v1/schema/value/instance/types.d.ts +33 -0
- package/dist/v1/schema/value/instance/types.d.ts.map +1 -0
- package/dist/v1/schema/value/instance/types.js +10 -0
- package/dist/v1/schema/value/instance/types.js.map +1 -0
- package/dist/v1/schema/value/instance.validate.d.ts +13 -0
- package/dist/v1/schema/value/instance.validate.d.ts.map +1 -0
- package/dist/v1/schema/value/instance.validate.js +44 -0
- package/dist/v1/schema/value/instance.validate.js.map +1 -0
- package/dist/v1/schema/value/instant.d.ts +9 -0
- package/dist/v1/schema/value/instant.d.ts.map +1 -0
- package/dist/v1/schema/value/instant.js +37 -0
- package/dist/v1/schema/value/instant.js.map +1 -0
- package/dist/v1/schema/value/location/keywords.d.ts +4 -0
- package/dist/v1/schema/value/location/keywords.d.ts.map +1 -0
- package/dist/v1/schema/value/location/keywords.js +21 -0
- package/dist/v1/schema/value/location/keywords.js.map +1 -0
- package/dist/v1/schema/value/location/pointer.d.ts +5 -0
- package/dist/v1/schema/value/location/pointer.d.ts.map +1 -0
- package/dist/v1/schema/value/location/pointer.js +50 -0
- package/dist/v1/schema/value/location/pointer.js.map +1 -0
- package/dist/v1/schema/value/location/walk.d.ts +11 -0
- package/dist/v1/schema/value/location/walk.d.ts.map +1 -0
- package/dist/v1/schema/value/location/walk.js +54 -0
- package/dist/v1/schema/value/location/walk.js.map +1 -0
- package/dist/v1/schema/value/object.d.ts +5 -0
- package/dist/v1/schema/value/object.d.ts.map +1 -0
- package/dist/v1/schema/value/object.js +4 -0
- package/dist/v1/schema/value/object.js.map +1 -0
- package/dist/v1/schema/value/ordering.d.ts +11 -0
- package/dist/v1/schema/value/ordering.d.ts.map +1 -0
- package/dist/v1/schema/value/ordering.js +172 -0
- package/dist/v1/schema/value/ordering.js.map +1 -0
- package/dist/v1/schema/value/profile/canonicalize.d.ts +5 -0
- package/dist/v1/schema/value/profile/canonicalize.d.ts.map +1 -0
- package/dist/v1/schema/value/profile/canonicalize.js +133 -0
- package/dist/v1/schema/value/profile/canonicalize.js.map +1 -0
- package/dist/v1/schema/value/profile/dialect.d.ts +5 -0
- package/dist/v1/schema/value/profile/dialect.d.ts.map +1 -0
- package/dist/v1/schema/value/profile/dialect.js +36 -0
- package/dist/v1/schema/value/profile/dialect.js.map +1 -0
- package/dist/v1/schema/value/profile/json.validate.d.ts +3 -0
- package/dist/v1/schema/value/profile/json.validate.d.ts.map +1 -0
- package/dist/v1/schema/value/profile/json.validate.js +15 -0
- package/dist/v1/schema/value/profile/json.validate.js.map +1 -0
- package/dist/v1/schema/value/profile/meta-schema.validate.d.ts +4 -0
- package/dist/v1/schema/value/profile/meta-schema.validate.d.ts.map +1 -0
- package/dist/v1/schema/value/profile/meta-schema.validate.js +25 -0
- package/dist/v1/schema/value/profile/meta-schema.validate.js.map +1 -0
- package/dist/v1/schema/value/profile/rules.d.ts +5 -0
- package/dist/v1/schema/value/profile/rules.d.ts.map +1 -0
- package/dist/v1/schema/value/profile/rules.js +152 -0
- package/dist/v1/schema/value/profile/rules.js.map +1 -0
- package/dist/v1/schema/value/profile/validate.d.ts +5 -0
- package/dist/v1/schema/value/profile/validate.d.ts.map +1 -0
- package/dist/v1/schema/value/profile/validate.js +47 -0
- package/dist/v1/schema/value/profile/validate.js.map +1 -0
- package/dist/v1/schema/value/profile/vocabulary.d.ts +3 -0
- package/dist/v1/schema/value/profile/vocabulary.d.ts.map +1 -0
- package/dist/v1/schema/value/profile/vocabulary.js +69 -0
- package/dist/v1/schema/value/profile/vocabulary.js.map +1 -0
- package/dist/v1/schema/value/regexp/linear.d.ts +20 -0
- package/dist/v1/schema/value/regexp/linear.d.ts.map +1 -0
- package/dist/v1/schema/value/regexp/linear.js +24 -0
- package/dist/v1/schema/value/regexp/linear.js.map +1 -0
- package/dist/v1/schema/value/regexp/lower.d.ts +4 -0
- package/dist/v1/schema/value/regexp/lower.d.ts.map +1 -0
- package/dist/v1/schema/value/regexp/lower.js +27 -0
- package/dist/v1/schema/value/regexp/lower.js.map +1 -0
- package/dist/v1/schema/value/regexp/pattern.d.ts +3 -0
- package/dist/v1/schema/value/regexp/pattern.d.ts.map +1 -0
- package/dist/v1/schema/value/regexp/pattern.js +39 -0
- package/dist/v1/schema/value/regexp/pattern.js.map +1 -0
- package/dist/v1/schema/value/regexp/syntax.d.ts +3 -0
- package/dist/v1/schema/value/regexp/syntax.d.ts.map +1 -0
- package/dist/v1/schema/value/regexp/syntax.js +219 -0
- package/dist/v1/schema/value/regexp/syntax.js.map +1 -0
- package/dist/v1/schema/value/registry.d.ts +22 -0
- package/dist/v1/schema/value/registry.d.ts.map +1 -0
- package/dist/v1/schema/value/registry.js +2 -0
- package/dist/v1/schema/value/registry.js.map +1 -0
- package/dist/v1/schema/value/resources/closure.d.ts +12 -0
- package/dist/v1/schema/value/resources/closure.d.ts.map +1 -0
- package/dist/v1/schema/value/resources/closure.js +59 -0
- package/dist/v1/schema/value/resources/closure.js.map +1 -0
- package/dist/v1/schema/value/resources/recursion.d.ts +6 -0
- package/dist/v1/schema/value/resources/recursion.d.ts.map +1 -0
- package/dist/v1/schema/value/resources/recursion.js +96 -0
- package/dist/v1/schema/value/resources/recursion.js.map +1 -0
- package/dist/v1/schema/value/resources/references.d.ts +25 -0
- package/dist/v1/schema/value/resources/references.d.ts.map +1 -0
- package/dist/v1/schema/value/resources/references.js +93 -0
- package/dist/v1/schema/value/resources/references.js.map +1 -0
- package/dist/v1/schema/value/resources/registry.index.d.ts +22 -0
- package/dist/v1/schema/value/resources/registry.index.d.ts.map +1 -0
- package/dist/v1/schema/value/resources/registry.index.js +114 -0
- package/dist/v1/schema/value/resources/registry.index.js.map +1 -0
- package/dist/v1/schema/value/schema.d.ts +26 -0
- package/dist/v1/schema/value/schema.d.ts.map +1 -0
- package/dist/v1/schema/value/schema.js +13 -0
- package/dist/v1/schema/value/schema.js.map +1 -0
- package/dist/v1/schema/view/declaration.d.ts +14 -0
- package/dist/v1/schema/view/declaration.d.ts.map +1 -0
- package/dist/v1/schema/view/declaration.js +2 -0
- package/dist/v1/schema/view/declaration.js.map +1 -0
- package/dist/v1/schema/view/validate.d.ts +4 -0
- package/dist/v1/schema/view/validate.d.ts.map +1 -0
- package/dist/v1/schema/view/validate.js +22 -0
- package/dist/v1/schema/view/validate.js.map +1 -0
- package/dist/v1/schema.d.ts +3 -0
- package/dist/v1/schema.d.ts.map +1 -0
- package/dist/v1/schema.js +3 -0
- package/dist/v1/schema.js.map +1 -0
- package/dist/v1.d.ts +3 -0
- package/dist/v1.d.ts.map +1 -0
- package/dist/v1.js +3 -0
- package/dist/v1.js.map +1 -0
- package/dist/value/accept.d.ts +9 -0
- package/dist/value/accept.d.ts.map +1 -0
- package/dist/value/accept.js +133 -0
- package/dist/value/accept.js.map +1 -0
- package/dist/value/canonical.d.ts +5 -0
- package/dist/value/canonical.d.ts.map +1 -0
- package/dist/value/canonical.js +42 -0
- package/dist/value/canonical.js.map +1 -0
- package/dist/value/decode.d.ts +5 -0
- package/dist/value/decode.d.ts.map +1 -0
- package/dist/value/decode.js +109 -0
- package/dist/value/decode.js.map +1 -0
- package/dist/value/equal.d.ts +4 -0
- package/dist/value/equal.d.ts.map +1 -0
- package/dist/value/equal.js +6 -0
- package/dist/value/equal.js.map +1 -0
- package/dist/value/error.d.ts +13 -0
- package/dist/value/error.d.ts.map +1 -0
- package/dist/value/error.js +22 -0
- package/dist/value/error.js.map +1 -0
- package/dist/value/index.d.ts +10 -0
- package/dist/value/index.d.ts.map +1 -0
- package/dist/value/index.js +7 -0
- package/dist/value/index.js.map +1 -0
- package/dist/value/json.d.ts +4 -0
- package/dist/value/json.d.ts.map +1 -0
- package/dist/value/json.js +4 -0
- package/dist/value/json.js.map +1 -0
- package/dist/value/limits.d.ts +22 -0
- package/dist/value/limits.d.ts.map +1 -0
- package/dist/value/limits.js +16 -0
- package/dist/value/limits.js.map +1 -0
- package/dist/value/types.d.ts +7 -0
- package/dist/value/types.d.ts.map +1 -0
- package/dist/value/types.js.map +1 -0
- package/dist/value/unicode.d.ts +5 -0
- package/dist/value/unicode.d.ts.map +1 -0
- package/dist/value/unicode.js +65 -0
- package/dist/value/unicode.js.map +1 -0
- package/dist/version/dispatch.d.ts +25 -0
- package/dist/version/dispatch.d.ts.map +1 -0
- package/dist/version/dispatch.js +48 -0
- package/dist/version/dispatch.js.map +1 -0
- package/dist/version/index.d.ts +3 -0
- package/dist/version/index.d.ts.map +1 -0
- package/dist/version/index.js +2 -0
- package/dist/version/index.js.map +1 -0
- package/package.json +19 -8
- package/dist/builders/bitmask.d.ts +0 -5
- package/dist/builders/bitmask.d.ts.map +0 -1
- package/dist/builders/bitmask.js +0 -12
- package/dist/builders/bitmask.js.map +0 -1
- package/dist/builders/data.d.ts +0 -7
- package/dist/builders/data.d.ts.map +0 -1
- package/dist/builders/data.js +0 -18
- package/dist/builders/data.js.map +0 -1
- package/dist/builders/definition/base.d.ts +0 -13
- package/dist/builders/definition/base.d.ts.map +0 -1
- package/dist/builders/definition/base.js +0 -24
- package/dist/builders/definition/base.js.map +0 -1
- package/dist/builders/definition/edge-class.d.ts +0 -8
- package/dist/builders/definition/edge-class.d.ts.map +0 -1
- package/dist/builders/definition/edge-class.js +0 -9
- package/dist/builders/definition/edge-class.js.map +0 -1
- package/dist/builders/definition/edge-interface.d.ts +0 -8
- package/dist/builders/definition/edge-interface.d.ts.map +0 -1
- package/dist/builders/definition/edge-interface.js +0 -9
- package/dist/builders/definition/edge-interface.js.map +0 -1
- package/dist/builders/definition/node-class.d.ts +0 -7
- package/dist/builders/definition/node-class.d.ts.map +0 -1
- package/dist/builders/definition/node-class.js +0 -9
- package/dist/builders/definition/node-class.js.map +0 -1
- package/dist/builders/definition/node-interface.d.ts +0 -7
- package/dist/builders/definition/node-interface.d.ts.map +0 -1
- package/dist/builders/definition/node-interface.js +0 -9
- package/dist/builders/definition/node-interface.js.map +0 -1
- package/dist/builders/function.d.ts +0 -34
- package/dist/builders/function.d.ts.map +0 -1
- package/dist/builders/function.js +0 -8
- package/dist/builders/function.js.map +0 -1
- package/dist/builders/policy.d.ts +0 -10
- package/dist/builders/policy.d.ts.map +0 -1
- package/dist/builders/policy.js +0 -28
- package/dist/builders/policy.js.map +0 -1
- package/dist/builders/prop.d.ts +0 -7
- package/dist/builders/prop.d.ts.map +0 -1
- package/dist/builders/prop.js +0 -9
- package/dist/builders/prop.js.map +0 -1
- package/dist/builders/ref.d.ts +0 -12
- package/dist/builders/ref.d.ts.map +0 -1
- package/dist/builders/ref.js +0 -27
- package/dist/builders/ref.js.map +0 -1
- package/dist/grammar/definition/base.d.ts +0 -13
- package/dist/grammar/definition/base.d.ts.map +0 -1
- package/dist/grammar/definition/base.js +0 -2
- package/dist/grammar/definition/base.js.map +0 -1
- package/dist/grammar/definition/discriminants.d.ts +0 -31
- package/dist/grammar/definition/discriminants.d.ts.map +0 -1
- package/dist/grammar/definition/discriminants.js +0 -33
- package/dist/grammar/definition/discriminants.js.map +0 -1
- package/dist/grammar/definition/edge-class.d.ts +0 -19
- package/dist/grammar/definition/edge-class.d.ts.map +0 -1
- package/dist/grammar/definition/edge-class.js +0 -2
- package/dist/grammar/definition/edge-class.js.map +0 -1
- package/dist/grammar/definition/edge-interface.d.ts +0 -18
- package/dist/grammar/definition/edge-interface.d.ts.map +0 -1
- package/dist/grammar/definition/edge-interface.js +0 -2
- package/dist/grammar/definition/edge-interface.js.map +0 -1
- package/dist/grammar/definition/node-class.d.ts +0 -26
- package/dist/grammar/definition/node-class.d.ts.map +0 -1
- package/dist/grammar/definition/node-class.js +0 -2
- package/dist/grammar/definition/node-class.js.map +0 -1
- package/dist/grammar/definition/node-interface.d.ts +0 -14
- package/dist/grammar/definition/node-interface.d.ts.map +0 -1
- package/dist/grammar/definition/node-interface.js +0 -2
- package/dist/grammar/definition/node-interface.js.map +0 -1
- package/dist/grammar/facets/constraints.d.ts +0 -8
- package/dist/grammar/facets/constraints.d.ts.map +0 -1
- package/dist/grammar/facets/constraints.js +0 -2
- package/dist/grammar/facets/constraints.js.map +0 -1
- package/dist/grammar/facets/content.d.ts +0 -4
- package/dist/grammar/facets/content.d.ts.map +0 -1
- package/dist/grammar/facets/content.js +0 -2
- package/dist/grammar/facets/content.js.map +0 -1
- package/dist/grammar/facets/endpoints.d.ts +0 -14
- package/dist/grammar/facets/endpoints.d.ts.map +0 -1
- package/dist/grammar/facets/endpoints.js +0 -3
- package/dist/grammar/facets/endpoints.js.map +0 -1
- package/dist/grammar/facets/indexes.d.ts +0 -12
- package/dist/grammar/facets/indexes.d.ts.map +0 -1
- package/dist/grammar/facets/indexes.js +0 -9
- package/dist/grammar/facets/indexes.js.map +0 -1
- package/dist/grammar/facets/properties.d.ts +0 -26
- package/dist/grammar/facets/properties.d.ts.map +0 -1
- package/dist/grammar/facets/properties.js +0 -45
- package/dist/grammar/facets/properties.js.map +0 -1
- package/dist/grammar/function/config.d.ts +0 -16
- package/dist/grammar/function/config.d.ts.map +0 -1
- package/dist/grammar/function/config.js +0 -2
- package/dist/grammar/function/config.js.map +0 -1
- package/dist/grammar/function/def.d.ts +0 -58
- package/dist/grammar/function/def.d.ts.map +0 -1
- package/dist/grammar/function/def.js +0 -2
- package/dist/grammar/function/def.js.map +0 -1
- package/dist/grammar/function/inheritance.d.ts +0 -3
- package/dist/grammar/function/inheritance.d.ts.map +0 -1
- package/dist/grammar/function/inheritance.js +0 -2
- package/dist/grammar/function/inheritance.js.map +0 -1
- package/dist/grammar/function/output.d.ts +0 -3
- package/dist/grammar/function/output.d.ts.map +0 -1
- package/dist/grammar/function/output.js +0 -2
- package/dist/grammar/function/output.js.map +0 -1
- package/dist/grammar/policy/callable.d.ts +0 -40
- package/dist/grammar/policy/callable.d.ts.map +0 -1
- package/dist/grammar/policy/callable.js.map +0 -1
- package/dist/grammar/policy/def.d.ts +0 -27
- package/dist/grammar/policy/def.d.ts.map +0 -1
- package/dist/grammar/policy/def.js +0 -2
- package/dist/grammar/policy/def.js.map +0 -1
- package/dist/grammar/policy/pattern.d.ts +0 -34
- package/dist/grammar/policy/pattern.d.ts.map +0 -1
- package/dist/grammar/policy/pattern.js +0 -2
- package/dist/grammar/policy/pattern.js.map +0 -1
- package/dist/grammar/values/bitmask.d.ts +0 -7
- package/dist/grammar/values/bitmask.d.ts.map +0 -1
- package/dist/grammar/values/bitmask.js +0 -2
- package/dist/grammar/values/bitmask.js.map +0 -1
- package/dist/grammar/values/data.d.ts +0 -30
- package/dist/grammar/values/data.d.ts.map +0 -1
- package/dist/grammar/values/data.js +0 -2
- package/dist/grammar/values/data.js.map +0 -1
- package/dist/grammar/values/ref.d.ts +0 -26
- package/dist/grammar/values/ref.d.ts.map +0 -1
- package/dist/grammar/values/ref.js +0 -2
- package/dist/grammar/values/ref.js.map +0 -1
- package/dist/grammar/values/self.d.ts +0 -12
- package/dist/grammar/values/self.d.ts.map +0 -1
- package/dist/grammar/values/self.js +0 -6
- package/dist/grammar/values/self.js.map +0 -1
- package/dist/inference/content.d.ts +0 -27
- package/dist/inference/content.d.ts.map +0 -1
- package/dist/inference/content.js +0 -2
- package/dist/inference/content.js.map +0 -1
- package/dist/inference/index.d.ts +0 -7
- package/dist/inference/index.d.ts.map +0 -1
- package/dist/inference/index.js.map +0 -1
- package/dist/inference/inheritance.d.ts +0 -48
- package/dist/inference/inheritance.d.ts.map +0 -1
- package/dist/inference/inheritance.js +0 -2
- package/dist/inference/inheritance.js.map +0 -1
- package/dist/inference/input.d.ts +0 -30
- package/dist/inference/input.d.ts.map +0 -1
- package/dist/inference/input.js +0 -2
- package/dist/inference/input.js.map +0 -1
- package/dist/inference/methods.d.ts +0 -69
- package/dist/inference/methods.d.ts.map +0 -1
- package/dist/inference/methods.js +0 -2
- package/dist/inference/methods.js.map +0 -1
- package/dist/inference/properties.d.ts +0 -37
- package/dist/inference/properties.d.ts.map +0 -1
- package/dist/inference/properties.js +0 -2
- package/dist/inference/properties.js.map +0 -1
- package/dist/inference/schema.d.ts +0 -37
- package/dist/inference/schema.d.ts.map +0 -1
- package/dist/inference/schema.js +0 -2
- package/dist/inference/schema.js.map +0 -1
- package/dist/instance/core/define.d.ts +0 -13
- package/dist/instance/core/define.d.ts.map +0 -1
- package/dist/instance/core/define.js +0 -63
- package/dist/instance/core/define.js.map +0 -1
- package/dist/instance/core/edge.d.ts +0 -9
- package/dist/instance/core/edge.d.ts.map +0 -1
- package/dist/instance/core/edge.js +0 -11
- package/dist/instance/core/edge.js.map +0 -1
- package/dist/instance/core/endpoint.d.ts +0 -11
- package/dist/instance/core/endpoint.d.ts.map +0 -1
- package/dist/instance/core/endpoint.js +0 -19
- package/dist/instance/core/endpoint.js.map +0 -1
- package/dist/instance/core/node.d.ts +0 -7
- package/dist/instance/core/node.d.ts.map +0 -1
- package/dist/instance/core/node.js +0 -9
- package/dist/instance/core/node.js.map +0 -1
- package/dist/instance/core/path.d.ts +0 -21
- package/dist/instance/core/path.d.ts.map +0 -1
- package/dist/instance/core/path.js +0 -21
- package/dist/instance/core/path.js.map +0 -1
- package/dist/instance/core/self.d.ts +0 -15
- package/dist/instance/core/self.d.ts.map +0 -1
- package/dist/instance/core/self.js +0 -8
- package/dist/instance/core/self.js.map +0 -1
- package/dist/instance/core/types.d.ts +0 -45
- package/dist/instance/core/types.d.ts.map +0 -1
- package/dist/instance/core/types.js.map +0 -1
- package/dist/instance/seed/define.d.ts +0 -12
- package/dist/instance/seed/define.d.ts.map +0 -1
- package/dist/instance/seed/define.js +0 -34
- package/dist/instance/seed/define.js.map +0 -1
- package/dist/instance/seed/types.d.ts +0 -12
- package/dist/instance/seed/types.d.ts.map +0 -1
- package/dist/instance/seed/types.js +0 -2
- package/dist/instance/seed/types.js.map +0 -1
- package/dist/ir/classes.d.ts +0 -78
- package/dist/ir/classes.d.ts.map +0 -1
- package/dist/ir/classes.js +0 -2
- package/dist/ir/classes.js.map +0 -1
- package/dist/ir/domain.d.ts +0 -13
- package/dist/ir/domain.d.ts.map +0 -1
- package/dist/ir/domain.js +0 -2
- package/dist/ir/domain.js.map +0 -1
- package/dist/ir/endpoints.d.ts +0 -27
- package/dist/ir/endpoints.d.ts.map +0 -1
- package/dist/ir/endpoints.js +0 -2
- package/dist/ir/endpoints.js.map +0 -1
- package/dist/ir/functions.d.ts +0 -34
- package/dist/ir/functions.d.ts.map +0 -1
- package/dist/ir/functions.js +0 -2
- package/dist/ir/functions.js.map +0 -1
- package/dist/ir/index.d.ts +0 -9
- package/dist/ir/index.d.ts.map +0 -1
- package/dist/ir/index.js +0 -2
- package/dist/ir/index.js.map +0 -1
- package/dist/ir/ir.d.ts +0 -75
- package/dist/ir/ir.d.ts.map +0 -1
- package/dist/ir/ir.js +0 -5
- package/dist/ir/ir.js.map +0 -1
- package/dist/ir/json-schema.d.ts +0 -20
- package/dist/ir/json-schema.d.ts.map +0 -1
- package/dist/ir/json-schema.js +0 -2
- package/dist/ir/json-schema.js.map +0 -1
- package/dist/ir/policies.d.ts +0 -74
- package/dist/ir/policies.d.ts.map +0 -1
- package/dist/ir/policies.js +0 -2
- package/dist/ir/policies.js.map +0 -1
- package/dist/schema/classify.d.ts +0 -8
- package/dist/schema/classify.d.ts.map +0 -1
- package/dist/schema/classify.js +0 -20
- package/dist/schema/classify.js.map +0 -1
- package/dist/schema/define.d.ts +0 -23
- package/dist/schema/define.d.ts.map +0 -1
- package/dist/schema/define.js +0 -58
- package/dist/schema/define.js.map +0 -1
- package/dist/schema/error.d.ts +0 -8
- package/dist/schema/error.d.ts.map +0 -1
- package/dist/schema/error.js +0 -14
- package/dist/schema/error.js.map +0 -1
- package/dist/schema/refs.d.ts +0 -77
- package/dist/schema/refs.d.ts.map +0 -1
- package/dist/schema/refs.js +0 -100
- package/dist/schema/refs.js.map +0 -1
- package/dist/schema/resolve/index.d.ts +0 -5
- package/dist/schema/resolve/index.d.ts.map +0 -1
- package/dist/schema/resolve/index.js +0 -5
- package/dist/schema/resolve/index.js.map +0 -1
- package/dist/schema/resolve/methods.d.ts +0 -8
- package/dist/schema/resolve/methods.d.ts.map +0 -1
- package/dist/schema/resolve/methods.js +0 -18
- package/dist/schema/resolve/methods.js.map +0 -1
- package/dist/schema/resolve/properties.d.ts +0 -13
- package/dist/schema/resolve/properties.d.ts.map +0 -1
- package/dist/schema/resolve/properties.js +0 -37
- package/dist/schema/resolve/properties.js.map +0 -1
- package/dist/schema/resolve/self.d.ts +0 -7
- package/dist/schema/resolve/self.d.ts.map +0 -1
- package/dist/schema/resolve/self.js +0 -33
- package/dist/schema/resolve/self.js.map +0 -1
- package/dist/schema/resolve/thunks.d.ts +0 -12
- package/dist/schema/resolve/thunks.d.ts.map +0 -1
- package/dist/schema/resolve/thunks.js +0 -37
- package/dist/schema/resolve/thunks.js.map +0 -1
- package/dist/schema/schema.d.ts +0 -25
- package/dist/schema/schema.d.ts.map +0 -1
- package/dist/schema/schema.js +0 -2
- package/dist/schema/schema.js.map +0 -1
- package/dist/schema/validators/context.d.ts +0 -17
- package/dist/schema/validators/context.d.ts.map +0 -1
- package/dist/schema/validators/context.js +0 -2
- package/dist/schema/validators/context.js.map +0 -1
- package/dist/schema/validators/endpoints.d.ts +0 -4
- package/dist/schema/validators/endpoints.d.ts.map +0 -1
- package/dist/schema/validators/endpoints.js +0 -27
- package/dist/schema/validators/endpoints.js.map +0 -1
- package/dist/schema/validators/index.d.ts +0 -12
- package/dist/schema/validators/index.d.ts.map +0 -1
- package/dist/schema/validators/index.js +0 -25
- package/dist/schema/validators/index.js.map +0 -1
- package/dist/schema/validators/indexes.d.ts +0 -4
- package/dist/schema/validators/indexes.d.ts.map +0 -1
- package/dist/schema/validators/indexes.js +0 -19
- package/dist/schema/validators/indexes.js.map +0 -1
- package/dist/schema/validators/inheritance.d.ts +0 -4
- package/dist/schema/validators/inheritance.d.ts.map +0 -1
- package/dist/schema/validators/inheritance.js +0 -27
- package/dist/schema/validators/inheritance.js.map +0 -1
- package/dist/schema/validators/methods.d.ts +0 -9
- package/dist/schema/validators/methods.d.ts.map +0 -1
- package/dist/schema/validators/methods.js +0 -44
- package/dist/schema/validators/methods.js.map +0 -1
- package/dist/schema/validators/names.d.ts +0 -4
- package/dist/schema/validators/names.d.ts.map +0 -1
- package/dist/schema/validators/names.js +0 -19
- package/dist/schema/validators/names.js.map +0 -1
- package/dist/schema/validators/policies.d.ts +0 -4
- package/dist/schema/validators/policies.d.ts.map +0 -1
- package/dist/schema/validators/policies.js +0 -61
- package/dist/schema/validators/policies.js.map +0 -1
- package/dist/schema/validators/ref-targets.d.ts +0 -4
- package/dist/schema/validators/ref-targets.d.ts.map +0 -1
- package/dist/schema/validators/ref-targets.js +0 -54
- package/dist/schema/validators/ref-targets.js.map +0 -1
- package/dist/serializer/context.d.ts +0 -35
- package/dist/serializer/context.d.ts.map +0 -1
- package/dist/serializer/context.js +0 -359
- package/dist/serializer/context.js.map +0 -1
- package/dist/serializer/helpers.d.ts +0 -34
- package/dist/serializer/helpers.d.ts.map +0 -1
- package/dist/serializer/helpers.js +0 -116
- package/dist/serializer/helpers.js.map +0 -1
- package/dist/serializer/index.d.ts +0 -2
- package/dist/serializer/index.d.ts.map +0 -1
- package/dist/serializer/index.js +0 -2
- package/dist/serializer/index.js.map +0 -1
- package/dist/serializer/policies.d.ts +0 -34
- package/dist/serializer/policies.d.ts.map +0 -1
- package/dist/serializer/policies.js +0 -837
- package/dist/serializer/policies.js.map +0 -1
- package/dist/serializer/policy-typing.d.ts +0 -56
- package/dist/serializer/policy-typing.d.ts.map +0 -1
- package/dist/serializer/policy-typing.js +0 -490
- package/dist/serializer/policy-typing.js.map +0 -1
- package/dist/serializer/serialize.d.ts +0 -12
- package/dist/serializer/serialize.d.ts.map +0 -1
- package/dist/serializer/serialize.js +0 -6
- package/dist/serializer/serialize.js.map +0 -1
- /package/dist/{inference → upgrade}/index.js +0 -0
- /package/dist/{grammar/policy → v1/schema}/callable.js +0 -0
- /package/dist/{instance/core → value}/types.js +0 -0
|
@@ -0,0 +1,193 @@
|
|
|
1
|
+
import { json } from '@astrale-os/kernel-dsl/value';
|
|
2
|
+
import { normalizePolicyChecks, normalizePolicyDeclaration } from '../policy/normalize.js';
|
|
3
|
+
import { compareSchemaRefs, compareUnicode, } from '../reference.js';
|
|
4
|
+
import { canonicalizeValueSchema } from '../value/profile/canonicalize.js';
|
|
5
|
+
export function canonicalizeDomainSchema(schema) {
|
|
6
|
+
const classes = mapRecord(schema.classes, canonicalizeClass);
|
|
7
|
+
const orientationByClass = new Map(Object.entries(classes)
|
|
8
|
+
.filter((entry) => entry[1].family === 'edge')
|
|
9
|
+
.map(([name, declaration]) => [name, declaration.orientation]));
|
|
10
|
+
const canonical = {
|
|
11
|
+
format: 'astrale.dsl',
|
|
12
|
+
version: 'v1',
|
|
13
|
+
origin: schema.origin,
|
|
14
|
+
dependencies: [...schema.dependencies].sort((left, right) => compareUnicode(left.origin, right.origin)),
|
|
15
|
+
types: mapRecord(schema.types, (value) => canonicalizeValueSchema(value, 'named-type')),
|
|
16
|
+
interfaces: mapRecord(schema.interfaces, canonicalizeInterface),
|
|
17
|
+
classes,
|
|
18
|
+
functions: mapRecord(schema.functions, canonicalizeFunction),
|
|
19
|
+
policies: mapRecord(schema.policies, normalizePolicyDeclaration),
|
|
20
|
+
views: mapRecord(schema.views, canonicalizeView),
|
|
21
|
+
core: {
|
|
22
|
+
nodes: mapRecord(schema.core.nodes, (node) => ({
|
|
23
|
+
class: node.class,
|
|
24
|
+
properties: copyJsonValue(node.properties),
|
|
25
|
+
})),
|
|
26
|
+
edges: schema.core.edges
|
|
27
|
+
.map((edge) => canonicalizeCoreEdge(edge, schema.origin, orientationByClass))
|
|
28
|
+
.sort(compareCoreEdges),
|
|
29
|
+
},
|
|
30
|
+
};
|
|
31
|
+
return copyJsonValue(canonical);
|
|
32
|
+
}
|
|
33
|
+
function canonicalizeView(value) {
|
|
34
|
+
return {
|
|
35
|
+
...withDescription(value),
|
|
36
|
+
target: value.target.kind === 'domain'
|
|
37
|
+
? { kind: 'domain' }
|
|
38
|
+
: {
|
|
39
|
+
kind: 'definition',
|
|
40
|
+
definitions: [...value.target.definitions].sort(compareSchemaRefs),
|
|
41
|
+
},
|
|
42
|
+
auth: value.auth,
|
|
43
|
+
};
|
|
44
|
+
}
|
|
45
|
+
function canonicalizeInterface(value) {
|
|
46
|
+
const base = {
|
|
47
|
+
...withDescription(value),
|
|
48
|
+
family: value.family,
|
|
49
|
+
extends: [...value.extends].sort(compareSchemaRefs),
|
|
50
|
+
properties: canonicalizePropertyFacet(value.properties),
|
|
51
|
+
propertyMetadata: canonicalizePropertyMetadata(value.propertyMetadata),
|
|
52
|
+
};
|
|
53
|
+
if (value.family === 'both')
|
|
54
|
+
return base;
|
|
55
|
+
if (value.family === 'node') {
|
|
56
|
+
return {
|
|
57
|
+
...base,
|
|
58
|
+
methods: mapRecord(value.methods, canonicalizeMethod),
|
|
59
|
+
...(value.data === undefined ? {} : { data: { mediaType: value.data.mediaType } }),
|
|
60
|
+
};
|
|
61
|
+
}
|
|
62
|
+
return {
|
|
63
|
+
...base,
|
|
64
|
+
endpoints: canonicalizeEndpoints(value.endpoints),
|
|
65
|
+
orientation: value.orientation,
|
|
66
|
+
constraints: value.constraints,
|
|
67
|
+
};
|
|
68
|
+
}
|
|
69
|
+
function canonicalizeClass(value) {
|
|
70
|
+
const base = {
|
|
71
|
+
...withDescription(value),
|
|
72
|
+
family: value.family,
|
|
73
|
+
implements: [...value.implements].sort(compareSchemaRefs),
|
|
74
|
+
properties: canonicalizePropertyFacet(value.properties),
|
|
75
|
+
propertyMetadata: canonicalizePropertyMetadata(value.propertyMetadata),
|
|
76
|
+
};
|
|
77
|
+
if (value.family === 'node') {
|
|
78
|
+
return {
|
|
79
|
+
...base,
|
|
80
|
+
methods: mapRecord(value.methods, canonicalizeMethod),
|
|
81
|
+
...(value.data === undefined ? {} : { data: { mediaType: value.data.mediaType } }),
|
|
82
|
+
...(value.icon === undefined ? {} : { icon: value.icon }),
|
|
83
|
+
policies: value.policies,
|
|
84
|
+
};
|
|
85
|
+
}
|
|
86
|
+
return {
|
|
87
|
+
...base,
|
|
88
|
+
endpoints: canonicalizeEndpoints(value.endpoints),
|
|
89
|
+
orientation: value.orientation,
|
|
90
|
+
policies: value.policies,
|
|
91
|
+
constraints: value.constraints,
|
|
92
|
+
};
|
|
93
|
+
}
|
|
94
|
+
function canonicalizeFunction(value) {
|
|
95
|
+
return {
|
|
96
|
+
...withDescription(value),
|
|
97
|
+
input: canonicalizeValueSchema(value.input, 'callable-input'),
|
|
98
|
+
output: canonicalizeCallableOutput(value.output),
|
|
99
|
+
auth: value.auth,
|
|
100
|
+
...(value.policy === undefined ? {} : { policy: normalizePolicyChecks(value.policy) }),
|
|
101
|
+
};
|
|
102
|
+
}
|
|
103
|
+
function canonicalizeMethod(value) {
|
|
104
|
+
return {
|
|
105
|
+
...canonicalizeFunction(value),
|
|
106
|
+
static: value.static,
|
|
107
|
+
inheritance: value.inheritance,
|
|
108
|
+
};
|
|
109
|
+
}
|
|
110
|
+
function canonicalizeCallableOutput(value) {
|
|
111
|
+
switch (value.mode) {
|
|
112
|
+
case 'value':
|
|
113
|
+
return { mode: 'value', schema: canonicalizeValueSchema(value.schema, 'callable-output') };
|
|
114
|
+
case 'stream':
|
|
115
|
+
return { mode: 'stream', item: canonicalizeValueSchema(value.item, 'callable-output') };
|
|
116
|
+
case 'binary':
|
|
117
|
+
return { mode: 'binary' };
|
|
118
|
+
}
|
|
119
|
+
}
|
|
120
|
+
function canonicalizePropertyFacet(value) {
|
|
121
|
+
const canonical = canonicalizeValueSchema(value, 'property-facet');
|
|
122
|
+
return canonical;
|
|
123
|
+
}
|
|
124
|
+
function canonicalizePropertyMetadata(value) {
|
|
125
|
+
return Object.fromEntries(Object.entries(value)
|
|
126
|
+
.filter(([, metadata]) => metadata.visibility === 'private')
|
|
127
|
+
.sort(([left], [right]) => compareUnicode(left, right)));
|
|
128
|
+
}
|
|
129
|
+
function canonicalizeEndpoints(value) {
|
|
130
|
+
return {
|
|
131
|
+
...value,
|
|
132
|
+
source: { ...value.source, accepts: [...value.source.accepts].sort(compareSchemaRefs) },
|
|
133
|
+
target: { ...value.target, accepts: [...value.target.accepts].sort(compareSchemaRefs) },
|
|
134
|
+
};
|
|
135
|
+
}
|
|
136
|
+
function canonicalizeCoreEdge(edge, origin, orientationByClass) {
|
|
137
|
+
const isLocal = edge.class.origin === origin;
|
|
138
|
+
const isUndirected = isLocal && orientationByClass.get(edge.class.name) === 'undirected';
|
|
139
|
+
const [source, target] = isUndirected && compareCoreEndpoints(edge.source, edge.target) > 0
|
|
140
|
+
? [edge.target, edge.source]
|
|
141
|
+
: [edge.source, edge.target];
|
|
142
|
+
return {
|
|
143
|
+
class: edge.class,
|
|
144
|
+
source,
|
|
145
|
+
target,
|
|
146
|
+
properties: copyJsonValue(edge.properties),
|
|
147
|
+
};
|
|
148
|
+
}
|
|
149
|
+
function compareCoreEdges(left, right) {
|
|
150
|
+
return (compareSchemaRefs(left.class, right.class) ||
|
|
151
|
+
compareCoreEndpoints(left.source, right.source) ||
|
|
152
|
+
compareCoreEndpoints(left.target, right.target) ||
|
|
153
|
+
compareBytes(json.serialize(left.properties), json.serialize(right.properties)));
|
|
154
|
+
}
|
|
155
|
+
function compareCoreEndpoints(left, right) {
|
|
156
|
+
if (left.kind === 'domain')
|
|
157
|
+
return right.kind === 'domain' ? 0 : -1;
|
|
158
|
+
if (right.kind === 'domain')
|
|
159
|
+
return 1;
|
|
160
|
+
return compareSchemaRefs(left, right);
|
|
161
|
+
}
|
|
162
|
+
function compareBytes(left, right) {
|
|
163
|
+
const encoder = new TextEncoder();
|
|
164
|
+
const a = encoder.encode(left);
|
|
165
|
+
const b = encoder.encode(right);
|
|
166
|
+
const length = Math.min(a.length, b.length);
|
|
167
|
+
for (let index = 0; index < length; index++) {
|
|
168
|
+
if (a[index] !== b[index])
|
|
169
|
+
return (a[index] ?? 0) - (b[index] ?? 0);
|
|
170
|
+
}
|
|
171
|
+
return a.length - b.length;
|
|
172
|
+
}
|
|
173
|
+
function mapRecord(value, map) {
|
|
174
|
+
return Object.fromEntries(Object.entries(value)
|
|
175
|
+
.sort(([left], [right]) => compareUnicode(left, right))
|
|
176
|
+
.map(([name, entry]) => [name, map(entry, name)]));
|
|
177
|
+
}
|
|
178
|
+
function withDescription(value) {
|
|
179
|
+
return value.description === undefined ? {} : { description: value.description };
|
|
180
|
+
}
|
|
181
|
+
function copyJsonValue(value) {
|
|
182
|
+
if (typeof value === 'number') {
|
|
183
|
+
if (Object.is(value, -0))
|
|
184
|
+
throw new TypeError('Cannot canonicalize negative zero.');
|
|
185
|
+
return value;
|
|
186
|
+
}
|
|
187
|
+
if (value === null || typeof value !== 'object')
|
|
188
|
+
return value;
|
|
189
|
+
if (Array.isArray(value))
|
|
190
|
+
return value.map((entry) => copyJsonValue(entry));
|
|
191
|
+
return Object.fromEntries(Object.entries(value).map(([key, entry]) => [key, copyJsonValue(entry)]));
|
|
192
|
+
}
|
|
193
|
+
//# sourceMappingURL=domain.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../../../v1/schema/canonical/domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAWnD,OAAO,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAC1F,OAAO,EACL,iBAAiB,EACjB,cAAc,GAGf,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAE1E,MAAM,UAAU,wBAAwB,CAAC,MAAsB;IAC7D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAA;IAC5D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;SACpB,MAAM,CACL,CAAC,KAAK,EAAoE,EAAE,CAC1E,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAC7B;SACA,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CACjE,CAAA;IAED,MAAM,SAAS,GAAmB;QAChC,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1D,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAC1C;QACD,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACvF,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,qBAAqB,CAAC;QAC/D,OAAO;QACP,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC;QAC5D,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,0BAA0B,CAAC;QAChE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAChD,IAAI,EAAE;YACJ,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC7C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;aACrE,CAAC,CAAC;YACH,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK;iBACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;iBAC5E,IAAI,CAAC,gBAAgB,CAAC;SAC1B;KACF,CAAA;IACD,OAAO,aAAa,CAAC,SAAS,CAA8B,CAAA;AAC9D,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAsB;IAC9C,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EACJ,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAGhE;aACF;QACP,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAA2B;IACxD,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACnD,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;QACvD,gBAAgB,EAAE,4BAA4B,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACvE,CAAA;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,IAA4B,CAAA;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;SAC3D,CAAA;IAC3B,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,SAAS,EAAE,qBAAqB,CAAC,KAAK,CAAC,SAAS,CAAC;QACjD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;KACP,CAAA;AAC3B,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAuB;IAChD,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACzD,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;QACvD,gBAAgB,EAAE,4BAA4B,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACvE,CAAA;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;YAClF,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACL,CAAA;IACvB,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,SAAS,EAAE,qBAAqB,CAAC,KAAK,CAAC,SAAS,CAAC;QACjD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;KACX,CAAA;AACvB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA0B;IACtD,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,KAAK,EAAE,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAC7D,MAAM,EAAE,0BAA0B,CAAC,KAAK,CAAC,MAAM,CAAC;QAChD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;KACvF,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAwB;IAClD,OAAO;QACL,GAAG,oBAAoB,CAAC,KAAK,CAAC;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAA;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAqB;IACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAA;QAC5F,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,CAAA;QACzF,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC7B,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA2B;IAC5D,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAA;IAClE,OAAO,SAAiC,CAAA;AAC1C,CAAC;AAED,SAAS,4BAA4B,CAAC,KAA6B;IACjE,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC;SAC3D,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAC1D,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAK5B,KAAQ;IACR,OAAO;QACL,GAAG,KAAK;QACR,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;QACvF,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;KACxF,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAyB,EACzB,MAAc,EACd,kBAA+C;IAE/C,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAA;IAC5C,MAAM,YAAY,GAAG,OAAO,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,YAAY,CAAA;IACxF,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACpB,YAAY,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAChE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAChC,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM;QACN,MAAM;QACN,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;KACrE,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAyB,EAAE,KAA0B;IAC7E,OAAO,CACL,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAC1C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAChF,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAqB,EAAE,KAAsB;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAA;IACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AACvC,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;IACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;IAC3C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAA;AAC5B,CAAC;AAED,SAAS,SAAS,CAChB,KAAkC,EAClC,GAAkC;IAElC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SACtD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CACpD,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAwC;IAG/D,OAAO,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAA;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,KAAiC;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAA;QACnF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAc,CAAA;IACxF,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,CAAC,KAAkB,CAAC,CAAC,CAAC,CACzE,CAAA;AAChB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"freeze.d.ts","sourceRoot":"","sources":["../../../../v1/schema/canonical/freeze.ts"],"names":[],"mappings":"AAAA,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CASnD"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
export function deepFreeze(value) {
|
|
2
|
+
if (value === null || typeof value !== 'object' || Object.isFrozen(value)) {
|
|
3
|
+
return value;
|
|
4
|
+
}
|
|
5
|
+
for (const nested of Object.values(value)) {
|
|
6
|
+
deepFreeze(nested);
|
|
7
|
+
}
|
|
8
|
+
return Object.freeze(value);
|
|
9
|
+
}
|
|
10
|
+
//# sourceMappingURL=freeze.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"freeze.js","sourceRoot":"","sources":["../../../../v1/schema/canonical/freeze.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,UAAU,CAAI,KAAQ;IACpC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1E,OAAO,KAAoB,CAAA;IAC7B,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC,EAAE,CAAC;QACrE,UAAU,CAAC,MAAM,CAAC,CAAA;IACpB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAgB,CAAA;AAC5C,CAAC"}
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
import type { Object as JsonObject } from '@astrale-os/kernel-dsl/value';
|
|
2
|
+
import type { ClassRef, CoreEndpointRef } from '../reference.js';
|
|
3
|
+
export interface CoreNodeDeclaration {
|
|
4
|
+
readonly class: ClassRef;
|
|
5
|
+
readonly properties: JsonObject;
|
|
6
|
+
}
|
|
7
|
+
export interface CoreEdgeDeclaration {
|
|
8
|
+
readonly class: ClassRef;
|
|
9
|
+
readonly source: CoreEndpointRef;
|
|
10
|
+
readonly target: CoreEndpointRef;
|
|
11
|
+
readonly properties: JsonObject;
|
|
12
|
+
}
|
|
13
|
+
export interface CoreDeclaration {
|
|
14
|
+
readonly nodes: Readonly<Record<string, CoreNodeDeclaration>>;
|
|
15
|
+
readonly edges: readonly CoreEdgeDeclaration[];
|
|
16
|
+
}
|
|
17
|
+
//# sourceMappingURL=declaration.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"declaration.d.ts","sourceRoot":"","sources":["../../../../v1/schema/core/declaration.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAExE,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAEhE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAChC;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,KAAK,EAAE,SAAS,mBAAmB,EAAE,CAAA;CAC/C"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"declaration.js","sourceRoot":"","sources":["../../../../v1/schema/core/declaration.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
import type { DefinitionAnalysisResult } from '../definition/analysis.js';
|
|
2
|
+
import type { DomainDiagnostic } from '../diagnostic.js';
|
|
3
|
+
import type { DomainResolutionContext } from '../resolution/context.js';
|
|
4
|
+
import type { ValueSchemaRegistry } from '../value/registry.js';
|
|
5
|
+
export declare function validateCore(environment: DomainResolutionContext, analysis: DefinitionAnalysisResult, registry: ValueSchemaRegistry): readonly DomainDiagnostic[];
|
|
6
|
+
//# sourceMappingURL=validate.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../../v1/schema/core/validate.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAsB,wBAAwB,EAAE,MAAM,2BAA2B,CAAA;AAI7F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AASxD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AACvE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAiC/D,wBAAgB,YAAY,CAC1B,WAAW,EAAE,uBAAuB,EACpC,QAAQ,EAAE,wBAAwB,EAClC,QAAQ,EAAE,mBAAmB,GAC5B,SAAS,gBAAgB,EAAE,CAO7B"}
|
|
@@ -0,0 +1,237 @@
|
|
|
1
|
+
import { diagnostic } from '../diagnostic.js';
|
|
2
|
+
import { schemaRefIndex, compareUnicode, formatSchemaRef } from '../reference.js';
|
|
3
|
+
import { validateJsonInstance } from '../value/instance.validate.js';
|
|
4
|
+
export function validateCore(environment, analysis, registry) {
|
|
5
|
+
const diagnostics = [];
|
|
6
|
+
const nodesByRef = resolveCoreNodes(environment, analysis, registry, diagnostics);
|
|
7
|
+
const edges = resolveCoreEdges(environment, analysis, registry, nodesByRef, diagnostics);
|
|
8
|
+
validateCoreEdgeSet(environment, edges, nodesByRef, diagnostics);
|
|
9
|
+
return Object.freeze(diagnostics);
|
|
10
|
+
}
|
|
11
|
+
function resolveCoreNodes(environment, analysis, registry, diagnostics) {
|
|
12
|
+
const nodes = new Map();
|
|
13
|
+
for (const [slug, node] of Object.entries(environment.candidate.core.nodes)) {
|
|
14
|
+
const pointer = `/core/nodes/${escapePointer(slug)}`;
|
|
15
|
+
const resolved = environment.resolve(node.class);
|
|
16
|
+
if (node.class.origin !== environment.candidate.origin ||
|
|
17
|
+
resolved === undefined ||
|
|
18
|
+
resolved.ref.kind !== 'class' ||
|
|
19
|
+
resolved.family !== 'node') {
|
|
20
|
+
diagnostics.push(diagnostic('DV_CORE_NODE_CLASS', `${pointer}/class`, `Core Node Class ${formatSchemaRef(node.class)} must resolve to a local concrete Node Class.`, formatSchemaRef(node.class)));
|
|
21
|
+
continue;
|
|
22
|
+
}
|
|
23
|
+
const definition = analysis.definitions.get(schemaRefIndex(node.class));
|
|
24
|
+
if (definition === undefined)
|
|
25
|
+
continue;
|
|
26
|
+
validateCreationProperties(definition, node.properties, registry, 'DV_CORE_NODE_PROPERTIES', `${pointer}/properties`, diagnostics);
|
|
27
|
+
const ref = { origin: environment.candidate.origin, kind: 'core', name: slug };
|
|
28
|
+
const key = schemaRefIndex(ref);
|
|
29
|
+
nodes.set(key, { kind: 'core', slug, ref, key, classRef: node.class, analysis: definition });
|
|
30
|
+
}
|
|
31
|
+
return nodes;
|
|
32
|
+
}
|
|
33
|
+
function resolveCoreEdges(environment, analysis, registry, nodesByRef, diagnostics) {
|
|
34
|
+
const edges = [];
|
|
35
|
+
for (const [index, edge] of environment.candidate.core.edges.entries()) {
|
|
36
|
+
const pointer = `/core/edges/${index}`;
|
|
37
|
+
const source = resolveCoreEndpoint(edge.source, `${pointer}/source`, nodesByRef, diagnostics);
|
|
38
|
+
const target = resolveCoreEndpoint(edge.target, `${pointer}/target`, nodesByRef, diagnostics);
|
|
39
|
+
const resolved = environment.resolve(edge.class);
|
|
40
|
+
if (edge.class.origin !== environment.candidate.origin ||
|
|
41
|
+
resolved === undefined ||
|
|
42
|
+
resolved.ref.kind !== 'class' ||
|
|
43
|
+
resolved.family !== 'edge') {
|
|
44
|
+
diagnostics.push(diagnostic('DV_CORE_EDGE_CLASS', `${pointer}/class`, `Core Edge Class ${formatSchemaRef(edge.class)} must resolve to a local concrete Edge Class.`, formatSchemaRef(edge.class)));
|
|
45
|
+
continue;
|
|
46
|
+
}
|
|
47
|
+
const definition = analysis.definitions.get(schemaRefIndex(edge.class));
|
|
48
|
+
if (definition === undefined)
|
|
49
|
+
continue;
|
|
50
|
+
validateCreationProperties(definition, edge.properties, registry, 'DV_CORE_EDGE_PROPERTIES', `${pointer}/properties`, diagnostics);
|
|
51
|
+
const declaration = resolved.declaration;
|
|
52
|
+
if (source === undefined || target === undefined)
|
|
53
|
+
continue;
|
|
54
|
+
if (!endpointSatisfies(environment, source, declaration.endpoints.source.accepts) ||
|
|
55
|
+
!endpointSatisfies(environment, target, declaration.endpoints.target.accepts)) {
|
|
56
|
+
diagnostics.push(diagnostic('DV_CORE_EDGE_CLASS', pointer, `Core Edge endpoints do not satisfy ${formatSchemaRef(edge.class)}.`, formatSchemaRef(edge.class)));
|
|
57
|
+
continue;
|
|
58
|
+
}
|
|
59
|
+
edges.push({ source, target, declaration, value: edge, pointer });
|
|
60
|
+
}
|
|
61
|
+
return edges;
|
|
62
|
+
}
|
|
63
|
+
function resolveCoreEndpoint(ref, pointer, nodesByRef, diagnostics) {
|
|
64
|
+
if (ref.kind === 'domain')
|
|
65
|
+
return { kind: 'domain', ref, key: 'domain' };
|
|
66
|
+
const node = nodesByRef.get(schemaRefIndex(ref));
|
|
67
|
+
if (node === undefined) {
|
|
68
|
+
diagnostics.push(diagnostic('DV_CORE_REF', pointer, `Core endpoint ${formatSchemaRef(ref)} does not name a declared local Core Node.`, formatSchemaRef(ref)));
|
|
69
|
+
}
|
|
70
|
+
return node;
|
|
71
|
+
}
|
|
72
|
+
function endpointSatisfies(environment, endpoint, accepts) {
|
|
73
|
+
// The owning Domain is a graph-projection identity, not a Definition declared by this DSL.
|
|
74
|
+
// Its concrete Class contract is therefore admitted by the projection compiler.
|
|
75
|
+
return endpoint.kind === 'domain' || classSatisfies(environment, endpoint.classRef, accepts);
|
|
76
|
+
}
|
|
77
|
+
function validateCreationProperties(definition, properties, registry, code, pointer, diagnostics) {
|
|
78
|
+
const schema = {
|
|
79
|
+
type: 'object',
|
|
80
|
+
properties: Object.fromEntries([...definition.properties].map(([name, field]) => [name, field.schema])),
|
|
81
|
+
required: [...definition.properties]
|
|
82
|
+
.filter(([, field]) => field.required)
|
|
83
|
+
.map(([name]) => name)
|
|
84
|
+
.sort(compareUnicode),
|
|
85
|
+
additionalProperties: false,
|
|
86
|
+
};
|
|
87
|
+
for (const failure of validateJsonInstance(schema, properties, registry, pointer)) {
|
|
88
|
+
diagnostics.push(diagnostic(code, failure.pointer, failure.message, failure.ref));
|
|
89
|
+
}
|
|
90
|
+
}
|
|
91
|
+
function validateCoreEdgeSet(environment, edges, nodesByRef, diagnostics) {
|
|
92
|
+
const seen = new Map();
|
|
93
|
+
const edgeSlices = new Map();
|
|
94
|
+
for (const [name, candidate] of Object.entries(environment.candidate.classes)) {
|
|
95
|
+
if (candidate.family !== 'edge')
|
|
96
|
+
continue;
|
|
97
|
+
const ref = {
|
|
98
|
+
origin: environment.candidate.origin,
|
|
99
|
+
kind: 'class',
|
|
100
|
+
name,
|
|
101
|
+
};
|
|
102
|
+
const resolved = environment.resolve(ref);
|
|
103
|
+
if (resolved === undefined || resolved.ref.kind !== 'class' || resolved.family !== 'edge') {
|
|
104
|
+
continue;
|
|
105
|
+
}
|
|
106
|
+
edgeSlices.set(schemaRefIndex(ref), {
|
|
107
|
+
declaration: resolved.declaration,
|
|
108
|
+
edges: [],
|
|
109
|
+
});
|
|
110
|
+
}
|
|
111
|
+
for (const edge of edges) {
|
|
112
|
+
const classKey = schemaRefIndex(edge.value.class);
|
|
113
|
+
const [source, target] = edge.declaration.orientation === 'undirected' &&
|
|
114
|
+
compareUnicode(edge.source.key, edge.target.key) > 0
|
|
115
|
+
? [edge.target.key, edge.source.key]
|
|
116
|
+
: [edge.source.key, edge.target.key];
|
|
117
|
+
const key = `${classKey}\u0000${source}\u0000${target}`;
|
|
118
|
+
const previous = seen.get(key);
|
|
119
|
+
if (previous !== undefined) {
|
|
120
|
+
diagnostics.push(diagnostic('DV_CORE_EDGE_KEY', edge.pointer, `Core Edge duplicates the normalized EdgeKey declared at ${previous}.`));
|
|
121
|
+
}
|
|
122
|
+
else {
|
|
123
|
+
seen.set(key, edge.pointer);
|
|
124
|
+
}
|
|
125
|
+
const slice = edgeSlices.get(classKey) ?? {
|
|
126
|
+
declaration: edge.declaration,
|
|
127
|
+
edges: [],
|
|
128
|
+
};
|
|
129
|
+
slice.edges.push(edge);
|
|
130
|
+
edgeSlices.set(classKey, slice);
|
|
131
|
+
if (edge.declaration.constraints.noSelf === true && edge.source.key === edge.target.key) {
|
|
132
|
+
diagnostics.push(diagnostic('DV_CORE_EDGE_CONSTRAINTS', edge.pointer, 'Core Edge violates noSelf.'));
|
|
133
|
+
}
|
|
134
|
+
}
|
|
135
|
+
for (const { declaration, edges: classEdges } of edgeSlices.values()) {
|
|
136
|
+
if (declaration.constraints.acyclic === true && hasDirectedCycle(classEdges)) {
|
|
137
|
+
diagnostics.push(diagnostic('DV_CORE_EDGE_CONSTRAINTS', '/core/edges', 'Core Edge set violates exact-Class acyclicity.'));
|
|
138
|
+
}
|
|
139
|
+
validateCardinality(environment, declaration, classEdges, nodesByRef, diagnostics);
|
|
140
|
+
}
|
|
141
|
+
}
|
|
142
|
+
function validateCardinality(environment, declaration, edges, nodesByRef, diagnostics) {
|
|
143
|
+
if (declaration.orientation === 'undirected') {
|
|
144
|
+
for (const node of nodesByRef.values()) {
|
|
145
|
+
if (!classSatisfies(environment, node.classRef, declaration.endpoints.source.accepts)) {
|
|
146
|
+
continue;
|
|
147
|
+
}
|
|
148
|
+
const degree = edges.filter((edge) => edge.source.key === node.key || edge.target.key === node.key).length;
|
|
149
|
+
checkBound(declaration.endpoints.source, degree, node, diagnostics);
|
|
150
|
+
}
|
|
151
|
+
return;
|
|
152
|
+
}
|
|
153
|
+
for (const node of nodesByRef.values()) {
|
|
154
|
+
if (classSatisfies(environment, node.classRef, declaration.endpoints.source.accepts)) {
|
|
155
|
+
const degree = edges.filter((edge) => edge.source.key === node.key).length;
|
|
156
|
+
checkBound(declaration.endpoints.source, degree, node, diagnostics);
|
|
157
|
+
}
|
|
158
|
+
if (classSatisfies(environment, node.classRef, declaration.endpoints.target.accepts)) {
|
|
159
|
+
const degree = edges.filter((edge) => edge.target.key === node.key).length;
|
|
160
|
+
checkBound(declaration.endpoints.target, degree, node, diagnostics);
|
|
161
|
+
}
|
|
162
|
+
}
|
|
163
|
+
}
|
|
164
|
+
function checkBound(endpoint, degree, node, diagnostics) {
|
|
165
|
+
const [minimum, maximum] = cardinalityBounds(endpoint.cardinality);
|
|
166
|
+
if (degree >= minimum && degree <= maximum)
|
|
167
|
+
return;
|
|
168
|
+
diagnostics.push(diagnostic('DV_CORE_EDGE_CONSTRAINTS', `/core/nodes/${escapePointer(node.slug)}`, `Core degree ${degree} violates ${endpoint.role} cardinality ${endpoint.cardinality}.`));
|
|
169
|
+
}
|
|
170
|
+
function cardinalityBounds(value) {
|
|
171
|
+
switch (value) {
|
|
172
|
+
case '0..*':
|
|
173
|
+
return [0, Number.POSITIVE_INFINITY];
|
|
174
|
+
case '1..*':
|
|
175
|
+
return [1, Number.POSITIVE_INFINITY];
|
|
176
|
+
case '0..1':
|
|
177
|
+
return [0, 1];
|
|
178
|
+
case '1':
|
|
179
|
+
return [1, 1];
|
|
180
|
+
}
|
|
181
|
+
}
|
|
182
|
+
function hasDirectedCycle(edges) {
|
|
183
|
+
const outgoing = new Map();
|
|
184
|
+
for (const edge of edges) {
|
|
185
|
+
const targets = outgoing.get(edge.source.key) ?? [];
|
|
186
|
+
targets.push(edge.target.key);
|
|
187
|
+
outgoing.set(edge.source.key, targets);
|
|
188
|
+
}
|
|
189
|
+
const visiting = new Set();
|
|
190
|
+
const visited = new Set();
|
|
191
|
+
const visit = (key) => {
|
|
192
|
+
if (visiting.has(key))
|
|
193
|
+
return true;
|
|
194
|
+
if (visited.has(key))
|
|
195
|
+
return false;
|
|
196
|
+
visiting.add(key);
|
|
197
|
+
for (const target of outgoing.get(key) ?? [])
|
|
198
|
+
if (visit(target))
|
|
199
|
+
return true;
|
|
200
|
+
visiting.delete(key);
|
|
201
|
+
visited.add(key);
|
|
202
|
+
return false;
|
|
203
|
+
};
|
|
204
|
+
return [...outgoing.keys()].some(visit);
|
|
205
|
+
}
|
|
206
|
+
function classSatisfies(environment, classRef, accepts) {
|
|
207
|
+
if (accepts.some((ref) => schemaRefIndex(ref) === schemaRefIndex(classRef)))
|
|
208
|
+
return true;
|
|
209
|
+
const resolved = environment.resolveAny(classRef);
|
|
210
|
+
if (resolved === undefined || resolved.ref.kind !== 'class' || resolved.family !== 'node') {
|
|
211
|
+
return false;
|
|
212
|
+
}
|
|
213
|
+
return classImplementsAny(environment, resolved.declaration.implements, accepts, new Set());
|
|
214
|
+
}
|
|
215
|
+
function classImplementsAny(environment, parents, accepts, visited) {
|
|
216
|
+
const accepted = new Set(accepts.map(schemaRefIndex));
|
|
217
|
+
for (const parent of parents) {
|
|
218
|
+
const key = schemaRefIndex(parent);
|
|
219
|
+
if (accepted.has(key))
|
|
220
|
+
return true;
|
|
221
|
+
if (visited.has(key))
|
|
222
|
+
continue;
|
|
223
|
+
visited.add(key);
|
|
224
|
+
const resolved = environment.resolveAny(parent);
|
|
225
|
+
if (resolved !== undefined &&
|
|
226
|
+
resolved.ref.kind === 'interface' &&
|
|
227
|
+
(resolved.family === 'node' || resolved.family === 'both') &&
|
|
228
|
+
classImplementsAny(environment, resolved.declaration.extends, accepts, visited)) {
|
|
229
|
+
return true;
|
|
230
|
+
}
|
|
231
|
+
}
|
|
232
|
+
return false;
|
|
233
|
+
}
|
|
234
|
+
function escapePointer(value) {
|
|
235
|
+
return value.replaceAll('~', '~0').replaceAll('/', '~1');
|
|
236
|
+
}
|
|
237
|
+
//# sourceMappingURL=validate.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../../v1/schema/core/validate.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAA;AA2BpE,MAAM,UAAU,YAAY,CAC1B,WAAoC,EACpC,QAAkC,EAClC,QAA6B;IAE7B,MAAM,WAAW,GAAuB,EAAE,CAAA;IAC1C,MAAM,UAAU,GAAG,gBAAgB,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IACjF,MAAM,KAAK,GAAG,gBAAgB,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAExF,mBAAmB,CAAC,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAoC,EACpC,QAAkC,EAClC,QAA6B,EAC7B,WAA+B;IAE/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAA;IACjD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,MAAM,OAAO,GAAG,eAAe,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;QACpD,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChD,IACE,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,SAAS,CAAC,MAAM;YAClD,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;YAC7B,QAAQ,CAAC,MAAM,KAAK,MAAM,EAC1B,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,OAAO,QAAQ,EAClB,mBAAmB,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,+CAA+C,EAC7F,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5B,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QACvE,IAAI,UAAU,KAAK,SAAS;YAAE,SAAQ;QACtC,0BAA0B,CACxB,UAAU,EACV,IAAI,CAAC,UAAU,EACf,QAAQ,EACR,yBAAyB,EACzB,GAAG,OAAO,aAAa,EACvB,WAAW,CACZ,CAAA;QACD,MAAM,GAAG,GAAY,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;QACvF,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;QAC/B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAA;IAC9F,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAoC,EACpC,QAAkC,EAClC,QAA6B,EAC7B,UAAiD,EACjD,WAA+B;IAE/B,MAAM,KAAK,GAAuB,EAAE,CAAA;IACpC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACvE,MAAM,OAAO,GAAG,eAAe,KAAK,EAAE,CAAA;QACtC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC7F,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC7F,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChD,IACE,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,SAAS,CAAC,MAAM;YAClD,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;YAC7B,QAAQ,CAAC,MAAM,KAAK,MAAM,EAC1B,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,OAAO,QAAQ,EAClB,mBAAmB,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,+CAA+C,EAC7F,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5B,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QACvE,IAAI,UAAU,KAAK,SAAS;YAAE,SAAQ;QACtC,0BAA0B,CACxB,UAAU,EACV,IAAI,CAAC,UAAU,EACf,QAAQ,EACR,yBAAyB,EACzB,GAAG,OAAO,aAAa,EACvB,WAAW,CACZ,CAAA;QACD,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAmC,CAAA;QAChE,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,SAAQ;QAC1D,IACE,CAAC,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC;YAC7E,CAAC,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAC7E,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,OAAO,EACP,sCAAsC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EACpE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5B,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;IACnE,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,mBAAmB,CAC1B,GAAoB,EACpB,OAAe,EACf,UAAiD,EACjD,WAA+B;IAE/B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAA;IACxE,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAA;IAChD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,aAAa,EACb,OAAO,EACP,iBAAiB,eAAe,CAAC,GAAG,CAAC,4CAA4C,EACjF,eAAe,CAAC,GAAG,CAAC,CACrB,CACF,CAAA;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,iBAAiB,CACxB,WAAoC,EACpC,QAA8B,EAC9B,OAAiC;IAEjC,2FAA2F;IAC3F,gFAAgF;IAChF,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,cAAc,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;AAC9F,CAAC;AAED,SAAS,0BAA0B,CACjC,UAA8B,EAC9B,UAAsB,EACtB,QAA6B,EAC7B,IAA2D,EAC3D,OAAe,EACf,WAA+B;IAE/B,MAAM,MAAM,GAAyB;QACnC,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAC5B,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CACxE;QACD,QAAQ,EAAE,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;aACjC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;aACrB,IAAI,CAAC,cAAc,CAAC;QACvB,oBAAoB,EAAE,KAAK;KAC5B,CAAA;IACD,KAAK,MAAM,OAAO,IAAI,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAClF,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;IACnF,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,WAAoC,EACpC,KAAkC,EAClC,UAAiD,EACjD,WAA+B;IAE/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAA;IACtC,MAAM,UAAU,GAAG,IAAI,GAAG,EAGvB,CAAA;IAEH,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QACzC,MAAM,GAAG,GAAa;YACpB,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM;YACpC,IAAI,EAAE,OAAO;YACb,IAAI;SACL,CAAA;QACD,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC1F,SAAQ;QACV,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE;YAClC,WAAW,EAAE,QAAQ,CAAC,WAAmC;YACzD,KAAK,EAAE,EAAE;SACV,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACjD,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACpB,IAAI,CAAC,WAAW,CAAC,WAAW,KAAK,YAAY;YAC7C,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAClD,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;YACpC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACxC,MAAM,GAAG,GAAG,GAAG,QAAQ,SAAS,MAAM,SAAS,MAAM,EAAE,CAAA;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kBAAkB,EAClB,IAAI,CAAC,OAAO,EACZ,2DAA2D,QAAQ,GAAG,CACvE,CACF,CAAA;QACH,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;QAC7B,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI;YACxC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,KAAK,EAAE,EAAE;SACV,CAAA;QACD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACtB,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QAE/B,IAAI,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YACxF,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,0BAA0B,EAAE,IAAI,CAAC,OAAO,EAAE,4BAA4B,CAAC,CACnF,CAAA;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACrE,IAAI,WAAW,CAAC,WAAW,CAAC,OAAO,KAAK,IAAI,IAAI,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7E,WAAW,CAAC,IAAI,CACd,UAAU,CACR,0BAA0B,EAC1B,aAAa,EACb,gDAAgD,CACjD,CACF,CAAA;QACH,CAAC;QACD,mBAAmB,CAAC,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IACpF,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,WAAoC,EACpC,WAAiC,EACjC,KAAkC,EAClC,UAAiD,EACjD,WAA+B;IAE/B,IAAI,WAAW,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtF,SAAQ;YACV,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CACzB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CACvE,CAAC,MAAM,CAAA;YACR,UAAU,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;QACrE,CAAC;QACD,OAAM;IACR,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,IAAI,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACrF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;YAC1E,UAAU,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;QACrE,CAAC;QACD,IAAI,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACrF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;YAC1E,UAAU,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;QACrE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,QAAsB,EACtB,MAAc,EACd,IAAsB,EACtB,WAA+B;IAE/B,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,iBAAiB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;IAClE,IAAI,MAAM,IAAI,OAAO,IAAI,MAAM,IAAI,OAAO;QAAE,OAAM;IAClD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,0BAA0B,EAC1B,eAAe,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACzC,eAAe,MAAM,aAAa,QAAQ,CAAC,IAAI,gBAAgB,QAAQ,CAAC,WAAW,GAAG,CACvF,CACF,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAkB;IAC3C,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAA;QACtC,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAA;QACtC,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACf,KAAK,GAAG;YACN,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACjB,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAkC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;QACnD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAC7B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IACxC,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAW,EAAE;QACrC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAA;QAClC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAA;QAClC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACjB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;YAAE,IAAI,KAAK,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAA;QAC5E,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACpB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAChB,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AACzC,CAAC;AAED,SAAS,cAAc,CACrB,WAAoC,EACpC,QAAkB,EAClB,OAAiC;IAEjC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACxF,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;IACjD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC1F,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,kBAAkB,CACvB,WAAW,EACV,QAAQ,CAAC,WAA6D,CAAC,UAAU,EAClF,OAAO,EACP,IAAI,GAAG,EAAE,CACV,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,WAAoC,EACpC,OAA6B,EAC7B,OAAiC,EACjC,OAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAA;IACrD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;QAClC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAA;QAClC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAQ;QAC9B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAChB,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;QAC/C,IACE,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW;YACjC,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC;YAC1D,kBAAkB,CAChB,WAAW,EACV,QAAQ,CAAC,WAAoC,CAAC,OAAO,EACtD,OAAO,EACP,OAAO,CACR,EACD,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC"}
|
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
import type { MethodDeclaration } from '../callable.js';
|
|
2
|
+
import type { DomainDiagnostic } from '../diagnostic.js';
|
|
3
|
+
import type { DefinitionRef } from '../reference.js';
|
|
4
|
+
import type { DomainResolutionContext } from '../resolution/context.js';
|
|
5
|
+
import type { JsonSchema } from '../value/schema.js';
|
|
6
|
+
import type { ClassDeclaration } from './class.js';
|
|
7
|
+
import type { DataDeclaration } from './data.js';
|
|
8
|
+
import type { InterfaceDeclaration } from './interface.js';
|
|
9
|
+
import { PropertyKey } from '../../addressing/index.js';
|
|
10
|
+
export interface EffectiveField {
|
|
11
|
+
readonly identity: PropertyKey;
|
|
12
|
+
readonly owner: DefinitionRef;
|
|
13
|
+
readonly name: string;
|
|
14
|
+
readonly schema: JsonSchema;
|
|
15
|
+
readonly required: boolean;
|
|
16
|
+
readonly visibility: 'public' | 'private';
|
|
17
|
+
}
|
|
18
|
+
export interface EffectiveMethod {
|
|
19
|
+
readonly identity: string;
|
|
20
|
+
readonly owner: DefinitionRef;
|
|
21
|
+
readonly name: string;
|
|
22
|
+
readonly declaration: MethodDeclaration;
|
|
23
|
+
}
|
|
24
|
+
export interface EffectiveData {
|
|
25
|
+
readonly identity: string;
|
|
26
|
+
readonly owner: DefinitionRef;
|
|
27
|
+
readonly declaration: DataDeclaration;
|
|
28
|
+
}
|
|
29
|
+
export interface DefinitionAnalysis {
|
|
30
|
+
readonly ref: DefinitionRef;
|
|
31
|
+
readonly declaration: InterfaceDeclaration | ClassDeclaration;
|
|
32
|
+
readonly properties: ReadonlyMap<PropertyKey, EffectiveField>;
|
|
33
|
+
readonly data?: EffectiveData;
|
|
34
|
+
readonly methods: ReadonlyMap<string, EffectiveMethod>;
|
|
35
|
+
}
|
|
36
|
+
export interface DefinitionAnalysisResult {
|
|
37
|
+
readonly definitions: ReadonlyMap<string, DefinitionAnalysis>;
|
|
38
|
+
readonly diagnostics: readonly DomainDiagnostic[];
|
|
39
|
+
}
|
|
40
|
+
export declare function analyzeDefinitions(environment: DomainResolutionContext): DefinitionAnalysisResult;
|
|
41
|
+
//# sourceMappingURL=analysis.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"analysis.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/analysis.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AACvD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AACpD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AACvE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA;AAChD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAE1D,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAMvD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAA;CAC1C;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAA;CACxC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAA;CACtC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,GAAG,gBAAgB,CAAA;IAC7D,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,WAAW,EAAE,cAAc,CAAC,CAAA;IAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;CACvD;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;IAC7D,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAClD;AAED,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,uBAAuB,GAAG,wBAAwB,CAiEjG"}
|